11749 calls:
| 2.0s | (/ (* (* (* -2 -2) -2) (* (* (* (/ a (sqrt b)) (/ a (sqrt b))) (/ a (sqrt b))) (* (* (/ c (sqrt b)) (/ c (sqrt b))) (/ c (sqrt b))))) (* (* (* 2 a) (* 2 a)) (* 2 a))) |
| 1.9s | (/ (* (* (* (* -3/2 (/ a (sqrt b))) (/ c (sqrt b))) (* (* -3/2 (/ a (sqrt b))) (/ c (sqrt b)))) (* (* -3/2 (/ a (sqrt b))) (/ c (sqrt b)))) (* (* (* 3 a) (* 3 a)) (* 3 a))) |
| 1.9s | (/ (* (* (* (* -3/2 (/ a (sqrt b))) (* -3/2 (/ a (sqrt b)))) (* -3/2 (/ a (sqrt b)))) (* (* (/ c (sqrt b)) (/ c (sqrt b))) (/ c (sqrt b)))) (* (* (* 3 a) (* 3 a)) (* 3 a))) |
| 1.9s | (/ (* (* (* -2 -2) -2) (* (* (* (/ a (sqrt b)) (/ a (sqrt b))) (/ a (sqrt b))) (/ (* (* c c) c) (* (* (sqrt b) (sqrt b)) (sqrt b))))) (* (* (* 2 a) (* 2 a)) (* 2 a))) |
| 1.8s | (/ (* (* (* (* -3/2 -3/2) -3/2) (/ (* (* a a) a) (* (* (sqrt b) (sqrt b)) (sqrt b)))) (* (* (/ c (sqrt b)) (/ c (sqrt b))) (/ c (sqrt b)))) (* (* (* 3 3) 3) (* (* a a) a))) |
| 71× | intervals |
| 7.5m | 78137× | body | 10240 | exit |
| 51.1s | 32641× | body | 1280 | valid |
| 27.5s | 197548× | body | 80 | valid |
| 22.5s | 24388× | body | 640 | valid |
| 22.0s | 152422× | body | 80 | nan |
| 15.8s | 25652× | body | 320 | valid |
| 11.9s | 34979× | body | 160 | valid |
| 10.2s | 149764× | pre | 80 | true |
| 3.0s | 3085× | body | 2560 | valid |
| 2.2s | 8158× | body | 160 | nan |
| 983.0ms | 4122× | pre | 10240 | exit |
| 246.0ms | 237× | body | 5120 | valid |
399 calls:
| 878.0ms | (sqrt (+ (* (* (cos (* (+ phi1 phi2) 1/2)) (cos (* (+ phi1 phi2) 1/2))) (+ (* lambda2 lambda2) (* lambda1 (- lambda1 (* lambda2 2))))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 857.0ms | (sqrt (+ (* (* (cos (* (+ phi1 phi2) 1/2)) (cos (* (+ phi1 phi2) 1/2))) (* (* (cbrt (+ (* lambda2 lambda2) (* lambda1 (- lambda1 (* lambda2 2))))) (cbrt (+ (* lambda2 lambda2) (* lambda1 (- lambda1 (* lambda2 2)))))) (cbrt (+ (* lambda2 lambda2) (* lambda1 (- lambda1 (* lambda2 2))))))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 812.0ms | (sqrt (+ (* (* (cos (* (+ phi1 phi2) 1/2)) (log (exp (cos (* (+ phi1 phi2) 1/2))))) (+ (* lambda2 lambda2) (* lambda1 (- lambda1 (* lambda2 2))))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 571.0ms | (sqrt (- (* b b) (* (* (* 3 a) (* (cbrt c) (cbrt c))) (* (cbrt (* (cbrt c) (cbrt c))) (cbrt (cbrt c)))))) |
| 471.0ms | (log (acos (+ (* (sin phi1) (sin phi2)) (* (* (cos phi1) (cos phi2)) (+ (* (cos lambda1) (cos lambda2)) (log (exp (* (sin lambda1) (sin lambda2))))))))) |
Total 64.5b remaining (35.6%)
| 123× | rewrite-expression-head |
399 calls:
| 443.0ms | (log (+ x (+ (+ (/ -1/8 (* (* x x) x)) x) (/ 1/2 x)))) |
| 414.0ms | (sqrt (+ (* (* (cos (* (+ phi1 phi2) 1/2)) (cos (* (+ phi1 phi2) 1/2))) (* (* (cbrt (+ (* lambda2 lambda2) (* lambda1 (- lambda1 (* lambda2 2))))) (cbrt (+ (* lambda2 lambda2) (* lambda1 (- lambda1 (* lambda2 2)))))) (cbrt (+ (* lambda2 lambda2) (* lambda1 (- lambda1 (* lambda2 2))))))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 364.0ms | (+ (+ (* (* (* x x) -1/6) x) x) (* (pow x 5) 3/40)) |
| 307.0ms | (+ (+ (* (* (* x x) -1/3) x) x) (* (pow x 5) 2/15)) |
| 280.0ms | (+ (+ (/ -1/8 (* (* x x) x)) x) (/ 1/2 x)) |
| 4244× | add-sqr-sqrt |
| 4161× | *-un-lft-identity |
| 4112× | times-frac |
| 2748× | add-cube-cbrt |
| 2194× | add-exp-log |
| 1956× | add-cbrt-cube |
| 1220× | sqrt-prod |
| 1184× | frac-times |
| 1135× | pow1 |
| 922× | cbrt-div |
| 752× | flip-- |
| 751× | flip3-- |
| 737× | associate-*r/ |
| 669× | associate-*r* |
| 665× | prod-exp |
| 655× | sqrt-div |
| 643× | flip-+ |
| 642× | flip3-+ |
| 631× | associate-*l/ |
| 618× | add-log-exp |
| 599× | associate-*l* |
| 586× | div-exp |
| 566× | cbrt-prod |
| 565× | cbrt-unprod |
| 560× | frac-add |
| 510× | cbrt-undiv |
| 505× | difference-of-squares |
| 462× | associate-/r* |
| 404× | associate-/l* |
| 399× | insert-posit16 |
| 351× | distribute-lft-out |
| 273× | distribute-lft-out-- |
| 251× | pow-prod-down |
| 250× | div-inv |
| 242× | cos-mult |
| 196× | swap-sqr |
| 195× | unswap-sqr |
| 191× | associate-/r/ |
| 135× | sub-neg |
| 126× | log-prod |
| 103× | frac-2neg clear-num *-commutative |
| 100× | difference-of-sqr-1 |
| 90× | distribute-rgt-in distribute-lft-in |
| 85× | associate-/l/ |
| 82× | pow-prod-up |
| 79× | diff-log |
| 75× | log-pow |
| 74× | frac-sub |
| 64× | unpow-prod-down |
| 58× | exp-prod |
| 57× | pow-sqr |
| 51× | pow-plus |
| 50× | sqrt-pow1 pow1/2 |
| 42× | 1-exp |
| 40× | cube-prod |
| 39× | rem-sqrt-square associate--l+ |
| 38× | sum-log |
| 37× | sqr-pow |
| 36× | rec-exp |
| 34× | pow2 |
| 29× | +-commutative tan-quot |
| 28× | log-div |
| 21× | pow1/3 |
| 20× | div-sub |
| 18× | associate--r+ rem-log-exp |
| 16× | pow-flip |
| 13× | distribute-rgt-out-- exp-sum inv-pow |
| 11× | cos-diff |
| 10× | associate-+r+ |
| 9× | distribute-neg-frac |
| 7× | pow-exp acos-asin pow-to-exp cos-sum sum-cubes rem-exp-log associate--r- distribute-rgt-out |
| 5× | distribute-lft1-in un-div-inv |
| 4× | associate--l- sin-mult difference-cubes sub-div associate-+l- |
| 3× | associate-+l+ exp-diff pow-unpow distribute-frac-neg distribute-rgt-neg-out pow3 distribute-rgt-neg-in acos-neg distribute-lft-neg-in distribute-rgt1-in |
| 2× | sin-sum sqrt-undiv sqrt-unprod exp-to-pow |
| 1× | rem-cube-cbrt unsub-neg sin-cos-mult unpow3 neg-mul-1 tanh-undef tanh-def pow-pow sin-PI/3 asin-acos rem-square-sqrt cube-mult rem-cbrt-cube sin-diff |