Herbie run

Date:Wednesday, May 29th, 2024
Commit:36a413b6 on main
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: 5.6min)

sample2.7min (47.6%)

Results
39.3s54995×2valid
31.5s116724×1valid
30.1s141851×0precondition
27.8s7226×5exit
7.0s56839×0valid
3.4s2610×3valid
545.0ms4197×0unsamplable
334.0ms4128×0invalid
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 25.8s (22% of total)
ival-tan: 11.7s (10% of total)
ival-exp: 11.4s (9.7% of total)
ival-mult: 8.5s (7.2% of total)
ival-sub: 7.9s (6.7% of total)
backward-pass: 6.2s (5.3% of total)
...c/correct-round.rkt:121:19: 6.1s (5.2% of total)
ival-log: 5.7s (4.9% of total)
ival-cos: 4.9s (4.2% of total)
ival-div: 4.7s (4% of total)
ival-add: 4.3s (3.7% of total)
ival-sin: 4.3s (3.6% of total)
ival-fabs: 3.8s (3.2% of total)
ival-<=: 3.8s (3.2% of total)
ival-sqrt: 1.8s (1.5% of total)
ival-<: 1.6s (1.4% of total)
ival->: 1.1s (0.9% of total)
ival-atan: 765.0ms (0.7% of total)
ival-and: 757.0ms (0.6% of total)
const: 651.0ms (0.6% of total)
ival-neg: 581.0ms (0.5% of total)
ival-fmin: 547.0ms (0.5% of total)
ival-cbrt: 295.0ms (0.3% of total)
Bogosity

simplify44.6s (13.2%)

Algorithm
234×egg-herbie
Rules
79183×fma-define
67514×fmm-def
45815×distribute-lft-in
44232×times-frac
40812×distribute-rgt-in
Stop Event
75×saturated
158×node limit
1×unsound
Counts
56611 → 59733

localize27.6s (8.2%)

Results
8.8s9700×1valid
6.1s4105×2valid
4.4s10892×0valid
709.0ms146×5exit
632.0ms1379×0invalid
604.0ms280×3valid
63.0ms36×2invalid
51.0ms39×1invalid
25.0ms46×0unsamplable
2.0ms1×3invalid
Compiler

