Herbie run

Date:Tuesday, June 4th, 2024
Commit:c568861b on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024156
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: 6.6min)

sample1.5min (22.4%)

Results
33.5s281807×0valid
16.1s51536×1valid
12.8s24089×5exit
6.1s13409×2valid
445.0ms4239×0invalid
143.0ms964×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 51.6s
ival-mult: 11.9s (23.1% of total)
ival-pow: 6.9s (13.5% of total)
ival-add: 5.8s (11.3% of total)
backward-pass: 4.3s (8.3% of total)
ival-sub: 3.6s (7% of total)
ival-div: 3.4s (6.7% of total)
ival-<=: 2.9s (5.6% of total)
...c/correct-round.rkt:119:19: 2.8s (5.4% of total)
ival-sin: 2.2s (4.3% of total)
compiled-spec: 2.2s (4.2% of total)
ival-exp: 842.0ms (1.6% of total)
const: 832.0ms (1.6% of total)
ival-log: 713.0ms (1.4% of total)
ival-sqrt: 693.0ms (1.3% of total)
ival-cos: 659.0ms (1.3% of total)
ival-neg: 477.0ms (0.9% of total)
ival-and: 474.0ms (0.9% of total)
ival-==: 369.0ms (0.7% of total)
ival-tan: 159.0ms (0.3% of total)
ival-atan: 117.0ms (0.2% of total)
ival-<: 102.0ms (0.2% of total)
ival-pi: 58.0ms (0.1% of total)
ival-if: 8.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)
Bogosity

soundness1.3min (19.3%)

Rules
635836×*-lowering-*.f32
635836×*-lowering-*.f64
350066×+-lowering-+.f32
350066×+-lowering-+.f64
298384×/-lowering-/.f64
Stop Event
12×saturated
184×iter limit
176×node limit
25×fuel
17×done
Compiler

Compiled 25164 to 12002 computations (52.3% saved)

simplify1.0min (15.6%)

Algorithm
334×egg-herbie
Rules
763712×*-lowering-*.f32
763712×*-lowering-*.f64
438382×+-lowering-+.f32
438382×+-lowering-+.f64
298864×fma-lowering-fma.f64
Stop Event
282×iter limit
121×saturated
223×node limit
Counts
37176 → 37176

rewrite54.0s (13.7%)

Algorithm
146×batch-egg-rewrite
Rules
491702×*-lowering-*.f32
491702×*-lowering-*.f64
373964×/-lowering-/.f64
373964×/-lowering-/.f32
198920×+-lowering-+.f32
Stop Event
12×saturated
143×iter limit
139×node limit
Counts
1846 → 78240

localize26.8s (6.8%)

Results
10.5s32477×0valid
3.0s2669×1valid
2.9s1456×2valid
947.0ms364×5exit
503.0ms157×3valid
219.0ms250×0invalid
8.0ms2×4valid
5.0ms1×5valid
Compiler

