Time bar (total: 2.9s)
| 31.0ms | 626× | body | 80 | valid |
Useful iterations: 2 (4.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 26 | 8 |
| 1 | 51 | 8 |
| 2 | 88 | 7 |
| 3 | 153 | 7 |
| 4 | 357 | 7 |
| 5 | 1572 | 7 |
| 6 | 5002 | 7 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 1 | 2 |
Merged error: 0.2b
Found 2 expressions with local error:
| 0.0b | (- (pow (+ (* a a) (* b b)) 2.0) 1.0) |
| 0.4b | (pow (+ (* a a) (* b b)) 2.0) |
| 24× | add-sqr-sqrt |
| 21× | *-un-lft-identity prod-diff |
| 19× | add-cube-cbrt |
| 16× | unpow-prod-down |
| 7× | fma-neg |
| 6× | sqr-pow |
| 4× | add-log-exp |
| 3× | pow1 add-exp-log pow-unpow difference-of-squares |
| 2× | expm1-log1p-u add-cbrt-cube log1p-expm1-u |
| 1× | pow-to-exp sub-neg flip3-- pow-pow diff-log pow-exp flip-- distribute-lft-out-- |
| 8.0ms | (- (pow (+ (* a a) (* b b)) 2.0) 1.0) |
| 5.0ms | (pow (+ (* a a) (* b b)) 2.0) |
| 55.0ms | (- (pow (+ (* a a) (* b b)) 2.0) 1.0) |
| 101.0ms | (pow (+ (* a a) (* b b)) 2.0) |
Useful iterations: 3 (138.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 247 | 706 |
| 1 | 850 | 507 |
| 2 | 4185 | 473 |
| 3 | 5001 | 442 |
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 69 | 2 | 71 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 69 | 3 | 72 |
Merged error: 0b
Found 2 expressions with local error:
| 0.0b | (- (pow (hypot a b) (* 2 2.0)) 1.0) |
| 0.0b | (pow (hypot a b) (* 2 2.0)) |
| 23× | add-sqr-sqrt |
| 21× | prod-diff |
| 20× | *-un-lft-identity |
| 18× | add-cube-cbrt |
| 16× | unpow-prod-down |
| 7× | fma-neg |
| 6× | sqr-pow |
| 4× | add-log-exp |
| 3× | pow1 add-exp-log difference-of-squares |
| 2× | expm1-log1p-u add-cbrt-cube log1p-expm1-u |
| 1× | pow-to-exp sub-neg pow-unpow hypot-udef flip3-- pow-pow diff-log pow-exp sqrt-pow2 flip-- distribute-lft-out-- |
| 7.0ms | (- (pow (hypot a b) (* 2 2.0)) 1.0) |
| 2.0ms | (pow (hypot a b) (* 2 2.0)) |
| 77.0ms | (- (pow (hypot a b) (* 2 2.0)) 1.0) |
| 126.0ms | (pow (hypot a b) (* 2 2.0)) |
Useful iterations: 3 (130.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 241 | 610 |
| 1 | 860 | 432 |
| 2 | 4332 | 403 |
| 3 | 5001 | 377 |
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 70 | 0 | 70 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 70 | 3 | 73 |
Merged error: 0b
Found 3 expressions with local error:
| 0.0b | (- (fma (* 2.0 (pow a 2)) (pow b 2) (pow b 4)) 1.0) |
| 0.0b | (* 2.0 (pow a 2)) |
| 0.8b | (fma (* 2.0 (pow a 2)) (pow b 2) (pow b 4)) |
| 21× | add-sqr-sqrt |
| 15× | *-un-lft-identity |
| 13× | add-cube-cbrt |
| 9× | prod-diff |
| 8× | add-exp-log associate-*r* |
| 5× | add-cbrt-cube add-log-exp |
| 4× | unpow-prod-down unswap-sqr |
| 3× | pow1 expm1-log1p-u fma-neg associate-*l* prod-exp log1p-expm1-u |
| 2× | fma-udef unpow2 sqr-pow |
| 1× | pow-to-exp sub-neg flip3-- diff-log pow-exp associate--l+ *-commutative flip-- cbrt-unprod distribute-lft-out-- difference-of-squares |
| 4.0ms | (- (fma (* 2.0 (pow a 2)) (pow b 2) (pow b 4)) 1.0) |
| 6.0ms | (* 2.0 (pow a 2)) |
| 1.0ms | (fma (* 2.0 (pow a 2)) (pow b 2) (pow b 4)) |
| 78.0ms | (- (fma (* 2.0 (pow a 2)) (pow b 2) (pow b 4)) 1.0) |
| 25.0ms | (* 2.0 (pow a 2)) |
| 73.0ms | (fma (* 2.0 (pow a 2)) (pow b 2) (pow b 4)) |
Useful iterations: 2 (31.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 242 | 562 |
| 1 | 919 | 453 |
| 2 | 5001 | 449 |
3 alts after pruning (0 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 77 | 0 | 77 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 77 | 3 | 80 |
Merged error: 0b
0% (0.0b remaining)
Error of 0.0b against oracle of 0.0b and baseline of 0.0b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 8 |
| 1 | 17 | 8 |
| 948.0ms | 20286× | body | 80 | valid |