Time bar (total: 13.1s)
| 115.0ms | 95× | body | 1280 | valid |
| 46.0ms | 80× | body | 640 | valid |
| 35.0ms | 268× | body | 80 | valid |
| 20.0ms | 38× | body | 320 | valid |
| 6.0ms | 20× | body | 160 | valid |
| 115.0ms | (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.0b
Found 1 expressions with local error:
| 0.0b | (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) |
| 15× | associate-*l* |
| 12× | add-sqr-sqrt |
| 7× | *-un-lft-identity associate-*r* |
| 6× | pow1 add-cbrt-cube add-exp-log |
| 5× | add-cube-cbrt |
| 4× | unswap-sqr |
| 3× | pow-prod-down prod-exp cbrt-unprod |
| 2× | distribute-rgt-in +-commutative distribute-lft-in associate-*r/ *-commutative |
| 1× | flip3-+ flip-+ insert-posit16 distribute-lft-out add-log-exp |
| 122.0ms | (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) |
| 85.0ms | (* (* 0.5 (sin re)) (+ (exp (- 0 im)) (exp im))) |
| 414.0ms | (* (* (* (* 0.5 0.5) 0.5) (* (* (sin re) (sin re)) (sin re))) (* (* (+ (exp (- 0 im)) (exp im)) (+ (exp (- 0 im)) (exp im))) (+ (exp (- 0 im)) (exp im)))) |
| 363.0ms | (- (+ (* 1.0 re) (* 0.5 (* re (pow im 2)))) (* 0.16666666666666666 (pow re 3))) |
| 328.0ms | (* (* (* (* 0.5 (sin re)) (* 0.5 (sin re))) (* 0.5 (sin re))) (* (* (+ (exp (- 0 im)) (exp im)) (+ (exp (- 0 im)) (exp im))) (+ (exp (- 0 im)) (exp im)))) |
| 224.0ms | (+ (* (exp (- 0 im)) (exp (- 0 im))) (- (* (exp im) (exp im)) (* (exp (- 0 im)) (exp im)))) |
| 203.0ms | (* 0.5 (* (sin re) (+ (exp im) (exp (* -1 im))))) |
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
| 3.8s | 3025× | body | 1280 | valid |
| 2.3s | 2595× | body | 640 | valid |
| 2.1s | 8560× | body | 80 | valid |
| 649.0ms | 1213× | body | 320 | valid |
| 200.0ms | 652× | body | 160 | valid |