Time bar (total: 41.6s)
| 74.0ms | 470× | body | 80 | valid |
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 0.1b | (* (* (* d1 (* d1 d1)) d1) d1) |
| 0.1b | (* (* d1 (* d1 d1)) d1) |
| 0.1b | (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) |
| 0.1b | (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) |
| 2495× | pow1 |
| 1995× | pow-prod-up |
| 931× | pow-plus |
| 186× | pow2 pow-sqr |
| 156× | add-cbrt-cube add-exp-log |
| 122× | pow-prod-down prod-exp cbrt-unprod |
| 86× | cube-unmult |
| 10× | associate-*r* |
| 7× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 4× | associate-*l* *-commutative insert-posit16 add-log-exp |
| 27.0s | (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) |
| 772.0ms | (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) |
| 147.0ms | (* (* (* d1 (* d1 d1)) d1) d1) |
| 73.0ms | (* (* d1 (* d1 d1)) d1) |
| 71.0ms | (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) |
| 63.0ms | (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) |
| 58.0ms | (* (* (* d1 (* d1 d1)) d1) d1) |
| 48.0ms | (* (* d1 (* d1 d1)) d1) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0b
Found 0 expressions with local error:
1 alts after pruning (0 fresh and 1 done)
Merged error: 0b
| 2.4s | 14478× | body | 80 | valid |