Time bar (total: 21.8s)
| 71.0ms | 480× | 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)) |
| 0.1b | (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) |
| 0.1b | (* (* d1 (* d1 d1)) d1) |
| 0.1b | (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) |
| 1377× | pow1 |
| 1040× | pow-prod-up |
| 436× | pow-plus |
| 133× | add-cbrt-cube add-exp-log |
| 111× | pow2 pow-sqr |
| 102× | pow-prod-down prod-exp cbrt-unprod |
| 51× | cube-unmult |
| 8× | add-sqr-sqrt associate-*l* |
| 7× | *-un-lft-identity add-cube-cbrt |
| 6× | associate-*r* |
| 4× | *-commutative insert-posit16 add-log-exp |
| 1× | unswap-sqr |
| 6.9s | (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) |
| 570.0ms | (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) |
| 55.0ms | (* (* d1 (* d1 d1)) d1) |
| 26.0ms | (* d1 (* d1 d1)) |
| 101.0ms | (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) |
| 83.0ms | (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) |
| 66.0ms | (* d1 (* d1 d1)) |
| 47.0ms | (* (* d1 (* d1 d1)) d1) |
3 alts after pruning (2 fresh and 1 done)
Merged error: 0.0b
Found 1 expressions with local error:
| 0.1b | (* (pow d1 9) d1) |
| 9× | add-sqr-sqrt |
| 7× | associate-*l* |
| 6× | add-exp-log |
| 4× | unpow-prod-down *-un-lft-identity add-cube-cbrt |
| 3× | add-cbrt-cube associate-*r* prod-exp unswap-sqr |
| 2× | pow1 sqr-pow |
| 1× | pow-to-exp pow-plus pow-exp *-commutative pow-prod-up cbrt-unprod insert-posit16 add-log-exp |
| 10.0ms | (* (pow d1 9) d1) |
| 70.0ms | (* (pow d1 9) 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 | 14552× | body | 80 | valid |