| 54× | intervals |
| 47.1s | 11093× | body | 10240 | exit |
| 21.2s | 11192× | body | 1280 | valid |
| 9.9s | 10631× | body | 640 | valid |
| 8.2s | 89477× | body | 80 | valid |
| 7.6s | 90458× | body | 80 | nan |
| 5.4s | 109625× | pre | 80 | true |
| 4.8s | 18423× | body | 160 | valid |
| 4.7s | 13945× | body | 320 | valid |
| 773.0ms | 7869× | body | 160 | nan |
| 200.0ms | 8292× | pre | 80 | false |
| 45.0ms | 109× | body | 2560 | valid |
| 20.0ms | 127× | pre | 10240 | exit |
| 4.0ms | 8× | body | 5120 | valid |
487 calls:
| 6.3s | (/ (+ (pow (cos phi1) 3) (pow (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) 3)) (+ (* (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (- (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) (cos phi1))) (* (cos phi1) (cos phi1)))) |
| 2.1s | (sqrt (+ (- (* (pow (- (* (cos (* phi2 0.5)) (cos (* phi1 0.5))) (* (sin (* 0.5 phi2)) (sin (* 0.5 phi1)))) 2) (+ (pow lambda1 2) (pow lambda2 2))) (* 2 (* lambda2 (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) lambda1)))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 2.1s | (sqrt (+ (- (* (pow (- (* (cos (* phi2 0.5)) (cos (* phi1 0.5))) (* (sin (* 0.5 phi2)) (sin (* 0.5 phi1)))) 2) (+ (pow lambda1 2) (pow lambda2 2))) (* 2 (* lambda2 (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) lambda1)))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 2.1s | (sqrt (+ (- (* (pow (- (* (cos (* phi2 0.5)) (cos (* phi1 0.5))) (* (sin (* 0.5 phi2)) (sin (* 0.5 phi1)))) 2) (+ (pow lambda1 2) (pow lambda2 2))) (* 2 (* lambda2 (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) lambda1)))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 2.1s | (+ (pow (cos phi1) 3) (pow (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) 3)) |
| 147× | rewrite-expression-head |
487 calls:
| 1.2s | (sqrt (/ (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n) (/ (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n) (/ (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (+ 1 (* c_p (+ (log 0.5) (* 0.5 t)))))))) |
| 1.2s | (sqrt (/ (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n) (/ (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n) (/ (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (+ 1 (* c_p (+ (log 0.5) (* 0.5 t)))))))) |
| 740.0ms | (sqrt (+ (- (* (pow (- (* (cos (* phi2 0.5)) (cos (* phi1 0.5))) (* (sin (* 0.5 phi2)) (sin (* 0.5 phi1)))) 2) (+ (pow lambda1 2) (pow lambda2 2))) (* 2 (* lambda2 (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) lambda1)))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 717.0ms | (sqrt (+ (- (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) (+ (pow lambda1 2) (pow lambda2 2))) (* 2 (* lambda2 (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) lambda1)))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 703.0ms | (sqrt (+ (- (* (pow (- (* (cos (* phi2 0.5)) (cos (* phi1 0.5))) (* (sin (* 0.5 phi2)) (sin (* 0.5 phi1)))) 2) (+ (pow lambda1 2) (pow lambda2 2))) (* 2 (* lambda2 (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) lambda1)))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 71066× | times-frac |
| 40557× | add-sqr-sqrt |
| 35549× | *-un-lft-identity |
| 28572× | unpow-prod-down |
| 23949× | add-cube-cbrt |
| 18406× | sqrt-prod |
| 6545× | difference-of-squares |
| 3741× | sqr-pow |
| 3482× | distribute-lft-out-- |
| 3112× | add-exp-log |
| 2289× | distribute-lft-out |
| 1955× | associate-/r/ |
| 1949× | add-cbrt-cube |
| 1820× | div-inv |
| 1039× | prod-exp |
| 1025× | pow1 |
| 1013× | flip-+ |
| 1012× | flip3-+ |
| 991× | div-exp |
| 763× | add-log-exp |
| 754× | associate-/r* |
| 723× | associate-*r* |
| 689× | associate-/l* |
| 495× | associate-*l* |
| 492× | cbrt-undiv |
| 478× | cbrt-unprod |
| 456× | flip-- |
| 455× | flip3-- |
| 358× | pow-exp |
| 337× | cbrt-prod |
| 325× | log-prod |
| 253× | pow-to-exp |
| 248× | sqrt-div |
| 238× | cube-prod |
| 232× | associate-*l/ |
| 223× | associate-*r/ |
| 210× | pow-prod-down |
| 197× | frac-times |
| 158× | log-pow |
| 155× | frac-add |
| 148× | distribute-rgt-neg-in |
| 146× | unswap-sqr |
| 133× | sub-neg |
| 129× | rem-sqrt-square |
| 128× | clear-num frac-2neg |
| 112× | associate-/l/ |
| 106× | *-commutative |
| 91× | exp-prod |
| 90× | diff-log |
| 73× | associate-+r+ |
| 70× | swap-sqr sqrt-pow1 |
| 64× | distribute-rgt-in distribute-lft-in |
| 58× | log-div |
| 55× | pow1/2 |
| 54× | sum-log |
| 46× | 1-exp rec-exp |
| 45× | +-commutative |
| 43× | div-sub |
| 40× | frac-sub |
| 37× | unpow3 |
| 35× | cube-mult |
| 33× | cbrt-div |
| 31× | rem-log-exp |
| 30× | pow-unpow |
| 29× | associate--l+ |
| 28× | distribute-rgt-out tan-quot |
| 24× | pow1/3 |
| 23× | cos-sum |
| 22× | exp-sum |
| 21× | sin-mult |
| 20× | pow-prod-up |
| 19× | sin-diff |
| 18× | pow-sqr |
| 17× | neg-sub0 cos-mult |
| 15× | cube-div cos-diff |
| 14× | sin-cos-mult associate-+l+ associate-+l- pow-pow |
| 13× | associate--l- pow-plus neg-log |
| 12× | pow2 |
| 11× | rem-cube-cbrt |
| 10× | inv-pow pow-flip associate--r+ |
| 8× | associate-+r- acos-asin |
| 7× | exp-diff sin-sum |
| 6× | unpow2 |
| 5× | sum-cubes distribute-lft1-in associate--r- |
| 3× | distribute-frac-neg acos-neg sqrt-unprod distribute-neg-in distribute-rgt-out-- asin-acos log-rec rem-cbrt-cube |
| 2× | sub0-neg un-div-inv rem-exp-log distribute-rgt-neg-out |
| 1× | difference-cubes unsub-neg rem-square-sqrt sub-div tanh-undef exp-to-pow tanh-def |
Total 9.1b remaining (60.7%)
Threshold costs 1.6b (11%)
| 3.7b | 0% | Cubic critical, wide range |
| 3.7b | 0% | Quadratic roots, wide range |
| 0.4b | 0% | Quadratic roots, medium range |
| 0.4b | 0% | Hyperbolic arc-(co)tangent |
| 0.3b | 0% | Quadratic roots, narrow range |