Herbie run

Date:Thursday, February 6th, 2025
Commit:f63971dc on main
Seed:2025037
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:276 550.4 MB

Time bar (total: 3.4min)

sample1.4min (41.5%)

Memory
1 306.3MiB live, 114 663.1MiB allocated; 33.5s collecting garbage
Samples
35.5s224 396×0valid
9.1s65 895×0invalid
7.6s23 747×1valid
4.2s13 562×1invalid
4.1s9 684×2valid
3.5s6 356×3valid
590.0ms1 524×2invalid
41.0ms244×0exit
4.0ms9×4valid
Precisions
Click to see histograms. Total time spent on operations: 48.9s
ival-mult: 12.2s (24.9% of total)
ival-div: 7.7s (15.7% of total)
adjust: 3.7s (7.6% of total)
ival-sub: 3.6s (7.3% of total)
ival-pow2: 3.2s (6.6% of total)
ival-add: 2.6s (5.3% of total)
ival-sqrt: 2.4s (5% of total)
ival-sin: 2.3s (4.7% of total)
ival-pow: 2.3s (4.7% of total)
ival-exp: 1.9s (3.9% of total)
ival-cos: 1.0s (2.1% of total)
ival-hypot: 944.0ms (1.9% of total)
ival-tan: 870.0ms (1.8% of total)
ival-pi: 844.0ms (1.7% of total)
ival-acos: 815.0ms (1.7% of total)
ival-neg: 705.0ms (1.4% of total)
exact: 475.0ms (1% of total)
ival-log: 320.0ms (0.7% of total)
ival-asin: 287.0ms (0.6% of total)
const: 184.0ms (0.4% of total)
ival-tanu: 169.0ms (0.3% of total)
ival-assert: 120.0ms (0.2% of total)
ival-atan: 83.0ms (0.2% of total)
ival-fabs: 41.0ms (0.1% of total)
ival-<: 4.0ms (0% of total)
ival-and: 1.0ms (0% of total)
Bogosity

rewrite27.9s (13.5%)

Memory
467.7MiB live, 33 743.8MiB allocated; 7.7s collecting garbage
Stop Event
297×iter limit
123×node limit
4×unsound
Counts
27 372 → 45 644

regimes17.3s (8.4%)

Memory
-143.2MiB live, 23 352.2MiB allocated; 6.7s collecting garbage
Counts
8 779 → 702
Calls

156 calls:

