Herbie run

Date:Friday, June 28th, 2024
Commit:698d17c4 on main
Hostname:nightly with Racket 8.11.1
Seed:2024180
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.6hr)

sample20.6min (21.9%)

Memory
5 897.1MiB live, 1 372 421.5MiB allocated
Samples
7.7min3 886 428×0valid
3.1min53 030×5exit
2.9min454 332×1valid
1.0min116 796×2valid
54.2s307 492×0invalid
25.5s15 250×3valid
10.6s60 070×0exit
6.6s22 864×1invalid
6.3s1 939×4valid
667.0ms1 815×2invalid
159.0ms7×5valid
27.0ms52×1exit
12.0ms1×3exit
7.0ms16×3invalid
Precisions
Click to see histograms. Total time spent on operations: 12.8min
ival-mult: 2.3min (17.6% of total)
ival-pow: 2.1min (16.3% of total)
ival-sin: 1.3min (9.8% of total)
ival-div: 1.1min (8.4% of total)
ival-add: 51.4s (6.7% of total)
ival-sub: 47.3s (6.1% of total)
...in/eval/compile.rkt:105:19: 37.8s (4.9% of total)
ival-cos: 36.6s (4.8% of total)
ival-tan: 25.4s (3.3% of total)
adjust: 24.6s (3.2% of total)
ival-log: 24.0s (3.1% of total)
ival-exp: 22.6s (2.9% of total)
ival-sqrt: 18.6s (2.4% of total)
ival-<=: 13.4s (1.7% of total)
ival-pow2: 13.2s (1.7% of total)
ival-neg: 7.1s (0.9% of total)
ival-fabs: 4.7s (0.6% of total)
ival-hypot: 4.5s (0.6% of total)
ival-<: 4.0s (0.5% of total)
ival-pi: 3.3s (0.4% of total)
ival-true: 2.9s (0.4% of total)
ival-and: 2.7s (0.3% of total)
...in/eval/compile.rkt:104:19: 2.7s (0.3% of total)
ival-log1p: 2.5s (0.3% of total)
ival-atan2: 2.2s (0.3% of total)
ival-assert: 1.9s (0.3% of total)
ival-expm1: 1.8s (0.2% of total)
ival->: 1.5s (0.2% of total)
ival-asin: 1.5s (0.2% of total)
ival-acos: 1.4s (0.2% of total)
ival-sinh: 1.3s (0.2% of total)
ival-atan: 1.3s (0.2% of total)
ival-fmod: 1.2s (0.2% of total)
ival-floor: 942.0ms (0.1% of total)
ival-cbrt: 706.0ms (0.1% of total)
ival-==: 663.0ms (0.1% of total)
ival-if: 580.0ms (0.1% of total)
ival-fmin: 438.0ms (0.1% of total)
ival-fmax: 347.0ms (0% of total)
ival-acosh: 295.0ms (0% of total)
ival->=: 257.0ms (0% of total)
ival-asinh: 247.0ms (0% of total)
ival-log2: 238.0ms (0% of total)
ival-cosh: 235.0ms (0% of total)
ival-atanh: 133.0ms (0% of total)
ival-tanh: 81.0ms (0% of total)
ival-or: 36.0ms (0% of total)
Bogosity

simplify19.1min (20.3%)

Memory
1 748.0MiB live, 1 184 523.3MiB allocated
Algorithm
4 327×egg-herbie
Rules
1 594 778×fma-define
1 223 672×fmm-def
852 442×distribute-lft-in
820 722×times-frac
801 437×associate-*r*
Stop Event
2 812×node limit
1 489×saturated
26×unsound
Counts
1 124 729 → 972 845

soundness12.8min (13.6%)

Memory
-2 452.6MiB live, 660 745.8MiB allocated
Rules
660 182×fma-define
500 433×log1p-expm1-u
481 472×fmm-def
404 491×associate-*r*
398 001×times-frac
Stop Event
1 989×node limit
356×fuel
186×done
155×saturated
23×unsound
Compiler

Compiled 458 268 to 132 664 computations (71.1% saved)

rewrite8.6min (9.1%)

Memory
843.5MiB live, 442 470.9MiB allocated
Algorithm
1 867×batch-egg-rewrite
Rules
1 161 818×log1p-expm1-u
887 244×expm1-log1p-u
423 540×pow1
405 023×add-exp-log
386 910×add-log-exp
Stop Event
1 851×node limit
15×unsound
1×saturated
Counts
21 504 → 643 628

prune6.4min (6.8%)

