Herbie run

Date:Thursday, February 22nd, 2024
Commit:4730753e on avx-platform
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.7s (21.1%)

Results
11.5s63044×256valid
1.4s7149×256infinite
1.7s4111×2048valid
511.0ms1898×256invalid
Precisions
Click to see histograms. Total time spent on operations: 7.6s
Operation ival-mult, time spent: 2.2s, 28.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 21.0% of total-time
Operation ival-div, time spent: 1.5s, 20.0% of total-time
Operation ival-sub, time spent: 993.0ms, 13.0% of total-time
Operation ival-add, time spent: 286.0ms, 4.0% of total-time
Operation ival-neg, time spent: 261.0ms, 3.0% of total-time
Operation ival-log, time spent: 234.0ms, 3.0% of total-time
Operation const, time spent: 186.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 125.0ms, 2.0% of total-time
Operation ival->=, time spent: 120.0ms, 2.0% of total-time
Operation ival-exp, time spent: 83.0ms, 1.0% of total-time
Operation ival-if, time spent: 23.0ms, 0.0% of total-time
Bogosity

localize14.9s (18.9%)

Compiler

Compiled 5748 to 3107 computations (45.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0s
Operation ival-mult, time spent: 3.1s, 31.0% of total-time
Operation ival-pow, time spent: 1.5s, 15.0% of total-time
Operation composed, time spent: 1.3s, 14.0% of total-time
Operation ival-div, time spent: 999.0ms, 10.0% of total-time
Operation ival-add, time spent: 957.0ms, 10.0% of total-time
Operation ival-sqrt, time spent: 830.0ms, 8.0% of total-time
Operation ival-sub, time spent: 472.0ms, 5.0% of total-time
Operation ival->=, time spent: 247.0ms, 2.0% of total-time
Operation const, time spent: 220.0ms, 2.0% of total-time
Operation ival-log, time spent: 114.0ms, 1.0% of total-time
Operation ival-exp, time spent: 43.0ms, 0.0% of total-time
Operation ival-neg, time spent: 34.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 21.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 19.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

eval14.9s (18.9%)

Compiler

Compiled 702364 to 452775 computations (35.5% saved)

simplify6.4s (8.1%)

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)

prune5.7s (7.2%)

Counts
17214 → 296
Compiler

Compiled 14404 to 9858 computations (31.6% saved)

soundness5.5s (7%)

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)

preprocess5.1s (6.4%)

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.5s
Operation ival-mult, time spent: 527.0ms, 34.0% of total-time
Operation ival-sqrt, time spent: 412.0ms, 27.0% of total-time
Operation ival-sub, time spent: 227.0ms, 15.0% of total-time
Operation ival-div, time spent: 172.0ms, 11.0% of total-time
Operation ival-add, time spent: 66.0ms, 4.0% of total-time
Operation const, time spent: 46.0ms, 3.0% of total-time
Operation ival->=, time spent: 33.0ms, 2.0% of total-time
Operation ival-neg, time spent: 25.0ms, 2.0% of total-time
Operation ival-log, time spent: 23.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.6%)

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.8s (3.5%)

Counts
567 → 76
Calls

26 calls:

623.0ms
b
528.0ms
y
291.0ms
z
265.0ms
x
255.0ms
a
Compiler

Compiled 602 to 413 computations (31.4% saved)

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

Precisions
Click to see histograms. Total time spent on operations: 438.0ms
Operation ival-mult, time spent: 159.0ms, 36.0% of total-time
Operation ival-sqrt, time spent: 83.0ms, 19.0% of total-time
Operation ival-div, time spent: 66.0ms, 15.0% of total-time
Operation ival-sub, time spent: 53.0ms, 12.0% of total-time
Operation ival-add, time spent: 24.0ms, 5.0% of total-time
Operation ival-neg, time spent: 16.0ms, 4.0% of total-time
Operation ival->=, time spent: 15.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-log, time spent: 1.0ms, 0.0% of total-time
Operation ival-exp, time spent: 0.0ms, 0.0% of total-time

series907.0ms (1.1%)

Counts
145 → 3753
Calls

807 calls:

TimeVariablePointExpression
55.0ms
a
@-inf
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
34.0ms
a
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
34.0ms
a
@0
(pow (* (* a c) -4) 1/4)
31.0ms
a
@-inf
(pow (* (* a c) -4) 1/4)
21.0ms
c
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))

bsearch816.0ms (1%)

Algorithm
31×binary-search
Stop Event
10×predicate-same
21×narrow-enough
Results
557.0ms3213×256valid
99.0ms421×256invalid
42.0ms259×256infinite
Compiler

Compiled 8572 to 6163 computations (28.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 346.0ms
Operation ival-mult, time spent: 119.0ms, 34.0% of total-time
Operation ival-div, time spent: 67.0ms, 19.0% of total-time
Operation ival-sub, time spent: 51.0ms, 15.0% of total-time
Operation ival-sqrt, time spent: 46.0ms, 13.0% of total-time
Operation ival-add, time spent: 24.0ms, 7.0% of total-time
Operation ival-neg, time spent: 12.0ms, 3.0% of total-time
Operation const, time spent: 10.0ms, 3.0% of total-time
Operation ival->=, time spent: 10.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 1.0% of total-time
Operation ival-if, time spent: 2.0ms, 1.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...