Time bar (total: 15.6s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.6% | 0.4% | 0 |
| 0% | 99.6% | 0.4% | 1 |
| 0% | 99.6% | 0.4% | 2 |
| 0% | 99.6% | 0.4% | 3 |
| 0% | 99.6% | 0.4% | 4 |
| 0% | 99.6% | 0.4% | 5 |
| 0% | 99.6% | 0.4% | 6 |
| 0% | 99.6% | 0.4% | 7 |
| 0% | 99.6% | 0.4% | 8 |
| 0% | 99.6% | 0.4% | 9 |
| 0% | 99.6% | 0.4% | 10 |
| 0% | 99.6% | 0.4% | 11 |
| 0% | 99.6% | 0.4% | 12 |
| 0% | 99.6% | 0.4% | 13 |
| 0% | 99.6% | 0.4% | 14 |
Compiled 39 to 24 computations (38.5% saved)
| 2.3s | 11565× | body | 128 | invalid |
| 1.7s | 8256× | body | 128 | valid |
Compiled 78 to 48 computations (38.5% saved)
| 2× | egg-herbie |
| 367× | fma-neg_binary64 |
| 353× | distribute-lft-in_binary64 |
| 353× | distribute-rgt-in_binary64 |
| 323× | distribute-neg-in_binary64 |
| 296× | fma-def_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 299 | 1591 |
| 1 | 1049 | 1517 |
| 2 | 3158 | 1517 |
| 0 | 9 | 9 |
| 1× | saturated |
| 1× | node limit |
Compiled 38 to 23 computations (39.5% saved)
| 1× | egg-herbie |
| 486× | fma-neg_binary64 |
| 409× | sub-neg_binary64 |
| 351× | unsub-neg_binary64 |
| 284× | fma-def_binary64 |
| 258× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 43 |
| 1 | 59 | 41 |
| 2 | 155 | 41 |
| 3 | 548 | 39 |
| 4 | 1925 | 39 |
| 5 | 4453 | 39 |
| 1× | node limit |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 2 | 1 | 3 |
| Status | Error | Program |
| ▶ | 10.7b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
Compiled 137 to 72 computations (47.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (fma.f64 z (neg.f64 c) (*.f64 t i)) |
| ✓ | 3.7b | (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))) |
| ✓ | 3.8b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
| ✓ | 4.9b | (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))) |
78 calls:
| 11.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) | t | -inf |
| 8.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) | j | -inf |
| 8.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) | c | -inf |
| 5.0ms | (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))) | a | 0 |
| 5.0ms | (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))) | y | -inf |
| 1× | batch-egg-rewrite |
| 248× | add-sqr-sqrt_binary64 |
| 231× | log1p-expm1-u_binary64 |
| 231× | expm1-log1p-u_binary64 |
| 230× | add-cbrt-cube_binary64 |
| 226× | add-exp-log_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 88 |
| 1 | 482 | 88 |
| 1× | node limit |
| 1× | egg-herbie |
| 869× | fma-neg_binary64 |
| 486× | associate-+l-_binary64 |
| 379× | sub-neg_binary64 |
| 359× | associate--l+_binary64 |
| 328× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 148 | 7837 |
| 1 | 562 | 7597 |
| 2 | 1401 | 7516 |
| 3 | 2811 | 7105 |
| 1× | node limit |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 145 | 6 | 151 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 145 | 7 | 152 |
| Status | Error | Program |
| 29.2b | (fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 a (-.f64 (*.f64 c j) (*.f64 t x)))) | |
| ▶ | 11.7b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 a j (*.f64 b (neg.f64 z))) (*.f64 i (-.f64 (*.f64 t b) (*.f64 j y))))) |
| 27.2b | (fma.f64 y (-.f64 (*.f64 z x) (*.f64 j i)) (*.f64 t (-.f64 (*.f64 i b) (*.f64 a x)))) | |
| 13.1b | (-.f64 (+.f64 (*.f64 i (*.f64 t b)) (+.f64 (*.f64 c (*.f64 a j)) (*.f64 y (*.f64 z x)))) (+.f64 (*.f64 y (*.f64 i j)) (+.f64 (*.f64 a (*.f64 t x)) (*.f64 c (*.f64 z b))))) | |
| 32.7b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (pow.f64 (sqrt.f64 (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 c a) (*.f64 i y))))) 2)) | |
| ✓ | 10.7b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
| 28.5b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (*.f64 i (*.f64 t b)) (*.f64 c (*.f64 z b)))) |
Compiled 4251 to 790 computations (81.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (-.f64 (*.f64 t b) (*.f64 j y)) |
| ✓ | 3.8b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 a j (*.f64 b (neg.f64 z))) (*.f64 i (-.f64 (*.f64 t b) (*.f64 j y))))) |
| ✓ | 4.9b | (*.f64 i (-.f64 (*.f64 t b) (*.f64 j y))) |
| ✓ | 5.1b | (fma.f64 c (fma.f64 a j (*.f64 b (neg.f64 z))) (*.f64 i (-.f64 (*.f64 t b) (*.f64 j y)))) |
78 calls:
| 8.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 a j (*.f64 b (neg.f64 z))) (*.f64 i (-.f64 (*.f64 t b) (*.f64 j y))))) | z | -inf |
| 7.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 a j (*.f64 b (neg.f64 z))) (*.f64 i (-.f64 (*.f64 t b) (*.f64 j y))))) | a | inf |
| 6.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 a j (*.f64 b (neg.f64 z))) (*.f64 i (-.f64 (*.f64 t b) (*.f64 j y))))) | c | inf |
| 6.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 a j (*.f64 b (neg.f64 z))) (*.f64 i (-.f64 (*.f64 t b) (*.f64 j y))))) | x | -inf |
| 5.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 a j (*.f64 b (neg.f64 z))) (*.f64 i (-.f64 (*.f64 t b) (*.f64 j y))))) | j | inf |
| 1× | batch-egg-rewrite |
| 249× | add-sqr-sqrt_binary64 |
| 232× | log1p-expm1-u_binary64 |
| 232× | expm1-log1p-u_binary64 |
| 231× | add-cbrt-cube_binary64 |
| 227× | add-exp-log_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 88 |
| 1 | 484 | 88 |
| 1× | node limit |
| 1× | egg-herbie |
| 867× | fma-neg_binary64 |
| 486× | associate-+l-_binary64 |
| 380× | sub-neg_binary64 |
| 360× | associate--l+_binary64 |
| 329× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 150 | 7693 |
| 1 | 584 | 7597 |
| 2 | 1423 | 7516 |
| 3 | 2833 | 7105 |
| 1× | node limit |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 175 | 3 | 178 |
| Fresh | 2 | 3 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 178 | 7 | 185 |
| Status | Error | Program |
| 25.7b | (fma.f64 j (-.f64 (*.f64 c a) (*.f64 i y)) (*.f64 t (-.f64 (*.f64 i b) (*.f64 a x)))) | |
| 29.2b | (fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 a (-.f64 (*.f64 c j) (*.f64 t x)))) | |
| 20.5b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (*.f64 i (*.f64 t b)) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) | |
| 31.6b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 a j (*.f64 b (neg.f64 z))) (*.f64 i (+.f64 (-.f64 (*.f64 b t) (*.f64 j y)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 j y))) (sqrt.f64 (*.f64 j y)) (*.f64 j y)))))) | |
| ▶ | 13.1b | (-.f64 (+.f64 (*.f64 i (*.f64 t b)) (+.f64 (*.f64 c (*.f64 a j)) (*.f64 y (*.f64 z x)))) (+.f64 (*.f64 y (*.f64 i j)) (+.f64 (*.f64 a (*.f64 t x)) (*.f64 c (*.f64 z b))))) |
| 32.7b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (pow.f64 (sqrt.f64 (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 c a) (*.f64 i y))))) 2)) | |
| ✓ | 10.7b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
Compiled 5462 to 1064 computations (80.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 4.7b | (*.f64 c (*.f64 z b)) |
| ✓ | 5.3b | (*.f64 y (*.f64 z x)) |
| ✓ | 6.5b | (*.f64 c (*.f64 a j)) |
| ✓ | 6.7b | (*.f64 a (*.f64 t x)) |
36 calls:
| 8.0ms | (*.f64 a (*.f64 t x)) | t | -inf |
| 3.0ms | (*.f64 y (*.f64 z x)) | z | inf |
| 1.0ms | (*.f64 c (*.f64 z b)) | b | -inf |
| 1.0ms | (*.f64 y (*.f64 z x)) | z | -inf |
| 1.0ms | (*.f64 a (*.f64 t x)) | x | -inf |
| 1× | batch-egg-rewrite |
| 315× | expm1-udef_binary64 |
| 315× | log1p-udef_binary64 |
| 222× | associate-*r*_binary64 |
| 174× | add-sqr-sqrt_binary64 |
| 158× | add-log-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 28 |
| 1 | 340 | 28 |
| 2 | 4293 | 28 |
| 1× | node limit |
| 1× | egg-herbie |
| 5× | *-commutative_binary64 |
| 3× | associate-*r*_binary64 |
| 3× | associate-*l*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 112 |
| 1 | 10 | 112 |
| 2 | 17 | 112 |
| 3 | 19 | 112 |
| 1× | saturated |
7 alts after pruning (5 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 62 | 0 | 62 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 62 | 7 | 69 |
| Status | Error | Program |
| 25.7b | (fma.f64 j (-.f64 (*.f64 c a) (*.f64 i y)) (*.f64 t (-.f64 (*.f64 i b) (*.f64 a x)))) | |
| 29.2b | (fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 a (-.f64 (*.f64 c j) (*.f64 t x)))) | |
| ▶ | 20.5b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (*.f64 i (*.f64 t b)) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) |
| 31.6b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 a j (*.f64 b (neg.f64 z))) (*.f64 i (+.f64 (-.f64 (*.f64 b t) (*.f64 j y)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 j y))) (sqrt.f64 (*.f64 j y)) (*.f64 j y)))))) | |
| ✓ | 13.1b | (-.f64 (+.f64 (*.f64 i (*.f64 t b)) (+.f64 (*.f64 c (*.f64 a j)) (*.f64 y (*.f64 z x)))) (+.f64 (*.f64 y (*.f64 i j)) (+.f64 (*.f64 a (*.f64 t x)) (*.f64 c (*.f64 z b))))) |
| 32.7b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (pow.f64 (sqrt.f64 (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 c a) (*.f64 i y))))) 2)) | |
| ✓ | 10.7b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
Compiled 2807 to 673 computations (76% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 3.2b | (*.f64 i (*.f64 t b)) |
| ✓ | 3.8b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (*.f64 i (*.f64 t b)) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) |
| 4.7b | (*.f64 c (*.f64 z b)) | |
| ✓ | 6.7b | (*.f64 i (*.f64 y j)) |
45 calls:
| 4.0ms | (*.f64 i (*.f64 t b)) | i | -inf |
| 4.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (*.f64 i (*.f64 t b)) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) | x | 0 |
| 4.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (*.f64 i (*.f64 t b)) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) | b | 0 |
| 4.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (*.f64 i (*.f64 t b)) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) | a | 0 |
| 4.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (*.f64 i (*.f64 t b)) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) | z | 0 |
| 1× | batch-egg-rewrite |
| 250× | add-sqr-sqrt_binary64 |
| 235× | log1p-expm1-u_binary64 |
| 235× | expm1-log1p-u_binary64 |
| 234× | add-cbrt-cube_binary64 |
| 229× | add-log-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 50 |
| 1 | 486 | 50 |
| 1× | node limit |
| 1× | egg-herbie |
| 575× | sub-neg_binary64 |
| 518× | fma-def_binary64 |
| 505× | fma-neg_binary64 |
| 349× | cancel-sign-sub-inv_binary64 |
| 257× | associate-+l-_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 96 | 3547 |
| 1 | 345 | 3457 |
| 2 | 980 | 3454 |
| 3 | 2210 | 3367 |
| 4 | 4327 | 3367 |
| 1× | node limit |
7 alts after pruning (4 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 106 | 1 | 107 |
| Fresh | 1 | 3 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 107 | 7 | 114 |
| Status | Error | Program |
| 31.6b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 c (fma.f64 a j (*.f64 b (neg.f64 z))) (*.f64 i (+.f64 (-.f64 (*.f64 b t) (*.f64 j y)) (fma.f64 (neg.f64 (sqrt.f64 (*.f64 j y))) (sqrt.f64 (*.f64 j y)) (*.f64 j y)))))) | |
| 20.1b | (fma.f64 y (-.f64 (*.f64 z x) (*.f64 i j)) (fma.f64 t (fma.f64 x (neg.f64 a) (*.f64 i b)) (*.f64 c (*.f64 b (neg.f64 z))))) | |
| 29.2b | (fma.f64 z (-.f64 (*.f64 y x) (*.f64 c b)) (*.f64 a (-.f64 (*.f64 c j) (*.f64 t x)))) | |
| ✓ | 20.5b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (-.f64 (*.f64 i (*.f64 t b)) (+.f64 (*.f64 i (*.f64 y j)) (*.f64 c (*.f64 z b))))) |
| ✓ | 13.1b | (-.f64 (+.f64 (*.f64 i (*.f64 t b)) (+.f64 (*.f64 c (*.f64 a j)) (*.f64 y (*.f64 z x)))) (+.f64 (*.f64 y (*.f64 i j)) (+.f64 (*.f64 a (*.f64 t x)) (*.f64 c (*.f64 z b))))) |
| 32.7b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (pow.f64 (sqrt.f64 (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 c a) (*.f64 i y))))) 2)) | |
| ✓ | 10.7b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (fma.f64 b (fma.f64 z (neg.f64 c) (*.f64 t i)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
Compiled 2718 to 571 computations (79% saved)
Total 3.6b remaining (93.8%)
Threshold costs 0b (0%)
Compiled 66026 to 41438 computations (37.2% saved)
| 2× | left-value |
2 calls:
| 0.0ms | (+.f64 (-.f64 (*.f64 x (-.f64 (*.f64 y z) (*.f64 t a))) (*.f64 b (-.f64 (*.f64 c z) (*.f64 t i)))) (*.f64 j (-.f64 (*.f64 c a) (*.f64 y i)))) |
| 0.0ms | (+.f64 (-.f64 (*.f64 x (-.f64 (*.f64 y z) (*.f64 t a))) (*.f64 b (-.f64 (*.f64 c z) (*.f64 t i)))) (*.f64 j (-.f64 (*.f64 c a) (*.f64 y i)))) |
| Iters | Point | Range | ||||
|---|---|---|---|---|---|---|
1.228945731139814e+307 | ∈ [ | 1.228945731139814e+307 | , | #hash((type . real) (value . +inf)) | ] | |
#hash((type . real) (value . -inf)) | ∈ [ | #hash((type . real) (value . -inf)) | , | -1.5777840169152155e+301 | ] | |
Compiled 38 to 23 computations (39.5% saved)
| 1× | egg-herbie |
| 191× | distribute-rgt-neg-in_binary64 |
| 163× | cancel-sign-sub-inv_binary64 |
| 118× | distribute-lft-neg-in_binary64 |
| 113× | neg-sub0_binary64 |
| 113× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 58 | 202 |
| 1 | 125 | 202 |
| 2 | 197 | 202 |
| 3 | 235 | 202 |
| 4 | 283 | 202 |
| 5 | 314 | 202 |
| 6 | 354 | 202 |
| 7 | 446 | 202 |
| 8 | 542 | 202 |
| 9 | 650 | 202 |
| 10 | 807 | 202 |
| 11 | 970 | 202 |
| 12 | 1152 | 202 |
| 13 | 1282 | 202 |
| 14 | 1350 | 202 |
| 15 | 1389 | 202 |
| 16 | 1407 | 202 |
| 17 | 1411 | 202 |
| 1× | saturated |
| 1× | fuel |
Compiled 556 to 260 computations (53.2% saved)
Loading profile data...