Herbie run

Date:Wednesday, July 17th, 2024
Commit:c34c16ee on main
Hostname:nightly with Racket 8.11.1
Seed:2024199
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: 41.6min)

simplify10.2min (24.4%)

Memory
-1 016.7MiB live, 725 091.0MiB allocated
Algorithm
2 149×egg-herbie
Rules
13 385 552×accelerator-lowering-fma.f32
13 385 552×accelerator-lowering-fma.f64
5 249 792×*-lowering-*.f32
5 249 792×*-lowering-*.f64
2 816 564×+-lowering-+.f32
Stop Event
1 862×iter limit
1 198×node limit
969×saturated
Counts
248 268 → 248 268

rewrite7.2min (17.3%)

Memory
949.0MiB live, 536 646.8MiB allocated
Algorithm
940×batch-egg-rewrite
Rules
5 421 376×accelerator-lowering-fma.f32
5 421 376×accelerator-lowering-fma.f64
3 934 022×*-lowering-*.f32
3 934 022×*-lowering-*.f64
3 210 886×/-lowering-/.f32
Stop Event
996×iter limit
900×node limit
33×saturated
15×unsound
Counts
9 431 → 568 938

soundness5.6min (13.4%)

Memory
-141.8MiB live, 177 136.3MiB allocated
Rules
8 464 728×accelerator-lowering-fma.f32
8 464 728×accelerator-lowering-fma.f64
4 358 848×*-lowering-*.f32
4 358 848×*-lowering-*.f64
2 400 486×/-lowering-/.f32
Stop Event
1 015×iter limit
972×node limit
157×fuel
112×done
16×saturated
5×unsound
Compiler

Compiled 158 465 to 79 831 computations (49.6% saved)

sample5.4min (13%)

Memory
527.9MiB live, 390 167.9MiB allocated
Samples
3.3min2 146 455×0valid
21.8s65 497×1valid
9.1s64 430×0invalid
2.6s8 316×2valid
899.0ms1 264×5exit
638.0ms1 734×1invalid
225.0ms381×4exit
122.0ms495×3valid
81.0ms101×4valid
2.0ms18×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-mult: 44.6s (31.2% of total)
ival-sub: 21.5s (15% of total)
ival-div: 18.6s (13% of total)
ival-add: 18.4s (12.8% of total)
ival-log: 8.8s (6.1% of total)
const: 6.7s (4.7% of total)
ival-sqrt: 6.0s (4.2% of total)
ival-sin: 4.1s (2.9% of total)
adjust: 3.2s (2.3% of total)
ival-cos: 3.0s (2.1% of total)
ival-exp: 2.1s (1.5% of total)
ival-true: 1.5s (1.1% of total)
ival-fabs: 1.3s (0.9% of total)
exact: 1.0s (0.7% of total)
ival-assert: 818.0ms (0.6% of total)
ival-hypot: 368.0ms (0.3% of total)
ival-tan: 268.0ms (0.2% of total)
ival-cosh: 250.0ms (0.2% of total)
ival-acos: 215.0ms (0.2% of total)
ival-tanh: 135.0ms (0.1% of total)
ival-sinh: 134.0ms (0.1% of total)
Bogosity

eval3.2min (7.6%)

Memory
5 067.6MiB live, 238 233.2MiB allocated
Compiler

Compiled 23 153 564 to 1 823 817 computations (92.1% saved)

prune2.9min (6.9%)

Memory
-4 880.8MiB live, 239 673.8MiB allocated
Counts
905 849 → 15 784
Compiler

Compiled 543 340 to 295 860 computations (45.5% saved)

regimes1.7min (4.2%)

Memory
-540.3MiB live, 139 375.4MiB allocated
Counts
50 112 → 5 522
Calls

513 calls:

14.0s
x
13.7s
y
11.6s
z
6.7s
t
3.7s
a
Compiler

Compiled 82 905 to 61 708 computations (25.6% saved)

preprocess1.6min (3.8%)

Memory
715.4MiB live, 95 702.3MiB allocated
Algorithm
538×egg-herbie
Rules
854 502×accelerator-lowering-fma.f32
854 502×accelerator-lowering-fma.f64
196 052×unsub-neg
193 236×*-lowering-*.f32
193 236×*-lowering-*.f64
Stop Event
392×saturated
269×iter limit
146×node limit
Compiler

Compiled 170 460 to 49 878 computations (70.7% saved)

localize1.5min (3.7%)

Memory
-527.6MiB live, 122 882.1MiB allocated
Samples
42.8s224 741×0valid
6.1s7 526×1valid
4.3s3 710×2valid
1.0s3 160×0invalid
782.0ms341×5exit
398.0ms319×3valid
272.0ms503×0exit
125.0ms87×4valid
124.0ms253×2exit
Compiler

