| 78× | intervals |
| 2.3m | 24025× | body | 10240 | exit |
| 1.2m | 43668× | body | 1280 | valid |
| 26.1s | 30601× | body | 640 | valid |
| 20.2s | 202578× | body | 80 | valid |
| 13.6s | 151157× | body | 80 | nan |
| 12.3s | 27463× | body | 320 | valid |
| 9.0s | 36423× | body | 160 | valid |
| 7.8s | 160563× | pre | 80 | true |
| 2.3s | 3062× | body | 2560 | valid |
| 1.2s | 7750× | body | 160 | nan |
| 497.0ms | 4205× | pre | 10240 | exit |
| 175.0ms | 250× | body | 5120 | valid |
| 161.0ms | 8243× | pre | 80 | false |
| 2.0ms | 1× | body | 640 | nan |
| 1.0ms | 1× | body | 320 | nan |
527 calls:
| 3.0s | (pow (exp (* (cbrt (log (+ (* 2.0 (+ (pow x 2) x)) (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2))))))) (cbrt (log (+ (* 2.0 (+ (pow x 2) x)) (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2))))))))) (cbrt (log (+ (* 2.0 (+ (pow x 2) x)) (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))))) |
| 1.9s | (+ (pow (cos phi1) 3) (pow (* (cos phi2) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))) 3)) |
| 1.3s | (- (* x (- x 1.0)) (/ (* (- (* x x) (* 1.0 1.0)) (+ (pow x 3) (pow 1.0 3))) (* (- x 1.0) (+ (pow x 2) (* 1.0 (- 1.0 x)))))) |
| 945.0ms | (exp (* (cbrt (log (+ (* 2.0 (+ (pow x 2) x)) (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2))))))) (cbrt (log (+ (* 2.0 (+ (pow x 2) x)) (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2))))))))) |
| 787.0ms | (/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (+ (* c_p (+ (log 0.5) (* 0.5 t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))) |
| 148× | rewrite-expression-head |
527 calls:
| 1.4s | (* R (sqrt (+ (- (+ (pow lambda1 2) (pow lambda2 2)) (* 2 (* lambda2 lambda1))) (* (- phi1 phi2) (- phi1 phi2))))) |
| 863.0ms | (+ (+ (/ (- 0.125) (pow x 3)) (/ 0.5 x)) (* 2 x)) |
| 803.0ms | (* (+ (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) (cbrt (pow (- (sqrt (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) 3))) |
| 781.0ms | (sqrt (+ (- (+ (pow lambda1 2) (pow lambda2 2)) (* 2 (* lambda2 lambda1))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 779.0ms | (sqrt (+ (- (+ (pow lambda1 2) (pow lambda2 2)) (* 2 (* lambda2 lambda1))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 5726× | times-frac |
| 5673× | add-sqr-sqrt |
| 5622× | *-un-lft-identity |
| 3498× | add-cube-cbrt |
| 3453× | add-exp-log |
| 2222× | add-cbrt-cube |
| 1660× | pow1 |
| 1537× | associate-*r* |
| 1235× | prod-exp |
| 1039× | div-exp |
| 862× | add-log-exp |
| 801× | associate-/l* |
| 792× | difference-of-squares |
| 770× | unpow-prod-down |
| 737× | flip-- |
| 736× | flip3-- |
| 714× | sqrt-prod |
| 690× | cbrt-unprod |
| 663× | distribute-lft-out-- |
| 559× | cube-prod |
| 544× | associate-*l/ |
| 543× | cbrt-prod |
| 527× | cbrt-undiv |
| 520× | pow-prod-down |
| 505× | associate-/r* |
| 464× | associate-*l* |
| 463× | associate-*r/ |
| 394× | sqrt-div |
| 391× | frac-times |
| 384× | pow-exp |
| 377× | distribute-lft-out |
| 351× | div-inv |
| 327× | associate-/r/ |
| 309× | frac-add |
| 291× | distribute-rgt-neg-in |
| 282× | pow-to-exp |
| 258× | unswap-sqr |
| 236× | flip-+ |
| 235× | flip3-+ |
| 224× | sqr-pow |
| 200× | exp-prod |
| 157× | associate-/l/ |
| 131× | sub-neg log-prod |
| 130× | clear-num frac-2neg |
| 119× | *-commutative unpow3 cube-mult |
| 114× | frac-sub |
| 109× | log-pow |
| 107× | pow-prod-up |
| 98× | diff-log |
| 90× | pow-sqr |
| 85× | swap-sqr |
| 80× | sum-log |
| 75× | distribute-rgt-in distribute-lft-in |
| 74× | neg-sub0 |
| 73× | pow-unpow |
| 66× | exp-neg |
| 63× | 1-exp |
| 62× | distribute-lft-neg-in |
| 59× | exp-diff |
| 58× | div-sub |
| 55× | unpow2 rec-exp |
| 53× | +-commutative |
| 51× | associate--l+ |
| 48× | pow-pow |
| 47× | pow1/3 |
| 46× | pow-plus |
| 45× | pow1/2 sqrt-pow1 |
| 42× | cbrt-div |
| 35× | rem-sqrt-square log-div |
| 33× | associate-+r+ |
| 32× | pow2 |
| 29× | associate-+l+ |
| 28× | distribute-rgt-out |
| 26× | cube-div un-div-inv associate-+l- |
| 22× | rem-cube-cbrt neg-mul-1 |
| 20× | tan-quot |
| 19× | sub-div neg-log |
| 18× | sin-mult |
| 17× | rem-log-exp sin-diff |
| 16× | cos-diff |
| 15× | cos-sum |
| 14× | associate--l- sum-cubes |
| 13× | exp-sum |
| 12× | acos-asin |
| 11× | sin-cos-mult |
| 10× | pow-flip cos-mult |
| 8× | rem-exp-log distribute-frac-neg distribute-rgt-neg-out associate-+r- |
| 6× | inv-pow |
| 5× | distribute-lft1-in sin-sum exp-to-pow associate--r+ |
| 4× | rem-cbrt-cube tanh-def |
| 3× | acos-neg |
| 2× | sin-neg sqrt-unprod distribute-rgt-out-- |
| 1× | difference-cubes unsub-neg rem-square-sqrt tanh-undef asin-acos associate--r- mul-1-neg |
Total 23.1b remaining (20.5%)
Threshold costs 7.8b (6.9%)
| 5.0b | 27.2% | Quotient of products |
| 4.2b | 70.2% | Equirectangular approximation to distance on a great circle |
| 2.9b | 89.4% | Cubic critical |
| 1.9b | -75.6% | (- (/ x0 (- 1 x1)) x0) |
| 1.2b | -0% | 2-ancestry mixing, positive discriminant |