Herbie run

Date:Sunday, June 9th, 2024
Commit:7e8e04d8 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024161
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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)

soundness21.2s (24.8%)

Rules
144236×*-lowering-*.f32
144236×*-lowering-*.f64
75400×+-lowering-+.f32
75400×+-lowering-+.f64
69468×/-lowering-/.f64
Stop Event
4×saturated
47×iter limit
39×node limit
6×fuel
1×unsound
3×done
Compiler

Compiled 6064 to 3159 computations (47.9% saved)

simplify12.9s (15.1%)

Algorithm
73×egg-herbie
Rules
161428×*-lowering-*.f32
161428×*-lowering-*.f64
75014×+-lowering-+.f32
75014×+-lowering-+.f64
52966×/-lowering-/.f64
Stop Event
60×iter limit
32×saturated
45×node limit
Counts
8868 → 8868

sample11.6s (13.5%)

Results
6.8s70174×0valid
1.3s4120×2valid
310.0ms1868×0invalid
1.0ms10×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.2s
ival-mult: 1.4s (26.4% of total)
ival-div: 1.1s (20.3% of total)
ival-sub: 803.0ms (15.4% of total)
ival-sqrt: 602.0ms (11.6% of total)
ival-neg: 288.0ms (5.5% of total)
ival-add: 242.0ms (4.6% of total)
ival->=: 163.0ms (3.1% of total)
backward-pass: 137.0ms (2.6% of total)
ival-if: 133.0ms (2.6% of total)
const: 118.0ms (2.3% of total)
ival-fabs: 109.0ms (2.1% of total)
ival-log: 109.0ms (2.1% of total)
ival-exp: 72.0ms (1.4% of total)
Bogosity

rewrite10.3s (12%)

Algorithm
32×batch-egg-rewrite
Rules
89626×*-lowering-*.f32
89626×*-lowering-*.f64
77832×/-lowering-/.f64
77832×/-lowering-/.f32
39454×fma-lowering-fma.f64
Stop Event
4×saturated
35×iter limit
29×node limit
1×unsound
Counts
389 → 17508

localize8.8s (10.2%)

Results
2.9s6834×0valid
2.8s786×2valid
812.0ms410×1valid
277.0ms57×3valid
81.0ms104×0invalid
1.0ms1×5exit
Compiler

Compiled 8719 to 802 computations (90.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-div: 696.0ms (26.8% of total)
ival-mult: 677.0ms (26.1% of total)
backward-pass: 388.0ms (14.9% of total)
ival-if: 231.0ms (8.9% of total)
ival-add: 225.0ms (8.7% of total)
ival-sub: 125.0ms (4.8% of total)
ival-sqrt: 81.0ms (3.1% of total)
ival-fabs: 55.0ms (2.1% of total)
const: 39.0ms (1.5% of total)
ival-log: 19.0ms (0.7% of total)
ival->=: 16.0ms (0.6% of total)
...c/correct-round.rkt:119:19: 15.0ms (0.6% of total)
ival-pow: 12.0ms (0.5% of total)
ival-exp: 9.0ms (0.3% of total)
ival-neg: 9.0ms (0.3% of total)

prune6.7s (7.8%)

Counts
34054 → 563
Compiler

Compiled 29336 to 13172 computations (55.1% saved)

eval5.5s (6.4%)

Compiler

Compiled 1226868 to 78208 computations (93.6% saved)

bsearch2.1s (2.5%)

Algorithm
42×binary-search
14×left-value
Stop Event
4×predicate-same
38×narrow-enough
Results
1.5s5392×0valid
50.0ms336×0invalid
Compiler

Compiled 12668 to 8448 computations (33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 365.0ms
ival-mult: 108.0ms (29.6% of total)
ival-div: 84.0ms (23% of total)
ival-sub: 52.0ms (14.3% of total)
ival-add: 33.0ms (9% of total)
ival-sqrt: 21.0ms (5.8% of total)
ival-neg: 20.0ms (5.5% of total)
ival-if: 13.0ms (3.6% of total)
ival-fabs: 10.0ms (2.7% of total)
ival->=: 10.0ms (2.7% of total)
const: 9.0ms (2.5% of total)
backward-pass: 2.0ms (0.5% of total)
ival-exp: 1.0ms (0.3% of total)

regimes1.7s (2%)

Counts
1474 → 123
Calls

26 calls:

316.0ms
b
212.0ms
x
205.0ms
a
173.0ms
(*.f64 x x)
150.0ms
c
Compiler

Compiled 635 to 412 computations (35.1% saved)

preprocess1.7s (2%)

Algorithm
18×egg-herbie
Rules
16228×fnmadd-define
15232×sum3-define
12914×fnmsub-define
12628×fmsub-define
12420×fmm-def
Stop Event
10×saturated
9×iter limit
8×node limit
Compiler

Compiled 4518 to 1292 computations (71.4% saved)

explain1.6s (1.9%)

Results
545.0ms3680×0valid
538.0ms696×2valid
106.0ms222×1valid
9.0ms10×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 570.0ms
ival-mult: 160.0ms (28.1% of total)
ival-add: 80.0ms (14% of total)
ival-sub: 75.0ms (13.2% of total)
ival-div: 70.0ms (12.3% of total)
backward-pass: 70.0ms (12.3% of total)
ival-sqrt: 43.0ms (7.5% of total)
ival-neg: 27.0ms (4.7% of total)
ival-if: 14.0ms (2.5% of total)
const: 9.0ms (1.6% of total)
ival-log: 7.0ms (1.2% of total)
ival-exp: 6.0ms (1.1% of total)
ival-fabs: 6.0ms (1.1% of total)
ival->=: 5.0ms (0.9% of total)

series848.0ms (1%)

Counts
389 → 8868
Calls

1656 calls:

TimeVariablePointExpression
35.0ms
b
@-inf
(/ (* c 2) (- (sqrt (+ (* b b) (* c (* a -4)))) b))
31.0ms
a
@-inf
(* (- 0 c) (+ (/ (/ b a) c) (/ -1 b)))
26.0ms
x
@0
(log x)
21.0ms
x
@-inf
(log x)
20.0ms
z
@inf
(fabs (+ (/ 4 y) (* x (/ (- 1 z) y))))

analyze633.0ms (0.7%)

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 97 computations (39.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 296.0ms
ival-mult: 101.0ms (34.2% of total)
ival-add: 42.0ms (14.2% of total)
ival-div: 35.0ms (11.8% of total)
ival-sub: 31.0ms (10.5% of total)
ival-sqrt: 24.0ms (8.1% of total)
ival-neg: 19.0ms (6.4% of total)
ival-if: 15.0ms (5.1% of total)
ival->=: 15.0ms (5.1% of total)
const: 7.0ms (2.4% of total)
ival-fabs: 4.0ms (1.4% of total)
backward-pass: 2.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...