13129 calls:
| 3.2s | (* (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))) |
| 3.2s | (* (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))) |
| 2.9s | (* (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))) |
| 2.9s | (* (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))) |
| 2.8s | (* (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))) |
| 63× | intervals |
| 34.8s | 259996× | body | 80 | valid |
| 11.9s | 13857× | body | 1280 | valid |
| 7.8s | 17058× | body | 160 | valid |
| 6.4s | 9380× | body | 640 | valid |
| 6.0s | 3931× | body | 2560 | valid |
| 4.1s | 75686× | pre | 80 | true |
| 3.8s | 1982× | body | 10240 | exit |
| 3.5s | 6766× | body | 320 | valid |
| 2.4s | 19356× | body | 80 | nan |
| 251.0ms | 235× | body | 5120 | valid |
| 101× | rewrite-expression-head |
304 calls:
| 1.7s | (* (* (* x1 x1) (* (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))) (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) |
| 1.3s | (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (+ (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* x1 x1)) (* -6 (* x1 x1)))) |
| 941.0ms | (+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096))) |
| 891.0ms | (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) |
| 856.0ms | (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) |
| 142794× | times-frac |
| 79163× | add-sqr-sqrt |
| 76911× | *-un-lft-identity |
| 38510× | add-cube-cbrt |
| 16567× | difference-of-squares |
| 13376× | distribute-lft-out-- |
| 8720× | div-inv |
| 7034× | associate-/r/ |
| 4446× | distribute-lft-out |
| 2522× | add-exp-log |
| 2398× | add-cbrt-cube |
| 2162× | flip3-- flip-- |
| 1947× | associate-/r* |
| 1666× | flip-+ flip3-+ |
| 1474× | pow1 |
| 1248× | sqrt-prod |
| 1026× | prod-exp |
| 990× | cbrt-unprod |
| 769× | add-log-exp |
| 698× | associate-*r* |
| 659× | div-exp |
| 590× | cbrt-undiv |
| 489× | associate-/l* |
| 471× | associate-*r/ |
| 469× | associate-*l* |
| 453× | frac-sub |
| 416× | pow-prod-down |
| 388× | cbrt-div |
| 361× | frac-times |
| 304× | insert-posit16 |
| 249× | associate-*l/ |
| 238× | pow-prod-up |
| 209× | unpow-prod-down |
| 207× | sum-log |
| 171× | frac-add |
| 170× | sqrt-div |
| 148× | sqr-pow |
| 116× | pow-plus |
| 114× | pow-sqr |
| 97× | cube-prod unswap-sqr |
| 91× | *-commutative |
| 87× | difference-of-sqr-1 |
| 85× | swap-sqr sub-neg |
| 75× | pow2 associate-/l/ |
| 74× | diff-log |
| 67× | distribute-rgt-neg-in |
| 64× | frac-2neg clear-num |
| 58× | +-commutative distribute-lft-neg-in |
| 46× | distribute-rgt-in exp-prod distribute-lft-in |
| 34× | log-prod |
| 31× | associate-+l+ exp-sum |
| 29× | sqrt-pow1 |
| 28× | pow1/2 |
| 27× | 1-exp |
| 26× | rem-sqrt-square |
| 25× | rec-exp |
| 22× | associate--l+ log-pow |
| 18× | associate-+r+ |
| 17× | div-sub |
| 16× | pow-flip |
| 14× | neg-mul-1 |
| 13× | rem-exp-log |
| 9× | pow-exp associate--l- pow-to-exp |
| 8× | log-div |
| 7× | neg-sub0 cube-mult |
| 6× | pow-unpow pow3 rem-log-exp |
| 5× | distribute-frac-neg neg-log associate--r+ difference-cubes pow-pow inv-pow cbrt-prod un-div-inv |
| 4× | distribute-lft-neg-out cube-unmult distribute-rgt-out |
| 2× | pow1/3 unpow3 associate-+l- |
| 1× | distribute-lft1-in exp-diff rem-cube-cbrt associate-+r- distribute-neg-frac rem-cbrt-cube unsub-neg associate--r- e-exp-1 distribute-rgt1-in |
304 calls:
| 881.0ms | (/ 0.125 (/ (sqrt (/ (- 1 v) (- 3 (* 2 v)))) (* w r))) |
| 689.0ms | (/ (sqrt (/ (- 1 v) (- 3 (* 2 v)))) (* w r)) |
| 632.0ms | (/ (sqrt (/ (- 1 v) (- 3 (* 2 v)))) (* w r)) |
| 559.0ms | (+ (* (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6) (* x1 x1)) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))))) |
| 464.0ms | (- (sqrt (+ (* b b) (* (* c -4) a))) b) |
Total 30.8b remaining (14.1%)
| 10.6b | 57% | Compound Interest |
| 4.8b | 82.8% | The quadratic formula (r1) |
| 4.7b | 76.3% | Kahan p9 Example |
| 2.6b | 0% | Complex division, imag part |
| 2.5b | 0% | Complex division, real part |