Herbie run

Date:Tuesday, July 16th, 2024
Commit:f3c41df3 on doc-pass
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: 46.1min)

simplify12.1min (26.1%)

Memory
-1 859.4MiB live, 816 463.3MiB allocated
Algorithm
2 187×egg-herbie
Rules
12 957 724×accelerator-lowering-fma.f32
12 957 724×accelerator-lowering-fma.f64
5 147 454×*-lowering-*.f32
5 147 454×*-lowering-*.f64
2 739 202×+-lowering-+.f32
Stop Event
1 900×iter limit
1 186×node limit
1 019×saturated
Counts
248 736 → 248 736

rewrite8.4min (18.3%)

Memory
-342.4MiB live, 663 365.1MiB allocated
Algorithm
959×batch-egg-rewrite
Rules
5 726 806×accelerator-lowering-fma.f32
5 726 806×accelerator-lowering-fma.f64
3 942 684×*-lowering-*.f32
3 942 684×*-lowering-*.f64
3 319 358×/-lowering-/.f32
Stop Event
1 005×iter limit
913×node limit
38×saturated
16×unsound
Counts
9 330 → 710 846

soundness5.8min (12.6%)

Memory
973.1MiB live, 192 031.9MiB allocated
Rules
9 111 552×accelerator-lowering-fma.f32
9 111 552×accelerator-lowering-fma.f64
4 689 652×*-lowering-*.f32
4 689 652×*-lowering-*.f64
2 735 956×/-lowering-/.f32
Stop Event
1 095×iter limit
1 053×node limit
159×fuel
110×done
17×saturated
5×unsound
Compiler

Compiled 161 390 to 80 628 computations (50% saved)

sample5.6min (12.1%)

Memory
1 047.0MiB live, 397 815.6MiB allocated
Samples
3.2min2 146 772×0valid
20.0s65 326×1valid
9.9s63 950×0invalid
2.1s8 181×2valid
1.5s1 252×5exit
379.0ms1 746×1invalid
174.0ms363×4exit
80.0ms111×4valid
72.0ms474×3valid
2.0ms16×1exit
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-mult: 47.4s (33.2% of total)
ival-sub: 20.0s (14% of total)
ival-add: 19.8s (13.8% of total)
ival-div: 17.6s (12.3% of total)
ival-log: 10.6s (7.4% of total)
const: 5.9s (4.1% of total)
ival-sqrt: 5.1s (3.6% of total)
ival-sin: 3.8s (2.7% of total)
ival-exp: 2.8s (2% of total)
ival-cos: 2.8s (1.9% of total)
adjust: 1.9s (1.4% of total)
ival-true: 1.6s (1.1% of total)
exact: 1.1s (0.7% of total)
ival-assert: 948.0ms (0.7% of total)
ival-fabs: 305.0ms (0.2% of total)
ival-tan: 301.0ms (0.2% of total)
ival-hypot: 267.0ms (0.2% of total)
ival-cosh: 199.0ms (0.1% of total)
ival-acos: 185.0ms (0.1% of total)
ival-sinh: 171.0ms (0.1% of total)
ival-tanh: 91.0ms (0.1% of total)
Bogosity

eval3.4min (7.5%)

Memory
6 374.9MiB live, 287 577.3MiB allocated
Compiler

Compiled 29 606 875 to 2 062 820 computations (93% saved)

prune3.3min (7.1%)

Memory
-4 605.9MiB live, 292 630.8MiB allocated
Counts
1 062 872 → 15 487
Compiler

Compiled 557 253 to 301 880 computations (45.8% saved)

regimes2.0min (4.4%)

Memory
-437.4MiB live, 156 598.3MiB allocated
Counts
51 158 → 5 298
Calls

511 calls:

15.1s
x
14.9s
y
12.1s
z
6.8s
t
5.7s
k
Compiler

Compiled 82 586 to 61 606 computations (25.4% saved)

preprocess1.5min (3.3%)

Memory
132.3MiB live, 101 717.7MiB 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 175 420 to 50 280 computations (71.3% saved)

localize1.5min (3.2%)

Memory
-926.0MiB live, 126 997.5MiB allocated
Samples
44.9s228 528×0valid
5.9s8 352×1valid
3.8s3 752×2valid
1.4s3 807×0invalid
201.0ms129×5exit
200.0ms255×3valid
151.0ms522×0exit
46.0ms108×2exit
37.0ms51×4valid
Compiler

