Herbie run

Date:Friday, April 11th, 2025
Commit:4f21fd8d on chassis-platforms-cleanup
Seed:2025101
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:220 186.1 MB

Time bar (total: 2.8min)

sample1.1min (40.7%)

Memory
741.8MiB live, 86 024.5MiB allocated; 26.4s collecting garbage
Samples
28.0s224 501×0valid
7.6s65 628×0invalid
6.1s23 417×1valid
4.0s14 476×1invalid
2.6s9 772×2valid
2.5s6 488×3valid
133.0ms564×2invalid
23.0ms213×0exit
5.0ms14×4valid
0.0ms1×5exit
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 35.8s
ival-mult!: 8.4s (23.5% of total)
ival-div!: 5.1s (14.4% of total)
ival-pow2: 3.4s (9.4% of total)
adjust: 2.7s (7.5% of total)
ival-exp: 2.7s (7.4% of total)
ival-sqrt: 2.3s (6.4% of total)
ival-sin: 2.1s (5.8% of total)
ival-pow: 1.9s (5.4% of total)
ival-sub!: 1.4s (4% of total)
ival-add!: 1.4s (3.8% of total)
ival-tan: 959.0ms (2.7% of total)
ival-cos: 885.0ms (2.5% of total)
ival-acos: 643.0ms (1.8% of total)
ival-neg: 628.0ms (1.8% of total)
ival-hypot: 388.0ms (1.1% of total)
ival-log: 350.0ms (1% of total)
ival-tanu: 267.0ms (0.7% of total)
ival-asin: 176.0ms (0.5% of total)
ival-atan: 124.0ms (0.3% of total)
ival-fabs: 42.0ms (0.1% of total)
ival-<: 2.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

rewrite27.5s (16.4%)

Memory
355.8MiB live, 31 305.2MiB allocated; 8.4s collecting garbage
Stop Event
299×iter-limit
124×node-limit
4×unsound
Counts
26 398 → 46 321

series12.9s (7.7%)

Memory
742.4MiB live, 19 812.2MiB allocated; 3.1s collecting garbage
Counts
4 338 → 22 060
Calls

1200 calls:

