| Date: | Tuesday, August 18th, 2020 |
|---|---|
| Commit: | fbcf5934 on scaleup-plugins |
| 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 |
| 86× | intervals |
| 49.9s | 8096× | body | 5120 | exit |
| 17.3s | 262554× | body | 80 | valid |
| 6.9s | 14167× | body | 1280 | valid |
| 3.1s | 10843× | body | 640 | valid |
| 2.5s | 7112× | body | 1280 | invalid |
| 1.5s | 6333× | body | 640 | invalid |
| 1.3s | 7154× | body | 160 | valid |
| 1.1s | 70953× | pre | 80 | true |
| 975.0ms | 5768× | body | 320 | valid |
| 700.0ms | 12376× | body | 80 | invalid |
| 508.0ms | 3065× | body | 320 | invalid |
| 188.0ms | 2062× | body | 80 | nan |
| 186.0ms | 1593× | body | 160 | invalid |
| 11.0ms | 37× | body | 2560 | valid |
| 10.0ms | 21× | body | 5120 | valid |
| 5.0ms | 3× | body | 2560 | invalid |
| 0.0ms | 14× | body | 80 | overflowed |
336 calls:
| 5.9s | (-.f64 1 (*.f64 (sqrt.f64 (pow.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 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))) 3)) (sqrt.f64 (pow.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 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))) 3)))) |
| 5.9s | (-.f64 1 (*.f64 (pow.f64 (/.f64 (sqrt.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)))) 3) (pow.f64 (/.f64 (sqrt.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)))))) (exp.f64 (pow.f64 (fabs.f64 x) 2))) 3))) |
| 5.8s | (-.f64 1 (pow.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 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))) 3)) |
| 2.5s | (*.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 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))) (+.f64 1 (/.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 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))) |
| 2.4s | (*.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 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))) (+.f64 1 (/.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 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))) |
| 207× | 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 55.6b remaining (40.9%)
Threshold costs 3.9b (2.9%)
| 11.6b | 52.9% | math.log10 on complex, real part |
| 11.4b | 53.7% | math.log/1 on complex, real part |
| 11.1b | 53.5% | math.abs on complex |
| 10.8b | 55.8% | math.log/2 on complex, real part |
| 3.4b | 72.3% | Octave 3.8, jcobi/1 |
| 122× | rewrite-expression-head |
336 calls:
| 150.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 1737369620307813/2251799813685248 (*.f64 x x))) (*.f64 2620859570069187/9007199254740992 (pow.f64 x 4))) (*.f64 2502400853142105/36028797018963968 (pow.f64 x 6))) (*.f64 2017691060547333/144115188075855872 (pow.f64 x 8))) (*.f64 (pow.f64 x 8) (*.f64 (*.f64 x x) 7681173503746455/9223372036854775808))) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))) (-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 (*.f64 x x) 3782789308857969/36028797018963968)) (*.f64 (pow.f64 x 4) 763919671262763/18014398509481984)) (*.f64 (pow.f64 x 6) 8375303961237363/1152921504606846976)) (*.f64 (pow.f64 x 8) 583843369866023/1152921504606846976)) (*.f64 (pow.f64 x 8) (*.f64 (*.f64 x x) 825478423409049/4611686018427387904))))) |
| 118.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 1737369620307813/2251799813685248 (*.f64 x x))) (*.f64 2620859570069187/9007199254740992 (pow.f64 x 4))) (*.f64 2502400853142105/36028797018963968 (pow.f64 x 6))) (*.f64 2017691060547333/144115188075855872 (pow.f64 x 8))) (*.f64 (pow.f64 x 8) (*.f64 (*.f64 x x) 7681173503746455/9223372036854775808))) (*.f64 825478423409049/2305843009213693952 (pow.f64 x 12))) (-.f64 (+.f64 (+.f64 (+.f64 (+.f64 1 (*.f64 (*.f64 x x) 3782789308857969/36028797018963968)) (*.f64 (pow.f64 x 4) 763919671262763/18014398509481984)) (*.f64 (pow.f64 x 6) 8375303961237363/1152921504606846976)) (*.f64 (pow.f64 x 8) 583843369866023/1152921504606846976)) (*.f64 (pow.f64 x 8) (*.f64 (*.f64 x x) 825478423409049/4611686018427387904))))) x) |
| 108.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))))) |
| 99.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 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 1 (*.f64 1737369620307813/2251799813685248 (*.f64 x x))) (*.f64 2620859570069187/9007199254740992 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 2502400853142105/36028797018963968 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 2017691060547333/144115188075855872 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 7681173503746455/9223372036854775808 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2 825478423409049/4611686018427387904) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) |
| 96.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))) |
| 1898× | *-un-lft-identity_binary64_1216 |
| 1044× | *-un-lft-identity_binary64 |
| 1016× | times-frac_binary64_1211 |
| 976× | times-frac_binary64 |
| 956× | add-sqr-sqrt_binary64 |
| 775× | add-exp-log_binary64 |
| 726× | add-cube-cbrt_binary64 add-sqr-sqrt_binary64_1201 |
| 715× | distribute-lft-out_binary64_1260 |
| 678× | add-cbrt-cube_binary64 |
| 653× | *-un-lft-identity_binary64_3784 |
| 516× | add-cube-cbrt_binary64_1187 |
| 466× | sqrt-prod_binary64_1195 |
| 390× | add-sqr-sqrt_binary64_3769 |
| 389× | pow1_binary64 times-frac_binary64_3779 |
| 323× | add-exp-log_binary64_1180 |
| 320× | add-cube-cbrt_binary64_3755 |
| 305× | *-un-lft-identity_binary64_574 |
| 299× | sqrt-prod_binary64 |
| 292× | *-un-lft-identity_binary64_4426 |
| 290× | add-sqr-sqrt_binary64_559 |
| 285× | add-cbrt-cube_binary64_1188 |
| 278× | flip3-+_binary64 flip-+_binary64 |
| 274× | swap-sqr_binary64_1243 |
| 272× | add-sqr-sqrt_binary64_1843 |
| 268× | associate-/r/_binary64 |
| 267× | associate-*r*_binary64 |
| 264× | times-frac_binary64_4421 |
| 259× | pow1_binary64_1804 add-sqr-sqrt_binary64_3127 |
| 257× | add-sqr-sqrt_binary64_4411 |
| 249× | associate-*l*_binary64 |
| 230× | div-exp_binary64 |
| 222× | times-frac_binary64_569 |
| 220× | cbrt-undiv_binary64 |
| 219× | prod-exp_binary64 |
| 214× | *-un-lft-identity_binary64_3142 |
| 212× | *-un-lft-identity_binary64_1858 |
| 208× | add-exp-log_binary64_1822 |
| 204× | times-frac_binary64_1853 |
| 201× | associate-*r*_binary64_1275 |
| 200× | cbrt-unprod_binary64 |
| 195× | times-frac_binary64_3137 |
| 189× | add-cube-cbrt_binary64_1829 add-cube-cbrt_binary64_4397 add-cube-cbrt_binary64_545 |
| 181× | add-cbrt-cube_binary64_1830 |
| 179× | distribute-lft-out_binary64_3828 |
| 177× | sqrt-prod_binary64_553 |
| 174× | add-exp-log_binary64_3748 |
| 173× | pow1_binary64_1162 |
| 157× | add-exp-log_binary64_538 |
| 155× | add-log-exp_binary64 |
| 148× | add-cube-cbrt_binary64_3113 |
| 146× | add-log-exp_binary64_539 |
| 142× | frac-times_binary64 |
| 140× | cbrt-div_binary64 |
| 136× | associate-*r/_binary64 |
| 135× | add-cbrt-cube_binary64_3756 |
| 133× | cbrt-prod_binary64 |
| 131× | unpow-prod-down_binary64_3719 |
| 130× | frac-add_binary64_3774 |
| 128× | pow1_binary64_520 |
| 123× | associate-/r*_binary64 distribute-lft-out_binary64 |
| 122× | add-cbrt-cube_binary64_546 associate-*l*_binary64_1276 |
| 121× | associate-*r*_binary64_633 |
| 120× | log-pow_binary64 |
| 118× | prod-exp_binary64_1167 |
| 116× | cbrt-prod_binary64_1183 |
| 111× | associate-/l*_binary64 |
| 103× | associate-*l/_binary64 |
| 102× | cbrt-unprod_binary64_1185 |
| 101× | associate-*l*_binary64_3844 |
| 99× | associate-*l*_binary64_1918 |
| 98× | unpow-prod-down_binary64 |
| 96× | associate-*r/_binary64_3203 |
| 94× | flip-+_binary64_3809 flip3-+_binary64_3782 |
| 92× | associate-*l*_binary64_634 |
| 87× | frac-times_binary64_1208 div-inv_binary64 |
| 86× | sqrt-prod_binary64_3763 cube-prod_binary64 |
| 85× | add-log-exp_binary64_3749 |
| 83× | prod-exp_binary64_1809 |
| 81× | pow1_binary64_3730 |
| 80× | associate-*r*_binary64_1917 add-exp-log_binary64_3106 |
| 79× | flip3-+_binary64_1214 flip-+_binary64_1241 |
| 78× | cube-prod_binary64_3757 |
| 77× | div-exp_binary64_1169 |
| 74× | frac-add_binary64_564 |
| 72× | cbrt-undiv_binary64_1186 |
| 71× | cbrt-unprod_binary64_1827 sqrt-prod_binary64_1837 add-exp-log_binary64_4390 pow1_binary64_3088 |
| 70× | add-cbrt-cube_binary64_3114 |
| 69× | difference-of-squares_binary64 |
| 68× | unpow-prod-down_binary64_1151 |
| 65× | pow-prod-down_binary64 |
| 64× | associate-/r*_binary64_1279 |
| 63× | add-cbrt-cube_binary64_4398 |
| 62× | associate-*r/_binary64_3845 |
| 61× | add-log-exp_binary64_1823 |
| 60× | add-log-exp_binary64_1181 frac-times_binary64_3776 pow-prod-up_binary64_1784 |
| 58× | prod-exp_binary64_525 |
| 56× | associate-/l/_binary64 pow-prod-down_binary64_1785 sum-log_binary64_489 |
| 55× | associate-*l/_binary64_1278 associate-*r*_binary64_3201 associate-*r/_binary64_1277 unswap-sqr_binary64 cube-prod_binary64_1189 |
| 54× | difference-of-squares_binary64_3171 distribute-lft-out_binary64_618 |
| 53× | prod-exp_binary64_3735 |
| 50× | associate-/r/_binary64_3849 |
| 49× | log-pow_binary64_1137 |
| 48× | associate-/r*_binary64_3847 |
| 47× | pow1_binary64_4372 |
| 45× | associate-*l*_binary64_3202 log-prod_binary64 log-pow_binary64_495 |
| 44× | associate-/l*_binary64_4490 associate-/l*_binary64_3848 add-log-exp_binary64_4391 associate-*r*_binary64_3843 |
| 43× | associate-/r/_binary64_1281 pow-unpow_binary64 associate-/l*_binary64_1280 |
| 42× | cbrt-prod_binary64_3751 pow-plus_binary64_1799 |
| 41× | distribute-lft-out_binary64_4470 |
| 40× | unswap-sqr_binary64_1244 |
| 39× | associate-/r*_binary64_3205 |
| 38× | cbrt-unprod_binary64_543 |
| 37× | sqrt-pow1_binary64 *-commutative_binary64 |
| 36× | associate-/r*_binary64_1921 unpow-prod-down_binary64_1793 cbrt-div_binary64_3110 |
| 35× | unswap-sqr_binary64_1886 div-inv_binary64_1217 |
| 34× | flip-+_binary64_599 flip3-+_binary64_572 associate-*r/_binary64_4487 |
| 33× | swap-sqr_binary64 div-exp_binary64_3737 associate-*l*_binary64_4486 |
| 32× | flip-+_binary64_3167 div-exp_binary64_1811 flip3-+_binary64_3140 |
| 31× | associate-*r*_binary64_4485 add-log-exp_binary64_3107 |
| 30× | pow-prod-down_binary64_1143 clear-num_binary64 pow-sqr_binary64_1891 frac-2neg_binary64 |
| 29× | pow1/2_binary64 unswap-sqr_binary64_602 div-inv_binary64_3785 distribute-rgt-in_binary64 distribute-lft-in_binary64 associate-*r/_binary64_635 |
| 27× | distribute-lft-out--_binary64_3187 |
| 26× | cbrt-undiv_binary64_1828 associate-/r/_binary64_1923 sqrt-div_binary64 |
| 25× | flip3--_binary64_573 cbrt-undiv_binary64_3754 difference-of-sqr-1_binary64 associate-/r*_binary64_4489 flip--_binary64_600 |
| 24× | cbrt-div_binary64_4394 pow1/3_binary64 pow-prod-down_binary64_501 |
| 23× | sqr-pow_binary64_3816 cbrt-unprod_binary64_3753 prod-exp_binary64_3093 |
| 22× | sqrt-prod_binary64_3121 distribute-lft-out--_binary64 sqrt-div_binary64_3122 associate-/l*_binary64_1922 associate-/l/_binary64_1282 |
| 21× | exp-prod_binary64_3738 pow2_binary64_1795 frac-times_binary64_566 |
| 20× | log-div_binary64_3703 flip--_binary64_3810 rec-exp_binary64 flip3--_binary64_3783 exp-diff_binary64_3745 difference-of-squares_binary64_4455 associate-*l/_binary64_636 cube-prod_binary64_1831 |
| 19× | pow-prod-down_binary64_3069 flip-+_binary64_4451 flip-+_binary64_1883 flip3-+_binary64_4424 cbrt-unprod_binary64_3111 flip3-+_binary64_1856 div-exp_binary64_527 |
| 18× | flip--_binary64_3168 flip3--_binary64_3141 pow-unpow_binary64_3717 unpow-prod-down_binary64_4361 pow1/3_binary64_3080 cbrt-div_binary64_1184 |
| 17× | div-inv_binary64_4427 associate-*l/_binary64_3846 log-prod_binary64_492 sqrt-div_binary64_554 pow-exp_binary64 distribute-lft-out--_binary64_619 prod-exp_binary64_4377 pow-exp_binary64_3708 |
| 16× | frac-sub_binary64 distribute-lft-neg-in_binary64 frac-times_binary64_3134 distribute-rgt-neg-in_binary64 un-div-inv_binary64_3786 cbrt-undiv_binary64_544 |
| 15× | *-commutative_binary64_1926 unswap-sqr_binary64_3812 associate-/r/_binary64_3207 unswap-sqr_binary64_3170 rem-cube-cbrt_binary64 pow-pow_binary64_3712 associate-/r*_binary64_637 |
| 14× | sum-log_binary64_1773 diff-log_binary64_490 associate-*l/_binary64_3204 pow-to-exp_binary64_3709 cbrt-prod_binary64_3109 sqr-pow_binary64_1890 *-commutative_binary64_1284 sqr-pow_binary64_1248 sum-log_binary64_3699 |
| 13× | flip3--_binary64 unswap-sqr_binary64_4454 clear-num_binary64_1219 div-inv_binary64_1859 sum-log_binary64 rec-exp_binary64_526 flip--_binary64 associate-*l/_binary64_1920 clear-num_binary64_3787 frac-2neg_binary64_3777 rem-sqrt-square_binary64 frac-2neg_binary64_1209 +-commutative_binary64 difference-of-squares_binary64_1245 sqr-pow_binary64 |
| 12× | cbrt-prod_binary64_4393 rec-exp_binary64_1168 associate-/l*_binary64_3206 pow1/3_binary64_4364 difference-of-squares_binary64_3813 pow-unpow_binary64_1149 exp-prod_binary64_1170 distribute-lft-out--_binary64_4471 pow-pow_binary64_1144 sub-neg_binary64_578 *-commutative_binary64_3210 |
| 11× | +-commutative_binary64_641 cbrt-unprod_binary64_4395 cbrt-undiv_binary64_4396 +-commutative_binary64_3851 difference-of-squares_binary64_603 div-exp_binary64_4379 |
| 10× | associate-/l/_binary64_1924 distribute-lft-out--_binary64_3829 frac-times_binary64_1850 div-inv_binary64_575 *-commutative_binary64_642 log-div_binary64 |
| 9× | distribute-lft-in_binary64_3826 associate-/l*_binary64_638 pow-prod-down_binary64_4353 flip--_binary64_1884 flip3--_binary64_1857 distribute-rgt-in_binary64_3827 pow1/3_binary64_1154 pow-prod-down_binary64_3711 |
| 8× | *-commutative_binary64_3852 pow-to-exp_binary64 sqrt-div_binary64_1838 unpow-prod-down_binary64_3077 sub-neg_binary64_4430 pow-flip_binary64 swap-sqr_binary64_3169 sqr-pow_binary64_4458 pow-pow_binary64 sqrt-pow1_binary64_1197 associate-/r/_binary64_4491 div-inv_binary64_3143 |
| 7× | exp-prod_binary64_528 div-exp_binary64_3095 sub-neg_binary64 flip--_binary64_4452 clear-num_binary64_1861 frac-2neg_binary64_4419 frac-2neg_binary64_1851 associate--l+_binary64_630 flip3--_binary64_4425 diff-log_binary64_4342 unpow3_binary64 cube-mult_binary64 cbrt-undiv_binary64_3112 log-prod_binary64_3702 *-commutative_binary64_4494 pow-sqr_binary64 clear-num_binary64_4429 distribute-lft-out_binary64_1902 sqrt-pow1_binary64_555 rec-exp_binary64_3736 pow-prod-up_binary64 exp-sum_binary64_3743 sqrt-pow1_binary64_3765 |
| 6× | sum-log_binary64_1131 cube-mult_binary64_1833 associate-*r/_binary64_1919 +-commutative_binary64_1283 sqrt-pow1_binary64_1839 exp-prod_binary64 sub-neg_binary64_3146 pow-exp_binary64_1140 associate-/l/_binary64_3850 div-sub_binary64 pow1/2_binary64_3720 diff-log_binary64_1774 inv-pow_binary64 distribute-lft-out_binary64_3186 pow1/2_binary64_1794 rem-sqrt-square_binary64_1846 unpow3_binary64_1802 rem-cube-cbrt_binary64_3760 |
| 5× | pow-prod-up_binary64_1142 cube-div_binary64_1190 associate-+l+_binary64_626 diff-log_binary64 associate-+r+_binary64_625 cube-prod_binary64_4399 rem-log-exp_binary64 pow-to-exp_binary64_1783 diff-log_binary64_3700 distribute-lft-in_binary64_3184 cube-div_binary64 frac-add_binary64_1848 pow-plus_binary64 pow-exp_binary64_1782 pow-sqr_binary64_1249 associate-+l+_binary64_3836 rem-sqrt-square_binary64_3772 pow2_binary64 distribute-rgt-in_binary64_3185 |
| 4× | unpow3_binary64_1160 pow-plus_binary64_1157 unpow2_binary64_1159 sqrt-pow1_binary64_3123 pow-to-exp_binary64_1141 clear-num_binary64_3145 associate--l-_binary64_631 sqr-pow_binary64_3174 pow-flip_binary64_1146 pow-exp_binary64_4350 neg-mul-1_binary64 difference-of-squares_binary64_1887 inv-pow_binary64_1138 swap-sqr_binary64_4453 sqrt-div_binary64_1196 frac-times_binary64_4418 associate-/l/_binary64_3208 sqrt-div_binary64_3764 pow3_binary64_1797 pow1/2_binary64_510 associate--r+_binary64_629 difference-of-sqr-1_binary64_604 associate-/l/_binary64_4492 frac-2neg_binary64_3135 unpow2_binary64_4369 pow-to-exp_binary64_4351 cube-div_binary64_3758 sub-div_binary64 unpow3_binary64_3728 rec-exp_binary64_1810 pow2_binary64_1153 un-div-inv_binary64 cube-mult_binary64_3759 cube-prod_binary64_3115 cube-mult_binary64_1191 pow-sqr_binary64_3175 sub-neg_binary64_3788 pow-prod-up_binary64_3068 |
| 3× | pow1/2_binary64_3078 distribute-lft-in_binary64_4468 distribute-rgt-in_binary64_1259 rem-cube-cbrt_binary64_1192 clear-num_binary64_577 distribute-rgt-in_binary64_4469 associate--l+_binary64_1914 rem-exp-log_binary64_536 rem-log-exp_binary64_537 distribute-lft-in_binary64_1258 un-div-inv_binary64_576 pow-unpow_binary64_4359 sum-log_binary64_4341 frac-2neg_binary64_567 pow-prod-up_binary64_4352 |
| 2× | pow2_binary64_3079 pow-plus_binary64_4367 frac-sub_binary64_3775 pow-exp_binary64_3066 flip3--_binary64_1215 un-div-inv_binary64_1218 associate--r+_binary64 pow1/2_binary64_1152 associate-*l/_binary64_4488 rem-exp-log_binary64_3746 pow-to-exp_binary64_3067 associate-+r+_binary64 distribute-lft-out--_binary64_1261 div-sub_binary64_4420 div-sub_binary64_3778 sub-neg_binary64_1220 difference-of-sqr-1_binary64_3814 pow-pow_binary64_4354 +-commutative_binary64_1925 exp-to-pow_binary64_514 distribute-lft-in_binary64_616 rem-sqrt-square_binary64_3130 sub-neg_binary64_1862 diff-log_binary64_3058 rem-sqrt-square_binary64_1204 distribute-rgt-in_binary64_617 flip--_binary64_1242 associate--l+_binary64 pow-plus_binary64_3083 diff-log_binary64_1132 pow-sqr_binary64_4459 |
| 1× | associate--r+_binary64_3839 div-sub_binary64_1852 rem-sqrt-square_binary64_562 sqrt-unprod_binary64 pow3_binary64_4365 associate-+l+_binary64_4478 div-sub_binary64_3136 rem-cbrt-cube_binary64_3761 rem-cbrt-cube_binary64 associate--r-_binary64_4484 unpow2_binary64_3727 associate--r-_binary64_3842 rem-cbrt-cube_binary64_1193 pow2_binary64_4363 associate-+l-_binary64_3838 pow1/3_binary64_3722 associate--l+_binary64_4482 distribute-rgt-in_binary64_1901 swap-sqr_binary64_1885 inv-pow_binary64_3706 cbrt-div_binary64_3752 associate-+r+_binary64_3835 associate-+l-_binary64_4480 distribute-lft-in_binary64_1900 cube-mult_binary64_4401 log-pow_binary64_3705 exp-sum_binary64_533 +-commutative_binary64_4493 pow-flip_binary64_3714 associate-+r+_binary64_1909 distribute-rgt-out--_binary64 unpow3_binary64_3086 unpow3_binary64_4370 associate-+r-_binary64_3837 cube-mult_binary64_3117 |
Loading profile data...