Herbie run

Date:Wednesday, May 29th, 2024
Commit:65079e0a on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024150
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.5min)

soundness18.3s (20.4%)

Rules
125038×*-lowering-*.f32
125038×*-lowering-*.f64
67218×/-lowering-/.f64
67218×/-lowering-/.f32
65140×+-lowering-+.f32
Stop Event
3×saturated
42×iter limit
38×node limit
6×fuel
3×done
Compiler

Compiled 7230 to 3721 computations (48.5% saved)

simplify17.7s (19.7%)

Algorithm
73×egg-herbie
Rules
144806×*-lowering-*.f32
144806×*-lowering-*.f64
77376×+-lowering-+.f32
77376×+-lowering-+.f64
61770×fma-lowering-fma.f64
Stop Event
64×iter limit
26×saturated
48×node limit
1×unsound
Counts
9072 → 9072

rewrite11.2s (12.5%)

Algorithm
32×batch-egg-rewrite
Rules
93780×*-lowering-*.f32
93780×*-lowering-*.f64
90930×/-lowering-/.f64
90930×/-lowering-/.f32
42102×+-lowering-+.f32
Stop Event
2×saturated
32×iter limit
31×node limit
Counts
411 → 21325

sample10.4s (11.6%)

Results
6.3s70186×0valid
1.1s4112×2valid
313.0ms1960×0invalid
1.0ms6×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.3s
ival-mult: 1.3s (25.4% of total)
ival-div: 1.1s (21.3% of total)
ival-sub: 727.0ms (13.7% of total)
ival-sqrt: 528.0ms (10% of total)
ival-if: 337.0ms (6.4% of total)
ival-neg: 246.0ms (4.6% of total)
ival-add: 243.0ms (4.6% of total)
ival->=: 173.0ms (3.3% of total)
backward-pass: 130.0ms (2.5% of total)
const: 117.0ms (2.2% of total)
ival-log: 106.0ms (2% of total)
ival-exp: 105.0ms (2% of total)
ival-fabs: 105.0ms (2% of total)
Bogosity

eval7.1s (8%)

Compiler

Compiled 1436749 to 88520 computations (93.8% saved)

prune6.7s (7.4%)

Counts
40404 → 563
Compiler

Compiled 28900 to 12372 computations (57.2% saved)

localize6.4s (7.1%)

Results
1.7s6649×0valid
933.0ms534×2valid
673.0ms437×0invalid
411.0ms100×5exit
338.0ms266×1valid
253.0ms76×3valid
33.0ms130×0unsamplable
Compiler

Compiled 7318 to 769 computations (89.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-div: 504.0ms (21.2% of total)
ival-mult: 470.0ms (19.8% of total)
ival-if: 410.0ms (17.2% of total)
backward-pass: 232.0ms (9.8% of total)
ival-add: 229.0ms (9.6% of total)
ival-sub: 151.0ms (6.4% of total)
ival-pow: 75.0ms (3.2% of total)
ival-fabs: 73.0ms (3.1% of total)
ival-sqrt: 70.0ms (2.9% of total)
compiled-spec: 43.0ms (1.8% of total)
const: 27.0ms (1.1% of total)
ival-log: 26.0ms (1.1% of total)
ival->=: 23.0ms (1% of total)
ival-exp: 21.0ms (0.9% of total)
ival-neg: 10.0ms (0.4% of total)
...c/correct-round.rkt:119:19: 8.0ms (0.3% of total)
ival-e: 5.0ms (0.2% of total)

bsearch5.4s (6.1%)

Algorithm
56×binary-search
18×left-value
Stop Event
6×predicate-same
50×narrow-enough
Results
3.0s7152×0valid
126.0ms739×0invalid
Compiler

Compiled 16987 to 11110 computations (34.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.8s
ival-mult: 2.3s (82.7% of total)
ival-sub: 141.0ms (5.1% of total)
ival-div: 113.0ms (4.1% of total)
ival-neg: 63.0ms (2.3% of total)
ival-add: 45.0ms (1.6% of total)
ival-sqrt: 40.0ms (1.4% of total)
ival-if: 21.0ms (0.8% of total)
ival->=: 21.0ms (0.8% of total)
ival-fabs: 19.0ms (0.7% of total)
const: 13.0ms (0.5% of total)
ival-exp: 3.0ms (0.1% of total)
backward-pass: 3.0ms (0.1% of total)

regimes2.0s (2.3%)

Counts
1551 → 146
Calls

26 calls:

346.0ms
b
285.0ms
(*.f64 x x)
244.0ms
a
234.0ms
x
70.0ms
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)) (/.f64 (*.f64 #s(literal 2 binary64) c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))))
Compiler

Compiled 725 to 469 computations (35.3% saved)

preprocess1.6s (1.8%)

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 5482 to 1346 computations (75.4% saved)

explain1.3s (1.4%)

Results
369.0ms700×2valid
358.0ms3696×0valid
76.0ms196×1valid
16.0ms16×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 460.0ms
ival-mult: 103.0ms (22.4% of total)
ival-div: 84.0ms (18.3% of total)
ival-sqrt: 76.0ms (16.5% of total)
ival-sub: 59.0ms (12.8% of total)
backward-pass: 45.0ms (9.8% of total)
ival-neg: 26.0ms (5.7% of total)
ival-add: 19.0ms (4.1% of total)
ival-if: 14.0ms (3% of total)
const: 9.0ms (2% of total)
ival-fabs: 9.0ms (2% of total)
ival->=: 6.0ms (1.3% of total)
ival-log: 6.0ms (1.3% of total)
ival-exp: 4.0ms (0.9% of total)

series798.0ms (0.9%)

Counts
411 → 9072
Calls

1836 calls:

TimeVariablePointExpression
39.0ms
x
@0
(log x)
23.0ms
c
@-inf
(if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a)))
22.0ms
a
@0
(/ (* c 2) (+ (* (pow (+ (* b b) (* c (* a -4))) 1/4) (pow (+ (* b b) (* c (* a -4))) 1/4)) (- 0 b)))
19.0ms
a
@-inf
(* (/ -2 (+ b (sqrt (+ (* b b) (* (* c a) -4))))) c)
18.0ms
x
@-inf
(log x)

analyze660.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: 338.0ms
ival-mult: 132.0ms (39.1% of total)
ival-sub: 45.0ms (13.3% of total)
ival-div: 35.0ms (10.4% of total)
ival->=: 28.0ms (8.3% of total)
ival-sqrt: 25.0ms (7.4% of total)
ival-add: 24.0ms (7.1% of total)
ival-neg: 20.0ms (5.9% of total)
ival-if: 16.0ms (4.7% of total)
const: 7.0ms (2.1% 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...