Herbie run

Date:Monday, October 21st, 2024
Commit:15c1caf3 on main
Hostname:nightly with Racket 8.10
Seed:2024295
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 6.7min)

sample1.4min (20.9%)

Memory
803.6MiB live, 102 568.2MiB allocated
Samples
58.1s262 414×0valid
2.4s7 844×1valid
2.2s11 008×0invalid
724.0ms2 190×2valid
316.0ms685×1invalid
295.0ms1 563×1exit
Precisions
Click to see histograms. Total time spent on operations: 51.7s
ival-mult: 10.1s (19.6% of total)
const: 7.9s (15.4% of total)
ival-<=: 6.9s (13.3% of total)
ival-div: 4.8s (9.3% of total)
ival-sub: 2.4s (4.7% of total)
ival-add: 2.1s (4.1% of total)
ival-sqrt: 1.9s (3.6% of total)
ival-fabs: 1.7s (3.3% of total)
ival-log: 1.5s (2.9% of total)
ival-and: 1.2s (2.4% of total)
ival-exp: 1.2s (2.3% of total)
ival-sin: 1.1s (2.1% of total)
ival-pow: 918.0ms (1.8% of total)
ival-floor: 823.0ms (1.6% of total)
ival-sinu: 718.0ms (1.4% of total)
ival-cos: 595.0ms (1.2% of total)
ival-pow2: 501.0ms (1% of total)
exact: 491.0ms (1% of total)
ival-neg: 479.0ms (0.9% of total)
ival-cosu: 469.0ms (0.9% of total)
ival-fmax: 451.0ms (0.9% of total)
adjust: 434.0ms (0.8% of total)
ival-e: 397.0ms (0.8% of total)
ival-pi: 333.0ms (0.6% of total)
ival-tan: 307.0ms (0.6% of total)
ival-if: 259.0ms (0.5% of total)
ival-log2: 231.0ms (0.4% of total)
ival-asin: 224.0ms (0.4% of total)
ival-<: 183.0ms (0.4% of total)
ival-sinh: 171.0ms (0.3% of total)
ival-log1p: 153.0ms (0.3% of total)
ival->: 142.0ms (0.3% of total)
ival-==: 125.0ms (0.2% of total)
ival-assert: 117.0ms (0.2% of total)
ival-atan: 99.0ms (0.2% of total)
ival->=: 45.0ms (0.1% of total)
ival-true: 24.0ms (0% of total)
Bogosity

simplify52.1s (12.9%)

Memory
483.9MiB live, 49 393.1MiB allocated
Algorithm
297×egg-herbie
Stop Event
399×iter limit
222×node limit
72×saturated
3×unsound
Counts
15 402 → 15 309

regimes44.1s (10.9%)

Memory
80.5MiB live, 55 731.6MiB allocated
Counts
18 777 → 395
Calls

160 calls:

