| Date: | Tuesday, June 30th, 2020 |
|---|---|
| Commit: | 8ccfdff1 on old-regraph |
| Hostname: | debbie with Racket 7.7 |
| Seed: | 2020182 |
| Parameters: | 256 points for 4 iterations |
| Flags: | setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback default |
| 73× | intervals |
| 16.8s | 294575× | body | 80 | valid |
| 5.6s | 14161× | body | 1280 | valid |
| 2.7s | 16922× | body | 160 | valid |
| 2.5s | 9558× | body | 640 | valid |
| 2.5s | 3902× | body | 2560 | valid |
| 2.3s | 100683× | pre | 80 | true |
| 1.2s | 6744× | body | 320 | valid |
| 839.0ms | 200× | body | 5120 | exit |
| 837.0ms | 19532× | body | 80 | nan |
| 170.0ms | 2020× | body | 80 | overflowed |
| 124.0ms | 265× | body | 5120 | valid |
| 9.0ms | 100× | pre | 80 | false |
Total 24.3b remaining (17.6%)
Threshold costs 3.5b (2.5%)
| 6.7b | 66.8% | Compound Interest |
| 5.1b | 75.5% | Kahan p9 Example |
| 1.9b | 40.8% | Complex division, real part |
| 1.8b | 46.4% | Complex division, imag part |
| 1.7b | 0% | Rosa's DopplerBench |
| 182× | egg-herbie |
316 calls:
| 410.0ms | (+ (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))) (- (* x1 x1) 1.0))) (* x1 (* x1 (neg 6.0)))) |
| 101.0ms | (+ (* x (- (* (* y (* y 11.0)) (pow x 3)) (* x (+ (pow y 6.0) (+ (* 121.0 (pow y 4.0)) 2.0))))) (+ (* 5.5 (pow y 8.0)) (/ x (* y 2.0)))) |
| 86.0ms | (+ (* (/ 1 (sqrt (+ (* x1 x1) 1.0))) (* (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))) (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (sqrt (+ (* x1 x1) 1.0))))) (* (* x1 x1) (neg 6.0))) |
| 82.0ms | (- (* 9.0 (pow x 4.0)) (pow y 4.0)) |
| 82.0ms | (- (* 9.0 (pow x 4.0)) (pow y 4.0)) |
| 112× | rewrite-expression-head |
316 calls:
| 54.0ms | (+ (* (/ 1 (sqrt (+ (* x1 x1) 1.0))) (* (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))) (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (sqrt (+ (* x1 x1) 1.0))))) (* (* x1 x1) (neg 6.0))) |
| 54.0ms | (+ (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))) (- (* x1 x1) 1.0))) (* x1 (* x1 (neg 6.0)))) |
| 53.0ms | (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0))) (* (* x1 (+ (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0)) (* x1 4.0))) (- (* x1 x1) 1.0))) |
| 50.0ms | (* 100.0 (/ (/ (+ (* 1.0 i) (+ (* n (log 1.0)) (* (* i i) (- 0.5 (* (log 1.0) 0.5))))) i) (/ 1 n))) |
| 43.0ms | (* (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) (+ (* x1 (* 2.0 (- (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0)) 3.0))) (* 4.0 (* x1 x1)))) |
| 3025× | add-sqr-sqrt |
| 2968× | times-frac |
| 2960× | *-un-lft-identity |
| 1979× | add-cube-cbrt |
| 1701× | add-exp-log |
| 1469× | add-cbrt-cube |
| 1040× | pow1 |
| 782× | add-log-exp |
| 760× | associate-*r* |
| 683× | prod-exp |
| 613× | cbrt-unprod |
| 452× | difference-of-squares |
| 402× | associate-*l* |
| 384× | pow-prod-down |
| 378× | sqrt-prod |
| 341× | associate-*r/ |
| 336× | flip-+ flip3-+ |
| 328× | distribute-lft-out |
| 298× | frac-times |
| 293× | div-exp |
| 256× | associate-/l* |
| 253× | associate-/r/ |
| 243× | associate-/r* |
| 240× | unpow-prod-down |
| 237× | cbrt-undiv |
| 223× | distribute-lft-out-- |
| 218× | flip-- flip3-- |
| 214× | div-inv |
| 195× | sum-log |
| 166× | cbrt-prod |
| 163× | associate-*l/ |
| 162× | distribute-rgt-in distribute-lft-in |
| 140× | sqr-pow |
| 132× | sub-neg |
| 119× | cube-prod |
| 116× | frac-sub |
| 110× | sqrt-div |
| 102× | unswap-sqr |
| 81× | diff-log *-commutative |
| 78× | exp-neg |
| 69× | associate-/l/ |
| 68× | neg-sub0 |
| 60× | clear-num frac-2neg |
| 59× | exp-diff |
| 56× | +-commutative |
| 53× | swap-sqr |
| 46× | log-prod |
| 44× | associate-+l+ pow-prod-up |
| 42× | exp-prod |
| 41× | pow-pow |
| 37× | cube-div sqrt-pow1 |
| 36× | frac-add pow1/2 cube-mult |
| 35× | unpow3 |
| 30× | pow-sqr |
| 28× | rem-sqrt-square associate-+r+ |
| 27× | pow-unpow log-pow |
| 26× | pow-exp |
| 25× | 1-exp rec-exp |
| 24× | distribute-rgt-neg-in pow-plus pow1/3 un-div-inv |
| 19× | pow2 distribute-rgt-out-- |
| 16× | pow-to-exp |
| 15× | cbrt-div |
| 14× | distribute-rgt-neg-out |
| 13× | div-sub |
| 11× | rem-log-exp associate-+r- |
| 10× | log-div neg-log associate--r+ |
| 9× | associate--l- rem-cube-cbrt |
| 8× | rem-cbrt-cube |
| 5× | unsub-neg associate-+l- pow-flip |
| 4× | inv-pow associate--l+ sum-cubes rem-exp-log |
| 3× | distribute-rgt-out sub-div |
| 2× | distribute-lft-neg-in neg-mul-1 distribute-rgt1-in |
Loading profile data...