Herbie run

Date:Thursday, May 23rd, 2024
Commit:7841f259 on main
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)

sample56.6s (25.8%)

Results
18.6s16603×5exit
15.1s48395×1valid
10.4s109420×0valid
2.9s7305×2valid
617.0ms4030×0invalid
132.0ms1330×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 36.7s
ival-pow: 6.0s (16.3% of total)
ival-exp: 5.5s (15% of total)
backward-pass: 3.8s (10.5% of total)
ival-cos: 3.2s (8.7% of total)
...c/correct-round.rkt:121:19: 2.9s (7.8% of total)
ival-mult: 2.7s (7.4% of total)
ival-sqrt: 1.5s (4.1% of total)
ival-<=: 1.5s (4.1% of total)
ival-log: 1.5s (4% of total)
ival-tan: 1.1s (3.1% of total)
ival-add: 1.1s (2.9% of total)
ival-fmod: 953.0ms (2.6% of total)
ival-sub: 886.0ms (2.4% of total)
ival-sin: 853.0ms (2.3% of total)
ival-div: 794.0ms (2.2% of total)
ival-acos: 587.0ms (1.6% of total)
ival-sinh: 478.0ms (1.3% of total)
ival-neg: 439.0ms (1.2% of total)
const: 214.0ms (0.6% of total)
ival-==: 180.0ms (0.5% of total)
ival-<: 170.0ms (0.5% of total)
ival-and: 140.0ms (0.4% of total)
ival-or: 61.0ms (0.2% of total)
ival-atan: 54.0ms (0.1% of total)
ival->=: 53.0ms (0.1% of total)
ival->: 34.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

soundness29.5s (13.5%)

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)

rewrite24.7s (11.3%)

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

localize20.3s (9.2%)

Results
5.8s4398×1valid
4.8s613×5exit
3.1s11417×0valid
2.3s1127×2valid
278.0ms552×0invalid
227.0ms218×1invalid
19.0ms107×0unsamplable
Compiler

