10298 calls:
| 3.4s | (* (* (* (* (/ (* 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 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.9s | (* (* (* (* (/ (* 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.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))))) |
| 62× | intervals |
| 31.7s | 243285× | body | 80 | valid |
| 12.6s | 13857× | body | 1280 | valid |
| 8.1s | 16865× | body | 160 | valid |
| 6.2s | 9327× | body | 640 | valid |
| 5.8s | 3846× | body | 2560 | valid |
| 3.8s | 75616× | pre | 80 | true |
| 3.4s | 2015× | body | 10240 | exit |
| 3.2s | 6917× | body | 320 | valid |
| 2.1s | 19469× | body | 80 | nan |
| 283.0ms | 216× | body | 5120 | valid |
| 103× | rewrite-expression-head |
316 calls:
| 39.1s | (+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 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))) |
| 5.7s | (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) |
| 1.0s | (+ (+ (+ (* 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))) |
| 913.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))) |
| 889.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))) |
| 40400× | times-frac |
| 21741× | *-un-lft-identity |
| 20308× | add-sqr-sqrt |
| 15582× | add-cube-cbrt |
| 4284× | associate-*r* |
| 2663× | difference-of-squares |
| 2617× | add-exp-log |
| 2423× | add-cbrt-cube |
| 1542× | distribute-lft-out-- |
| 1438× | div-inv |
| 1061× | associate-/r/ |
| 1023× | distribute-lft-out |
| 999× | pow1 |
| 987× | associate-/l* |
| 941× | prod-exp |
| 889× | cbrt-unprod |
| 822× | div-exp |
| 809× | flip3-- flip-- |
| 756× | add-log-exp |
| 729× | associate-*r/ |
| 723× | sqrt-prod |
| 706× | cbrt-undiv |
| 583× | cbrt-div |
| 497× | frac-times |
| 481× | associate-/r* |
| 431× | associate-*l* |
| 319× | flip-+ flip3-+ |
| 316× | insert-posit16 |
| 256× | frac-add |
| 251× | pow-prod-down |
| 248× | associate-*l/ |
| 220× | swap-sqr |
| 202× | sum-log |
| 174× | unpow-prod-down |
| 135× | sqrt-div |
| 121× | unswap-sqr |
| 118× | sqr-pow |
| 101× | pow-prod-up |
| 95× | associate-/l/ |
| 89× | difference-of-sqr-1 exp-prod |
| 87× | sub-neg |
| 85× | *-commutative |
| 75× | log-prod sqrt-pow1 |
| 69× | frac-2neg clear-num |
| 59× | diff-log pow-sqr |
| 56× | +-commutative |
| 53× | cbrt-prod |
| 51× | distribute-rgt-in distribute-lft-in |
| 50× | exp-sum |
| 48× | pow-plus |
| 46× | pow1/2 log-pow |
| 39× | distribute-rgt-neg-in |
| 36× | pow2 |
| 35× | 1-exp rec-exp |
| 33× | distribute-lft-neg-in |
| 29× | rem-sqrt-square |
| 28× | pow1/3 |
| 27× | associate-+l+ |
| 23× | associate-+r+ div-sub |
| 19× | rem-exp-log log-div |
| 15× | associate--l+ |
| 12× | pow-flip rem-log-exp |
| 11× | neg-mul-1 distribute-rgt-out |
| 10× | inv-pow |
| 9× | difference-of-sqr--1 distribute-rgt1-in |
| 8× | pow-exp pow-to-exp distribute-rgt-out-- |
| 7× | distribute-lft1-in frac-sub distribute-lft-neg-out |
| 6× | associate--l- pow-unpow un-div-inv |
| 5× | neg-sub0 distribute-frac-neg associate--r+ |
| 4× | cube-prod cube-unmult neg-log |
| 3× | pow3 |
| 2× | pow-pow exp-to-pow rem-cbrt-cube e-exp-1 |
| 1× | remove-posit16 exp-diff associate-+r- sub0-neg unpow3 sqrt-unprod sub-div sum-cubes associate-+l- rem-square-sqrt cube-mult unsub-neg associate--r- |
316 calls:
| 529.0ms | (+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 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))) |
| 520.0ms | (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) |
| 469.0ms | (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) |
| 458.0ms | (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* (* 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)))) |
| 455.0ms | (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)) |
Total 28.1b remaining (13.1%)
| 11.8b | 56.7% | Compound Interest |
| 4.3b | 77.3% | Kahan p9 Example |
| 2.9b | -13.5% | Complex division, imag part |
| 2.0b | 20.4% | Complex division, real part |
| 1.9b | 0% | Expression, p6 |