expt

src/core/explain.rkt

@@ -478,6 +478,9 @@
          (define cond-x (abs yfl))
          (define cond-y (abs (* yfl (log xfl))))
 
+         (define cond-x.l (logabs ylog))
+         (define cond-y.l (logabs (log* ylog (logln xlog))))
+
          (cond
            ;; Hallucination:
            ;; x has a large exponent and y is 1. The ylogx is large but there is
@@ -517,10 +520,10 @@
 
            [(and (overflow? xlog) (<= se MAX-EXP)) (mark-erroneous! subexpr 'oflow-rescue)]
 
-           [(and (or (> cond-x 100) (> cond-y 100)) (not (constant? y-ex)))
+           [(and (or (log> cond-x.l 100.l) (log> cond-y.l 100.l)) (not (constant? y-ex)))
             (mark-erroneous! subexpr 'sensitivity)]
 
-           [(and (or (> cond-x 32) (> cond-y 32)) (not (constant? y-ex)))
+           [(and (or (log> cond-x.l 32.l) (log> cond-y.l 32.l)) (not (constant? y-ex)))
             (mark-maybe! subexpr 'sensitivity)]
 
            [else #f])]

src/core/logspace.rkt

@@ -123,6 +123,13 @@
     #true
     (* a (fllog2 euler.0))))
 
+(define (logexpt A B)
+  (match-define (logfl a sa ea) A)
+  (match-define (logfl b sb eb) B)
+  (logfl (exp a)
+    (>= (expt a b) 0.0)
+    (* a (fllog2 b))))
+
 (define (logsqrt A)
   (match-define (logfl a sa ea) A)
   (logfl (sqrt a)
@@ -193,7 +200,7 @@
     ['log/ log/]
     ['logln logln]
     ['logexp logexp]
-    ; ['logexpt logexpt]
+    ['logexpt logexpt]
     ['logsin logsin]
     ['logcos logcos]
     ['logtan logtan]