Herbie run

Date:Thursday, February 22nd, 2024
Commit:906753db on main
Hostname:nightly with Racket 8.11.1
Seed:2024053
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)

sample16.5s (20.7%)

Results
11.1s63044×256valid
1.3s7149×256infinite
1.9s4111×2048valid
630.0ms1898×256invalid
Precisions
Click to see histograms. Total time spent on operations: 7.7s
Operation ival-mult, time spent: 2.5s, 32.0% of total-time
Operation ival-sqrt, time spent: 1.5s, 19.0% of total-time
Operation ival-div, time spent: 1.4s, 18.0% of total-time
Operation ival-sub, time spent: 887.0ms, 12.0% of total-time
Operation ival-add, time spent: 389.0ms, 5.0% of total-time
Operation ival-neg, time spent: 273.0ms, 4.0% of total-time
Operation ival-log, time spent: 205.0ms, 3.0% of total-time
Operation const, time spent: 189.0ms, 2.0% of total-time
Operation ival->=, time spent: 168.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 112.0ms, 1.0% of total-time
Operation ival-exp, time spent: 85.0ms, 1.0% of total-time
Operation ival-if, time spent: 24.0ms, 0.0% of total-time
Bogosity

eval15.1s (19%)

Compiler

Compiled 702364 to 452775 computations (35.5% saved)

localize15.0s (18.8%)

Compiler

Compiled 5748 to 3107 computations (45.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.8s
Operation ival-mult, time spent: 2.8s, 28.0% of total-time
Operation ival-pow, time spent: 1.7s, 17.0% of total-time
Operation composed, time spent: 1.1s, 11.0% of total-time
Operation ival-div, time spent: 990.0ms, 10.0% of total-time
Operation ival-add, time spent: 953.0ms, 10.0% of total-time
Operation ival-sqrt, time spent: 914.0ms, 9.0% of total-time
Operation ival-sub, time spent: 629.0ms, 6.0% of total-time
Operation ival->=, time spent: 234.0ms, 2.0% of total-time
Operation const, time spent: 226.0ms, 2.0% of total-time
Operation ival-log, time spent: 152.0ms, 2.0% of total-time
Operation ival-exp, time spent: 48.0ms, 0.0% of total-time
Operation ival-neg, time spent: 33.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 22.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 18.0ms, 0.0% of total-time
Operation ival-if, time spent: 17.0ms, 0.0% of total-time
Operation ival-e, time spent: 8.0ms, 0.0% of total-time

simplify6.7s (8.5%)

Algorithm
32×egg-herbie
Rules
19410×fma-define
15280×times-frac
13218×*-commutative
13212×distribute-lft-in
12844×associate-*r*
Stop Event
8×saturated
4×fuel
24×node limit
5×done
Counts
9504 → 9403
Compiler

Compiled 1148 to 755 computations (34.2% saved)

soundness5.7s (7.1%)

Rules
17218×fma-define
11538×associate-*r*
11536×times-frac
11116×fma-neg
8786×distribute-lft-in
Stop Event
2×saturated
24×node limit
Compiler

Compiled 4255 to 2654 computations (37.6% saved)

prune5.6s (7.1%)

Counts
17214 → 296
Compiler

Compiled 14404 to 9858 computations (31.6% saved)

preprocess5.2s (6.6%)

Algorithm
9×egg-herbie
Rules
6570×fma-neg
5642×fma-define
3004×times-frac
2940×div-sub
2342×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3932 to 2329 computations (40.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
Operation ival-mult, time spent: 583.0ms, 33.0% of total-time
Operation ival-sqrt, time spent: 549.0ms, 31.0% of total-time
Operation ival-div, time spent: 219.0ms, 12.0% of total-time
Operation ival-sub, time spent: 219.0ms, 12.0% of total-time
Operation ival-add, time spent: 66.0ms, 4.0% of total-time
Operation const, time spent: 48.0ms, 3.0% of total-time
Operation ival->=, time spent: 31.0ms, 2.0% of total-time
Operation ival-neg, time spent: 30.0ms, 2.0% of total-time
Operation ival-log, time spent: 24.0ms, 1.0% of total-time
Operation ival-exp, time spent: 5.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 0.0% of total-time

rewrite4.5s (5.7%)

Algorithm
23×batch-egg-rewrite
Rules
15387×log1p-expm1-u
12219×expm1-log1p-u
7036×fma-define
5890×associate-*r*
5852×prod-diff
Stop Event
23×node limit
Counts
145 → 5751

regimes2.6s (3.3%)

Counts
567 → 76
Calls

26 calls:

595.0ms
y
447.0ms
b
314.0ms
x
243.0ms
a
242.0ms
z
Compiler

Compiled 602 to 413 computations (31.4% saved)

series1.1s (1.4%)

Counts
145 → 3753
Calls

807 calls:

TimeVariablePointExpression
62.0ms
b
@-inf
(+ b (sqrt (+ (* c (* a -4)) (pow b 2))))
60.0ms
x
@inf
(exp (+ (* x 2) -2))
57.0ms
a
@-inf
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
38.0ms
a
@-inf
(/ (+ b (pow (pow (+ (* c (* a -4)) (pow b 2)) 1/4) 2)) a)
34.0ms
a
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))

bsearch800.0ms (1%)

Algorithm
31×binary-search
Stop Event
10×predicate-same
21×narrow-enough
Results
555.0ms3213×256valid
77.0ms421×256invalid
51.0ms259×256infinite
Compiler

Compiled 8572 to 6163 computations (28.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 340.0ms
Operation ival-mult, time spent: 103.0ms, 30.0% of total-time
Operation ival-div, time spent: 66.0ms, 19.0% of total-time
Operation ival-sub, time spent: 47.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 46.0ms, 14.0% of total-time
Operation ival-add, time spent: 35.0ms, 10.0% of total-time
Operation ival->=, time spent: 14.0ms, 4.0% of total-time
Operation ival-neg, time spent: 11.0ms, 3.0% of total-time
Operation const, time spent: 10.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 1.0% of total-time
Operation ival-if, time spent: 2.0ms, 1.0% of total-time

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

Precisions
Click to see histograms. Total time spent on operations: 426.0ms
Operation ival-mult, time spent: 170.0ms, 40.0% of total-time
Operation ival-sqrt, time spent: 76.0ms, 18.0% of total-time
Operation ival-sub, time spent: 48.0ms, 11.0% of total-time
Operation ival-div, time spent: 43.0ms, 10.0% of total-time
Operation ival-add, time spent: 21.0ms, 5.0% of total-time
Operation ival->=, time spent: 19.0ms, 4.0% of total-time
Operation ival-neg, time spent: 17.0ms, 4.0% of total-time
Operation ival-log, time spent: 13.0ms, 3.0% of total-time
Operation const, time spent: 12.0ms, 3.0% of total-time
Operation ival-if, time spent: 5.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 1.0% of total-time
Operation ival-exp, time spent: 0.0ms, 0.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...