2.4s
s
1.5s
u
1.2s
(*.f32 (neg.f32 s) (log.f32 (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 (*.f32 u (-.f32 (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (neg.f32 (PI.f32)) s)))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) (/.f32 #s(literal 1 binary32) (+.f32 #s(literal 1 binary32) (exp.f32 (/.f32 (PI.f32) s)))))) #s(literal 1 binary32))))
1.1s
x
992.0ms
v
Compiler

Compiled 22 453 to 15 439 computations (31.2% saved)

eval41.1s (10.1%)

Memory
582.3MiB live, 59 121.8MiB allocated
Compiler

Compiled 28 617 172 to 600 599 computations (97.9% saved)

soundness40.9s (10.1%)

Memory
301.0MiB live, 27 774.1MiB allocated
Stop Event
303×iter limit
201×node limit
33×fuel
Compiler

Compiled 55 098 to 16 855 computations (69.4% saved)

rewrite30.7s (7.6%)

Memory
-373.7MiB live, 34 367.1MiB allocated
Stop Event
271×iter limit
129×node limit
3×unsound
Counts
2 548 → 89 906

localize29.1s (7.2%)

Memory
243.1MiB live, 36 462.5MiB allocated
Samples
14.0s28 193×0valid
3.5s2 550×1valid
1.1s1 630×0invalid
488.0ms394×2valid
339.0ms510×1exit
276.0ms69×5exit
150.0ms167×2exit
90.0ms256×0exit
13.0ms13×3exit
12.0ms10×3valid
Compiler

Compiled 292 991 to 14 636 computations (95% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.5s
ival-mult: 4.7s (30.5% of total)
ival-div: 2.6s (16.4% of total)
ival-add: 1.2s (7.5% of total)
ival-sub: 689.0ms (4.4% of total)
ival-sqrt: 664.0ms (4.3% of total)
ival-pow: 643.0ms (4.1% of total)
adjust: 580.0ms (3.7% of total)
ival-pow2: 523.0ms (3.4% of total)
ival-exp: 494.0ms (3.2% of total)
ival-sin: 485.0ms (3.1% of total)
ival-log: 458.0ms (2.9% of total)
const: 307.0ms (2% of total)
ival-neg: 303.0ms (1.9% of total)
ival-sinu: 210.0ms (1.4% of total)
ival-cosu: 208.0ms (1.3% of total)
ival-cos: 199.0ms (1.3% of total)
ival-fmax: 186.0ms (1.2% of total)
ival-floor: 159.0ms (1% of total)
ival-if: 115.0ms (0.7% of total)
ival-log2: 110.0ms (0.7% of total)
ival-log1p: 104.0ms (0.7% of total)
ival-tan: 87.0ms (0.6% of total)
ival-fabs: 87.0ms (0.6% of total)
ival-atan: 74.0ms (0.5% of total)
exact: 67.0ms (0.4% of total)
ival-pi: 53.0ms (0.3% of total)
ival-expm1: 50.0ms (0.3% of total)
ival-e: 42.0ms (0.3% of total)
ival-asin: 39.0ms (0.3% of total)
ival-tanu: 36.0ms (0.2% of total)
ival-true: 33.0ms (0.2% of total)
ival-sinh: 17.0ms (0.1% of total)
ival->: 16.0ms (0.1% of total)
ival-assert: 16.0ms (0.1% of total)
ival->=: 14.0ms (0.1% of total)
ival-cbrt: 9.0ms (0.1% of total)
ival-acos: 7.0ms (0% of total)
ival-<: 5.0ms (0% of total)

prune24.9s (6.2%)

Memory
-339.0MiB live, 35 602.5MiB allocated
Counts
145 558 → 7 201
Compiler

Compiled 1 159 687 to 397 252 computations (65.7% saved)

analyze21.4s (5.3%)

Memory
261.7MiB live, 28 348.0MiB allocated
Algorithm
33×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%11.5%88.5%0%0%0%0
52.8%6.1%5.4%88.5%0%0%0%1
54.4%6.2%5.2%88.5%0%0%0%2
54.5%6.3%5.2%88.5%0%0%0%3
55.4%6.4%5.1%88.5%0%0%0%4
62.6%7.2%4.3%88.5%0%0%0%5
66.9%7.6%3.8%88.5%0%0.1%0%6
76.4%8.4%2.6%88.5%0%0.4%0%7
76.8%8.5%2.6%88.5%0%0.4%0%8
81.4%9%2%88.5%0%0.4%0%9
85.1%9.3%1.6%88.5%0%0.5%0%10
86.3%9.4%1.5%88.5%0%0.5%0%11
87.3%9.5%1.4%88.5%0%0.6%0%12
Compiler

Compiled 2 648 to 1 114 computations (57.9% saved)

series16.5s (4.1%)

Memory
-102.3MiB live, 22 509.3MiB allocated
Counts
2 548 → 15 402
Calls

1452 calls:

TimeVariablePointExpression
330.0ms
dY.u
@inf
((* (/ 1 (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2))))) (* (floor w) dY.u)) (/ (* (neg dX.u) (floor w)) -1) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dX.u)) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))))) (* (floor w) dY.u)) (exp (* (log (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2)))) 1/2)) (* (/ 1 (exp (* (log (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2)))) 1/2))) (* (floor w) dX.u)) (exp (+ (* (log (floor h)) 2) (* (log dY.v) 2))) (* (/ 1 (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (exp (+ (* (log (floor h)) 2) (* (log dY.v) 2))))))) (* (floor w) dY.u)) (* (* (floor w) dY.u) (* (floor w) dY.u)) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.u (floor w)) 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))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (log (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2)))) (+ (* (log (floor h)) 2) (* (log dY.v) 2)) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (exp (+ (* (log (floor h)) 2) (* (log dY.v) 2)))))) (/ (- (pow (* dY.v (floor h)) 4) (pow (* dY.u (floor w)) 4)) (- (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) (- (pow (* dY.v (floor h)) 4) (pow (* dY.u (floor w)) 4)) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (/ (- (pow (* dY.v (floor h)) 4) (pow (* dY.u (floor w)) 4)) (- (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))))))
169.0ms
sinTheta_O
@-inf
((- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) (* (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (/ 1/2 v) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (* (* (exp 6931/10000) -1/2) (/ -1 v)) (exp (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))) (* (exp 6931/10000) -1/2) (exp 6931/10000) (+ (log (/ 1/2 v)) (/ (+ (* cosTheta_O cosTheta_i) -1) v)) (exp (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))) (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v)))) (+ (+ (log (/ 1/2 v)) (/ (+ (* cosTheta_O cosTheta_i) -1) v)) 6931/10000) (exp (- (log (* 2 v)) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)))) (/ 1 (exp (- (log (* 2 v)) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))))) (log (* 2 v)) (+ (* (/ sinTheta_i v) sinTheta_O) (/ 1 v)) (* (+ (/ (- (+ (log (/ 1/2 v)) 6931/10000) (+ (* (/ sinTheta_i v) sinTheta_O) (/ 1 v))) cosTheta_O) (/ cosTheta_i v)) cosTheta_O) (- (+ (log (/ 1/2 v)) 6931/10000) (+ (* (/ sinTheta_i v) sinTheta_O) (/ 1 v))) (exp (+ (+ (- (- (/ (* cosTheta_i cosTheta_O) v) (/ (* sinTheta_i sinTheta_O) v)) (/ 1 v)) 6931/10000) (log (/ 1 (* 2 v))))) (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v) (+ (* cosTheta_O cosTheta_i) -1) (- (log (* 2 v)) (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (/ (- (+ (log (/ 1/2 v)) 6931/10000) (+ (* (/ sinTheta_i v) sinTheta_O) (/ 1 v))) cosTheta_O))
166.0ms
w
@inf
((/ (* (neg dX.u) (floor w)) -1) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)) (exp (+ (* (log (floor w)) 2) (* (log dY.u) 2))) (sqrt (fmax (+ (pow (* dX.u (floor w)) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2)))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (>= (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (>= (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (pow (fmax (+ (pow (* dX.u (floor w)) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2))) -1/2) (>= (+ (pow (* (floor w) dX.u) 2) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (log (floor w)) 2) (* (log dY.u) 2)) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (exp (+ (* (log (floor w)) 2) (* (log dY.u) 2))) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (+ (* (pow (floor w) 2) (* dX.u dX.u)) (pow (* dX.v (floor h)) 2)) (sqrt (fmax (+ (* (pow (floor w) 2) (* dX.u dX.u)) (pow (* dX.v (floor h)) 2)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))
158.0ms
s
@0
((* (* 3 s) (log (/ 1 (- 4/3 (* 4/3 u))))) (/ 1 (- 4/3 (* 4/3 u))) (- 4/3 (* 4/3 u)) (* 3 s) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* s (+ (* (+ (log 3/4) u) 3) (* (* 3/2 u) u))) (* (* s 3/2) (* u u)) (* s 3/2) (* (* s 3) (neg (log (+ 1 (+ (* u 4/3) -1/3))))) (* s 3) (neg (log (+ 1 (+ (* u 4/3) -1/3)))) (log (+ 1 (+ (* u 4/3) -1/3))) (* (* s 3) (neg (log (+ 1 (* (- u 1/4) 4/3))))) (* (- u 1/4) 4/3) (neg (log (+ 1 (* (- u 1/4) 4/3)))) (+ (* (+ (log 3/4) u) 3) (* (* 3/2 u) u)) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* (+ (* (+ (log 3/4) u) 3) (* (* 3/2 u) u)) s) (+ (log 3/4) u) (log (/ 1 (- 4/3 (* 4/3 u)))) (* 4/3 u) (log 2/3) (log (+ 1 (* (- u 1/4) 4/3))) (* (* 3/2 u) u))
144.0ms
u2
@inf
((* (sqrt (- (log (+ 1 u1)) (log (+ 1 (* (neg u1) u1))))) (sin (* (* 2 (PI)) u2))) (* (* (* (sin (* (PI) u2)) (cos (* (PI) u2))) 2) (sqrt u1)) (* (* (sin (* (PI) u2)) (cos (* (PI) u2))) 2) (* (sin (* (PI) u2)) (cos (* (PI) u2))) (* (sqrt (- (log (+ 1 u1)) (log (+ 1 (* (neg u1) u1))))) (sin (* (* 2 (PI)) u2))) (* (sin (* (* (PI) 2) u2)) (sqrt u1)) (sin (* (* (PI) 2) u2)) (* (* (PI) u2) 2) (* (sqrt (- (neg (log (/ 1 (+ u1 1)))) (log (+ 1 (* (neg u1) u1))))) (sin (* (* 2 (PI)) u2))) (sqrt (- (neg (log (/ 1 (+ u1 1)))) (log (+ 1 (* (neg u1) u1))))) (- (neg (log (/ 1 (+ u1 1)))) (log (+ 1 (* (neg u1) u1)))) (neg (log (/ 1 (+ u1 1)))) (* (pow (neg (log (- 1 u1))) 1/4) (* (pow (neg (log (- 1 u1))) 1/4) (sin (* u2 (* (PI) 2))))) (pow (neg (log (- 1 u1))) 1/4) (neg (log (- 1 u1))) (log (- 1 u1)) (* (* (* (* (cbrt (PI)) 2) u2) (cbrt (PI))) (cbrt (PI))) (log (- 1 u1)) (* (sqrt (neg (log (- 1 u1)))) (sin (* (* (* (* (cbrt (PI)) 2) u2) (cbrt (PI))) (cbrt (PI))))) (sqrt (neg (log (- 1 u1)))) (* (PI) u2) (sin (* (PI) u2)) (log (+ 1 (* (neg u1) u1))) (+ (* -1/2 u1) 1) (* u2 (* (PI) 2)) (* (pow (neg (log (- 1 u1))) 1/4) (sin (* u2 (* (PI) 2)))) (* (* (* (cbrt (PI)) 2) u2) (cbrt (PI))))

explain9.9s (2.4%)

Memory
-328.6MiB live, 12 738.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity99869
-.f32#fcancellation38728
sqrt.f32#foflow-rescue3300
sqrt.f64#foflow-rescue2940
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity1880
cos.f32#fsensitivity18419
-.f64#fcancellation1821
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18117
/.f32#fo/n1300
exp.f32#fsensitivity4229
/.f32#fu/n220
/.f32#fo/o200
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u160
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-rescue140
↳(*.f32 sinTheta_O sinTheta_O)underflow284
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow14
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow142
↳(*.f32 eta eta)underflow14
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o40
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow17
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow17
sqrt.f64#fuflow-rescue40
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u30
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))oflow-rescue10
↳(*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)overflow1
↳(+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))overflow1
↳(pow.f64 (E.f64) x)overflow1
↳(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))overflow1
Confusion
Predicted +Predicted -
+212256
-4565814
Precision
0.8231186966640807
Recall
0.9742883379247016
Confusion?
Predicted +Predicted MaybePredicted -
+21223323
-4561135701
Precision?
0.7911160058737151
Recall?
0.9894398530762167
Freqs
test
numberfreq
05870
12176
2382
320
Total Confusion?
Predicted +Predicted MaybePredicted -
+2510
-304
Precision?
0.896551724137931
Recall?
1.0
Samples
3.0s16 110×0valid
223.0ms660×1valid
45.0ms126×2valid
Compiler

