Herbie run

Date:Tuesday, April 16th, 2024
Commit:97bdded0 on zane-regimes-8-iters
Hostname:nightly with Racket 8.11.1
Seed:2024107
Parameters:256 points for 8 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.4min)

localize19.8s (22.9%)

Results
4.2s5476×0valid
3.8s1933×0invalid
2.5s563×1valid
4.2s416×2valid
693.0ms60×3valid
Compiler

Compiled 11035 to 6092 computations (44.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.6s
ival-mult: 3.3s (26.5% of total)
ival-pow: 2.2s (17.4% of total)
ival-div: 1.5s (12.1% of total)
ival-fma: 1.5s (11.9% of total)
backward-pass: 860.0ms (6.8% of total)
ival-sqrt: 775.0ms (6.1% of total)
ival-sub: 584.0ms (4.6% of total)
ival-add: 472.0ms (3.7% of total)
const: 307.0ms (2.4% of total)
ival->=: 239.0ms (1.9% of total)
ival-log: 176.0ms (1.4% of total)
ival-if: 129.0ms (1% of total)
ival-hypot: 90.0ms (0.7% of total)
ival-neg: 79.0ms (0.6% of total)
ival-fabs: 79.0ms (0.6% of total)
ival-log1p: 72.0ms (0.6% of total)
ival-exp: 64.0ms (0.5% of total)
ival-expm1: 63.0ms (0.5% of total)
ival-cbrt: 57.0ms (0.5% of total)
ival-e: 5.0ms (0% of total)

eval14.6s (16.9%)

Compiler

Compiled 1173680 to 765409 computations (34.8% saved)

sample12.5s (14.5%)

Results
7.1s70217×0valid
1.2s4078×2valid
458.0ms1896×0invalid
1.0ms9×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.4s
ival-mult: 1.9s (29.3% of total)
ival-div: 1.1s (17.5% of total)
ival-sub: 1.0s (16.1% of total)
ival-sqrt: 1.0s (15.9% of total)
ival-add: 295.0ms (4.6% of total)
ival-neg: 241.0ms (3.8% of total)
ival->=: 163.0ms (2.5% of total)
const: 138.0ms (2.2% of total)
backward-pass: 131.0ms (2% of total)
ival-fabs: 115.0ms (1.8% of total)
ival-log: 113.0ms (1.8% of total)
ival-if: 100.0ms (1.6% of total)
ival-exp: 61.0ms (1% of total)
Bogosity

prune8.7s (10.1%)

Counts
26878 → 735
Compiler

Compiled 45326 to 31317 computations (30.9% saved)

simplify8.7s (10%)

Algorithm
38×egg-herbie
Rules
11357×fma-define
9851×*-commutative
9710×distribute-lft-in
9037×times-frac
8100×distribute-rgt-in
Stop Event
9×saturated
29×node limit
Counts
11987 → 13009

soundness7.7s (8.9%)

Rules
8927×fma-define
8253×log1p-expm1-u
7788×distribute-lft-in
7655×times-frac
7286×*-commutative
Stop Event
2×saturated
35×node limit
2×fuel
7×done
Compiler

Compiled 9128 to 5512 computations (39.6% saved)

rewrite5.4s (6.3%)

Algorithm
29×batch-egg-rewrite
Rules
15104×log1p-expm1-u
11659×expm1-log1p-u
7344×add-exp-log
7083×pow1
6875×add-log-exp
Stop Event
29×node limit
Counts
217 → 6432

explain2.7s (3.1%)

Results
591.0ms3712×0valid
1.0s466×1valid
487.0ms430×2valid
Compiler

Compiled 1140 to 615 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-mult: 614.0ms (40.8% of total)
ival-sqrt: 249.0ms (16.6% of total)
ival-div: 170.0ms (11.3% of total)
ival-sub: 163.0ms (10.8% of total)
backward-pass: 148.0ms (9.8% of total)
ival-add: 45.0ms (3% of total)
const: 26.0ms (1.7% of total)
ival->=: 26.0ms (1.7% of total)
ival-neg: 22.0ms (1.5% of total)
ival-if: 19.0ms (1.3% of total)
ival-log: 12.0ms (0.8% of total)
ival-fabs: 6.0ms (0.4% of total)
ival-exp: 4.0ms (0.3% of total)

preprocess1.8s (2%)

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 3866 to 2280 computations (41% saved)

series1.5s (1.8%)

Counts
217 → 5555
Calls

1251 calls:

TimeVariablePointExpression
73.0ms
c
@0
(+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))
53.0ms
a
@0
(pow (* (* a 4) (/ -1 c)) 1/4)
46.0ms
a
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
40.0ms
b
@0
(pow (+ (* c (* a -4)) (pow b 2)) 1/4)
32.0ms
a
@-inf
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))

bsearch1.3s (1.5%)

Algorithm
64×binary-search
2×left-value
Stop Event
7×predicate-same
57×narrow-enough
Results
792.0ms7504×0valid
93.0ms660×0invalid
Compiler

Compiled 17671 to 12480 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 591.0ms
ival-mult: 193.0ms (32.6% of total)
ival-div: 116.0ms (19.6% of total)
ival-sub: 77.0ms (13% of total)
ival-sqrt: 56.0ms (9.5% of total)
ival-add: 47.0ms (7.9% of total)
ival-fabs: 24.0ms (4.1% of total)
ival-neg: 23.0ms (3.9% of total)
ival->=: 19.0ms (3.2% of total)
ival-if: 18.0ms (3% of total)
const: 16.0ms (2.7% of total)
backward-pass: 3.0ms (0.5% of total)

regimes1.1s (1.3%)

Counts
870 → 113
Calls

26 calls:

266.0ms
b
205.0ms
a
149.0ms
c
89.0ms
x
37.0ms
y
Compiler

Compiled 569 to 396 computations (30.4% saved)

analyze686.0ms (0.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 110 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 420.0ms
ival-mult: 169.0ms (40.2% of total)
ival-div: 84.0ms (20% of total)
ival-sub: 45.0ms (10.7% of total)
ival-sqrt: 39.0ms (9.3% of total)
ival-add: 21.0ms (5% of total)
ival-neg: 17.0ms (4% of total)
ival-if: 15.0ms (3.6% of total)
ival->=: 14.0ms (3.3% of total)
const: 8.0ms (1.9% of total)
ival-fabs: 5.0ms (1.2% of total)
backward-pass: 1.0ms (0.2% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...