| Date: | Friday, July 17th, 2020 |
|---|---|
| Commit: | 5d628957 on release-1.4 |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020199 |
| Parameters: | 256 points for 4 iterations |
| Flags: | setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback default |
| 99× | intervals |
| 47.5s | 7856× | body | 5120 | exit |
| 21.6s | 360280× | body | 80 | valid |
| 7.5s | 15857× | body | 1280 | valid |
| 5.4s | 11047× | body | 1280 | invalid |
| 3.3s | 12369× | body | 640 | valid |
| 2.7s | 8855× | body | 640 | invalid |
| 1.5s | 86751× | pre | 80 | true |
| 1.4s | 7589× | body | 160 | valid |
| 1.1s | 6465× | body | 320 | valid |
| 953.0ms | 17763× | body | 80 | invalid |
| 827.0ms | 3918× | body | 320 | invalid |
| 404.0ms | 1419× | body | 2560 | valid |
| 273.0ms | 1823× | body | 160 | invalid |
| 207.0ms | 2335× | body | 80 | nan |
| 197.0ms | 565× | body | 5120 | valid |
| 82.0ms | 46× | body | 2560 | invalid |
| 0.0ms | 11× | body | 80 | overflowed |
460 calls:
| 868.0ms | (- (pow 1.0 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (/ (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (pow (fabs x) 2)))) 3)) |
| 446.0ms | (* (+ alpha beta) (* (/ 1 (+ beta (+ alpha (* 2.0 i)))) (/ (/ (- beta alpha) (sqrt (+ alpha (+ beta (+ 2.0 (* 2.0 i)))))) (sqrt (+ beta (+ alpha (+ 2.0 (* 2.0 i)))))))) |
| 440.0ms | (* (/ (+ alpha beta) (+ alpha (+ beta (* 2.0 i)))) (/ (/ (- beta alpha) (sqrt (+ alpha (+ beta (+ 2.0 (* 2.0 i)))))) (sqrt (+ beta (+ alpha (+ 2.0 (* 2.0 i))))))) |
| 397.0ms | (* (* (/ i (+ alpha (+ beta (* i 2.0)))) (+ i (+ alpha beta))) (* (/ 1 (+ alpha (+ beta (* i 2.0)))) (* (/ (sqrt (+ (* i (+ i (+ alpha beta))) (* alpha beta))) (+ alpha (+ beta (+ (* i 2.0) (sqrt 1.0))))) (/ (sqrt (+ (* i (+ i (+ alpha beta))) (* alpha beta))) (+ alpha (+ beta (- (* i 2.0) (sqrt 1.0)))))))) |
| 396.0ms | (* (/ (* (+ i (+ alpha beta)) (/ i (+ alpha (+ beta (* i 2.0))))) (+ alpha (+ beta (* i 2.0)))) (* (/ (sqrt (+ (* i (+ i (+ alpha beta))) (* alpha beta))) (+ alpha (+ beta (+ (* i 2.0) (sqrt 1.0))))) (/ (sqrt (+ (* i (+ i (+ alpha beta))) (* alpha beta))) (+ alpha (+ beta (- (* i 2.0) (sqrt 1.0))))))) |
| 50× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 87.1% | 12.9% | 0 |
| 2.5% | 84.6% | 12.9% | 1 |
| 9.3% | 75.6% | 15.1% | 2 |
| 22.1% | 62.3% | 15.6% | 3 |
| 27.1% | 55.4% | 17.4% | 4 |
| 36.3% | 45.6% | 18.1% | 5 |
| 39.7% | 40.6% | 19.7% | 6 |
| 44.2% | 33.4% | 22.4% | 7 |
| 47.6% | 29.3% | 23.1% | 8 |
| 50.7% | 25.2% | 24.1% | 9 |
| 53.2% | 21.6% | 25.2% | 10 |
| 55.3% | 18.7% | 26% | 11 |
| 57.2% | 16.3% | 26.5% | 12 |
| 59.1% | 13.6% | 27.4% | 13 |
| 60.1% | 12.2% | 27.7% | 14 |
| 251× | egg-herbie |
Total 98.3b remaining (35.8%)
Threshold costs 4.2b (1.5%)
| 153× | rewrite-expression-head |
460 calls:
| 206.0ms | (* (exp (- z (+ 7.0 0.5))) (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))))))) |
| 164.0ms | (* (/ (+ alpha beta) (+ alpha (+ beta (* 2.0 i)))) (/ (/ (- beta alpha) (sqrt (+ alpha (+ beta (+ 2.0 (* 2.0 i)))))) (sqrt (+ beta (+ alpha (+ 2.0 (* 2.0 i))))))) |
| 147.0ms | (/ (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) 0.9999999999998099))))) (exp (+ 7.0 0.5))) |
| 126.0ms | (log (exp (/ (+ (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) 0.9999999999998099)))))))) (exp (+ 7.0 0.5))))) |
| 118.0ms | (- (log (+ (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) 0.9999999999998099))))))))) (+ 7.0 0.5)) |
| 8846× | *-un-lft-identity |
| 6568× | times-frac |
| 5659× | add-sqr-sqrt |
| 3863× | add-cube-cbrt |
| 3080× | add-exp-log |
| 2714× | distribute-lft-out |
| 2425× | sqrt-prod |
| 2213× | add-cbrt-cube |
| 1459× | associate-*r* |
| 1438× | pow1 |
| 1296× | prod-exp |
| 968× | associate-*l* |
| 824× | cbrt-unprod |
| 814× | add-log-exp |
| 641× | flip-+ flip3-+ |
| 637× | div-exp |
| 609× | associate-/l* |
| 504× | unpow-prod-down |
| 502× | difference-of-squares |
| 488× | cbrt-prod |
| 438× | cbrt-undiv |
| 431× | frac-add |
| 383× | associate-/r/ |
| 369× | associate-*r/ |
| 364× | associate-/r* |
| 353× | distribute-lft-out-- |
| 341× | pow-prod-down |
| 320× | frac-times |
| 315× | sqrt-div |
| 293× | unswap-sqr |
| 274× | cube-prod |
| 259× | log-pow |
| 234× | div-inv |
| 204× | associate-*l/ |
| 177× | sqrt-pow1 |
| 176× | sum-log |
| 160× | sqr-pow |
| 156× | cbrt-div |
| 146× | associate-/l/ |
| 144× | pow-exp |
| 141× | *-commutative |
| 119× | pow1/2 |
| 117× | exp-prod |
| 104× | flip-- flip3-- |
| 87× | log-prod |
| 83× | pow-to-exp swap-sqr |
| 80× | clear-num frac-2neg |
| 78× | pow-unpow |
| 76× | distribute-rgt-in distribute-lft-in |
| 67× | pow-prod-up |
| 59× | +-commutative 1-exp rec-exp |
| 57× | exp-sum rem-sqrt-square |
| 56× | sub-neg |
| 53× | pow-pow |
| 52× | pow1/3 |
| 46× | diff-log |
| 43× | pow-sqr |
| 38× | cube-mult unpow3 |
| 28× | div-sub |
| 27× | cube-div pow-plus |
| 25× | log-div |
| 23× | associate--l+ |
| 22× | pow2 |
| 20× | frac-sub |
| 18× | rem-cube-cbrt |
| 17× | associate--l- |
| 14× | associate-+r+ |
| 13× | associate--r+ |
| 8× | associate-+l+ |
| 7× | unpow2 |
| 6× | difference-cubes inv-pow sin-sum pow-flip exp-diff |
| 5× | rem-log-exp associate-+r- un-div-inv rem-cbrt-cube rem-exp-log |
| 4× | sub-div sqr-cos-a cos-mult |
| 3× | rem-square-sqrt sqrt-pow2 sqrt-unprod associate-+l- |
| 2× | cos-sum pow-div |
| 1× | exp-to-pow associate--r- sum-cubes distribute-rgt-out-- |
Loading profile data...