Herbie run

Date:Thursday, August 22nd, 2024
Commit:efa1c98c on faster-localize
Hostname:nightly with Racket 8.11.1
Seed:2024235
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: 1.7hr)

sample19.7min (19.2%)

Memory
6 316.0MiB live, 1 218 826.7MiB allocated
Samples
8.6min3 904 458×0valid
2.5min428 215×1valid
1.3min30 860×5exit
1.1min127 870×2valid
1.0min319 217×0invalid
13.1s14 173×3valid
8.1s49 562×0exit
6.9s25 304×1invalid
6.3s25 384×1exit
900.0ms519×4exit
463.0ms1 311×2invalid
312.0ms36×4valid
240.0ms119×3exit
40.0ms18×2exit
Precisions
Click to see histograms. Total time spent on operations: 10.9min
ival-mult: 2.7min (24.7% of total)
ival-div: 56.3s (8.6% of total)
ival-sin: 51.3s (7.8% of total)
ival-add: 48.3s (7.4% of total)
ival-pow: 45.6s (7% of total)
ival-sub: 44.3s (6.8% of total)
ival-cos: 32.2s (4.9% of total)
const: 31.1s (4.7% of total)
adjust: 30.4s (4.6% of total)
ival-log: 23.4s (3.6% of total)
ival-exp: 20.8s (3.2% of total)
ival-tan: 20.4s (3.1% of total)
ival-sqrt: 17.3s (2.6% of total)
ival-<=: 12.8s (2% of total)
ival-pow2: 12.1s (1.8% of total)
ival-neg: 5.2s (0.8% of total)
ival-fabs: 4.7s (0.7% of total)
ival-hypot: 4.0s (0.6% of total)
exact: 3.4s (0.5% of total)
ival-true: 2.9s (0.4% of total)
ival-<: 2.7s (0.4% of total)
ival-and: 2.6s (0.4% of total)
ival-pi: 2.3s (0.4% of total)
ival-expm1: 2.0s (0.3% of total)
ival-assert: 1.9s (0.3% of total)
ival-acos: 1.8s (0.3% of total)
ival-asin: 1.6s (0.2% of total)
ival-atan2: 1.6s (0.2% of total)
ival-atan: 1.4s (0.2% of total)
ival-log1p: 1.3s (0.2% of total)
ival-sinh: 952.0ms (0.1% of total)
ival->: 881.0ms (0.1% of total)
ival-fmod: 752.0ms (0.1% of total)
ival-floor: 682.0ms (0.1% of total)
ival-cbrt: 575.0ms (0.1% of total)
ival-==: 439.0ms (0.1% of total)
ival->=: 438.0ms (0.1% of total)
ival-if: 428.0ms (0.1% of total)
ival-fmin: 418.0ms (0.1% of total)
ival-fmax: 354.0ms (0.1% of total)
ival-cosh: 315.0ms (0% of total)
ival-acosh: 305.0ms (0% of total)
ival-asinh: 198.0ms (0% of total)
ival-log2: 188.0ms (0% of total)
ival-atanh: 171.0ms (0% of total)
ival-tanh: 83.0ms (0% of total)
ival-or: 37.0ms (0% of total)
Bogosity

prune18.8min (18.3%)

Memory
-12 360.7MiB live, 1 687 823.2MiB allocated
Counts
2 212 338 → 40 464
Compiler

Compiled 2 283 470 to 1 018 932 computations (55.4% saved)

soundness13.7min (13.4%)

Memory
1 459.9MiB live, 374 309.1MiB allocated
Rules
19 225 858×lower-fma.f32
19 222 862×lower-fma.f64
10 630 914×lower-*.f32
10 621 694×lower-*.f64
5 512 452×lower-+.f32
Stop Event
3 330×iter limit
2 219×node limit
354×fuel
185×done
40×saturated
11×unsound
Compiler

Compiled 394 885 to 169 508 computations (57.1% saved)

simplify13.2min (12.9%)

Memory
6 377.8MiB live, 684 691.1MiB allocated
Algorithm
4 397×egg-herbie
Rules
32 258 642×lower-fma.f32
32 251 784×lower-fma.f64
12 962 816×lower-*.f32
12 945 588×lower-*.f64
7 517 120×lower-+.f32
Stop Event
5 753×iter limit
2 766×node limit
1 665×saturated
3×unsound
Counts
746 508 → 734 225