Memory
-7 463.9MiB live, 560 452.2MiB allocated
Counts
1 418 319 → 39 006
Compiler

Compiled 1 920 044 to 962 370 computations (49.9% saved)

localize6.1min (6.5%)

Memory
3 800.4MiB live, 444 743.7MiB allocated
Samples
1.8min391 560×0valid
47.8s46 202×1valid
39.4s8 244×5exit
22.2s13 107×2valid
12.5s27 319×0invalid
7.5s1 960×3valid
2.8s368×4valid
1.2s563×1invalid
804.0ms1 600×0exit
72.0ms64×2invalid
23.0ms18×1exit
2.0ms3×2exit
Compiler

Compiled 460 740 to 51 179 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0min
ival-mult: 42.6s (23.8% of total)
ival-div: 20.6s (11.5% of total)
ival-pow: 15.6s (8.7% of total)
ival-add: 13.6s (7.6% of total)
ival-sin: 10.5s (5.9% of total)
ival-tan: 9.1s (5.1% of total)
ival-log: 8.0s (4.5% of total)
ival-sub: 7.8s (4.4% of total)
ival-cos: 7.5s (4.2% of total)
...in/eval/compile.rkt:105:19: 6.7s (3.7% of total)
adjust: 6.3s (3.5% of total)
ival-pow2: 5.0s (2.8% of total)
ival-exp: 4.6s (2.6% of total)
ival-sqrt: 4.3s (2.4% of total)
ival-log1p: 2.7s (1.5% of total)
ival-hypot: 2.3s (1.3% of total)
ival-cbrt: 1.9s (1.1% of total)
ival-expm1: 1.8s (1% of total)
ival-neg: 1.6s (0.9% of total)
ival-asin: 1.3s (0.7% of total)
ival-fmod: 754.0ms (0.4% of total)
ival-acos: 595.0ms (0.3% of total)
ival-atan2: 533.0ms (0.3% of total)
...in/eval/compile.rkt:104:19: 513.0ms (0.3% of total)
ival-pi: 477.0ms (0.3% of total)
ival-atan: 422.0ms (0.2% of total)
ival-true: 421.0ms (0.2% of total)
ival-assert: 211.0ms (0.1% of total)
ival-fabs: 197.0ms (0.1% of total)
ival-if: 187.0ms (0.1% of total)
ival-fmax: 172.0ms (0.1% of total)
ival-e: 146.0ms (0.1% of total)
ival-sinh: 110.0ms (0.1% of total)
ival-log2: 94.0ms (0.1% of total)
ival-floor: 86.0ms (0% of total)
ival-copysign: 74.0ms (0% of total)
ival-cosh: 33.0ms (0% of total)
ival->=: 32.0ms (0% of total)
ival-tanh: 17.0ms (0% of total)
ival->: 16.0ms (0% of total)
ival-<: 6.0ms (0% of total)

eval5.3min (5.6%)

Memory
4 900.0MiB live, 413 165.0MiB allocated
Compiler

Compiled 47 921 980 to 5 443 407 computations (88.6% saved)

regimes3.8min (4%)

Memory
-299.5MiB live, 301 525.5MiB allocated
Counts
106 121 → 9 111
Calls

1 224 calls:

18.2s
x
12.3s
y
11.7s
z
7.7s
t
7.7s
a
Compiler

Compiled 99 839 to 72 757 computations (27.1% saved)

series3.0min (3.2%)

Memory
1 291.6MiB live, 240 920.3MiB allocated
Counts
21 504 → 481 101
Calls

117033 calls:

TimeVariablePointExpression
478.0ms
a
@-inf
(* x (/ (* (pow z y) (/ (pow a t) a)) y))
465.0ms
N
@inf
(log (+ 1 (exp (neg (log N)))))
448.0ms
re
@0
(* 1/2 (pow (exp 1/2) (log (/ (pow im 2) (neg re)))))
407.0ms
dY.u
@0
(if (>= (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (floor h) (* dX.v dX.v)))) (+ (* (floor h) (* dY.v (* (floor h) dY.v))) (* dY.u (* dY.u (* (floor w) (floor w)))))) (/ (* (floor w) dX.u) (sqrt (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (floor h) (* dX.v dX.v)))) (+ (* (floor h) (* dY.v (* (floor h) dY.v))) (* dY.u (* dY.u (* (floor w) (floor w)))))))) (/ (* (floor w) dY.u) (sqrt (fmax (+ (* (floor w) (* (* dX.u dX.u) (floor w))) (* (floor h) (* (floor h) (* dX.v dX.v)))) (+ (* (floor h) (* dY.v (* (floor h) dY.v))) (* dY.u (* dY.u (* (floor w) (floor w)))))))))
395.0ms
B
@-inf
(sqrt (+ (pow (- A C) 2) (pow B 2)))

