Herbie run

Date:Thursday, March 13th, 2025
Commit:1e34e08c on main
Seed:2025072
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:243 737.2 MB

Time bar (total: 3.4min)

sample1.4min (41.9%)

Memory
903.2MiB live, 96 426.8MiB allocated; 33.2s collecting garbage
Samples
36.6s224 626×0valid
9.7s65 178×0invalid
8.2s23 579×1valid
5.3s13 545×1invalid
3.6s9 751×2valid
3.2s6 230×3valid
651.0ms1 609×2invalid
33.0ms241×0exit
3.0ms6×4valid
Precisions
Click to see histograms. Total time spent on operations: 49.4s
ival-mult: 12.7s (25.6% of total)
ival-div: 7.3s (14.7% of total)
adjust: 4.3s (8.7% of total)
ival-sub: 3.3s (6.8% of total)
ival-pow2: 3.3s (6.6% of total)
ival-add: 3.2s (6.6% of total)
ival-sqrt: 3.1s (6.3% of total)
ival-pow: 2.0s (4.1% of total)
ival-sin: 1.9s (3.9% of total)
ival-exp: 1.9s (3.8% of total)
ival-tan: 1.3s (2.6% of total)
ival-cos: 971.0ms (2% of total)
ival-neg: 723.0ms (1.5% of total)
ival-acos: 661.0ms (1.3% of total)
exact: 548.0ms (1.1% of total)
ival-pi: 527.0ms (1.1% of total)
ival-hypot: 390.0ms (0.8% of total)
ival-log: 388.0ms (0.8% of total)
ival-tanu: 224.0ms (0.5% of total)
ival-asin: 221.0ms (0.4% of total)
const: 140.0ms (0.3% of total)
ival-atan: 128.0ms (0.3% of total)
ival-assert: 127.0ms (0.3% of total)
ival-fabs: 64.0ms (0.1% of total)
ival-<: 2.0ms (0% of total)
ival-and: 1.0ms (0% of total)
Bogosity

rewrite28.3s (13.7%)

Memory
138.4MiB live, 30 804.0MiB allocated; 8.8s collecting garbage
Stop Event
298×iter limit
123×node limit
5×unsound
Counts
28 301 → 48 099

regimes16.3s (7.9%)

Memory
-48.3MiB live, 21 435.0MiB allocated; 6.1s collecting garbage
Counts
9 530 → 787
Calls

156 calls:

1.1s
kx
921.0ms
U
828.0ms
l
533.0ms
t
449.0ms
(*.f64 l l)
Compiler

Compiled 12 129 to 12 451 computations (-2.7% saved)

series12.2s (5.9%)

Memory
312.9MiB live, 16 705.6MiB allocated; 2.6s collecting garbage
Counts
4 591 → 23 710
Calls

1200 calls:

