| 56× | intervals |
| 16× | halfpoints |
| 38.2s | 66935× | body | 1280 | valid |
| 22.6s | 17227× | body | 2560 | valid |
| 14.7s | 42341× | body | 640 | valid |
| 7.7s | 13053× | body | 10240 | exit |
| 5.8s | 93690× | body | 80 | valid |
| 4.9s | 20770× | body | 320 | valid |
| 4.0s | 63040× | body | 80 | nan |
| 2.4s | 10808× | body | 160 | valid |
| 1.6s | 47470× | pre | 80 | true |
| 606.0ms | 711× | body | 1280 | nan |
| 260.0ms | 641× | body | 640 | nan |
| 186.0ms | 492× | body | 5120 | valid |
| 79.0ms | 350× | body | 320 | nan |
| 23.0ms | 179× | body | 160 | nan |
404 calls:
| 1.2s | (/ (+ (* (- (* (* (* (cbrt 1.0) (cbrt (/ 1.0 (+ x 1.0)))) (cbrt 1.0)) x) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) 2.0)) (- x 1.0)) (* (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) x) 1.0)) (* (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) x) (- x 1.0))) |
| 592.0ms | (* (cbrt (/ (/ 1 2.0) (sqrt 2.0))) (* (/ (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x))) (sqrt 2.0)) (sin y))) |
| 563.0ms | (cbrt (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))) |
| 534.0ms | (/ (* 1.0 (/ (+ x (- 1.0 x)) (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0)))) |
| 527.0ms | (/ (* 1.0 (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x)))) (* (sqrt x) (sqrt (+ x 1.0)))) |
| 122× | rewrite-expression-head |
404 calls:
| 1.0s | (* (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps))) (cbrt (- (pow eps 2) (+ (/ (pow eps 2) (pow 1.0 2)) eps)))) |
| 806.0ms | (* 2.0 (+ (/ 1 (pow x 7)) (+ (/ 1 (pow x 5)) (/ 1 (pow x 3))))) |
| 787.0ms | (/ (+ (* (- (* (* (* (cbrt 1.0) (cbrt (/ 1.0 (+ x 1.0)))) (cbrt 1.0)) x) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) 2.0)) (- x 1.0)) (* (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) x) 1.0)) (* (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) x) (- x 1.0))) |
| 510.0ms | (+ (- (* (* (cbrt (/ 1.0 (+ x 1.0))) (cbrt (/ 1.0 (+ x 1.0)))) (cbrt (/ 1.0 (+ x 1.0)))) (/ 2.0 x)) (/ 1.0 (- x 1.0))) |
| 356.0ms | (/ (/ (/ a (/ (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2)) c)) (sqrt (- (sqrt (- (* b_2 b_2) (* a c))) b_2))) a) |
| 65656× | times-frac |
| 37113× | add-sqr-sqrt |
| 35296× | *-un-lft-identity |
| 25482× | add-cube-cbrt |
| 9089× | cbrt-prod |
| 8447× | sqrt-prod |
| 5639× | difference-of-squares |
| 4461× | distribute-lft-out-- |
| 3278× | associate-/l* |
| 2658× | associate-*l/ |
| 2018× | cbrt-div |
| 1786× | add-exp-log |
| 1587× | div-inv |
| 1537× | distribute-rgt-neg-in |
| 1115× | add-cbrt-cube |
| 882× | frac-times |
| 869× | flip-+ flip3-+ |
| 769× | unpow-prod-down |
| 763× | associate-*r/ |
| 717× | add-log-exp |
| 662× | pow1 |
| 650× | div-exp |
| 573× | associate-*r* |
| 555× | frac-add |
| 511× | associate-*l* |
| 509× | distribute-lft-out |
| 460× | flip-- flip3-- |
| 439× | frac-sub |
| 398× | associate-/r/ |
| 393× | prod-exp |
| 359× | sqr-pow |
| 343× | associate-/r* |
| 339× | associate-/l/ |
| 336× | cube-prod |
| 284× | cbrt-undiv |
| 217× | unswap-sqr |
| 210× | pow-unpow |
| 198× | cbrt-unprod |
| 156× | log-prod |
| 126× | 1-exp |
| 115× | diff-log |
| 112× | sub-neg |
| 108× | unpow2 |
| 97× | exp-prod |
| 96× | sqrt-div |
| 95× | swap-sqr |
| 90× | pow1/3 rec-exp |
| 88× | log-pow |
| 85× | pow-exp |
| 80× | pow-prod-down pow-to-exp |
| 77× | clear-num frac-2neg |
| 64× | *-commutative |
| 58× | sum-log |
| 49× | sqrt-pow1 |
| 43× | pow1/2 |
| 39× | pow-pow |
| 37× | distribute-rgt-in rem-sqrt-square distribute-lft-in |
| 33× | +-commutative |
| 31× | associate-+l+ |
| 30× | tan-quot |
| 28× | div-sub |
| 27× | log-div |
| 26× | associate--l+ |
| 24× | complex-mul-def |
| 23× | unpow3 cube-mult |
| 20× | exp-sum associate--r+ |
| 17× | neg-sub0 |
| 16× | associate--l- |
| 15× | difference-cubes rem-log-exp |
| 14× | rem-cube-cbrt pow-sqr pow-prod-up |
| 13× | pow-flip neg-log |
| 12× | cube-div |
| 11× | inv-pow |
| 10× | exp-diff |
| 9× | rem-exp-log cos-mult |
| 8× | distribute-rgt-out-- associate-+l- |
| 7× | pow2 associate-+r+ pow-plus sin-mult |
| 6× | *.c-commutative difference-of-sqr-1 |
| 4× | pow-div sub-div +.c-commutative complex-add-def exp-to-pow |
| 3× | sqrt-unprod rem-cbrt-cube |
| 2× | cos-sum un-div-inv associate-+l+.c associate-+r- exp-neg associate-*l*.c tan-sum frac-2neg.c sin-sum |
| 1× | sin-cos-mult diff-atan diff-cos diff-sin |
Total 26.6b remaining (12.8%)
Threshold costs 6.5b (3.1%)
| 4.9b | 80.2% | quad2p (problem 3.2.1, positive) |
| 3.9b | 86.3% | quadm (p42, negative) |
| 3.9b | 85.5% | quad2m (problem 3.2.1, negative) |
| 3.1b | 0% | expq3 (problem 3.4.2) |
| 1.9b | 79.9% | 2cos (problem 3.3.5) |