Herbie run

Date:Wednesday, April 16th, 2025
Commit:49675406 on chassis-platforms-cleanup
Seed:2025106
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:237 894.0 MB

Time bar (total: 2.8min)

sample1.1min (37.6%)

Memory
1 048.0MiB live, 92 807.3MiB allocated; 17.5s collecting garbage
Samples
25.3s224 429×0valid
7.0s65 846×0invalid
6.7s23 542×1valid
3.2s14 658×1invalid
3.0s9 848×2valid
2.0s6 362×3valid
126.0ms554×2invalid
24.0ms240×0exit
4.0ms11×4valid
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 33.7s
ival-mult!: 8.6s (25.5% of total)
ival-div!: 4.3s (12.7% of total)
adjust: 2.6s (7.8% of total)
ival-pow2: 2.3s (6.9% of total)
ival-sqrt: 2.3s (6.8% of total)
ival-exp: 2.1s (6.3% of total)
ival-pow: 1.9s (5.7% of total)
ival-sub!: 1.9s (5.6% of total)
ival-sin: 1.8s (5.4% of total)
ival-add!: 1.3s (3.8% of total)
ival-cos: 1.0s (3.1% of total)
ival-tan: 751.0ms (2.2% of total)
ival-acos: 674.0ms (2% of total)
ival-neg: 581.0ms (1.7% of total)
ival-hypot: 444.0ms (1.3% of total)
ival-log: 397.0ms (1.2% of total)
ival-asin: 265.0ms (0.8% of total)
ival-tanu: 193.0ms (0.6% of total)
ival-atan: 161.0ms (0.5% of total)
ival-fabs: 46.0ms (0.1% of total)
ival-<: 1.0ms (0% of total)
ival-and: 1.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

rewrite26.8s (15.9%)

Memory
704.5MiB live, 33 774.5MiB allocated; 6.1s collecting garbage
Stop Event
302×iter-limit
121×node-limit
7×unsound
Counts
27 903 → 44 219

series13.6s (8.1%)

Memory
915.5MiB live, 19 511.7MiB allocated; 4.4s collecting garbage
Counts
4 510 → 23 393
Calls

1200 calls:

