Herbie run

Date:Saturday, May 11th, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024132
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: 3.2min)

sample46.9s (24.5%)

Results
16.1s48412×1valid
10.6s109362×0valid
8.8s16365×5exit
2.9s7346×2valid
588.0ms3952×0invalid
133.0ms1349×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 29.3s
ival-cos: 4.8s (16.3% of total)
...c/correct-round.rkt:119:19: 3.7s (12.6% of total)
ival-pow: 2.2s (7.4% of total)
ival-sin: 2.1s (7.3% of total)
ival-mult: 2.1s (7.2% of total)
backward-pass: 2.0s (6.7% of total)
ival-add: 1.7s (6% of total)
ival-log: 1.5s (5.3% of total)
ival-exp: 1.2s (4.2% of total)
ival-sqrt: 1.2s (4% of total)
ival-tan: 1.1s (3.9% of total)
ival-div: 1.1s (3.7% of total)
ival-fmod: 869.0ms (3% of total)
ival-<=: 861.0ms (2.9% of total)
ival-sub: 745.0ms (2.5% of total)
ival-acos: 544.0ms (1.9% of total)
ival-sinh: 449.0ms (1.5% of total)
ival-neg: 246.0ms (0.8% of total)
const: 210.0ms (0.7% of total)
ival-and: 135.0ms (0.5% of total)
ival-==: 134.0ms (0.5% of total)
ival-<: 116.0ms (0.4% of total)
ival-or: 62.0ms (0.2% of total)
ival-atan: 53.0ms (0.2% of total)
ival->=: 51.0ms (0.2% of total)
ival->: 37.0ms (0.1% of total)
Bogosity

simplify33.5s (17.5%)

Algorithm
151×egg-herbie
Rules
48893×fma-define
38578×fma-neg
24555×distribute-lft-in
22603×distribute-rgt-in
21332×*-commutative
Stop Event
59×saturated
83×node limit
9×unsound
Counts
35248 → 30525

soundness21.7s (11.4%)

Rules
15442×fma-define
14529×log1p-expm1-u
14070×fma-neg
12326×expm1-log1p-u
11265×associate-*r*
Stop Event
6×saturated
60×node limit
13×fuel
6×unsound
7×done
Compiler

Compiled 10338 to 3143 computations (69.6% saved)

localize18.6s (9.7%)

Results
5.7s5206×1valid
3.3s1331×2valid
3.0s9669×0valid
2.6s310×5exit
198.0ms101×3valid
63.0ms152×0unsamplable
58.0ms116×0invalid
12.0ms11×1invalid
Compiler

