Herbie run

Date:Friday, September 20th, 2024
Commit:c26c209d on zane-concrete-values
Hostname:nightly with Racket 8.10
Seed:2024264
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 9.0min)

end1.6min (17.6%)

Memory
20.2MiB live, 58 023.7MiB allocated

sample1.4min (15%)

Memory
711.6MiB live, 107 455.9MiB allocated
Samples
55.6s251 198×0valid
2.3s11 292×0invalid
1.9s4 738×1valid
373.0ms670×1invalid
220.0ms1 595×1exit
Precisions
Click to see histograms. Total time spent on operations: 48.2s
ival-mult: 9.8s (20.2% of total)
ival-<=: 7.2s (14.9% of total)
const: 6.9s (14.3% of total)
ival-div: 4.1s (8.6% of total)
ival-sub: 2.1s (4.3% of total)
ival-add: 1.8s (3.8% of total)
ival-fabs: 1.8s (3.7% of total)
ival-sqrt: 1.5s (3% of total)
ival-log: 1.4s (2.9% of total)
ival-and: 1.3s (2.7% of total)
ival-pow: 1.1s (2.3% of total)
ival-sin: 1.0s (2.1% of total)
ival-exp: 928.0ms (1.9% of total)
ival-floor: 726.0ms (1.5% of total)
ival-neg: 606.0ms (1.3% of total)
ival-sinu: 589.0ms (1.2% of total)
ival-fmax: 548.0ms (1.1% of total)
ival-e: 482.0ms (1% of total)
ival-cosu: 465.0ms (1% of total)
exact: 449.0ms (0.9% of total)
ival-log2: 403.0ms (0.8% of total)
ival-cos: 376.0ms (0.8% of total)
ival-pi: 363.0ms (0.8% of total)
ival-tan: 333.0ms (0.7% of total)
ival-<: 308.0ms (0.6% of total)
ival-if: 305.0ms (0.6% of total)
ival->: 278.0ms (0.6% of total)
ival-log1p: 238.0ms (0.5% of total)
ival-==: 159.0ms (0.3% of total)
ival-asin: 158.0ms (0.3% of total)
adjust: 144.0ms (0.3% of total)
ival-assert: 107.0ms (0.2% of total)
ival-sinh: 100.0ms (0.2% of total)
ival-atan: 87.0ms (0.2% of total)
ival->=: 47.0ms (0.1% of total)
ival-true: 9.0ms (0% of total)
Bogosity

eval1.2min (13.5%)

Memory
1 446.0MiB live, 116 579.2MiB allocated
Compiler

Compiled 40 598 278 to 646 362 computations (98.4% saved)

simplify52.5s (9.7%)

Memory
1 090.5MiB live, 61 836.7MiB allocated
Algorithm
279×egg-herbie
Stop Event
377×iter limit
207×node limit
67×saturated
5×unsound
Counts
63 384 → 63 171

regimes50.9s (9.4%)

Memory
356.7MiB live, 70 991.8MiB allocated
Counts
22 234 → 394
Calls

152 calls:

