11877 calls:
| 3.0s | (/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (* (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))) |
| 2.9s | (/ (* (* (* -2 (* a c)) (* -2 (* a c))) (* -2 (* a c))) (* (* (* (* 2 a) b) (* (* 2 a) b)) (* (* 2 a) b))) |
| 2.6s | (/ (* (* (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (pow (/ 1 (+ 1 (exp (- s)))) c_p)) (* (* (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n))) (* (* (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))) |
| 2.5s | (/ (* (* (* -2 -2) -2) (* (* (* a c) (* a c)) (* a c))) (* (* (* (* 2 a) b) (* (* 2 a) b)) (* (* 2 a) b))) |
| 2.4s | (/ (* (* (* -2 -2) -2) (* (* (* a a) a) (* (* c c) c))) (* (* (* (* 2 a) b) (* (* 2 a) b)) (* (* 2 a) b))) |
| 71× | intervals |
| 8.9m | 79662× | body | 10240 | exit |
| 53.5s | 32533× | body | 1280 | valid |
| 25.2s | 189627× | body | 80 | valid |
| 21.6s | 22946× | body | 640 | valid |
| 21.0s | 152770× | body | 80 | nan |
| 13.1s | 24800× | body | 320 | valid |
| 12.2s | 34297× | body | 160 | valid |
| 9.1s | 153826× | pre | 80 | true |
| 2.7s | 3060× | body | 2560 | valid |
| 2.0s | 7791× | body | 160 | nan |
| 1.6s | 4067× | pre | 10240 | exit |
| 266.0ms | 238× | body | 5120 | valid |
| 126× | rewrite-expression-head |
400 calls:
| 6.1s | (cbrt (* (* (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))))) |
| 430.0ms | (log (+ x (+ (+ (/ -1/8 (* (* x x) x)) x) (/ 1/2 x)))) |
| 371.0ms | (log (sqrt (exp (- (pow (/ x (+ x 1)) 3) (pow (/ (+ x 1) (- x 1)) 3))))) |
| 363.0ms | (log (sqrt (exp (- (pow (/ x (+ x 1)) 3) (pow (/ (+ x 1) (- x 1)) 3))))) |
| 363.0ms | (* (* 3 a) c) |
| 1733454× | associate-*l/ |
| 1450634× | frac-times |
| 1293525× | flip-- |
| 1293524× | flip3-- |
| 889200× | sqrt-div |
| 862260× | frac-add |
| 435953× | associate-*r/ |
| 300905× | cbrt-div |
| 13737× | flip-+ |
| 13736× | flip3-+ |
| 5238× | *-un-lft-identity |
| 4512× | add-sqr-sqrt |
| 4235× | times-frac |
| 3512× | add-exp-log |
| 2553× | add-cube-cbrt |
| 1871× | add-cbrt-cube |
| 1415× | prod-exp |
| 1239× | div-exp |
| 1116× | pow1 |
| 809× | associate-*r* |
| 726× | difference-of-squares |
| 709× | pow-exp |
| 634× | unpow-prod-down |
| 624× | add-log-exp |
| 623× | distribute-lft-out-- |
| 579× | associate-*l* |
| 556× | distribute-lft-out |
| 552× | cube-prod |
| 551× | cbrt-unprod |
| 447× | cbrt-undiv |
| 439× | sqrt-prod |
| 400× | insert-posit16 |
| 381× | log-prod |
| 378× | associate-/r* |
| 357× | pow-to-exp |
| 306× | associate-/l* |
| 299× | div-inv |
| 294× | log-pow |
| 278× | exp-prod |
| 243× | pow-prod-down |
| 233× | associate-/r/ |
| 211× | 1-exp |
| 209× | rec-exp |
| 200× | sqrt-pow1 |
| 197× | unswap-sqr |
| 190× | swap-sqr |
| 177× | cbrt-prod |
| 112× | sqr-pow |
| 110× | sub-neg |
| 108× | distribute-rgt-in *-commutative distribute-lft-in |
| 107× | pow-prod-up |
| 94× | associate-+r+ frac-2neg clear-num |
| 93× | difference-of-sqr-1 |
| 70× | diff-log |
| 66× | log-div |
| 63× | associate-/l/ |
| 61× | pow-sqr |
| 54× | sum-log associate--l+ |
| 48× | pow-plus |
| 46× | frac-sub pow1/2 |
| 41× | pow-flip inv-pow |
| 39× | associate--r+ |
| 37× | pow1/3 |
| 34× | pow2 |
| 33× | +-commutative |
| 32× | rem-sqrt-square |
| 30× | rem-log-exp |
| 19× | div-sub |
| 18× | pow-unpow |
| 15× | associate-+l+ associate--l- |
| 13× | distribute-rgt-out-- |
| 12× | exp-sum tanh-def cube-div tan-quot |
| 11× | cube-mult associate--r- distribute-rgt-out |
| 10× | sin-mult pow-pow un-div-inv |
| 9× | log-rec cos-sum associate-+l- |
| 8× | rem-cube-cbrt cos-diff |
| 7× | distribute-lft-neg-out difference-cubes sum-cubes |
| 6× | cos-mult sin-sum acos-asin |
| 5× | exp-diff distribute-rgt-neg-out pow3 |
| 4× | unpow3 sub-div unsub-neg distribute-rgt1-in |
| 3× | associate-+r- distribute-frac-neg distribute-rgt-neg-in acos-neg rem-cbrt-cube distribute-lft-neg-in |
| 2× | sqrt-undiv sqrt-unprod exp-to-pow rem-exp-log |
| 1× | sin-cos-mult cube-unmult neg-mul-1 tanh-undef sin-PI/3 asin-acos rem-square-sqrt sin-diff |
400 calls:
| 630.0ms | (cbrt (* (* (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))))) |
| 616.0ms | (/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n))) |
| 584.0ms | (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 582.0ms | (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 531.0ms | (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) |
Total 55.9b remaining (37%)
| 7.6b | 43% | Cubic critical, narrow range |
| 7.4b | -6% | Cubic critical, medium range |
| 7.2b | 47.8% | Quadratic roots, narrow range |
| 6.4b | 7.2% | Quadratic roots, medium range |
| 5.3b | 51.5% | Quotient of products |