Herbie run

Date:Wednesday, February 28th, 2024
Commit:699b9765 on main
Hostname:nightly with Racket 8.11.1
Seed:2024059
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.4min)

localize23.0s (27.9%)

Compiler

Compiled 6238 to 3287 computations (47.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.4s
Operation ival-mult, time spent: 4.4s, 27.0% of total-time
Operation ival-pow, time spent: 4.2s, 26.0% of total-time
Operation composed, time spent: 2.0s, 12.0% of total-time
Operation ival-add, time spent: 1.3s, 8.0% of total-time
Operation ival-div, time spent: 1.3s, 8.0% of total-time
Operation ival-sqrt, time spent: 1.0s, 6.0% of total-time
Operation ival-sub, time spent: 786.0ms, 5.0% of total-time
Operation ival-log, time spent: 472.0ms, 3.0% of total-time
Operation const, time spent: 343.0ms, 2.0% of total-time
Operation ival->=, time spent: 277.0ms, 2.0% of total-time
Operation ival-exp, time spent: 238.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 134.0ms, 1.0% of total-time
Operation ival-neg, time spent: 39.0ms, 0.0% of total-time
Operation ival-if, time spent: 25.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 16.0ms, 0.0% of total-time

sample15.6s (19%)

Results
10.3s62791×256valid
1.1s7349×256infinite
1.9s4164×2048valid
395.0ms1864×256invalid
Precisions
Click to see histograms. Total time spent on operations: 6.4s
Operation ival-mult, time spent: 2.2s, 35.0% of total-time
Operation ival-div, time spent: 1.3s, 21.0% of total-time
Operation ival-sub, time spent: 1.1s, 16.0% of total-time
Operation ival-sqrt, time spent: 646.0ms, 10.0% of total-time
Operation ival-add, time spent: 243.0ms, 4.0% of total-time
Operation ival-neg, time spent: 222.0ms, 3.0% of total-time
Operation const, time spent: 189.0ms, 3.0% of total-time
Operation ival-log, time spent: 150.0ms, 2.0% of total-time
Operation ival->=, time spent: 125.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 123.0ms, 2.0% of total-time
Operation ival-exp, time spent: 88.0ms, 1.0% of total-time
Operation ival-if, time spent: 24.0ms, 0.0% of total-time
Bogosity

eval14.1s (17.2%)

Compiler

Compiled 767564 to 507410 computations (33.9% saved)

soundness5.4s (6.6%)

Rules
13142×fma-neg
11846×fma-define
10632×*-commutative
10616×times-frac
10176×distribute-lft-in
Stop Event
2×saturated
21×node limit
Compiler

Compiled 4304 to 2457 computations (42.9% saved)

prune5.3s (6.4%)

Counts
16156 → 274
Compiler

Compiled 17943 to 12023 computations (33% saved)

preprocess5.3s (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 4148 to 2383 computations (42.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
Operation ival-mult, time spent: 709.0ms, 38.0% of total-time
Operation ival-sub, time spent: 472.0ms, 25.0% of total-time
Operation ival-sqrt, time spent: 254.0ms, 14.0% of total-time
Operation ival-div, time spent: 183.0ms, 10.0% of total-time
Operation ival-add, time spent: 124.0ms, 7.0% of total-time
Operation const, time spent: 48.0ms, 3.0% of total-time
Operation ival->=, time spent: 32.0ms, 2.0% of total-time
Operation ival-neg, time spent: 23.0ms, 1.0% of total-time
Operation ival-log, time spent: 21.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

simplify5.3s (6.4%)

Algorithm
26×egg-herbie
Rules
12150×*-commutative
11114×distribute-lft-in
10826×times-frac
9892×distribute-rgt-in
9620×fma-define
Stop Event
9×saturated
17×node limit
3×fuel
6×done
Counts
7343 → 7392
Compiler

Compiled 1348 to 909 computations (32.6% saved)

rewrite3.6s (4.4%)

Algorithm
17×batch-egg-rewrite
Rules
11534×log1p-expm1-u
6122×expm1-log1p-u
5316×unpow-prod-down
5312×log-prod
4198×associate-*r*
Stop Event
17×node limit
Counts
117 → 3839

regimes1.8s (2.2%)

Counts
472 → 84
Calls

26 calls:

322.0ms
b
280.0ms
a
239.0ms
c
213.0ms
x
165.0ms
y
Compiler

Compiled 509 to 358 computations (29.7% saved)

series1.2s (1.5%)

Counts
117 → 3504
Calls

765 calls:

TimeVariablePointExpression
97.0ms
c
@-inf
(/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
53.0ms
a
@0
(log (* (* a -4) c))
42.0ms
a
@0
(exp (* (+ (log (* a -4)) (log c)) 1/2))
35.0ms
c
@0
(/ c (pow b 2))
30.0ms
a
@0
(pow (* (* a -4) c) 1/4)

bsearch972.0ms (1.2%)

Algorithm
40×binary-search
Stop Event
15×predicate-same
25×narrow-enough
Results
780.0ms3715×256valid
44.0ms285×256infinite
16.0ms93×256invalid
Compiler

Compiled 8513 to 6177 computations (27.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 413.0ms
Operation ival-div, time spent: 200.0ms, 48.0% of total-time
Operation ival-mult, time spent: 71.0ms, 17.0% of total-time
Operation ival-sub, time spent: 56.0ms, 14.0% of total-time
Operation ival-add, time spent: 28.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 25.0ms, 6.0% of total-time
Operation ival-neg, time spent: 13.0ms, 3.0% of total-time
Operation const, time spent: 9.0ms, 2.0% of total-time
Operation ival->=, time spent: 7.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 4.0ms, 1.0% of total-time
Operation ival-if, time spent: 2.0ms, 0.0% of total-time

analyze672.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: 370.0ms
Operation ival-mult, time spent: 144.0ms, 39.0% of total-time
Operation ival-sub, time spent: 55.0ms, 15.0% of total-time
Operation ival-div, time spent: 41.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 41.0ms, 11.0% of total-time
Operation ival-neg, time spent: 32.0ms, 9.0% of total-time
Operation ival-add, time spent: 22.0ms, 6.0% of total-time
Operation ival->=, time spent: 15.0ms, 4.0% of total-time
Operation const, time spent: 12.0ms, 3.0% of total-time
Operation ival-if, time spent: 4.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
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

end2.0ms (0%)

Profiling

Loading profile data...