| Date: | Wednesday, October 7th, 2020 |
|---|---|
| Commit: | 66e1bad7 on simplicity-baseline |
| Hostname: | warfa with Racket 7.8 |
| Seed: | 2020281 |
| 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: 1.6min)
| 26× | intervals |
| 14.1s | 6444× | body | 8192 | exit |
| 6.5s | 17152× | body | 1024 | valid |
| 3.6s | 79488× | body | 128 | valid |
| 1.8s | 5009× | body | 1024 | nan |
| 1.6s | 6845× | body | 512 | valid |
| 853.0ms | 24768× | pre | 128 | true |
| 648.0ms | 836× | body | 2048 | valid |
| 512.0ms | 2497× | body | 512 | nan |
| 481.0ms | 3007× | body | 256 | valid |
| 189.0ms | 2047× | body | 128 | invalid |
| 161.0ms | 1264× | body | 256 | nan |
| 83.0ms | 214× | body | 1024 | invalid |
| 62.0ms | 233× | body | 512 | invalid |
| 51.0ms | 758× | body | 128 | nan |
| 27.0ms | 147× | body | 256 | invalid |
| 11.0ms | 143× | body | 128 | overflowed |
| 8.0ms | 2× | body | 8192 | nan |
| 3.0ms | 2× | body | 4096 | nan |
| 3.0ms | 6× | body | 2048 | nan |
Compiled 2239 to 1673 computations (25.3% saved)
| 13× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 76.9% | 23.1% | 0 |
| 0% | 76.9% | 23.1% | 1 |
| 0% | 76.9% | 23.1% | 2 |
| 25% | 51.9% | 23.1% | 3 |
| 34.6% | 42.3% | 23.1% | 4 |
| 39.9% | 37% | 23.1% | 5 |
| 42.3% | 33.9% | 23.8% | 6 |
| 45.6% | 30.4% | 24% | 7 |
| 47.2% | 28.4% | 24.4% | 8 |
| 49% | 26.5% | 24.5% | 9 |
| 50.8% | 24.3% | 24.9% | 10 |
| 51.4% | 23.5% | 25.1% | 11 |
| 52.1% | 22.5% | 25.4% | 12 |
| 52.8% | 21.6% | 25.6% | 13 |
| 53% | 21% | 25.9% | 14 |
Compiled 163 to 136 computations (16.6% saved)
126 calls:
| 1.3s | (/.f64 (-.f64 (*.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (cos.f64 a)) (*.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (sin.f64 a))) (*.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (cos.f64 a))) |
| 1.1s | (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) |
| 783.0ms | (*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w)))) |
| 735.0ms | (*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))) |
| 595.0ms | (/.f64 (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z))) (+.f64 (tan.f64 y) (tan.f64 z))) |
| 72× | egg-herbie |
Compiled 117122 to 34088 computations (70.9% saved)
| 46× | rewrite-expression-head |
| 1761× | add-sqr-sqrt_binary64_772 |
| 1324× | times-frac_binary64_757 |
| 1159× | unpow-prod-down_binary64_827 |
| 994× | sqrt-prod_binary64_766 |
| 529× | *-un-lft-identity_binary64_751 |
| 499× | add-cube-cbrt_binary64_783 |
| 351× | unswap-sqr_binary64_719 |
| 277× | add-exp-log_binary64_449 |
| 273× | sqr-pow_binary64_723 |
| 266× | add-exp-log_binary64_786 |
| 264× | associate-*r*_binary64_693 |
| 260× | add-sqr-sqrt_binary64_435 |
| 222× | *-un-lft-identity_binary64_414 |
| 210× | *-un-lft-identity_binary64 |
| 204× | add-sqr-sqrt_binary64 add-exp-log_binary64_112 |
| 202× | add-cube-cbrt_binary64_446 |
| 192× | associate-*l*_binary64_694 |
| 189× | add-cbrt-cube_binary64_447 |
| 176× | times-frac_binary64_420 |
| 155× | add-cube-cbrt_binary64 |
| 148× | sqrt-prod_binary64 |
| 133× | times-frac_binary64 |
| 131× | prod-exp_binary64_123 |
| 122× | prod-exp_binary64_460 |
| 121× | add-sqr-sqrt_binary64_98 pow1_binary64_135 |
| 120× | div-exp_binary64_799 |
| 115× | associate-*r*_binary64_19 |
| 112× | pow1_binary64_472 |
| 109× | add-exp-log_binary64 |
| 104× | sqrt-prod_binary64_92 |
| 103× | add-cbrt-cube_binary64 |
| 102× | add-cbrt-cube_binary64_110 |
| 100× | swap-sqr_binary64_718 |
| 97× | pow1_binary64 |
| 96× | associate-*l*_binary64 |
| 91× | pow-exp_binary64_816 |
| 79× | cbrt-unprod_binary64_107 |
| 78× | associate-*r*_binary64_356 |
| 75× | add-cbrt-cube_binary64_784 add-cube-cbrt_binary64_109 *-un-lft-identity_binary64_77 |
| 73× | associate-*r*_binary64 |
| 72× | prod-exp_binary64_797 |
| 66× | associate-*l*_binary64_357 |
| 64× | associate-*l*_binary64_20 |
| 62× | pow1_binary64_809 |
| 60× | pow-prod-down_binary64_145 |
| 58× | cbrt-prod_binary64_105 |
| 56× | add-log-exp_binary64_450 cbrt-unprod_binary64_444 |
| 55× | pow-to-exp_binary64_817 |
| 45× | pow-unpow_binary64_825 |
| 43× | tan-quot_binary64 |
| 42× | add-log-exp_binary64 associate-/r*_binary64_360 |
| 40× | div-exp_binary64_462 associate-/l*_binary64_361 |
| 38× | pow-prod-down_binary64 |
| 36× | prod-exp_binary64 cbrt-unprod_binary64 |
| 33× | add-log-exp_binary64_787 |
| 32× | pow-prod-down_binary64_482 |
| 28× | cbrt-undiv_binary64_445 |
| 27× | associate-/r*_binary64 |
| 26× | unswap-sqr_binary64_45 |
| 25× | distribute-lft-out_binary64 |
| 24× | unpow-prod-down_binary64_153 pow-pow_binary64_820 |
| 23× | associate-/r/_binary64_362 cos-mult_binary64_565 |
| 21× | *-commutative_binary64_347 unswap-sqr_binary64 add-log-exp_binary64_113 associate-*l/_binary64 |
| 20× | associate-/r/_binary64 div-inv_binary64_411 pow-exp_binary64_479 |
| 19× | pow-to-exp_binary64_480 sin-mult_binary64_566 |
| 18× | *-commutative_binary64_10 unswap-sqr_binary64_382 cbrt-prod_binary64_779 associate-/l*_binary64_698 |
| 17× | *-commutative_binary64 |
| 16× | cbrt-undiv_binary64_782 distribute-lft-out--_binary64_705 |
| 14× | clear-num_binary64_413 associate-/r*_binary64_697 frac-2neg_binary64_425 difference-of-squares_binary64_720 |
| 13× | associate-/l/_binary64 associate-/l*_binary64 |
| 12× | flip3--_binary64_418 flip3-+_binary64 div-inv_binary64_748 cbrt-unprod_binary64_781 flip--_binary64_389 sqrt-pow1_binary64_768 cube-prod_binary64_776 log-prod_binary64_834 flip-+_binary64 |
| 11× | frac-add_binary64 div-exp_binary64 |
| 10× | distribute-lft-out--_binary64_368 pow-to-exp_binary64_143 pow-exp_binary64_142 difference-of-squares_binary64_383 |
| 9× | flip3--_binary64 exp-prod_binary64_800 frac-sub_binary64 flip--_binary64 unpow-prod-down_binary64_490 pow1/2_binary64_828 |
| 8× | sqrt-pow1_binary64_94 div-inv_binary64 cbrt-prod_binary64_442 frac-sub_binary64_423 |
| 7× | cbrt-undiv_binary64 sub-div_binary64_421 sqrt-pow2_binary64_769 |
| 6× | associate--l+_binary64_690 sqrt-prod_binary64_429 |
| 5× | diff-log_binary64_503 sub-neg_binary64_407 sqr-pow_binary64_386 |
| 4× | clear-num_binary64 associate-*r/_binary64 clear-num_binary64_750 sum-log_binary64 sqrt-pow1_binary64 frac-2neg_binary64_762 log-pow_binary64_837 frac-2neg_binary64 exp-sum_binary64_794 sqr-pow_binary64_49 unpow2_binary64_139 frac-times_binary64 |
| 3× | frac-times_binary64_761 sub-neg_binary64 diff-log_binary64 difference-of-squares_binary64 distribute-lft-out--_binary64 pow-unpow_binary64_488 flip3--_binary64_755 pow-prod-down_binary64_819 *-commutative_binary64_684 flip--_binary64_726 associate-/l/_binary64_363 swap-sqr_binary64_381 unpow2_binary64_476 associate-*l/_binary64_696 +-commutative_binary64 pow1/2_binary64_154 associate-*r/_binary64_695 cube-div_binary64_440 |
| 2× | cube-mult_binary64_778 cos-2_binary64_553 rem-log-exp_binary64_789 associate-/l/_binary64_700 cbrt-div_binary64_443 cube-prod_binary64_439 rem-exp-log_binary64_788 sqrt-div_binary64_93 rec-exp_binary64 pow1/2_binary64 1-exp_binary64 cube-mult_binary64_441 sqrt-pow1_binary64_431 div-sub_binary64_419 associate-/r/_binary64_699 tan-sum_binary64 div-sub_binary64 diff-log_binary64_840 unpow3_binary64_477 unpow3_binary64_814 associate-*r/_binary64_21 sub-neg_binary64_744 pow1/2_binary64_491 rem-sqrt-square_binary64_764 rem-cube-cbrt_binary64_436 pow-pow_binary64_483 associate-*r/_binary64_358 rem-sqrt-square_binary64_427 cos-sum_binary64_545 |
| 1× | rem-cbrt-cube_binary64_774 pow-plus_binary64_474 flip-+_binary64_51 associate-+r-_binary64 div-sub_binary64_756 pow-plus_binary64_811 pow-prod-up_binary64_818 pow-sqr_binary64_724 rem-cube-cbrt_binary64_773 pow-prod-up_binary64_481 exp-diff_binary64_796 pow-flip_binary64 associate-+r+_binary64 rem-cbrt-cube_binary64_437 pow1/3_binary64_830 pow-sqr_binary64_387 inv-pow_binary64 pow2_binary64_829 pow1/3_binary64_493 pow2_binary64_492 flip3-+_binary64_80 |
126 calls:
| 129.0ms | (*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w)))) |
| 106.0ms | (*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))) |
| 81.0ms | (*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w)))) |
| 22.0ms | (*.f64 (sqrt.f64 (sqrt.f64 (sqrt.f64 2))) (*.f64 (*.f64 (sqrt.f64 (sqrt.f64 2)) (fabs.f64 x)) (sqrt.f64 (sqrt.f64 (sqrt.f64 2))))) |
| 21.0ms | (*.f64 (*.f64 (*.f64 x (pow.f64 (cbrt.f64 (sqrt.f64 2)) 2)) (*.f64 (cbrt.f64 (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2))))) (cbrt.f64 (cbrt.f64 (sqrt.f64 2)))) |
Compiled 6100 to 4143 computations (32.1% saved)
Compiled 2 to 2 computations (0% saved)
Loading profile data...