| Date: | Thursday, July 2nd, 2020 |
|---|---|
| Commit: | 4348ca69 on movability-off |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020184 |
| 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 |
| 14.9s | 293350× | body | 80 | valid |
| 6.1s | 14209× | body | 1280 | valid |
| 3.0s | 3855× | body | 2560 | valid |
| 2.7s | 9685× | body | 640 | valid |
| 2.6s | 16838× | body | 160 | valid |
| 2.2s | 100589× | pre | 80 | true |
| 2.0s | 2209× | body | 5120 | exit |
| 1.1s | 7033× | body | 320 | valid |
| 746.0ms | 19469× | body | 80 | nan |
| 103.0ms | 222× | body | 5120 | valid |
| 9.0ms | 100× | pre | 80 | false |
| 180× | egg-herbie |
Total 22.8b remaining (16.6%)
Threshold costs 4.1b (3%)
| 6.5b | 68.8% | Compound Interest |
| 4.7b | 76.2% | Kahan p9 Example |
| 2.2b | 23.2% | Complex division, real part |
| 1.5b | 49.9% | Complex division, imag part |
| 1.3b | 0% | Rosa's DopplerBench |
317 calls:
| 245.0ms | (* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))) |
| 137.0ms | (+ (+ (+ (+ (* (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 (* x1 (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0))))) (+ (* x1 x1) 1.0)) (* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) x1)) x1) (* 3.0 (/ (- (- (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) |
| 93.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)))) |
| 73.0ms | (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 (* x1 (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0))))) |
| 73.0ms | (- (* 9.0 (pow x 4.0)) (pow y 4.0)) |
| 110× | rewrite-expression-head |
317 calls:
| 75.0ms | (+ (+ (+ (+ (* (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 (* x1 (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0))))) (+ (* x1 x1) 1.0)) (* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) x1)) x1) (* 3.0 (/ (- (- (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) |
| 52.0ms | (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* x1 (* x1 (* 4.0 (/ (+ (* x1 (* x1 3.0)) (- (* 2.0 x2) x1)) (+ (* x1 x1) 1.0))))) (* x1 (* x1 (neg 6.0))))) |
| 46.0ms | (* 100.0 (/ (/ (+ (* 1.0 i) (+ (* n (log 1.0)) (* (* i i) (- 0.5 (* (log 1.0) 0.5))))) i) (/ 1 n))) |
| 46.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)))) |
| 38.0ms | (* (* 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)))) |
| 3138× | times-frac |
| 3125× | add-sqr-sqrt |
| 3056× | *-un-lft-identity |
| 2081× | add-cube-cbrt |
| 1908× | add-exp-log |
| 1678× | add-cbrt-cube |
| 893× | pow1 |
| 785× | associate-*r* |
| 772× | prod-exp |
| 746× | add-log-exp |
| 704× | cbrt-unprod |
| 405× | sqrt-prod |
| 401× | difference-of-squares |
| 380× | div-exp |
| 345× | pow-prod-down |
| 327× | cbrt-undiv |
| 324× | associate-/l* |
| 303× | associate-*l* |
| 295× | flip-+ flip3-+ |
| 289× | cbrt-prod |
| 286× | associate-*r/ |
| 283× | distribute-lft-out |
| 266× | associate-/r* |
| 245× | distribute-lft-out-- |
| 209× | associate-/r/ div-inv |
| 199× | unpow-prod-down |
| 198× | flip-- flip3-- |
| 196× | frac-times |
| 189× | sum-log |
| 149× | distribute-rgt-in distribute-lft-in |
| 129× | associate-*l/ |
| 113× | cube-prod |
| 112× | sub-neg |
| 102× | unswap-sqr |
| 94× | frac-sub |
| 93× | sqr-pow |
| 85× | associate-/l/ |
| 77× | sqrt-div |
| 73× | exp-neg |
| 70× | cbrt-div |
| 69× | *-commutative |
| 64× | clear-num diff-log frac-2neg |
| 63× | +-commutative |
| 62× | neg-sub0 |
| 57× | exp-diff |
| 54× | frac-add |
| 53× | swap-sqr |
| 41× | pow1/3 |
| 40× | associate-+r+ |
| 39× | associate-+l+ |
| 38× | log-prod |
| 34× | cube-mult |
| 33× | pow-unpow sqrt-pow1 |
| 29× | pow1/2 pow-pow |
| 26× | unpow3 |
| 24× | rem-sqrt-square exp-prod |
| 23× | 1-exp rec-exp |
| 22× | cube-div pow-to-exp pow-exp |
| 21× | distribute-rgt-neg-in |
| 20× | un-div-inv |
| 17× | log-pow |
| 13× | associate-+r- div-sub |
| 12× | distribute-rgt-neg-out |
| 10× | distribute-rgt-out associate--r+ |
| 8× | associate--l- log-div distribute-rgt1-in pow-sqr pow-prod-up |
| 7× | neg-log |
| 6× | pow2 pow-plus pow-flip |
| 5× | exp-sum inv-pow rem-cbrt-cube |
| 4× | rem-log-exp sqrt-pow2 unsub-neg distribute-rgt-out-- rem-cube-cbrt |
| 3× | difference-cubes rem-exp-log |
| 2× | associate-+l- |
| 1× | distribute-lft-neg-in sqrt-undiv neg-mul-1 sum-cubes unpow2 |
Loading profile data...