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.6%)

Results
42.9s55170×2valid
33.3s137321×0precondition
29.9s115653×1valid
26.1s7071×5exit
7.2s57187×0valid
4.1s2599×3valid
550.0ms4080×0invalid
447.0ms4219×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-pow: 24.7s (20.4% of total)
ival-tan: 13.0s (10.7% of total)
ival-exp: 11.6s (9.6% of total)
ival-mult: 9.4s (7.7% of total)
ival-sub: 8.1s (6.7% of total)
backward-pass: 6.4s (5.2% of total)
ival-add: 6.2s (5.2% of total)
...c/correct-round.rkt:121:19: 6.0s (5% of total)
ival-log: 5.4s (4.5% of total)
ival-fabs: 5.3s (4.4% of total)
ival-cos: 4.7s (3.9% of total)
ival-div: 4.6s (3.8% of total)
ival-sin: 4.1s (3.4% of total)
ival-<=: 3.3s (2.7% of total)
ival-<: 2.0s (1.6% of total)
ival-sqrt: 1.9s (1.5% of total)
ival->: 1.1s (0.9% of total)
ival-neg: 852.0ms (0.7% of total)
ival-and: 715.0ms (0.6% of total)
const: 623.0ms (0.5% of total)
ival-fmin: 560.0ms (0.5% of total)
ival-atan: 464.0ms (0.4% of total)
ival-cbrt: 309.0ms (0.3% of total)
Bogosity

simplify40.6s (11.6%)

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.2s (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)

localize28.9s (8.3%)

Results
8.3s4078×2valid
7.0s7754×1valid
4.0s12240×0valid
1.9s517×3valid
827.0ms1712×0invalid
647.0ms292×5exit
20.0ms22×1invalid
13.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: 14.9s
ival-log: 3.4s (22.9% of total)
backward-pass: 1.6s (10.7% of total)
ival-mult: 1.6s (10.6% of total)
ival-pow: 1.5s (10.2% of total)
ival-div: 1.1s (7.4% of total)
ival-add: 866.0ms (5.8% of total)
ival-tan: 787.0ms (5.3% of total)
ival-sub: 689.0ms (4.6% of total)
ival-sin: 530.0ms (3.6% of total)
...c/correct-round.rkt:121:19: 472.0ms (3.2% of total)
ival-exp: 355.0ms (2.4% of total)
ival-cos: 342.0ms (2.3% of total)
ival-cbrt: 326.0ms (2.2% of total)
ival-sqrt: 254.0ms (1.7% of total)
ival-fma: 242.0ms (1.6% of total)
ival-hypot: 209.0ms (1.4% of total)
ival-log1p: 208.0ms (1.4% of total)
ival-neg: 102.0ms (0.7% of total)
const: 97.0ms (0.7% of total)
ival-cosh: 84.0ms (0.6% of total)
ival-expm1: 69.0ms (0.5% of total)
ival-atan: 28.0ms (0.2% of total)
ival-atan2: 21.0ms (0.1% of total)

rewrite22.2s (6.4%)

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

prune15.0s (4.3%)

Counts
77157 → 2020
Compiler

Compiled 63015 to 36459 computations (42.1% saved)

eval14.1s (4%)

Compiler

Compiled 1779386 to 291215 computations (83.6% saved)

explain6.6s (1.9%)

Results
2.1s7126×1valid
2.0s3012×2valid
559.0ms3534×0valid
195.0ms152×3valid
Compiler

Compiled 1994 to 654 computations (67.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-tan: 750.0ms (23.4% of total)
ival-cos: 482.0ms (15% of total)
ival-log: 286.0ms (8.9% of total)
backward-pass: 271.0ms (8.4% of total)
ival-exp: 222.0ms (6.9% of total)
ival-div: 221.0ms (6.9% of total)
ival-sin: 203.0ms (6.3% of total)
ival-sub: 190.0ms (5.9% of total)
ival-mult: 161.0ms (5% of total)
ival-add: 155.0ms (4.8% of total)
ival-pow: 105.0ms (3.3% of total)
ival-sqrt: 74.0ms (2.3% of total)
const: 28.0ms (0.9% of total)
ival-neg: 24.0ms (0.7% of total)
ival-atan: 21.0ms (0.7% of total)
ival-cbrt: 18.0ms (0.6% of total)

series5.6s (1.6%)

Counts
1164 → 16572
Calls

4395 calls:

TimeVariablePointExpression
184.0ms
c
@0
(pow (* (* c -4) a) 3/2)
121.0ms
n
@0
(* n (log n))
93.0ms
x
@0
(log (* a x))
92.0ms
x
@inf
(log (+ -2 (* 2 (cosh x))))
75.0ms
b
@0
(- (* b b) (* 4 (* a c)))

preprocess4.9s (1.4%)

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)

regimes4.0s (1.1%)

Counts
3858 → 306
Calls

42 calls:

1.6s
x
234.0ms
(/.f64 #s(literal 1 binary64) n)
176.0ms
n
153.0ms
(-.f64 (cbrt.f64 (+.f64 x #s(literal 1 binary64))) (cbrt.f64 x))
133.0ms
eps
Compiler

Compiled 1457 to 955 computations (34.5% saved)

analyze3.2s (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: 236.0ms (13.5% of total)
ival-sub: 228.0ms (13.1% of total)
...c/correct-round.rkt:121:19: 182.0ms (10.4% of total)
ival-pow: 180.0ms (10.3% of total)
ival-log: 158.0ms (9% of total)
ival-sqrt: 129.0ms (7.4% of total)
ival-div: 102.0ms (5.8% of total)
ival-<=: 90.0ms (5.2% of total)
ival-add: 72.0ms (4.1% of total)
ival-exp: 66.0ms (3.8% of total)
ival-sin: 58.0ms (3.3% of total)
ival-fabs: 53.0ms (3% of total)
ival-neg: 49.0ms (2.8% of total)
ival-tan: 40.0ms (2.3% of total)
ival-cos: 24.0ms (1.4% of total)
const: 21.0ms (1.2% of total)
ival->: 19.0ms (1.1% of total)
ival-and: 12.0ms (0.7% of total)
ival-<: 10.0ms (0.6% of total)
ival-fmin: 9.0ms (0.5% 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.9s (0.8%)

Algorithm
82×binary-search
24×left-value
Stop Event
4×predicate-same
78×narrow-enough
Results
745.0ms1122×0invalid
652.0ms6327×0valid
570.0ms2727×1valid
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.1s
ival-pow: 371.0ms (32.3% of total)
ival-mult: 170.0ms (14.8% of total)
ival-sqrt: 143.0ms (12.5% of total)
ival-div: 125.0ms (10.9% of total)
ival-sub: 107.0ms (9.3% of total)
ival-add: 69.0ms (6% of total)
backward-pass: 57.0ms (5% of total)
ival-neg: 39.0ms (3.4% of total)
ival-exp: 26.0ms (2.3% of total)
const: 18.0ms (1.6% of total)
ival-cbrt: 12.0ms (1% of total)
ival-cos: 9.0ms (0.8% of total)
ival-log: 2.0ms (0.2% of total)

end0.0ms (0%)

Profiling

Loading profile data...