TimeVariablePointExpression
637.0ms
t
@-inf
((/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (- 1 (* 5 (* v v))) 1 (* 5 (* v v)) 5 (* v v) v (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (* (* (* (PI) t) (* (sqrt 2) (- 1 (* v v)))) (sqrt (+ (* -3 (* v v)) 1))) (* (* (PI) t) (* (sqrt 2) (- 1 (* v v)))) (* (PI) t) (PI) t (* (sqrt 2) (- 1 (* v v))) (sqrt 2) 2 (- 1 (* v v)) (sqrt (+ (* -3 (* v v)) 1)) (+ (* -3 (* v v)) 1) -3 (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (/ 1 (* (* (sqrt 2) (PI)) t)) (* (* (sqrt 2) (PI)) t) (* (sqrt 2) (PI)) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (+ (* (/ (* v v) (* (* (sqrt 2) (PI)) t)) -5/2) (/ 1 (* (* (sqrt 2) (PI)) t))) (/ (* v v) (* (* (sqrt 2) (PI)) t)) -5/2 (/ (- 1 (* 5 (* v v))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* (* (* (PI) t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (+ (* (* (* (* (sqrt 2) (PI)) t) -5/2) (* v v)) (* (* (sqrt 2) (PI)) t)) (* (* (* (sqrt 2) (PI)) t) -5/2))
625.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 (* (* (PI) f) -1/4)) 2)) (PI)) (/ (log (* (sinh (* (* (PI) f) 1/4)) 2)) (PI))) -4) (- (/ (log (* (cosh (* (* (PI) f) -1/4)) 2)) (PI)) (/ (log (* (sinh (* (* (PI) f) 1/4)) 2)) (PI))) (/ (log (* (cosh (* (* (PI) f) -1/4)) 2)) (PI)) (log (* (cosh (* (* (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 (/ (log (* (sinh (* (* (PI) f) 1/4)) 2)) (PI)) (log (* (sinh (* (* (PI) f) 1/4)) 2)) (* (sinh (* (* (PI) f) 1/4)) 2) (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)) (/ (/ 4 (PI)) f) (/ 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)))))))) (* (- (/ (log 2) (PI)) (/ (+ (log (* 1/2 f)) (log (PI))) (PI))) -4) (- (/ (log 2) (PI)) (/ (+ (log (* 1/2 f)) (log (PI))) (PI))) (/ (log 2) (PI)) (log 2) (/ (+ (log (* 1/2 f)) (log (PI))) (PI)) (+ (log (* 1/2 f)) (log (PI))) (log (* 1/2 f)) (* 1/2 f) 1/2 (log (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 (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4)))) -4) (PI)) (* (log (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4)))) -4) (log (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4)))) (/ (cosh (* (* (PI) f) -1/4)) (sinh (* (* (PI) f) 1/4))) (neg (* (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (/ 1 (/ (sqrt (PI)) 2)) 1 (/ (sqrt (PI)) 2) (sqrt (PI)) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))) (log (* 2 (cosh (* f (/ (PI) 4))))) (* 2 (cosh (* f (/ (PI) 4)))) (+ (* (* 1/16 (* f f)) (* (PI) (PI))) 2) (* 1/16 (* f f)) 1/16 (* f f) (* (PI) (PI)) (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (/ (PI) 4))
184.0ms
f
@-inf
((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))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (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)))) 2 (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) f (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* 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))) (/ 2 (* (* (PI) 1/2) f)) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 -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 (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))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 1/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))))) (+ (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)) (neg (* (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)) (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)))))
148.0ms
f
@inf
((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))))))) (/ 1 (/ (PI) 4)) 1 (/ (PI) 4) (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)))) 2 (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) f (log (* 2 (sinh (* f (/ (PI) 4))))) (* 2 (sinh (* f (/ (PI) 4)))) (sinh (* 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))) (/ 2 (* (* (PI) 1/2) f)) (* (* (PI) 1/2) f) (* (PI) 1/2) 1/2 -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 (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))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) -1/4 (* 2 (sinh (* (* (PI) f) 1/4))) (sinh (* (* (PI) f) 1/4)) (* (* (PI) f) 1/4) 1/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))))) (+ (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)) (neg (* (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))))))) (* (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f))))))) (/ 1 (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2))) (* (/ (sqrt (PI)) 2) (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)) (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)))))
135.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 (* (* (PI) f) -1/4))) (log (sinh (* (* (PI) f) 1/4)))) (PI)) -4) (/ (- (log (cosh (* (* (PI) f) -1/4))) (log (sinh (* (* (PI) f) 1/4)))) (PI)) (- (log (cosh (* (* (PI) f) -1/4))) (log (sinh (* (* (PI) f) 1/4)))) (log (cosh (* (* (PI) f) -1/4))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (PI) f -1/4 (log (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)) (/ 4 (* (PI) 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) (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)))))))) (* (/ 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)))) (* 2 (cosh (* (* (PI) f) -1/4))) (- (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (* (+ (* 1/4 (PI)) (- (* (* f f) (* (* (* (PI) (PI)) (PI)) 1/192)) (* -1/4 (PI)))) f) (+ (* 1/4 (PI)) (- (* (* f f) (* (* (* (PI) (PI)) (PI)) 1/192)) (* -1/4 (PI)))) (- (* (* f f) (* (* (* (PI) (PI)) (PI)) 1/192)) (* -1/4 (PI))) (* (* f f) (* (* (* (PI) (PI)) (PI)) 1/192)) (* f f) (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) (PI)) (* (PI) (PI)) 1/192 (* -1/4 (PI)) (neg (* (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4)))))))) (* (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (- (log (* 2 (cosh (* f (/ (PI) 4))))) (log (* 2 (sinh (* f (/ (PI) 4))))))) (* (/ 1 (/ (sqrt (PI)) 2)) (/ 1 (/ (sqrt (PI)) 2))) (/ 1 (/ (sqrt (PI)) 2)) (/ (sqrt (PI)) 2) (sqrt (PI)) (- (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))))

regimes12.9s (7.6%)

Memory
121.0MiB live, 19 120.6MiB allocated; 3.9s collecting garbage
Counts
8 395 → 734
Calls

156 calls:

945.0ms
n
710.0ms
l
396.0ms
F
392.0ms
k
352.0ms
x
Compiler

Compiled 11 179 to 11 563 computations (-3.4% saved)

preprocess9.5s (5.6%)

Memory
-223.4MiB live, 12 699.5MiB allocated; 4.1s collecting garbage
Stop Event
31×node-limit
1×saturated
Compiler

Compiled 225 090 to 77 888 computations (65.4% saved)

analyze9.2s (5.4%)

Memory
174.5MiB live, 10 902.9MiB allocated; 4.6s 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)

explain8.6s (5.1%)