Compiled 96 055 to 19 091 computations (80.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 34.8s
ival-mult: 12.1s (34.7% of total)
ival-div: 6.1s (17.4% of total)
ival-add: 4.9s (14.1% of total)
ival-sub: 2.8s (8% of total)
const: 2.4s (6.8% of total)
adjust: 1.2s (3.4% of total)
ival-log: 1.0s (2.9% of total)
ival-cos: 971.0ms (2.8% of total)
ival-neg: 712.0ms (2% of total)
ival-sin: 655.0ms (1.9% of total)
ival-sqrt: 644.0ms (1.8% of total)
ival-exp: 311.0ms (0.9% of total)
ival-pow: 232.0ms (0.7% of total)
exact: 189.0ms (0.5% of total)
ival-true: 184.0ms (0.5% of total)
ival-assert: 92.0ms (0.3% of total)
ival-acos: 83.0ms (0.2% of total)
ival-pow2: 56.0ms (0.2% of total)
ival-fabs: 48.0ms (0.1% of total)
ival-tan: 44.0ms (0.1% of total)
ival-expm1: 43.0ms (0.1% of total)
ival-log1p: 40.0ms (0.1% of total)
ival-cosh: 20.0ms (0.1% of total)
ival-hypot: 15.0ms (0% of total)
ival-tanh: 12.0ms (0% of total)
ival-sinh: 11.0ms (0% of total)
ival-pi: 9.0ms (0% of total)
ival-asin: 6.0ms (0% of total)

bsearch52.0s (2.1%)

Memory
354.5MiB live, 65 063.1MiB allocated
Algorithm
1 798×binary-search
1 378×left-value
Stop Event
1 773×narrow-enough
25×predicate-same
Samples
30.8s217 179×0valid
2.5s6 781×1valid
590.0ms5 676×0invalid
44.0ms219×2valid
12.0ms45×1invalid
4.0ms22×3valid
1.0ms7×4valid
1.0ms1×5exit
1.0ms6×1exit
Compiler

Compiled 421 539 to 312 389 computations (25.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.9s
ival-mult: 8.8s (40.3% of total)
ival-sub: 3.8s (17.4% of total)
ival-add: 2.7s (12.2% of total)
ival-div: 2.0s (9% of total)
ival-log: 1.6s (7.5% of total)
const: 1.2s (5.6% of total)
ival-sin: 384.0ms (1.8% of total)
ival-cos: 333.0ms (1.5% of total)
ival-exp: 290.0ms (1.3% of total)
adjust: 270.0ms (1.2% of total)
ival-true: 155.0ms (0.7% of total)
ival-sqrt: 110.0ms (0.5% of total)
exact: 83.0ms (0.4% of total)
ival-assert: 82.0ms (0.4% of total)
ival-cosh: 18.0ms (0.1% of total)
ival-tanh: 7.0ms (0% of total)
ival-fabs: 2.0ms (0% of total)

explain43.5s (1.7%)

Memory
-465.5MiB live, 59 895.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15571
/.f64#fo/n11750
sqrt.f64#foflow-rescue7940
-.f64#fcancellation5988
/.f64#fo/o5730
*.f64#fn*o5010
+.f64#fnan-rescue4980
-.f64#fnan-rescue4740
cos.f64#fsensitivity3560
/.f64#fn/o3180
+.f64#fcancellation2821
sin.f64#fsensitivity2310
/.f64#fu/n2130
*.f64#fn*u1660
cos.f64#foflow-rescue1300
/.f64#fn/u1170
log.f64#foflow-rescue960
/.f64#fu/u940
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity840
log.f64#fuflow-rescue710
sqrt.f64#fuflow-rescue650
*.f64#fo*u380
exp.f64#fsensitivity352
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
*.f64(*.f64 (-.f64 (*.f64 t y2) (*.f64 y y3)) (-.f64 (*.f64 y4 c) (*.f64 y5 a)))u*o10
↳(*.f64 t y2)underflow38
↳(*.f64 y y3)underflow29
↳(-.f64 (*.f64 t y2) (*.f64 y y3))underflow3
↳(*.f64 y4 c)overflow35
↳(-.f64 (*.f64 y4 c) (*.f64 y5 a))overflow69
↳(*.f64 y5 a)overflow40
Confusion
Predicted +Predicted -
+5951197
-171461002
Precision
0.7763861709067188
Recall
0.967957059206246
Confusion?
Predicted +Predicted MaybePredicted -
+59514193
-17141260990
Precision?
0.7752896758234605
Recall?
0.9686076772934288
Freqs
test
numberfreq
061199
16896
2700
347
415
56
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+13511
-21129
Precision?
0.9784172661870504
Recall?
0.9927007299270073
Samples
13.7s130 724×0valid
2.0s5 398×1valid
838.0ms1 508×2valid
30.0ms78×3valid
9.0ms12×5exit
5.0ms8×4valid
Compiler

Compiled 29 004 to 10 844 computations (62.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0s
ival-mult: 2.6s (28.6% of total)
ival-sub: 1.6s (17.8% of total)
ival-div: 1.1s (12.7% of total)
ival-add: 1.1s (12.2% of total)
ival-log: 821.0ms (9.1% of total)
const: 432.0ms (4.8% of total)
ival-cos: 328.0ms (3.6% of total)
ival-sin: 211.0ms (2.3% of total)
adjust: 208.0ms (2.3% of total)
ival-sqrt: 179.0ms (2% of total)
ival-true: 111.0ms (1.2% of total)
ival-exp: 102.0ms (1.1% of total)
exact: 64.0ms (0.7% of total)
ival-assert: 59.0ms (0.7% of total)
ival-tan: 16.0ms (0.2% of total)
ival-cosh: 15.0ms (0.2% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-hypot: 10.0ms (0.1% of total)
ival-sinh: 9.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

series33.6s (1.3%)

Memory
785.1MiB live, 43 625.0MiB allocated
Counts
9 431 → 248 268
Calls

45186 calls:

TimeVariablePointExpression
979.0ms
y
@0
(* (/ y (sqrt t)) 18)
438.0ms
b
@-inf
(* (log (/ 16 (* b (+ (* t (* a 2)) t)))) -1)
253.0ms
a
@inf
(* i a)
224.0ms
b
@0
(* b (* i (neg c)))
197.0ms
c
@0
(* c b)

analyze18.7s (0.7%)

Memory
-152.4MiB live, 24 038.0MiB allocated
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.8%46.8%53.1%0.1%0%0%0%1
50.5%50.1%49.2%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 3 462 to 2 977 computations (14% saved)

end2.0ms (0%)

Memory
4.7MiB live, 4.4MiB allocated

Profiling

Loading profile data...