Compiled 99 567 to 19 596 computations (80.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 36.5s
ival-mult: 11.9s (32.8% of total)
ival-div: 6.7s (18.4% of total)
ival-add: 6.1s (16.6% of total)
ival-sub: 2.9s (7.9% of total)
const: 2.5s (6.9% of total)
ival-log: 1.4s (3.9% of total)
adjust: 1.2s (3.3% of total)
ival-cos: 903.0ms (2.5% of total)
ival-sqrt: 645.0ms (1.8% of total)
ival-sin: 548.0ms (1.5% of total)
ival-pow: 277.0ms (0.8% of total)
exact: 244.0ms (0.7% of total)
ival-exp: 242.0ms (0.7% of total)
ival-true: 212.0ms (0.6% of total)
ival-neg: 137.0ms (0.4% of total)
ival-log1p: 136.0ms (0.4% of total)
ival-assert: 104.0ms (0.3% of total)
ival-pow2: 54.0ms (0.1% of total)
ival-tan: 53.0ms (0.1% of total)
ival-acos: 49.0ms (0.1% of total)
ival-fabs: 45.0ms (0.1% of total)
ival-expm1: 25.0ms (0.1% of total)
ival-cosh: 18.0ms (0% of total)
ival-hypot: 16.0ms (0% of total)
ival-tanh: 11.0ms (0% of total)
ival-sinh: 11.0ms (0% of total)
ival-asin: 9.0ms (0% of total)
ival-pi: 3.0ms (0% of total)
ival-copysign: 2.0ms (0% of total)

bsearch56.6s (2%)

Memory
-319.5MiB live, 65 482.4MiB allocated
Algorithm
1 632×binary-search
1 399×left-value
Stop Event
1 615×narrow-enough
17×predicate-same
Samples
39.2s202 123×0valid
1.5s4 425×1valid
371.0ms5 533×0invalid
203.0ms170×2valid
26.0ms98×1invalid
0.0ms2×3valid
Compiler

Compiled 418 043 to 307 639 computations (26.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.3s
ival-mult: 9.3s (43.5% of total)
ival-sub: 3.5s (16.5% of total)
ival-add: 2.5s (11.5% of total)
ival-div: 1.6s (7.7% of total)
ival-log: 1.2s (5.7% of total)
const: 1.1s (5.2% of total)
ival-sin: 605.0ms (2.8% of total)
ival-cos: 530.0ms (2.5% of total)
ival-sqrt: 267.0ms (1.3% of total)
ival-exp: 183.0ms (0.9% of total)
ival-true: 175.0ms (0.8% of total)
adjust: 125.0ms (0.6% of total)
exact: 99.0ms (0.5% of total)
ival-assert: 86.0ms (0.4% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-tanh: 7.0ms (0% of total)

explain41.7s (1.5%)

Memory
-720.5MiB live, 60 456.1MiB 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
13.1s130 604×0valid
1.8s5 606×1valid
864.0ms1 418×2valid
19.0ms82×3valid
9.0ms12×4valid
4.0ms6×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 8.9s
ival-mult: 2.4s (27.3% of total)
ival-sub: 1.8s (20.4% of total)
ival-div: 1.3s (14.2% of total)
ival-log: 985.0ms (11.1% of total)
ival-add: 929.0ms (10.5% of total)
const: 282.0ms (3.2% of total)
ival-cos: 245.0ms (2.8% of total)
ival-sqrt: 180.0ms (2% of total)
ival-sin: 180.0ms (2% of total)
adjust: 148.0ms (1.7% of total)
ival-true: 117.0ms (1.3% of total)
ival-exp: 92.0ms (1% of total)
exact: 68.0ms (0.8% of total)
ival-assert: 59.0ms (0.7% of total)
ival-cosh: 48.0ms (0.5% of total)
ival-fabs: 12.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-tan: 10.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

series32.4s (1.2%)

Memory
827.0MiB live, 43 316.2MiB allocated
Counts
9 330 → 248 736
Calls

45483 calls:

TimeVariablePointExpression
357.0ms
x
@-inf
(/ (* (- (* (* (PI) (* (PI) (PI))) 1/8) (pow (asin (/ (* x (* 3 (sqrt t))) (* z (* 54 y)))) 3)) 1/3) (+ (* (asin (/ (* x (* 3 (sqrt t))) (* z (* 54 y)))) (+ (* (PI) 1/2) (asin (/ (* x (* 3 (sqrt t))) (* z (* 54 y)))))) (* (* (PI) (PI)) 1/4)))
340.0ms
y
@inf
(* x (+ (* z y) 0))
328.0ms
z
@inf
(- (* (+ (* z (log (- 1 y))) (* x (log y))) (* (- (* x (log y)) (* z (log (- 1 y)))) (/ 1 (- (* x (log y)) (* z (log (- 1 y))))))) t)
284.0ms
t
@0
(/ (- z t) (/ (- a t) y))
268.0ms
x
@inf
(* z (- (/ (* x (cos y)) z) (/ (+ 1/2 (* -1/2 (cos (* y -2)))) (sin y))))

analyze17.5s (0.6%)

Memory
2.3MiB live, 24 507.4MiB 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.8MiB live, 4.5MiB allocated

Profiling

Loading profile data...