Time bar (total: 4.9s)
| 35.0ms | 412× | body | 80 | valid |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 17 |
| 1 | 32 | 17 |
| 2 | 69 | 17 |
| 3 | 126 | 17 |
| 4 | 201 | 17 |
| 5 | 284 | 17 |
| 6 | 389 | 17 |
| 7 | 526 | 17 |
| 8 | 630 | 17 |
| 9 | 638 | 17 |
| done | 638 | 17 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.0b
Found 3 expressions with local error:
| 0.0b | (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) |
| 0.0b | (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) |
| 0.0b | (+ (* x y) (/ (* z t) 16.0)) |
| 19× | add-log-exp |
| 10× | *-un-lft-identity |
| 6× | sum-log |
| 5× | add-sqr-sqrt |
| 4× | diff-log |
| 3× | pow1 add-exp-log add-cube-cbrt associate-+l+ flip3-+ add-cbrt-cube flip-+ |
| 2× | +-commutative sub-neg associate--l+ frac-sub distribute-lft-out distribute-lft-out-- |
| 1× | associate-+l- flip3-- flip-- difference-of-squares |
| 368.0ms | (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) |
| 114.0ms | (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) |
| 11.0ms | (+ (* x y) (/ (* z t) 16.0)) |
| 177.0ms | (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) |
| 124.0ms | (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) |
| 63.0ms | (+ (* x y) (/ (* z t) 16.0)) |
Useful iterations: 3 (875.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 101 | 1203 |
| 1 | 279 | 1119 |
| 2 | 1004 | 1083 |
| 3 | 4665 | 1055 |
| done | 5000 | 1055 |
4 alts after pruning (3 fresh and 1 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 0.5b | (* (cbrt (+ (* x y) (/ (* z t) 16.0))) (cbrt (+ (* x y) (/ (* z t) 16.0)))) |
| 1.8b | (cbrt (+ (* x y) (/ (* z t) 16.0))) |
| 1.8b | (cbrt (+ (* x y) (/ (* z t) 16.0))) |
| 1.8b | (cbrt (+ (* x y) (/ (* z t) 16.0))) |
| 25× | cbrt-prod |
| 23× | add-sqr-sqrt |
| 18× | cbrt-div |
| 15× | add-cube-cbrt *-un-lft-identity |
| 11× | pow1 |
| 9× | flip3-+ pow1/3 flip-+ |
| 6× | add-exp-log swap-sqr associate-*r* associate-*l* |
| 4× | frac-times add-cbrt-cube add-log-exp unswap-sqr |
| 2× | associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up |
| 1× | pow2 pow-plus prod-exp *-commutative cbrt-unprod |
| 77.0ms | (* (cbrt (+ (* x y) (/ (* z t) 16.0))) (cbrt (+ (* x y) (/ (* z t) 16.0)))) |
| 8.0ms | (cbrt (+ (* x y) (/ (* z t) 16.0))) |
| 8.0ms | (cbrt (+ (* x y) (/ (* z t) 16.0))) |
| 15.0ms | (cbrt (+ (* x y) (/ (* z t) 16.0))) |