Herbie run

Date:Friday, April 11th, 2025
Commit:1485bc85 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:239 084.3 MB

Time bar (total: 2.9min)

sample1.1min (37.9%)

Memory
1 056.7MiB live, 90 553.2MiB allocated; 22.2s collecting garbage
Samples
28.0s224 501×0valid
7.0s65 628×0invalid
5.8s23 417×1valid
3.1s14 476×1invalid
2.7s9 772×2valid
2.1s6 488×3valid
152.0ms564×2invalid
24.0ms213×0exit
5.0ms14×4valid
1.0ms1×5exit
0.0ms1×3exit
Precisions
Click to see histograms. Total time spent on operations: 34.5s
ival-mult!: 8.2s (23.9% of total)
ival-div!: 4.7s (13.5% of total)
adjust: 2.7s (7.7% of total)
ival-pow2: 2.4s (6.9% of total)
ival-sqrt: 2.2s (6.5% of total)
ival-pow: 2.2s (6.3% of total)
ival-exp: 2.1s (6% of total)
ival-sin: 1.9s (5.5% of total)
ival-sub!: 1.5s (4.4% of total)
ival-add!: 1.4s (4.1% of total)
ival-cos: 1.4s (4% of total)
ival-tan: 1.2s (3.4% of total)
ival-neg: 665.0ms (1.9% of total)
ival-acos: 606.0ms (1.8% of total)
ival-hypot: 513.0ms (1.5% of total)
ival-log: 321.0ms (0.9% of total)
ival-tanu: 225.0ms (0.7% of total)
ival-asin: 184.0ms (0.5% of total)
ival-atan: 98.0ms (0.3% of total)
ival-fabs: 45.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

rewrite25.9s (15%)

Memory
628.0MiB live, 32 674.6MiB allocated; 5.9s collecting garbage
Stop Event
296×iter-limit
122×node-limit
5×unsound
Counts
28 334 → 46 822

regimes15.1s (8.8%)

Memory
271.2MiB live, 24 133.0MiB allocated; 4.0s collecting garbage
Counts
9 635 → 771
Calls

156 calls:

579.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*)))))
544.0ms
l
405.0ms
th
374.0ms
t
367.0ms
k
Compiler

Compiled 12 417 to 12 500 computations (-0.7% saved)

series13.4s (7.8%)

Memory
310.6MiB live, 18 965.7MiB allocated; 5.6s collecting garbage
Counts
4 587 → 23 747
Calls

1197 calls:

