Herbie run

Date:Saturday, October 5th, 2024
Commit:3ce6ba2b on main
Hostname:nightly with Racket 8.10
Seed:2024279
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.2min)

end1.5min (16.7%)

Memory
-12.0MiB live, 52 708.7MiB allocated

sample1.4min (14.8%)

Memory
822.5MiB live, 113 845.2MiB allocated
Samples
55.8s262 358×0valid
2.3s7 879×1valid
1.9s11 069×0invalid
634.0ms2 211×2valid
255.0ms1 579×1exit
230.0ms664×1invalid
Precisions
Click to see histograms. Total time spent on operations: 48.9s
ival-mult: 9.7s (19.9% of total)
const: 6.8s (14% of total)
ival-<=: 6.2s (12.8% of total)
ival-div: 4.5s (9.2% of total)
ival-sub: 2.4s (4.9% of total)
ival-add: 2.3s (4.7% of total)
ival-fabs: 1.8s (3.6% of total)
ival-sqrt: 1.7s (3.4% of total)
ival-log: 1.3s (2.7% of total)
ival-and: 1.3s (2.6% of total)
ival-sin: 1.0s (2.1% of total)
ival-pow: 886.0ms (1.8% of total)
ival-exp: 837.0ms (1.7% of total)
ival-tan: 762.0ms (1.6% of total)
ival-floor: 725.0ms (1.5% of total)
ival-sinu: 654.0ms (1.3% of total)
ival-neg: 515.0ms (1.1% of total)
ival-cosu: 504.0ms (1% of total)
exact: 471.0ms (1% of total)
ival-cos: 448.0ms (0.9% of total)
ival-pow2: 426.0ms (0.9% of total)
ival-fmax: 420.0ms (0.9% of total)
adjust: 408.0ms (0.8% of total)
ival-<: 408.0ms (0.8% of total)
ival-pi: 345.0ms (0.7% of total)
ival-e: 336.0ms (0.7% of total)
ival-if: 273.0ms (0.6% of total)
ival-sinh: 259.0ms (0.5% of total)
ival-log2: 205.0ms (0.4% of total)
ival->: 161.0ms (0.3% of total)
ival-log1p: 145.0ms (0.3% of total)
ival-asin: 143.0ms (0.3% of total)
ival-assert: 121.0ms (0.2% of total)
ival-==: 117.0ms (0.2% of total)
ival-atan: 107.0ms (0.2% of total)
ival->=: 59.0ms (0.1% of total)
ival-true: 24.0ms (0% of total)
Bogosity

eval1.3min (14.6%)

Memory
783.8MiB live, 131 834.4MiB allocated
Compiler

Compiled 42 863 488 to 665 577 computations (98.4% saved)

simplify55.5s (10%)

Memory
847.6MiB live, 66 456.3MiB allocated
Algorithm
297×egg-herbie
Stop Event
400×iter limit
227×node limit
66×saturated
4×unsound
Counts
68 772 → 68 429

regimes49.8s (9%)

Memory
294.4MiB live, 74 910.7MiB allocated
Counts
22 368 → 427
Calls

160 calls:

3.0s
s
1.5s
u
1.3s
x
1.3s
r
884.0ms
(*.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))))
Compiler

Compiled 24 128 to 17 191 computations (28.8% saved)

soundness40.6s (7.3%)

Memory
228.7MiB live, 31 589.6MiB allocated
Stop Event
298×iter limit
197×node limit
33×fuel
1×unsound
Compiler

Compiled 48 392 to 16 317 computations (66.3% saved)

prune32.7s (5.9%)

Memory
-592.3MiB live, 60 275.3MiB allocated
Counts
275 399 → 7 691
Compiler

Compiled 795 341 to 303 862 computations (61.8% saved)

rewrite28.9s (5.2%)

Memory
423.2MiB live, 38 263.5MiB allocated
Stop Event
278×iter limit
126×node limit
6×unsound
Counts
2 505 → 93 929