Memory
-304.7MiB live, 12 854.0MiB allocated; 2.5s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4550
-.f64#fcancellation4452
cos.f64#fsensitivity4151
*.f64#fn*o2670
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-rescue2420
sqrt.f64#fuflow-rescue1790
pow.f64#foflow-rescue1480
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1300
-.f64#fnan-rescue1200
*.f64#fu*o1170
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)))))))sensitivity1161
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity9430
/.f64#fo/o700
*.f64#fn*u670
/.f64#fo/n610
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue600
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow60
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow60
↳(*.f64 K (+.f64 m n))overflow60
/.f64#fu/u570
*.f64#fo*u540
pow.f64#fuflow-rescue520
+.f64#fcancellation520
/.f64#fn/o380
/.f64#fn/u350
/.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))))))sensitivity40
exp.f64#fsensitivity32
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))))))oflow-rescue10
↳(exp.f64 (*.f64 (/.f64 (PI.f64) #s(literal 4 binary64)) f))overflow4
↳(/.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)))))overflow1
↳(-.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))))overflow2
↳(+.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))))overflow2
Confusion
Predicted +Predicted -
+198733
-11255047
Precision
0.6384961439588689
Recall
0.9836633663366336
Confusion?
Predicted +Predicted MaybePredicted -
+1987132
-1125335014
Precision?
0.6319135410044501
Recall?
0.9841584158415841
Freqs
test
numberfreq
05080
12715
2355
335
46
51
Total Confusion?
Predicted +Predicted MaybePredicted -
+2500
-007
Precision?
1.0
Recall?
1.0
Samples
1.7s13 346×0valid
555.0ms1 940×1valid
249.0ms722×2valid
159.0ms370×3valid
4.0ms6×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-mult!: 371.0ms (21.1% of total)
ival-div!: 204.0ms (11.6% of total)
adjust: 151.0ms (8.6% of total)
ival-pow2: 146.0ms (8.3% of total)
ival-exp: 129.0ms (7.3% of total)
ival-cos: 125.0ms (7.1% of total)
ival-sin: 113.0ms (6.4% of total)
ival-sqrt: 103.0ms (5.8% of total)
ival-tan: 89.0ms (5.1% of total)
ival-sub!: 75.0ms (4.3% of total)
ival-pow: 72.0ms (4.1% of total)
ival-add!: 61.0ms (3.5% of total)
ival-acos: 30.0ms (1.7% of total)
ival-neg: 27.0ms (1.5% of total)
ival-hypot: 22.0ms (1.2% of total)
ival-tanu: 12.0ms (0.7% of total)
ival-log: 11.0ms (0.6% of total)
ival-asin: 8.0ms (0.5% of total)
ival-atan: 6.0ms (0.3% of total)
ival-fabs: 5.0ms (0.3% of total)
ival-pi: 0.0ms (0% of total)
const: 0.0ms (0% of total)

derivations8.3s (4.9%)

Memory
-53.3MiB live, 9 031.2MiB allocated; 944ms collecting garbage
Stop Event
32×fuel
Compiler

Compiled 32 121 to 3 865 computations (88% saved)

eval7.6s (4.5%)

Memory
-23.4MiB live, 12 959.4MiB allocated; 2.7s collecting garbage
Compiler

Compiled 2 899 580 to 258 917 computations (91.1% saved)

bsearch5.3s (3.1%)

Memory
-9.2MiB live, 7 240.9MiB allocated; 1.9s collecting garbage
Algorithm
254×binary-search
155×left-value
Stop Event
242×narrow-enough
12×predicate-same
Samples
2.1s16 671×0valid
598.0ms4 289×0invalid
162.0ms890×1valid
77.0ms293×2valid
16.0ms74×1invalid
14.0ms34×3valid
1.0ms5×2invalid
Compiler

Compiled 178 070 to 120 620 computations (32.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-mult!: 448.0ms (21.8% of total)
ival-div!: 366.0ms (17.8% of total)
ival-pow: 259.0ms (12.6% of total)
ival-pow2: 170.0ms (8.3% of total)
ival-tan: 167.0ms (8.1% of total)
ival-sub!: 118.0ms (5.8% of total)
ival-sin: 117.0ms (5.7% of total)
ival-add!: 96.0ms (4.7% of total)
ival-exp: 65.0ms (3.2% of total)
adjust: 52.0ms (2.5% of total)
ival-neg: 51.0ms (2.5% of total)
ival-hypot: 50.0ms (2.4% of total)
ival-sqrt: 40.0ms (2% of total)
ival-cos: 31.0ms (1.5% of total)
ival-tanu: 12.0ms (0.6% of total)
ival-fabs: 6.0ms (0.3% of total)
ival-atan: 3.0ms (0.1% of total)

prune3.6s (2.2%)

Memory
-321.0MiB live, 6 988.2MiB allocated; 888ms collecting garbage
Counts
48 067 → 2 705
Compiler

Compiled 249 734 to 125 299 computations (49.8% saved)

start2.0ms (0%)

Memory
3.5MiB live, 3.4MiB allocated; 0ms collecting garbage

end0.0ms (0%)

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

Profiling

Loading profile data...