Time bar (total: 20.8s)
| 54.0ms | 79× | body | 1280 | valid |
| 40.0ms | 47× | body | 320 | valid |
| 35.0ms | 81× | body | 640 | valid |
| 27.0ms | 268× | body | 80 | valid |
| 6.0ms | 28× | body | 160 | valid |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 15 |
| 1 | 23 | 15 |
| 2 | 41 | 15 |
| 3 | 81 | 15 |
| 4 | 168 | 15 |
| 5 | 230 | 15 |
| 6 | 285 | 15 |
| 7 | 395 | 15 |
| 8 | 483 | 15 |
| 9 | 800 | 15 |
| 10 | 1301 | 15 |
| 11 | 1948 | 15 |
| 12 | 2455 | 15 |
| 13 | 2758 | 15 |
| 14 | 2840 | 15 |
| done | 2840 | 15 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 15.8b
Found 4 expressions with local error:
| 0.0b | (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U) |
| 0.0b | (* J (- (exp l) (exp (- l)))) |
| 0.0b | (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) |
| 6.2b | (- (exp l) (exp (- l))) |
| 13× | add-sqr-sqrt |
| 11× | pow1 add-exp-log *-un-lft-identity add-cbrt-cube |
| 8× | associate-*r* add-log-exp |
| 7× | add-cube-cbrt |
| 4× | associate-*r/ associate-*l* pow-prod-down prod-exp cbrt-unprod |
| 3× | sub-neg flip3-- flip-- |
| 2× | distribute-rgt-in distribute-lft-in associate-*l/ *-commutative distribute-lft-out-- difference-of-squares |
| 1× | +-commutative flip3-+ diff-log sum-log flip-+ unswap-sqr |
| 59.0ms | (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U) |
| 49.0ms | (* J (- (exp l) (exp (- l)))) |
| 68.0ms | (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) |
| 14.0ms | (- (exp l) (exp (- l))) |