Herbie run

Date:Thursday, September 26th, 2024
Commit:029b8eff on dump-egraph
Hostname:nightly with Racket 8.10
Seed:2024270
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.4%)

Memory
-1.2MiB live, 51 479.7MiB allocated

sample1.4min (15.4%)

Memory
404.7MiB live, 104 605.7MiB allocated
Samples
56.5s251 275×0valid
2.5s11 076×0invalid
1.4s4 661×1valid
602.0ms661×1invalid
278.0ms1 602×1exit
Precisions
Click to see histograms. Total time spent on operations: 49.7s
ival-mult: 10.2s (20.6% of total)
ival-<=: 7.5s (15% of total)
const: 7.2s (14.4% of total)
ival-div: 4.1s (8.3% of total)
ival-sub: 2.4s (4.8% of total)
ival-add: 1.7s (3.4% of total)
ival-log: 1.5s (3.1% of total)
ival-fabs: 1.5s (3% of total)
ival-sin: 1.4s (2.9% of total)
ival-sqrt: 1.3s (2.6% of total)
ival-and: 1.2s (2.5% of total)
ival-pow: 1.1s (2.3% of total)
ival-sinu: 907.0ms (1.8% of total)
ival-exp: 873.0ms (1.8% of total)
ival-floor: 854.0ms (1.7% of total)
ival-fmax: 689.0ms (1.4% of total)
ival-neg: 580.0ms (1.2% of total)
ival-cosu: 468.0ms (0.9% of total)
exact: 466.0ms (0.9% of total)
ival-cos: 375.0ms (0.8% of total)
ival-tan: 362.0ms (0.7% of total)
ival-e: 344.0ms (0.7% of total)
ival-pi: 310.0ms (0.6% of total)
ival-asin: 293.0ms (0.6% of total)
ival-if: 288.0ms (0.6% of total)
ival-<: 234.0ms (0.5% of total)
ival-log2: 223.0ms (0.4% of total)
ival->: 215.0ms (0.4% of total)
ival-log1p: 206.0ms (0.4% of total)
ival-==: 162.0ms (0.3% of total)
adjust: 152.0ms (0.3% of total)
ival-atan: 144.0ms (0.3% of total)
ival-sinh: 128.0ms (0.3% of total)
ival->=: 117.0ms (0.2% of total)
ival-assert: 109.0ms (0.2% of total)
ival-true: 11.0ms (0% of total)
Bogosity

eval1.2min (13.4%)

Memory
944.9MiB live, 116 520.0MiB allocated
Compiler

Compiled 41 608 964 to 612 036 computations (98.5% saved)

simplify53.4s (9.9%)

Memory
857.8MiB live, 61 436.6MiB allocated
Algorithm
277×egg-herbie
Stop Event
374×iter limit
204×node limit
68×saturated
5×unsound
Counts
64 392 → 64 175

regimes48.2s (8.9%)

Memory
461.6MiB live, 71 016.6MiB allocated
Counts
22 508 → 407
Calls

152 calls:

3.2s
s
1.1s
h
1.1s
(+.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)))
1.0s
dY.v
1.0s
r
Compiler

Compiled 24 813 to 16 120 computations (35% saved)

soundness39.4s (7.3%)

Memory
88.1MiB live, 26 287.1MiB allocated
Stop Event
264×iter limit
175×node limit
30×fuel
2×unsound
1×done
Compiler

Compiled 48 721 to 16 118 computations (66.9% saved)

prune31.3s (5.8%)

Memory
-774.6MiB live, 61 368.7MiB allocated
Counts
259 166 → 8 046
Compiler

Compiled 797 031 to 309 264 computations (61.2% saved)

rewrite28.8s (5.3%)

Memory
94.3MiB live, 35 206.7MiB allocated
Stop Event
259×iter limit
115×node limit
8×unsound
Counts
2 341 → 82 323

localize26.4s (4.9%)

Memory
138.9MiB live, 36 536.6MiB allocated
Samples
13.6s27 351×0valid
2.2s2 118×1valid
1.2s1 850×0invalid
189.0ms59×5exit
66.0ms105×0exit
15.0ms5×2valid
Compiler

