Herbie run

Date:Friday, April 19th, 2024
Commit:0226cf0a on fix-register-compiler
Hostname:nightly with Racket 8.11.1
Seed:2024110
Parameters:256 points for 4 iterations
Flags:
reduce: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.2min)

sample2.9min (46.9%)

Results
27.2s141536×0precondition
32.7s116167×1valid
7.3s64946×0valid
42.7s48051×2valid
35.0s7168×5exit
374.0ms4352×0invalid
688.0ms4289×0unsamplable
2.1s2004×3valid
Precisions
Click to see histograms. Total time spent on operations: 2.1min
ival-pow: 33.4s (26.3% of total)
ival-exp: 12.4s (9.8% of total)
ival-tan: 11.7s (9.2% of total)
ival-mult: 9.0s (7.1% of total)
backward-pass: 8.3s (6.6% of total)
ival-sub: 7.8s (6.1% of total)
ival-log: 7.0s (5.5% of total)
ival-add: 5.5s (4.3% of total)
ival-cos: 5.4s (4.3% of total)
ival-div: 4.9s (3.9% of total)
ival-<=: 4.5s (3.5% of total)
ival-fabs: 4.2s (3.3% of total)
ival-sin: 3.5s (2.8% of total)
ival-<: 2.1s (1.7% of total)
ival-sqrt: 1.6s (1.2% of total)
ival-fmin: 1.2s (1% of total)
ival-neg: 998.0ms (0.8% of total)
ival->: 837.0ms (0.7% of total)
const: 813.0ms (0.6% of total)
ival-and: 802.0ms (0.6% of total)
ival-atan: 405.0ms (0.3% of total)
ival-cbrt: 370.0ms (0.3% of total)
Bogosity

localize45.2s (12.2%)

Algorithm
378×egg-herbie
Rules
92821×fma-define
70720×fma-neg
36389×associate-*r*
28381×unsub-neg
26638×distribute-lft-in
Stop Event
298×saturated
80×node limit
Results
4.6s16089×0valid
5.5s6932×1valid
3.0s2571×2valid
865.0ms1615×0invalid
2.6s536×5exit
608.0ms131×3valid
11.0ms30×0unsamplable
Compiler

