Herbie run

Date:Thursday, May 23rd, 2024
Commit:f940d267 on brett-blog-post
Hostname:nightly with Racket 8.11.1
Seed:2024144
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.7min)

sample57.4s (26.2%)

Results
19.1s16603×5exit
14.2s48395×1valid
11.8s109420×0valid
2.6s7305×2valid
480.0ms4030×0invalid
194.0ms1330×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 37.9s
ival-exp: 6.2s (16.4% of total)
ival-pow: 5.9s (15.5% of total)
backward-pass: 3.8s (9.9% of total)
ival-cos: 3.7s (9.9% of total)
...c/correct-round.rkt:121:19: 3.4s (8.9% of total)
ival-mult: 2.0s (5.4% of total)
ival-<=: 1.8s (4.6% of total)
ival-sqrt: 1.4s (3.7% of total)
ival-sub: 1.3s (3.4% of total)
ival-log: 1.2s (3.2% of total)
ival-div: 1.2s (3.1% of total)
ival-tan: 1.1s (2.9% of total)
ival-add: 979.0ms (2.6% of total)
ival-fmod: 873.0ms (2.3% of total)
ival-acos: 744.0ms (2% of total)
ival-sin: 737.0ms (1.9% of total)
ival-sinh: 586.0ms (1.5% of total)
ival-neg: 246.0ms (0.6% of total)
const: 217.0ms (0.6% of total)
ival-==: 137.0ms (0.4% of total)
ival-and: 135.0ms (0.4% of total)
ival-<: 113.0ms (0.3% of total)
ival-or: 62.0ms (0.2% of total)
ival->=: 58.0ms (0.2% of total)
ival-atan: 50.0ms (0.1% of total)
ival->: 33.0ms (0.1% of total)
Bogosity

simplify30.5s (13.9%)

Algorithm
162×egg-herbie
Rules
47519×fma-define
43724×fma-neg
27688×distribute-lft-in
24341×distribute-rgt-in
24264×times-frac
Stop Event
64×saturated
92×node limit
6×unsound
Counts
33707 → 30107

soundness28.5s (13%)

Rules
18839×log1p-expm1-u
18581×fma-define
14989×expm1-log1p-u
12787×fma-neg
12518×associate-*r*
Stop Event
6×saturated
66×node limit
13×fuel
5×unsound
7×done
Compiler

Compiled 12456 to 3362 computations (73% saved)

rewrite23.8s (10.9%)

Algorithm
70×batch-egg-rewrite
Rules
35512×log1p-expm1-u
30076×expm1-log1p-u
17519×pow1
16097×add-exp-log
15423×add-log-exp
Stop Event
70×node limit
Counts
674 → 22392

localize19.2s (8.8%)

Results
6.0s4398×1valid
4.9s613×5exit
2.9s11417×0valid
1.7s1127×2valid
370.0ms552×0invalid
313.0ms218×1invalid
28.0ms107×0unsamplable
Compiler