localize26.7s (4.8%)

Memory
-640.3MiB live, 40 451.1MiB allocated
Samples
14.4s29 605×0valid
1.4s1 491×1valid
1.3s1 915×0invalid
232.0ms151×2exit
198.0ms197×2valid
104.0ms195×1exit
95.0ms37×5exit
59.0ms201×0exit
Compiler

Compiled 268 078 to 12 447 computations (95.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.4s
ival-mult: 4.1s (30.8% of total)
ival-div: 2.0s (15% of total)
ival-add: 1.2s (8.8% of total)
ival-sqrt: 872.0ms (6.5% of total)
ival-pow: 663.0ms (4.9% of total)
ival-sub: 593.0ms (4.4% of total)
ival-pow2: 506.0ms (3.8% of total)
ival-log: 318.0ms (2.4% of total)
ival-exp: 309.0ms (2.3% of total)
const: 287.0ms (2.1% of total)
ival-cos: 256.0ms (1.9% of total)
adjust: 238.0ms (1.8% of total)
ival-neg: 234.0ms (1.7% of total)
ival-if: 229.0ms (1.7% of total)
ival-sin: 188.0ms (1.4% of total)
ival-cosu: 130.0ms (1% of total)
ival-floor: 129.0ms (1% of total)
ival-sinu: 128.0ms (1% of total)
ival-fmax: 127.0ms (0.9% of total)
ival-log1p: 127.0ms (0.9% of total)
ival-log2: 108.0ms (0.8% of total)
ival-atan: 89.0ms (0.7% of total)
ival-fabs: 84.0ms (0.6% of total)
ival-pi: 69.0ms (0.5% of total)
ival-tan: 63.0ms (0.5% of total)
ival-e: 62.0ms (0.5% of total)
exact: 62.0ms (0.5% of total)
ival-true: 37.0ms (0.3% of total)
ival-<: 33.0ms (0.2% of total)
ival-asin: 26.0ms (0.2% of total)
ival-tanu: 23.0ms (0.2% of total)
ival-expm1: 21.0ms (0.2% of total)
ival-acos: 17.0ms (0.1% of total)
ival-assert: 16.0ms (0.1% of total)
ival->: 15.0ms (0.1% of total)
ival->=: 13.0ms (0.1% of total)
ival-sinh: 10.0ms (0.1% of total)
ival-cbrt: 8.0ms (0.1% of total)

analyze21.9s (4%)

Memory
-43.7MiB live, 31 323.3MiB 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)

series21.2s (3.8%)

Memory
706.3MiB live, 31 780.3MiB allocated
Counts
2 505 → 68 772
Calls

1359 calls:

TimeVariablePointExpression
193.0ms
v
@inf
((+ 1 (* v (log (+ u (* (- 1 u) (pow (pow (exp -2) (pow v -1/2)) (pow v -1/2))))))) (+ u (* (- 1 u) (pow (pow (exp -2) (pow v -1/2)) (pow v -1/2)))) (* v (log (+ u (* (- 1 u) (pow (pow (exp -2) (pow v -1/2)) (pow v -1/2)))))) (log (+ u (* (- 1 u) (pow (pow (exp -2) (pow v -1/2)) (pow v -1/2))))) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (+ (* (/ (* (- 1 u) (+ (* -4 (- 1 u)) 4)) v) 1/2) (+ (* (- 1 u) -2) 1)) (+ (* -4 (- 1 u)) 4) (+ (* (- 1 u) -2) 1) (* (- 1 u) (+ (* -4 (- 1 u)) 4)) (+ (* (pow (- 1 u) 2) 2) (* (- 1 u) -2)) (+ (* 2 (- 1 u)) (/ (+ (* (pow (- 1 u) 2) 2) (* (- 1 u) -2)) v)) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (/ (+ (* 2 (- 1 u)) (/ (+ (* (pow (- 1 u) 2) 2) (* (- 1 u) -2)) v)) (neg v)) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (log (+ u (* (- 1 u) (exp (/ -2 v))))) (+ u (* (- 1 u) (exp (/ -2 v)))) (pow (exp -2) (pow v -1/2)) (pow (pow (exp -2) (pow v -1/2)) (pow v -1/2)) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (log (+ u (* (- 1 u) (exp (/ -2 v))))) (pow (- 1 u) 2) (- (exp (/ -2 v)) 1))
173.0ms
v
@0
((pow (pow (exp -4) (/ 1 v)) 1/2) (+ 1 (* v (log (+ u (* (- 1 u) (pow (pow (exp -4) (/ 1 v)) 1/2)))))) (+ u (* (- 1 u) (pow (pow (exp -4) (/ 1 v)) 1/2))) (* v (log (+ u (* (- 1 u) (pow (pow (exp -4) (/ 1 v)) 1/2))))) (+ 1 (* v (log (+ u (* (- 1 u) (pow (pow (exp -2) (pow v -1/2)) (pow v -1/2))))))) (+ (* (pow (- 1 u) 2) 2) (* (- 1 u) -2)) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (/ (+ (* 2 (- 1 u)) (/ (+ (* (pow (- 1 u) 2) 2) (* (- 1 u) -2)) v)) (neg v)) (* (- 1 u) -2) (- (/ (/ -2 v) v) (/ 2 v)) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (- (/ (/ -2 v) v) (/ (- (/ (/ -2 v) v) (/ 2 v)) u)) (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (/ (- (pow (+ (* (* 1/2 (- 1 u)) (/ (+ (* -4 (- 1 u)) 4) v)) (* -2 (- 1 u))) 2) 1) (- (+ (* (* 1/2 (- 1 u)) (/ (+ (* -4 (- 1 u)) 4) v)) (* -2 (- 1 u))) 1)) (+ (* (* 1/2 (- 1 u)) (/ (+ (* -4 (- 1 u)) 4) v)) (* -2 (- 1 u))) (+ (* -4 (- 1 u)) 4) (* 1/2 (- 1 u)) (pow (exp -4) (/ 1 v)) (log (+ u (* (- 1 u) (exp (/ -2 v))))) (+ (* 2 (- 1 u)) (/ (+ (* (pow (- 1 u) 2) 2) (* (- 1 u) -2)) v)) (pow (- 1 u) 2) (log (+ u (* (- 1 u) (exp (/ -2 v))))) (- (- (/ (/ -2 v) v) (/ (- (/ (/ -2 v) v) (/ 2 v)) u)) (/ (/ (/ 2 u) u) v)) (* (- (- (/ (/ -2 v) v) (/ (- (/ (/ -2 v) v) (/ 2 v)) u)) (/ (/ (/ 2 u) u) v)) (* u u)) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))))
165.0ms
dX.u
@inf
((/ (* (neg dX.v) (floor h)) -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 dX.u) 2) (* (log (floor w)) 2))) (exp (+ (* (log dY.v) 2) (* (log (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)))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* dX.u (floor w)) 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 w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.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 w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* dY.u (floor w)) 2) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (+ (* (log dX.u) 2) (* (log (floor w)) 2)) (sqrt (fmax (+ (exp (+ (* (log dX.u) 2) (* (log (floor w)) 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))))) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (pow (* dY.v (floor h)) 2)) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (pow (* dY.v (floor h)) 2)))) (+ (* (log dY.v) 2) (* (log (floor h)) 2)) (+ (* (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)) (exp (+ (* (log dY.v) 2) (* (log (floor h)) 2)))))))
122.0ms
u1
@0
((/ (- (* u1 u1) 1) (- (neg u1) 1)) (- (* u1 u1) 1) (- (neg u1) 1) (* (sqrt (/ u1 (/ (- (* u1 u1) 1) (- (neg u1) 1)))) (sin (* 314159265359/50000000000 u2))) (* (sqrt (/ u1 (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (sqrt (/ u1 (- 1 u1))) (/ u1 (- 1 u1)) (- 1 u1) (* (sqrt (* (/ u1 (+ (* u1 u1) 1)) (- 1 u1))) (sin (* 314159265359/50000000000 u2))) (sqrt (* (/ u1 (+ (* u1 u1) 1)) (- 1 u1))) (* (/ u1 (+ (* u1 u1) 1)) (- 1 u1)) (/ u1 (+ (* u1 u1) 1)) (/ (- (* 0 (- 1 u1)) (* (- u1 1) (neg u1))) (* (- u1 1) (- 1 u1))) (* 0 (- 1 u1)) (- (* 0 (- 1 u1)) (* (- u1 1) (neg u1))) (* (- u1 1) (neg u1)) (* (/ (- u1 1) u1) (/ (- u1 1) u1)) (* (pow (* (/ (- u1 1) u1) (/ (- u1 1) u1)) -1/4) (sin (* 314159265359/50000000000 u2))) (pow (* (/ (- u1 1) u1) (/ (- u1 1) u1)) -1/4) (/ (- u1 1) u1) (* 314159265359/50000000000 u2) (/ u1 (/ (- (* u1 u1) 1) (- (neg u1) 1))) (sin (* 314159265359/50000000000 u2)) (* u2 314159265359/50000000000) (+ (* u1 u1) 1) (* (- u1 1) (- 1 u1)) (* (sqrt (/ (- (* 0 (- 1 u1)) (* (- u1 1) (neg u1))) (* (- u1 1) (- 1 u1)))) (sin (* 314159265359/50000000000 u2))) (sin (* 314159265359/50000000000 u2)))
114.0ms
dY.u
@inf
((exp (* (log (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* (floor h) dY.v) 2)))) 1/2)) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v)) (log2 (if (> (/ (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))) (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v))))) (floor maxAniso)) (/ (exp (* (log (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* (floor h) dY.v) 2)))) 1/2)) (floor maxAniso)) (/ (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v)))) (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))))))) (> (/ (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))) (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v))))) (floor maxAniso)) (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor w) 2) dY.u) dY.u) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u)) (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (+ (* (* (* (floor h) dX.v) dX.v) (floor h)) (pow (* (floor w) dX.u) 2)) (+ (* (pow (* (floor h) dY.v) 4) (/ 1 (neg (- (pow (* dY.u (floor w)) 2) (pow (* (floor h) dY.v) 2))))) (/ (pow (* dY.u (floor w)) 4) (- (pow (* dY.u (floor w)) 2) (pow (* (floor h) dY.v) 2)))) (log (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* (floor h) dY.v) 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)))) (/ (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))) (fabs (* (floor h) (- (* dY.v (* dX.u (floor w))) (* (* dY.u (floor w)) dX.v))))) (+ (* (neg dX.u) dY.v) (* dY.u dX.v)) (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (+ (* (* dY.v -1) dX.u) (* dX.v dY.u)))