TimeVariablePointExpression
208.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (/ (* (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) -4) (PI)) (* (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) -4) (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4))) (cosh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) f (PI) 1/4 (sinh (* (* f (PI)) 1/4)) -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (neg (log (* (* (* 1/2 (PI)) 1/2) f))) (log (* (* (* 1/2 (PI)) 1/2) f)) (* (* (* 1/2 (PI)) 1/2) f) (* (* 1/2 (PI)) 1/2) (* 1/2 (PI)) 1/2 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (- (log (/ 2 f)) (log (* 1/2 (PI)))) (PI)) -4) (/ (- (log (/ 2 f)) (log (* 1/2 (PI)))) (PI)) (- (log (/ 2 f)) (log (* 1/2 (PI)))) (log (/ 2 f)) (/ 2 f) 2 (log (* 1/2 (PI))) (neg (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4))) (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4)) (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (+ (* (+ (* (+ (* (* (pow (PI) 3) (/ 1/192 (pow (* 1/2 (PI)) 2))) -2) (* 1/8 (PI))) f) 0) f) (/ 4 (PI))) f) (+ (* (+ (* (+ (* (* (pow (PI) 3) (/ 1/192 (pow (* 1/2 (PI)) 2))) -2) (* 1/8 (PI))) f) 0) f) (/ 4 (PI))) (+ (* (+ (* (* (pow (PI) 3) (/ 1/192 (pow (* 1/2 (PI)) 2))) -2) (* 1/8 (PI))) f) 0) (+ (* (* (pow (PI) 3) (/ 1/192 (pow (* 1/2 (PI)) 2))) -2) (* 1/8 (PI))) (* (pow (PI) 3) (/ 1/192 (pow (* 1/2 (PI)) 2))) (pow (PI) 3) 3 (/ 1/192 (pow (* 1/2 (PI)) 2)) 1/192 (pow (* 1/2 (PI)) 2) -2 (* 1/8 (PI)) 1/8 0 (/ 4 (PI)) 4 (/ (PI) 4) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (+ (* (* 2 (+ (* f (/ (+ (* (+ (* (/ (* (PI) (PI)) (* 1/2 (PI))) 1/16) (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2))) (* 1/2 (PI))) (* (pow (* 1/2 (PI)) 2) 0)) (PI))) (* 0 (/ (* 1/2 (PI)) (PI))))) f) (* (/ (log (/ (/ 2 (* 1/2 (PI))) f)) (PI)) 4)) (* 2 (+ (* f (/ (+ (* (+ (* (/ (* (PI) (PI)) (* 1/2 (PI))) 1/16) (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2))) (* 1/2 (PI))) (* (pow (* 1/2 (PI)) 2) 0)) (PI))) (* 0 (/ (* 1/2 (PI)) (PI))))) (+ (* f (/ (+ (* (+ (* (/ (* (PI) (PI)) (* 1/2 (PI))) 1/16) (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2))) (* 1/2 (PI))) (* (pow (* 1/2 (PI)) 2) 0)) (PI))) (* 0 (/ (* 1/2 (PI)) (PI)))) (/ (+ (* (+ (* (/ (* (PI) (PI)) (* 1/2 (PI))) 1/16) (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2))) (* 1/2 (PI))) (* (pow (* 1/2 (PI)) 2) 0)) (PI)) (+ (* (+ (* (/ (* (PI) (PI)) (* 1/2 (PI))) 1/16) (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2))) (* 1/2 (PI))) (* (pow (* 1/2 (PI)) 2) 0)) (+ (* (/ (* (PI) (PI)) (* 1/2 (PI))) 1/16) (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2))) (/ (* (PI) (PI)) (* 1/2 (PI))) (* (PI) (PI)) 1/16 (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2)) (* -2 (* (pow (PI) 3) 1/192)) (* (pow (PI) 3) 1/192) (* (pow (* 1/2 (PI)) 2) 0) (* 0 (/ (* 1/2 (PI)) (PI))) (/ (* 1/2 (PI)) (PI)) (* (/ (log (/ (/ 2 (* 1/2 (PI))) f)) (PI)) 4) (/ (log (/ (/ 2 (* 1/2 (PI))) f)) (PI)) (log (/ (/ 2 (* 1/2 (PI))) f)) (/ (/ 2 (* 1/2 (PI))) f) (/ 2 (* 1/2 (PI))))
167.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (log (cosh (* (* f (PI)) 1/4))) (cosh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) f (PI) 1/4 (log (sinh (* (* f (PI)) 1/4))) (sinh (* (* f (PI)) 1/4)) -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (/ 4 (* f (PI))) 4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (/ 4 (PI)) (log f) (neg (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI))))) (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI)))) (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f) (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)) 2)
145.0ms
f
@0
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (log (cosh (* (* f (PI)) 1/4))) (cosh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) f (PI) 1/4 (log (sinh (* (* f (PI)) 1/4))) (sinh (* (* f (PI)) 1/4)) -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (/ 4 (* f (PI))) 4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (/ 4 (PI)) (log f) (neg (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI))))) (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI)))) (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f) (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)) 2)
112.0ms
f
@-inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (log (cosh (* (* f (PI)) 1/4))) (cosh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) f (PI) 1/4 (log (sinh (* (* f (PI)) 1/4))) (sinh (* (* f (PI)) 1/4)) -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (/ 2 (* (* (PI) 1/2) f)) (/ 4 (* f (PI))) 4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) -4) (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) (log (/ 2 (* (* (PI) 1/2) f))) (- (log (/ 4 (PI))) (log f)) (log (/ 4 (PI))) (/ 4 (PI)) (log f) (neg (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI))))) (log (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI)))) (pow (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ 4 (PI))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4))) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (- (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f)) (* (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) f) (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)) 2)
99.0ms
f
@-inf
((neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (/ (* (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) -4) (PI)) (* (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) -4) (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4))) (cosh (* (* f (PI)) 1/4)) (* (* f (PI)) 1/4) (* f (PI)) f (PI) 1/4 (sinh (* (* f (PI)) 1/4)) -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (PI)) (- (log (cosh (* (* f (PI)) 1/4))) (log (sinh (* (* f (PI)) 1/4)))) (neg (log (* (* (* 1/2 (PI)) 1/2) f))) (log (* (* (* 1/2 (PI)) 1/2) f)) (* (* (* 1/2 (PI)) 1/2) f) (* (* 1/2 (PI)) 1/2) (* 1/2 (PI)) 1/2 (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ (- (log (/ 2 f)) (log (* 1/2 (PI)))) (PI)) -4) (/ (- (log (/ 2 f)) (log (* 1/2 (PI)))) (PI)) (- (log (/ 2 f)) (log (* 1/2 (PI)))) (log (/ 2 f)) (/ 2 f) 2 (log (* 1/2 (PI))) (neg (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4))) (/ (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ (PI) 4)) (* 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) 1 (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (/ (+ (* (+ (* (+ (* (* (pow (PI) 3) (/ 1/192 (pow (* 1/2 (PI)) 2))) -2) (* 1/8 (PI))) f) 0) f) (/ 4 (PI))) f) (+ (* (+ (* (+ (* (* (pow (PI) 3) (/ 1/192 (pow (* 1/2 (PI)) 2))) -2) (* 1/8 (PI))) f) 0) f) (/ 4 (PI))) (+ (* (+ (* (* (pow (PI) 3) (/ 1/192 (pow (* 1/2 (PI)) 2))) -2) (* 1/8 (PI))) f) 0) (+ (* (* (pow (PI) 3) (/ 1/192 (pow (* 1/2 (PI)) 2))) -2) (* 1/8 (PI))) (* (pow (PI) 3) (/ 1/192 (pow (* 1/2 (PI)) 2))) (pow (PI) 3) 3 (/ 1/192 (pow (* 1/2 (PI)) 2)) 1/192 (pow (* 1/2 (PI)) 2) -2 (* 1/8 (PI)) 1/8 0 (/ 4 (PI)) 4 (/ (PI) 4) (neg (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (+ (* (* 2 (+ (* f (/ (+ (* (+ (* (/ (* (PI) (PI)) (* 1/2 (PI))) 1/16) (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2))) (* 1/2 (PI))) (* (pow (* 1/2 (PI)) 2) 0)) (PI))) (* 0 (/ (* 1/2 (PI)) (PI))))) f) (* (/ (log (/ (/ 2 (* 1/2 (PI))) f)) (PI)) 4)) (* 2 (+ (* f (/ (+ (* (+ (* (/ (* (PI) (PI)) (* 1/2 (PI))) 1/16) (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2))) (* 1/2 (PI))) (* (pow (* 1/2 (PI)) 2) 0)) (PI))) (* 0 (/ (* 1/2 (PI)) (PI))))) (+ (* f (/ (+ (* (+ (* (/ (* (PI) (PI)) (* 1/2 (PI))) 1/16) (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2))) (* 1/2 (PI))) (* (pow (* 1/2 (PI)) 2) 0)) (PI))) (* 0 (/ (* 1/2 (PI)) (PI)))) (/ (+ (* (+ (* (/ (* (PI) (PI)) (* 1/2 (PI))) 1/16) (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2))) (* 1/2 (PI))) (* (pow (* 1/2 (PI)) 2) 0)) (PI)) (+ (* (+ (* (/ (* (PI) (PI)) (* 1/2 (PI))) 1/16) (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2))) (* 1/2 (PI))) (* (pow (* 1/2 (PI)) 2) 0)) (+ (* (/ (* (PI) (PI)) (* 1/2 (PI))) 1/16) (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2))) (/ (* (PI) (PI)) (* 1/2 (PI))) (* (PI) (PI)) 1/16 (/ (* -2 (* (pow (PI) 3) 1/192)) (pow (* 1/2 (PI)) 2)) (* -2 (* (pow (PI) 3) 1/192)) (* (pow (PI) 3) 1/192) (* (pow (* 1/2 (PI)) 2) 0) (* 0 (/ (* 1/2 (PI)) (PI))) (/ (* 1/2 (PI)) (PI)) (* (/ (log (/ (/ 2 (* 1/2 (PI))) f)) (PI)) 4) (/ (log (/ (/ 2 (* 1/2 (PI))) f)) (PI)) (log (/ (/ 2 (* 1/2 (PI))) f)) (/ (/ 2 (* 1/2 (PI))) f) (/ 2 (* 1/2 (PI))))