bsearch2.4min (2.6%)

Memory
488.5MiB live, 168 067.6MiB allocated
Algorithm
4 101×binary-search
621×left-value
Stop Event
3 969×narrow-enough
132×predicate-same
Samples
1.2min460 355×0valid
14.5s35 116×1valid
3.3s942×5exit
3.1s4 604×2valid
2.9s1 458×3valid
2.7s17 852×0invalid
469.0ms99×4valid
80.0ms767×0exit
32.0ms174×1invalid
25.0ms90×2invalid
Compiler

Compiled 995 325 to 713 484 computations (28.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 21.8s (31.1% of total)
ival-sub: 8.3s (11.8% of total)
ival-add: 7.0s (10% of total)
ival-div: 6.3s (9.1% of total)
ival-sin: 5.0s (7.1% of total)
ival-pow: 4.3s (6.1% of total)
ival-cos: 3.8s (5.4% of total)
...in/eval/compile.rkt:105:19: 2.1s (3% of total)
ival-log: 1.8s (2.5% of total)
ival-sqrt: 1.7s (2.5% of total)
adjust: 1.6s (2.3% of total)
ival-pow2: 1.5s (2.2% of total)
ival-exp: 1.2s (1.8% of total)
ival-tan: 859.0ms (1.2% of total)
ival-hypot: 655.0ms (0.9% of total)
ival-neg: 469.0ms (0.7% of total)
ival-true: 390.0ms (0.6% of total)
ival-atan2: 266.0ms (0.4% of total)
ival-assert: 210.0ms (0.3% of total)
ival-acos: 200.0ms (0.3% of total)
...in/eval/compile.rkt:104:19: 195.0ms (0.3% of total)
ival-atan: 154.0ms (0.2% of total)
ival-fabs: 108.0ms (0.2% of total)
ival-pi: 63.0ms (0.1% of total)
ival->=: 34.0ms (0% of total)
ival-copysign: 20.0ms (0% of total)
ival-cbrt: 12.0ms (0% of total)
ival-tanh: 9.0ms (0% of total)
ival-log1p: 8.0ms (0% of total)
ival-if: 8.0ms (0% of total)
ival-cosh: 6.0ms (0% of total)
ival-asin: 5.0ms (0% of total)
ival-expm1: 3.0ms (0% of total)
ival-sinh: 1.0ms (0% of total)

preprocess2.3min (2.5%)

Memory
-2 070.4MiB live, 136 920.9MiB allocated
Algorithm
542×egg-herbie
Rules
252 186×fma-define
252 101×fmm-def
106 305×unsub-neg
100 734×sub-neg
94 641×distribute-lft-in
Stop Event
294×saturated
248×node limit
Compiler

Compiled 387 454 to 143 440 computations (63% saved)

explain2.3min (2.5%)

Memory
943.2MiB live, 165 241.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation898668
sqrt.f64#foflow-rescue51120
log.f64#fsensitivity34802
cos.f64#fsensitivity33484
+.f64#fcancellation3109122
/.f64#fo/n20560
sin.f64#fsensitivity20541
/.f64#fo/o19410
-.f64#fnan-rescue13870
log.f32#fsensitivity1123107
*.f64#fn*o10740
/.f64#fn/o9960
/.f64#fu/u9610
sqrt.f64#fuflow-rescue9470
+.f64#fnan-rescue7530
/.f64#fu/n6730
sqrt.f32#foflow-rescue5790
acos.f64#fsensitivity5284
*.f64#fn*u4790
tan.f64#fsensitivity4121
pow.f64#fsensitivity39329
-.f32#fcancellation38939
/.f64#fn/u3030
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2220
exp.f64#fsensitivity20530
cos.f64#foflow-rescue1950
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation19413
cos.f32#fsensitivity18811
*.f64#fu*o1690
pow.f64#foflow-rescue1620
/.f32#fo/n1400
asin.f64#fsensitivity1392
*.f64#fo*u1380
cbrt.f64#foflow-rescue1010
log.f64#foflow-rescue880
log.f64#fuflow-rescue710
pow.f64#fuflow-rescue610
cbrt.f64#fuflow-rescue370
exp.f32#fsensitivity3118
/.f32#fu/n300
tan.f64#foflow-rescue210
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue200
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow20
↳(*.f64 y #s(literal 2 binary64))overflow1
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-rescue160
↳(*.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)))))underflow16
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow142
↳(*.f32 eta eta)underflow16
/.f32#fo/o140
/.f32#fn/o70
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u30
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue20
↳(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow2
↳(*.f32 x x)overflow133
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow133
sin.f32(sin.f32 (*.f32 (*.f32 x (PI.f32)) tau))cancellation10
Confusion
Predicted +Predicted -
+304271177
-5980101168
Precision
0.8357458730463921
Recall
0.9627578787495253
Confusion?
Predicted +Predicted MaybePredicted -
+30427251926
-5980431100737
Precision?
0.8271455148426757
Recall?
0.9706999114036198
Freqs
test
numberfreq
0102345
130554
24707
3588
4313
5144
666
726
86
92
101
Total Confusion?
Predicted +Predicted MaybePredicted -
+34131
-103184
Precision?
0.9635854341736695
Recall?
0.9971014492753624
Samples
28.1s233 058×0valid
11.7s33 298×1valid
6.9s9 634×2valid
1.9s1 186×3valid
688.0ms120×4valid
263.0ms130×5exit
25.0ms44×2invalid
11.0ms34×1invalid
Compiler

Compiled 106 238 to 25 502 computations (76% saved)

Precisions
Click to see histograms. Total time spent on operations: 33.1s
ival-mult: 8.1s (24.4% of total)
ival-sin: 3.5s (10.4% of total)
ival-div: 3.4s (10.2% of total)
ival-sub: 2.8s (8.6% of total)
ival-add: 2.7s (8% of total)
ival-cos: 2.6s (7.9% of total)
ival-log: 1.7s (5.2% of total)
ival-exp: 1.4s (4.1% of total)
ival-tan: 1.2s (3.5% of total)
adjust: 1.1s (3.3% of total)
ival-sqrt: 742.0ms (2.2% of total)
ival-pow2: 714.0ms (2.2% of total)
...in/eval/compile.rkt:105:19: 677.0ms (2% of total)
ival-pow: 429.0ms (1.3% of total)
ival-neg: 404.0ms (1.2% of total)
ival-true: 246.0ms (0.7% of total)
ival-hypot: 222.0ms (0.7% of total)
ival-sinh: 180.0ms (0.5% of total)
...in/eval/compile.rkt:104:19: 125.0ms (0.4% of total)
ival-assert: 120.0ms (0.4% of total)
ival-asin: 99.0ms (0.3% of total)
ival-pi: 96.0ms (0.3% of total)
ival-atan2: 87.0ms (0.3% of total)
ival-atan: 82.0ms (0.2% of total)
ival-fabs: 82.0ms (0.2% of total)
ival-log1p: 67.0ms (0.2% of total)
ival-acos: 60.0ms (0.2% of total)
ival-floor: 49.0ms (0.1% of total)
ival->=: 38.0ms (0.1% of total)
ival-cbrt: 38.0ms (0.1% of total)
ival-fmod: 35.0ms (0.1% of total)
ival-expm1: 31.0ms (0.1% of total)
ival-if: 26.0ms (0.1% of total)
ival-fmax: 16.0ms (0% of total)
ival-log2: 15.0ms (0% of total)
ival-copysign: 12.0ms (0% of total)
ival-cosh: 10.0ms (0% of total)
ival-tanh: 8.0ms (0% of total)
ival->: 3.0ms (0% of total)
ival-<: 1.0ms (0% of total)

analyze1.4min (1.5%)

Memory
-88.4MiB live, 105 432.9MiB 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.1%15.6%0%2.8%0%3
61.4%49.5%31.1%15.6%0%3.9%0%4
67.7%54.3%25.8%15.6%0%4.3%0%5
71.6%57.1%22.6%15.6%0%4.7%0%6
75.6%59.8%19.3%15.6%0%5.3%0%7
77.6%61.1%17.7%15.6%0%5.7%0%8
80.2%62.9%15.5%15.6%0%6%0%9
81.7%63.9%14.3%15.6%0%6.3%0%10
84%65.5%12.5%15.6%0%6.4%0%11
85.1%66.2%11.6%15.6%0%6.7%0%12
Compiler

Compiled 12 512 to 7 841 computations (37.3% saved)

end3.0ms (0%)

Memory
9.0MiB live, 8.2MiB allocated

Profiling

Loading profile data...