| 67× | intervals |
| 37.5s | 269560× | body | 80 | valid |
| 12.2s | 13921× | body | 1280 | valid |
| 8.4s | 16735× | body | 160 | valid |
| 5.4s | 9326× | body | 640 | valid |
| 5.4s | 3888× | body | 2560 | valid |
| 4.8s | 2316× | body | 10240 | exit |
| 3.7s | 75820× | pre | 80 | true |
| 2.9s | 6890× | body | 320 | valid |
| 2.3s | 19765× | body | 80 | nan |
| 244.0ms | 218× | body | 5120 | valid |
| 6.0ms | 100× | pre | 80 | false |
| 104× | rewrite-expression-head |
320 calls:
| 5.0s | (+ (* (* (* (* (exp 2) x) x) x) (* (* (* (* (exp 2) x) x) x) (* (* (* (* (exp 2) x) x) x) 8/27))) (* (- (exp 2) (* (* (exp 2) x) x)) (* (- (exp 2) (* (* (exp 2) x) x)) (- (exp 2) (* (* (exp 2) x) x))))) |
| 4.7s | (log (+ (* (* (* (* (exp 2) x) x) x) (* (* (* (* (exp 2) x) x) x) (* (* (* (* (exp 2) x) x) x) 8/27))) (* (- (exp 2) (* (* (exp 2) x) x)) (* (- (exp 2) (* (* (exp 2) x) x)) (- (exp 2) (* (* (exp 2) x) x)))))) |
| 1.3s | (exp (+ (exp (* (- eps 1) x)) (+ (- (/ (exp (* (- eps 1) x)) eps) (/ (exp (* x (- -1 eps))) eps)) (exp (* x (- -1 eps)))))) |
| 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))) |
| 954.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))) |
| 6637× | times-frac |
| 6041× | *-un-lft-identity |
| 5796× | add-sqr-sqrt |
| 2905× | add-cube-cbrt |
| 1683× | add-exp-log |
| 1599× | add-cbrt-cube |
| 1185× | difference-of-squares |
| 1167× | associate-*r* |
| 1001× | pow1 |
| 957× | sqrt-prod |
| 821× | add-log-exp |
| 805× | distribute-lft-out-- |
| 665× | distribute-lft-out |
| 633× | associate-*r/ |
| 573× | associate-*l* |
| 563× | prod-exp |
| 533× | cbrt-unprod |
| 490× | div-inv |
| 444× | associate-/l* |
| 384× | div-exp |
| 379× | flip3-- flip-- |
| 361× | cbrt-div |
| 352× | cbrt-undiv |
| 330× | frac-times |
| 321× | flip-+ flip3-+ |
| 320× | insert-posit16 |
| 297× | associate-/r/ |
| 286× | associate-/r* |
| 277× | pow-prod-down |
| 211× | associate-*l/ |
| 196× | sum-log |
| 192× | unpow-prod-down |
| 184× | frac-add |
| 151× | swap-sqr sqr-pow |
| 139× | sqrt-div |
| 116× | cbrt-prod |
| 113× | unswap-sqr |
| 104× | diff-log |
| 103× | sub-neg |
| 94× | distribute-rgt-neg-in |
| 91× | difference-of-sqr-1 |
| 89× | *-commutative |
| 85× | distribute-rgt-in distribute-lft-in |
| 81× | distribute-lft-neg-in |
| 75× | exp-prod |
| 69× | log-prod |
| 68× | pow-prod-up |
| 61× | associate-/l/ |
| 55× | frac-2neg clear-num |
| 53× | +-commutative |
| 48× | pow-sqr |
| 41× | pow-plus |
| 38× | frac-sub |
| 37× | log-div |
| 35× | associate-+l+ |
| 33× | associate--l+ |
| 32× | exp-sum log-pow |
| 31× | sqrt-pow1 associate-+r+ |
| 30× | pow2 |
| 29× | pow1/2 |
| 27× | neg-mul-1 rem-sqrt-square |
| 24× | div-sub |
| 19× | pow1/3 |
| 17× | distribute-rgt-out-- rem-exp-log |
| 16× | 1-exp rec-exp |
| 12× | difference-of-sqr--1 |
| 11× | associate--l- pow-exp pow-to-exp rem-log-exp |
| 10× | distribute-lft1-in distribute-frac-neg distribute-rgt-out |
| 9× | pow-flip inv-pow |
| 8× | pow-div |
| 7× | neg-sub0 exp-diff distribute-lft-neg-out |
| 5× | associate--r+ |
| 4× | associate-+r- pow3 neg-log sub-div |
| 3× | pow-unpow cube-unmult exp-to-pow associate-+l- |
| 2× | remove-posit16 exp-lft-sqr rem-cbrt-cube |
| 1× | pow-pow un-div-inv associate--r- |
320 calls:
| 639.0ms | (log (+ (* (* (* (* (exp 2) x) x) x) (* (* (* (* (exp 2) x) x) x) (* (* (* (* (exp 2) x) x) x) 8/27))) (* (- (exp 2) (* (* (exp 2) x) x)) (* (- (exp 2) (* (* (exp 2) x) x)) (- (exp 2) (* (* (exp 2) x) x)))))) |
| 479.0ms | (* (sqrt (sqrt x)) (* (sqrt x) (+ (* x x) x))) |
| 465.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))) |
| 453.0ms | (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* (cbrt (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))) (cbrt (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))) (cbrt (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))) |
| 444.0ms | (log (+ (* (- (exp 2) (* (* (exp 2) x) x)) (- (exp 2) (* (* (exp 2) x) x))) (* (* (exp 2) (* x (* x (* x 2/3)))) (- (* (exp 2) (* x (* x (* x 2/3)))) (- (exp 2) (* (* (exp 2) x) x)))))) |
Total 36.1b remaining (15.9%)
Threshold costs 2.7b (1.2%)
| 10.8b | 52.1% | Compound Interest |
| 4.9b | 82.4% | The quadratic formula (r1) |
| 4.8b | 75.9% | Kahan p9 Example |
| 4.5b | 83.7% | The quadratic formula (r2) |
| 2.7b | -0.2% | Complex division, real part |