derivations10.9s (5.3%)

Memory
-1.4MiB live, 10 098.5MiB allocated; 1.5s collecting garbage
Stop Event
31×fuel
1×done
Compiler

Compiled 33 453 to 4 155 computations (87.6% saved)

analyze10.5s (5.1%)

Memory
226.5MiB live, 11 689.2MiB allocated; 5.0s collecting garbage
Algorithm
32×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
22.2%21.8%76.4%1.8%0%0%0%1
22.6%21.8%74.8%1.8%0%1.6%0%2
28.6%26.5%66.3%1.8%0%5.5%0%3
32.6%29.6%61.2%1.8%0%7.4%0%4
35.8%32.3%58%1.8%0%8%0%5
40.1%36.1%54%1.8%0%8.1%0%6
45.5%40.6%48.7%1.8%0%8.9%0%7
47.9%42.1%45.8%1.8%0%10.3%0%8
51%44.6%43%1.8%0%10.6%0%9
52.1%45.5%41.8%1.8%0%11%0%10
53.9%46.7%40%1.8%0%11.5%0%11
55.6%47.9%38.2%1.8%0%12.1%0%12
Compiler

Compiled 798 to 574 computations (28.1% saved)

eval10.3s (5%)

Memory
296.2MiB live, 14 760.2MiB allocated; 3.8s collecting garbage
Compiler

