14078 calls:
| 2.5s | (/ (* (* (/ 2 (fma (/ k t) (/ k t) 2)) (/ 2 (fma (/ k t) (/ k t) 2))) (/ 2 (fma (/ k t) (/ k t) 2))) (/ (* (* (* (* t t) t) (/ (* (* (sin k) (sin k)) (sin k)) (/ (* (* l l) l) (* (* t t) t)))) (/ (* (* (sin k) (sin k)) (sin k)) (/ (* (* l l) l) (* (* t t) t)))) (* (* (cos k) (cos k)) (cos k)))) |
| 2.2s | (/ (/ (* (* 2 2) 2) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2))) (* (* (* (* (sin k) (tan k)) (* (sin k) (tan k))) (* (sin k) (tan k))) (/ (* (* t t) t) (* (/ (* (* l l) l) (* (* t t) t)) (/ (* (* l l) l) (* (* t t) t)))))) |
| 2.1s | (/ (* (* 53/8 53/8) 53/8) (* (/ (* (* PI PI) PI) (* (* (* v v) (* v v)) (* v v))) (/ (* (* (* (sqrt 2) t) (* (sqrt 2) t)) (* (sqrt 2) t)) (* (* (* v v) (* v v)) (* v v))))) |
| 2.1s | (/ (* (* 53/8 53/8) 53/8) (* (/ (* (* PI PI) PI) (* (* (* v v) v) (* (* v v) v))) (/ (* (* (* (sqrt 2) t) (* (sqrt 2) t)) (* (sqrt 2) t)) (* (* (* v v) v) (* (* v v) v))))) |
| 2.0s | (/ (* (* (/ 2 (fma (/ k t) (/ k t) 2)) (/ 2 (fma (/ k t) (/ k t) 2))) (/ 2 (fma (/ k t) (/ k t) 2))) (* (* (* (* (sin k) (tan k)) (* (sin k) (tan k))) (* (sin k) (tan k))) (/ (* (* t t) t) (* (/ (* (* l l) l) (* (* t t) t)) (/ (* (* l l) l) (* (* t t) t)))))) |
| 54× | intervals |
| 56.2s | 239551× | body | 80 | valid |
| 41.5s | 161835× | body | 80 | nan |
| 30.2s | 17610× | body | 1280 | valid |
| 19.8s | 8538× | body | 10240 | exit |
| 18.4s | 14312× | body | 640 | valid |
| 8.0s | 5001× | body | 2560 | valid |
| 7.1s | 2346× | body | 5120 | valid |
| 6.8s | 7203× | body | 320 | valid |
| 4.3s | 7915× | body | 160 | valid |
| 981.0ms | 615× | body | 640 | nan |
| 832.0ms | 585× | body | 1280 | nan |
| 269.0ms | 380× | body | 320 | nan |
| 71.0ms | 182× | body | 160 | nan |
390 calls:
| 2.5s | (sqrt (* 2 (* U (* n (- (fma (* l (/ l Om)) -2 t) (* n (* (/ l Om) (+ (* (fma 1 U (- (* (cbrt U*) (* (cbrt U*) (cbrt U*))))) (/ l Om)) 0)))))))) |
| 2.4s | (sqrt (* 2 (* U (* n (- (fma (/ (* l l) Om) -2 t) (* n (* (* (/ l Om) (/ l Om)) (- U U*)))))))) |
| 2.3s | (sqrt (* 2 (* U (* n (- (fma (* l (/ l Om)) -2 t) (* n (* (/ l Om) (* (/ l Om) (- U U*))))))))) |
| 2.2s | (sqrt (* 2 (* U (* n (- (fma (* l (/ l Om)) -2 t) (* n (* (* (/ l Om) (/ l Om)) (- U U*)))))))) |
| 1.9s | (* (* (* (fabs (/ (cbrt d) (cbrt h))) (pow (/ (cbrt d) (cbrt h)) (/ 1 2))) (* (fabs (cbrt d)) (pow (/ (cbrt d) l) (/ 1 2)))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) |
| 104× | rewrite-expression-head |
390 calls:
| 5.1s | (* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) |
| 3.9s | (* (/ c0 (* w 2)) (+ (sqrt (- (* (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w)) (* M M))) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w))) |
| 1.9s | (+ (sqrt (- (* (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w)) (* M M))) (/ (* (* (/ d D) (/ d D)) (/ c0 h)) w)) |
| 1.1s | (* (hypot 1 (/ U (* J (* (cos (/ K 2)) 2)))) (* (sqrt (sqrt (cos (/ K 2)))) (* -2 (* J (pow (* (cos (* K 1/2)) (* (cos (* K 1/2)) (cos (* K 1/2)))) 1/4))))) |
| 734.0ms | (+ (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (sqrt (- (* (* (/ c0 w) (/ (* (/ d D) (/ d D)) h)) (* (/ c0 w) (/ (* (/ d D) (/ d D)) h))) (* M M)))) |
| 36788× | times-frac |
| 17457× | add-sqr-sqrt |
| 17076× | *-un-lft-identity |
| 16280× | add-cube-cbrt |
| 6989× | add-exp-log |
| 3728× | sqrt-prod |
| 3647× | add-cbrt-cube |
| 3614× | cbrt-prod |
| 3192× | prod-exp |
| 2213× | div-exp |
| 1577× | div-inv |
| 1401× | pow1 |
| 1327× | cbrt-undiv |
| 1237× | prod-diff |
| 1203× | cbrt-unprod |
| 1015× | associate-/l* |
| 952× | associate-*l* |
| 796× | associate-*r* |
| 735× | associate-/r* |
| 724× | associate-/r/ |
| 500× | difference-of-squares |
| 440× | pow-exp |
| 422× | add-log-exp |
| 403× | pow-prod-down |
| 391× | expm1-log1p-u |
| 390× | insert-posit16 log1p-expm1-u |
| 300× | unpow-prod-down |
| 298× | pow-unpow |
| 292× | associate-*r/ |
| 287× | unswap-sqr |
| 229× | associate-*l/ |
| 212× | 1-exp rec-exp |
| 210× | distribute-lft-out-- |
| 208× | frac-times |
| 205× | distribute-rgt-in distribute-lft-in |
| 202× | exp-sum |
| 174× | pow-to-exp |
| 160× | pow1/3 |
| 155× | swap-sqr |
| 147× | *-commutative |
| 143× | pow-prod-up |
| 140× | distribute-lft-out |
| 116× | exp-prod |
| 104× | distribute-lft-neg-in distribute-rgt-neg-in |
| 101× | sqrt-pow1 |
| 98× | flip3-- flip-- |
| 97× | pow-sqr |
| 96× | frac-2neg clear-num |
| 88× | sqr-pow |
| 67× | pow1/2 fma-udef |
| 58× | pow-plus |
| 56× | sub-neg |
| 48× | sqrt-div pow2 |
| 46× | fma-neg |
| 45× | rem-sqrt-square |
| 35× | associate-/l/ |
| 33× | associate--l+ |
| 31× | tan-quot |
| 29× | pow-pow log-pow |
| 25× | fma-def cos-sum |
| 22× | flip-+ div-sub flip3-+ |
| 18× | frac-add |
| 16× | unpow2 |
| 14× | log-prod |
| 12× | neg-mul-1 |
| 10× | pow-flip |
| 9× | pow-sub |
| 8× | sum-log +-commutative inv-pow log-div |
| 7× | associate--r- diff-log |
| 6× | exp-diff |
| 5× | rem-exp-log |
| 4× | sqrt-unprod |
| 3× | frac-sub cbrt-div hypot-udef distribute-rgt-out-- sqr-cos |
| 2× | neg-sub0 cos-mult sin-sum associate-+r- associate-+r+ log1p-def cube-unmult distribute-frac-neg un-div-inv distribute-neg-frac rem-square-sqrt |
| 1× | remove-posit16 log1p-expm1 sub-div sqr-sin rem-log-exp exp-neg asin-acos acos-asin cos-diff sin-mult e-exp-1 log1p-udef |
Total 34.3b remaining (26.4%)