Herbie run

Date:Saturday, May 11th, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024132
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.2min)

simplify16.8s (23.4%)

Algorithm
68×egg-herbie
Rules
22137×fma-neg
19559×fma-define
12852×times-frac
11422×distribute-lft-in
10180×distribute-rgt-in
Stop Event
30×saturated
38×node limit
Counts
14644 → 13465

sample13.8s (19.2%)

Results
8.1s70109×0valid
2.2s4183×2valid
358.0ms1881×0invalid
1.0ms12×1valid
Precisions
Click to see histograms. Total time spent on operations: 7.2s
ival-mult: 2.4s (32.8% of total)
ival-div: 1.8s (24.2% of total)
ival-sub: 862.0ms (11.9% of total)
ival-sqrt: 733.0ms (10.1% of total)
backward-pass: 266.0ms (3.7% of total)
ival-neg: 249.0ms (3.4% of total)
ival-add: 229.0ms (3.2% of total)
ival-if: 185.0ms (2.6% of total)
ival->=: 158.0ms (2.2% of total)
const: 116.0ms (1.6% of total)
ival-exp: 108.0ms (1.5% of total)
ival-fabs: 108.0ms (1.5% of total)
ival-log: 101.0ms (1.4% of total)
Bogosity

soundness9.4s (13.2%)

Rules
10783×fma-define
10709×fma-neg
9042×times-frac
6091×*-commutative
5775×distribute-lft-in
Stop Event
3×saturated
32×node limit
4×fuel
5×done
Compiler

Compiled 6613 to 1936 computations (70.7% saved)

rewrite6.9s (9.6%)

Algorithm
29×batch-egg-rewrite
Rules
17457×log1p-expm1-u
14002×expm1-log1p-u
7911×pow1
7367×add-exp-log
7027×unpow-prod-down
Stop Event
29×node limit
Counts
264 → 8175

localize6.4s (8.9%)

Results
1.5s6173×0valid
1.3s489×2valid
661.0ms258×1valid
614.0ms604×0invalid
455.0ms103×5exit
199.0ms53×3valid
Compiler

Compiled 5871 to 657 computations (88.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0s
ival-mult: 784.0ms (26.6% of total)
ival-div: 536.0ms (18.2% of total)
ival-pow: 409.0ms (13.9% of total)
ival-sub: 320.0ms (10.8% of total)
backward-pass: 249.0ms (8.4% of total)
ival-hypot: 122.0ms (4.1% of total)
ival-add: 113.0ms (3.8% of total)
ival-if: 93.0ms (3.2% of total)
ival-fma: 85.0ms (2.9% of total)
ival-sqrt: 81.0ms (2.7% of total)
ival-log: 33.0ms (1.1% of total)
ival-neg: 30.0ms (1% of total)
const: 24.0ms (0.8% of total)
ival-expm1: 20.0ms (0.7% of total)
ival->=: 17.0ms (0.6% of total)
ival-cbrt: 11.0ms (0.4% of total)
ival-fabs: 11.0ms (0.4% of total)
ival-exp: 9.0ms (0.3% of total)
ival-e: 4.0ms (0.1% of total)

prune5.8s (8.1%)

Counts
21788 → 350
Compiler

Compiled 18847 to 9685 computations (48.6% saved)

eval4.9s (6.8%)

Compiler

Compiled 805365 to 87644 computations (89.1% saved)

series2.2s (3.1%)

Counts
264 → 6469
Calls

1635 calls:

TimeVariablePointExpression
134.0ms
b
@inf
(+ b (sqrt (+ (* c (* a -4)) (pow b 2))))
110.0ms
c
@-inf
(- (sqrt (+ (* c (* a -4)) (* b b))) b)
80.0ms
a
@0
(sqrt (+ (* b b) (* c (* a -4))))
80.0ms
z
@inf
(- (* x z) (+ x 4))
79.0ms
c
@0
(pow (+ (* c (* a -4)) (pow b 2)) 1/4)

preprocess1.7s (2.4%)

Algorithm
9×egg-herbie
Rules
3285×fma-neg
2821×fma-define
1502×times-frac
1470×div-sub
1170×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3466 to 1156 computations (66.6% saved)

explain1.5s (2.1%)

Results
517.0ms3726×0valid
458.0ms678×2valid
109.0ms198×1valid
4.0ms6×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 686.0ms
ival-mult: 166.0ms (24.2% of total)
ival-div: 153.0ms (22.3% of total)
ival-exp: 115.0ms (16.8% of total)
backward-pass: 78.0ms (11.4% of total)
ival-sub: 46.0ms (6.7% of total)
ival-sqrt: 38.0ms (5.5% of total)
ival-add: 25.0ms (3.6% of total)
ival-neg: 24.0ms (3.5% of total)
ival-if: 11.0ms (1.6% of total)
const: 9.0ms (1.3% of total)
ival-fabs: 7.0ms (1% of total)
ival->=: 6.0ms (0.9% of total)
ival-log: 6.0ms (0.9% of total)

bsearch1.0s (1.4%)

Algorithm
55×binary-search
1×left-value
Stop Event
9×predicate-same
46×narrow-enough
Results
596.0ms6576×0valid
44.0ms340×0invalid
37.0ms64×2valid
Compiler

Compiled 13418 to 9004 computations (32.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 418.0ms
ival-mult: 126.0ms (30.1% of total)
ival-div: 104.0ms (24.9% of total)
ival-sub: 46.0ms (11% of total)
ival-add: 46.0ms (11% of total)
ival-neg: 25.0ms (6% of total)
ival-fabs: 20.0ms (4.8% of total)
ival-sqrt: 18.0ms (4.3% of total)
const: 10.0ms (2.4% of total)
ival-if: 10.0ms (2.4% of total)
ival->=: 10.0ms (2.4% of total)
backward-pass: 3.0ms (0.7% of total)

regimes703.0ms (1%)

Counts
701 → 113
Calls

26 calls:

138.0ms
x
95.0ms
b
62.0ms
a
56.0ms
c
54.0ms
y
Compiler

Compiled 566 to 376 computations (33.6% saved)

analyze643.0ms (0.9%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 97 computations (39.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 315.0ms
ival-mult: 103.0ms (32.7% of total)
ival->=: 41.0ms (13% of total)
ival-add: 37.0ms (11.8% of total)
ival-div: 33.0ms (10.5% of total)
ival-sub: 31.0ms (9.9% of total)
ival-sqrt: 23.0ms (7.3% of total)
ival-neg: 18.0ms (5.7% of total)
ival-if: 16.0ms (5.1% of total)
const: 6.0ms (1.9% of total)
ival-fabs: 4.0ms (1.3% of total)
backward-pass: 1.0ms (0.3% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...