Herbie run

Date:Tuesday, July 16th, 2024
Commit:a85c6450 on fix-terminal-costs
Hostname:nightly with Racket 8.11.1
Seed:2024198
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.9min)

simplify10.1min (24.2%)

Memory
-1 523.3MiB live, 695 486.9MiB allocated
Algorithm
2 125×egg-herbie
Rules
12 455 276×accelerator-lowering-fma.f32
12 455 276×accelerator-lowering-fma.f64
5 055 992×*-lowering-*.f32
5 055 992×*-lowering-*.f64
2 707 314×+-lowering-+.f32
Stop Event
1 840×iter limit
1 160×node limit
981×saturated
Counts
243 612 → 243 612

rewrite7.6min (18.2%)

Memory
234.4MiB live, 531 876.7MiB allocated
Algorithm
928×batch-egg-rewrite
Rules
5 408 438×accelerator-lowering-fma.f32
5 408 438×accelerator-lowering-fma.f64
3 918 888×*-lowering-*.f32
3 918 888×*-lowering-*.f64
3 141 070×/-lowering-/.f32
Stop Event
979×iter limit
890×node limit
31×saturated
14×unsound
Counts
9 118 → 564 885

sample5.7min (13.5%)

Memory
1 511.6MiB live, 383 073.9MiB allocated
Samples
3.4min2 146 772×0valid
24.7s63 950×0invalid
19.1s65 326×1valid
2.2s8 181×2valid
2.2s1 252×5exit
1.7s1 746×1invalid
256.0ms363×4exit
107.0ms111×4valid
97.0ms474×3valid
2.0ms16×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.7min
ival-mult: 1.1min (41.9% of total)
ival-sub: 20.2s (12.3% of total)
ival-add: 19.3s (11.8% of total)
ival-div: 18.0s (11% of total)
ival-log: 9.5s (5.8% of total)
const: 6.1s (3.7% of total)
ival-sqrt: 5.1s (3.1% of total)
ival-sin: 3.8s (2.3% of total)
ival-cos: 2.9s (1.8% of total)
adjust: 2.8s (1.7% of total)
ival-exp: 2.1s (1.3% of total)
ival-true: 1.6s (1% of total)
exact: 1.0s (0.6% of total)
ival-assert: 873.0ms (0.5% of total)
ival-fabs: 493.0ms (0.3% of total)
ival-tanh: 303.0ms (0.2% of total)
ival-cosh: 241.0ms (0.1% of total)
ival-tan: 226.0ms (0.1% of total)
ival-acos: 195.0ms (0.1% of total)
ival-hypot: 187.0ms (0.1% of total)
ival-sinh: 178.0ms (0.1% of total)
Bogosity

soundness5.5min (13.2%)

Memory
-214.9MiB live, 180 227.9MiB allocated
Rules
8 426 968×accelerator-lowering-fma.f32
8 426 968×accelerator-lowering-fma.f64
4 373 366×*-lowering-*.f32
4 373 366×*-lowering-*.f64
2 382 486×/-lowering-/.f32
Stop Event
1 015×iter limit
972×node limit
153×fuel
116×done
16×saturated
5×unsound
Compiler

Compiled 155 982 to 76 744 computations (50.8% saved)

eval2.9min (6.9%)

Memory
4 272.8MiB live, 237 331.2MiB allocated
Compiler

Compiled 23 544 287 to 1 791 267 computations (92.4% saved)

prune2.7min (6.6%)

Memory
-4 154.0MiB live, 242 725.3MiB allocated
Counts
901 004 → 15 620
Compiler

Compiled 545 111 to 298 313 computations (45.3% saved)

regimes1.9min (4.5%)

Memory
181.1MiB live, 147 720.8MiB allocated
Counts
49 407 → 5 540
Calls

511 calls:

15.2s
x
14.0s
y
11.0s
z
6.6s
t
4.2s
a
Compiler

Compiled 84 138 to 62 832 computations (25.3% saved)

localize1.5min (3.5%)

Memory
142.5MiB live, 119 848.0MiB allocated
Samples
44.7s221 348×0valid
5.5s7 587×1valid
3.9s3 704×2valid
1.1s3 859×0invalid
550.0ms369×5exit
196.0ms256×3valid
177.0ms78×4valid
81.0ms259×0exit
58.0ms108×2exit
Compiler