Compiled 135 476 to 5 995 computations (95.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.4s
ival-mult: 4.2s (31% of total)
ival-div: 1.9s (14.1% of total)
ival-add: 861.0ms (6.4% of total)
ival-pow2: 755.0ms (5.6% of total)
ival-sub: 742.0ms (5.5% of total)
ival-pow: 711.0ms (5.3% of total)
ival-sqrt: 472.0ms (3.5% of total)
ival-exp: 368.0ms (2.7% of total)
const: 330.0ms (2.5% of total)
adjust: 326.0ms (2.4% of total)
ival-log1p: 309.0ms (2.3% of total)
ival-log: 305.0ms (2.3% of total)
ival-log2: 264.0ms (2% of total)
ival-neg: 244.0ms (1.8% of total)
ival-sin: 220.0ms (1.6% of total)
ival-floor: 172.0ms (1.3% of total)
ival-cos: 161.0ms (1.2% of total)
ival-sinu: 134.0ms (1% of total)
ival-fmax: 122.0ms (0.9% of total)
ival-e: 93.0ms (0.7% of total)
ival-if: 89.0ms (0.7% of total)
ival-cosu: 83.0ms (0.6% of total)
ival-tan: 71.0ms (0.5% of total)
exact: 70.0ms (0.5% of total)
ival-expm1: 65.0ms (0.5% of total)
ival-pi: 64.0ms (0.5% of total)
ival-atan: 59.0ms (0.4% of total)
ival-fabs: 39.0ms (0.3% of total)
ival-true: 39.0ms (0.3% of total)
ival-asin: 38.0ms (0.3% of total)
ival-tanu: 36.0ms (0.3% of total)
ival-sinh: 34.0ms (0.3% of total)
ival-acos: 26.0ms (0.2% of total)
ival-cbrt: 15.0ms (0.1% of total)
ival-assert: 15.0ms (0.1% of total)
ival->: 14.0ms (0.1% of total)
ival->=: 10.0ms (0.1% of total)
ival-<: 6.0ms (0% of total)
ival-hypot: 4.0ms (0% of total)

analyze22.4s (4.1%)

Memory
258.1MiB live, 33 125.6MiB 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)

series22.0s (4.1%)

Memory
-316.4MiB live, 32 214.2MiB allocated
Counts
2 341 → 64 392
Calls

1281 calls:

TimeVariablePointExpression
496.0ms
v
@0
((- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) (/ (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (* 2 v)) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (+ 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) (* (* (exp 6931/10000) (/ 1/2 v)) (exp (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (* (exp 6931/10000) (/ 1/2 v)) (/ (exp (+ (log (/ 1/2 v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v))) (exp (- (/ 1 v) 6931/10000))) (exp (+ (log (/ 1/2 v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v))) (+ (log (/ 1/2 v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v)) (log (/ 1/2 v)) (/ (exp (/ (pow (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) 2) (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (/ 1/2 v))))) (exp (/ (pow (log (* 2 v)) 2) (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (/ 1/2 v)))))) (exp (/ (pow (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) 2) (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (/ 1/2 v))))) (/ (pow (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) 2) (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (/ 1/2 v)))) (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v) (exp (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v) (/ (pow (log (* 2 v)) 2) (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (/ 1/2 v)))) (pow (log (* 2 v)) 2) (pow (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) 2))
290.0ms
dX.u
@-inf
((* (/ 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 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 h) dY.v)) (+ (* (* (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))) (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 h) dX.v) (* (floor h) dX.v)) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor w) dX.u) (* (floor w) dX.u)))
280.0ms
s
@-inf
((+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* r (* (PI) 2)) s)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (/ (neg r) (* 3 s)) (exp (/ (neg r) s)) (/ (neg r) s) (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (/ (/ 1/4 (* (PI) s)) r) (/ 1/4 (* (PI) s)) (* (PI) s) (/ (/ (+ (* (/ 5/72 s) (/ r (PI))) (/ -1/6 (PI))) s) s) (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (/ (+ (* (/ (/ (+ (* (/ 5/72 s) (/ r (PI))) (/ -1/6 (PI))) s) s) r) (/ 1/4 (* (PI) s))) r) (/ (+ (* (/ 5/72 s) (/ r (PI))) (/ -1/6 (PI))) s) (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (* 1/4 (exp (/ (neg r) s))) (+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (PI) (* 6 (* s r))))) (* r (* (PI) 2)) (* (* (* 6 (PI)) s) r) (* (* r (* (PI) 2)) s) (+ (* (/ 5/72 s) (/ r (PI))) (/ -1/6 (PI))) (+ (* (/ (/ (+ (* (/ 5/72 s) (/ r (PI))) (/ -1/6 (PI))) s) s) r) (/ 1/4 (* (PI) s))) (/ 5/72 s) (+ (* (/ 1/2 s) r) -1) (exp (/ (neg r) s)) (+ (* (/ r s) (+ (* (/ 1/2 s) r) -1)) 1) (* (* 2 (PI)) s) (* (PI) (* 6 (* s r))) (* 6 (* s r)))
222.0ms
sinTheta_i
@inf
((- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) (/ (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (* 2 v)) (exp (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (+ 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) (* (* (exp 6931/10000) (/ 1/2 v)) (exp (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v))) (* (exp 6931/10000) (/ 1/2 v)) (/ (exp (+ (log (/ 1/2 v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v))) (exp (- (/ 1 v) 6931/10000))) (exp (+ (log (/ 1/2 v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v))) (+ (log (/ 1/2 v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v)) (log (/ 1/2 v)) (/ (exp (/ (pow (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) 2) (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (/ 1/2 v))))) (exp (/ (pow (log (* 2 v)) 2) (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (/ 1/2 v)))))) (exp (/ (pow (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) 2) (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (/ 1/2 v))))) (/ (pow (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) 2) (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (/ 1/2 v)))) (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v) (exp (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (/ (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) v) (/ (pow (log (* 2 v)) 2) (- (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) (log (/ 1/2 v)))) (pow (log (* 2 v)) 2) (pow (+ 6931/10000 (/ (- (- (* cosTheta_O cosTheta_i) (* sinTheta_O sinTheta_i)) 1) v)) 2))
194.0ms
x
@-inf
((* c (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1))))))) (- (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1)))))) (log (+ 1 (pow (* y (- (exp x) 1)) 3))) (pow (* y (- (exp x) 1)) 3) (* (log (+ 1 (/ (* (- (exp (* x 3)) 1) y) (+ (* (exp x) (exp x)) (+ (exp x) 1))))) c) (log (+ 1 (/ (* (- (exp (* x 3)) 1) y) (+ (* (exp x) (exp x)) (+ (exp x) 1))))) (* x y) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (+ (* (* c (+ (* (* 1/6 x) (+ (* (* y y) (+ (* 2 y) -3)) y)) (* (- y (* y y)) 1/2))) x) (* y c)) x) (+ (* (* c (+ (* (* 1/6 x) (+ (* (* y y) (+ (* 2 y) -3)) y)) (* (- y (* y y)) 1/2))) x) (* y c)) (* (+ (* (* (+ (* 1/6 x) 1/2) x) c) c) y) (+ (* (* (* c x) (+ (* (* (+ (* (+ (* 2 y) -3) (* y y)) y) 1/6) x) (* 1/2 (- y (* y y))))) x) (* (* c y) x)) (+ (* 1/3 (* x y)) (+ (* -1/2 x) -1/2)) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (* c x) (+ (* (* (+ (* (+ (* 2 y) -3) (* y y)) y) 1/6) x) (* 1/2 (- y (* y y))))) (* (log (+ 1 (* y (- (exp x) 1)))) c) (log (+ 1 (* y (- (exp x) 1)))) (* y (- (exp x) 1)) (- (exp x) 1) (log (+ 1 (* (+ (* y (- (exp x) 1)) -1) (* y (- (exp x) 1))))) (+ (* (* (+ (* 1/6 x) 1/2) x) c) c) (* (* c y) x) (+ (* 1/24 x) 1/6))

preprocess9.4s (1.7%)

Memory
64.6MiB live, 10 831.9MiB allocated
Algorithm
31×egg-herbie
Stop Event
62×iter limit
33×saturated
29×node limit
Compiler

Compiled 63 636 to 19 985 computations (68.6% saved)

