Time bar (total: 16.2s)
| 18.0ms | 341× | body | 80 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 165 |
| 1 | 20 | 165 |
| 2 | 39 | 165 |
| 3 | 55 | 165 |
| 4 | 70 | 165 |
| 5 | 87 | 165 |
| 6 | 124 | 165 |
| 7 | 187 | 165 |
| 8 | 311 | 165 |
| 9 | 546 | 165 |
| 10 | 808 | 165 |
| 11 | 1245 | 165 |
| 12 | 1964 | 165 |
| 13 | 2357 | 165 |
| 14 | 2563 | 165 |
| 15 | 2735 | 165 |
| 16 | 2935 | 165 |
| 17 | 3124 | 165 |
| 18 | 3310 | 165 |
| 19 | 3478 | 165 |
| 20 | 3664 | 165 |
| 21 | 3831 | 165 |
| 22 | 4017 | 165 |
| 23 | 4185 | 165 |
| 24 | 4371 | 165 |
| 25 | 4538 | 165 |
| 26 | 4724 | 165 |
| 27 | 4892 | 165 |
| done | 5000 | 165 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.0b
Found 1 expressions with local error:
| 0.0b | (/ (- (+ x y) z) (* t 2.0)) |
| 13× | *-un-lft-identity |
| 7× | add-sqr-sqrt |
| 6× | times-frac add-cbrt-cube add-exp-log associate-/l* |
| 4× | distribute-lft-out-- |
| 3× | add-cube-cbrt |
| 2× | cbrt-undiv div-exp distribute-lft-out difference-of-squares associate-/l/ |
| 1× | expm1-log1p-u pow1 clear-num associate-/r* frac-2neg flip3-- div-sub prod-exp cbrt-unprod log1p-expm1-u div-inv flip-- add-log-exp |
| 111.0ms | (/ (- (+ x y) z) (* t 2.0)) |
| 47.0ms | (/ (- (+ x y) z) (* t 2.0)) |
Useful iterations: 2 (233.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 80 | 8028 |
| 1 | 206 | 7713 |
| 2 | 698 | 7433 |
| 3 | 3256 | 7433 |
| done | 5014 | 7433 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 0b
Found 2 expressions with local error:
| 0.0b | (+ (/ y t) (/ x t)) |
| 0.0b | (- (+ (/ y t) (/ x t)) (/ z t)) |
| 246× | *-un-lft-identity |
| 181× | times-frac |
| 117× | add-sqr-sqrt |
| 112× | add-cube-cbrt |
| 104× | prod-diff |
| 64× | distribute-lft-out |
| 39× | div-inv |
| 15× | distribute-rgt-out |
| 13× | fma-def |
| 9× | add-log-exp |
| 8× | fma-neg |
| 5× | distribute-lft-out-- |
| 3× | frac-sub |
| 2× | expm1-log1p-u pow1 sum-log flip3-+ add-cbrt-cube diff-log frac-add add-exp-log flip-+ log1p-expm1-u difference-of-squares |
| 1× | +-commutative sub-neg flip3-- associate--l+ flip-- |
| 30.0ms | (+ (/ y t) (/ x t)) |
| 260.0ms | (- (+ (/ y t) (/ x t)) (/ z t)) |
| 23.0ms | (+ (/ y t) (/ x t)) |
| 30.0ms | (- (+ (/ y t) (/ x t)) (/ z t)) |
Useful iterations: done (2.4s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 252 | 92344 |
| 1 | 626 | 83392 |
| 2 | 1702 | 71558 |
| done | 5004 | 62799 |
2 alts after pruning (1 fresh and 1 done)
Merged error: 0b
Found 1 expressions with local error:
| 0.1b | (fma (/ 1 t) (+ y x) (- (/ z t))) |
| 1× | add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp |
| 0.0ms | (fma (/ 1 t) (+ y x) (- (/ z t))) |
| 41.0ms | (fma (/ 1 t) (+ y x) (- (/ z t))) |
Useful iterations: 3 (79.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 3376 |
| 1 | 44 | 3376 |
| 2 | 96 | 2831 |
| 3 | 289 | 2711 |
| 4 | 1474 | 2711 |
| done | 5001 | 2711 |
2 alts after pruning (0 fresh and 2 done)
Merged error: 0b
0% (0.0b remaining)
Error of 0.1b against oracle of 0.1b and baseline of 0.1b
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 245 |
| 1 | 13 | 245 |
| done | 13 | 245 |
| 849.0ms | 10939× | body | 80 | valid |