| Date: | Tuesday, August 18th, 2020 |
|---|---|
| Commit: | e43305aa on cleanup |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020231 |
| 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 |
Time bar (total: 4.3min)
| 86× | intervals |
| 49.9s | 8096× | body | 5120 | exit |
| 16.3s | 260922× | body | 80 | valid |
| 7.1s | 14678× | body | 1280 | valid |
| 3.1s | 11410× | body | 640 | valid |
| 2.5s | 7112× | body | 1280 | invalid |
| 1.5s | 6333× | body | 640 | invalid |
| 1.3s | 78953× | pre | 80 | true |
| 1.2s | 7350× | body | 160 | valid |
| 1.0s | 6126× | body | 320 | valid |
| 666.0ms | 11643× | body | 80 | invalid |
| 511.0ms | 3065× | body | 320 | invalid |
| 184.0ms | 2062× | body | 80 | nan |
| 184.0ms | 1593× | body | 160 | invalid |
| 11.0ms | 37× | body | 2560 | valid |
| 7.0ms | 21× | body | 5120 | valid |
| 5.0ms | 3× | body | 2560 | invalid |
| 0.0ms | 14× | body | 80 | overflowed |
Compiled 15550 to 11430 computations (26.5% saved)
Compiled 803275 to 528931 computations (34.2% saved)
| 207× | egg-herbie |
333 calls:
| 1.0s | (-.f64 1 (*.f64 (sqrt.f64 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.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))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (exp.f64 (pow.f64 (fabs.f64 x) 2))) 3)) (sqrt.f64 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.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))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (exp.f64 (pow.f64 (fabs.f64 x) 2))) 3)))) |
| 1.0s | (-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.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))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (exp.f64 (pow.f64 (fabs.f64 x) 2))) 3)) |
| 1.0s | (-.f64 1 (*.f64 (sqrt.f64 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.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))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (exp.f64 (pow.f64 (fabs.f64 x) 2))) 3)) (sqrt.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (cbrt.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) 3) (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.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))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (cbrt.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (exp.f64 (pow.f64 (fabs.f64 x) 2))) 3))))) |
| 772.0ms | (pow.f64 (pow.f64 (+.f64 (*.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i))))) 1) 3) 1/3) |
| 464.0ms | (*.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.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))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (exp.f64 (pow.f64 (fabs.f64 x) 2))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.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))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (exp.f64 (pow.f64 (fabs.f64 x) 2))))) |
| 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 |
Compiled 1389 to 949 computations (31.7% saved)
| 122× | rewrite-expression-head |
| 6440× | *-un-lft-identity_binary64 |
| 5749× | times-frac_binary64 |
| 4772× | add-sqr-sqrt_binary64 |
| 3298× | add-cube-cbrt_binary64 |
| 1708× | add-exp-log_binary64 |
| 1441× | add-cbrt-cube_binary64 |
| 1376× | distribute-lft-out_binary64 |
| 1225× | associate-*r*_binary64 |
| 1192× | pow1_binary64 |
| 994× | sqrt-prod_binary64 |
| 913× | associate-*l*_binary64 |
| 605× | unpow-prod-down_binary64 |
| 554× | add-log-exp_binary64 |
| 545× | prod-exp_binary64 |
| 487× | flip3-+_binary64 flip-+_binary64 |
| 463× | cube-prod_binary64 |
| 438× | associate-/r/_binary64 |
| 427× | difference-of-squares_binary64 |
| 419× | associate-/r*_binary64 |
| 416× | div-exp_binary64 |
| 402× | cbrt-unprod_binary64 |
| 376× | cbrt-prod_binary64 |
| 338× | associate-/l*_binary64 |
| 335× | swap-sqr_binary64 |
| 331× | cbrt-undiv_binary64 |
| 295× | associate-*r/_binary64 |
| 285× | div-inv_binary64 |
| 253× | log-pow_binary64 |
| 235× | frac-times_binary64 |
| 232× | distribute-lft-out--_binary64 |
| 223× | unswap-sqr_binary64 |
| 211× | pow-prod-down_binary64 |
| 157× | associate-*l/_binary64 |
| 119× | frac-add_binary64 |
| 118× | cbrt-div_binary64 |
| 105× | *-commutative_binary64 |
| 100× | associate-/l/_binary64 |
| 95× | sum-log_binary64 |
| 93× | sqr-pow_binary64 |
| 84× | pow-prod-up_binary64 |
| 81× | pow-unpow_binary64 |
| 78× | clear-num_binary64 pow1/3_binary64 frac-2neg_binary64 |
| 77× | sqrt-div_binary64 |
| 72× | flip3--_binary64 flip--_binary64 |
| 69× | difference-of-sqr-1_binary64 sqrt-pow1_binary64 |
| 59× | log-prod_binary64 |
| 58× | pow-plus_binary64 |
| 56× | pow-exp_binary64 |
| 54× | pow-sqr_binary64 |
| 50× | pow1/2_binary64 |
| 47× | distribute-rgt-in_binary64 distribute-lft-in_binary64 |
| 41× | rec-exp_binary64 1-exp_binary64 |
| 40× | +-commutative_binary64 |
| 39× | exp-prod_binary64 |
| 37× | pow-to-exp_binary64 diff-log_binary64 pow2_binary64 |
| 36× | sub-neg_binary64 |
| 31× | rem-sqrt-square_binary64 |
| 27× | unpow3_binary64 cube-mult_binary64 |
| 25× | pow-pow_binary64 |
| 24× | distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64 |
| 22× | div-sub_binary64 |
| 19× | pow-flip_binary64 |
| 18× | rem-cube-cbrt_binary64 |
| 12× | pow-sub_binary64 log-div_binary64 |
| 10× | associate--l+_binary64 |
| 9× | rem-log-exp_binary64 associate-+r+_binary64 inv-pow_binary64 |
| 8× | cube-div_binary64 |
| 7× | associate--r+_binary64 un-div-inv_binary64 |
| 6× | neg-mul-1_binary64 |
| 5× | distribute-rgt1-in_binary64 associate-+l+_binary64 distribute-rgt-out_binary64 |
| 4× | associate--l-_binary64 pow3_binary64 rem-exp-log_binary64 |
| 3× | exp-sum_binary64 |
| 2× | associate-+l-_binary64 frac-sub_binary64 exp-to-pow_binary64 associate--r-_binary64 |
| 1× | sqrt-unprod_binary64 associate-+r-_binary64 rem-cbrt-cube_binary64 unpow2_binary64 unpow1/3_binary64 |
333 calls:
| 153.0ms | (/.f64 (-.f64 (*.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) (*.f64 (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) (*.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 (*.f64 x x) 1737369620307813/2251799813685248)) (*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (*.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (*.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))) (-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (*.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10))))) |
| 127.0ms | (*.f64 (/.f64 (-.f64 (*.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) (*.f64 (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) (*.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 (*.f64 x x) 1737369620307813/2251799813685248)) (*.f64 (pow.f64 x 4) 2620859570069187/9007199254740992)) (*.f64 (pow.f64 x 6) 2502400853142105/36028797018963968)) (*.f64 (pow.f64 x 8) 2017691060547333/144115188075855872)) (*.f64 (pow.f64 x 10) 7681173503746455/9223372036854775808)) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))) (-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (pow.f64 x 4))) (*.f64 8375303961237363/1152921504606846976 (pow.f64 x 6))) (*.f64 583843369866023/1152921504606846976 (pow.f64 x 8))) (*.f64 825478423409049/4611686018427387904 (pow.f64 x 10))))) x) |
| 112.0ms | (-.f64 (*.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 3782789308857969/36028797018963968 (*.f64 x x))) (*.f64 763919671262763/18014398509481984 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 8375303961237363/1152921504606846976 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 583843369866023/1152921504606846976 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) (*.f64 (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))) (*.f64 825478423409049/4611686018427387904 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) |
| 111.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))) |
| 102.0ms | (*.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.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))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (exp.f64 (pow.f64 (fabs.f64 x) 2))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.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))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (exp.f64 (pow.f64 (fabs.f64 x) 2))))) |
Compiled 32221 to 25092 computations (22.1% saved)
Compiled 8 to 18 computations (-125% saved)
Loading profile data...