preprocess11.0s (2%)

Memory
-20.1MiB live, 10 723.9MiB allocated
Algorithm
33×egg-herbie
Stop Event
66×iter limit
35×saturated
31×node limit
Compiler

Compiled 62 072 to 17 513 computations (71.8% saved)

explain10.2s (1.8%)

Memory
-196.7MiB live, 14 070.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity99477
-.f32#fcancellation42022
sqrt.f32#foflow-rescue3780
sqrt.f64#foflow-rescue3060
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2020
cos.f32#fsensitivity19212
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18418
-.f64#fcancellation1530
/.f32#fo/n1320
exp.f32#fsensitivity3519
/.f32#fu/n240
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-rescue150
↳(*.f32 sinTheta_O sinTheta_O)underflow282
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow15
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow141
↳(*.f32 eta eta)underflow15
/.f32#fo/o120
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u120
/.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
sqrt.f64#fuflow-rescue60
*.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-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
*.f64(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 (+.f64 (fabs.f64 p) (fabs.f64 r)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64)))))))n*o10
Confusion
Predicted +Predicted -
+219952
-4635734
Precision
0.8260706235912848
Recall
0.9768991559306974
Confusion?
Predicted +Predicted MaybePredicted -
+21992725
-4631095625
Precision?
0.7955682630450321
Recall?
0.9888938249666814
Freqs
test
numberfreq
05786
12257
2393
312
Total Confusion?
Predicted +Predicted MaybePredicted -
+2120
-424
Precision?
0.7931034482758621
Recall?
1.0
Samples
3.2s16 140×0valid
521.0ms612×1valid
68.0ms144×2valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 2.7s
ival-mult: 653.0ms (24% of total)
ival-sqrt: 424.0ms (15.6% of total)
ival-log: 343.0ms (12.6% of total)
ival-div: 266.0ms (9.8% of total)
ival-pow2: 146.0ms (5.4% of total)
ival-sub: 125.0ms (4.6% of total)
ival-add: 114.0ms (4.2% of total)
ival-exp: 72.0ms (2.6% of total)
ival->: 56.0ms (2.1% of total)
ival-pi: 45.0ms (1.7% of total)
ival-sin: 45.0ms (1.7% of total)
ival-floor: 41.0ms (1.5% of total)
ival-sinu: 36.0ms (1.3% of total)
ival-pow: 35.0ms (1.3% of total)
adjust: 29.0ms (1.1% of total)
ival-cos: 29.0ms (1.1% of total)
ival-neg: 29.0ms (1.1% of total)
ival-if: 25.0ms (0.9% of total)
ival-cosu: 23.0ms (0.8% of total)
ival-tan: 22.0ms (0.8% of total)
const: 22.0ms (0.8% of total)
ival-fmax: 19.0ms (0.7% of total)
ival-fabs: 18.0ms (0.7% of total)
ival-e: 17.0ms (0.6% of total)
ival-true: 16.0ms (0.6% of total)
exact: 16.0ms (0.6% of total)
ival-log2: 12.0ms (0.4% of total)
ival-log1p: 12.0ms (0.4% of total)
ival-atan: 9.0ms (0.3% of total)
ival-assert: 8.0ms (0.3% of total)
ival-sinh: 5.0ms (0.2% of total)
ival-asin: 4.0ms (0.1% of total)
ival->=: 3.0ms (0.1% of total)
ival-<: 1.0ms (0% of total)

bsearch599.0ms (0.1%)

Memory
-62.0MiB live, 913.8MiB allocated
Algorithm
61×left-value
56×binary-search
Stop Event
55×narrow-enough
1×predicate-same
Samples
172.0ms1 356×0valid
35.0ms73×1valid
16.0ms59×2valid
7.0ms76×0invalid
Compiler

Compiled 6 513 to 4 992 computations (23.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 171.0ms
ival-pow2: 31.0ms (18.1% of total)
ival-log1p: 22.0ms (12.9% of total)
ival-mult: 21.0ms (12.3% of total)
ival-add: 19.0ms (11.1% of total)
ival-sub: 18.0ms (10.5% of total)
ival-sqrt: 14.0ms (8.2% of total)
ival-pow: 12.0ms (7% of total)
ival-fabs: 10.0ms (5.8% of total)
ival-e: 9.0ms (5.3% of total)
ival-div: 7.0ms (4.1% of total)
adjust: 5.0ms (2.9% of total)
exact: 2.0ms (1.2% of total)
ival-assert: 1.0ms (0.6% of total)
ival-true: 1.0ms (0.6% of total)

start3.0ms (0%)

Memory
7.4MiB live, 7.3MiB allocated

Profiling

Loading profile data...