Herbie run

Date:Saturday, April 5th, 2025
Commit:f7a7cb35 on main
Seed:2025095
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:230 996.5 MB

Time bar (total: 2.8min)

sample1.1min (38.7%)

Memory
1 102.0MiB live, 91 250.0MiB allocated; 19.9s collecting garbage
Samples
25.5s224 791×0valid
7.4s65 833×0invalid
5.9s23 247×1valid
3.3s12 633×1invalid
3.0s9 796×2valid
2.8s6 349×3valid
546.0ms1 980×5exit
312.0ms537×2invalid
36.0ms258×0exit
8.0ms9×4valid
Precisions
Click to see histograms. Total time spent on operations: 36.1s
ival-mult!: 8.4s (23.2% of total)
ival-div!: 4.7s (12.9% of total)
adjust: 3.6s (10.1% of total)
ival-pow2: 2.6s (7.1% of total)
ival-pow: 2.5s (7% of total)
ival-sqrt: 2.2s (6.1% of total)
ival-exp: 2.2s (6.1% of total)
ival-sin: 2.1s (5.9% of total)
ival-sub!: 1.6s (4.3% of total)
ival-add!: 1.5s (4.2% of total)
ival-cos: 862.0ms (2.4% of total)
ival-tan: 803.0ms (2.2% of total)
ival-acos: 736.0ms (2% of total)
ival-asin: 644.0ms (1.8% of total)
ival-neg: 582.0ms (1.6% of total)
ival-hypot: 411.0ms (1.1% of total)
ival-log: 382.0ms (1.1% of total)
ival-tanu: 183.0ms (0.5% of total)
ival-atan: 104.0ms (0.3% of total)
ival-fabs: 50.0ms (0.1% of total)
ival-<: 1.0ms (0% of total)
ival-and: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

rewrite28.7s (16.8%)

Memory
244.4MiB live, 32 412.1MiB allocated; 9.6s collecting garbage
Stop Event
298×iter-limit
124×node-limit
4×unsound
Counts
28 190 → 45 541

regimes12.4s (7.3%)

Memory
163.9MiB live, 20 358.9MiB allocated; 2.8s collecting garbage
Counts
8 397 → 681
Calls

156 calls:

676.0ms
t
646.0ms
l
505.0ms
x
489.0ms
k
329.0ms
c0
Compiler

Compiled 11 245 to 11 591 computations (-3.1% saved)

series11.6s (6.8%)

Memory
621.1MiB live, 17 961.9MiB allocated; 3.5s collecting garbage
Counts
4 471 → 23 719
Calls

1200 calls:

TimeVariablePointExpression
433.0ms
M
@inf
((* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (/ (* (* (pow (* (/ M 2) (/ D 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 (* (/ M 2) (/ D d)) 2) 1/2) h) l)) (/ (* (* (pow (* (/ M 2) (/ D d)) 2) 1/2) h) l) (* (* (pow (* (/ M 2) (/ D d)) 2) 1/2) h) (* (pow (* (/ M 2) (/ D d)) 2) 1/2) (pow (* (/ M 2) (/ D d)) 2) (* (/ M 2) (/ D d)) (/ M 2) M (/ D d) D 1/2 (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (sqrt (pow (* l h) -1)) d) (sqrt (pow (* l h) -1)) (pow (* l h) -1) (* l h) -1 (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (* -1/8 (/ (pow (* D M) 2) d)) (sqrt (/ h (pow l 3)))) (* -1/8 (/ (pow (* D M) 2) d)) -1/8 (/ (pow (* D M) 2) d) (pow (* D M) 2) (* D M) (sqrt (/ h (pow l 3))) (/ h (pow l 3)) (pow l 3) 3 (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (/ (+ (* (* -1/8 (/ (pow (* D M) 2) d)) (sqrt (* l h))) (* (sqrt (/ (pow l 3) h)) d)) (* l l)) (+ (* (* -1/8 (/ (pow (* D M) 2) d)) (sqrt (* l h))) (* (sqrt (/ (pow l 3) h)) d)) (sqrt (* l h)) (* (sqrt (/ (pow l 3) h)) d) (sqrt (/ (pow l 3) h)) (/ (pow l 3) h) (* l l) (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (+ (* (* -1/8 (/ (* D D) d)) (sqrt (/ h (pow l 3)))) (* (/ d (* M M)) (sqrt (pow (* l h) -1)))) (* M M)) (+ (* (* -1/8 (/ (* D D) d)) (sqrt (/ h (pow l 3)))) (* (/ d (* M M)) (sqrt (pow (* l h) -1)))) (* -1/8 (/ (* D D) d)) (/ (* D D) d) (* D D) (* (/ d (* M M)) (sqrt (pow (* l h) -1))) (/ d (* M M)) (* M M))
242.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 (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))) (log (* 2 (cosh (* f (/ (PI) 4))))) (* 2 (cosh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* f (/ (PI) 4))) (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (pow (/ (PI) 4) -1)))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (pow (/ (PI) 4) -1))) (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (neg (pow (/ (PI) 4) -1)) (pow (/ (PI) 4) -1) -1)
223.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (/ (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) (PI)) -4) (/ (log (/ (cosh (* (* f (PI)) 1/4)) (sinh (* (* f (PI)) 1/4)))) (PI)) (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 (/ 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)) (/ (log (* (* 1/2 (PI)) f)) (PI))) -4) (- (/ (log 2) (PI)) (/ (log (* (* 1/2 (PI)) f)) (PI))) (/ (log 2) (PI)) (log 2) 2 (/ (log (* (* 1/2 (PI)) f)) (PI)) (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)))))))) (* (/ (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 f) (PI)) -1) (+ (* (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) -1) (/ (log (/ 2 (* 1/2 (PI)))) (PI)))) (/ (log f) (PI)) (log f) -1 (+ (* (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) -1) (/ (log (/ 2 (* 1/2 (PI)))) (PI))) (* (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI)))) (/ f (PI)) (/ (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/2 (PI))) (- (* 1/32 (* (PI) (PI))) (* 1/32 (* (PI) (PI)))) (* 1/32 (* (PI) (PI))) 1/32 (* (PI) (PI)) (/ (log (/ 2 (* 1/2 (PI)))) (PI)) (log (/ 2 (* 1/2 (PI)))) (/ 2 (* 1/2 (PI))) (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 2)) (* (log (* (* 1/2 (PI)) f)) (log (* (* 1/2 (PI)) f)))) (log (* 2 (* (* 1/2 (PI)) f)))) (PI)) -4) (/ (/ (- (* (log 2) (log 2)) (* (log (* (* 1/2 (PI)) f)) (log (* (* 1/2 (PI)) f)))) (log (* 2 (* (* 1/2 (PI)) f)))) (PI)) (/ (- (* (log 2) (log 2)) (* (log (* (* 1/2 (PI)) f)) (log (* (* 1/2 (PI)) f)))) (log (* 2 (* (* 1/2 (PI)) f)))) (- (* (log 2) (log 2)) (* (log (* (* 1/2 (PI)) f)) (log (* (* 1/2 (PI)) f)))) (* (log 2) (log 2)) (* (log (* (* 1/2 (PI)) f)) (log (* (* 1/2 (PI)) f))) (log (* 2 (* (* 1/2 (PI)) f))) (* 2 (* (* 1/2 (PI)) f)))
193.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 (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))) (log (* 2 (cosh (* f (/ (PI) 4))))) (* 2 (cosh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* f (/ (PI) 4))) (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (pow (/ (PI) 4) -1)))) (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (neg (pow (/ (PI) 4) -1))) (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (neg (pow (/ (PI) 4) -1)) (pow (/ (PI) 4) -1) -1)
179.0ms
f
@inf
((neg (* (/ 1 (/ (PI) 4)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (/ (- (log (cosh (* (* f (PI)) -1/4))) (log (sinh (* (* 1/4 f) (PI))))) (PI)) -4) (/ (- (log (cosh (* (* f (PI)) -1/4))) (log (sinh (* (* 1/4 f) (PI))))) (PI)) (- (log (cosh (* (* f (PI)) -1/4))) (log (sinh (* (* 1/4 f) (PI))))) (log (cosh (* (* f (PI)) -1/4))) (cosh (* (* f (PI)) -1/4)) (* (* f (PI)) -1/4) (* f (PI)) f (PI) -1/4 (log (sinh (* (* 1/4 f) (PI)))) (sinh (* (* 1/4 f) (PI))) (* (* 1/4 f) (PI)) (* 1/4 f) 1/4 -4 (neg (* (/ 1 (/ (PI) 4)) (log (/ (* 2 (cosh (* f (/ (PI) 4)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (/ (PI) 4)) (log (/ (* 2 (cosh (* f (/ (PI) 4)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) 4 (log (/ (* 2 (cosh (* f (/ (PI) 4)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))) (/ (* 2 (cosh (* f (/ (PI) 4)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))) (* 2 (cosh (* f (/ (PI) 4)))) 2 (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) 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)))))))) (* (+ (/ (neg (log f)) (PI)) (/ (log (/ 4 (PI))) (PI))) -4) (+ (/ (neg (log f)) (PI)) (/ (log (/ 4 (PI))) (PI))) (/ (neg (log f)) (PI)) (neg (log f)) (log f) (/ (log (/ 4 (PI))) (PI)) (log (/ 4 (PI))) (/ 4 (PI)) (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)) (+ (* (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) f) 1) (+ (* (* (* (PI) (PI)) f) 1/32) (* 1/4 (PI))) (* (* (PI) (PI)) f) (* (PI) (PI)) 1/32 (* 1/4 (PI)) (exp (neg (* (/ (PI) 4) f))) (neg (* (/ (PI) 4) f)) (* (/ (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 (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (exp (neg (* (/ (PI) 4) f))))

analyze10.0s (5.8%)

Memory
-282.6MiB live, 11 648.9MiB allocated; 6.7s 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)

derivations9.5s (5.6%)

Memory
-223.1MiB live, 8 969.1MiB allocated; 2.6s collecting garbage
Stop Event
31×fuel
1×done
Compiler

Compiled 30 253 to 3 750 computations (87.6% saved)

eval8.8s (5.1%)

Memory
38.1MiB live, 13 491.4MiB allocated; 3.1s collecting garbage
Compiler

Compiled 2 935 187 to 253 863 computations (91.4% saved)

explain8.2s (4.8%)

Memory
-134.1MiB live, 12 781.5MiB allocated; 2.0s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation4620
sqrt.f64#foflow-rescue4610
cos.f64#fsensitivity4080
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-rescue2490
*.f64#fn*o2450
sqrt.f64#fuflow-rescue1670
pow.f64#foflow-rescue1320
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1311
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)))))))sensitivity1271
*.f64#fu*o1180
-.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)))sensitivity10621
/.f64#fo/o810
*.f64#fo*u680
*.f64#fn*u670
+.f64#fcancellation560
pow.f64#fuflow-rescue530
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/u510
/.f64#fo/n510
/.f64#fn/o390
/.f64#fn/u240
/.f64#fu/n190
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))))))sensitivity100
exp.f64(exp.f64 (neg.f64 l))sensitivity10
Confusion
Predicted +Predicted -
+199830
-11065058
Precision
0.6436855670103093
Recall
0.985207100591716
Confusion?
Predicted +Predicted MaybePredicted -
+1998030
-1106235035
Precision?
0.6389510713143588
Recall?
0.985207100591716
Freqs
test
numberfreq
05088
12705
2353
342
44
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-007
Precision?
1.0
Recall?
1.0
Samples
2.0s13 276×0valid
546.0ms1 924×1valid
240.0ms756×2valid
204.0ms412×3valid
8.0ms16×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-sin: 440.0ms (21.7% of total)
ival-mult!: 413.0ms (20.4% of total)
ival-div!: 189.0ms (9.3% of total)
adjust: 148.0ms (7.3% of total)
ival-pow2: 125.0ms (6.2% of total)
ival-sub!: 106.0ms (5.2% of total)
ival-pow: 105.0ms (5.2% of total)
ival-exp: 97.0ms (4.8% of total)
ival-sqrt: 89.0ms (4.4% of total)
ival-cos: 70.0ms (3.5% of total)
ival-add!: 63.0ms (3.1% of total)
ival-tan: 43.0ms (2.1% of total)
ival-neg: 29.0ms (1.4% of total)
ival-acos: 29.0ms (1.4% of total)
ival-log: 25.0ms (1.2% of total)
ival-hypot: 21.0ms (1% of total)
ival-tanu: 12.0ms (0.6% of total)
ival-asin: 8.0ms (0.4% of total)
ival-fabs: 5.0ms (0.2% of total)
ival-atan: 5.0ms (0.2% of total)
ival-pi: 0.0ms (0% of total)
const: 0.0ms (0% of total)

