Herbie run

Date:Friday, May 24th, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024145
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.8min)

sample2.8min (48.5%)

Results
40.6s55170×2valid
34.6s137321×0precondition
30.1s115653×1valid
25.4s7071×5exit
6.1s57187×0valid
3.9s2599×3valid
588.0ms4080×0invalid
538.0ms4219×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 23.9s (20% of total)
ival-tan: 12.1s (10.2% of total)
ival-exp: 11.9s (10% of total)
ival-mult: 9.8s (8.3% of total)
ival-sub: 7.7s (6.4% of total)
ival-add: 7.4s (6.2% of total)
backward-pass: 6.1s (5.1% of total)
...c/correct-round.rkt:121:19: 6.0s (5% of total)
ival-log: 5.7s (4.8% of total)
ival-<=: 4.8s (4.1% of total)
ival-div: 4.5s (3.8% of total)
ival-cos: 4.2s (3.6% of total)
ival-sin: 4.0s (3.3% of total)
ival-fabs: 2.6s (2.2% of total)
ival-<: 2.4s (2% of total)
ival-sqrt: 1.8s (1.5% of total)
ival-fmin: 738.0ms (0.6% of total)
ival-and: 737.0ms (0.6% of total)
ival->: 735.0ms (0.6% of total)
const: 649.0ms (0.5% of total)
ival-neg: 517.0ms (0.4% of total)
ival-atan: 431.0ms (0.4% of total)
ival-cbrt: 302.0ms (0.3% of total)
Bogosity

simplify41.6s (12%)

Algorithm
234×egg-herbie
Rules
79720×fma-define
68300×fma-neg
47483×distribute-lft-in
43669×times-frac
42957×distribute-rgt-in
Stop Event
74×saturated
160×node limit
Counts
53370 → 55742

soundness31.0s (9%)

Rules
28276×log1p-expm1-u
27717×fma-define
25066×fma-neg
21593×expm1-log1p-u
19555×times-frac
Stop Event
9×saturated
106×node limit
22×fuel
5×done
Compiler

Compiled 19306 to 6157 computations (68.1% saved)

localize24.3s (7%)

Results
6.3s7754×1valid
5.8s4078×2valid
3.4s12240×0valid
1.5s517×3valid
646.0ms292×5exit
637.0ms1712×0invalid
20.0ms22×1invalid
11.0ms7×2invalid
4.0ms1×4valid
2.0ms1×5valid
Compiler

