| Date: | Thursday, July 23rd, 2020 |
|---|---|
| Commit: | c653a889 on reprify |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020205 |
| 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 |
| 48.9s | 7941× | body | 5120 | exit |
| 21.7s | 360042× | body | 80 | valid |
| 7.6s | 15927× | body | 1280 | valid |
| 5.4s | 11309× | body | 1280 | invalid |
| 3.3s | 12507× | body | 640 | valid |
| 2.6s | 8592× | body | 640 | invalid |
| 1.4s | 86866× | pre | 80 | true |
| 1.4s | 7441× | body | 160 | valid |
| 1.1s | 6649× | body | 320 | valid |
| 926.0ms | 18170× | body | 80 | invalid |
| 866.0ms | 4121× | body | 320 | invalid |
| 399.0ms | 1452× | body | 2560 | valid |
| 262.0ms | 1857× | body | 160 | invalid |
| 214.0ms | 2461× | body | 80 | nan |
| 178.0ms | 526× | body | 5120 | valid |
| 60.0ms | 35× | body | 2560 | invalid |
| 1.0ms | 15× | body | 80 | overflowed |
460 calls:
| 608.0ms | (*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2.0))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2.0)) (sqrt.f64 1.0))) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2.0))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2.0)) (sqrt.f64 1.0)))) |
| 503.0ms | (log.f64 (-.f64 1.0 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (/.f64 (+.f64 0.254829592 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -0.284496736 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 1.421413741 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -1.453152027 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) 1.061405429)))))))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))) |
| 467.0ms | (/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2.0 i)) (+.f64 (+.f64 alpha beta) (*.f64 2.0 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2.0 i)) (+.f64 (+.f64 alpha beta) (*.f64 2.0 i))) 1.0)) |
| 297.0ms | (exp.f64 (log.f64 (-.f64 1.0 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (/.f64 (+.f64 0.254829592 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -0.284496736 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 1.421413741 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -1.453152027 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) 1.061405429)))))))) (exp.f64 (pow.f64 (fabs.f64 x) 2))))))) |
| 296.0ms | (log.f64 (exp.f64 (-.f64 1.0 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (/.f64 (+.f64 0.254829592 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -0.284496736 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 1.421413741 (log.f64 (exp.f64 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -1.453152027 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) 1.061405429)))))))))) (exp.f64 (pow.f64 (fabs.f64 x) 2))))))) |
| 254× | egg-herbie |
| 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 |
Total 109.5b remaining (42.3%)
Threshold costs 4.6b (1.8%)
| 14.0b | 47.7% | math.sqrt on complex, real part |
| 12.2b | 25.6% | Octave 3.8, jcobi/4 |
| 11.2b | 54.1% | math.log/2 on complex, real part |
| 10.7b | 54.2% | math.abs on complex |
| 10.5b | 57.7% | math.log10 on complex, real part |
| 156× | rewrite-expression-head |
460 calls:
| 149.0ms | (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (-.f64 2.0 z) (+.f64 (pow.f64 0.9999999999998099 3) (pow.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) 3))) (*.f64 -1259.1392167224028 (+.f64 (*.f64 0.9999999999998099 0.9999999999998099) (*.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) (-.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) 0.9999999999998099))))) (-.f64 3.0 z)) (*.f64 (+.f64 (*.f64 0.9999999999998099 0.9999999999998099) (*.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) (-.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) 0.9999999999998099))) (*.f64 (-.f64 2.0 z) 771.3234287776531))) (*.f64 (+.f64 (*.f64 0.9999999999998099 0.9999999999998099) (*.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) (-.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) 0.9999999999998099))) (*.f64 (-.f64 2.0 z) (-.f64 3.0 z)))) (/.f64 -176.6150291621406 (-.f64 4.0 z))) (/.f64 12.507343278686905 (-.f64 5.0 z))) (/.f64 -0.13857109526572012 (-.f64 6.0 z))) (/.f64 9.984369578019572e-06 (-.f64 7.0 z))) (/.f64 1.5056327351493116e-07 (-.f64 8.0 z))) (exp.f64 (+.f64 (-.f64 7.0 z) 0.5))) |
| 120.0ms | (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 0.9999999999998099 (/.f64 676.5203681218851 (-.f64 1.0 z))) (/.f64 -1259.1392167224028 (-.f64 2.0 z))) (/.f64 771.3234287776531 (-.f64 3.0 z))) (/.f64 -176.6150291621406 (-.f64 4.0 z))) (/.f64 12.507343278686905 (-.f64 5.0 z))) (/.f64 -0.13857109526572012 (-.f64 6.0 z))) (/.f64 9.984369578019572e-06 (-.f64 7.0 z))) (/.f64 1.5056327351493116e-07 (-.f64 8.0 z))) (exp.f64 (+.f64 (-.f64 7.0 z) 0.5))) |
| 117.0ms | (log.f64 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 -1259.1392167224028 (-.f64 2.0 z)) (+.f64 0.9999999999998099 (/.f64 676.5203681218851 (-.f64 1.0 z)))) (/.f64 771.3234287776531 (-.f64 3.0 z))) (/.f64 -176.6150291621406 (-.f64 4.0 z))) (/.f64 12.507343278686905 (-.f64 5.0 z))) (/.f64 -0.13857109526572012 (-.f64 6.0 z))) (/.f64 9.984369578019572e-06 (-.f64 7.0 z))) (/.f64 1.5056327351493116e-07 (-.f64 8.0 z))) (exp.f64 (+.f64 (-.f64 7.0 z) 0.5))))) |
| 104.0ms | (*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2.0))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2.0)) (sqrt.f64 1.0))) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2.0))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2.0)) (sqrt.f64 1.0)))) |
| 88.0ms | (*.f64 (+.f64 alpha beta) (/.f64 1 (/.f64 (+.f64 2.0 (+.f64 (+.f64 alpha beta) (*.f64 2.0 i))) (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2.0 i)))))) |
| 6300× | *-un-lft-identity_binary64 |
| 6293× | times-frac_binary64 |
| 5428× | add-sqr-sqrt_binary64 |
| 3948× | add-cube-cbrt_binary64 |
| 1920× | add-exp-log_binary64 |
| 1499× | add-cbrt-cube_binary64 |
| 1450× | associate-*r*_binary64 |
| 1405× | pow1_binary64 |
| 1392× | sqrt-prod_binary64 |
| 1097× | distribute-lft-out_binary64 |
| 1033× | associate-*r/_binary64 |
| 912× | associate-*l*_binary64 |
| 879× | flip3-+_binary64 flip-+_binary64 |
| 669× | sqrt-div_binary64 |
| 667× | add-log-exp_binary64 |
| 560× | prod-exp_binary64 |
| 505× | frac-add_binary64 |
| 487× | associate-/l*_binary64 |
| 482× | associate-/r*_binary64 |
| 468× | frac-times_binary64 |
| 457× | associate-/r/_binary64 |
| 425× | unpow-prod-down_binary64 |
| 415× | cbrt-unprod_binary64 |
| 409× | cbrt-prod_binary64 |
| 398× | div-exp_binary64 |
| 330× | difference-of-squares_binary64 |
| 322× | pow-prod-down_binary64 |
| 310× | unswap-sqr_binary64 |
| 277× | div-inv_binary64 |
| 263× | log-pow_binary64 |
| 257× | cbrt-undiv_binary64 |
| 253× | distribute-lft-out--_binary64 |
| 188× | sqrt-pow1_binary64 |
| 187× | associate-*l/_binary64 |
| 177× | cbrt-div_binary64 |
| 143× | swap-sqr_binary64 |
| 139× | *-commutative_binary64 |
| 137× | associate-/l/_binary64 |
| 133× | pow1/2_binary64 |
| 132× | flip3--_binary64 flip--_binary64 |
| 130× | sqr-pow_binary64 |
| 122× | exp-prod_binary64 |
| 102× | pow1/3_binary64 cube-prod_binary64 |
| 92× | log-prod_binary64 |
| 87× | pow-exp_binary64 |
| 85× | clear-num_binary64 sum-log_binary64 frac-2neg_binary64 |
| 71× | pow-unpow_binary64 |
| 63× | rem-sqrt-square_binary64 |
| 61× | distribute-rgt-in_binary64 distribute-lft-in_binary64 |
| 56× | pow-prod-up_binary64 |
| 54× | exp-sum_binary64 |
| 53× | pow-to-exp_binary64 |
| 50× | +-commutative_binary64 |
| 46× | rec-exp_binary64 1-exp_binary64 |
| 45× | pow-pow_binary64 |
| 44× | sub-neg_binary64 pow-sqr_binary64 |
| 28× | log-div_binary64 |
| 27× | diff-log_binary64 unpow3_binary64 cube-mult_binary64 |
| 23× | associate-+r+_binary64 div-sub_binary64 |
| 20× | rem-log-exp_binary64 |
| 19× | cube-div_binary64 pow-plus_binary64 pow2_binary64 |
| 14× | exp-diff_binary64 |
| 13× | un-div-inv_binary64 |
| 9× | associate-+l+_binary64 |
| 8× | pow-sub_binary64 |
| 7× | associate-+l-_binary64 associate--r+_binary64 |
| 6× | rem-exp-log_binary64 sin-sum_binary64 |
| 5× | rem-cbrt-cube_binary64 pow-flip_binary64 inv-pow_binary64 |
| 4× | sqrt-unprod_binary64 exp-to-pow_binary64 rem-cube-cbrt_binary64 rem-square-sqrt_binary64 |
| 3× | unpow2_binary64 associate--l+_binary64 |
| 2× | associate-+r-_binary64 frac-sub_binary64 exp-neg_binary64 |
| 1× | sqrt-undiv_binary64 neg-sub0_binary64 unpow-prod-up_binary64 associate--r-_binary64 distribute-rgt-out--_binary64 cos-sum_binary64 |
Loading profile data...