Herbie run

Date:Sunday, April 21st, 2024
Commit:97df3357 on main
Hostname:nightly with Racket 8.11.1
Seed:2024112
Parameters:256 points for 4 iterations
Flags:
reduce: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.6min)

localize20.4s (21.3%)

Algorithm
93×egg-herbie
Rules
42223×fma-neg
37916×fma-define
15598×div-sub
15228×times-frac
10961×distribute-lft-in
Stop Event
69×saturated
24×node limit
Results
2.5s6247×0valid
1.2s616×1valid
1.4s448×2valid
252.0ms308×0invalid
1.5s254×5exit
469.0ms63×3valid
Compiler

Compiled 6434 to 750 computations (88.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-pow: 703.0ms (20.1% of total)
backward-pass: 615.0ms (17.6% of total)
ival-mult: 505.0ms (14.4% of total)
ival-div: 441.0ms (12.6% of total)
ival-sub: 270.0ms (7.7% of total)
ival-add: 218.0ms (6.2% of total)
ival-neg: 170.0ms (4.9% of total)
ival-fma: 159.0ms (4.5% of total)
ival-if: 147.0ms (4.2% of total)
ival-sqrt: 114.0ms (3.3% of total)
ival-fabs: 41.0ms (1.2% of total)
const: 29.0ms (0.8% of total)
ival-cbrt: 27.0ms (0.8% of total)
ival-exp: 17.0ms (0.5% of total)
ival-log: 15.0ms (0.4% of total)
ival->=: 13.0ms (0.4% of total)
ival-log1p: 11.0ms (0.3% of total)
ival-hypot: 5.0ms (0.1% of total)

simplify15.1s (15.7%)

Algorithm
39×egg-herbie
Rules
12625×fma-define
9498×times-frac
9163×fma-neg
8680×*-commutative
8394×distribute-lft-in
Stop Event
9×saturated
30×node limit
Counts
15208 → 14054

sample13.6s (14.1%)

Results
7.2s70138×0valid
2.1s4158×2valid
328.0ms1957×0invalid
1.0ms8×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-div: 1.7s (26.6% of total)
ival-mult: 1.6s (24.6% of total)
ival-sub: 1.1s (16.6% of total)
ival-sqrt: 535.0ms (8.3% of total)
ival-add: 341.0ms (5.3% of total)
ival-neg: 243.0ms (3.8% of total)
backward-pass: 220.0ms (3.4% of total)
ival->=: 180.0ms (2.8% of total)
ival-if: 156.0ms (2.4% of total)
const: 117.0ms (1.8% of total)
ival-log: 115.0ms (1.8% of total)
ival-fabs: 108.0ms (1.7% of total)
ival-exp: 68.0ms (1.1% of total)
Bogosity

prune11.4s (11.8%)

Counts
22825 → 428
Compiler

Compiled 23182 to 12155 computations (47.6% saved)

soundness9.9s (10.3%)

Rules
10704×fma-define
8246×fma-neg
7645×times-frac
6249×*-commutative
5888×distribute-lft-in
Stop Event
3×saturated
5×fuel
31×node limit
4×done
Compiler

Compiled 7817 to 2138 computations (72.6% saved)

rewrite8.4s (8.7%)

Algorithm
30×batch-egg-rewrite
Rules
16307×log1p-expm1-u
13491×expm1-log1p-u
8416×pow1
7384×add-exp-log
6781×add-log-exp
Stop Event
30×node limit
Counts
286 → 8871

eval6.7s (6.9%)

Compiler

Compiled 786702 to 91546 computations (88.4% saved)

explain3.0s (3.1%)

Results
725.0ms3720×0valid
192.0ms466×1valid
1.1s414×2valid
6.0ms8×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-mult: 729.0ms (47.8% of total)
ival-sqrt: 369.0ms (24.2% of total)
backward-pass: 238.0ms (15.6% of total)
ival-div: 66.0ms (4.3% of total)
ival-sub: 45.0ms (2.9% of total)
ival-neg: 18.0ms (1.2% of total)
ival-add: 17.0ms (1.1% of total)
ival-if: 13.0ms (0.9% of total)
const: 8.0ms (0.5% of total)
ival-log: 7.0ms (0.5% of total)
ival->=: 6.0ms (0.4% of total)
ival-fabs: 6.0ms (0.4% of total)
ival-exp: 4.0ms (0.3% of total)

preprocess2.3s (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 3692 to 1114 computations (69.8% saved)

series2.2s (2.3%)

Counts
286 → 6337
Calls

1662 calls:

TimeVariablePointExpression
133.0ms
f
@0
(* -2 (/ n f))
86.0ms
b
@-inf
(/ (* 2 c) (* 2 (- (* a (pow (pow (/ c b) 3) 1/3)) b)))
76.0ms
b
@0
(/ c (pow b 2))
66.0ms
a
@inf
(/ (+ b (sqrt (+ (* c (* a -4)) (* b b)))) a)
63.0ms
c
@inf
(- b (sqrt (+ (* c (pow (cbrt (* a -4)) 3)) (* b b))))

bsearch1.3s (1.4%)

Algorithm
66×binary-search
Stop Event
11×predicate-same
55×narrow-enough
Results
885.0ms6608×0valid
51.0ms452×0invalid
35.0ms112×2valid
Compiler

Compiled 14814 to 10155 computations (31.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 407.0ms
ival-mult: 113.0ms (27.8% of total)
ival-div: 94.0ms (23.1% of total)
ival-sub: 51.0ms (12.5% of total)
ival-add: 42.0ms (10.3% of total)
ival-sqrt: 24.0ms (5.9% of total)
ival-fabs: 20.0ms (4.9% of total)
ival-neg: 17.0ms (4.2% of total)
ival-if: 16.0ms (3.9% of total)
ival->=: 13.0ms (3.2% of total)
const: 10.0ms (2.5% of total)
backward-pass: 6.0ms (1.5% of total)

analyze1.1s (1.2%)

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: 568.0ms
ival-mult: 321.0ms (56.5% of total)
ival-sub: 106.0ms (18.7% of total)
ival-div: 41.0ms (7.2% of total)
ival-sqrt: 22.0ms (3.9% of total)
ival-add: 19.0ms (3.3% of total)
ival-neg: 16.0ms (2.8% of total)
ival-if: 15.0ms (2.6% of total)
ival->=: 14.0ms (2.5% of total)
ival-fabs: 7.0ms (1.2% of total)
const: 6.0ms (1.1% of total)
backward-pass: 1.0ms (0.2% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

regimes754.0ms (0.8%)

Counts
849 → 124
Calls

26 calls:

144.0ms
x
115.0ms
b
76.0ms
a
57.0ms
c
53.0ms
z
Compiler

Compiled 549 to 367 computations (33.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...