Time bar (total: 1.9s)
| 17.0ms | 362× | body | 80 | valid |
Useful iterations: 4 (31.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 15 |
| 1 | 26 | 15 |
| 2 | 65 | 12 |
| 3 | 129 | 11 |
| 4 | 171 | 10 |
| 5 | 180 | 10 |
| 6 | 183 | 10 |
| done | 183 | 10 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 0.0b | (+ (+ x (* y z)) (* t a)) |
| 0.0b | (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) |
| 0.0b | (+ x (* y z)) |
| 1.8b | (* (* a z) b) |
| 20× | add-log-exp |
| 10× | sum-log |
| 9× | pow1 add-exp-log fma-def add-cbrt-cube |
| 8× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity |
| 4× | expm1-log1p-u log1p-expm1-u |
| 3× | +-commutative flip3-+ associate-*r* pow-prod-down prod-exp cbrt-unprod flip-+ |
| 2× | associate-+l+ |
| 1× | associate-*l* *-commutative |
| 11.0ms | (+ (+ x (* y z)) (* t a)) |
| 46.0ms | (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) |
| 2.0ms | (+ x (* y z)) |
| 7.0ms | (* (* a z) b) |
| 52.0ms | (+ (+ x (* y z)) (* t a)) |
| 90.0ms | (+ (+ (+ x (* y z)) (* t a)) (* (* a z) b)) |
| 26.0ms | (+ x (* y z)) |
| 29.0ms | (* (* a z) b) |
Useful iterations: 2 (128.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 123 | 930 |
| 1 | 365 | 781 |
| 2 | 1593 | 697 |
| done | 5000 | 697 |
3 alts after pruning (3 fresh and 0 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.0b | (+ (fma a t (fma z y x)) (* (* a z) b)) |
| 1.8b | (* (* a z) b) |
| 7× | pow1 add-exp-log add-cbrt-cube |
| 4× | add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-log-exp |
| 3× | fma-def associate-*r* pow-prod-down prod-exp cbrt-unprod |
| 2× | expm1-log1p-u log1p-expm1-u |
| 1× | +-commutative associate-+l+ flip3-+ associate-*l* sum-log *-commutative flip-+ fma-udef |
| 3.0ms | (+ (fma a t (fma z y x)) (* (* a z) b)) |
| 7.0ms | (* (* a z) b) |
| 116.0ms | (+ (fma a t (fma z y x)) (* (* a z) b)) |
| 29.0ms | (* (* a z) b) |
Useful iterations: 2 (65.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 75 | 487 |
| 1 | 193 | 459 |
| 2 | 797 | 400 |