TimeVariablePointExpression
918.0ms
l
@0
((/ 2 (* (* (* (exp (+ (* (log t) 3) (* -2 (log l)))) (sin k)) (tan k)) (+ (* (/ k t) (/ k t)) 2))) 2 (* (* (* (exp (+ (* (log t) 3) (* -2 (log l)))) (sin k)) (tan k)) (+ (* (/ k t) (/ k t)) 2)) (* (* (exp (+ (* (log t) 3) (* -2 (log l)))) (sin k)) (tan k)) (* (exp (+ (* (log t) 3) (* -2 (log l)))) (sin k)) (exp (+ (* (log t) 3) (* -2 (log l)))) (+ (* (log t) 3) (* -2 (log l))) (log t) t 3 (* -2 (log l)) -2 (log l) l (sin k) k (tan k) (+ (* (/ k t) (/ k t)) 2) (/ k t) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (* l (/ l (* k (* k (* (* t t) t))))) (/ l (* k (* k (* (* t t) t)))) (* k (* k (* (* t t) t))) (* k (* (* t t) t)) (* (* t t) t) (* t t) (/ 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)) (* (/ (+ (* (+ (* 1/3 (* (* t t) t)) t) (* k k)) (* 2 (* (* t t) t))) (* l l)) (* k k)) (/ (+ (* (+ (* 1/3 (* (* t t) t)) t) (* k k)) (* 2 (* (* t t) t))) (* l l)) (+ (* (+ (* 1/3 (* (* t t) t)) t) (* k k)) (* 2 (* (* t t) t))) (* (+ (* (* k k) 1/3) 2) (* (* t t) t)) (+ (* (* k k) 1/3) 2) (* k k) 1/3 (* l l) (/ 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)) (* (* (* (* t t) t) (/ (- 1/2 (* 1/2 (cos (* 2 k)))) (* (cos k) (* l l)))) 2) (* (* (* t t) t) (/ (- 1/2 (* 1/2 (cos (* 2 k)))) (* (cos k) (* l l)))) (/ (- 1/2 (* 1/2 (cos (* 2 k)))) (* (cos k) (* l l))) (- 1/2 (* 1/2 (cos (* 2 k)))) 1/2 (* 1/2 (cos (* 2 k))) (* (cos k) (* l l)) (cos k) (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))) (/ (* 2 (* (cos k) (* t t))) (* (* (* (* t t) (/ t (* l l))) (* k k)) (- 1/2 (* (cos (+ k k)) 1/2)))) (* 2 (* (cos k) (* t t))) (* (cos k) (* t t)) (* (* (* (* t t) (/ t (* l l))) (* k k)) (- 1/2 (* (cos (+ k k)) 1/2))) (* (* (* t t) (/ t (* l l))) (* k k)) (* (* t t) (/ t (* l l))) (/ t (* l l)) (- 1/2 (* (cos (+ k k)) 1/2)) (* (cos (+ k k)) 1/2) (cos (+ k k)) (+ k k))
735.0ms
c0
@0
((* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (/ c0 (* 2 w)) c0 (* 2 w) 2 w (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))) (/ (* 2 (* (* d d) c0)) (* (* (* h w) D) D)) (* 2 (* (* d d) c0)) (* (* d d) c0) (* d d) d (* (* (* h w) D) D) (* (* h w) D) (* h w) h D (* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))) (* (sqrt -1) M) (sqrt -1) -1 M (* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (+ (* (/ (* (* (* M M) h) (* D D)) (* d d)) -1/4) (* (* c0 c0) (/ (* d d) (* (* (* D D) h) (* w w))))) (/ (* (* (* M M) h) (* D D)) (* d d)) (* (* (* M M) h) (* D D)) (* (* M M) h) (* M M) (* D D) -1/4 (* (* c0 c0) (/ (* d d) (* (* (* D D) h) (* w w)))) (* c0 c0) (/ (* d d) (* (* (* D D) h) (* w w))) (* (* (* D D) h) (* w w)) (* (* D D) h) (* w w) (* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))) (* (+ (* (/ (* 0 (/ (* d d) (* (* (* h w) D) D))) w) -1/2) (* (* (* D D) (/ (* (* M M) h) (* (* c0 c0) (* d d)))) 1/4)) (* c0 c0)) (+ (* (/ (* 0 (/ (* d d) (* (* (* h w) D) D))) w) -1/2) (* (* (* D D) (/ (* (* M M) h) (* (* c0 c0) (* d d)))) 1/4)) (/ (* 0 (/ (* d d) (* (* (* h w) D) D))) w) (* 0 (/ (* d d) (* (* (* h w) D) D))) 0 (/ (* d d) (* (* (* h w) D) D)) -1/2 (* (* (* D D) (/ (* (* M M) h) (* (* c0 c0) (* d d)))) 1/4) (* (* D D) (/ (* (* M M) h) (* (* c0 c0) (* d d)))) (/ (* (* M M) h) (* (* c0 c0) (* d d))) (* (* c0 c0) (* d d)) 1/4 (/ (* c0 (+ (* c0 (/ (* d d) (* (* (* h w) D) D))) (sqrt (- (/ (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D))) (* M M))))) (+ w w)) (* c0 (+ (* c0 (/ (* d d) (* (* (* h w) D) D))) (sqrt (- (/ (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D))) (* M M))))) (+ (* c0 (/ (* d d) (* (* (* h w) D) D))) (sqrt (- (/ (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D))) (* M M)))) (sqrt (- (/ (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D))) (* M M))) (- (/ (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D))) (* M M)) (/ (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D))) (* (* (* d d) c0) (* (* d d) c0)) (* (* (* (* h w) D) D) (* (* (* h w) D) D)) (+ w w))
208.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))))))) (+ (* (* 2 (/ (+ (* (+ (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)))) (* (PI) 1/2)) (* (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (PI) (PI)) 1/4))) f) (* (* (/ (PI) (* (PI) 1/2)) 0) (* (PI) 1/2))) (PI))) f) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) 4)) (* 2 (/ (+ (* (+ (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)))) (* (PI) 1/2)) (* (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (PI) (PI)) 1/4))) f) (* (* (/ (PI) (* (PI) 1/2)) 0) (* (PI) 1/2))) (PI))) (/ (+ (* (+ (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)))) (* (PI) 1/2)) (* (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (PI) (PI)) 1/4))) f) (* (* (/ (PI) (* (PI) 1/2)) 0) (* (PI) 1/2))) (PI)) (+ (* (+ (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)))) (* (PI) 1/2)) (* (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (PI) (PI)) 1/4))) f) (* (* (/ (PI) (* (PI) 1/2)) 0) (* (PI) 1/2))) (+ (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)))) (* (PI) 1/2)) (* (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (PI) (PI)) 1/4))) (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)))) (/ (* (PI) (PI)) (PI)) (* (PI) (PI)) 1/8 (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4))) -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)) (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) (PI)) 1/192 (* (* (PI) (PI)) 1/4) (* (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (PI) (PI)) 1/4)) (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0)) (* (/ (PI) (* (PI) 1/2)) 0) (/ (PI) (* (PI) 1/2)) 0 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (PI) 1/2)) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) 4) 4 (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) (- (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))) (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)))) (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)))))
153.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))))))) (+ (* (* 2 (/ (+ (* (+ (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)))) (* (PI) 1/2)) (* (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (PI) (PI)) 1/4))) f) (* (* (/ (PI) (* (PI) 1/2)) 0) (* (PI) 1/2))) (PI))) f) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) 4)) (* 2 (/ (+ (* (+ (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)))) (* (PI) 1/2)) (* (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (PI) (PI)) 1/4))) f) (* (* (/ (PI) (* (PI) 1/2)) 0) (* (PI) 1/2))) (PI))) (/ (+ (* (+ (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)))) (* (PI) 1/2)) (* (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (PI) (PI)) 1/4))) f) (* (* (/ (PI) (* (PI) 1/2)) 0) (* (PI) 1/2))) (PI)) (+ (* (+ (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)))) (* (PI) 1/2)) (* (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (PI) (PI)) 1/4))) f) (* (* (/ (PI) (* (PI) 1/2)) 0) (* (PI) 1/2))) (+ (* (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)))) (* (PI) 1/2)) (* (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (PI) (PI)) 1/4))) (+ (* (/ (* (PI) (PI)) (PI)) 1/8) (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)))) (/ (* (PI) (PI)) (PI)) (* (PI) (PI)) 1/8 (* -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4))) -2 (/ (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) 1/4)) (* (* (* (PI) (PI)) (PI)) 1/192) (* (* (PI) (PI)) (PI)) 1/192 (* (* (PI) (PI)) 1/4) (* (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (PI) (PI)) 1/4)) (* -1/4 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0))) (* (* (/ (PI) (* (PI) 1/2)) 0) (* (/ (PI) (* (PI) 1/2)) 0)) (* (/ (PI) (* (PI) 1/2)) 0) (/ (PI) (* (PI) 1/2)) 0 (* (* (/ (PI) (* (PI) 1/2)) 0) (* (PI) 1/2)) (* (/ (log (/ 2 (* (* (PI) 1/2) f))) (PI)) 4) 4 (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) (- (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))) (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)))) (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)))))
106.0ms
l
@inf
((sqrt (+ 1/2 (* (/ 1 (sqrt (+ (* (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))) (* (/ (+ l l) Om) (/ (+ l l) Om))) 1))) 1/2))) (+ 1/2 (* (/ 1 (sqrt (+ (* (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))) (* (/ (+ l l) Om) (/ (+ l l) Om))) 1))) 1/2)) 1/2 (* (/ 1 (sqrt (+ (* (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))) (* (/ (+ l l) Om) (/ (+ l l) Om))) 1))) 1/2) (/ 1 (sqrt (+ (* (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))) (* (/ (+ l l) Om) (/ (+ l l) Om))) 1))) 1 (sqrt (+ (* (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))) (* (/ (+ l l) Om) (/ (+ l l) Om))) 1)) (+ (* (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))) (* (/ (+ l l) Om) (/ (+ l l) Om))) 1) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))) (- 1/2 (* 1/2 (cos (* 2 ky)))) (* 1/2 (cos (* 2 ky))) (cos (* 2 ky)) (* 2 ky) 2 ky (- 1/2 (* 1/2 (cos (* 2 kx)))) (* 1/2 (cos (* 2 kx))) (cos (* 2 kx)) (* 2 kx) kx (* (/ (+ l l) Om) (/ (+ l l) Om)) (/ (+ l l) Om) (+ l l) l Om (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (* (+ (/ 1 (sqrt (+ (* (* (* l l) (/ (- 1/2 (* 1/2 (cos (* 2 ky)))) (* Om Om))) 4) 1))) 1) 1/2) (+ (/ 1 (sqrt (+ (* (* (* l l) (/ (- 1/2 (* 1/2 (cos (* 2 ky)))) (* Om Om))) 4) 1))) 1) (/ 1 (sqrt (+ (* (* (* l l) (/ (- 1/2 (* 1/2 (cos (* 2 ky)))) (* Om Om))) 4) 1))) (sqrt (+ (* (* (* l l) (/ (- 1/2 (* 1/2 (cos (* 2 ky)))) (* Om Om))) 4) 1)) (+ (* (* (* l l) (/ (- 1/2 (* 1/2 (cos (* 2 ky)))) (* Om Om))) 4) 1) (* (* l l) (/ (- 1/2 (* 1/2 (cos (* 2 ky)))) (* Om Om))) (* l l) (/ (- 1/2 (* 1/2 (cos (* 2 ky)))) (* Om Om)) (* Om Om) 4 (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2)))))))) (+ (* (* -1/4 (/ Om l)) (/ 1 (sqrt (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx)))))))) 1/2) (* -1/4 (/ Om l)) -1/4 (/ Om l) (/ 1 (sqrt (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx))))))) (sqrt (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx)))))) (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))) (+ (neg (* (* l l) (/ (* (sqrt 1/2) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx)))))) (* (* Om Om) (sqrt 2))))) 1) (neg (* (* l l) (/ (* (sqrt 1/2) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx)))))) (* (* Om Om) (sqrt 2))))) (* (* l l) (/ (* (sqrt 1/2) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx)))))) (* (* Om Om) (sqrt 2)))) (/ (* (sqrt 1/2) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx)))))) (* (* Om Om) (sqrt 2))) (* (sqrt 1/2) (+ (- 1/2 (* 1/2 (cos (* 2 ky)))) (- 1/2 (* 1/2 (cos (* 2 kx)))))) (sqrt 1/2) (* (* Om Om) (sqrt 2)) (sqrt 2))

