Time bar (total: 4.4m)
| 35.0ms | 87× | body | 1280 | valid |
| 15.0ms | 257× | body | 80 | valid |
| 13.0ms | 61× | body | 640 | valid |
| 5.0ms | 34× | body | 320 | valid |
| 1.0ms | 14× | body | 160 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 11 |
| 1 | 23 | 11 |
| 2 | 56 | 11 |
| 3 | 86 | 11 |
| 4 | 202 | 11 |
| 5 | 296 | 11 |
| 6 | 390 | 11 |
| 7 | 653 | 11 |
| 8 | 1043 | 11 |
| 9 | 1152 | 11 |
| 10 | 1350 | 11 |
| 11 | 1464 | 11 |
| 12 | 1554 | 11 |
| 13 | 1651 | 11 |
| 14 | 1741 | 11 |
| 15 | 1838 | 11 |
| 16 | 1928 | 11 |
| 17 | 2025 | 11 |
| 18 | 2115 | 11 |
| 19 | 2212 | 11 |
| 20 | 2302 | 11 |
| 21 | 2399 | 11 |
| 22 | 2489 | 11 |
| 23 | 2586 | 11 |
| 24 | 2676 | 11 |
| 25 | 2773 | 11 |
| 26 | 2863 | 11 |
| 27 | 2960 | 11 |
| 28 | 3050 | 11 |
| 29 | 3147 | 11 |
| 30 | 3237 | 11 |
| 31 | 3334 | 11 |
| 32 | 3424 | 11 |
| 33 | 3521 | 11 |
| 34 | 3611 | 11 |
| 35 | 3708 | 11 |
| 36 | 3798 | 11 |
| 37 | 3895 | 11 |
| 38 | 3985 | 11 |
| 39 | 4082 | 11 |
| 40 | 4172 | 11 |
| 41 | 4269 | 11 |
| 42 | 4359 | 11 |
| 43 | 4456 | 11 |
| 44 | 4546 | 11 |
| 45 | 4643 | 11 |
| 46 | 4733 | 11 |
| 47 | 4830 | 11 |
| 48 | 4920 | 11 |
| done | 5000 | 11 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.0b
Found 1 expressions with local error:
| 0.0b | (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) |
| 6× | pow1 add-exp-log add-cbrt-cube |
| 4× | *-un-lft-identity associate-*r* |
| 3× | pow-prod-down prod-exp cbrt-unprod |
| 2× | add-sqr-sqrt add-cube-cbrt associate-*r/ |
| 1× | distribute-rgt-in distribute-lft-in flip3-+ associate-*l* *-commutative flip-+ distribute-lft-out add-log-exp |
| 28.0ms | (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) |
| 59.0ms | (* (* 0.5 (cos re)) (+ (exp (- im)) (exp im))) |
Useful iterations: 2 (70.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 73 | 391 |
| 1 | 216 | 381 |
| 2 | 985 | 311 |