Compiled 9224 to 1406 computations (84.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.4s
ival-pow: 3.0s (28.9% of total)
ival-mult: 1.1s (10.2% of total)
backward-pass: 1.0s (9.9% of total)
ival-cos: 648.0ms (6.3% of total)
ival-div: 534.0ms (5.2% of total)
ival-fmod: 494.0ms (4.8% of total)
ival-sin: 443.0ms (4.3% of total)
ival-tan: 433.0ms (4.2% of total)
ival-log: 406.0ms (3.9% of total)
...c/correct-round.rkt:121:19: 372.0ms (3.6% of total)
ival-add: 364.0ms (3.5% of total)
ival-sqrt: 262.0ms (2.5% of total)
ival-exp: 228.0ms (2.2% of total)
ival-sub: 196.0ms (1.9% of total)
ival-expm1: 195.0ms (1.9% of total)
ival-fma: 171.0ms (1.7% of total)
ival-log1p: 75.0ms (0.7% of total)
ival-asin: 66.0ms (0.6% of total)
ival-acos: 66.0ms (0.6% of total)
ival-neg: 63.0ms (0.6% of total)
ival-cbrt: 62.0ms (0.6% of total)
ival-fabs: 55.0ms (0.5% of total)
ival-sinh: 53.0ms (0.5% of total)
const: 49.0ms (0.5% of total)
ival-hypot: 34.0ms (0.3% of total)
ival-pi: 7.0ms (0.1% of total)
ival-atan: 4.0ms (0% of total)
ival-e: 2.0ms (0% of total)

analyze15.6s (7.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: 11.2s
...c/correct-round.rkt:121:19: 9.2s (82.4% of total)
ival-<=: 531.0ms (4.7% of total)
ival-tan: 387.0ms (3.5% of total)
ival-sin: 224.0ms (2% of total)
ival-mult: 144.0ms (1.3% of total)
ival-pow: 115.0ms (1% of total)
ival-add: 100.0ms (0.9% of total)
ival-cos: 66.0ms (0.6% of total)
ival-and: 54.0ms (0.5% of total)
ival-fmod: 50.0ms (0.4% of total)
ival-sub: 49.0ms (0.4% of total)
ival-div: 46.0ms (0.4% of total)
ival-exp: 45.0ms (0.4% of total)
ival-or: 29.0ms (0.3% of total)
ival-==: 28.0ms (0.3% of total)
ival-log: 21.0ms (0.2% of total)
ival-sqrt: 19.0ms (0.2% of total)
ival-neg: 19.0ms (0.2% of total)
const: 13.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival->: 7.0ms (0.1% of total)
backward-pass: 6.0ms (0.1% of total)
ival-<: 5.0ms (0% of total)
ival-atan: 1.0ms (0% of total)
ival->=: 1.0ms (0% of total)
ival-acos: 0.0ms (0% of total)

prune11.9s (5.4%)

Counts
47122 → 1997
Compiler

Compiled 72064 to 39154 computations (45.7% saved)

eval8.5s (3.9%)

Compiler

Compiled 1021473 to 154747 computations (84.9% saved)

regimes8.3s (3.8%)

Counts
4472 → 191
Calls

55 calls:

1.1s
a
932.0ms
r
899.0ms
x
721.0ms
b
487.0ms
(+.f64 y z)
Compiler

Compiled 2012 to 1420 computations (29.4% saved)

series6.7s (3.1%)

Counts
674 → 11315
Calls

2799 calls:

TimeVariablePointExpression
413.0ms
r
@0
(log (* r (sin b)))
267.0ms
y
@inf
(log (+ 1 (tan (+ y z))))
214.0ms
y
@0
(* x (- (+ 1 (/ (sin (+ y z)) (* x (cos (+ y z))))) (/ a x)))
180.0ms
z
@-inf
(- (+ 1 (/ (sin (+ y z)) (* x (cos (+ y z))))) (/ a x))
158.0ms
b
@inf
(log (* (sin b) (/ r (cos (+ b a)))))

preprocess4.0s (1.8%)

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 8968 to 4416 computations (50.8% saved)

explain2.6s (1.2%)

Results
796.0ms3038×1valid
703.0ms6668×0valid
273.0ms102×5exit
154.0ms432×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-cos: 273.0ms (19.6% of total)
ival-sub: 227.0ms (16.3% of total)
ival-sqrt: 208.0ms (14.9% of total)
ival-mult: 101.0ms (7.2% of total)
ival-tan: 95.0ms (6.8% of total)
backward-pass: 79.0ms (5.7% of total)
ival-pow: 71.0ms (5.1% of total)
ival-log: 70.0ms (5% of total)
ival-exp: 47.0ms (3.4% of total)
ival-add: 42.0ms (3% of total)
ival-sin: 41.0ms (2.9% of total)
ival-fmod: 38.0ms (2.7% of total)
ival-div: 35.0ms (2.5% of total)
ival-acos: 23.0ms (1.7% of total)
ival-sinh: 20.0ms (1.4% of total)
const: 12.0ms (0.9% of total)
ival-neg: 7.0ms (0.5% of total)
ival-atan: 4.0ms (0.3% of total)

bsearch1.8s (0.8%)

Algorithm
40×binary-search
13×left-value
Stop Event
3×predicate-same
37×narrow-enough
Results
705.0ms2232×1valid
398.0ms2280×0valid
373.0ms560×2valid
Compiler

Compiled 8197 to 5681 computations (30.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0s
ival-tan: 272.0ms (26.8% of total)
ival-exp: 182.0ms (18% of total)
ival-add: 116.0ms (11.4% of total)
backward-pass: 80.0ms (7.9% of total)
ival-cos: 75.0ms (7.4% of total)
ival-fmod: 74.0ms (7.3% of total)
ival-pow: 70.0ms (6.9% of total)
ival-mult: 41.0ms (4% of total)
ival-sin: 23.0ms (2.3% of total)
ival-sqrt: 22.0ms (2.2% of total)
ival-div: 15.0ms (1.5% of total)
ival-acos: 15.0ms (1.5% of total)
ival-sub: 13.0ms (1.3% of total)
ival-neg: 11.0ms (1.1% of total)
const: 5.0ms (0.5% of total)

end0.0ms (0%)

Profiling

Loading profile data...