TimeVariablePointExpression
253.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 (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)))) (log (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))))) 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (/ (PI) 4) 4 (sinh (* f (/ (PI) 4))) (pow (/ (PI) 4) -1) -1 (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)) (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)))) (- (pow (exp f) (/ (PI) 4)) (pow (exp (/ (PI) 4)) (neg f))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (pow (exp (/ (PI) 4)) (neg f)))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (pow (exp (/ (PI) 4)) (neg f))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (pow (exp (/ (PI) 4)) (neg f)))) (- (pow (exp f) (/ (PI) 4)) (pow (exp (/ (PI) 4)) (neg f))) (pow (exp f) (/ (PI) 4)) (exp f) (pow (exp (/ (PI) 4)) (neg f)) (exp (/ (PI) 4)) (neg f))
221.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 (/ 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 (log (pow (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (pow (/ (PI) 4) -1)))) (log (pow (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (pow (/ (PI) 4) -1))) (pow (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (pow (/ (PI) 4) -1)) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (/ (/ 2 (* 1/2 (PI))) f) (/ 2 (* 1/2 (PI))) 2 (* 1/2 (PI)) 1/2 (pow (/ (PI) 4) -1) (/ (PI) 4) -1 (neg (log (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1)))) (log (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1))) (pow (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (pow (/ (PI) 4) -1)) (/ (cosh (* (/ (PI) 4) f)) (sinh (* (/ (PI) 4) f))) (cosh (* (/ (PI) 4) f)) (* (/ (PI) 4) f) (sinh (* (/ (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)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (pow (pow (exp 1/4) f) (PI)) (pow (pow (exp -1/4) f) (PI))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (pow (pow (exp 1/4) f) (PI)) (pow (pow (exp -1/4) f) (PI))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (pow (pow (exp 1/4) f) (PI)) (pow (pow (exp -1/4) f) (PI))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (pow (pow (exp 1/4) f) (PI)) (pow (pow (exp -1/4) f) (PI)))) (* 2 (cosh (* (* (PI) f) -1/4))) (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) -1/4 (- (pow (pow (exp 1/4) f) (PI)) (pow (pow (exp -1/4) f) (PI))) (pow (pow (exp 1/4) f) (PI)) (pow (exp 1/4) f) (exp 1/4) (pow (pow (exp -1/4) f) (PI)) (pow (exp -1/4) f) (exp -1/4))
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 (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 (* (pow (/ (PI) 4) -1) (log (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))))) (* (pow (/ (PI) 4) -1) (log (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))))) (pow (/ (PI) 4) -1) (/ (PI) 4) -1 (log (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (/ (/ 4 (PI)) f) (/ 4 (PI)) (neg (log (pow (pow (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2)))) (log (pow (pow (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2))) (pow (pow (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2)) (pow (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -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)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (pow (exp (* 1/4 f)) (PI)) (pow (pow (exp -1/4) f) (PI))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (pow (exp (* 1/4 f)) (PI)) (pow (pow (exp -1/4) f) (PI))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (pow (exp (* 1/4 f)) (PI)) (pow (pow (exp -1/4) f) (PI))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (pow (exp (* 1/4 f)) (PI)) (pow (pow (exp -1/4) f) (PI)))) (* 2 (cosh (* (* (PI) f) -1/4))) 2 (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (- (pow (exp (* 1/4 f)) (PI)) (pow (pow (exp -1/4) f) (PI))) (pow (exp (* 1/4 f)) (PI)) (exp (* 1/4 f)) (* 1/4 f) (pow (pow (exp -1/4) f) (PI)) (pow (exp -1/4) f) (exp -1/4))
186.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 (log (pow (* 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (pow (/ (PI) 4) -1)))) (log (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))))) 1 (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (cosh (* f (/ (PI) 4))) (* f (/ (PI) 4)) (/ (PI) 4) 4 (sinh (* f (/ (PI) 4))) (pow (/ (PI) 4) -1) -1 (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)) (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)))) (- (pow (exp f) (/ (PI) 4)) (pow (exp (/ (PI) 4)) (neg f))))))) (* (/ 1 (/ (PI) 4)) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (pow (exp (/ (PI) 4)) (neg f)))))) (log (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (pow (exp (/ (PI) 4)) (neg f))))) (/ (+ (exp (* (/ (PI) 4) f)) (exp (neg (* (/ (PI) 4) f)))) (- (pow (exp f) (/ (PI) 4)) (pow (exp (/ (PI) 4)) (neg f)))) (- (pow (exp f) (/ (PI) 4)) (pow (exp (/ (PI) 4)) (neg f))) (pow (exp f) (/ (PI) 4)) (exp f) (pow (exp (/ (PI) 4)) (neg f)) (exp (/ (PI) 4)) (neg f))
132.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 (* (pow (/ (PI) 4) -1) (log (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))))) (* (pow (/ (PI) 4) -1) (log (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))))) (pow (/ (PI) 4) -1) (/ (PI) 4) -1 (log (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4))))) (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (/ (/ 4 (PI)) f) (/ 4 (PI)) (neg (log (pow (pow (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2)))) (log (pow (pow (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2))) (pow (pow (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -1/2)) (pow (/ (cosh (* f (/ (PI) 4))) (sinh (* f (/ (PI) 4)))) (pow (/ (PI) 4) -1/2)) (pow (/ (PI) 4) -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)))))))) (* (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (pow (exp (* 1/4 f)) (PI)) (pow (pow (exp -1/4) f) (PI))))) (PI)) -4) (/ (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (pow (exp (* 1/4 f)) (PI)) (pow (pow (exp -1/4) f) (PI))))) (PI)) (log (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (pow (exp (* 1/4 f)) (PI)) (pow (pow (exp -1/4) f) (PI))))) (/ (* 2 (cosh (* (* (PI) f) -1/4))) (- (pow (exp (* 1/4 f)) (PI)) (pow (pow (exp -1/4) f) (PI)))) (* 2 (cosh (* (* (PI) f) -1/4))) 2 (cosh (* (* (PI) f) -1/4)) (* (* (PI) f) -1/4) (* (PI) f) (- (pow (exp (* 1/4 f)) (PI)) (pow (pow (exp -1/4) f) (PI))) (pow (exp (* 1/4 f)) (PI)) (exp (* 1/4 f)) (* 1/4 f) (pow (pow (exp -1/4) f) (PI)) (pow (exp -1/4) f) (exp -1/4))

regimes10.0s (6%)

Memory
24.8MiB live, 15 102.0MiB allocated; 3.0s collecting garbage
Counts
5 456 → 639
Calls

156 calls:

575.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))
510.0ms
l
439.0ms
t
305.0ms
k
192.0ms
x
Compiler

Compiled 11 156 to 11 372 computations (-1.9% saved)

derivations9.5s (5.6%)

Memory
-262.9MiB live, 8 649.9MiB allocated; 2.7s collecting garbage
Stop Event
32×fuel
Compiler

Compiled 26 807 to 3 414 computations (87.3% saved)

analyze8.9s (5.3%)

Memory
128.2MiB live, 12 158.3MiB allocated; 3.9s 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)

eval8.2s (4.9%)

Memory
-49.9MiB live, 12 300.5MiB allocated; 2.8s collecting garbage
Compiler

Compiled 2 986 715 to 250 422 computations (91.6% saved)

preprocess7.8s (4.7%)

Memory
-505.1MiB live, 11 257.4MiB allocated; 2.5s collecting garbage
Stop Event
31×node-limit
1×saturated
Compiler

Compiled 188 844 to 66 964 computations (64.5% saved)

explain7.6s (4.5%)

