| Date: | Wednesday, May 27th, 2020 |
|---|---|
| Commit: | c82eb183 on master |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020148 |
| 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 |
| 71× | intervals |
| 10.9s | 284630× | body | 80 | valid |
| 5.8s | 14318× | body | 1280 | valid |
| 2.8s | 3792× | body | 2560 | valid |
| 2.2s | 9520× | body | 640 | valid |
| 1.9s | 92588× | pre | 80 | true |
| 895.0ms | 6933× | body | 320 | valid |
| 677.0ms | 19195× | body | 80 | nan |
| 602.0ms | 8942× | body | 160 | valid |
| 268.0ms | 200× | body | 5120 | exit |
| 131.0ms | 2011× | body | 80 | overflowed |
| 105.0ms | 240× | body | 5120 | valid |
| 4.0ms | 100× | pre | 80 | false |
| 178× | egg-herbie |
Total 19.5b remaining (5.4%)
Threshold costs 4.9b (1.3%)
| 5.6b | 69.2% | Compound Interest |
| 3.0b | 0% | Complex division, real part |
| 2.5b | 12.8% | Complex division, imag part |
| 1.4b | 0% | Rosa's DopplerBench |
| 1.1b | 95.3% | The quadratic formula (r1) |
311 calls:
| 103.0ms | (/ (- (* (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b)) (* a a)) (- (+ (+ (+ e d) c) b) a)) |
| 99.0ms | (cbrt (+ (* (* (* 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 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) |
| 95.0ms | (cbrt (+ (* (* (* 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 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) |
| 95.0ms | (cbrt (+ (* (* (* 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 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) |
| 75.0ms | (- (* 9.0 (pow x 4.0)) (pow y 4.0)) |
| 110× | rewrite-expression-head |
311 calls:
| 147.0ms | (- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))))) |
| 81.0ms | (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) |
| 63.0ms | (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))) |
| 54.0ms | (* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) |
| 50.0ms | (+ (* 1.0 (- (/ 1 (pow x 5)) (/ 1 (pow x 3)))) (/ 1 x)) |
| 6617× | frac-times |
| 5650× | associate-*l/ |
| 4547× | times-frac |
| 3848× | *-un-lft-identity |
| 3748× | add-sqr-sqrt |
| 3591× | flip3-- flip-- |
| 2858× | associate-*r/ |
| 2597× | flip-+ flip3-+ |
| 2424× | add-cube-cbrt |
| 2245× | frac-sub |
| 1819× | add-exp-log |
| 1429× | add-cbrt-cube |
| 771× | pow1 |
| 754× | unpow-prod-down |
| 752× | cbrt-div |
| 716× | add-log-exp |
| 690× | associate-*r* |
| 566× | prod-exp |
| 509× | difference-of-squares |
| 503× | div-exp |
| 477× | associate-/r/ |
| 466× | associate-/r* |
| 458× | cbrt-unprod |
| 447× | distribute-lft-out |
| 409× | sqrt-prod |
| 398× | cbrt-prod |
| 355× | associate-*l* |
| 335× | associate-/l* |
| 323× | cbrt-undiv |
| 310× | distribute-lft-out-- |
| 303× | frac-add |
| 288× | sqr-pow |
| 280× | div-inv |
| 191× | pow-prod-down |
| 184× | cube-prod |
| 165× | unpow2 |
| 154× | sum-log |
| 145× | unswap-sqr |
| 129× | swap-sqr |
| 96× | sub-neg |
| 85× | log-prod |
| 82× | diff-log associate-/l/ |
| 81× | sqrt-div |
| 74× | exp-neg |
| 71× | pow-exp |
| 70× | *-commutative |
| 69× | pow-to-exp |
| 67× | distribute-rgt-in distribute-lft-in neg-sub0 |
| 66× | clear-num frac-2neg |
| 63× | distribute-rgt-neg-in |
| 56× | exp-diff |
| 53× | sqrt-pow1 |
| 42× | 1-exp rec-exp |
| 40× | +-commutative |
| 39× | pow-unpow |
| 38× | pow1/3 |
| 37× | exp-prod |
| 35× | distribute-lft-neg-in |
| 33× | pow1/2 |
| 31× | associate-+l+ |
| 30× | pow-prod-up |
| 29× | log-pow |
| 28× | div-sub |
| 26× | pow-sqr |
| 21× | associate-+r+ |
| 20× | un-div-inv pow-pow |
| 19× | unpow3 cube-mult |
| 18× | rem-sqrt-square log-div |
| 17× | pow-plus |
| 16× | cube-div pow2 rem-log-exp |
| 14× | associate--r+ |
| 13× | neg-mul-1 |
| 11× | distribute-rgt-out-- neg-log |
| 9× | inv-pow pow-flip |
| 8× | exp-sum |
| 7× | associate--l- rem-cbrt-cube associate-+l- associate--l+ |
| 6× | rem-exp-log distribute-lft-neg-out |
| 5× | rem-cube-cbrt associate-+r- |
| 3× | difference-cubes unsub-neg distribute-frac-neg |
| 2× | sqrt-pow2 distribute-rgt-out |
| 1× | distribute-lft1-in sqrt-unprod sub-div rem-square-sqrt +-inverses associate--r- exp-to-pow |
Loading profile data...