Compiled 16432 to 2407 computations (85.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.7s
ival-pow: 1.7s (16% of total)
ival-mult: 1.6s (15% of total)
ival-div: 1.4s (12.7% of total)
backward-pass: 1.3s (12.2% of total)
ival-add: 896.0ms (8.4% of total)
ival-exp: 507.0ms (4.7% of total)
ival-sub: 466.0ms (4.4% of total)
ival-log: 409.0ms (3.8% of total)
ival-tan: 395.0ms (3.7% of total)
ival-log1p: 362.0ms (3.4% of total)
ival-cbrt: 282.0ms (2.6% of total)
ival-sin: 271.0ms (2.5% of total)
ival-cos: 270.0ms (2.5% of total)
ival-fma: 254.0ms (2.4% of total)
ival-sqrt: 243.0ms (2.3% of total)
const: 115.0ms (1.1% of total)
ival-neg: 94.0ms (0.9% of total)
ival-hypot: 40.0ms (0.4% of total)
ival-atan: 39.0ms (0.4% of total)
ival-expm1: 39.0ms (0.4% of total)
ival-atan2: 21.0ms (0.2% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-fabs: 1.0ms (0% of total)

simplify35.4s (9.5%)

Algorithm
135×egg-herbie
Rules
36810×fma-neg
33974×fma-define
28681×times-frac
28157×*-commutative
28121×distribute-lft-in
Stop Event
28×saturated
107×node limit
Counts
54659 → 56500

soundness25.5s (6.9%)

Rules
28250×log1p-expm1-u
26672×fma-neg
26243×fma-define
21049×expm1-log1p-u
17618×times-frac
Stop Event
8×saturated
101×node limit
22×fuel
6×done
Compiler

Compiled 22667 to 6704 computations (70.4% saved)

rewrite25.1s (6.8%)

Algorithm
107×batch-egg-rewrite
Rules
69928×log1p-expm1-u
48957×expm1-log1p-u
21471×pow1
21058×add-exp-log
20893×add-log-exp
Stop Event
107×node limit
Counts
1167 → 36947

prune20.1s (5.4%)

Counts
76102 → 2018
Compiler

Compiled 65139 to 36768 computations (43.6% saved)

eval14.3s (3.9%)

Compiler

Compiled 1763061 to 281383 computations (84% saved)

explain7.6s (2.1%)

Results
2.3s7280×1valid
566.0ms3924×0valid
3.3s3010×2valid
183.0ms122×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.6s
ival-exp: 922.0ms (20% of total)
ival-tan: 710.0ms (15.4% of total)
ival-sub: 584.0ms (12.6% of total)
backward-pass: 472.0ms (10.2% of total)
ival-div: 352.0ms (7.6% of total)
ival-cos: 309.0ms (6.7% of total)
ival-log: 302.0ms (6.5% of total)
ival-sin: 230.0ms (5% of total)
ival-pow: 228.0ms (4.9% of total)
ival-add: 167.0ms (3.6% of total)
ival-mult: 151.0ms (3.3% of total)
ival-sqrt: 93.0ms (2% of total)
const: 32.0ms (0.7% of total)
ival-neg: 26.0ms (0.6% of total)
ival-atan: 21.0ms (0.5% of total)
ival-cbrt: 17.0ms (0.4% of total)

series7.0s (1.9%)

Counts
1167 → 17712
Calls

4794 calls:

TimeVariablePointExpression
183.0ms
a
@inf
(pow (cbrt (/ (- (sqrt (+ (* b_2 b_2) (* (sqrt (* c (neg a))) (sqrt (* c (neg a)))))) b_2) a)) 3)
174.0ms
a
@inf
(sqrt (+ (* b_2 b_2) (* (cbrt (pow (* c (neg a)) 3/2)) (cbrt (pow (* c (neg a)) 3/2)))))
156.0ms
x
@0
(* (* 1/2 x) (/ 1 x))
153.0ms
n
@0
(/ (log x) n)
120.0ms
b
@-inf
(log b)

preprocess5.4s (1.5%)

Algorithm
28×egg-herbie
Rules
8308×fma-neg
6663×fma-define
4279×div-sub
2669×sub-neg
2621×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 8472 to 3606 computations (57.4% saved)

regimes5.3s (1.4%)

Counts
3473 → 277
Calls

43 calls:

1.1s
x
691.0ms
b
689.0ms
c
554.0ms
eps
460.0ms
a
Compiler

Compiled 1461 to 974 computations (33.3% saved)

analyze3.1s (0.8%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
12.3%7.5%53.6%38.9%0%0%0%1
21%12.9%48.2%38.9%0%0%0%2
38.4%22.5%35.9%41.6%0%0%0%3
47.7%27.8%30.5%41.7%0%0%0%4
55.6%32%25.6%42.4%0%0%0%5
58.1%33%23.9%43.1%0%0%0%6
62%34.2%20.9%44%0%0.8%0.1%7
65.2%35.6%19%44.5%0%0.8%0.1%8
67.5%36.2%17.4%44.9%0%1.2%0.3%9
69.5%36.7%16.1%45.2%0%1.7%0.3%10
72%37.7%14.6%45.4%0%1.9%0.4%11
73.2%38%13.9%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 322 computations (35.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-sub: 291.0ms (19.8% of total)
ival-mult: 259.0ms (17.6% of total)
ival-pow: 158.0ms (10.7% of total)
ival-log: 118.0ms (8% of total)
ival-div: 99.0ms (6.7% of total)
ival-<=: 94.0ms (6.4% of total)
ival-add: 66.0ms (4.5% of total)
ival-exp: 64.0ms (4.3% of total)
ival-sqrt: 57.0ms (3.9% of total)
ival-sin: 54.0ms (3.7% of total)
ival-fabs: 43.0ms (2.9% of total)
ival-tan: 36.0ms (2.4% of total)
ival-neg: 30.0ms (2% of total)
const: 24.0ms (1.6% of total)
ival-cos: 23.0ms (1.6% of total)
ival->: 15.0ms (1% of total)
ival-and: 11.0ms (0.7% of total)
ival-fmin: 11.0ms (0.7% of total)
ival-<: 10.0ms (0.7% of total)
backward-pass: 9.0ms (0.6% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch2.7s (0.7%)

Algorithm
74×binary-search
20×left-value
Stop Event
2×predicate-same
72×narrow-enough
Results
692.0ms7138×0valid
316.0ms1744×0invalid
518.0ms1568×1valid
242.0ms718×2valid
Compiler

Compiled 14708 to 10742 computations (27% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-sub: 314.0ms (24.4% of total)
ival-pow: 260.0ms (20.2% of total)
ival-mult: 231.0ms (18% of total)
ival-div: 159.0ms (12.4% of total)
ival-sqrt: 71.0ms (5.5% of total)
backward-pass: 64.0ms (5% of total)
ival-neg: 52.0ms (4% of total)
ival-add: 45.0ms (3.5% of total)
ival-exp: 36.0ms (2.8% of total)
ival-cbrt: 23.0ms (1.8% of total)
const: 18.0ms (1.4% of total)
ival-cos: 13.0ms (1% of total)

end0.0ms (0%)

Profiling

Loading profile data...