| Date: | Thursday, July 2nd, 2020 |
|---|---|
| Commit: | b33883dc on report-fixes |
| 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 |
| 18× | intervals |
| 3.5s | 82030× | body | 80 | valid |
| 1.9s | 55487× | body | 80 | nan |
| 720.0ms | 4109× | body | 1280 | valid |
| 0.0ms | 9× | body | 160 | valid |
| 44× | egg-herbie |
Total 2.9b remaining (20.1%)
Threshold costs 0.6b (4.2%)
| 1.2b | 92% | jeff quadratic root 2 |
| 1.1b | 92% | jeff quadratic root 1 |
| 0.4b | 0% | sqrt times |
| 0.2b | 89% | fabs fraction 1 |
| 0.0b | 0% | subtraction fraction |
72 calls:
| 38.0ms | (* (cbrt (/ (- (neg f) n) (- f n))) (cbrt (/ (- (neg f) n) (- f n)))) |
| 32.0ms | (- (* (fabs (cbrt (- (* b b) (* c (* 4.0 a))))) (sqrt (cbrt (- (* b b) (* c (* 4.0 a)))))) b) |
| 31.0ms | (+ (neg b) (* (fabs (cbrt (- (* b b) (* 4.0 (* a c))))) (sqrt (cbrt (- (* b b) (* 4.0 (* a c))))))) |
| 27.0ms | (cbrt (- (* b b) (* c (* 4.0 a)))) |
| 27.0ms | (cbrt (- (* b b) (* c (* 4.0 a)))) |
| 26× | rewrite-expression-head |
72 calls:
| 45.0ms | (* (cbrt (/ (- (neg f) n) (- f n))) (cbrt (/ (- (neg f) n) (- f n)))) |
| 22.0ms | (* (sqrt (cbrt (- (/ 1.0 x) 1.0))) (sqrt (cbrt (- (/ 1.0 x) 1.0)))) |
| 13.0ms | (* (/ -1 (- f n)) (+ f n)) |
| 12.0ms | (+ (* (log (cbrt (- (/ 1.0 x) 1.0))) 2) (log (cbrt (- (/ 1.0 x) 1.0)))) |
| 11.0ms | (/ (neg (+ f n)) (- f n)) |
| 1190× | *-un-lft-identity |
| 915× | add-sqr-sqrt |
| 727× | times-frac |
| 454× | add-cube-cbrt |
| 412× | cbrt-prod |
| 285× | distribute-lft-out-- |
| 176× | difference-of-squares |
| 133× | pow1 |
| 129× | add-exp-log |
| 126× | add-cbrt-cube |
| 125× | associate-*l* |
| 121× | sqrt-prod |
| 109× | swap-sqr |
| 108× | add-log-exp |
| 97× | distribute-rgt-neg-in |
| 88× | associate-*r* |
| 66× | flip-- flip3-- |
| 64× | associate-/r* |
| 56× | distribute-lft-out associate-/l* |
| 50× | cbrt-div sqrt-div |
| 35× | sqrt-pow1 |
| 33× | unswap-sqr |
| 31× | pow1/3 associate-/r/ |
| 28× | pow1/2 |
| 26× | div-inv |
| 24× | distribute-lft-neg-in log-prod |
| 19× | div-exp |
| 17× | cbrt-undiv rem-sqrt-square |
| 16× | pow-prod-down |
| 15× | diff-log unpow-prod-down |
| 14× | prod-exp sub-neg associate-/l/ associate-*l/ cbrt-unprod |
| 12× | associate-*r/ flip-+ flip3-+ |
| 10× | clear-num frac-2neg |
| 9× | associate-+r+ *-commutative |
| 8× | pow-prod-up |
| 7× | frac-times exp-prod |
| 6× | log-div neg-mul-1 pow-sqr |
| 5× | neg-sub0 div-sub sqr-pow |
| 4× | neg-log pow-pow |
| 3× | associate--l- distribute-rgt-in pow-unpow sum-log distribute-lft-in log-pow |
| 2× | rem-log-exp pow2 exp-sum pow-to-exp pow-exp +-commutative frac-sub associate-+r- pow-plus sqrt-unprod sub-div distribute-neg-frac rem-exp-log |
| 1× | rem-square-sqrt distribute-frac-neg associate-+l- exp-diff |
Loading profile data...