Herbie run

Date:Thursday, June 6th, 2024
Commit:b2854467 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024158
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.6min (23.9%)

Results
35.0s282097×0valid
16.9s51435×1valid
16.8s23621×5exit
6.5s13220×2valid
464.0ms4271×0invalid
146.0ms965×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 54.7s
ival-mult: 10.9s (19.9% of total)
ival-pow: 7.1s (12.9% of total)
backward-pass: 6.7s (12.3% of total)
ival-add: 6.0s (11% of total)
ival-sub: 4.6s (8.5% of total)
ival-div: 3.4s (6.2% of total)
ival-<=: 3.1s (5.7% of total)
compiled-spec: 3.0s (5.5% of total)
...c/correct-round.rkt:119:19: 2.7s (4.9% of total)
ival-sin: 1.8s (3.4% of total)
const: 840.0ms (1.5% of total)
ival-exp: 787.0ms (1.4% of total)
ival-log: 736.0ms (1.3% of total)
ival-cos: 628.0ms (1.1% of total)
ival-sqrt: 592.0ms (1.1% of total)
ival-neg: 503.0ms (0.9% of total)
ival-and: 446.0ms (0.8% of total)
ival-==: 319.0ms (0.6% of total)
ival-tan: 185.0ms (0.3% of total)
ival-<: 160.0ms (0.3% of total)
ival-atan: 110.0ms (0.2% of total)
ival-pi: 38.0ms (0.1% of total)
ival-if: 20.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)
Bogosity

soundness1.2min (18.6%)

Rules
654728×*-lowering-*.f32
654728×*-lowering-*.f64
356478×+-lowering-+.f32
356478×+-lowering-+.f64
307108×/-lowering-/.f64
Stop Event
12×saturated
186×iter limit
178×node limit
24×fuel
18×done
Compiler

Compiled 21629 to 10973 computations (49.3% saved)

simplify59.4s (15.1%)

Algorithm
332×egg-herbie
Rules
718320×*-lowering-*.f32
718320×*-lowering-*.f64
418870×+-lowering-+.f32
418870×+-lowering-+.f64
280572×fma-lowering-fma.f64
Stop Event
276×iter limit
135×saturated
211×node limit
Counts
35172 → 35172

rewrite52.3s (13.3%)

Algorithm
145×batch-egg-rewrite
Rules
480948×*-lowering-*.f32
480948×*-lowering-*.f64
380954×/-lowering-/.f64
380954×/-lowering-/.f32
201012×+-lowering-+.f32
Stop Event
15×saturated
141×iter limit
137×node limit
Counts
1768 → 76032

localize29.2s (7.4%)

Results
12.9s32499×0valid
3.9s2581×1valid
2.4s1194×2valid
1.8s464×5exit
832.0ms196×3valid
131.0ms134×0invalid
69.0ms14×4valid
19.0ms38×0unsamplable
Compiler

