Herbie run

Date:Friday, May 10th, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024131
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: 2.9min)

sample49.3s (28%)

Results
16.4s48679×1valid
11.8s109117×0valid
9.6s16660×5exit
2.6s7324×2valid
543.0ms4004×0invalid
138.0ms1403×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 31.3s
ival-cos: 5.3s (16.9% of total)
...c/correct-round.rkt:119:19: 3.3s (10.5% of total)
ival-mult: 3.2s (10.1% of total)
backward-pass: 2.8s (9% of total)
ival-pow: 2.1s (6.7% of total)
ival-sin: 2.1s (6.6% of total)
ival-sqrt: 1.5s (4.7% of total)
ival-log: 1.4s (4.5% of total)
ival-<=: 1.3s (4.3% of total)
ival-exp: 1.2s (4% of total)
ival-add: 1.2s (3.8% of total)
ival-sub: 1.0s (3.3% of total)
ival-tan: 1.0s (3.3% of total)
ival-fmod: 1.0s (3.2% of total)
ival-div: 827.0ms (2.6% of total)
ival-sinh: 493.0ms (1.6% of total)
ival-acos: 364.0ms (1.2% of total)
ival-neg: 260.0ms (0.8% of total)
const: 218.0ms (0.7% of total)
ival-==: 201.0ms (0.6% of total)
ival-and: 132.0ms (0.4% of total)
ival-<: 114.0ms (0.4% of total)
ival-atan: 107.0ms (0.3% of total)
ival-or: 63.0ms (0.2% of total)
ival->=: 46.0ms (0.1% of total)
ival->: 37.0ms (0.1% of total)
Bogosity

simplify27.6s (15.7%)

Algorithm
153×egg-herbie
Rules
49295×fma-define
36170×fma-neg
24562×times-frac
24530×distribute-lft-in
22400×associate-*r*
Stop Event
58×saturated
88×node limit
7×unsound
Counts
33385 → 29003

localize17.4s (9.9%)

Results
4.9s4512×1valid
3.3s10380×0valid
2.9s358×5exit
2.4s1209×2valid
224.0ms514×0invalid
103.0ms52×3valid
34.0ms112×0unsamplable
15.0ms15×1invalid
Compiler

