Time bar (total: 56.2s)
| 324.0ms | 92× | body | 1280 | valid |
| 182.0ms | 69× | body | 640 | valid |
| 25.0ms | 68× | body | 80 | valid |
| 22.0ms | 16× | body | 320 | valid |
| 8.0ms | 11× | body | 160 | valid |
Useful iterations: 1 (22.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 1029 |
| 1 | 36 | 1004 |
| 2 | 61 | 1004 |
| 3 | 73 | 1004 |
| 4 | 75 | 1004 |
| done | 75 | 1004 |
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.2b
Found 4 expressions with local error:
| 0.2b | (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 0.2b | (* (sin theta) (sin delta)) |
| 0.3b | (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))) |
| 0.5b | (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) |
| 14× | add-sqr-sqrt |
| 10× | *-un-lft-identity add-cube-cbrt |
| 8× | pow1 add-cbrt-cube add-exp-log |
| 6× | associate-*r* associate-*l* add-log-exp |
| 4× | expm1-log1p-u log1p-expm1-u |
| 3× | fma-neg prod-diff |
| 2× | pow-prod-down prod-exp *-commutative cbrt-unprod sin-mult unswap-sqr |
| 1× | asin-acos sub-neg flip3-- diff-log flip-- |
| 11.0ms | (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 9.0ms | (* (sin theta) (sin delta)) |
| 1.0ms | (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))) |
| 6.0ms | (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) |
| 183.0ms | (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 51.0ms | (* (sin theta) (sin delta)) |
| 8.0ms | (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))) |
| 264.0ms | (- (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) |
Useful iterations: done (1.8s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 162 | 51095 |
| 1 | 353 | 48193 |
| 2 | 1311 | 47782 |
| done | 5000 | 47767 |
11 alts after pruning (11 fresh and 0 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 0.3b | (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))) |
| 0.3b | (/ (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) |
| 0.3b | (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) |
| 0.4b | (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) |
| 43× | pow1 |
| 18× | add-cbrt-cube add-exp-log |
| 17× | pow-prod-down |
| 16× | sin-mult |
| 13× | add-sqr-sqrt *-un-lft-identity add-cube-cbrt |
| 12× | times-frac |
| 10× | cos-mult |
| 8× | prod-exp cbrt-unprod |
| 7× | associate-/l/ |
| 6× | frac-sub add-log-exp |
| 5× | associate-*l/ associate-*r/ difference-of-squares |
| 4× | expm1-log1p-u pow-sqr pow-prod-up log1p-expm1-u associate-/l* sub-div |
| 3× | frac-times associate-/r* |
| 2× | pow-plus flip3-- associate-/r/ flip-- |
| 1× | pow2 cbrt-undiv asin-acos sqr-cos clear-num sub-neg frac-2neg flip3-+ fma-neg diff-log div-sub swap-sqr div-exp associate-*r* associate-*l* prod-diff associate--l+ *-commutative flip-+ div-inv |
| 2.0ms | (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))) |
| 65.0ms | (/ (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) |
| 49.0ms | (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) |
| 45.0ms | (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) |
| 12.0ms | (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))) |
| 1.3s | (/ (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) (+ (cos delta) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) |
| 256.0ms | (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) |
| 867.0ms | (- (* (cos delta) (cos delta)) (* (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))) |
Useful iterations: done (4.5s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 271 | 119615 |
| 1 | 792 | 105616 |
| 2 | 4435 | 103893 |
| done | 5000 | 103891 |
11 alts after pruning (11 fresh and 0 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 0.4b | (- (* (cos delta) (cos delta)) (cbrt (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))) |
| 0.4b | (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 0.4b | (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 9.9b | (cbrt (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) |
| 86× | associate-*l/ |
| 66× | sin-mult |
| 34× | frac-times |
| 30× | cbrt-div |
| 22× | associate-*r/ |
| 18× | add-sqr-sqrt pow1 |
| 15× | cos-mult frac-sub |
| 13× | *-un-lft-identity add-cube-cbrt |
| 8× | add-cbrt-cube add-exp-log |
| 6× | swap-sqr associate-*r* associate-*l* add-log-exp |
| 5× | pow-prod-down |
| 4× | expm1-log1p-u prod-diff pow3 log1p-expm1-u |
| 3× | cbrt-prod |
| 2× | pow2 pow-plus prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod sqr-sin difference-of-squares unswap-sqr |
| 1× | sqr-cos sub-neg flip3-- fma-neg pow1/3 diff-log associate--l+ rem-cbrt-cube flip-- |
| 443.0ms | (- (* (cos delta) (cos delta)) (cbrt (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))) |
| 23.0ms | (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 12.0ms | (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 1.1s | (cbrt (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) |
| 937.0ms | (- (* (cos delta) (cos delta)) (cbrt (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))))))) |
| 233.0ms | (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 203.0ms | (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 290.0ms | (cbrt (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) |
Useful iterations: done (5.3s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 274 | 148406 |
| 1 | 767 | 129021 |
| 2 | 3808 | 127407 |
| done | 5000 | 127327 |
10 alts after pruning (10 fresh and 0 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 0.4b | (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 0.4b | (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 0.5b | (expm1 (- (* (cos delta) (cos delta)) (cbrt (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))) |
| 9.9b | (cbrt (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) |
| 43× | associate-*l/ |
| 34× | sin-mult |
| 18× | pow1 |
| 17× | frac-times |
| 16× | add-sqr-sqrt |
| 15× | cbrt-div |
| 12× | *-un-lft-identity add-cube-cbrt |
| 11× | associate-*r/ |
| 8× | add-cbrt-cube add-exp-log |
| 6× | swap-sqr associate-*r* associate-*l* |
| 5× | pow-prod-down log1p-expm1-u |
| 4× | expm1-log1p-u pow3 add-log-exp |
| 2× | pow2 pow-plus prod-exp pow-sqr *-commutative pow-prod-up cbrt-unprod sqr-sin unswap-sqr |
| 1× | cbrt-prod expm1-log1p pow1/3 rem-cbrt-cube expm1-udef |
| 12.0ms | (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 15.0ms | (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 0.0ms | (expm1 (- (* (cos delta) (cos delta)) (cbrt (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))) |
| 1.0s | (cbrt (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) |
| 199.0ms | (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 184.0ms | (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) |
| 1.5s | (expm1 (- (* (cos delta) (cos delta)) (cbrt (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))))) |
| 292.0ms | (cbrt (* (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))) (* (* (* (sin phi1) (sin phi1)) (sin phi1)) (* (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) |
Useful iterations: done (4.0s)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 199 | 97054 |
| 1 | 555 | 84328 |
| 2 | 2777 | 84118 |
| done | 5000 | 83718 |
10 alts after pruning (9 fresh and 1 done)
Merged error: 0.1b
0% (0.1b remaining)
Error of 0.2b against oracle of 0.1b and baseline of 0.2b
Useful iterations: 0 (26.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 34 | 1629 |
| 1 | 46 | 1629 |
| done | 46 | 1629 |
| 12.4s | 3149× | body | 1280 | valid |
| 5.1s | 1864× | body | 640 | valid |
| 1.3s | 683× | body | 320 | valid |
| 1.1s | 1995× | body | 80 | valid |
| 266.0ms | 309× | body | 160 | valid |