Compiled 34023 to 3471 computations (89.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.2s
ival-mult: 3.0s (33% of total)
ival-div: 1.5s (16.6% of total)
ival-add: 1.2s (13.2% of total)
backward-pass: 956.0ms (10.4% of total)
...c/correct-round.rkt:119:19: 672.0ms (7.3% of total)
ival-sub: 404.0ms (4.4% of total)
ival-pow: 382.0ms (4.1% of total)
ival-log: 256.0ms (2.8% of total)
ival-exp: 185.0ms (2% of total)
compiled-spec: 153.0ms (1.7% of total)
ival-cos: 117.0ms (1.3% of total)
const: 105.0ms (1.1% of total)
ival-sin: 65.0ms (0.7% of total)
ival-sqrt: 60.0ms (0.7% of total)
ival-atan: 32.0ms (0.3% of total)
ival-neg: 25.0ms (0.3% of total)
ival-tan: 13.0ms (0.1% of total)
ival-pi: 6.0ms (0.1% of total)
ival-cbrt: 2.0ms (0% of total)

eval22.0s (5.6%)

Compiler

Compiled 5211208 to 312187 computations (94% saved)

prune20.0s (5.1%)

Counts
135275 → 2887
Compiler

Compiled 177116 to 67763 computations (61.7% saved)

explain9.7s (2.5%)

Results
3.3s3714×1valid
2.8s16458×0valid
721.0ms1078×2valid
208.0ms244×5exit
20.0ms10×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 621.0ms (25.5% of total)
ival-pow: 354.0ms (14.5% of total)
ival-add: 332.0ms (13.6% of total)
backward-pass: 264.0ms (10.8% of total)
ival-div: 195.0ms (8% of total)
ival-sub: 183.0ms (7.5% of total)
ival-sin: 106.0ms (4.3% of total)
ival-exp: 64.0ms (2.6% of total)
ival-cos: 55.0ms (2.3% of total)
ival-log: 53.0ms (2.2% of total)
...c/correct-round.rkt:119:19: 51.0ms (2.1% of total)
const: 50.0ms (2.1% of total)
ival-sqrt: 48.0ms (2% of total)
ival-neg: 26.0ms (1.1% of total)
compiled-spec: 22.0ms (0.9% of total)
ival-tan: 7.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-pi: 2.0ms (0.1% of total)

bsearch9.7s (2.5%)

Algorithm
285×binary-search
18×left-value
Stop Event
14×predicate-same
271×narrow-enough
Results
4.7s31597×0valid
1.7s4914×1valid
457.0ms897×2valid
175.0ms1614×0invalid
23.0ms127×0unsamplable
Compiler

Compiled 75149 to 48480 computations (35.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0s
ival-mult: 1.5s (31.1% of total)
ival-pow: 879.0ms (17.7% of total)
ival-div: 864.0ms (17.4% of total)
ival-add: 562.0ms (11.3% of total)
ival-sub: 475.0ms (9.6% of total)
backward-pass: 166.0ms (3.4% of total)
ival-neg: 160.0ms (3.2% of total)
ival-exp: 149.0ms (3% of total)
const: 76.0ms (1.5% of total)
ival-sqrt: 57.0ms (1.2% of total)
...c/correct-round.rkt:119:19: 12.0ms (0.2% of total)
ival-log: 9.0ms (0.2% of total)
ival-pi: 5.0ms (0.1% of total)

preprocess8.5s (2.1%)

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 23566 to 7646 computations (67.6% saved)

regimes7.5s (1.9%)

Counts
7644 → 614
Calls

96 calls:

1.2s
x
582.0ms
b
290.0ms
a
275.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
263.0ms
eps
Compiler

Compiled 3435 to 2222 computations (35.3% saved)

analyze5.0s (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.8s
ival-mult: 606.0ms (21.5% of total)
ival-div: 396.0ms (14.1% of total)
ival-add: 354.0ms (12.6% of total)
ival-sub: 335.0ms (11.9% of total)
ival-pow: 322.0ms (11.4% of total)
ival-<=: 193.0ms (6.9% of total)
ival-exp: 104.0ms (3.7% of total)
ival-sqrt: 102.0ms (3.6% of total)
ival-==: 85.0ms (3% of total)
ival-if: 75.0ms (2.7% of total)
...c/correct-round.rkt:119:19: 48.0ms (1.7% of total)
ival-fabs: 47.0ms (1.7% of total)
const: 45.0ms (1.6% of total)
ival-and: 28.0ms (1% of total)
ival-neg: 26.0ms (0.9% of total)
ival-<: 23.0ms (0.8% of total)
backward-pass: 12.0ms (0.4% of total)
ival-pi: 12.0ms (0.4% of total)
ival-cos: 3.0ms (0.1% of total)
ival-log: 1.0ms (0% of total)
ival-atan: 0.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.0s (0.8%)

Counts
1768 → 35172
Calls

7254 calls:

TimeVariablePointExpression
51.0ms
x
@0
(+ (exp (* x eps)) (/ (/ 1 (exp x)) (exp (* x eps))))
46.0ms
t1
@0
(/ (* (neg t1) v) (* (+ t1 u) (+ t1 u)))
35.0ms
eps
@inf
(* (* eps eps) (* x (* x (+ 1/2 (* x -1/3)))))
34.0ms
eps
@0
(- (* (exp (* x (+ eps -1))) (- 1/2 (/ -1/2 eps))) (* (exp (* x (- -1 eps))) (+ (/ 1/2 eps) -1/2)))
30.0ms
x
@0
(* x (+ 1/2 (* x (/ (+ 1/216 (* (* x (* x x)) 1/13824)) (+ (* (* x x) 1/576) (- 1/36 (* 1/144 x)))))))

end0.0ms (0%)

Profiling

Loading profile data...