rewrite8.2min (8%)

Memory
674.3MiB live, 536 018.7MiB allocated
Rules
9 924 116×lower-fma.f32
9 917 298×lower-fma.f64
8 193 364×lower-*.f32
8 176 484×lower-*.f64
6 756 888×lower-/.f32
Stop Event
3 944×iter limit
1 873×node limit
42×saturated
34×unsound
Counts
27 990 → 1 116 013

eval7.8min (7.6%)

Memory
7 880.9MiB live, 622 445.8MiB allocated
Compiler

Compiled 108 089 157 to 4 614 177 computations (95.7% saved)

localize7.1min (7%)

Memory
-626.4MiB live, 418 245.2MiB allocated
Samples
2.2min392 112×0valid
1.5min59 462×1valid
38.4s977×5exit
37.8s23 553×2valid
5.5s11 207×0invalid
4.3s2 205×3valid
4.1s379×3exit
1.2s2 191×0exit
1.1s90×4exit
625.0ms918×1exit
515.0ms432×1invalid
176.0ms103×2invalid
104.0ms164×2exit
81.0ms29×4valid
6.0ms2×3invalid
Compiler

Compiled 608 808 to 61 251 computations (89.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.2min
ival-mult: 1.0min (24.4% of total)
ival-sin: 33.2s (13.3% of total)
adjust: 27.6s (11.1% of total)
ival-div: 23.4s (9.4% of total)
ival-add: 18.8s (7.5% of total)
ival-pi: 16.1s (6.5% of total)
ival-cos: 15.0s (6% of total)
ival-sub: 9.0s (3.6% of total)
const: 7.7s (3.1% of total)
ival-tan: 6.7s (2.7% of total)
ival-pow: 5.9s (2.4% of total)
ival-sqrt: 4.9s (2% of total)
ival-log: 4.7s (1.9% of total)
ival-exp: 3.3s (1.3% of total)
ival-pow2: 3.0s (1.2% of total)
ival-neg: 2.4s (1% of total)
ival-hypot: 1.0s (0.4% of total)
ival-acos: 977.0ms (0.4% of total)
exact: 684.0ms (0.3% of total)
ival-log1p: 610.0ms (0.2% of total)
ival-atan2: 483.0ms (0.2% of total)
ival-true: 431.0ms (0.2% of total)
ival-asin: 415.0ms (0.2% of total)
ival-atan: 302.0ms (0.1% of total)
ival-fabs: 273.0ms (0.1% of total)
ival-expm1: 272.0ms (0.1% of total)
ival-cbrt: 259.0ms (0.1% of total)
ival-assert: 205.0ms (0.1% of total)
ival-cosh: 193.0ms (0.1% of total)
ival-sinh: 187.0ms (0.1% of total)
ival-if: 141.0ms (0.1% of total)
ival-fmax: 75.0ms (0% of total)
ival-floor: 71.0ms (0% of total)
ival-copysign: 68.0ms (0% of total)
ival-log2: 67.0ms (0% of total)
ival-fmod: 57.0ms (0% of total)
ival-tanh: 37.0ms (0% of total)
ival->=: 16.0ms (0% of total)
ival->: 13.0ms (0% of total)
ival-e: 8.0ms (0% of total)
ival-<: 4.0ms (0% of total)

regimes4.3min (4.2%)

Memory
-912.2MiB live, 327 489.9MiB allocated
Counts
120 622 → 9 523
Calls

1 219 calls:

20.9s
x
14.0s
y
10.3s
z
7.5s
a
7.5s
t
Compiler

Compiled 194 687 to 128 339 computations (34.1% saved)

series3.0min (3%)

Memory
-1 182.6MiB live, 223 060.5MiB allocated
Counts
27 997 → 746 580
Calls

15966 calls:

TimeVariablePointExpression
577.0ms
x
@0
((/ x (/ x (log (/ y x)))) (* (neg x) (/ x (/ x (log (/ y x))))) (neg x) (/ x (log (/ y x))) (* (/ (log (/ x y)) x) (* x x)) (/ (log (/ x y)) x) (log (/ x y)) (/ x y) (* (/ 1 x) (* (log (/ y x)) x)) (* (neg x) (* (/ 1 x) (* (log (/ y x)) x))) (/ 1 x) (* x (- (log (neg x)) (log (neg y)))) (- (log (neg x)) (log (neg y))) (log (neg x)) (/ (- (log (- (* 0 (neg y)) (* (neg y) x))) (log (* (neg y) (neg y)))) (/ 1 x)) (* 0 (neg y)) (- (* 0 (neg y)) (* (neg y) x)) (* (neg y) (neg y)) (log (/ y x)) (* x x) (* (log (/ y x)) x) (log (neg y)) (log (* (neg y) (neg y))) (log (- (* 0 (neg y)) (* (neg y) x))) (- (log (- (* 0 (neg y)) (* (neg y) x))) (log (* (neg y) (neg y)))))
398.0ms
dX.u
@inf
((/ 1 (/ (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)))) (* dY.v (floor h)))) (* (* (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 (* dY.v (floor h))) 2)) (exp (* (log (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2)))) 1/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 (* (floor w) dX.u) 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)))) (pow (* dX.v (floor h)) 2) (+ (* (* (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)))) (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 (* dY.v (floor h))) 2))))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (log (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 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))))))
384.0ms
y
@0
((+ x (* y (log y))) (exp (- (+ x (* y (log y))) z)) (- (+ x (* y (log y))) z) (* y (log y)))
332.0ms
s
@-inf
((neg (- (log (+ 1 (neg (* (* 16 u) u)))) (log (+ 1 (* 4 u))))) (neg (* (* 16 u) u)) (* (neg (- (log (+ 1 (neg (* (* 16 u) u)))) (log (+ 1 (* 4 u))))) s) (- (log (+ 1 (neg (* (* 16 u) u)))) (log (+ 1 (* 4 u)))) (* s (log (/ 1 (- 1 (* 4 u))))) (* (* (+ (* 8 u) 4) s) u) (* (+ (* 8 u) 4) s) (+ (* 8 u) 4) (+ (* (+ (* 64/3 u) 8) u) 4) (* s (log (/ 1 (- 1 (* 4 u))))) (log (/ 1 (- 1 (* 4 u)))) (* (+ (* (+ (* 64/3 u) 8) u) 4) u) (+ (* (+ (* (+ (* 64 (* u s)) (* 64/3 s)) u) (* 8 s)) u) (* 4 s)) (+ (* (+ (* 64 (* u s)) (* 64/3 s)) u) (* 8 s)) (+ (* 64 (* u s)) (* 64/3 s)) (* (neg (log (+ 1 (* -4 u)))) s) (log (/ 1 (+ (* u -4) 1))) (* s (log (/ 1 (+ (* u -4) 1)))) (/ 1 (+ (* u -4) 1)) (+ (* u -4) 1) (log (+ 1 (neg (* (* 16 u) u)))) (log (+ 1 (* 4 u))) (* (+ (* 64/3 u) 8) u) (* 64/3 s) (* (+ (* (+ (* (+ (* 64 (* u s)) (* 64/3 s)) u) (* 8 s)) u) (* 4 s)) u))
327.0ms
d
@inf
((exp (+ (* (log (floor d)) 2) (* (log dX.w) 2))) (exp (* (log (* dY.v (floor h))) 2)) (* (* (floor d) dY.w) (* (floor d) dY.w)) (+ (* (log (floor d)) 2) (* (log dX.w) 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))) (+ (+ (* (* (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))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (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)))) (+ (+ (* (* (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 h) 2) dX.v) dX.v) (* (* (pow (floor h) 2) dY.v) dY.v) (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))) (+ (+ (* (* (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))) (+ (+ (* (* (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 d) 2) (* dX.w dX.w)) (pow (* (floor h) dX.v) 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))) (+ (+ (* (* (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))) (+ (+ (* (* (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 (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))))) 1/2)) (log2 (exp (* (log (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))))) 1/2))) (* (log (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))))) 1/2) (log (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))))) (+ (+ (* (* (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)) (exp (* (log (* dY.v (floor h))) 2))) (* (* (floor d) dY.w) (* (floor d) dY.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))) (pow (* dY.w (floor d)) 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))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))) (+ (+ (* (* (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 h) dX.v) 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))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))))