Compiled 16109 to 2388 computations (85.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.3s
ival-mult: 1.6s (13.2% of total)
ival-pow: 1.6s (12.8% of total)
ival-div: 1.2s (9.9% of total)
backward-pass: 1.2s (9.8% of total)
ival-log: 916.0ms (7.5% of total)
ival-tan: 896.0ms (7.3% of total)
ival-add: 724.0ms (5.9% of total)
ival-sin: 719.0ms (5.9% of total)
...c/correct-round.rkt:121:19: 663.0ms (5.4% of total)
ival-sub: 567.0ms (4.6% of total)
ival-exp: 415.0ms (3.4% of total)
ival-cos: 398.0ms (3.2% of total)
ival-fma: 298.0ms (2.4% of total)
ival-sqrt: 233.0ms (1.9% of total)
ival-log1p: 209.0ms (1.7% of total)
ival-cbrt: 166.0ms (1.4% of total)
const: 101.0ms (0.8% of total)
ival-neg: 91.0ms (0.7% of total)
ival-cosh: 90.0ms (0.7% of total)
ival-hypot: 86.0ms (0.7% of total)
ival-expm1: 51.0ms (0.4% of total)
ival-atan: 31.0ms (0.3% of total)
ival-atan2: 19.0ms (0.2% of total)

rewrite21.8s (6.3%)

Algorithm
103×batch-egg-rewrite
Rules
61680×log1p-expm1-u
47182×expm1-log1p-u
21456×add-exp-log
21212×pow1
20870×add-log-exp
Stop Event
103×node limit
Counts
1164 → 36798

eval17.1s (4.9%)

Compiler

Compiled 1779386 to 291215 computations (83.6% saved)

prune15.2s (4.4%)

Counts
77157 → 2020
Compiler

Compiled 63015 to 36459 computations (42.1% saved)

series6.7s (1.9%)

Counts
1164 → 16572
Calls

4395 calls:

TimeVariablePointExpression
329.0ms
N
@inf
(log N)
201.0ms
b_2
@0
(/ a (- (sqrt (+ (* b_2 b_2) (* (sqrt (* c (neg a))) (sqrt (* c (neg a)))))) b_2))
151.0ms
b_2
@inf
(/ (+ (sqrt (- (* 2 (+ (* -1 (* a c)) (* a c))) (* a c))) (* b_2 (- (* 1/2 (* b_2 (sqrt (/ 1 (- (* 2 (+ (* -1 (* a c)) (* a c))) (* a c)))))) 1))) a)
131.0ms
x
@-inf
(* 2 (log x))
123.0ms
a
@inf
(sqrt (/ (* a -2) (- b (sqrt (+ (* b b) (* (sqrt (* (* c -4) a)) (sqrt (* (* c -4) a))))))))

explain6.2s (1.8%)

Results
2.0s3012×2valid
1.8s7126×1valid
421.0ms3534×0valid
211.0ms152×3valid
Compiler

Compiled 1994 to 654 computations (67.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-tan: 507.0ms (16.5% of total)
ival-log: 402.0ms (13.1% of total)
ival-sin: 398.0ms (13% of total)
backward-pass: 368.0ms (12% of total)
ival-div: 246.0ms (8% of total)
ival-exp: 217.0ms (7.1% of total)
ival-cos: 208.0ms (6.8% of total)
ival-sub: 195.0ms (6.3% of total)
ival-add: 149.0ms (4.8% of total)
ival-mult: 109.0ms (3.5% of total)
ival-pow: 105.0ms (3.4% of total)
ival-sqrt: 76.0ms (2.5% of total)
const: 30.0ms (1% of total)
ival-neg: 24.0ms (0.8% of total)
ival-atan: 20.0ms (0.7% of total)
ival-cbrt: 18.0ms (0.6% of total)

preprocess5.2s (1.5%)

Algorithm
27×egg-herbie
Rules
8286×fma-neg
6164×fma-define
3701×div-sub
2540×sub-neg
1959×times-frac
Stop Event
23×saturated
4×node limit
Compiler

Compiled 8694 to 3606 computations (58.5% saved)

analyze3.3s (0.9%)

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: 1.7s
ival-mult: 230.0ms (13.4% of total)
ival-sub: 203.0ms (11.8% of total)
ival-pow: 203.0ms (11.8% of total)
...c/correct-round.rkt:121:19: 161.0ms (9.4% of total)
ival-log: 141.0ms (8.2% of total)
ival-div: 114.0ms (6.7% of total)
ival-<=: 95.0ms (5.5% of total)
ival-sqrt: 88.0ms (5.1% of total)
ival-sin: 77.0ms (4.5% of total)
ival-exp: 68.0ms (4% of total)
ival-tan: 68.0ms (4% of total)
ival-add: 68.0ms (4% of total)
ival-fabs: 49.0ms (2.9% of total)
ival-neg: 46.0ms (2.7% of total)
ival-cos: 24.0ms (1.4% of total)
const: 21.0ms (1.2% of total)
ival->: 18.0ms (1.1% of total)
ival-and: 13.0ms (0.8% of total)
ival-fmin: 11.0ms (0.6% of total)
ival-<: 10.0ms (0.6% of total)
backward-pass: 7.0ms (0.4% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch2.8s (0.8%)

Algorithm
82×binary-search
24×left-value
Stop Event
4×predicate-same
78×narrow-enough
Results
884.0ms2727×1valid
579.0ms6327×0valid
412.0ms1122×0invalid
243.0ms658×2valid
25.0ms206×0unsamplable
Compiler

Compiled 13801 to 10202 computations (26.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-mult: 482.0ms (34.6% of total)
ival-pow: 381.0ms (27.4% of total)
ival-sub: 128.0ms (9.2% of total)
ival-div: 121.0ms (8.7% of total)
ival-sqrt: 65.0ms (4.7% of total)
ival-add: 58.0ms (4.2% of total)
backward-pass: 57.0ms (4.1% of total)
ival-neg: 37.0ms (2.7% of total)
ival-exp: 23.0ms (1.7% of total)
const: 18.0ms (1.3% of total)
ival-cbrt: 13.0ms (0.9% of total)
ival-cos: 9.0ms (0.6% of total)
ival-log: 2.0ms (0.1% of total)

regimes2.8s (0.8%)

Counts
3858 → 306
Calls

42 calls:

824.0ms
x
227.0ms
(/.f64 #s(literal 1 binary64) n)
177.0ms
c
168.0ms
n
142.0ms
eps
Compiler

Compiled 1457 to 955 computations (34.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...