Compiled 20098 to 2729 computations (86.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.3s
ival-mult: 1.9s (14.4% of total)
ival-pow: 1.7s (12.6% of total)
ival-log: 1.5s (11.5% of total)
ival-div: 1.4s (10.6% of total)
backward-pass: 1.3s (10% of total)
ival-add: 1.1s (8.1% of total)
ival-tan: 788.0ms (5.9% of total)
ival-exp: 773.0ms (5.8% of total)
ival-sub: 701.0ms (5.3% of total)
...c/correct-round.rkt:121:19: 629.0ms (4.7% of total)
ival-sqrt: 399.0ms (3% of total)
ival-cos: 268.0ms (2% of total)
ival-neg: 175.0ms (1.3% of total)
ival-sin: 173.0ms (1.3% of total)
ival-cbrt: 158.0ms (1.2% of total)
ival-atan: 149.0ms (1.1% of total)
const: 106.0ms (0.8% of total)
ival-atan2: 20.0ms (0.2% of total)
ival-cosh: 13.0ms (0.1% of total)
ival-e: 6.0ms (0% of total)

soundness24.2s (7.2%)

Rules
28780×fma-define
27042×log1p-expm1-u
25485×fmm-def
23358×expm1-log1p-u
18074×associate-*r*
Stop Event
9×saturated
101×node limit
22×fuel
6×done
Compiler

Compiled 17729 to 5544 computations (68.7% saved)

rewrite23.3s (6.9%)

Algorithm
102×batch-egg-rewrite
Rules
61766×log1p-expm1-u
48396×expm1-log1p-u
22744×pow1
22457×add-exp-log
21554×add-log-exp
Stop Event
102×node limit
Counts
1261 → 37594

prune15.8s (4.7%)

Counts
81670 → 2108
Compiler

Compiled 73324 to 40017 computations (45.4% saved)

eval15.7s (4.6%)

Compiler

Compiled 2044873 to 313268 computations (84.7% saved)

explain6.6s (2%)

Results
2.3s3386×2valid
2.2s7330×1valid
355.0ms3426×0valid
236.0ms194×3valid
Compiler

Compiled 2227 to 707 computations (68.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-tan: 777.0ms (22.9% of total)
ival-exp: 635.0ms (18.7% of total)
ival-log: 335.0ms (9.9% of total)
backward-pass: 298.0ms (8.8% of total)
ival-sub: 216.0ms (6.4% of total)
ival-cos: 205.0ms (6% of total)
ival-add: 188.0ms (5.5% of total)
ival-div: 169.0ms (5% of total)
ival-mult: 150.0ms (4.4% of total)
ival-sin: 127.0ms (3.7% of total)
ival-pow: 118.0ms (3.5% of total)
ival-sqrt: 73.0ms (2.2% of total)
const: 31.0ms (0.9% of total)
ival-neg: 27.0ms (0.8% of total)
ival-atan: 22.0ms (0.6% of total)
ival-cbrt: 18.0ms (0.5% of total)

series5.4s (1.6%)

Counts
1261 → 19017
Calls

5115 calls:

TimeVariablePointExpression
171.0ms
b
@0
(/ (+ (- (pow b 2) (pow b 2)) (* a (* c 4))) (+ (* -1 b) (sqrt (- (pow b 2) (* a (* c 4))))))
119.0ms
a
@-inf
(- (/ b (neg a)) (sqrt (* c (/ -4 a))))
116.0ms
a
@0
(pow (cbrt (* c (* a 4))) 3)
90.0ms
a
@0
(/ (- (exp (log (sqrt (+ (* b b) (* (sqrt (* a (* c -4))) (sqrt (* a (* c -4)))))))) b) (* a 2))
82.0ms
b_2
@-inf
(/ a (- b_2 (sqrt (+ (* b_2 b_2) (* (sqrt (* (neg a) c)) (sqrt (* (neg a) c)))))))

preprocess4.7s (1.4%)

Algorithm
28×egg-herbie
Rules
8308×fmm-def
6663×fma-define
4254×div-sub
2652×sub-neg
2620×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 8270 to 3700 computations (55.3% saved)

analyze3.4s (1%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
6.1%3.7%57.4%38.9%0%0%0%1
16.5%10.1%51%38.9%0%0%0%2
35.3%20.6%37.8%41.6%0%0%0%3
46.1%26.9%31.4%41.7%0%0%0%4
54.8%31.5%26%42.4%0%0%0%5
57.1%32.5%24.4%43.1%0%0%0%6
61.5%33.9%21.3%44%0%0.8%0.1%7
64.6%35.3%19.3%44.5%0%0.8%0.1%8
67.1%36%17.6%44.9%0%1.2%0.3%9
69.1%36.5%16.3%45.2%0%1.7%0.3%10
71.7%37.5%14.8%45.4%0%1.9%0.4%11
72.8%37.8%14.1%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: 2.0s
ival-mult: 519.0ms (25.6% of total)
ival-sub: 291.0ms (14.4% of total)
...c/correct-round.rkt:121:19: 170.0ms (8.4% of total)
ival-pow: 163.0ms (8.1% of total)
ival-fabs: 139.0ms (6.9% of total)
ival-<=: 112.0ms (5.5% of total)
ival-div: 101.0ms (5% of total)
ival-log: 99.0ms (4.9% of total)
ival-add: 71.0ms (3.5% of total)
ival-exp: 66.0ms (3.3% of total)
ival-sin: 64.0ms (3.2% of total)
ival-sqrt: 56.0ms (2.8% of total)
ival-neg: 38.0ms (1.9% of total)
ival-tan: 36.0ms (1.8% of total)
ival-cos: 26.0ms (1.3% of total)
const: 22.0ms (1.1% of total)
ival->: 16.0ms (0.8% of total)
ival-and: 13.0ms (0.6% of total)
ival-<: 11.0ms (0.5% of total)
backward-pass: 7.0ms (0.3% of total)
ival-fmin: 6.0ms (0.3% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

regimes3.2s (1%)

Counts
3775 → 267
Calls

43 calls:

1.2s
x
235.0ms
b
221.0ms
eps
209.0ms
c
145.0ms
(-.f64 (tan.f64 (+.f64 x eps)) (tan.f64 x))
Compiler

Compiled 1450 to 954 computations (34.2% saved)

bsearch2.0s (0.6%)

Algorithm
77×binary-search
2×left-value
Stop Event
3×predicate-same
74×narrow-enough
Results
741.0ms6861×0valid
260.0ms1583×1valid
200.0ms564×2valid
150.0ms1675×0invalid
3.0ms27×0unsamplable
Compiler

Compiled 13431 to 9846 computations (26.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 923.0ms
ival-mult: 281.0ms (30.4% of total)
ival-sqrt: 123.0ms (13.3% of total)
ival-sub: 99.0ms (10.7% of total)
ival-div: 98.0ms (10.6% of total)
ival-pow: 74.0ms (8% of total)
ival-add: 49.0ms (5.3% of total)
ival-neg: 46.0ms (5% of total)
ival-exp: 42.0ms (4.6% of total)
backward-pass: 39.0ms (4.2% of total)
ival-cos: 22.0ms (2.4% of total)
ival-cbrt: 19.0ms (2.1% of total)
const: 16.0ms (1.7% of total)
ival-sin: 13.0ms (1.4% of total)
ival-log: 2.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...