preprocess10.0s (5.8%)

Memory
-555.1MiB live, 13 194.8MiB allocated; 4.2s collecting garbage
Stop Event
31×node-limit
1×saturated
Compiler

Compiled 256 660 to 85 692 computations (66.6% saved)

derivations9.3s (5.4%)

Memory
-4.4MiB live, 9 601.6MiB allocated; 1.1s collecting garbage
Stop Event
31×fuel
1×done
Compiler

Compiled 36 874 to 4 156 computations (88.7% saved)

explain8.8s (5.1%)

Memory
-209.0MiB live, 12 706.7MiB allocated; 2.9s 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.7s13 352×0valid
1.0s402×3valid
533.0ms1 916×1valid
207.0ms702×2valid
5.0ms12×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-sub!: 982.0ms (38.7% of total)
ival-mult!: 311.0ms (12.3% of total)
ival-div!: 186.0ms (7.3% of total)
ival-sin: 132.0ms (5.2% of total)
ival-pow2: 128.0ms (5.1% of total)
ival-exp: 125.0ms (4.9% of total)
adjust: 123.0ms (4.9% of total)
ival-cos: 113.0ms (4.5% of total)
ival-sqrt: 95.0ms (3.7% of total)
ival-pow: 84.0ms (3.3% of total)
ival-add!: 82.0ms (3.2% of total)
ival-tan: 45.0ms (1.8% of total)
ival-neg: 31.0ms (1.2% of total)
ival-acos: 28.0ms (1.1% of total)
ival-hypot: 20.0ms (0.8% of total)
ival-log: 17.0ms (0.7% of total)
ival-tanu: 12.0ms (0.5% of total)
ival-asin: 9.0ms (0.4% of total)
ival-atan: 8.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)