Memory
-15.2MiB live, 11 611.0MiB allocated; 1.4s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue4770
-.f64#fcancellation4711
cos.f64#fsensitivity4210
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#fn*o2450
+.f64#fnan-rescue2350
sqrt.f64#fuflow-rescue1660
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)))))))sensitivity1360
tan.f64(tan.f64 (*.f64 (PI.f64) l))sensitivity1360
pow.f64#foflow-rescue1320
-.f64#fnan-rescue1250
*.f64#fu*o1240
/.f64#fo/o1000
pow.f64(pow.f64 (*.f64 (*.f64 #s(literal 2 binary64) (PI.f64)) n) (/.f64 (-.f64 #s(literal 1 binary64) k) #s(literal 2 binary64)))sensitivity8319
/.f64#fu/u640
*.f64#fn*u600
/.f64#fo/n590
pow.f64#fuflow-rescue580
*.f64#fo*u580
+.f64#fcancellation550
cos.f64(cos.f64 (-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M))oflow-rescue500
↳(/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64))overflow50
↳(-.f64 (/.f64 (*.f64 K (+.f64 m n)) #s(literal 2 binary64)) M)overflow50
↳(*.f64 K (+.f64 m n))overflow50
/.f64#fn/o330
/.f64#fn/u310
/.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))))))sensitivity61
exp.f64(exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) #s(literal 2 binary64)) M) #s(literal 2 binary64))) (-.f64 l (fabs.f64 (-.f64 m n)))))sensitivity10
Confusion
Predicted +Predicted -
+202345
-11155009
Precision
0.6446781389420013
Recall
0.9782398452611218
Confusion?
Predicted +Predicted MaybePredicted -
+2023144
-1115204989
Precision?
0.6407090851535296
Recall?
0.9787234042553191
Freqs
test
numberfreq
05054
12734
2358
336
48
52
Total Confusion?
Predicted +Predicted MaybePredicted -
+2400
-107
Precision?
0.96
Recall?
1.0
Samples
1.6s13 352×0valid
565.0ms1 916×1valid
213.0ms702×2valid
131.0ms402×3valid
5.0ms12×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult!: 351.0ms (21.5% of total)
ival-div!: 202.0ms (12.4% of total)
ival-sin: 143.0ms (8.7% of total)
adjust: 125.0ms (7.6% of total)
ival-pow2: 110.0ms (6.7% of total)
ival-exp: 107.0ms (6.5% of total)
ival-pow: 101.0ms (6.2% of total)
ival-cos: 93.0ms (5.7% of total)
ival-sqrt: 90.0ms (5.5% of total)
ival-sub!: 85.0ms (5.2% of total)
ival-add!: 63.0ms (3.9% of total)
ival-tan: 44.0ms (2.7% of total)
ival-acos: 30.0ms (1.8% of total)
ival-neg: 28.0ms (1.7% of total)
ival-hypot: 20.0ms (1.2% of total)
ival-tanu: 12.0ms (0.7% of total)
ival-log: 11.0ms (0.7% of total)
ival-asin: 8.0ms (0.5% of total)
ival-atan: 5.0ms (0.3% of total)
ival-fabs: 4.0ms (0.2% of total)
ival-pi: 0.0ms (0% of total)
const: 0.0ms (0% of total)

bsearch3.9s (2.3%)

Memory
170.0MiB live, 6 272.9MiB allocated; 637ms collecting garbage
Algorithm
217×binary-search
125×left-value
Stop Event
205×narrow-enough
12×predicate-same
Samples
1.8s15 212×0valid
234.0ms2 237×0invalid
171.0ms716×1valid
99.0ms280×2valid
73.0ms192×3valid
20.0ms130×1invalid
4.0ms20×2invalid
Compiler

Compiled 133 048 to 96 231 computations (27.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-mult!: 375.0ms (21.1% of total)
ival-div!: 322.0ms (18.1% of total)
ival-pow: 179.0ms (10.1% of total)
ival-pow2: 136.0ms (7.6% of total)
ival-sin: 126.0ms (7.1% of total)
ival-tan: 111.0ms (6.2% of total)
ival-sub!: 104.0ms (5.8% of total)
ival-add!: 103.0ms (5.8% of total)
adjust: 83.0ms (4.7% of total)
ival-exp: 81.0ms (4.5% of total)
ival-neg: 57.0ms (3.2% of total)
ival-cos: 37.0ms (2.1% of total)
ival-sqrt: 31.0ms (1.7% of total)
ival-tanu: 18.0ms (1% of total)
ival-fabs: 8.0ms (0.4% of total)
ival-hypot: 6.0ms (0.3% of total)
ival-atan: 3.0ms (0.2% of total)

prune3.3s (2%)

Memory
-199.2MiB live, 5 688.0MiB allocated; 720ms collecting garbage
Counts
50 035 → 2 327
Compiler

Compiled 214 534 to 104 229 computations (51.4% saved)

start2.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...