3.1s
s
1.6s
r
1.3s
cosTheta_i
1.3s
x
1.3s
(+.f32 (/.f32 (*.f32 #s(literal 1/4 binary32) (exp.f32 (/.f32 (neg.f32 r) s))) (*.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) s) r)) (/.f32 (*.f32 #s(literal 3/4 binary32) (exp.f32 (/.f32 (neg.f32 r) (*.f32 #s(literal 3 binary32) s)))) (*.f32 (*.f32 (*.f32 #s(literal 6 binary32) (PI.f32)) s) r)))
Compiler

Compiled 24 093 to 16 083 computations (33.2% saved)

soundness40.4s (7.4%)

Memory
364.7MiB live, 28 703.0MiB allocated
Stop Event
275×iter limit
185×node limit
31×fuel
Compiler

Compiled 48 884 to 16 376 computations (66.5% saved)

prune30.1s (5.5%)

Memory
-256.1MiB live, 59 074.6MiB allocated
Counts
261 463 → 7 798
Compiler

Compiled 821 088 to 305 422 computations (62.8% saved)

rewrite28.1s (5.2%)

Memory
-468.0MiB live, 36 053.0MiB allocated
Stop Event
259×iter limit
118×node limit
6×unsound
Counts
2 334 → 84 566

localize25.3s (4.7%)

Memory
-112.7MiB live, 37 113.6MiB allocated
Samples
13.7s27 929×0valid
1.5s1 328×1valid
1.3s1 902×0invalid
490.0ms559×1exit
106.0ms26×5exit
Compiler

Compiled 271 956 to 11 807 computations (95.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.0s
ival-mult: 4.3s (33.3% of total)
ival-div: 2.0s (15.5% of total)
ival-add: 887.0ms (6.8% of total)
ival-pow: 627.0ms (4.8% of total)
ival-sqrt: 537.0ms (4.1% of total)
ival-pow2: 527.0ms (4.1% of total)
ival-sub: 498.0ms (3.8% of total)
ival-log: 333.0ms (2.6% of total)
ival-exp: 309.0ms (2.4% of total)
const: 291.0ms (2.2% of total)
ival-neg: 237.0ms (1.8% of total)
ival-sin: 218.0ms (1.7% of total)
adjust: 203.0ms (1.6% of total)
ival-log2: 203.0ms (1.6% of total)
ival-cos: 196.0ms (1.5% of total)
ival-fmax: 187.0ms (1.4% of total)
ival-log1p: 175.0ms (1.3% of total)
ival-tan: 170.0ms (1.3% of total)
ival-sinu: 163.0ms (1.3% of total)
ival-cosu: 119.0ms (0.9% of total)
ival-if: 104.0ms (0.8% of total)
ival-tanu: 94.0ms (0.7% of total)
ival-pi: 94.0ms (0.7% of total)
ival-floor: 85.0ms (0.7% of total)
ival-e: 84.0ms (0.6% of total)
exact: 58.0ms (0.4% of total)
ival-atan: 41.0ms (0.3% of total)
ival-fabs: 39.0ms (0.3% of total)
ival-expm1: 36.0ms (0.3% of total)
ival-true: 30.0ms (0.2% of total)
ival-asin: 21.0ms (0.2% of total)
ival-acos: 18.0ms (0.1% of total)
ival-sinh: 16.0ms (0.1% of total)
ival-assert: 15.0ms (0.1% of total)
ival->: 14.0ms (0.1% of total)
ival->=: 9.0ms (0.1% of total)
ival-cbrt: 5.0ms (0% of total)
ival-<: 4.0ms (0% of total)

series25.1s (4.6%)

Memory
-221.4MiB live, 36 674.9MiB allocated
Counts
2 334 → 63 384
Calls

1287 calls:

TimeVariablePointExpression
264.0ms
c
@0
((+ (* (log (+ 1 (pow (* (- (exp x) 1) y) 3))) c) (* (neg (log (+ 1 (* (* (+ (* (- (exp x) 1) y) -1) (- (exp x) 1)) y)))) c)) (log (+ 1 (pow (* (- (exp x) 1) y) 3))) (pow (* (- (exp x) 1) y) 3) (* (- (exp x) 1) y) (* (log (+ 1 (* y (- (exp x) 1)))) c) (log (+ 1 (* y (- (exp x) 1)))) (* x y) (+ (* (* 1/3 c) (* x y)) (* -1/2 (+ (* x c) c))) (+ (* (* 1/6 c) x) (+ (* (+ (* (* 1/3 c) (* x y)) (* -1/2 (+ (* x c) c))) y) (* 1/2 c))) (+ (* (+ (* (* 1/3 c) (* x y)) (* -1/2 (+ (* x c) c))) y) (* 1/2 c)) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (log (+ 1 (* y (- (exp x) 1)))) c) (log (+ 1 (* y (- (exp x) 1)))) (* y (- (exp x) 1)) (- (exp x) 1) (* (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (- (pow (* y (- (exp x) 1)) 2) (* y (- (exp x) 1)))))) c) (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (- (pow (* y (- (exp x) 1)) 2) (* y (- (exp x) 1)))))) (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (pow (* y (- (exp x) 1)) 3) (log (+ 1 (* (* (+ (* (- (exp x) 1) y) -1) (- (exp x) 1)) y))) (* (neg (log (+ 1 (* (* (+ (* (- (exp x) 1) y) -1) (- (exp x) 1)) y)))) c) (+ (* (* c (* (pow (- (pow (E) x) 1) 2) (+ (* (* 1/3 y) (- (pow (E) x) 1)) -1/2))) y) (* (- (pow (E) x) 1) c)) (+ (* (+ (* (+ (* 1/6 c) (* (* (+ (* 1/3 y) -1/2) y) c)) x) (+ (* 1/2 c) (* -1/2 (* y c)))) x) c) (* (+ (* 1/2 x) 1) x) (* y (- (exp x) 1)) (log (+ 1 (- (pow (* y (- (exp x) 1)) 2) (* y (- (exp x) 1))))))
255.0ms
alpha
@-inf
((* (* (neg alpha) alpha) (- (log (+ 1 (* (neg u0) u0))) (log (+ 1 u0)))) (* (* (neg alpha) alpha) (log (- 1 u0))) (* (* (neg alpha) (- (log (+ 1 (* (neg u0) u0))) (log (+ 1 u0)))) alpha) (* (neg alpha) alpha) (* (* (* (* (* (/ 1 alpha) (neg alpha)) (* alpha alpha)) alpha) (/ 1 alpha)) (log (- 1 u0))) (* (+ (* 1/2 u0) 1) (* (* alpha alpha) u0)) (+ (* 1/2 u0) 1) (* (* alpha alpha) u0) (exp (* (log alpha) 2)) (* (* (neg alpha) alpha) (log (- 1 u0))) (* u0 (exp (* (log alpha) 2))) (* (log alpha) 2) (/ (+ 0 (pow (/ 1 (/ 1 (* (neg alpha) alpha))) 3)) (+ 0 (- (/ 1 (* (/ -1 (* alpha alpha)) (/ -1 (* alpha alpha)))) (* 0 (* (neg alpha) alpha))))) (/ 1 (/ 1 (* (neg alpha) alpha))) (* (/ -1 (* alpha alpha)) (/ -1 (* alpha alpha))) (/ 1 (* (/ -1 (* alpha alpha)) (/ -1 (* alpha alpha)))) (* (* (pow alpha 3) alpha) (pow (* (neg alpha) alpha) 6)) (* (pow alpha 3) alpha) (log (- 1 u0)) (* (/ (pow (* (neg alpha) alpha) 9) (* (* (pow alpha 3) alpha) (pow (* (neg alpha) alpha) 6))) (log (- 1 u0))) (log (+ 1 u0)) (log (+ 1 (* (neg u0) u0))) (- (log (+ 1 (* (neg u0) u0))) (log (+ 1 u0))) (log alpha) (pow (/ 1 (/ 1 (* (neg alpha) alpha))) 3) (/ (pow (* (neg alpha) alpha) 9) (* (* (pow alpha 3) alpha) (pow (* (neg alpha) alpha) 6))) (pow (* (neg alpha) alpha) 6) (pow (* (neg alpha) alpha) 9))
242.0ms
x
@-inf
((/ (pow (exp -1) (/ (fabs x) s)) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s))))) (pow (exp -1) (/ (fabs x) s)) (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (exp -1) (/ (exp (/ (neg (fabs x)) s)) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s))))) (/ 1/4 s) (/ (exp (/ (neg (fabs x)) s)) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s))))) (exp (/ (neg (fabs x)) s)) (/ (neg (fabs x)) s) (neg (fabs x)) (pow (+ 1 (exp (/ (neg (fabs x)) s))) -2) (+ 1 (exp (/ (neg (fabs x)) s))) (* (/ 1 s) (* (pow (+ 1 (exp (/ (neg (fabs x)) s))) -2) (exp (/ (neg (fabs x)) s)))) (/ 1 s) (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (* (* s (+ 1 (exp (/ (neg (fabs x)) s)))) (+ 1 (exp (/ (neg (fabs x)) s)))) (/ (exp (/ (neg (fabs x)) s)) s) (* (pow (+ 1 (exp (/ (neg (fabs x)) s))) -2) (/ (exp (/ (neg (fabs x)) s)) s)) (* (pow (+ 1 (exp (/ (neg (fabs x)) s))) -2) (exp (/ (neg (fabs x)) s))))
230.0ms
dY.w
@0
((pow (pow (fmax (+ (pow (* dX.w (floor d)) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (pow (* dY.w (floor d)) 2) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/4) 2) (log2 (pow (pow (fmax (+ (pow (* dX.w (floor d)) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (pow (* dY.w (floor d)) 2) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/4) 2)) (pow (fmax (+ (pow (* dX.w (floor d)) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (pow (* dY.w (floor d)) 2) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) 1/4) (fmax (+ (pow (* dX.w (floor d)) 2) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (pow (* dY.w (floor d)) 2) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (* dX.u (pow (floor w) 2)) dX.u) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor d) dX.w) (* (floor d) dX.w)) (+ (* (* (pow (floor d) 2) dY.w) dY.w) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (+ (* (floor w) (* (floor w) (* dX.u dX.u))) (+ (pow (* dX.w (floor d)) 2) (pow (* dX.v (floor h)) 2))) (exp (log (* dX.w (floor d)))) (pow (* dY.v (floor h)) 2) (pow (* dX.v (floor h)) 2) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (* (* (pow (floor d) 2) dY.w) dY.w) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))) (sqrt (fmax (+ (* (floor w) (* (floor w) (* dX.u dX.u))) (+ (pow (* dX.w (floor d)) 2) (pow (* dX.v (floor h)) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (sqrt (fmax (+ (* (exp (log (* dX.w (floor d)))) (exp (log (* dX.w (floor d))))) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (+ (* (exp (log (* dX.w (floor d)))) (exp (log (* dX.w (floor d))))) (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2))))
230.0ms
dX.v
@0
((log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (pow (* dX.w (floor d)) 2)) (+ (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.w (floor d)) 2))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (pow (* dX.w (floor d)) 2)) (+ (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.w (floor d)) 2)))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (pow (* dX.w (floor d)) 2)) (+ (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.w (floor d)) 2))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (pow (* dX.w (floor d)) 2)) (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.w (floor d)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.v (floor h)) 2))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.w (floor d)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.v (floor h)) 2)))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* dY.w (floor d)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.v (floor h)) 2))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (exp (* (log (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (pow (* dX.w (floor d)) 2)) (+ (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.w (floor d)) 2)))) 1/2)) (log2 (exp (* (log (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (pow (* dX.w (floor d)) 2)) (+ (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.w (floor d)) 2)))) 1/2))) (* (log (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (pow (* dX.w (floor d)) 2)) (+ (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.w (floor d)) 2)))) 1/2) (log (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (pow (* dX.w (floor d)) 2)) (+ (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.w (floor d)) 2)))) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)) (* (* (floor d) dY.w) (* (floor d) dY.w)) (+ (* (pow (floor w) 2) (* dX.u dX.u)) (+ (pow (* dX.w (floor d)) 2) (pow (* dX.v (floor h)) 2))) (exp (+ (* (log dX.v) 2) (* (log (floor h)) 2))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (pow (* dY.v (floor h)) 2) (pow (* dX.w (floor d)) 2) (pow (* (floor h) dX.v) 2) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (sqrt (fmax (+ (* (pow (floor w) 2) (* dX.u dX.u)) (+ (pow (* dX.w (floor d)) 2) (pow (* dX.v (floor h)) 2))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (pow (* dX.v (floor h)) 2) (+ (* (log dX.v) 2) (* (log (floor h)) 2)) (+ (* (floor w) (* (floor w) (* dX.u dX.u))) (+ (pow (* dX.w (floor d)) 2) (exp (+ (* (log dX.v) 2) (* (log (floor h)) 2))))) (sqrt (fmax (+ (* (floor w) (* (floor w) (* dX.u dX.u))) (+ (pow (* dX.w (floor d)) 2) (exp (+ (* (log dX.v) 2) (* (log (floor h)) 2))))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))))

analyze22.2s (4.1%)

Memory
142.7MiB live, 33 151.7MiB allocated
Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%5.8%94.2%0%0%0%0
0%0%5.8%94.2%0%0%0%1
3.4%0.2%5.6%94.2%0%0%0%2
3.8%0.2%5.6%94.2%0%0%0%3
5.7%0.3%5.4%94.2%0%0%0%4
20.8%1.2%4.6%94.2%0%0%0%5
29.6%1.7%4%94.2%0%0.1%0%6
47.8%2.5%2.8%94.2%0%0.5%0%7
48.7%2.6%2.7%94.2%0%0.5%0%8
58.9%3.1%2.2%94.2%0%0.5%0%9
66.8%3.5%1.7%94.2%0%0.5%0%10
69.4%3.6%1.6%94.2%0%0.6%0%11
71.5%3.7%1.5%94.2%0%0.6%0%12
Compiler

Compiled 2 600 to 1 074 computations (58.7% saved)

explain8.9s (1.6%)

Memory
-75.0MiB live, 13 340.3MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity102964
sqrt.f32#foflow-rescue4010
-.f32#fcancellation39226
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity1980
cos.f32(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))sensitivity18413
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18018
/.f32#fo/n1400
exp.f32#fsensitivity4221
-.f64(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))cancellation370
/.f32#fo/o260
/.f32#fu/n260
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u200
sqrt.f32(sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))uflow-rescue130
↳(*.f32 sinTheta_O sinTheta_O)underflow306
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow13
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow153
↳(*.f32 eta eta)underflow13
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))oflow-rescue30
↳(*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)overflow3
↳(+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))overflow3
↳(pow.f64 (E.f64) x)overflow3
↳(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))overflow3
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o20
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow5
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow5
sin.f32(sin.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32)))cancellation10
Confusion
Predicted +Predicted -
+191758
-4115550
Precision
0.8234536082474226
Recall
0.970632911392405
Confusion?
Predicted +Predicted MaybePredicted -
+19172632
-4111035447
Precision?
0.7908017908017908
Recall?
0.9837974683544304
Freqs
test
numberfreq
05608
11989
2312
327
Total Confusion?
Predicted +Predicted MaybePredicted -
+2122
-402
Precision?
0.8518518518518519
Recall?
0.92
Samples
2.6s15 454×0valid
230.0ms418×1valid
Compiler