Compiled 9589 to 1387 computations (85.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.3s
ival-cos: 2.0s (19.9% of total)
ival-mult: 1.1s (10.5% of total)
ival-fmod: 991.0ms (9.7% of total)
ival-pow: 868.0ms (8.5% of total)
ival-log: 685.0ms (6.7% of total)
backward-pass: 659.0ms (6.4% of total)
ival-sin: 659.0ms (6.4% of total)
ival-div: 614.0ms (6% of total)
ival-add: 404.0ms (3.9% of total)
...c/correct-round.rkt:119:19: 404.0ms (3.9% of total)
ival-exp: 292.0ms (2.8% of total)
ival-sub: 280.0ms (2.7% of total)
ival-tan: 248.0ms (2.4% of total)
ival-cbrt: 179.0ms (1.7% of total)
ival-sqrt: 166.0ms (1.6% of total)
ival-log1p: 121.0ms (1.2% of total)
ival-sinh: 100.0ms (1% of total)
ival-fma: 98.0ms (1% of total)
ival-acos: 77.0ms (0.8% of total)
ival-asin: 56.0ms (0.5% of total)
ival-expm1: 53.0ms (0.5% of total)
const: 48.0ms (0.5% of total)
ival-neg: 46.0ms (0.4% of total)
ival-e: 28.0ms (0.3% of total)
ival-hypot: 26.0ms (0.3% of total)
ival-pi: 15.0ms (0.1% of total)
ival-fabs: 15.0ms (0.1% of total)
ival-atan: 2.0ms (0% of total)

rewrite15.3s (8%)

Algorithm
65×batch-egg-rewrite
Rules
32206×log1p-expm1-u
26894×expm1-log1p-u
15602×pow1
14570×add-exp-log
14325×add-log-exp
Stop Event
64×node limit
1×unsound
Counts
673 → 23307

prune15.1s (7.9%)

Counts
51791 → 2042
Compiler

Compiled 74203 to 40769 computations (45.1% saved)

eval9.6s (5%)

Compiler

Compiled 1153150 to 178845 computations (84.5% saved)

regimes9.3s (4.9%)

Counts
4360 → 183
Calls

53 calls:

937.0ms
a
890.0ms
b
724.0ms
(tan.f64 (+.f64 y z))
720.0ms
x
689.0ms
r
Compiler

Compiled 1922 to 1366 computations (28.9% saved)

analyze7.9s (4.1%)

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: 4.2s
...c/correct-round.rkt:119:19: 2.0s (47.1% of total)
ival-<=: 817.0ms (19.2% of total)
ival-tan: 297.0ms (7% of total)
ival-pow: 168.0ms (4% of total)
ival-mult: 166.0ms (3.9% of total)
ival-fmod: 115.0ms (2.7% of total)
ival-==: 111.0ms (2.6% of total)
ival-add: 99.0ms (2.3% of total)
ival-sin: 76.0ms (1.8% of total)
ival-cos: 70.0ms (1.6% of total)
ival-and: 54.0ms (1.3% of total)
ival-div: 50.0ms (1.2% of total)
ival-exp: 45.0ms (1.1% of total)
ival-sub: 44.0ms (1% of total)
ival-or: 30.0ms (0.7% of total)
ival-neg: 22.0ms (0.5% of total)
ival-log: 20.0ms (0.5% of total)
ival-sqrt: 18.0ms (0.4% of total)
const: 13.0ms (0.3% of total)
ival-sinh: 11.0ms (0.3% of total)
backward-pass: 8.0ms (0.2% of total)
ival-<: 5.0ms (0.1% of total)
ival->: 4.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

series5.5s (2.9%)

Counts
673 → 11941
Calls

2880 calls:

TimeVariablePointExpression
286.0ms
r
@0
(* r (/ (sin b) (- (* (cos b) (cos a)) (* b (sin a)))))
201.0ms
w
@inf
(/ (pow (pow (cbrt l) (exp w)) 3) (exp w))
173.0ms
l
@inf
(/ (pow (pow (cbrt l) (exp w)) 3) (exp w))
162.0ms
z
@inf
(+ x (- (tan (+ y z)) (tan a)))
161.0ms
b
@-inf
(log (+ 1 (* (cos b) (cos a))))

preprocess3.7s (1.9%)

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 6452 to 3096 computations (52% saved)

explain2.7s (1.4%)

Results
648.0ms2970×1valid
636.0ms6696×0valid
478.0ms96×5exit
186.0ms478×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-cos: 407.0ms (34.3% of total)
ival-mult: 114.0ms (9.6% of total)
ival-log: 79.0ms (6.7% of total)
backward-pass: 78.0ms (6.6% of total)
ival-sin: 77.0ms (6.5% of total)
ival-sqrt: 70.0ms (5.9% of total)
ival-tan: 56.0ms (4.7% of total)
ival-exp: 49.0ms (4.1% of total)
ival-pow: 43.0ms (3.6% of total)
ival-fmod: 41.0ms (3.5% of total)
ival-add: 39.0ms (3.3% of total)
ival-sub: 36.0ms (3% of total)
ival-div: 33.0ms (2.8% of total)
ival-acos: 23.0ms (1.9% of total)
ival-sinh: 17.0ms (1.4% of total)
const: 12.0ms (1% of total)
ival-neg: 8.0ms (0.7% of total)
ival-atan: 3.0ms (0.3% of total)

bsearch1.7s (0.9%)

Algorithm
10×left-value
47×binary-search
Stop Event
47×narrow-enough
Results
1.1s2769×1valid
331.0ms3295×0valid
46.0ms96×2valid
Compiler

Compiled 8679 to 6277 computations (27.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0s
ival-tan: 290.0ms (28.8% of total)
ival-add: 165.0ms (16.4% of total)
ival-sin: 163.0ms (16.2% of total)
ival-cos: 103.0ms (10.2% of total)
backward-pass: 69.0ms (6.8% of total)
ival-mult: 51.0ms (5.1% of total)
ival-exp: 45.0ms (4.5% of total)
ival-pow: 43.0ms (4.3% of total)
ival-div: 27.0ms (2.7% of total)
ival-sub: 23.0ms (2.3% of total)
ival-neg: 10.0ms (1% of total)
ival-fmod: 9.0ms (0.9% of total)
const: 5.0ms (0.5% of total)
ival-sqrt: 3.0ms (0.3% of total)

end0.0ms (0%)

Profiling

Loading profile data...