Herbie run

Date:Tuesday, June 11th, 2024
Commit:1794cb89 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024163
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)

soundness18.4s (22.1%)

Rules
140824×*-lowering-*.f32
140824×*-lowering-*.f64
73262×+-lowering-+.f32
73262×+-lowering-+.f64
64128×/-lowering-/.f64
Stop Event
3×saturated
43×iter limit
40×node limit
6×fuel
3×done
Compiler

Compiled 5763 to 3174 computations (44.9% saved)

simplify14.5s (17.4%)

Algorithm
75×egg-herbie
Rules
150276×*-lowering-*.f32
150276×*-lowering-*.f64
81528×+-lowering-+.f32
81528×+-lowering-+.f64
64034×fma-lowering-fma.f64
Stop Event
62×iter limit
33×saturated
46×node limit
Counts
8976 → 8976

rewrite11.2s (13.4%)

Algorithm
33×batch-egg-rewrite
Rules
93076×*-lowering-*.f32
93076×*-lowering-*.f64
84920×/-lowering-/.f64
84920×/-lowering-/.f32
42666×+-lowering-+.f32
Stop Event
4×saturated
33×iter limit
30×node limit
1×unsound
Counts
404 → 21143

sample11.0s (13.2%)

Results
6.5s70100×0valid
1.2s4199×2valid
306.0ms1920×0invalid
1.0ms5×1valid
Precisions
Click to see histograms. Total time spent on operations: 4.9s
ival-mult: 1.2s (24.1% of total)
ival-div: 1.0s (21.5% of total)
ival-sqrt: 779.0ms (15.9% of total)
ival-sub: 654.0ms (13.4% of total)
ival-neg: 248.0ms (5.1% of total)
ival-add: 230.0ms (4.7% of total)
backward-pass: 130.0ms (2.7% of total)
const: 119.0ms (2.4% of total)
ival->=: 112.0ms (2.3% of total)
ival-log: 110.0ms (2.3% of total)
ival-fabs: 104.0ms (2.1% of total)
ival-if: 100.0ms (2% of total)
ival-exp: 73.0ms (1.5% of total)
Bogosity

localize8.1s (9.7%)

Results
3.2s7184×0valid
1.8s699×2valid
522.0ms311×1valid
454.0ms100×3valid
189.0ms154×0invalid
Compiler

Compiled 7576 to 787 computations (89.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-div: 475.0ms (23.4% of total)
ival-mult: 462.0ms (22.7% of total)
backward-pass: 298.0ms (14.7% of total)
ival-add: 230.0ms (11.3% of total)
ival-sub: 155.0ms (7.6% of total)
ival-sqrt: 112.0ms (5.5% of total)
ival-pow: 80.0ms (3.9% of total)
ival-if: 72.0ms (3.5% of total)
ival-fabs: 62.0ms (3% of total)
const: 27.0ms (1.3% of total)
...c/correct-round.rkt:119:19: 27.0ms (1.3% of total)
ival->=: 14.0ms (0.7% of total)
ival-log: 10.0ms (0.5% of total)
ival-exp: 9.0ms (0.4% of total)
ival-neg: 1.0ms (0% of total)

eval6.4s (7.7%)

Compiler

Compiled 1258008 to 81973 computations (93.5% saved)

prune5.2s (6.2%)

Counts
37867 → 532
Compiler

Compiled 24784 to 11138 computations (55.1% saved)

explain1.9s (2.3%)

Results
708.0ms726×2valid
568.0ms3686×0valid
158.0ms182×1valid
13.0ms14×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 567.0ms
ival-mult: 193.0ms (34% of total)
backward-pass: 89.0ms (15.7% of total)
ival-div: 88.0ms (15.5% of total)
ival-sub: 71.0ms (12.5% of total)
ival-sqrt: 38.0ms (6.7% of total)
ival-neg: 23.0ms (4.1% of total)
ival-add: 21.0ms (3.7% of total)
ival-if: 12.0ms (2.1% of total)
const: 9.0ms (1.6% of total)
ival-fabs: 8.0ms (1.4% of total)
ival-log: 6.0ms (1.1% of total)
ival->=: 5.0ms (0.9% of total)
ival-exp: 4.0ms (0.7% of total)

preprocess1.9s (2.3%)

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 4134 to 1242 computations (70% saved)

regimes1.8s (2.2%)

Counts
1594 → 140
Calls

26 calls:

356.0ms
b
246.0ms
a
216.0ms
x
140.0ms
c
70.0ms
(*.f64 x x)
Compiler

Compiled 654 to 429 computations (34.4% saved)

bsearch1.4s (1.6%)

Algorithm
59×binary-search
10×left-value
Stop Event
8×predicate-same
51×narrow-enough
Results
872.0ms6672×0valid
49.0ms375×0invalid
Compiler

Compiled 13246 to 9003 computations (32% saved)

Precisions
Click to see histograms. Total time spent on operations: 566.0ms
ival-mult: 191.0ms (33.8% of total)
ival-div: 101.0ms (17.8% of total)
ival-sub: 56.0ms (9.9% of total)
ival-if: 50.0ms (8.8% of total)
ival-add: 42.0ms (7.4% of total)
ival-sqrt: 38.0ms (6.7% of total)
ival->=: 32.0ms (5.7% of total)
ival-neg: 28.0ms (4.9% of total)
const: 12.0ms (2.1% of total)
ival-fabs: 11.0ms (1.9% of total)
backward-pass: 3.0ms (0.5% of total)
ival-exp: 1.0ms (0.2% of total)

series996.0ms (1.2%)

Counts
404 → 8976
Calls

1698 calls:

TimeVariablePointExpression
350.0ms
x
@0
(* x x)
26.0ms
f
@0
(/ 1 (+ f n))
25.0ms
x
@0
(log x)
21.0ms
x
@-inf
(log x)
21.0ms
b
@0
(/ (* c -2) (+ (/ (* -2 (* c a)) b) (* b 2)))

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

Precisions
Click to see histograms. Total time spent on operations: 320.0ms
ival-mult: 110.0ms (34.4% of total)
ival-div: 47.0ms (14.7% of total)
ival-sub: 46.0ms (14.4% of total)
ival->=: 29.0ms (9.1% of total)
ival-add: 23.0ms (7.2% of total)
ival-sqrt: 21.0ms (6.6% of total)
ival-neg: 17.0ms (5.3% of total)
ival-if: 15.0ms (4.7% of total)
const: 7.0ms (2.2% of total)
ival-fabs: 4.0ms (1.2% of total)
backward-pass: 2.0ms (0.6% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...