| 77× | intervals |
| 34.7s | 43745× | body | 1280 | valid |
| 11.4s | 30104× | body | 640 | valid |
| 7.0s | 202043× | body | 80 | valid |
| 5.9s | 13664× | body | 10240 | exit |
| 4.7s | 152995× | body | 80 | nan |
| 4.6s | 27656× | body | 320 | valid |
| 3.1s | 36316× | body | 160 | valid |
| 2.5s | 150510× | pre | 80 | true |
| 767.0ms | 3110× | body | 2560 | valid |
| 370.0ms | 8112× | body | 160 | nan |
| 368.0ms | 4160× | pre | 10240 | exit |
| 108.0ms | 8388× | pre | 80 | false |
| 58.0ms | 210× | body | 5120 | valid |
494 calls:
| 2.3s | (pow (/ (- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)) (+ (* (* (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))) (* (cos delta) (cos delta)))) 3) |
| 1.7s | (cbrt (pow (/ (- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)) (+ (* (* (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))) (* (cos delta) (cos delta)))) 3)) |
| 1.2s | (+ (pow (cos phi1) 3) (pow (* (cos phi2) (+ (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin lambda2)))) 3)) |
| 511.0ms | (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h)))))) |
| 495.0ms | (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- lambda1 lambda2)) (* (- phi1 phi2) (- phi1 phi2))) |
| 219× | egg-herbie |
| 143× | rewrite-expression-head |
494 calls:
| 290.0ms | (* (+ (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0)) (- (/ (sqrt 2.0) (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt 1.0))) |
| 196.0ms | (* (- (/ m (/ v (- 1.0 m))) 1.0) (- 1.0 m)) |
| 190.0ms | (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (- 0.0625) (pow x 5)))) |
| 182.0ms | (/ (/ (+ (- (pow b 2) (pow b 2)) (* 3.0 (* a c))) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a)) |
| 181.0ms | (/ (/ (+ (- (pow b 2) (pow b 2)) (* (* 3.0 a) c)) (- (- b) (sqrt (- (* b b) (* (* 3.0 a) c))))) (* 3.0 a)) |
| 7273× | times-frac |
| 6585× | *-un-lft-identity |
| 6519× | add-sqr-sqrt |
| 4152× | add-cube-cbrt |
| 3866× | frac-times |
| 2846× | associate-*r/ |
| 2582× | add-exp-log |
| 2265× | flip-+ |
| 2264× | flip3-+ |
| 2065× | add-cbrt-cube |
| 1993× | associate-*l/ |
| 1918× | flip-- |
| 1917× | flip3-- |
| 1753× | pow1 |
| 1331× | associate-*r* |
| 1322× | frac-sub |
| 985× | difference-of-squares |
| 879× | sqrt-prod |
| 822× | associate-/l* |
| 792× | add-log-exp |
| 753× | distribute-lft-out-- |
| 728× | prod-exp |
| 709× | div-exp |
| 623× | unpow-prod-down |
| 585× | associate-*l* |
| 558× | cbrt-unprod |
| 495× | associate-/r* |
| 478× | cbrt-undiv |
| 451× | cube-prod |
| 448× | pow-prod-down |
| 436× | distribute-lft-out |
| 422× | sqrt-div |
| 419× | frac-add |
| 392× | div-inv |
| 385× | cbrt-prod |
| 357× | associate-/r/ |
| 284× | sqr-pow |
| 275× | log-prod |
| 250× | unswap-sqr |
| 243× | distribute-rgt-neg-in |
| 216× | associate-/l/ |
| 195× | pow-prod-up |
| 152× | swap-sqr |
| 127× | pow-sqr |
| 126× | *-commutative |
| 122× | clear-num sub-neg frac-2neg |
| 104× | pow-plus |
| 98× | distribute-rgt-in distribute-lft-in |
| 97× | sqrt-pow1 |
| 88× | diff-log |
| 82× | pow-exp |
| 77× | pow2 |
| 73× | div-sub |
| 71× | unpow3 cube-mult sum-log |
| 67× | 1-exp |
| 59× | associate-+r+ |
| 51× | pow-to-exp rec-exp |
| 50× | log-pow |
| 49× | pow-unpow |
| 48× | pow1/2 |
| 46× | log-div |
| 44× | +-commutative |
| 43× | cbrt-div |
| 38× | associate-+l- |
| 37× | rem-cube-cbrt |
| 35× | neg-sub0 sin-mult |
| 33× | cos-mult |
| 31× | associate--l+ |
| 30× | unpow2 pow1/3 |
| 29× | pow-pow |
| 28× | rem-sqrt-square tan-quot |
| 27× | distribute-lft-neg-in |
| 25× | cube-div |
| 24× | neg-log rem-log-exp |
| 21× | associate--l- cos-diff |
| 18× | sin-diff |
| 16× | pow-flip exp-prod associate--r+ |
| 15× | associate-+l+ sin-cos-mult |
| 13× | difference-cubes cos-sum |
| 12× | distribute-rgt-out |
| 11× | associate-+r- |
| 9× | sin-sum neg-mul-1 |
| 8× | asin-acos distribute-neg-frac |
| 7× | acos-asin |
| 6× | rem-exp-log distribute-frac-neg |
| 5× | acos-neg inv-pow associate--r- rem-cbrt-cube |
| 3× | sub-div exp-sum distribute-rgt-neg-out exp-to-pow |
| 2× | sin-neg distribute-lft1-in sqrt-unprod |
| 1× | exp-diff sum-cubes rem-square-sqrt tanh-undef sqr-cos tanh-def |
Total 23.0b remaining (18.7%)
Threshold costs 8.5b (6.9%)
| 5.5b | 51.9% | Quotient of products |
| 3.9b | 72.1% | Equirectangular approximation to distance on a great circle |
| 2.8b | 89.9% | Cubic critical |
| 1.2b | 95% | Quadratic roots, full range |
| 1.0b | 0% | 2-ancestry mixing, zero discriminant |