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: 6.4min)

sample1.6min (24.1%)

Results
34.5s282062×0valid
17.6s24451×5exit
16.1s51545×1valid
6.1s13145×2valid
390.0ms4081×0invalid
124.0ms926×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 54.8s
ival-mult: 12.3s (22.5% of total)
backward-pass: 6.8s (12.4% of total)
ival-add: 6.4s (11.6% of total)
ival-pow: 4.6s (8.4% of total)
ival-sub: 4.0s (7.2% of total)
ival-div: 3.9s (7.2% of total)
compiled-spec: 3.5s (6.5% of total)
...c/correct-round.rkt:119:19: 2.8s (5% of total)
ival-<=: 2.6s (4.8% of total)
ival-sin: 1.9s (3.4% of total)
ival-exp: 1.0s (1.9% of total)
ival-log: 923.0ms (1.7% of total)
const: 897.0ms (1.6% of total)
ival-cos: 655.0ms (1.2% of total)
ival-and: 593.0ms (1.1% of total)
ival-neg: 540.0ms (1% of total)
ival-==: 500.0ms (0.9% of total)
ival-sqrt: 443.0ms (0.8% of total)
ival-<: 151.0ms (0.3% of total)
ival-tan: 136.0ms (0.2% of total)
ival-atan: 81.0ms (0.1% of total)
ival-pi: 40.0ms (0.1% of total)
ival-if: 9.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)
Bogosity

soundness1.1min (17.2%)

Rules
599600×*-lowering-*.f32
599600×*-lowering-*.f64
321018×+-lowering-+.f32
321018×+-lowering-+.f64
272318×/-lowering-/.f64
Stop Event
12×saturated
173×iter limit
164×node limit
25×fuel
17×done
Compiler

Compiled 19366 to 9901 computations (48.9% saved)

simplify1.0min (15.5%)

Algorithm
328×egg-herbie
Rules
739176×*-lowering-*.f32
739176×*-lowering-*.f64
418932×+-lowering-+.f32
418932×+-lowering-+.f64
290896×fma-lowering-fma.f64
Stop Event
276×iter limit
118×saturated
220×node limit
Counts
35772 → 35772

rewrite52.9s (13.7%)

Algorithm
143×batch-egg-rewrite
Rules
489430×*-lowering-*.f32
489430×*-lowering-*.f64
380884×/-lowering-/.f64
380884×/-lowering-/.f32
204110×+-lowering-+.f32
Stop Event
11×saturated
139×iter limit
137×node limit
Counts
1793 → 74677

localize30.4s (7.9%)

Results
13.0s31232×0valid
4.0s1868×2valid
3.6s2818×1valid
1.2s343×3valid
835.0ms232×5exit
81.0ms103×0invalid
46.0ms10×4valid
19.0ms2×5valid
Compiler

