Herbie run

Date:Friday, January 17th, 2025
Commit:0ed7f8bc on no-localize
Seed:2025017
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:302 341.2 MB

Time bar (total: 3.9min)

sample1.4min (36.8%)

Memory
1 041.0MiB live, 112 741.7MiB allocated; 33.3s collecting garbage
Samples
36.4s224 474×0valid
9.5s66 280×0invalid
8.5s23 682×1valid
4.4s13 696×1invalid
3.4s9 677×2valid
2.7s6 346×3valid
614.0ms1 597×2invalid
29.0ms254×0exit
6.0ms13×4valid
1.0ms1×5exit
Precisions
Click to see histograms. Total time spent on operations: 51.0s
ival-mult: 13.4s (26.3% of total)
ival-div: 7.5s (14.6% of total)
ival-sub: 4.5s (8.7% of total)
adjust: 3.3s (6.5% of total)
ival-pow2: 3.1s (6.1% of total)
ival-add: 3.1s (6% of total)
ival-sin: 2.8s (5.4% of total)
ival-sqrt: 2.5s (4.9% of total)
ival-exp: 2.3s (4.6% of total)
ival-pow: 1.9s (3.6% of total)
ival-cos: 1.0s (2% of total)
ival-neg: 821.0ms (1.6% of total)
ival-tan: 731.0ms (1.4% of total)
ival-acos: 636.0ms (1.2% of total)
ival-pi: 570.0ms (1.1% of total)
const: 509.0ms (1% of total)
ival-tanu: 428.0ms (0.8% of total)
ival-hypot: 357.0ms (0.7% of total)
exact: 348.0ms (0.7% of total)
ival-log: 345.0ms (0.7% of total)
ival-true: 248.0ms (0.5% of total)
ival-asin: 232.0ms (0.5% of total)
ival-fabs: 149.0ms (0.3% of total)
ival-atan: 133.0ms (0.3% of total)
ival-assert: 130.0ms (0.3% of total)
ival-<: 41.0ms (0.1% of total)
ival-and: 11.0ms (0% of total)
Bogosity

simplify30.4s (12.9%)

Memory
621.8MiB live, 34 062.4MiB allocated; 9.7s collecting garbage
Stop Event
154×node limit
137×iter limit
4×unsound
1×saturated
Counts
17 613 → 17 219

regimes17.8s (7.5%)

Memory
243.1MiB live, 26 180.6MiB allocated; 5.2s collecting garbage
Counts
10 460 → 773
Calls

156 calls:

829.0ms
l
638.0ms
t
498.0ms
k
481.0ms
(pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))
481.0ms
x
Compiler

Compiled 13 689 to 13 438 computations (1.8% saved)

derivations16.4s (7%)

Memory
-550.1MiB live, 12 630.2MiB allocated; 6.9s collecting garbage
Stop Event
30×fuel
2×done
Compiler

Compiled 34 054 to 4 209 computations (87.6% saved)

eval15.4s (6.6%)

Memory
205.0MiB live, 22 776.2MiB allocated; 5.9s collecting garbage
Compiler

Compiled 4 134 860 to 377 081 computations (90.9% saved)

rewrite14.4s (6.1%)

Memory
-156.9MiB live, 17 775.1MiB allocated; 3.0s collecting garbage
Stop Event
394×iter limit
103×node limit
24×unsound
Counts
4 616 → 54 806

series13.3s (5.6%)

Memory
18.5MiB live, 18 670.8MiB allocated; 4.4s collecting garbage
Counts
4 616 → 17 613
Calls

1197 calls:

TimeVariablePointExpression
689.0ms
d
@-inf
((* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (/ (* (pow (* (/ D 2) (/ M d)) 2) (* 1/2 h)) l))) (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (pow (/ d h) (/ 1 2)) (/ d h) d h (/ 1 2) 1 2 (pow (/ d l) (/ 1 2)) (/ d l) l (- 1 (/ (* (pow (* (/ D 2) (/ M d)) 2) (* 1/2 h)) l)) (/ (* (pow (* (/ D 2) (/ M d)) 2) (* 1/2 h)) l) (* (pow (* (/ D 2) (/ M d)) 2) (* 1/2 h)) (pow (* (/ D 2) (/ M d)) 2) (* (/ D 2) (/ M d)) (/ D 2) D (/ M d) M (* 1/2 h) 1/2 (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (sqrt (/ 1 (* l h))) d) (sqrt (/ 1 (* l h))) (/ 1 (* l h)) (* l h) (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))) (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)) (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (pow (/ (* M D) (* 2 d)) 2) (/ (* M D) (* 2 d)) (* M D) (* 2 d) (/ h l) (* (* (+ (* (* -1/2 (pow (* (/ D 2) (/ M d)) 2)) (/ h l)) 1) (sqrt (/ d h))) (sqrt (/ d l))) (* (+ (* (* -1/2 (pow (* (/ D 2) (/ M d)) 2)) (/ h l)) 1) (sqrt (/ d h))) (+ (* (* -1/2 (pow (* (/ D 2) (/ M d)) 2)) (/ h l)) 1) (* -1/2 (pow (* (/ D 2) (/ M d)) 2)) -1/2 (sqrt (/ d h)) (sqrt (/ d l)) (* (* (/ (sqrt d) (sqrt h)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (/ (sqrt d) (sqrt h)) (pow (/ d l) (/ 1 2))) (/ (sqrt d) (sqrt h)) (sqrt d) (sqrt h))
368.0ms
f
@-inf
((neg (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (PI) 4 (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))) (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (cosh (* (/ (PI) -4) f)) (* (/ (PI) -4) f) (/ (PI) -4) -4 f (sinh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (pow (exp f) (/ (PI) 4)) (exp f) (pow (exp 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)))))))) (* (/ 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))))) (/ (/ 2 (* 1/2 (PI))) f) (/ 2 (* 1/2 (PI))) 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)))))))) (* (/ 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))))) (/ (+ (* (/ 1 (PI)) 4) (* (+ (* (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) f) 0) f)) f) (+ (* (/ 1 (PI)) 4) (* (+ (* (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) f) 0) f)) (/ 1 (PI)) (* (+ (* (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) f) 0) f) (+ (* (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) f) 0) (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) (/ (/ (pow (PI) 3) (PI)) (PI)) (/ (pow (PI) 3) (PI)) (pow (PI) 3) 3 1/48 -2 (* (/ (* (PI) (PI)) (PI)) 1/8) (/ (* (PI) (PI)) (PI)) (* (PI) (PI)) 1/8 0 (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (PI)))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (PI))) (/ -4 (PI)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (* (cosh (* (/ (PI) -4) f)) 2) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (* (cosh (* (/ (PI) -4) f)) 2) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (* (cosh (* (/ (PI) -4) f)) 2) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (* (cosh (* (/ (PI) -4) f)) 2) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (* (cosh (* (/ (PI) -4) f)) 2) (- (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)))
299.0ms
f
@inf
((* (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) -4) (/ (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (PI)) (log (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4))))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (cosh (* (/ (PI) -4) f)) (* (/ (PI) -4) f) (/ (PI) -4) (PI) -4 f (sinh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (/ (PI) 4) 4 (* (/ 4 (PI)) (neg (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (/ 4 (PI)) (neg (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))))) (/ 4 (* f (PI))) (* f (PI)) (neg (* (/ 4 (PI)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 4 (PI)) (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))))) (/ (+ (* (/ 1 (PI)) 4) (* (+ (* (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) f) 0) f)) f) (+ (* (/ 1 (PI)) 4) (* (+ (* (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) f) 0) f)) (* (* (+ (* (PI) 1/12) (/ 4 (* (* (PI) f) f))) f) f) (* (+ (* (PI) 1/12) (/ 4 (* (* (PI) f) f))) f) (+ (* (PI) 1/12) (/ 4 (* (* (PI) f) f))) 1/12 (/ 4 (* (* (PI) f) f)) (* (* (PI) f) f) (* (PI) f) (* (/ 4 (PI)) (neg (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (neg (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (neg (+ (* (log f) -1) (log (/ 2 (* (PI) 1/2))))) (+ (* (log f) -1) (log (/ 2 (* (PI) 1/2)))) (log f) -1 (log (/ 2 (* (PI) 1/2))) (/ 2 (* (PI) 1/2)) 2 (* (PI) 1/2) 1/2 (- (/ (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (PI) -4)) (/ (log (* -2 (sinh (* (/ (PI) -4) f)))) (/ (PI) -4))) (/ (log (* (cosh (* (/ (PI) -4) f)) 2)) (/ (PI) -4)) (log (* (cosh (* (/ (PI) -4) f)) 2)) (* (cosh (* (/ (PI) -4) f)) 2) (/ (log (* -2 (sinh (* (/ (PI) -4) f)))) (/ (PI) -4)) (log (* -2 (sinh (* (/ (PI) -4) f)))) (* -2 (sinh (* (/ (PI) -4) f))) -2 (sinh (* (/ (PI) -4) f)))
224.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))))) (* (/ 1 (/ (PI) 4)) (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (PI) 4 (log (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4)))) (pow (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (pow (exp f) (/ (PI) -4))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (pow (exp f) (/ (PI) 4))) (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (cosh (* (/ (PI) -4) f)) (* (/ (PI) -4) f) (/ (PI) -4) -4 f (sinh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (pow (exp f) (/ (PI) 4)) (exp f) (pow (exp 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)))))))) (* (/ 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))))) (/ (/ 2 (* 1/2 (PI))) f) (/ 2 (* 1/2 (PI))) 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)))))))) (* (/ 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))))) (/ (+ (* (/ 1 (PI)) 4) (* (+ (* (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) f) 0) f)) f) (+ (* (/ 1 (PI)) 4) (* (+ (* (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) f) 0) f)) (/ 1 (PI)) (* (+ (* (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) f) 0) f) (+ (* (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) f) 0) (+ (* (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) -2) (* (/ (* (PI) (PI)) (PI)) 1/8)) (* (/ (/ (pow (PI) 3) (PI)) (PI)) 1/48) (/ (/ (pow (PI) 3) (PI)) (PI)) (/ (pow (PI) 3) (PI)) (pow (PI) 3) 3 1/48 -2 (* (/ (* (PI) (PI)) (PI)) 1/8) (/ (* (PI) (PI)) (PI)) (* (PI) (PI)) 1/8 0 (log (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (PI)))) (pow (/ (cosh (* (/ (PI) -4) f)) (sinh (* f (/ (PI) 4)))) (/ -4 (PI))) (/ -4 (PI)) (neg (* (/ 1 (/ (PI) 4)) (log (/ (* (cosh (* (/ (PI) -4) f)) 2) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (* (cosh (* (/ (PI) -4) f)) 2) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (log (/ (* (cosh (* (/ (PI) -4) f)) 2) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (* (cosh (* (/ (PI) -4) f)) 2) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (* (cosh (* (/ (PI) -4) f)) 2) (- (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)))
195.0ms
m
@-inf
((/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (* (/ (pow (exp (neg m)) (neg (log k))) k) (/ a k)) (/ (pow (exp (neg m)) (neg (log k))) k) (pow (exp (neg m)) (neg (log k))) (exp (neg m)) (neg m) m (neg (log k)) (log k) k (/ a k) a (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (- k -10) k) 1)) (+ (* (* k a) -10) a) (* k a) -10 (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (- k -10) k) 1)) (+ (* (- k -10) k) 1) (- k -10) 10 1 (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (- k -10) k) 1)) (/ (+ (* (/ a k) -10) a) (* k k)) (+ (* (/ a k) -10) a) (* k k) (/ (* a (pow k m)) (+ (+ 1 (* 10 k)) (* k k))) (/ a (+ (* (- k -10) k) 1)) (/ (- a (/ (+ (* -99 (/ a k)) (* 10 a)) k)) (* k k)) (- a (/ (+ (* -99 (/ a k)) (* 10 a)) k)) (/ (+ (* -99 (/ a k)) (* 10 a)) k) (+ (* -99 (/ a k)) (* 10 a)) -99 (* 10 a))