Compiled 23 833 to 2 304 computations (90.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 555.0ms (27.9% of total)
ival-div: 255.0ms (12.8% of total)
ival-sub: 142.0ms (7.1% of total)
ival-sqrt: 114.0ms (5.7% of total)
ival-pow: 94.0ms (4.7% of total)
ival-log: 87.0ms (4.4% of total)
ival-add: 86.0ms (4.3% of total)
ival-sinu: 76.0ms (3.8% of total)
ival-pi: 62.0ms (3.1% of total)
adjust: 60.0ms (3% of total)
ival-exp: 57.0ms (2.9% of total)
const: 55.0ms (2.8% of total)
ival-floor: 49.0ms (2.5% of total)
ival-sin: 45.0ms (2.3% of total)
ival-neg: 27.0ms (1.4% of total)
ival-if: 26.0ms (1.3% of total)
ival-cosu: 23.0ms (1.2% of total)
ival-fabs: 22.0ms (1.1% of total)
ival-cos: 20.0ms (1% of total)
ival-tan: 19.0ms (1% of total)
ival-fmax: 16.0ms (0.8% of total)
ival-e: 15.0ms (0.8% of total)
ival-true: 15.0ms (0.8% of total)
exact: 14.0ms (0.7% of total)
ival-log2: 13.0ms (0.7% of total)
ival-log1p: 8.0ms (0.4% of total)
ival-atan: 8.0ms (0.4% of total)
ival-assert: 7.0ms (0.4% of total)
ival-asin: 5.0ms (0.3% of total)
ival-sinh: 5.0ms (0.3% of total)
ival->: 3.0ms (0.2% of total)
ival->=: 3.0ms (0.2% of total)
ival-<: 1.0ms (0.1% of total)

preprocess8.8s (1.6%)

Memory
-346.8MiB live, 9 830.2MiB allocated
Algorithm
31×egg-herbie
Stop Event
62×iter limit
33×saturated
29×node limit
Compiler

Compiled 66 182 to 17 689 computations (73.3% saved)

bsearch397.0ms (0.1%)

Memory
-10.4MiB live, 645.1MiB allocated
Algorithm
65×left-value
42×binary-search
Stop Event
42×narrow-enough
Samples
125.0ms452×1valid
33.0ms364×0valid
7.0ms23×1invalid
3.0ms43×0invalid
Compiler

Compiled 6 884 to 4 524 computations (34.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 132.0ms
ival-pow: 51.0ms (38.7% of total)
ival-e: 37.0ms (28.1% of total)
ival-mult: 15.0ms (11.4% of total)
ival-log1p: 11.0ms (8.4% of total)
adjust: 9.0ms (6.8% of total)
ival-sub: 8.0ms (6.1% of total)
ival-true: 1.0ms (0.8% of total)
exact: 1.0ms (0.8% of total)
ival-assert: 0.0ms (0% of total)

start3.0ms (0%)

Memory
7.7MiB live, 7.7MiB allocated

Profiling

Loading profile data...