1.2s
l
831.0ms
(cos.f64 (/.f64 K #s(literal 2 binary64)))
831.0ms
n
666.0ms
(*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))
653.0ms
t
Compiler

Compiled 11 446 to 12 267 computations (-7.2% saved)

series12.8s (6.2%)

Memory
-90.8MiB live, 18 574.7MiB allocated; 4.5s collecting garbage
Counts
4 389 → 22 983
Calls

1197 calls:

TimeVariablePointExpression
377.0ms
k
@-inf
((/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1))) 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1)) (* (* (* (pow (sin k) 2) (/ t (cos k))) (/ k l)) (/ k l)) (* (* (pow (sin k) 2) (/ t (cos k))) (/ k l)) (* (pow (sin k) 2) (/ t (cos k))) (pow (sin k) 2) (sin k) k (/ t (cos k)) t (cos k) (/ k l) l (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1))) (/ (+ (* (+ (* (* -2 (* k k)) (* (/ (* l l) t) 7/120)) (* (/ (* l l) t) -1/3)) (* k k)) (* (/ (* l l) t) 2)) (pow k 4)) (* -7/60 (* l (/ l t))) -7/60 (* l (/ l t)) (/ l t) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1))) (/ (/ (+ (* -1/3 (pow (* l k) 2)) (* (* l l) 2)) t) (pow k 4)) (/ (+ (* (/ l (* k k)) (/ (* l 2) t)) (* (/ (* l l) t) -1/3)) (* k k)) (+ (* (/ l (* k k)) (/ (* l 2) t)) (* (/ (* l l) t) -1/3)) (/ l (* k k)) (* k k) (/ (* l 2) t) (* l 2) (* (/ (* l l) t) -1/3) (/ (* l l) t) (* l l) -1/3 (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1))) (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1)) (* (/ (* (* k k) t) (cos k)) (/ (pow (sin k) 2) (* l l))) (/ (* (* k k) t) (cos k)) (* (* k k) t) (/ (pow (sin k) 2) (* l l)) (/ 2 (* (* (* (* (/ (* t t) l) (/ t l)) (sin k)) (tan k)) (- (+ (* (/ k t) (/ k t)) 1) 1))) (* (* (* (* (/ (* t t) l) (/ t l)) (sin k)) (tan k)) (- (+ (* (/ k t) (/ k t)) 1) 1)) (* (* (* (/ (* t t) l) (/ t l)) (sin k)) (tan k)) (* (* (/ (* t t) l) (/ t l)) (sin k)) (* (/ (* t t) l) (/ t l)) (/ (* t t) l) (* t t) (/ t l) (tan k) (- (+ (* (/ k t) (/ k t)) 1) 1) (+ (* (/ k t) (/ k t)) 1) (/ k t) 1)
220.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)))) -4) (PI)) (* (- (log (cosh (* (* f (PI)) -1/4))) (log (sinh (* (* f (PI)) 1/4)))) -4) (- (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)) (* (* f (PI)) 1/4) 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 f) 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) (log (* (* 1/2 (PI)) f))) (PI)) -4) (/ (- (log 2) (log (* (* 1/2 (PI)) f))) (PI)) (- (log 2) (log (* (* 1/2 (PI)) f))) (log 2) 2 (log (* (* 1/2 (PI)) f)) (* (* 1/2 (PI)) f) (* 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)))))))) (* (/ 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)) 1 (/ (PI) 4) (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (+ (* (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) f) 1) (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) (* (* (* (PI) (PI)) f) 1/32) (* (* (PI) (PI)) f) (* (PI) (PI)) 1/32 (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* (* (PI) 1/2) f) (* (PI) 1/2) (neg (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (pow (pow (/ (PI) 4) -1/2) 2) (pow (/ (PI) 4) -1/2) -1/2 (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (+ (* (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) f) 1) (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) (* 1/4 (PI)))
196.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 (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (* 2 (cosh (* (* (PI) f) -1/4))) 2 (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 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)) (* (* (PI) 1/2) f) (* (PI) 1/2) 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)))))))) (* (/ 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)) 1 (/ (PI) 4) 4 (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))))) (+ (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 (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (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))))))) (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (log (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)))) (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)) (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (sinh (* f (/ (PI) 4))) (pow (/ (PI) 4) -1) -1)
166.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 (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (* 2 (sinh (* (* (PI) f) 1/4)))) (* 2 (cosh (* (* (PI) f) -1/4))) 2 (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 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)) (* (* (PI) 1/2) f) (* (PI) 1/2) 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)))))))) (* (/ 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)) 1 (/ (PI) 4) 4 (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))))) (+ (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 (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (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))))))) (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (log (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)))) (/ 1 (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)) (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (sinh (* f (/ (PI) 4))) (pow (/ (PI) 4) -1) -1)
142.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)))) -4) (PI)) (* (- (log (cosh (* (* f (PI)) -1/4))) (log (sinh (* (* f (PI)) 1/4)))) -4) (- (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)) (* (* f (PI)) 1/4) 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 f) 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) (log (* (* 1/2 (PI)) f))) (PI)) -4) (/ (- (log 2) (log (* (* 1/2 (PI)) f))) (PI)) (- (log 2) (log (* (* 1/2 (PI)) f))) (log 2) 2 (log (* (* 1/2 (PI)) f)) (* (* 1/2 (PI)) f) (* 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)))))))) (* (/ 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)) 1 (/ (PI) 4) (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (+ (* (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) f) 1) (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) (* (* (* (PI) (PI)) f) 1/32) (* (* (PI) (PI)) f) (* (PI) (PI)) 1/32 (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* (* (PI) 1/2) f) (* (PI) 1/2) (neg (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (pow (pow (/ (PI) 4) -1/2) 2) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (pow (pow (/ (PI) 4) -1/2) 2) (pow (/ (PI) 4) -1/2) -1/2 (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))))) (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (* (/ (PI) 4) f)) (+ (* (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) f) 1) (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) (* 1/4 (PI)))

analyze10.4s (5%)

Memory
-78.6MiB live, 14 762.8MiB 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)

explain9.9s (4.8%)