Compiled 9224 to 1406 computations (84.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.9s
ival-pow: 3.0s (27.5% of total)
ival-mult: 889.0ms (8.2% of total)
ival-cos: 844.0ms (7.8% of total)
ival-tan: 719.0ms (6.6% of total)
backward-pass: 709.0ms (6.5% of total)
ival-div: 706.0ms (6.5% of total)
ival-log: 695.0ms (6.4% of total)
ival-add: 445.0ms (4.1% of total)
ival-sqrt: 425.0ms (3.9% of total)
ival-fmod: 421.0ms (3.9% of total)
ival-sin: 364.0ms (3.4% of total)
...c/correct-round.rkt:121:19: 317.0ms (2.9% of total)
ival-sub: 251.0ms (2.3% of total)
ival-exp: 240.0ms (2.2% of total)
ival-neg: 124.0ms (1.1% of total)
ival-fma: 119.0ms (1.1% of total)
ival-asin: 112.0ms (1% of total)
ival-log1p: 77.0ms (0.7% of total)
ival-fabs: 71.0ms (0.7% of total)
ival-expm1: 68.0ms (0.6% of total)
ival-acos: 65.0ms (0.6% of total)
ival-cbrt: 62.0ms (0.6% of total)
ival-sinh: 51.0ms (0.5% of total)
const: 48.0ms (0.4% of total)
ival-hypot: 34.0ms (0.3% of total)
ival-pi: 8.0ms (0.1% of total)
ival-atan: 3.0ms (0% of total)
ival-e: 2.0ms (0% of total)

analyze15.7s (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: 4.4s
...c/correct-round.rkt:121:19: 2.6s (59.7% of total)
ival-<=: 337.0ms (7.7% of total)
ival-sin: 307.0ms (7% of total)
ival-pow: 170.0ms (3.9% of total)
ival-add: 170.0ms (3.9% of total)
ival-tan: 143.0ms (3.3% of total)
ival-mult: 130.0ms (3% of total)
ival-sub: 75.0ms (1.7% of total)
ival-cos: 68.0ms (1.6% of total)
ival-and: 53.0ms (1.2% of total)
ival-exp: 50.0ms (1.1% of total)
ival-div: 47.0ms (1.1% of total)
ival-fmod: 47.0ms (1.1% of total)
ival-or: 29.0ms (0.7% of total)
ival-==: 28.0ms (0.6% of total)
ival-neg: 23.0ms (0.5% of total)
ival-log: 22.0ms (0.5% of total)
ival-sqrt: 19.0ms (0.4% of total)
const: 14.0ms (0.3% of total)
ival-sinh: 11.0ms (0.3% of total)
backward-pass: 6.0ms (0.1% 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)

prune12.4s (5.7%)

Counts
47122 → 1997
Compiler

Compiled 72064 to 39154 computations (45.7% saved)

eval8.9s (4.1%)

Compiler

Compiled 1021473 to 154747 computations (84.9% saved)

regimes7.3s (3.3%)

Counts
4472 → 191
Calls

55 calls:

1.0s
a
1.0s
b
859.0ms
r
754.0ms
x
337.0ms
z
Compiler

Compiled 2012 to 1420 computations (29.4% saved)

series5.2s (2.4%)

Counts
674 → 11315
Calls

2799 calls:

TimeVariablePointExpression
232.0ms
b
@inf
(log (* (sin b) (/ r (cos (+ b a)))))
200.0ms
x
@0
(* (* (sqrt (* x 2)) (fabs (cbrt x))) (sqrt (cbrt x)))
134.0ms
x
@inf
(log (log (+ 1 (- x lo))))
99.0ms
y
@inf
(log (+ 1 (tan (+ y z))))
93.0ms
b
@0
(/ (* r (sin b)) (+ (* (sin b) (neg (sin a))) (* (cos a) (cos b))))

preprocess3.8s (1.7%)

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

Results
836.0ms3038×1valid
660.0ms6668×0valid
309.0ms102×5exit
160.0ms432×2valid
Compiler

Compiled 1135 to 400 computations (64.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-cos: 307.0ms (28.5% of total)
ival-mult: 107.0ms (9.9% of total)
ival-add: 106.0ms (9.8% of total)
backward-pass: 80.0ms (7.4% of total)
ival-log: 69.0ms (6.4% of total)
ival-sqrt: 65.0ms (6% of total)
ival-tan: 47.0ms (4.4% of total)
ival-sin: 44.0ms (4.1% of total)
ival-div: 42.0ms (3.9% of total)
ival-sub: 41.0ms (3.8% of total)
ival-exp: 38.0ms (3.5% of total)
ival-pow: 37.0ms (3.4% of total)
ival-fmod: 37.0ms (3.4% of total)
ival-acos: 20.0ms (1.9% of total)
ival-sinh: 17.0ms (1.6% of total)
const: 12.0ms (1.1% of total)
ival-neg: 6.0ms (0.6% of total)
ival-atan: 3.0ms (0.3% of total)

bsearch1.7s (0.8%)

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

Compiled 8197 to 5681 computations (30.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 884.0ms
ival-exp: 190.0ms (21.5% of total)
ival-tan: 147.0ms (16.6% of total)
ival-add: 127.0ms (14.4% of total)
ival-fmod: 110.0ms (12.4% of total)
ival-cos: 73.0ms (8.3% of total)
backward-pass: 58.0ms (6.6% of total)
ival-mult: 40.0ms (4.5% of total)
ival-pow: 31.0ms (3.5% of total)
ival-sub: 22.0ms (2.5% of total)
ival-sqrt: 22.0ms (2.5% of total)
ival-sin: 21.0ms (2.4% of total)
ival-div: 15.0ms (1.7% of total)
ival-acos: 14.0ms (1.6% of total)
ival-neg: 10.0ms (1.1% of total)
const: 5.0ms (0.6% of total)

end0.0ms (0%)

Profiling

Loading profile data...