Compiled 34168 to 3440 computations (89.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.1s
ival-mult: 2.9s (32.1% of total)
ival-div: 1.6s (17.9% of total)
ival-add: 1.2s (13.6% of total)
backward-pass: 1.1s (11.7% of total)
...c/correct-round.rkt:119:19: 610.0ms (6.7% of total)
ival-sub: 464.0ms (5.1% of total)
ival-pow: 308.0ms (3.4% of total)
compiled-spec: 179.0ms (2% of total)
ival-sin: 154.0ms (1.7% of total)
ival-exp: 122.0ms (1.3% of total)
const: 119.0ms (1.3% of total)
ival-log: 75.0ms (0.8% of total)
ival-neg: 59.0ms (0.6% of total)
ival-sqrt: 58.0ms (0.6% of total)
ival-tan: 30.0ms (0.3% of total)
ival-atan: 30.0ms (0.3% of total)
ival-cos: 27.0ms (0.3% of total)
ival-pi: 5.0ms (0.1% of total)

eval22.5s (5.8%)

Compiler

Compiled 5179825 to 316769 computations (93.9% saved)

prune19.5s (5%)

Counts
134449 → 2565
Compiler

Compiled 144594 to 59047 computations (59.2% saved)

explain9.8s (2.5%)

Results
3.4s3756×1valid
2.9s16332×0valid
916.0ms1142×2valid
256.0ms258×5exit
27.0ms16×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 620.0ms (24.1% of total)
ival-add: 357.0ms (13.9% of total)
backward-pass: 298.0ms (11.6% of total)
ival-pow: 272.0ms (10.6% of total)
ival-sub: 266.0ms (10.4% of total)
ival-div: 228.0ms (8.9% of total)
ival-sin: 200.0ms (7.8% of total)
...c/correct-round.rkt:119:19: 54.0ms (2.1% of total)
ival-log: 53.0ms (2.1% of total)
const: 52.0ms (2% of total)
ival-exp: 41.0ms (1.6% of total)
ival-cos: 36.0ms (1.4% of total)
ival-neg: 26.0ms (1% of total)
ival-sqrt: 25.0ms (1% of total)
compiled-spec: 22.0ms (0.9% of total)
ival-tan: 8.0ms (0.3% of total)
ival-atan: 6.0ms (0.2% of total)
ival-pi: 4.0ms (0.2% of total)

preprocess9.0s (2.3%)

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 20590 to 7202 computations (65% saved)

bsearch7.4s (1.9%)

Algorithm
255×binary-search
12×left-value
Stop Event
9×predicate-same
246×narrow-enough
Results
3.9s28224×0valid
1.1s3752×1valid
183.0ms1786×0invalid
107.0ms216×2valid
5.0ms37×0unsamplable
Compiler

Compiled 60129 to 39377 computations (34.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-mult: 1.1s (32% of total)
ival-div: 646.0ms (18.5% of total)
ival-pow: 487.0ms (14% of total)
ival-add: 472.0ms (13.5% of total)
ival-sub: 420.0ms (12% of total)
backward-pass: 95.0ms (2.7% of total)
const: 71.0ms (2% of total)
ival-sqrt: 58.0ms (1.7% of total)
ival-neg: 56.0ms (1.6% of total)
ival-exp: 54.0ms (1.5% of total)
...c/correct-round.rkt:119:19: 5.0ms (0.1% of total)
ival-log: 4.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

regimes7.0s (1.8%)

Counts
7602 → 569
Calls

96 calls:

1.3s
x
560.0ms
b
366.0ms
d
271.0ms
eps
248.0ms
c
Compiler

Compiled 3500 to 2272 computations (35.1% saved)

analyze5.1s (1.3%)

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: 2.9s
ival-mult: 670.0ms (23.2% of total)
ival-div: 404.0ms (14% of total)
ival-add: 338.0ms (11.7% of total)
ival-pow: 300.0ms (10.4% of total)
ival-sub: 280.0ms (9.7% of total)
ival-<=: 182.0ms (6.3% of total)
...c/correct-round.rkt:119:19: 140.0ms (4.8% of total)
ival-exp: 136.0ms (4.7% of total)
ival-sqrt: 101.0ms (3.5% of total)
ival-fabs: 69.0ms (2.4% of total)
ival-if: 66.0ms (2.3% of total)
const: 51.0ms (1.8% of total)
ival-and: 42.0ms (1.5% of total)
ival-==: 37.0ms (1.3% of total)
ival-neg: 31.0ms (1.1% of total)
ival-<: 20.0ms (0.7% of total)
backward-pass: 11.0ms (0.4% of total)
ival-pi: 7.0ms (0.2% of total)
ival-cos: 2.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival-log: 1.0ms (0% of total)
ival-tan: 0.0ms (0% of total)
ival-sin: 0.0ms (0% of total)
compiled-spec: 0.0ms (0% of total)

series3.1s (0.8%)

Counts
1793 → 35772
Calls

7404 calls:

TimeVariablePointExpression
53.0ms
i
@-inf
(- (/ n (/ i -100)) (/ (pow (+ 1 (/ i n)) n) (/ (/ i n) -100)))
48.0ms
v
@-inf
(/ v (- 0 t1))
39.0ms
x2
@-inf
(* (+ (* x1 x1) 1) (+ (* x1 (* x1 -6)) (* (/ (+ (* 2 x2) (* x1 (+ (* x1 3) -1))) (+ (* x1 x1) 1)) (* x1 (+ (* 4 x2) -6)))))
30.0ms
x
@0
(+ (- (* 9 (pow x 4)) (pow y 4)) (* 2 (* y y)))
30.0ms
y
@-inf
(/ (- (* (* (* x x) (* (* x x) 4)) (* x (- (* x -2) (/ 1/2 y)))) (* (* x (- (* x -2) (/ 1/2 y))) (/ x (/ (* (* y y) 4) x)))) (* (* x (- (* x -2) (/ 1/2 y))) (* x (- (* x -2) (/ 1/2 y)))))

end0.0ms (0%)

Profiling

Loading profile data...