Compiled 38291 to 3704 computations (90.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.8s
ival-mult: 3.5s (32.4% of total)
ival-div: 2.6s (24.1% of total)
ival-add: 1.3s (12.4% of total)
backward-pass: 756.0ms (7% of total)
...c/correct-round.rkt:119:19: 728.0ms (6.7% of total)
ival-sub: 551.0ms (5.1% of total)
ival-pow: 443.0ms (4.1% of total)
compiled-spec: 289.0ms (2.7% of total)
ival-exp: 170.0ms (1.6% of total)
const: 114.0ms (1.1% of total)
ival-log: 101.0ms (0.9% of total)
ival-sqrt: 65.0ms (0.6% of total)
ival-sin: 52.0ms (0.5% of total)
ival-cos: 35.0ms (0.3% of total)
ival-atan: 35.0ms (0.3% of total)
ival-neg: 16.0ms (0.1% of total)
ival-tan: 10.0ms (0.1% of total)
ival-pi: 5.0ms (0% of total)

eval22.4s (5.7%)

Compiler

Compiled 5537099 to 322469 computations (94.2% saved)

prune19.9s (5%)

Counts
139017 → 3030
Compiler

Compiled 187211 to 73874 computations (60.5% saved)

bsearch10.8s (2.7%)

Algorithm
361×binary-search
26×left-value
Stop Event
14×predicate-same
347×narrow-enough
Results
5.4s38094×0valid
1.5s5060×1valid
239.0ms2892×0invalid
214.0ms526×2valid
4.0ms25×0unsamplable
Compiler

Compiled 90508 to 59778 computations (34% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.5s
ival-mult: 1.9s (35.4% of total)
ival-pow: 897.0ms (16.4% of total)
ival-div: 802.0ms (14.7% of total)
ival-add: 778.0ms (14.3% of total)
ival-sub: 631.0ms (11.6% of total)
backward-pass: 106.0ms (1.9% of total)
const: 97.0ms (1.8% of total)
ival-exp: 74.0ms (1.4% of total)
ival-neg: 58.0ms (1.1% of total)
ival-sqrt: 40.0ms (0.7% of total)
ival-log: 25.0ms (0.5% of total)
...c/correct-round.rkt:119:19: 14.0ms (0.3% of total)
ival-pi: 5.0ms (0.1% of total)

regimes9.6s (2.4%)

Counts
9420 → 730
Calls

96 calls:

1.4s
x
567.0ms
x1
484.0ms
b
374.0ms
a
354.0ms
(/.f64 #s(literal 10 binary64) (-.f64 #s(literal 1 binary64) (*.f64 x x)))
Compiler

Compiled 3828 to 2409 computations (37.1% saved)

preprocess9.5s (2.4%)

Algorithm
84×egg-herbie
Rules
65240×fnmadd-define
62928×sum3-define
53926×fmsub-define
53334×fma-define
48410×sum4-define
Stop Event
44×saturated
40×iter limit
42×node limit
Compiler

Compiled 26182 to 7908 computations (69.8% saved)

explain7.3s (1.9%)

Results
2.1s16476×0valid
1.6s3764×1valid
851.0ms1024×2valid
139.0ms228×5exit
17.0ms12×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.8s
ival-mult: 749.0ms (27.1% of total)
ival-div: 418.0ms (15.1% of total)
ival-pow: 377.0ms (13.6% of total)
ival-add: 283.0ms (10.2% of total)
backward-pass: 276.0ms (10% of total)
ival-sub: 193.0ms (7% of total)
ival-sin: 112.0ms (4.1% of total)
ival-exp: 63.0ms (2.3% of total)
ival-log: 53.0ms (1.9% of total)
...c/correct-round.rkt:119:19: 51.0ms (1.8% of total)
ival-neg: 47.0ms (1.7% of total)
const: 47.0ms (1.7% of total)
ival-cos: 32.0ms (1.2% of total)
ival-sqrt: 24.0ms (0.9% of total)
compiled-spec: 18.0ms (0.7% of total)
ival-tan: 9.0ms (0.3% of total)
ival-atan: 6.0ms (0.2% of total)
ival-pi: 2.0ms (0.1% of total)

analyze4.7s (1.2%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
35.2%19.2%35.3%45.5%0%0%0%2
47.6%25.7%28.3%45.5%0%0.6%0%3
57.1%30.5%22.8%45.5%0%1.2%0%4
70.9%37.5%15.4%45.6%0%1.5%0%5
72.8%38.4%14.4%45.6%0%1.7%0%6
77.8%40.7%11.6%45.6%0%2%0%7
81.4%42.5%9.7%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.2%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 688 computations (52.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0s
ival-mult: 740.0ms (24.7% of total)
ival-add: 453.0ms (15.1% of total)
ival-pow: 378.0ms (12.6% of total)
ival-div: 311.0ms (10.4% of total)
ival-sub: 265.0ms (8.8% of total)
ival-<=: 203.0ms (6.8% of total)
ival-sqrt: 160.0ms (5.3% of total)
ival-exp: 115.0ms (3.8% of total)
ival-if: 65.0ms (2.2% of total)
ival-==: 56.0ms (1.9% of total)
ival-fabs: 54.0ms (1.8% of total)
const: 47.0ms (1.6% of total)
...c/correct-round.rkt:119:19: 45.0ms (1.5% of total)
ival-<: 30.0ms (1% of total)
ival-and: 28.0ms (0.9% of total)
ival-neg: 26.0ms (0.9% of total)
backward-pass: 10.0ms (0.3% of total)
ival-pi: 6.0ms (0.2% of total)
ival-cos: 2.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival-tan: 0.0ms (0% of total)
ival-sin: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)
compiled-spec: 0.0ms (0% of total)

series3.5s (0.9%)

Counts
1846 → 37176
Calls

7629 calls:

TimeVariablePointExpression
127.0ms
x1
@-inf
(+ (* (* x1 x1) -6) (/ (* x1 (+ (+ -6 (/ (+ (* 2 x2) (* x1 (+ (* x1 3) -1))) (/ (+ (* x1 x1) 1) 2))) (* x1 4))) (/ (+ (* x1 x1) 1) (+ (* 2 x2) (* x1 (+ (* x1 3) -1))))))
69.0ms
eps
@-inf
(+ 1 (* x (+ (+ (* (+ 1/2 (/ 1/2 eps)) (+ eps -1)) (* (+ 1 eps) (+ (/ 1/2 eps) -1/2))) (* x (+ (* x (* 1/6 (+ (* (+ 1/2 (/ 1/2 eps)) (* (+ eps -1) (* (+ eps -1) (+ eps -1)))) (* (+ 1 eps) (* (+ (/ 1/2 eps) -1/2) (* (+ 1 eps) (+ 1 eps))))))) (* 1/2 (+ (* (+ 1/2 (/ 1/2 eps)) (* (+ eps -1) (+ eps -1))) (* (- -1 eps) (* (+ 1 eps) (+ (/ 1/2 eps) -1/2))))))))))
68.0ms
c
@inf
(/ (* (- (* c c) (* d d)) a) (- c d))
40.0ms
a
@inf
(/ (+ b (sqrt (+ (* b b) (* a (* c -4))))) (* a -2))
34.0ms
x
@inf
(+ 5 (/ (* 10 eps) x))

end0.0ms (0%)

Profiling

Loading profile data...