| 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: 34.5min)
| 865× | intervals |
| 2.1min | 24669× | body | 5120 | exit |
| 1.9min | 205446× | body | 1280 | valid |
| 1.8min | 2674252× | body | 80 | valid |
| 45.0s | 139837× | body | 640 | valid |
| 30.9s | 305865× | body | 80 | invalid |
| 30.1s | 29640× | body | 2560 | valid |
| 15.4s | 76313× | body | 320 | valid |
| 12.7s | 5593× | body | 1280 | overflowed |
| 9.5s | 62283× | body | 160 | valid |
| 8.6s | 45516× | body | 80 | overflowed |
| 7.0s | 95008× | body | 80 | nan |
| 6.6s | 324334× | pre | 80 | true |
| 6.4s | 16494× | body | 1280 | invalid |
| 6.1s | 4876× | body | 640 | overflowed |
| 5.0s | 8816× | body | 1280 | nan |
| 4.3s | 16023× | body | 640 | invalid |
| 3.6s | 761× | body | 5120 | invalid |
| 3.3s | 1336× | body | 2560 | invalid |
| 2.9s | 7721× | body | 640 | nan |
| 2.3s | 2706× | body | 5120 | valid |
| 1.7s | 2383× | body | 320 | overflowed |
| 1.6s | 8761× | body | 320 | invalid |
| 1.0s | 3956× | body | 320 | nan |
| 625.0ms | 4958× | body | 160 | invalid |
| 489.0ms | 1200× | body | 160 | overflowed |
| 227.0ms | 1455× | body | 160 | nan |
| 91.0ms | 145× | body | 2560 | overflowed |
| 22.0ms | 105× | body | 2560 | nan |
| 9.0ms | 230× | pre | 80 | false |
| 2.0ms | 1× | body | 5120 | nan |
Compiled 97555 to 72261 computations (25.9% saved)
Compiled 4392148 to 2237318 computations (49.1% saved)
| 479× | search |
| 2× | random |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 92% | 8% | 0 |
| 3.1% | 88.9% | 8% | 1 |
| 6.2% | 85.2% | 8.7% | 2 |
| 14% | 75.7% | 10.2% | 3 |
| 18.9% | 69% | 12.1% | 4 |
| 26.1% | 60.9% | 13% | 5 |
| 30.6% | 54.8% | 14.6% | 6 |
| 36% | 47.6% | 16.4% | 7 |
| 39.3% | 43.2% | 17.5% | 8 |
| 43.3% | 38% | 18.7% | 9 |
| 46.2% | 33.8% | 20% | 10 |
| 48.9% | 30.4% | 20.7% | 11 |
| 51% | 27.5% | 21.5% | 12 |
| 53.5% | 24% | 22.5% | 13 |
| 54.9% | 22.3% | 22.8% | 14 |
Compiled 7875 to 6281 computations (20.2% saved)
| 2275× | egg-herbie |
4124 calls:
| 2.2s | (+.f64 (pow.f64 (+.f64 (*.f64 x y) (*.f64 z t)) 3) (pow.f64 (*.f64 a b) 3)) |
| 1.7s | (pow.f64 (+.f64 (*.f64 a b) (+.f64 (*.f64 x y) (*.f64 z t))) 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 (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))))) |
Compiled 352086 to 256069 computations (27.3% saved)
| 1414× | rewrite-expression-head |
| 77251× | times-frac_binary64 |
| 64070× | *-un-lft-identity_binary64 |
| 60542× | add-sqr-sqrt_binary64 |
| 45421× | associate-*r/_binary64 |
| 41733× | add-cube-cbrt_binary64 |
| 30858× | frac-times_binary64 |
| 28617× | flip-+_binary64 |
| 28616× | flip3-+_binary64 |
| 21282× | add-exp-log_binary64 |
| 21172× | frac-add_binary64 |
| 18680× | sqrt-prod_binary64 |
| 15355× | add-cbrt-cube_binary64 |
| 11730× | associate-*r*_binary64 |
| 10976× | associate-*l/_binary64 |
| 10896× | pow1_binary64 |
| 9604× | cbrt-prod_binary64 |
| 8049× | difference-of-squares_binary64 |
| 7358× | prod-exp_binary64 |
| 7042× | flip--_binary64 |
| 7041× | flip3--_binary64 |
| 6423× | associate-*l*_binary64 |
| 6416× | add-log-exp_binary64 |
| 6037× | associate-/l/_binary64 |
| 5869× | distribute-lft-out_binary64 |
| 5181× | associate-/r*_binary64 |
| 5016× | cbrt-unprod_binary64 |
| 4965× | div-exp_binary64 |
| 4841× | distribute-lft-out--_binary64 |
| 3760× | associate-/r/_binary64 |
| 3722× | associate-/l*_binary64 |
| 3457× | div-inv_binary64 |
| 3265× | unpow-prod-down_binary64 |
| 3134× | cbrt-undiv_binary64 |
| 2974× | pow-prod-down_binary64 |
| 2568× | cbrt-div_binary64 |
| 2301× | unswap-sqr_binary64 |
| 2236× | sqrt-div_binary64 |
| 1839× | log-prod_binary64 |
| 1282× | *-commutative_binary64 |
| 1258× | pow-exp_binary64 |
| 1215× | cube-prod_binary64 |
| 1212× | swap-sqr_binary64 |
| 1138× | pow1/3_binary64 |
| 1008× | distribute-rgt-in_binary64 distribute-lft-in_binary64 |
| 964× | sqrt-pow1_binary64 |
| 920× | sqr-pow_binary64 |
| 905× | sub-neg_binary64 |
| 899× | log-pow_binary64 |
| 826× | clear-num_binary64 frac-2neg_binary64 |
| 818× | sum-log_binary64 |
| 749× | pow-to-exp_binary64 |
| 659× | exp-prod_binary64 |
| 553× | frac-sub_binary64 |
| 534× | 1-exp_binary64 |
| 504× | rec-exp_binary64 |
| 481× | pow-unpow_binary64 |
| 479× | pow1/2_binary64 |
| 464× | diff-log_binary64 |
| 455× | +-commutative_binary64 |
| 446× | pow-prod-up_binary64 |
| 388× | associate-+r+_binary64 |
| 325× | pow-sqr_binary64 |
| 296× | associate--l+_binary64 |
| 272× | difference-of-sqr-1_binary64 |
| 253× | tanh-def-a_binary64 tanh-def-b_binary64 tanh-def-c_binary64 |
| 221× | associate-+l+_binary64 rem-sqrt-square_binary64 |
| 214× | unpow2_binary64 |
| 210× | div-sub_binary64 |
| 198× | tan-quot_binary64 |
| 189× | pow-plus_binary64 |
| 177× | pow-pow_binary64 |
| 161× | log-div_binary64 |
| 153× | pow2_binary64 |
| 145× | pow-flip_binary64 |
| 138× | unpow3_binary64 |
| 135× | cube-mult_binary64 |
| 113× | associate--r+_binary64 |
| 112× | rem-log-exp_binary64 |
| 100× | inv-pow_binary64 |
| 96× | un-div-inv_binary64 |
| 90× | cube-div_binary64 |
| 81× | exp-diff_binary64 |
| 80× | exp-neg_binary64 |
| 72× | difference-of-sqr--1_binary64 |
| 64× | neg-sub0_binary64 |
| 62× | distribute-rgt-out--_binary64 |
| 53× | cosh-undef_binary64 |
| 52× | rem-cube-cbrt_binary64 |
| 47× | distribute-rgt-neg-in_binary64 |
| 43× | distribute-lft-neg-in_binary64 distribute-rgt-out_binary64 |
| 42× | sinh-def_binary64 |
| 40× | associate-+l-_binary64 |
| 39× | sin-mult_binary64 |
| 38× | exp-sum_binary64 |
| 34× | associate--l-_binary64 rem-exp-log_binary64 |
| 29× | sqrt-unprod_binary64 sub-div_binary64 |
| 27× | cos-mult_binary64 |
| 25× | cosh-def_binary64 |
| 24× | pow-sub_binary64 |
| 21× | associate-+r-_binary64 cos-diff_binary64 |
| 20× | distribute-rgt-neg-out_binary64 rem-cbrt-cube_binary64 associate--r-_binary64 cos-sum_binary64 |
| 19× | sin-diff_binary64 sum-cubes_binary64 |
| 18× | unpow-prod-up_binary64 rem-square-sqrt_binary64 |
| 17× | acos-asin_binary64 neg-mul-1_binary64 |
| 15× | distribute-rgt1-in_binary64 |
| 14× | exp-to-pow_binary64 sinh-undef_binary64 |
| 12× | distribute-neg-frac_binary64 sin-cos-mult_binary64 unsub-neg_binary64 |
| 10× | e-exp-1_binary64 sin-sum_binary64 |
| 9× | distribute-lft1-in_binary64 |
| 8× | exp-lft-sqr_binary64 unpow1/3_binary64 |
| 7× | count-2_binary64 |
| 5× | sqrt-undiv_binary64 pow3_binary64 diff-cos_binary64 distribute-lft-neg-out_binary64 |
| 4× | tan-sum_binary64 neg-log_binary64 |
| 3× | acos-neg_binary64 asin-acos_binary64 sqr-sin-a_binary64 distribute-frac-neg_binary64 |
| 2× | cos-2_binary64 |
| 1× | sqrt-pow2_binary64 tanh-undef_binary64 sqr-cos-a_binary64 diff-sin_binary64 mul0-rgt_binary64 diff-atan_binary64 |
4124 calls:
| 499.0ms | (/.f64 (+.f64 (*.f64 (+.f64 (pow.f64 (*.f64 b b) 6) (*.f64 (pow.f64 a 6) (pow.f64 (+.f64 (*.f64 a a) (*.f64 (*.f64 b b) 2)) 3))) (*.f64 (+.f64 9 (*.f64 a (-.f64 a 3))) (+.f64 a 1))) (*.f64 (+.f64 (pow.f64 b 8) (*.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 (*.f64 b a) (*.f64 b a)) 2)) (-.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 (*.f64 b a) (*.f64 b a)) 2)) (pow.f64 b 4)))) (*.f64 4 (+.f64 (*.f64 a (*.f64 (-.f64 a (pow.f64 a 3)) (+.f64 9 (*.f64 a (-.f64 a 3))))) (*.f64 (+.f64 (pow.f64 a 3) 27) (*.f64 (*.f64 b b) (+.f64 a 1))))))) (*.f64 (+.f64 (pow.f64 b 8) (*.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 (*.f64 b a) (*.f64 b a)) 2)) (-.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 (*.f64 b a) (*.f64 b a)) 2)) (pow.f64 b 4)))) (*.f64 (+.f64 9 (*.f64 a (-.f64 a 3))) (+.f64 a 1)))) |
| 382.0ms | (*.f64 (/.f64 1 (*.f64 (*.f64 PI.f64 t) (sqrt.f64 (-.f64 1 (*.f64 v v))))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (/.f64 (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v))))) (/.f64 (sqrt.f64 (-.f64 1 (*.f64 (*.f64 v v) 5))) (sqrt.f64 (-.f64 1 (*.f64 v v))))))) |
| 193.0ms | (*.f64 (sqrt.f64 (*.f64 x (*.f64 x 3))) (sqrt.f64 (*.f64 x (*.f64 x 3)))) |
| 173.0ms | (+.f64 (*.f64 (+.f64 (pow.f64 (*.f64 b b) 6) (*.f64 (pow.f64 a 6) (pow.f64 (+.f64 (*.f64 a a) (*.f64 (*.f64 b b) 2)) 3))) (*.f64 (+.f64 9 (*.f64 a (-.f64 a 3))) (+.f64 a 1))) (*.f64 (+.f64 (pow.f64 b 8) (*.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 (*.f64 b a) (*.f64 b a)) 2)) (-.f64 (+.f64 (pow.f64 a 4) (*.f64 (*.f64 (*.f64 b a) (*.f64 b a)) 2)) (pow.f64 b 4)))) (*.f64 4 (+.f64 (*.f64 a (*.f64 (-.f64 a (pow.f64 a 3)) (+.f64 9 (*.f64 a (-.f64 a 3))))) (*.f64 (+.f64 (pow.f64 a 3) 27) (*.f64 (*.f64 b b) (+.f64 a 1))))))) |
| 160.0ms | (-.f64 (/.f64 1/2 (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x))))))) (/.f64 (/.f64 1/2 (hypot.f64 1 x)) (sqrt.f64 (+.f64 1 (sqrt.f64 (+.f64 1/2 (/.f64 1/2 (hypot.f64 1 x)))))))) |
Compiled 1530 to 2550 computations (-66.7% saved)
Compiled 273 to 412 computations (-50.9% saved)
Loading profile data...