Compiled 95 501 to 18 822 computations (80.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.6s
ival-mult: 12.5s (35.3% of total)
ival-div: 6.1s (17.3% of total)
ival-add: 5.1s (14.3% of total)
ival-sub: 2.4s (6.7% of total)
const: 2.4s (6.7% of total)
adjust: 1.3s (3.6% of total)
ival-log: 1.2s (3.4% of total)
ival-cos: 1.1s (3% of total)
ival-neg: 769.0ms (2.2% of total)
ival-sqrt: 762.0ms (2.1% of total)
ival-sin: 528.0ms (1.5% of total)
ival-exp: 309.0ms (0.9% of total)
ival-pow: 244.0ms (0.7% of total)
exact: 199.0ms (0.6% of total)
ival-true: 189.0ms (0.5% of total)
ival-assert: 98.0ms (0.3% of total)
ival-pow2: 95.0ms (0.3% of total)
ival-log1p: 67.0ms (0.2% of total)
ival-tan: 53.0ms (0.1% of total)
ival-fabs: 40.0ms (0.1% of total)
ival-expm1: 28.0ms (0.1% of total)
ival-cosh: 16.0ms (0% of total)
ival-acos: 16.0ms (0% of total)
ival-hypot: 16.0ms (0% of total)
ival-sinh: 12.0ms (0% of total)
ival-asin: 10.0ms (0% of total)
ival-tanh: 9.0ms (0% of total)
ival-pi: 3.0ms (0% of total)
ival-copysign: 2.0ms (0% of total)

preprocess1.5min (3.5%)

Memory
156.8MiB live, 96 947.6MiB 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 177 478 to 51 596 computations (70.9% saved)

bsearch54.2s (2.2%)

Memory
-196.5MiB live, 66 230.2MiB allocated
Algorithm
1 765×binary-search
1 435×left-value
Stop Event
1 743×narrow-enough
22×predicate-same
Samples
33.9s217 619×0valid
1.4s5 512×1valid
377.0ms5 833×0invalid
75.0ms178×2valid
22.0ms83×1invalid
1.0ms3×3valid
Compiler

Compiled 446 341 to 326 066 computations (26.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 25.6s
ival-mult: 12.2s (47.8% of total)
ival-sub: 4.4s (17.2% of total)
ival-add: 2.7s (10.5% of total)
ival-div: 1.7s (6.6% of total)
ival-log: 1.1s (4.2% of total)
const: 1.1s (4.1% of total)
ival-sin: 810.0ms (3.2% of total)
ival-cos: 482.0ms (1.9% of total)
ival-sqrt: 417.0ms (1.6% of total)
ival-exp: 253.0ms (1% of total)
ival-true: 163.0ms (0.6% of total)
adjust: 111.0ms (0.4% of total)
exact: 100.0ms (0.4% of total)
ival-assert: 89.0ms (0.3% of total)
ival-cosh: 17.0ms (0.1% of total)
ival-tanh: 6.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)

explain44.0s (1.8%)

Memory
-700.9MiB live, 60 509.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15772
/.f64#fo/n11420
sqrt.f64#foflow-rescue8030
-.f64#fcancellation59911
/.f64#fo/o5900
+.f64#fnan-rescue4990
-.f64#fnan-rescue4990
*.f64#fn*o4790
cos.f64#fsensitivity3380
+.f64#fcancellation3041
/.f64#fn/o2890
/.f64#fu/n2760
sin.f64#fsensitivity2050
*.f64#fn*u1910
/.f64#fn/u1600
cos.f64#foflow-rescue1400
log.f64#foflow-rescue970
/.f64#fu/u810
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity760
log.f64#fuflow-rescue690
sqrt.f64#fuflow-rescue520
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue350
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow35
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue350
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow35
exp.f64#fsensitivity293
*.f64#fo*u290
*.f64(*.f64 (-.f64 (*.f64 k y2) (*.f64 j y3)) (-.f64 (*.f64 y4 y1) (*.f64 y5 y0)))u*o20
↳(*.f64 j y3)underflow30
↳(-.f64 (*.f64 k y2) (*.f64 j y3))underflow3
↳(*.f64 k y2)underflow30
↳(*.f64 y4 y1)overflow27
↳(-.f64 (*.f64 y4 y1) (*.f64 y5 y0))overflow60
↳(*.f64 y5 y0)overflow36
Confusion
Predicted +Predicted -
+6027203
-169560939
Precision
0.7804972804972805
Recall
0.9674157303370786
Confusion?
Predicted +Predicted MaybePredicted -
+60273200
-16951760922
Precision?
0.7788685094290881
Recall?
0.9678972712680578
Freqs
test
numberfreq
061142
16944
2702
362
410
53
71
Total Confusion?
Predicted +Predicted MaybePredicted -
+13800
-12128
Precision?
0.9787234042553191
Recall?
1.0
Samples
11.7s130 604×0valid
2.4s5 606×1valid
820.0ms1 418×2valid
39.0ms12×4valid
17.0ms82×3valid
5.0ms6×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 8.7s
ival-mult: 2.7s (31.2% of total)
ival-add: 1.3s (14.5% of total)
ival-sub: 1.1s (13% of total)
ival-log: 936.0ms (10.8% of total)
ival-div: 883.0ms (10.2% of total)
const: 400.0ms (4.6% of total)
ival-sin: 253.0ms (2.9% of total)
adjust: 240.0ms (2.8% of total)
ival-sqrt: 174.0ms (2% of total)
ival-cos: 174.0ms (2% of total)
ival-exp: 132.0ms (1.5% of total)
ival-true: 117.0ms (1.3% of total)
ival-tan: 101.0ms (1.2% of total)
exact: 65.0ms (0.7% of total)
ival-assert: 57.0ms (0.7% of total)
ival-fabs: 15.0ms (0.2% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-sinh: 9.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

series33.1s (1.3%)

Memory
487.6MiB live, 42 496.2MiB allocated
Counts
9 118 → 243 612
Calls

44466 calls:

TimeVariablePointExpression
303.0ms
t
@0
(/ (log (+ (* z (+ (* y (* z 1/2)) y)) 1)) t)
246.0ms
y
@inf
(/ 1 (sinh y))
240.0ms
t
@0
(/ (* 60 y) t)
239.0ms
z
@inf
(/ (+ 1 y) (* z (- 1 (* y y))))
217.0ms
y
@0
(/ (+ (+ (* (+ (* (* y y) (+ (* y (+ y a)) b)) i) (neg (/ (+ (* y (+ (* y (+ (* y (+ (* y x) z)) 54929528941/2000000)) 28832688827/125000)) t) (* (* y y) c)))) (+ (* y (+ (* y (+ (* y x) z)) 54929528941/2000000)) 28832688827/125000)) (/ t y)) c)

analyze17.7s (0.7%)

Memory
-316.6MiB live, 23 953.9MiB 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.5MiB live, 4.2MiB allocated

Profiling

Loading profile data...