Compiled 3 254 979 to 273 730 computations (91.6% saved)

preprocess9.6s (4.7%)

Memory
494.7MiB live, 11 142.3MiB allocated; 2.1s collecting garbage
Stop Event
64×iter limit
62×node limit
2×saturated
Compiler

Compiled 85 395 to 17 327 computations (79.7% saved)

explain9.4s (4.6%)

Memory
-313.2MiB live, 12 379.2MiB allocated; 3.0s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4620
-.f64#fcancellation4583
cos.f64#fsensitivity4190
*.f64#fn*o2560
acos.f64(acos.f64 (/.f64 (-.f64 #s(literal 1 binary64) (*.f64 #s(literal 5 binary64) (*.f64 v v))) (-.f64 (*.f64 v v) #s(literal 1 binary64))))sensitivity2530
+.f64#fnan-rescue2370
sqrt.f64#fuflow-rescue1720
*.f64#fu*o1340
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1281
pow.f64#foflow-rescue1250
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1222
-.f64#fnan-rescue1220
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity9830
/.f64#fo/o930
pow.f64#fuflow-rescue670
+.f64#fcancellation590
*.f64#fn*u550
*.f64#fo*u540
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue530
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow53
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow53
↳(*.f64 K (+.f64 m n))overflow53
/.f64#fu/u480
/.f64#fo/n470
/.f64#fn/o430
/.f64#fn/u280
/.f64#fu/n210
log.f64(log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)))) (-.f64 (exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f)) (exp.f64 (neg.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))))))sensitivity90
exp.f64#fsensitivity21
Confusion
Predicted +Predicted -
+202338
-10995032
Precision
0.647982062780269
Recall
0.9815623483745755
Confusion?
Predicted +Predicted MaybePredicted -
+2023236
-1099364996
Precision?
0.6408227848101266
Recall?
0.982532751091703
Freqs
test
numberfreq
05070
12724
2360
332
45
51
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-106
Precision?
0.9615384615384616
Recall?
1.0
Samples
2.0s13 270×0valid
693.0ms2 046×1valid
390.0ms710×2valid
143.0ms348×3valid
6.0ms10×5exit
Compiler