Memory
-136.6MiB live, 14 266.4MiB allocated; 3.0s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation4760
sqrt.f64#foflow-rescue4730
cos.f64#fsensitivity4232
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))))sensitivity2560
+.f64#fnan-rescue2330
*.f64#fn*o2270
pow.f64#foflow-rescue1600
sqrt.f64#fuflow-rescue1560
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)))))))sensitivity1440
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1280
*.f64#fu*o1250
-.f64#fnan-rescue1180
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity9828
*.f64#fn*u800
/.f64#fo/o720
*.f64#fo*u670
pow.f64#fuflow-rescue620
+.f64#fcancellation560
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue550
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow55
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow55
↳(*.f64 K (+.f64 m n))overflow56
/.f64#fo/n540
/.f64#fn/o400
/.f64#fu/u400
/.f64#fn/u260
/.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))))))sensitivity80
exp.f64#fsensitivity70
tan.f64(tan.f64 (*.f64 (PI.f64) l))oflow-rescue10
↳(*.f64 (PI.f64) l)overflow1
Confusion
Predicted +Predicted -
+197140
-11795002
Precision
0.6257142857142857
Recall
0.9801093983092989
Confusion?
Predicted +Predicted MaybePredicted -
+1971139
-1179294973
Precision?
0.620125786163522
Recall?
0.9806066633515664
Freqs
test
numberfreq
05042
12755
2339
351
45
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-007
Precision?
1.0
Recall?
1.0
Samples
2.0s13 210×0valid
820.0ms2 052×1valid
313.0ms710×2valid
293.0ms398×3valid
8.0ms14×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 547.0ms (22.8% of total)
ival-div: 334.0ms (13.9% of total)
adjust: 268.0ms (11.2% of total)
ival-pow2: 181.0ms (7.5% of total)
ival-sub: 138.0ms (5.7% of total)
ival-add: 128.0ms (5.3% of total)
ival-sqrt: 112.0ms (4.7% of total)
ival-sin: 105.0ms (4.4% of total)
ival-exp: 97.0ms (4% of total)
ival-pow: 90.0ms (3.7% of total)
ival-log: 75.0ms (3.1% of total)
ival-cos: 64.0ms (2.7% of total)
ival-pi: 44.0ms (1.8% of total)
ival-tan: 42.0ms (1.7% of total)
ival-acos: 41.0ms (1.7% of total)
ival-neg: 26.0ms (1.1% of total)
ival-hypot: 25.0ms (1% of total)
exact: 20.0ms (0.8% of total)
ival-true: 16.0ms (0.7% of total)
ival-tanu: 11.0ms (0.5% of total)
ival-asin: 9.0ms (0.4% of total)
const: 9.0ms (0.4% of total)
ival-assert: 8.0ms (0.3% of total)
ival-fabs: 7.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)

derivations9.7s (4.7%)

Memory
-168.7MiB live, 10 076.3MiB allocated; 1.3s collecting garbage
Stop Event
30×fuel
2×done
Compiler

Compiled 29 966 to 3 918 computations (86.9% saved)

eval9.6s (4.6%)

Memory
-71.1MiB live, 16 141.4MiB allocated; 2.9s collecting garbage
Compiler

Compiled 3 586 479 to 258 100 computations (92.8% saved)

preprocess9.5s (4.6%)

Memory
491.8MiB live, 12 108.7MiB allocated; 2.1s collecting garbage
Stop Event
64×iter limit
62×node limit
2×saturated
Compiler

Compiled 79 541 to 17 791 computations (77.6% saved)

bsearch6.7s (3.2%)

Memory
-184.3MiB live, 7 637.7MiB allocated; 3.3s collecting garbage
Algorithm
231×binary-search
139×left-value
Stop Event
210×narrow-enough
21×predicate-same
Samples
2.8s16 341×0valid
761.0ms2 922×0invalid
293.0ms907×1valid
58.0ms167×2valid
42.0ms93×1invalid
19.0ms41×3valid
1.0ms4×2invalid
Compiler

Compiled 154 554 to 105 723 computations (31.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-mult: 670.0ms (21.6% of total)
ival-div: 531.0ms (17.1% of total)
ival-sin: 468.0ms (15.1% of total)
ival-add: 286.0ms (9.2% of total)
ival-tan: 225.0ms (7.3% of total)
ival-pow: 223.0ms (7.2% of total)
ival-sub: 180.0ms (5.8% of total)
ival-pow2: 150.0ms (4.8% of total)
adjust: 98.0ms (3.2% of total)
ival-neg: 64.0ms (2.1% of total)
ival-exp: 61.0ms (2% of total)
ival-sqrt: 30.0ms (1% of total)
exact: 22.0ms (0.7% of total)
ival-cos: 20.0ms (0.6% of total)
ival-hypot: 16.0ms (0.5% of total)
ival-true: 16.0ms (0.5% of total)
ival-assert: 9.0ms (0.3% of total)
ival-fabs: 9.0ms (0.3% of total)
const: 8.0ms (0.3% of total)
ival-tanu: 6.0ms (0.2% of total)
ival-atan: 5.0ms (0.2% of total)
ival-pi: 1.0ms (0% of total)

prune5.0s (2.4%)

Memory
187.6MiB live, 9 083.6MiB allocated; 1.4s collecting garbage
Counts
58 962 → 2 669
Compiler

Compiled 258 613 to 127 904 computations (50.5% saved)

simplify2.0s (1%)

Memory
240.3MiB live, 2 135.0MiB allocated; 337ms collecting garbage
Stop Event
31×node limit
1×saturated

start2.0ms (0%)

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

end0.0ms (0%)

Memory
0.7MiB live, 0.6MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...