preprocess6.6s (3.9%)

Memory
-169.6MiB live, 8 792.3MiB allocated; 1.9s collecting garbage
Stop Event
31×node-limit
1×saturated
Compiler

Compiled 213 278 to 75 438 computations (64.6% saved)

bsearch4.3s (2.6%)

Memory
142.7MiB live, 6 049.7MiB allocated; 1.0s collecting garbage
Algorithm
231×binary-search
133×left-value
Stop Event
220×narrow-enough
11×predicate-same
Samples
1.9s14 715×0valid
409.0ms3 501×0invalid
103.0ms615×1valid
80.0ms255×2valid
36.0ms95×3valid
9.0ms58×1invalid
2.0ms8×2invalid
Compiler

Compiled 159 476 to 108 667 computations (31.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult!: 431.0ms (23.2% of total)
ival-div!: 339.0ms (18.2% of total)
ival-pow: 237.0ms (12.8% of total)
ival-sin: 159.0ms (8.6% of total)
ival-pow2: 150.0ms (8.1% of total)
ival-tan: 114.0ms (6.1% of total)
ival-sub!: 105.0ms (5.6% of total)
ival-add!: 81.0ms (4.4% of total)
ival-neg: 63.0ms (3.4% of total)
adjust: 49.0ms (2.6% of total)
ival-exp: 42.0ms (2.3% of total)
ival-sqrt: 39.0ms (2.1% of total)
ival-hypot: 14.0ms (0.8% of total)
ival-cos: 11.0ms (0.6% of total)
ival-tanu: 8.0ms (0.4% of total)
ival-log: 8.0ms (0.4% of total)
ival-atan: 7.0ms (0.4% of total)
ival-fabs: 3.0ms (0.2% of total)
ival-pi: 0.0ms (0% of total)

prune4.3s (2.5%)

Memory
-30.1MiB live, 7 276.2MiB allocated; 947ms collecting garbage
Counts
55 511 → 2 581
Compiler

Compiled 240 198 to 119 775 computations (50.1% saved)

start2.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...