Time bar (total: 4.8s)
| 7.0ms | 257× | body | 80 | valid |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4 | 82 |
| 1 | 6 | 82 |
| 2 | 9 | 82 |
| 3 | 11 | 82 |
| 4 | 12 | 82 |
| done | 12 | 82 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.0b
Found 1 expressions with local error:
| 0.0b | (+ (+ x y) x) |
| 6× | *-un-lft-identity add-log-exp |
| 3× | sum-log distribute-lft-out |
| 1× | add-sqr-sqrt pow1 +-commutative associate-+l+ flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ |
| 39.0ms | (+ (+ x y) x) |
| 34.0ms | (+ (+ x y) x) |
Useful iterations: done (999.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 2962 |
| 1 | 81 | 2561 |
| 2 | 246 | 2561 |
| 3 | 1085 | 2478 |
| done | 5000 | 2357 |
2 alts after pruning (1 fresh and 1 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 0.9b | (+ (* x (* x x)) (* (+ x y) (* (+ x y) (+ x y)))) |
| 1.2b | (+ (* (+ x y) (+ x y)) (- (* x x) (* (+ x y) x))) |
| 14.7b | (- (* x x) (* (+ x y) x)) |
| 41.6b | (/ (+ (* x (* x x)) (* (+ x y) (* (+ x y) (+ x y)))) (+ (* (+ x y) (+ x y)) (- (* x x) (* (+ x y) x)))) |
| 32× | frac-add |
| 28× | flip3-+ flip-+ |
| 18× | associate-/r/ |
| 17× | flip3-- flip-- |
| 16× | frac-times |
| 13× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp |
| 12× | times-frac |
| 10× | cube-unmult |
| 8× | associate-*l/ associate-*r/ |
| 6× | associate-+r+ add-cbrt-cube add-exp-log |
| 5× | distribute-rgt-in distribute-lft-in sum-cubes |
| 4× | pow1 associate-/l* |
| 3× | associate-/r* sum-log |
| 2× | +-commutative associate-+l+ sub-neg diff-log associate-/l/ |
| 1× | cbrt-undiv clear-num associate-+r- frac-2neg distribute-rgt-out-- div-exp div-inv |
| 58.0ms | (+ (* x (* x x)) (* (+ x y) (* (+ x y) (+ x y)))) |
| 40.0ms | (+ (* (+ x y) (+ x y)) (- (* x x) (* (+ x y) x))) |
| 11.0ms | (- (* x x) (* (+ x y) x)) |
| 248.0ms | (/ (+ (* x (* x x)) (* (+ x y) (* (+ x y) (+ x y)))) (+ (* (+ x y) (+ x y)) (- (* x x) (* (+ x y) x)))) |
| 89.0ms | (+ (* x (* x x)) (* (+ x y) (* (+ x y) (+ x y)))) |
| 26.0ms | (+ (* (+ x y) (+ x y)) (- (* x x) (* (+ x y) x))) |
| 22.0ms | (- (* x x) (* (+ x y) x)) |
| 178.0ms | (/ (+ (* x (* x x)) (* (+ x y) (* (+ x y) (+ x y)))) (+ (* (+ x y) (+ x y)) (- (* x x) (* (+ x y) x)))) |
Useful iterations: done (1.6s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 247 | 88049 |
| 1 | 857 | 69267 |
| done | 5000 | 67325 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| done | 0 | 0 |
1 alts after pruning (0 fresh and 1 done)
Merged error: 0b
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 83 |
| 1 | 7 | 83 |
| done | 7 | 83 |
| 197.0ms | 8003× | body | 80 | valid |