explain8.8s (1.6%)

Memory
-270.1MiB live, 13 575.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity102983
-.f32#fcancellation39828
sqrt.f32#foflow-rescue3580
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2100
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)))))))sensitivity19313
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18720
/.f32#fo/n1180
exp.f32#fsensitivity4226
-.f64(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))cancellation330
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-rescue210
↳(*.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)))))underflow21
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow153
↳(*.f32 eta eta)underflow21
/.f32#fu/n170
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u170
/.f32#fo/o140
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o70
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow15
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow15
*.f32#fn*o40
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u20
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))oflow-rescue20
↳(*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)overflow2
↳(+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))overflow2
↳(pow.f64 (E.f64) x)overflow2
↳(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))overflow2
sin.f32#fcancellation20
pow.f64(pow.f64 (E.f64) x)sensitivity10
log.f32(log.f32 (/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v)))oflow-rescue10
↳(/.f32 #s(literal 1 binary32) (*.f32 #s(literal 2 binary32) v))overflow1
Confusion
Predicted +Predicted -
+185959
-4585560
Precision
0.8023305999136815
Recall
0.9692387904066736
Confusion?
Predicted +Predicted MaybePredicted -
+18593623
-4581205440
Precision?
0.7662757784067934
Recall?
0.9880083420229405
Freqs
test
numberfreq
05619
11992
2311
314
Total Confusion?
Predicted +Predicted MaybePredicted -
+2120
-413
Precision?
0.8214285714285714
Recall?
1.0
Samples
2.5s15 444×0valid
178.0ms428×1valid
Compiler

Compiled 16 494 to 1 759 computations (89.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-mult: 625.0ms (34% of total)
ival-div: 219.0ms (11.9% of total)
ival-sqrt: 110.0ms (6% of total)
ival-add: 98.0ms (5.3% of total)
ival-sub: 83.0ms (4.5% of total)
ival-log: 79.0ms (4.3% of total)
ival-floor: 70.0ms (3.8% of total)
ival-exp: 59.0ms (3.2% of total)
ival-sin: 59.0ms (3.2% of total)
ival-sinu: 48.0ms (2.6% of total)
adjust: 44.0ms (2.4% of total)
const: 38.0ms (2.1% of total)
ival-pow: 36.0ms (2% of total)
ival-fmax: 31.0ms (1.7% of total)
ival-neg: 29.0ms (1.6% of total)
ival-cosu: 28.0ms (1.5% of total)
ival-cos: 22.0ms (1.2% of total)
ival-pi: 21.0ms (1.1% of total)
ival-tan: 18.0ms (1% of total)
ival-log2: 18.0ms (1% of total)
ival-true: 16.0ms (0.9% of total)
ival-e: 15.0ms (0.8% of total)
exact: 15.0ms (0.8% of total)
ival-if: 14.0ms (0.8% of total)
ival-assert: 8.0ms (0.4% of total)
ival-fabs: 8.0ms (0.4% of total)
ival-log1p: 7.0ms (0.4% of total)
ival-atan: 6.0ms (0.3% of total)
ival-sinh: 5.0ms (0.3% of total)
ival-asin: 4.0ms (0.2% of total)
ival->: 3.0ms (0.2% of total)
ival->=: 3.0ms (0.2% of total)
ival-<: 1.0ms (0.1% of total)

bsearch325.0ms (0.1%)

Memory
64.7MiB live, 542.3MiB allocated
Algorithm
63×left-value
55×binary-search
Stop Event
54×narrow-enough
1×predicate-same
Samples
42.0ms151×1valid
25.0ms281×0valid
2.0ms28×0invalid
1.0ms4×1invalid
Compiler

Compiled 6 401 to 4 382 computations (31.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.0ms
ival-pow: 22.0ms (41.6% of total)
ival-e: 9.0ms (17% of total)
ival-mult: 8.0ms (15.1% of total)
adjust: 5.0ms (9.4% of total)
ival-log1p: 5.0ms (9.4% of total)
ival-sub: 3.0ms (5.7% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

start2.0ms (0%)

Memory
8.2MiB live, 8.1MiB allocated

Profiling

Loading profile data...