Compiled 8502 to 1333 computations (84.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.9s
ival-log: 1.4s (16.1% of total)
ival-pow: 1.1s (12.9% of total)
ival-cos: 1.0s (11.7% of total)
ival-mult: 852.0ms (9.6% of total)
backward-pass: 625.0ms (7% of total)
ival-sin: 477.0ms (5.4% of total)
ival-fmod: 462.0ms (5.2% of total)
ival-exp: 434.0ms (4.9% of total)
ival-div: 415.0ms (4.7% of total)
...c/correct-round.rkt:119:19: 329.0ms (3.7% of total)
ival-add: 276.0ms (3.1% of total)
ival-sqrt: 238.0ms (2.7% of total)
ival-tan: 194.0ms (2.2% of total)
ival-sub: 183.0ms (2.1% of total)
ival-fma: 138.0ms (1.6% of total)
ival-cbrt: 132.0ms (1.5% of total)
ival-e: 116.0ms (1.3% of total)
ival-neg: 89.0ms (1% of total)
ival-acos: 58.0ms (0.7% of total)
ival-sinh: 54.0ms (0.6% of total)
ival-asin: 47.0ms (0.5% of total)
const: 46.0ms (0.5% of total)
ival-log1p: 31.0ms (0.3% of total)
ival-hypot: 27.0ms (0.3% of total)
ival-expm1: 22.0ms (0.2% of total)
ival-fabs: 10.0ms (0.1% of total)
ival-pi: 8.0ms (0.1% of total)
ival-atan: 5.0ms (0.1% of total)

soundness15.4s (8.7%)

Rules
15815×fma-define
14873×log1p-expm1-u
12137×expm1-log1p-u
11158×fma-neg
10644×times-frac
Stop Event
6×saturated
59×node limit
11×fuel
2×unsound
9×done
Compiler

Compiled 10421 to 2961 computations (71.6% saved)

prune13.5s (7.7%)

Counts
49941 → 1790
Compiler

Compiled 63394 to 34701 computations (45.3% saved)

rewrite13.2s (7.5%)

Algorithm
66×batch-egg-rewrite
Rules
33634×log1p-expm1-u
28202×expm1-log1p-u
16649×pow1
14703×add-exp-log
14256×add-log-exp
Stop Event
66×node limit
Counts
632 → 22728

regimes10.2s (5.8%)

Counts
4280 → 165
Calls

55 calls:

1.7s
a
1.0s
x
969.0ms
r
773.0ms
b
720.0ms
(tan.f64 (+.f64 y z))
Compiler

Compiled 1875 to 1329 computations (29.1% saved)

eval9.5s (5.4%)

Compiler

Compiled 1079444 to 164447 computations (84.8% saved)

series5.6s (3.2%)

Counts
632 → 10657
Calls

2544 calls:

TimeVariablePointExpression
255.0ms
b
@-inf
(log (* r (sin b)))
137.0ms
l
@inf
(/ (pow (pow l (sqrt (exp w))) (sqrt (exp w))) (exp w))
137.0ms
r
@0
(log (/ r (cos a)))
134.0ms
x
@inf
(sqrt (+ (log (pow (cbrt (exp (cos x))) 2)) (log (cbrt (exp (cos x))))))
93.0ms
x
@0
(pow (* (pow x 4) 4) 1/4)

analyze5.2s (3%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 199 computations (32.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
...c/correct-round.rkt:119:19: 1.5s (47.4% of total)
ival-<=: 424.0ms (13.2% of total)
ival-==: 143.0ms (4.4% of total)
ival-add: 142.0ms (4.4% of total)
ival-tan: 128.0ms (4% of total)
ival-mult: 125.0ms (3.9% of total)
ival-pow: 109.0ms (3.4% of total)
ival-exp: 92.0ms (2.9% of total)
ival-sin: 85.0ms (2.6% of total)
ival-div: 79.0ms (2.5% of total)
ival-cos: 74.0ms (2.3% of total)
ival-and: 54.0ms (1.7% of total)
ival-sub: 49.0ms (1.5% of total)
ival-fmod: 47.0ms (1.5% of total)
ival-or: 29.0ms (0.9% of total)
ival-neg: 22.0ms (0.7% of total)
ival-log: 21.0ms (0.7% of total)
ival-sqrt: 19.0ms (0.6% of total)
const: 14.0ms (0.4% of total)
ival-sinh: 12.0ms (0.4% of total)
ival->: 10.0ms (0.3% of total)
backward-pass: 9.0ms (0.3% of total)
ival-<: 8.0ms (0.2% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

preprocess3.6s (2.1%)

Algorithm
20×egg-herbie
Rules
5179×fma-neg
5054×fma-define
1625×distribute-rgt-in
1605×unsub-neg
1581×distribute-lft-in
Stop Event
18×saturated
2×node limit
Compiler

Compiled 7018 to 3472 computations (50.5% saved)

explain3.1s (1.7%)

Results
943.0ms3044×1valid
721.0ms6636×0valid
483.0ms110×5exit
224.0ms450×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-cos: 607.0ms (43% of total)
ival-div: 102.0ms (7.2% of total)
ival-mult: 95.0ms (6.7% of total)
backward-pass: 80.0ms (5.7% of total)
ival-sqrt: 67.0ms (4.7% of total)
ival-sin: 64.0ms (4.5% of total)
ival-log: 63.0ms (4.5% of total)
ival-exp: 51.0ms (3.6% of total)
ival-tan: 47.0ms (3.3% of total)
ival-sub: 42.0ms (3% of total)
ival-add: 42.0ms (3% of total)
ival-fmod: 40.0ms (2.8% of total)
ival-pow: 37.0ms (2.6% of total)
ival-acos: 33.0ms (2.3% of total)
ival-sinh: 17.0ms (1.2% of total)
const: 12.0ms (0.8% of total)
ival-neg: 8.0ms (0.6% of total)
ival-atan: 3.0ms (0.2% of total)

bsearch2.1s (1.2%)

Algorithm
4×left-value
50×binary-search
Stop Event
2×predicate-same
40×narrow-enough
8×predicate-failed
Results
737.0ms2212×1valid
617.0ms768×2valid
259.0ms2364×0valid
91.0ms808×0invalid
Compiler

Compiled 8719 to 6182 computations (29.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-exp: 451.0ms (32.6% of total)
ival-tan: 248.0ms (18% of total)
ival-mult: 133.0ms (9.6% of total)
ival-fmod: 117.0ms (8.5% of total)
ival-cos: 100.0ms (7.2% of total)
backward-pass: 68.0ms (4.9% of total)
ival-add: 61.0ms (4.4% of total)
ival-sub: 47.0ms (3.4% of total)
ival-sin: 42.0ms (3% of total)
ival-sqrt: 39.0ms (2.8% of total)
ival-pow: 37.0ms (2.7% of total)
ival-neg: 25.0ms (1.8% of total)
ival-div: 8.0ms (0.6% of total)
const: 6.0ms (0.4% of total)

end0.0ms (0%)

Profiling

Loading profile data...