explain10.1s (4.3%)

Memory
23.0MiB live, 14 094.1MiB allocated; 3.1s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation4810
sqrt.f64#foflow-rescue4580
cos.f64#fsensitivity4302
*.f64#fn*o2570
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))))sensitivity2550
+.f64#fnan-rescue2230
pow.f64#foflow-rescue1500
sqrt.f64#fuflow-rescue1430
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)))))))sensitivity1270
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1190
*.f64#fu*o1180
-.f64#fnan-rescue1050
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity9331
/.f64#fo/o840
/.f64#fo/n650
+.f64#fcancellation640
*.f64#fn*u620
*.f64#fo*u590
pow.f64#fuflow-rescue570
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue570
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow57
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow57
↳(*.f64 K (+.f64 m n))overflow57
/.f64#fu/u440
/.f64#fn/u360
/.f64#fn/o320
/.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))))))sensitivity60
exp.f64#fsensitivity30
Confusion
Predicted +Predicted -
+194731
-11585056
Precision
0.6270531400966184
Recall
0.9843276036400405
Confusion?
Predicted +Predicted MaybePredicted -
+1947031
-1158325024
Precision?
0.6206566783551164
Recall?
0.9843276036400405
Freqs
test
numberfreq
05087
12710
2350
341
44
Total Confusion?
Predicted +Predicted MaybePredicted -
+2600
-105
Precision?
0.9629629629629629
Recall?
1.0
Samples
2.3s13 260×0valid
752.0ms1 998×1valid
340.0ms732×2valid
220.0ms380×3valid
9.0ms10×5exit
2.0ms4×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-mult: 595.0ms (24.2% of total)
ival-div: 276.0ms (11.2% of total)
adjust: 248.0ms (10.1% of total)
ival-add: 198.0ms (8.1% of total)
ival-pow2: 194.0ms (7.9% of total)
ival-sin: 155.0ms (6.3% of total)
ival-sub: 130.0ms (5.3% of total)
ival-cos: 128.0ms (5.2% of total)
ival-sqrt: 116.0ms (4.7% of total)
ival-exp: 84.0ms (3.4% of total)
ival-tan: 73.0ms (3% of total)
ival-pow: 68.0ms (2.8% of total)
ival-acos: 38.0ms (1.5% of total)
ival-neg: 25.0ms (1% of total)
ival-hypot: 21.0ms (0.9% of total)
exact: 19.0ms (0.8% of total)
ival-pi: 16.0ms (0.7% of total)
ival-true: 15.0ms (0.6% of total)
ival-log: 14.0ms (0.6% of total)
ival-tanu: 11.0ms (0.4% of total)
ival-asin: 9.0ms (0.4% of total)
const: 8.0ms (0.3% of total)
ival-assert: 7.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-fabs: 4.0ms (0.2% of total)

