Herbie run

Date:Monday, April 1st, 2024
Commit:2c40ab6b on main
Hostname:nightly with Racket 8.11.1
Seed:2024092
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.3min)

localize22.1s (27.9%)

Results
3.4s4248×256valid
1.2s473×256invalid
5.2s356×2048valid
1.9s212×1024valid
4.1s173×4096valid
679.0ms131×512valid
1.6s39×8192exit
Compiler

Compiled 6311 to 3474 computations (45% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.3s
ival-pow: 5.3s (30.6% of total)
ival-mult: 4.3s (25.1% of total)
<compiled-spec>: 1.8s (10.3% of total)
ival-div: 1.5s (8.8% of total)
ival-add: 1.2s (7% of total)
ival-sqrt: 915.0ms (5.3% of total)
ival-sub: 781.0ms (4.5% of total)
ival->=: 666.0ms (3.8% of total)
const: 266.0ms (1.5% of total)
ival-cbrt: 149.0ms (0.9% of total)
ival-log: 126.0ms (0.7% of total)
ival-neg: 102.0ms (0.6% of total)
ival-if: 95.0ms (0.5% of total)
ival-exp: 37.0ms (0.2% of total)
ival-fabs: 29.0ms (0.2% of total)

eval16.8s (21.2%)

Compiler

Compiled 880702 to 595622 computations (32.4% saved)

sample12.0s (15.2%)

Results
7.5s70167×0valid
1.2s4131×2valid
453.0ms1919×0invalid
1.0ms6×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.4s
ival-mult: 2.0s (32% of total)
ival-div: 1.0s (15.9% of total)
ival-sub: 855.0ms (13.3% of total)
ival-sqrt: 774.0ms (12.1% of total)
ival-neg: 463.0ms (7.2% of total)
ival-add: 347.0ms (5.4% of total)
ival->=: 169.0ms (2.6% of total)
backward-pass: 165.0ms (2.6% of total)
const: 149.0ms (2.3% of total)
ival-if: 124.0ms (1.9% of total)
ival-log: 122.0ms (1.9% of total)
ival-fabs: 108.0ms (1.7% of total)
ival-exp: 67.0ms (1% of total)
Bogosity

prune6.2s (7.8%)

Counts
20117 → 333
Compiler

Compiled 20194 to 13713 computations (32.1% saved)

simplify5.0s (6.3%)

Algorithm
27×egg-herbie
Rules
6441×fma-define
5994×associate-*r*
5951×distribute-lft-in
5438×*-commutative
5353×distribute-rgt-in
Stop Event
9×saturated
18×node limit
Counts
8427 → 8243

soundness4.7s (5.9%)

Rules
5384×fma-define
4796×log1p-expm1-u
4636×fma-neg
4621×distribute-lft-in
4188×associate-*r*
Stop Event
2×saturated
20×node limit
4×fuel
5×done
Compiler

Compiled 3884 to 2201 computations (43.3% saved)

rewrite3.6s (4.5%)

Algorithm
18×batch-egg-rewrite
Rules
11088×log1p-expm1-u
5785×expm1-log1p-u
3915×add-exp-log
3809×pow1
3552×add-cube-cbrt
Stop Event
18×node limit
Counts
142 → 4743

explain3.0s (3.8%)

Results
681.0ms3762×256valid
711.0ms492×2048valid
301.0ms142×1024valid
318.0ms122×4096valid
239.0ms90×512valid
Compiler

Compiled 1140 to 615 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-mult: 809.0ms (46.4% of total)
ival-sub: 266.0ms (15.3% of total)
ival-sqrt: 238.0ms (13.7% of total)
ival-div: 179.0ms (10.3% of total)
ival-add: 64.0ms (3.7% of total)
ival-if: 57.0ms (3.3% of total)
const: 37.0ms (2.1% of total)
ival->=: 28.0ms (1.6% of total)
ival-neg: 26.0ms (1.5% of total)
ival-log: 21.0ms (1.2% of total)
ival-fabs: 9.0ms (0.5% of total)
ival-exp: 6.0ms (0.3% of total)

preprocess2.2s (2.8%)

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 2600 to 1544 computations (40.6% saved)

bsearch1.1s (1.4%)

Algorithm
48×binary-search
Stop Event
5×predicate-same
43×narrow-enough
Results
710.0ms5712×0valid
55.0ms409×0invalid
Compiler

Compiled 11489 to 8357 computations (27.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 487.0ms
ival-div: 167.0ms (34.3% of total)
ival-mult: 116.0ms (23.8% of total)
ival-sub: 59.0ms (12.1% of total)
ival-add: 46.0ms (9.4% of total)
ival-sqrt: 31.0ms (6.4% of total)
ival-neg: 17.0ms (3.5% of total)
ival-fabs: 14.0ms (2.9% of total)
ival-if: 12.0ms (2.5% of total)
ival->=: 11.0ms (2.3% of total)
const: 11.0ms (2.3% of total)
backward-pass: 3.0ms (0.6% of total)

regimes939.0ms (1.2%)

Counts
495 → 84
Calls

22 calls:

210.0ms
a
180.0ms
b
116.0ms
c
63.0ms
x
56.0ms
y
Compiler

Compiled 448 to 306 computations (31.7% saved)

series933.0ms (1.2%)

Counts
142 → 3684
Calls

840 calls:

TimeVariablePointExpression
38.0ms
x
@-inf
(/ (- (+ x 4) (* x z)) y)
37.0ms
a
@0
(pow (* (* a c) -4) 1/4)
29.0ms
c
@0
(pow (* (* a c) -4) 1/4)
17.0ms
a
@-inf
(pow (* (* a c) -4) 1/4)
14.0ms
c
@-inf
(pow (* (* a c) -4) 1/4)

analyze793.0ms (1%)

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: 448.0ms
ival-mult: 138.0ms (30.8% of total)
ival-add: 70.0ms (15.6% of total)
ival-sub: 67.0ms (15% of total)
ival-neg: 59.0ms (13.2% of total)
ival-sqrt: 39.0ms (8.7% of total)
ival-div: 33.0ms (7.4% of total)
ival->=: 15.0ms (3.3% of total)
ival-if: 14.0ms (3.1% of total)
const: 9.0ms (2% of total)
ival-fabs: 3.0ms (0.7% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...