| Date: | Tuesday, August 11th, 2020 |
|---|---|
| Commit: | bcfc386d on master |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020224 |
| 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.7s | 8082× | body | 5120 | exit |
| 22.1s | 360365× | body | 80 | valid |
| 7.4s | 15690× | body | 1280 | valid |
| 5.4s | 11306× | body | 1280 | invalid |
| 3.3s | 12333× | body | 640 | valid |
| 2.6s | 8384× | body | 640 | invalid |
| 1.4s | 86950× | pre | 80 | true |
| 1.4s | 7472× | body | 160 | valid |
| 1.1s | 6683× | body | 320 | valid |
| 942.0ms | 17976× | body | 80 | invalid |
| 834.0ms | 3968× | body | 320 | invalid |
| 413.0ms | 1426× | body | 2560 | valid |
| 261.0ms | 1848× | body | 160 | invalid |
| 209.0ms | 577× | body | 5120 | valid |
| 202.0ms | 2321× | body | 80 | nan |
| 97.0ms | 56× | body | 2560 | invalid |
| 1.0ms | 15× | body | 80 | overflowed |
| 260× | egg-herbie |
479 calls:
| 588.0ms | (-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (/.f64 (-.f64 40978925632778085083201753451409/20282409603651670423947251286016 (*.f64 (/.f64 1 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (*.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))) |
| 417.0ms | (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (/.f64 (-.f64 40978925632778085083201753451409/20282409603651670423947251286016 (*.f64 (/.f64 1 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (*.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (-.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))))))) |
| 383.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 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) 1)) |
| 352.0ms | (*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) |
| 223.0ms | (*.f64 (cbrt.f64 (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (*.f64 im -2) (-.f64 (*.f64 -1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5)))))) (cbrt.f64 (*.f64 (*.f64 1/2 (cos.f64 re)) (+.f64 (*.f64 im -2) (-.f64 (*.f64 -1/3 (pow.f64 im 3)) (*.f64 1/60 (pow.f64 im 5))))))) |
| 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 103.5b remaining (38.1%)
Threshold costs 4.6b (1.7%)
| 20.6b | 40.8% | math.sqrt on complex, real part |
| 11.0b | 42% | math.sqrt on complex, imaginary part, im greater than 0 branch |
| 10.5b | 56.9% | math.log10 on complex, real part |
| 10.5b | 57.3% | math.log/2 on complex, real part |
| 10.3b | 57.8% | math.log/1 on complex, real part |
| 162× | rewrite-expression-head |
479 calls:
| 112.0ms | (*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))) |
| 92.0ms | (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z))) |
| 69.0ms | (*.f64 (/.f64 (sqrt.f64 1/2) 1) (/.f64 (sqrt.f64 1/2) (/.f64 (log.f64 10) (log.f64 (+.f64 (*.f64 re re) (*.f64 im im)))))) |
| 67.0ms | (*.f64 (pow.f64 (exp.f64 (fabs.f64 x)) (fabs.f64 x)) (/.f64 (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1/2 (pow.f64 (fabs.f64 x) 3))) (/.f64 3/4 (pow.f64 (fabs.f64 x) 5))) (/.f64 15/8 (pow.f64 (fabs.f64 x) 7))) (sqrt.f64 PI.f64))) |
| 67.0ms | (*.f64 (/.f64 (pow.f64 (exp.f64 (fabs.f64 x)) (fabs.f64 x)) (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1/2 (pow.f64 (fabs.f64 x) 3))) (/.f64 3/4 (pow.f64 (fabs.f64 x) 5))) (/.f64 15/8 (pow.f64 (fabs.f64 x) 7)))) |
| 7269× | times-frac_binary64 |
| 6898× | *-un-lft-identity_binary64 |
| 6034× | add-sqr-sqrt_binary64 |
| 4390× | add-cube-cbrt_binary64 |
| 2388× | add-exp-log_binary64 |
| 1977× | sqrt-prod_binary64 |
| 1888× | add-cbrt-cube_binary64 |
| 1837× | pow1_binary64 |
| 1641× | associate-*r*_binary64 |
| 1258× | associate-*l*_binary64 |
| 1068× | distribute-lft-out_binary64 |
| 767× | prod-exp_binary64 |
| 703× | add-log-exp_binary64 |
| 591× | flip3-+_binary64 flip-+_binary64 |
| 568× | cbrt-unprod_binary64 |
| 564× | div-exp_binary64 |
| 537× | log-pow_binary64 |
| 519× | associate-/r/_binary64 |
| 510× | associate-/r*_binary64 |
| 450× | unpow-prod-down_binary64 |
| 448× | associate-/l*_binary64 |
| 445× | associate-*r/_binary64 |
| 412× | pow-prod-down_binary64 |
| 393× | difference-of-squares_binary64 |
| 389× | cbrt-undiv_binary64 |
| 363× | unswap-sqr_binary64 |
| 357× | div-inv_binary64 |
| 315× | cbrt-prod_binary64 |
| 281× | frac-times_binary64 |
| 264× | cube-prod_binary64 |
| 258× | sqrt-div_binary64 |
| 256× | distribute-lft-out--_binary64 |
| 211× | flip3--_binary64 flip--_binary64 |
| 209× | frac-add_binary64 |
| 200× | sqrt-pow1_binary64 |
| 187× | associate-/l/_binary64 |
| 183× | associate-*l/_binary64 |
| 163× | *-commutative_binary64 |
| 158× | pow1/2_binary64 |
| 148× | swap-sqr_binary64 |
| 143× | cbrt-div_binary64 |
| 138× | sqr-pow_binary64 |
| 103× | log-prod_binary64 |
| 92× | clear-num_binary64 sum-log_binary64 frac-2neg_binary64 |
| 90× | pow1/3_binary64 |
| 73× | exp-prod_binary64 |
| 70× | 1-exp_binary64 |
| 68× | pow-exp_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64 |
| 66× | frac-sub_binary64 |
| 64× | rec-exp_binary64 |
| 58× | pow-to-exp_binary64 |
| 57× | rem-sqrt-square_binary64 |
| 56× | sub-neg_binary64 pow-prod-up_binary64 |
| 54× | difference-of-sqr-1_binary64 |
| 50× | +-commutative_binary64 |
| 46× | cube-mult_binary64 pow-sqr_binary64 |
| 45× | unpow3_binary64 |
| 42× | pow-unpow_binary64 |
| 36× | pow-pow_binary64 |
| 35× | diff-log_binary64 |
| 27× | pow-plus_binary64 |
| 24× | div-sub_binary64 |
| 22× | exp-sum_binary64 pow2_binary64 |
| 19× | log-div_binary64 |
| 16× | exp-diff_binary64 |
| 15× | pow-flip_binary64 associate--l+_binary64 |
| 14× | exp-neg_binary64 |
| 13× | associate-+r+_binary64 |
| 12× | neg-sub0_binary64 |
| 11× | un-div-inv_binary64 |
| 10× | sqrt-unprod_binary64 unpow2_binary64 inv-pow_binary64 |
| 9× | rem-log-exp_binary64 cube-div_binary64 |
| 8× | distribute-lft-neg-in_binary64 associate-+l+_binary64 distribute-rgt-neg-in_binary64 rem-cube-cbrt_binary64 |
| 7× | associate--r+_binary64 |
| 6× | sin-sum_binary64 |
| 4× | difference-of-sqr--1_binary64 |
| 3× | rem-cbrt-cube_binary64 rem-exp-log_binary64 pow-sub_binary64 distribute-rgt-out--_binary64 cos-sum_binary64 |
| 2× | sqrt-undiv_binary64 neg-mul-1_binary64 exp-to-pow_binary64 rem-square-sqrt_binary64 |
| 1× | difference-cubes_binary64 associate-+l-_binary64 sqrt-pow2_binary64 associate-+r-_binary64 pow3_binary64 unpow1/3_binary64 |
Loading profile data...