preprocess9.7s (4.1%)

Memory
401.7MiB live, 11 813.1MiB allocated; 2.0s collecting garbage
Stop Event
64×iter limit
62×node limit
2×saturated
Compiler

Compiled 85 317 to 17 581 computations (79.4% saved)

analyze9.4s (4%)

Memory
374.8MiB live, 13 639.1MiB allocated; 3.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)

prune6.5s (2.8%)

Memory
-137.8MiB live, 10 875.9MiB allocated; 2.1s collecting garbage
Counts
83 539 → 2 800
Compiler

Compiled 259 919 to 130 304 computations (49.9% saved)

bsearch5.5s (2.3%)

Memory
170.6MiB live, 7 076.6MiB allocated; 1.5s collecting garbage
Algorithm
213×left-value
205×binary-search
Stop Event
199×narrow-enough
6×predicate-same
Samples
2.5s14 300×0valid
630.0ms4 548×0invalid
199.0ms406×1valid
86.0ms171×2valid
33.0ms67×3valid
17.0ms74×1invalid
1.0ms4×2invalid
Compiler

Compiled 139 969 to 96 715 computations (30.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-mult: 597.0ms (22.4% of total)
ival-div: 586.0ms (22% of total)
ival-pow: 322.0ms (12.1% of total)
ival-add: 243.0ms (9.1% of total)
ival-sub: 203.0ms (7.6% of total)
ival-pow2: 167.0ms (6.3% of total)
ival-tan: 166.0ms (6.2% of total)
ival-sin: 104.0ms (3.9% of total)
adjust: 61.0ms (2.3% of total)
ival-neg: 45.0ms (1.7% of total)
ival-sqrt: 37.0ms (1.4% of total)
ival-exp: 28.0ms (1.1% of total)
ival-cos: 24.0ms (0.9% of total)
exact: 19.0ms (0.7% of total)
ival-true: 15.0ms (0.6% of total)
const: 9.0ms (0.3% of total)
ival-hypot: 9.0ms (0.3% of total)
ival-assert: 8.0ms (0.3% of total)
ival-tanu: 7.0ms (0.3% of total)
ival-fabs: 5.0ms (0.2% of total)
ival-atan: 4.0ms (0.2% of total)
ival-pi: 1.0ms (0% of total)
ival-asin: 1.0ms (0% of total)

start19.0ms (0%)

Memory
-45.9MiB live, 4.8MiB allocated; 22ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...