Compiled 24 467 to 2 456 computations (90% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 519.0ms (23.4% of total)
ival-neg: 328.0ms (14.8% of total)
ival-add: 259.0ms (11.7% of total)
ival-div: 216.0ms (9.7% of total)
ival-log: 116.0ms (5.2% of total)
ival-sub: 111.0ms (5% of total)
ival-sqrt: 90.0ms (4.1% of total)
ival-fabs: 53.0ms (2.4% of total)
ival-pow2: 45.0ms (2% of total)
ival-sin: 44.0ms (2% of total)
ival-floor: 43.0ms (1.9% of total)
ival-exp: 40.0ms (1.8% of total)
const: 40.0ms (1.8% of total)
ival-pow: 36.0ms (1.6% of total)
ival-sinu: 36.0ms (1.6% of total)
adjust: 28.0ms (1.3% of total)
ival-cosu: 23.0ms (1% of total)
ival-cos: 22.0ms (1% of total)
ival-pi: 22.0ms (1% of total)
ival-tan: 18.0ms (0.8% of total)
ival-true: 17.0ms (0.8% of total)
ival-e: 16.0ms (0.7% of total)
ival-fmax: 16.0ms (0.7% of total)
exact: 16.0ms (0.7% of total)
ival-if: 13.0ms (0.6% of total)
ival-log2: 11.0ms (0.5% of total)
ival-assert: 8.0ms (0.4% of total)
ival-atan: 7.0ms (0.3% of total)
ival-log1p: 7.0ms (0.3% of total)
ival-asin: 5.0ms (0.2% of total)
ival-sinh: 5.0ms (0.2% of total)
ival->: 3.0ms (0.1% of total)
ival->=: 3.0ms (0.1% of total)
ival-<: 1.0ms (0% of total)

preprocess8.6s (2.1%)

Memory
45.6MiB live, 8 383.0MiB allocated
Algorithm
33×egg-herbie
Stop Event
66×iter limit
35×saturated
31×node limit
Compiler

Compiled 80 628 to 20 457 computations (74.6% saved)

bsearch846.0ms (0.2%)

Memory
-38.9MiB live, 973.3MiB allocated
Algorithm
60×left-value
53×binary-search
Stop Event
50×narrow-enough
3×predicate-same
Samples
208.0ms664×1valid
163.0ms1 122×0valid
34.0ms118×2valid
11.0ms127×0invalid
1.0ms5×1invalid
Compiler

Compiled 14 610 to 10 525 computations (28% saved)

Precisions
Click to see histograms. Total time spent on operations: 291.0ms
ival-mult: 62.0ms (21.3% of total)
ival-pow: 60.0ms (20.6% of total)
ival-e: 37.0ms (12.7% of total)
ival-sub: 29.0ms (10% of total)
adjust: 22.0ms (7.6% of total)
ival-pow2: 21.0ms (7.2% of total)
ival-add: 18.0ms (6.2% of total)
ival-log1p: 13.0ms (4.5% of total)
ival-sqrt: 10.0ms (3.4% of total)
ival-fabs: 8.0ms (2.7% of total)
ival-div: 6.0ms (2.1% of total)
ival-true: 2.0ms (0.7% of total)
exact: 2.0ms (0.7% of total)
ival-assert: 1.0ms (0.3% of total)

start3.0ms (0%)

Memory
7.0MiB live, 7.1MiB allocated

end0.0ms (0%)

Memory
0.5MiB live, 0.4MiB allocated

Profiling

Loading profile data...