4026 calls:
| 1.8s | (/ (* (* (* (- (/ 1 N) (/ -1/2 (* N N))) (+ (+ 1 (/ (* N -1/2) (* N N))) (/ 1/3 (* N N)))) (* (- (/ 1 N) (/ -1/2 (* N N))) (+ (+ 1 (/ (* N -1/2) (* N N))) (/ 1/3 (* N N))))) (* (- (/ 1 N) (/ -1/2 (* N N))) (+ (+ 1 (/ (* N -1/2) (* N N))) (/ 1/3 (* N N))))) (* (* (* (- (/ 1 N) (/ -1/2 (* N N))) N) (* (- (/ 1 N) (/ -1/2 (* N N))) N)) (* (- (/ 1 N) (/ -1/2 (* N N))) N))) |
| 1.4s | (re (+.c (+.c (+.c (+.c (+.c (+.c (*.c (*.c (*.c (*.c (*.c (complex -1 1) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (*.c (*.c (*.c (*.c (*.c (complex 6 0) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (*.c (*.c (complex 15 0) (complex -1 1)) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (*.c (complex 20 0) (complex -1 1)) (complex -1 1)) (complex -1 1))) (*.c (*.c (complex 15 0) (complex -1 1)) (complex -1 1))) (*.c (complex 6 0) (complex -1 1))) (complex 1 0))) |
| 1.4s | (/ (* (* (+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1)) (+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1))) (+ (* (- (* 1 x) (* (+ x 1) 2)) (- x 1)) (* (* (+ x 1) x) 1))) (* (* (* (* (+ x 1) x) (* (+ x 1) x)) (* (+ x 1) x)) (* (* (- x 1) (- x 1)) (- x 1)))) |
| 1.3s | (/ (/ (* (* (* (sin eps) (+ (/ (* (sin x) (sin x)) (cos x)) (cos x))) (* (sin eps) (+ (/ (* (sin x) (sin x)) (cos x)) (cos x)))) (* (sin eps) (+ (/ (* (sin x) (sin x)) (cos x)) (cos x)))) (* (* (cos eps) (cos eps)) (cos eps))) (* (* (* (- 1 (* (tan x) (tan eps))) (cos x)) (* (- 1 (* (tan x) (tan eps))) (cos x))) (* (- 1 (* (tan x) (tan eps))) (cos x)))) |
| 1.3s | (/ (/ (* (* (* (sin eps) (sin eps)) (sin eps)) (* (* (+ (/ (* (sin x) (sin x)) (cos x)) (cos x)) (+ (/ (* (sin x) (sin x)) (cos x)) (cos x))) (+ (/ (* (sin x) (sin x)) (cos x)) (cos x)))) (* (* (cos eps) (cos eps)) (cos eps))) (* (* (* (- 1 (* (tan x) (tan eps))) (cos x)) (* (- 1 (* (tan x) (tan eps))) (cos x))) (* (- 1 (* (tan x) (tan eps))) (cos x)))) |
| 56× | intervals |
| 16× | halfpoints |
| 1.1m | 67314× | body | 1280 | valid |
| 39.2s | 17433× | body | 2560 | valid |
| 25.9s | 41943× | body | 640 | valid |
| 13.0s | 12693× | body | 10240 | exit |
| 12.6s | 93816× | body | 80 | valid |
| 9.0s | 20435× | body | 320 | valid |
| 6.9s | 63373× | body | 80 | nan |
| 3.5s | 10580× | body | 160 | valid |
| 1.9s | 47371× | pre | 80 | true |
| 817.0ms | 693× | body | 1280 | nan |
| 632.0ms | 447× | body | 5120 | valid |
| 583.0ms | 629× | body | 640 | nan |
| 208.0ms | 327× | body | 320 | nan |
| 50.0ms | 189× | body | 160 | nan |
378 calls:
| 1.0s | (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (+ (+ (* (* (* a eps) (* (* a eps) (* a eps))) 1/6) (* a eps)) (* 1/2 (* (* a eps) (* a eps)))) (- (exp (* b eps)) 1))) |
| 732.0ms | (- (pow (+ x 1) (/ 1 n)) (pow x (/ 1 n))) |
| 528.0ms | (+ 1 (- (log n) (/ 1/6 (* n n)))) |
| 479.0ms | (- (* (* x x) 9/40) (- (* (pow x 4) 27/2800) -1/2)) |
| 472.0ms | (- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x)) |
Total 24.3b remaining (21.6%)
| 4.6b | 82.4% | quadm (p42, negative) |
| 4.2b | 82% | quad2m (problem 3.2.1, negative) |
| 4.2b | 84.7% | quadp (p42, positive) |
| 3.3b | 0% | expq3 (problem 3.4.2) |
| 1.2b | 85.9% | 2nthrt (problem 3.4.6) |
| 118× | rewrite-expression-head |
378 calls:
| 204.0ms | (* (+ (+ (* (* (* a eps) (* (* a eps) (* a eps))) 1/6) (* a eps)) (* 1/2 (* (* a eps) (* a eps)))) (- (exp (* b eps)) 1)) |
| 174.0ms | (- (+ (+ 1 (- (log n) (/ 1/6 (* n n)))) (/ 1/2 n)) 1) |
| 108.0ms | (/ (* eps (- (exp (* (+ a b) eps)) 1)) (* (+ (+ (* (* (* a eps) (* (* a eps) (* a eps))) 1/6) (* a eps)) (* 1/2 (* (* a eps) (* a eps)))) (- (exp (* b eps)) 1))) |
| 61.0ms | (- (/ (+ (tan x) (tan eps)) (- 1 (* (tan x) (tan eps)))) (tan x)) |
| 57.0ms | (* (+ (sqrt (exp x)) 1) (* (+ (* x (+ (* 1/48 x) 1/8)) 1/2) x)) |
| 1002× | *-un-lft-identity |
| 954× | add-sqr-sqrt |
| 807× | add-cube-cbrt |
| 644× | add-exp-log |
| 615× | pow1 |
| 584× | add-cbrt-cube |
| 521× | add-log-exp |
| 367× | insert-posit16 |
| 347× | times-frac |
| 256× | flip-+ flip3-+ |
| 246× | associate-*l/ |
| 240× | associate-*l* |
| 232× | associate-*r* |
| 195× | flip3-- flip-- |
| 171× | sqrt-prod |
| 162× | cbrt-div |
| 148× | frac-times |
| 140× | associate-/r/ |
| 139× | associate-/l* |
| 135× | associate-/r* |
| 134× | sqrt-div |
| 132× | div-inv |
| 127× | log-prod |
| 126× | cbrt-prod associate-*r/ |
| 99× | sub-neg |
| 94× | *-commutative |
| 82× | prod-exp |
| 80× | associate-/l/ |
| 75× | pow-prod-down |
| 72× | cbrt-unprod |
| 65× | frac-2neg clear-num |
| 64× | distribute-lft-out-- |
| 63× | difference-of-squares |
| 61× | distribute-lft-out |
| 60× | div-exp |
| 57× | frac-add |
| 56× | pow1/3 pow1/2 |
| 55× | log-pow |
| 51× | cbrt-undiv |
| 48× | diff-log |
| 34× | tan-quot |
| 32× | +-commutative log-div |
| 31× | sum-log |
| 30× | distribute-rgt-in distribute-lft-in |
| 28× | pow-prod-up |
| 27× | rem-sqrt-square |
| 23× | difference-of-sqr-1 |
| 22× | unpow-prod-down |
| 21× | frac-sub pow-flip |
| 19× | rec-exp rem-log-exp |
| 18× | pow2 pow-plus |
| 16× | div-sub |
| 13× | inv-pow complex-mul-def |
| 12× | pow-unpow cube-prod |
| 11× | associate-+l+ exp-sum associate--l+ |
| 8× | exp-diff sqrt-unprod exp-prod cube-mult |
| 7× | neg-sub0 associate-+r+ pow-to-exp |
| 6× | associate--l- pow-exp pow-pow associate-+l- |
| 5× | sin-sum sin-mult rem-exp-log |
| 4× | distribute-rgt-out-- rem-cube-cbrt unpow3 sum-cubes rem-square-sqrt |
| 3× | quot-tan pow-div *.c-commutative associate--r+ sqr-sin +.c-commutative |
| 2× | associate-*l*.c associate-+r- exp-neg pow3 un-div-inv neg-mul-1 complex-add-def cos-sum tan-sum rem-cbrt-cube |
| 1× | distribute-lft1-in diff-atan cos-mult sin-cos-mult sub0-neg distribute-frac-neg frac-2neg-c associate-+l+.c diff-sin diff-cos associate--r- |