| Date: | Wednesday, April 15th, 2020 |
|---|---|
| Commit: | b8df7a50 on overflow-detection-both-ends |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020106 |
| Parameters: | 256 points for 4 iterations |
| Flags: | setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback +o rules:numerics |
| 78× | intervals |
| 36.2s | 43587× | body | 1280 | valid |
| 27.1s | 4152× | body | 5120 | exit |
| 12.2s | 30530× | body | 640 | valid |
| 9.1s | 68074× | body | 80 | overflowed |
| 8.8s | 206218× | body | 80 | valid |
| 6.7s | 151735× | body | 80 | nan |
| 5.3s | 27540× | body | 320 | valid |
| 5.2s | 216761× | pre | 80 | true |
| 3.8s | 36146× | body | 160 | valid |
| 1.0s | 3076× | body | 2560 | valid |
| 575.0ms | 3076× | body | 2560 | nan |
| 406.0ms | 2621× | body | 1280 | nan |
| 365.0ms | 16511× | pre | 80 | false |
| 177.0ms | 244× | body | 5120 | valid |
| 170.0ms | 1370× | body | 640 | nan |
| 61.0ms | 659× | body | 320 | nan |
| 20.0ms | 305× | body | 160 | nan |
| 6.0ms | 9× | body | 320 | overflowed |
| 5.0ms | 13× | body | 160 | overflowed |
| 4.0ms | 2× | body | 1280 | overflowed |
| 2.0ms | 2× | body | 640 | overflowed |
486 calls:
| 2.1s | (pow (exp (* (cbrt (log (fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2))))))) (cbrt (log (fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2))))))))) (cbrt (log (fma (fma x x x) 2.0 (- (log 1.0) (* 2.0 (/ (pow x 2) (pow 1.0 2)))))))) |
| 815.0ms | (/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))) |
| 791.0ms | (/ (fma (cos delta) (cos delta) (- (* (pow (sin phi1) 2) (* (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))))))) (fma (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (cos delta))) |
| 775.0ms | (/ (fma (cos delta) (cos delta) (- (* (pow (sin phi1) 2) (pow (fma (sin delta) (* (cos phi1) (cos theta)) (* (sin phi1) (cos delta))) 2)))) (fma (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta))))) (cos delta))) |
| 762.0ms | (/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (fma (log 0.5) c_p (fma 0.5 (* t c_p) 1)) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))) |
| 225× | egg-herbie |
Total 34.4b remaining (26%)
Threshold costs 6.7b (5.1%)
| 5.7b | 59.7% | Cubic critical, narrow range |
| 5.2b | 48.7% | Quotient of products |
| 4.8b | 30.2% | Cubic critical, medium range |
| 4.8b | 82.8% | Quadratic roots, full range |
| 3.4b | 0% | Cubic critical, wide range |
| 147× | rewrite-expression-head |
486 calls:
| 91.0ms | (- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0) |
| 88.0ms | (log (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0))))) |
| 74.0ms | (+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4)))) |
| 74.0ms | (+ (log 2) (- (- (log x) (/ (/ 0.25 x) x)) (/ 0.09375 (pow x 4)))) |
| 71.0ms | (exp (- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))) |
| 12839× | *-un-lft-identity |
| 11232× | times-frac |
| 10784× | add-sqr-sqrt |
| 7986× | add-cube-cbrt |
| 5978× | prod-diff |
| 2845× | add-exp-log |
| 1907× | sqrt-prod |
| 1764× | add-cbrt-cube |
| 1495× | distribute-lft-out |
| 1146× | pow1 |
| 1120× | difference-of-squares |
| 1017× | prod-exp |
| 1000× | distribute-lft-out-- |
| 970× | unpow-prod-down |
| 949× | exp-sum |
| 912× | associate-*r* |
| 873× | cbrt-prod |
| 832× | div-exp |
| 783× | associate-+r+ |
| 766× | associate-/r/ |
| 740× | add-log-exp |
| 660× | log-prod |
| 645× | associate-/l* |
| 624× | div-inv |
| 570× | associate--l+ |
| 551× | cube-prod |
| 511× | fma-neg |
| 491× | distribute-rgt-neg-in |
| 490× | log1p-expm1-u expm1-log1p-u |
| 457× | associate-/r* |
| 433× | cbrt-unprod |
| 414× | cbrt-undiv |
| 399× | log-pow |
| 366× | distribute-lft-neg-in |
| 351× | pow-exp |
| 336× | associate-*l* |
| 324× | flip-+ |
| 323× | flip3-+ |
| 314× | flip-- |
| 313× | flip3-- |
| 256× | pow-to-exp |
| 234× | fma-def |
| 233× | sqr-pow |
| 228× | distribute-rgt-in distribute-lft-in |
| 184× | sqrt-div |
| 162× | unswap-sqr |
| 139× | pow-prod-down |
| 131× | associate-*r/ |
| 122× | neg-mul-1 |
| 117× | clear-num frac-2neg |
| 107× | cbrt-div |
| 105× | sub-neg |
| 100× | sqrt-pow1 |
| 98× | exp-prod |
| 97× | associate-/l/ |
| 96× | associate-*l/ |
| 91× | *-commutative |
| 87× | diff-log |
| 77× | frac-times |
| 70× | pow1/2 |
| 68× | unpow3 cube-mult |
| 57× | cos-sum |
| 53× | sum-log |
| 51× | div-sub |
| 49× | unpow2 1-exp |
| 47× | rec-exp |
| 45× | sin-sum |
| 43× | log-div |
| 42× | pow1/3 |
| 41× | pow-unpow |
| 40× | cube-div distribute-rgt-out |
| 37× | frac-sub |
| 34× | +-commutative |
| 30× | pow-pow |
| 29× | rem-sqrt-square neg-sub0 |
| 27× | swap-sqr |
| 24× | tan-quot |
| 22× | associate-+l- |
| 21× | rem-log-exp |
| 19× | fma-udef |
| 18× | associate--l- neg-log sin-diff |
| 17× | cos-diff |
| 16× | associate-+l+ expm1-udef |
| 13× | frac-add sin-mult |
| 11× | rem-exp-log pow-flip |
| 10× | acos-asin |
| 9× | associate-+r- pow-sqr expm1-log1p distribute-frac-neg pow-prod-up |
| 8× | un-div-inv pow2 pow-plus cos-mult |
| 7× | sin-cos-mult |
| 6× | rem-cube-cbrt acos-neg log1p-udef distribute-lft1-in inv-pow |
| 5× | exp-diff difference-cubes log1p-expm1 |
| 4× | pow3 distribute-rgt1-in asin-acos distribute-rgt-neg-out |
| 3× | unpow-prod-up rem-cbrt-cube associate--r+ |
| 2× | count-2 hypot-udef hypot-def exp-to-pow |
| 1× | e-exp-1 sqrt-unprod exp-neg sum-cubes sqr-sin unsub-neg associate--r- distribute-rgt-out-- |