preprocess2.5min (2.4%)

Memory
1 289.8MiB live, 145 157.3MiB allocated
Algorithm
542×egg-herbie
Rules
2 120 258×lower-fma.f32
2 120 256×lower-fma.f64
556 378×lower-*.f32
554 402×lower-*.f64
388 482×unsub-neg
Stop Event
1 080×iter limit
743×saturated
345×node limit
Compiler

Compiled 467 829 to 135 998 computations (70.9% saved)

explain2.0min (1.9%)

Memory
-2 007.6MiB live, 152 551.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation899251
sqrt.f64#foflow-rescue53170
log.f64#fsensitivity349611
cos.f64#fsensitivity32998
+.f64#fcancellation3053113
/.f64#fo/n19820
sin.f64#fsensitivity19772
/.f64#fo/o17650
-.f64#fnan-rescue13810
log.f32#fsensitivity114786
*.f64#fn*o11070
/.f64#fn/o10140
/.f64#fu/u10050
sqrt.f64#fuflow-rescue9670
+.f64#fnan-rescue8540
/.f64#fu/n7100
sqrt.f32#foflow-rescue5330
acos.f64#fsensitivity5275
*.f64#fn*u4430
pow.f64#fsensitivity42243
-.f32#fcancellation41134
tan.f64#fsensitivity4032
/.f64#fn/u3240
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2180
exp.f64#fsensitivity18930
cos.f64#foflow-rescue1870
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation17619
cos.f32#fsensitivity17317
*.f64#fu*o1710
pow.f64#foflow-rescue1550
/.f32#fo/n1360
*.f64#fo*u1360
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)))))))sensitivity1082
log.f64#foflow-rescue1000
log.f64#fuflow-rescue850
cbrt.f64#foflow-rescue810
pow.f64#fuflow-rescue650
cbrt.f64#fuflow-rescue500
sin.f64#foflow-rescue430
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue420
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow42
exp.f32#fsensitivity3525
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)underflow294
↳(-.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))))underflow147
↳(*.f32 eta eta)underflow15
/.f32#fu/n140
/.f32#fo/o100
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o50
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow12
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow12
*.f32#fn*o30
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u20
log.f32#foflow-rescue20
Confusion
Predicted +Predicted -
+30954910
-5891100997
Precision
0.8401139910435609
Recall
0.9714411247803163
Confusion?
Predicted +Predicted MaybePredicted -
+30954249661
-5891426100571
Precision?
0.831636460554371
Recall?
0.9792555862415265
Freqs
test
numberfreq
0101907
130961
24762
3652
4308
597
629
724
84
97
101
Total Confusion?
Predicted +Predicted MaybePredicted -
+33930
-123185
Precision?
0.957983193277311
Recall?
1.0
Samples
29.3s234 256×0valid
11.4s31 544×1valid
6.6s10 542×2valid
1.1s1 050×3valid
64.0ms12×5exit
14.0ms96×1exit
7.0ms4×4valid
Compiler

