Time bar (total: 43.2s)
| 35.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× | expm1-log1p-u associate-*l* *-commutative insert-posit16 log1p-expm1-u add-log-exp |
| 28.4s | (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) |
| 663.0ms | (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) |
| 198.0ms | (* (* (* d1 (* d1 d1)) d1) d1) |
| 46.0ms | (* (* d1 (* d1 d1)) d1) |
| 109.0ms | (* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1) |
| 80.0ms | (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) |
| 56.0ms | (* (* (* d1 (* d1 d1)) d1) d1) |
| 52.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 |