Herbie run

Date:Sunday, May 12th, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024133
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.3min)

simplify17.4s (22.7%)

Algorithm
68×egg-herbie
Rules
25390×fma-neg
25261×fma-define
13686×times-frac
10508×distribute-lft-in
10280×distribute-rgt-in
Stop Event
27×saturated
41×node limit
Counts
15031 → 13869

sample12.3s (15.9%)

Results
7.3s70277×0valid
1.4s4016×2valid
335.0ms1846×0invalid
1.0ms11×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.2s
ival-mult: 1.6s (25.4% of total)
ival-div: 1.5s (25% of total)
ival-sqrt: 787.0ms (12.8% of total)
ival-sub: 724.0ms (11.7% of total)
ival-add: 538.0ms (8.7% of total)
ival-neg: 230.0ms (3.7% of total)
backward-pass: 166.0ms (2.7% of total)
const: 113.0ms (1.8% of total)
ival-log: 113.0ms (1.8% of total)
ival-if: 111.0ms (1.8% of total)
ival->=: 106.0ms (1.7% of total)
ival-fabs: 95.0ms (1.5% of total)
ival-exp: 73.0ms (1.2% of total)
Bogosity

soundness9.9s (12.8%)

Rules
10591×fma-define
8541×fma-neg
8030×times-frac
6417×*-commutative
4751×log1p-expm1-u
Stop Event
3×saturated
3×fuel
30×node limit
6×done
Compiler

Compiled 7300 to 2012 computations (72.4% saved)

localize8.3s (10.7%)

Results
2.6s6089×0valid
2.1s519×2valid
558.0ms532×1valid
476.0ms451×0invalid
449.0ms89×3valid
Compiler

Compiled 6316 to 732 computations (88.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3s
ival-div: 940.0ms (28.1% of total)
ival-pow: 449.0ms (13.4% of total)
ival-mult: 419.0ms (12.5% of total)
ival-sub: 349.0ms (10.4% of total)
backward-pass: 250.0ms (7.5% of total)
ival-sqrt: 176.0ms (5.3% of total)
ival-add: 162.0ms (4.8% of total)
ival-fma: 155.0ms (4.6% of total)
ival-if: 116.0ms (3.5% of total)
ival-log: 102.0ms (3% of total)
ival-hypot: 93.0ms (2.8% of total)
ival-neg: 28.0ms (0.8% of total)
ival-cbrt: 26.0ms (0.8% of total)
const: 25.0ms (0.7% of total)
ival-exp: 19.0ms (0.6% of total)
ival->=: 13.0ms (0.4% of total)
ival-fabs: 10.0ms (0.3% of total)
ival-log1p: 9.0ms (0.3% of total)
ival-e: 4.0ms (0.1% of total)

rewrite7.9s (10.3%)

Algorithm
29×batch-egg-rewrite
Rules
17272×log1p-expm1-u
11852×expm1-log1p-u
8002×pow1
7461×add-exp-log
6832×add-log-exp
Stop Event
29×node limit
Counts
287 → 8245

prune5.6s (7.3%)

Counts
21769 → 367
Compiler

Compiled 19894 to 10334 computations (48.1% saved)

eval5.0s (6.5%)

Compiler

Compiled 833319 to 93457 computations (88.8% saved)

series2.8s (3.6%)

Counts
287 → 6786
Calls

1737 calls:

TimeVariablePointExpression
236.0ms
b
@0
(- (neg b) (sqrt (+ (* b b) (* a (* c -4)))))
139.0ms
c
@0
(sqrt (* -4 (* c a)))
94.0ms
a
@0
(exp (log (sqrt (+ (* b b) (* (sqrt (* a (* c -4))) (sqrt (* a (* c -4))))))))
93.0ms
a
@-inf
(pow (* (* c a) -4) 1/4)
83.0ms
b
@0
(cbrt (pow (+ (* b b) (* a (* c -4))) 3/4))

explain2.3s (3%)

Results
1.1s662×2valid
384.0ms3720×0valid
77.0ms210×1valid
11.0ms16×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-mult: 755.0ms (69.9% of total)
ival-div: 69.0ms (6.4% of total)
ival-sqrt: 54.0ms (5% of total)
ival-sub: 49.0ms (4.5% of total)
ival-add: 47.0ms (4.3% of total)
backward-pass: 43.0ms (4% of total)
ival-neg: 20.0ms (1.9% of total)
ival-if: 11.0ms (1% of total)
const: 9.0ms (0.8% of total)
ival->=: 6.0ms (0.6% of total)
ival-fabs: 6.0ms (0.6% of total)
ival-log: 6.0ms (0.6% of total)
ival-exp: 4.0ms (0.4% of total)

preprocess2.1s (2.7%)

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 3268 to 1104 computations (66.2% saved)

analyze1.4s (1.8%)

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: 884.0ms
ival-sqrt: 345.0ms (39% of total)
ival-mult: 156.0ms (17.6% of total)
ival-add: 153.0ms (17.3% of total)
ival->=: 77.0ms (8.7% of total)
ival-sub: 73.0ms (8.3% of total)
ival-div: 34.0ms (3.8% of total)
ival-neg: 20.0ms (2.3% of total)
ival-if: 15.0ms (1.7% of total)
const: 6.0ms (0.7% of total)
ival-fabs: 4.0ms (0.5% of total)
backward-pass: 1.0ms (0.1% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

bsearch1.1s (1.5%)

Algorithm
55×binary-search
2×left-value
Stop Event
7×predicate-same
48×narrow-enough
Results
769.0ms6272×0valid
51.0ms176×0invalid
16.0ms64×2valid
Compiler

Compiled 12429 to 8313 computations (33.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 592.0ms
ival-add: 227.0ms (38.3% of total)
ival-mult: 117.0ms (19.8% of total)
ival-div: 82.0ms (13.8% of total)
ival-sub: 64.0ms (10.8% of total)
ival->=: 30.0ms (5.1% of total)
ival-sqrt: 17.0ms (2.9% of total)
ival-neg: 17.0ms (2.9% of total)
ival-fabs: 15.0ms (2.5% of total)
ival-if: 10.0ms (1.7% of total)
const: 9.0ms (1.5% of total)
backward-pass: 4.0ms (0.7% of total)

regimes867.0ms (1.1%)

Counts
760 → 112
Calls

26 calls:

177.0ms
x
120.0ms
b
82.0ms
a
69.0ms
(/.f64 #s(literal 1 binary64) x)
64.0ms
c
Compiler

Compiled 588 to 393 computations (33.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...