Compiled 95 375 to 19 668 computations (79.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 31.4s
ival-mult: 7.3s (23.2% of total)
ival-add: 3.2s (10.3% of total)
ival-div: 3.0s (9.5% of total)
ival-sub: 2.9s (9.1% of total)
ival-sin: 2.5s (8% of total)
ival-cos: 2.0s (6.5% of total)
adjust: 1.9s (6% of total)
ival-log: 1.6s (5.1% of total)
ival-tan: 1.3s (4.2% of total)
ival-exp: 1.1s (3.5% of total)
ival-sqrt: 813.0ms (2.6% of total)
ival-pow2: 746.0ms (2.4% of total)
const: 598.0ms (1.9% of total)
ival-pow: 440.0ms (1.4% of total)
ival-true: 243.0ms (0.8% of total)
ival-hypot: 227.0ms (0.7% of total)
ival-neg: 191.0ms (0.6% of total)
ival-pi: 176.0ms (0.6% of total)
exact: 162.0ms (0.5% of total)
ival-fabs: 145.0ms (0.5% of total)
ival-assert: 114.0ms (0.4% of total)
ival-log1p: 107.0ms (0.3% of total)
ival-asin: 95.0ms (0.3% of total)
ival-atan2: 88.0ms (0.3% of total)
ival-atan: 71.0ms (0.2% of total)
ival-acos: 71.0ms (0.2% of total)
ival-sinh: 48.0ms (0.2% of total)
ival-copysign: 45.0ms (0.1% of total)
ival-floor: 44.0ms (0.1% of total)
ival-cbrt: 38.0ms (0.1% of total)
ival-expm1: 29.0ms (0.1% of total)
ival-fmod: 28.0ms (0.1% of total)
ival-if: 26.0ms (0.1% of total)
ival-fmax: 15.0ms (0% of total)
ival-log2: 13.0ms (0% of total)
ival-cosh: 11.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival-tanh: 6.0ms (0% of total)
ival->: 2.0ms (0% of total)
ival-<: 1.0ms (0% of total)

analyze1.3min (1.2%)

Memory
396.9MiB live, 105 967.2MiB allocated
Algorithm
545×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.8%33.6%50.8%15.6%0%0%0%1
45.9%38.4%45.3%15.6%0%0.8%0%2
54.5%44.5%37.2%15.6%0%2.8%0%3
61.4%49.5%31.1%15.6%0%3.8%0%4
67.7%54.3%25.9%15.6%0%4.3%0%5
71.6%57.1%22.7%15.6%0%4.7%0%6
75.5%59.8%19.4%15.6%0%5.2%0%7
77.5%61.1%17.7%15.6%0%5.6%0%8
80.1%62.9%15.6%15.6%0%5.9%0%9
81.7%63.9%14.3%15.6%0%6.2%0%10
83.9%65.5%12.6%15.6%0%6.4%0%11
85%66.2%11.6%15.6%0%6.6%0%12
Compiler

Compiled 12 518 to 7 841 computations (37.4% saved)

bsearch53.5s (0.9%)

Memory
353.0MiB live, 65 700.4MiB allocated
Algorithm
2 580×binary-search
2 260×left-value
Stop Event
2 489×narrow-enough
90×predicate-same
1×predicate-failed
Samples
26.5s184 563×0valid
7.0s13 881×1valid
892.0ms9 256×0invalid
769.0ms1 749×2valid
149.0ms191×3valid
86.0ms161×1invalid
12.0ms1×3exit
7.0ms22×1exit
4.0ms68×0exit
2.0ms6×2invalid
Compiler

Compiled 723 467 to 472 358 computations (34.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 26.6s
ival-mult: 10.4s (39.1% of total)
ival-sub: 2.9s (10.8% of total)
ival-sin: 2.3s (8.5% of total)
ival-cos: 2.1s (7.8% of total)
ival-add: 2.1s (7.8% of total)
ival-div: 1.9s (7.1% of total)
adjust: 755.0ms (2.8% of total)
ival-sqrt: 697.0ms (2.6% of total)
ival-log: 651.0ms (2.4% of total)
ival-pow: 471.0ms (1.8% of total)
const: 466.0ms (1.8% of total)
ival-exp: 353.0ms (1.3% of total)
ival-pow2: 310.0ms (1.2% of total)
ival-atan2: 207.0ms (0.8% of total)
ival-tan: 202.0ms (0.8% of total)
ival-hypot: 184.0ms (0.7% of total)
ival-neg: 181.0ms (0.7% of total)
ival-true: 159.0ms (0.6% of total)
exact: 91.0ms (0.3% of total)
ival-assert: 82.0ms (0.3% of total)
ival-acos: 62.0ms (0.2% of total)
ival-atan: 33.0ms (0.1% of total)
ival-fabs: 25.0ms (0.1% of total)
ival-asin: 18.0ms (0.1% of total)
ival-pi: 15.0ms (0.1% of total)
ival-tanh: 13.0ms (0% of total)
ival-cosh: 12.0ms (0% of total)
ival-fmod: 12.0ms (0% of total)
ival-if: 8.0ms (0% of total)
ival-sinh: 6.0ms (0% of total)
ival-expm1: 6.0ms (0% of total)
ival->=: 5.0ms (0% of total)
ival-cbrt: 3.0ms (0% of total)
ival-log1p: 1.0ms (0% of total)
ival-copysign: 1.0ms (0% of total)

end11.1s (0.2%)

Memory
105.0MiB live, 22 504.6MiB allocated

start11.0ms (0%)

Memory
23.5MiB live, 22.8MiB allocated

Profiling

Loading profile data...