Time bar (total: 2.9s)
| 236.0ms | 88× | body | 1280 | valid |
| 71.0ms | 50× | body | 640 | valid |
| 39.0ms | 33× | body | 320 | valid |
| 21.0ms | 73× | body | 80 | valid |
| 8.0ms | 12× | body | 160 | valid |
Useful iterations: 0 (1.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 50 |
| 1 | 74 | 50 |
| 2 | 181 | 50 |
| 3 | 653 | 50 |
| 4 | 2664 | 50 |
| done | 5000 | 50 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0.5b
Found 4 expressions with local error:
| 0.3b | (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y))))) |
| 0.4b | (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) |
| 1.0b | (- 3.0 (sqrt 5.0)) |
| 1.8b | (- (cos x) (cos y)) |
| 24× | add-sqr-sqrt |
| 15× | *-un-lft-identity |
| 11× | add-exp-log add-cbrt-cube |
| 9× | add-cube-cbrt |
| 8× | add-log-exp |
| 6× | pow1 associate-*r/ associate-*r* associate-*l* |
| 5× | sqrt-prod difference-of-squares |
| 4× | sub-neg times-frac associate-/r/ |
| 3× | flip3-- flip3-+ flip-- flip-+ associate-/l* distribute-lft-out-- |
| 2× | cbrt-undiv distribute-rgt-in distribute-lft-in diff-log div-exp associate-*l/ frac-add prod-exp cbrt-unprod associate-/l/ unswap-sqr |
| 1× | frac-2neg pow-prod-down clear-num associate-/r* *-commutative div-inv diff-cos |
| 110.0ms | (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y))))) |
| 77.0ms | (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) |
| 7.0ms | (- 3.0 (sqrt 5.0)) |
| 8.0ms | (- (cos x) (cos y)) |