Compiled 7 569 to 1 655 computations (78.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 546.0ms (24.2% of total)
ival-div: 294.0ms (13% of total)
ival-sub: 210.0ms (9.3% of total)
adjust: 186.0ms (8.2% of total)
ival-pow: 139.0ms (6.1% of total)
ival-add: 127.0ms (5.6% of total)
ival-pow2: 114.0ms (5% of total)
ival-sin: 105.0ms (4.6% of total)
ival-exp: 101.0ms (4.5% of total)
ival-sqrt: 96.0ms (4.2% of total)
ival-cos: 77.0ms (3.4% of total)
ival-tan: 52.0ms (2.3% of total)
ival-neg: 30.0ms (1.3% of total)
ival-pi: 29.0ms (1.3% of total)
ival-acos: 27.0ms (1.2% of total)
ival-log: 23.0ms (1% of total)
ival-hypot: 20.0ms (0.9% of total)
exact: 20.0ms (0.9% of total)
ival-true: 15.0ms (0.7% of total)
ival-tanu: 13.0ms (0.6% of total)
const: 9.0ms (0.4% of total)
ival-asin: 8.0ms (0.4% of total)
ival-assert: 7.0ms (0.3% of total)
ival-fabs: 5.0ms (0.2% of total)
ival-atan: 5.0ms (0.2% of total)

prune5.5s (2.7%)

Memory
-36.1MiB live, 9 430.8MiB allocated; 1.4s collecting garbage
Counts
61 782 → 2 777
Compiler

Compiled 278 714 to 134 541 computations (51.7% saved)

bsearch5.0s (2.4%)

Memory
93.4MiB live, 6 762.9MiB allocated; 1.1s collecting garbage
Algorithm
234×binary-search
202×left-value
Stop Event
221×narrow-enough
13×predicate-same
Samples
2.4s14 926×0valid
290.0ms1 960×0invalid
234.0ms863×1valid
118.0ms293×2valid
56.0ms142×3valid
21.0ms85×1invalid
3.0ms9×2invalid
Compiler

Compiled 153 402 to 106 012 computations (30.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3s
ival-mult: 464.0ms (20% of total)
ival-div: 387.0ms (16.7% of total)
ival-add: 298.0ms (12.8% of total)
ival-sub: 189.0ms (8.1% of total)
ival-pow: 181.0ms (7.8% of total)
ival-tan: 172.0ms (7.4% of total)
ival-sin: 135.0ms (5.8% of total)
adjust: 111.0ms (4.8% of total)
ival-pow2: 98.0ms (4.2% of total)
ival-sqrt: 72.0ms (3.1% of total)
ival-neg: 60.0ms (2.6% of total)
ival-exp: 46.0ms (2% of total)
exact: 19.0ms (0.8% of total)
ival-hypot: 14.0ms (0.6% of total)
ival-true: 14.0ms (0.6% of total)
ival-cos: 13.0ms (0.6% of total)
ival-atan: 12.0ms (0.5% of total)
const: 11.0ms (0.5% of total)
ival-tanu: 9.0ms (0.4% of total)
ival-assert: 8.0ms (0.3% of total)
ival-fabs: 6.0ms (0.3% of total)
ival-pi: 1.0ms (0% of total)

simplify1.9s (0.9%)

Memory
55.5MiB live, 2 098.0MiB allocated; 271ms collecting garbage
Stop Event
31×node limit
1×saturated

start2.0ms (0%)

Memory
4.2MiB live, 4.1MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...