Herbie run

Date:Friday, April 5th, 2024
Commit:deef6326 on main
Hostname:nightly with Racket 8.11.1
Seed:2024096
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.1min)

localize16.2s (23.5%)

Results
2.7s4434×256valid
892.0ms979×256invalid
4.1s411×2048valid
2.0s273×1024valid
2.4s162×4096valid
675.0ms139×512valid
1.0ms2×8192exit
Compiler

Compiled 5452 to 2876 computations (47.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.3s
ival-mult: 3.5s (28.2% of total)
<compiled-spec>: 2.1s (17% of total)
ival-pow: 1.4s (11.5% of total)
ival-sqrt: 1.3s (10.5% of total)
ival-div: 1.2s (10% of total)
ival-add: 902.0ms (7.4% of total)
ival-sub: 635.0ms (5.2% of total)
ival-log: 382.0ms (3.1% of total)
const: 218.0ms (1.8% of total)
ival-exp: 215.0ms (1.8% of total)
ival->=: 200.0ms (1.6% of total)
ival-if: 113.0ms (0.9% of total)
ival-cbrt: 49.0ms (0.4% of total)
ival-neg: 47.0ms (0.4% of total)
ival-fabs: 31.0ms (0.3% of total)

sample13.0s (18.9%)

Results
8.0s70168×0valid
1.2s4125×2valid
615.0ms1954×0invalid
1.0ms11×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-mult: 2.1s (32% of total)
ival-div: 1.0s (15.7% of total)
ival-sqrt: 986.0ms (14.9% of total)
ival-sub: 900.0ms (13.6% of total)
ival-neg: 459.0ms (7% of total)
ival-add: 266.0ms (4% of total)
backward-pass: 158.0ms (2.4% of total)
const: 144.0ms (2.2% of total)
ival-fabs: 142.0ms (2.2% of total)
ival-log: 120.0ms (1.8% of total)
ival->=: 109.0ms (1.7% of total)
ival-if: 103.0ms (1.6% of total)
ival-exp: 62.0ms (0.9% of total)
Bogosity

eval9.4s (13.7%)

Compiler

Compiled 781119 to 518596 computations (33.6% saved)

prune6.4s (9.3%)

Counts
17575 → 287
Compiler

Compiled 14068 to 9424 computations (33% saved)

soundness5.4s (7.9%)

Rules
6477×fma-define
6211×times-frac
6009×fma-neg
5085×log1p-expm1-u
4864×distribute-lft-in
Stop Event
2×saturated
23×node limit
3×fuel
6×done
Compiler

Compiled 4589 to 2742 computations (40.2% saved)

simplify5.3s (7.8%)

Algorithm
30×egg-herbie
Rules
6572×fma-define
5843×fma-neg
5830×*-commutative
5793×distribute-lft-in
5340×times-frac
Stop Event
9×saturated
21×node limit
Counts
7494 → 7469

rewrite4.5s (6.5%)

Algorithm
21×batch-egg-rewrite
Rules
15829×log1p-expm1-u
10123×expm1-log1p-u
4332×add-exp-log
4158×pow1
3892×add-log-exp
Stop Event
21×node limit
Counts
126 → 4287

explain3.3s (4.8%)

Results
911.0ms3734×256valid
980.0ms510×2048valid
251.0ms172×1024valid
269.0ms112×4096valid
68.0ms80×512valid
Compiler

Compiled 1140 to 615 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-mult: 648.0ms (37% of total)
ival-sub: 352.0ms (20.1% of total)
ival-div: 269.0ms (15.4% of total)
ival-sqrt: 259.0ms (14.8% of total)
ival-add: 61.0ms (3.5% of total)
ival-neg: 46.0ms (2.6% of total)
const: 37.0ms (2.1% of total)
ival->=: 33.0ms (1.9% of total)
ival-log: 17.0ms (1% of total)
ival-if: 15.0ms (0.9% of total)
ival-fabs: 7.0ms (0.4% of total)
ival-exp: 6.0ms (0.3% of total)

preprocess1.5s (2.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 2706 to 1574 computations (41.8% saved)

regimes1.1s (1.5%)

Counts
384 → 95
Calls

26 calls:

233.0ms
n
126.0ms
b
113.0ms
(/.f64 #s(literal 1 binary64) x)
93.0ms
c
91.0ms
x
Compiler

Compiled 495 to 343 computations (30.7% saved)

analyze1.0s (1.5%)

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: 633.0ms
ival-mult: 356.0ms (56.2% of total)
ival-if: 66.0ms (10.4% of total)
ival-sub: 44.0ms (6.9% of total)
ival-div: 42.0ms (6.6% of total)
ival-add: 42.0ms (6.6% of total)
ival-sqrt: 41.0ms (6.5% of total)
ival-neg: 16.0ms (2.5% of total)
ival->=: 14.0ms (2.2% of total)
const: 8.0ms (1.3% of total)
ival-fabs: 4.0ms (0.6% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

bsearch980.0ms (1.4%)

Algorithm
49×binary-search
Stop Event
6×predicate-same
43×narrow-enough
Results
631.0ms5216×0valid
31.0ms154×0invalid
Compiler

Compiled 8940 to 6428 computations (28.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 359.0ms
ival-sub: 85.0ms (23.7% of total)
ival-mult: 83.0ms (23.1% of total)
ival-div: 59.0ms (16.4% of total)
ival-add: 41.0ms (11.4% of total)
ival-sqrt: 23.0ms (6.4% of total)
ival-neg: 20.0ms (5.6% of total)
ival->=: 16.0ms (4.5% of total)
ival-fabs: 11.0ms (3.1% of total)
const: 9.0ms (2.5% of total)
ival-if: 7.0ms (1.9% of total)
backward-pass: 6.0ms (1.7% of total)

series706.0ms (1%)

Counts
126 → 3207
Calls

657 calls:

TimeVariablePointExpression
15.0ms
c
@inf
(sqrt (+ (* c (* a -4)) (* b b)))
7.0ms
b
@inf
(/ (- b (sqrt (+ (* c (* a -4)) (* b b)))) (* a -2))
6.0ms
a
@0
(sqrt (* c (* a -4)))
6.0ms
b
@inf
(* b (neg (- (/ 1 a) (/ c (pow b 2)))))
5.0ms
y
@inf
(/ (- (+ x 4) (* x z)) y)

end0.0ms (0%)

Profiling

Loading profile data...