eval8.2s (4.8%)

Memory
80.6MiB live, 13 455.0MiB allocated; 2.1s collecting garbage
Compiler

Compiled 3 696 903 to 287 398 computations (92.2% saved)

analyze7.9s (4.6%)

Memory
-5.9MiB live, 11 242.1MiB allocated; 2.3s 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)

bsearch4.3s (2.5%)

Memory
40.4MiB live, 5 255.8MiB allocated; 2.0s collecting garbage
Algorithm
226×binary-search
199×left-value
Stop Event
218×narrow-enough
8×predicate-same
Samples
1.6s13 911×0valid
279.0ms2 227×0invalid
109.0ms502×1valid
60.0ms232×2valid
32.0ms107×3valid
23.0ms130×1invalid
4.0ms20×2invalid
Compiler

Compiled 153 047 to 103 172 computations (32.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult!: 339.0ms (21.6% of total)
ival-div!: 260.0ms (16.6% of total)
ival-pow: 188.0ms (12% of total)
ival-sin: 164.0ms (10.5% of total)
ival-pow2: 129.0ms (8.2% of total)
ival-tan: 116.0ms (7.4% of total)
ival-add!: 83.0ms (5.3% of total)
ival-sub!: 75.0ms (4.8% of total)
adjust: 74.0ms (4.7% of total)
ival-neg: 35.0ms (2.2% of total)
ival-sqrt: 34.0ms (2.2% of total)
ival-exp: 32.0ms (2% of total)
ival-tanu: 14.0ms (0.9% of total)
ival-hypot: 8.0ms (0.5% of total)
ival-cos: 8.0ms (0.5% of total)
ival-fabs: 5.0ms (0.3% of total)
ival-atan: 3.0ms (0.2% of total)

prune4.1s (2.4%)

Memory
53.7MiB live, 7 297.3MiB allocated; 844ms collecting garbage
Counts
55 454 → 2 793
Compiler

Compiled 288 360 to 135 593 computations (53% saved)

start1.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...