| Date: | Monday, December 7th, 2020 |
|---|---|
| Commit: | b337b401 on master |
| Hostname: | warfa with Racket 7.9 |
| Seed: | 2020342 |
| 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.4min)
| 26× | intervals |
| 11.1s | 6490× | body | 8192 | exit |
| 5.4s | 16891× | body | 1024 | valid |
| 3.3s | 79452× | body | 128 | valid |
| 1.5s | 5004× | body | 1024 | nan |
| 1.5s | 6983× | body | 512 | valid |
| 1.1s | 24768× | pre | 128 | true |
| 485.0ms | 820× | body | 2048 | valid |
| 461.0ms | 3182× | body | 256 | valid |
| 441.0ms | 2541× | body | 512 | nan |
| 163.0ms | 2001× | body | 128 | invalid |
| 135.0ms | 1263× | body | 256 | nan |
| 66.0ms | 208× | body | 1024 | invalid |
| 58.0ms | 252× | body | 512 | invalid |
| 43.0ms | 718× | body | 128 | nan |
| 25.0ms | 163× | body | 256 | invalid |
| 10.0ms | 148× | body | 128 | overflowed |
| 5.0ms | 11× | body | 2048 | nan |
Compiled 7386 to 5097 computations (31% 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:
| 628.0ms | (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (*.f64 (tan.f64 y) (sin.f64 z)) (cos.f64 z)))) (tan.f64 a)) |
| 622.0ms | (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (cbrt.f64 (pow.f64 (*.f64 (tan.f64 y) (tan.f64 z)) 3)))) (tan.f64 a)) |
| 602.0ms | (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (*.f64 (tan.f64 y) (tan.f64 z)))) (tan.f64 a)) |
| 361.0ms | (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) |
| 290.0ms | (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (*.f64 (tan.f64 y) (sin.f64 z)) (cos.f64 z)))) |
| 73× | egg-herbie |
Compiled 75359 to 27372 computations (63.7% saved)
Compiled 35189 to 23776 computations (32.4% saved)
| 47× | rewrite-expression-head |
| 325× | add-sqr-sqrt_binary64_782 |
| 276× | add-exp-log_binary64_457 |
| 242× | add-sqr-sqrt_binary64_441 |
| 236× | *-un-lft-identity_binary64_760 |
| 231× | cbrt-prod_binary64_791 |
| 215× | add-exp-log_binary64_116 |
| 211× | times-frac_binary64_766 |
| 200× | add-cube-cbrt_binary64_795 |
| 190× | *-un-lft-identity_binary64_419 |
| 188× | add-cube-cbrt_binary64_454 |
| 186× | add-cbrt-cube_binary64_455 |
| 176× | add-sqr-sqrt_binary64 |
| 149× | *-un-lft-identity_binary64 |
| 139× | prod-exp_binary64_127 |
| 134× | times-frac_binary64_425 |
| 124× | prod-exp_binary64_468 |
| 123× | unpow-prod-down_binary64_839 |
| 119× | add-exp-log_binary64 pow1_binary64_480 pow1_binary64_139 |
| 116× | add-sqr-sqrt_binary64_100 |
| 112× | associate-*r*_binary64_359 |
| 104× | associate-*r*_binary64_18 |
| 97× | add-cube-cbrt_binary64 |
| 96× | add-cbrt-cube_binary64_114 |
| 89× | add-exp-log_binary64_798 |
| 86× | pow1_binary64 |
| 82× | add-cbrt-cube_binary64 |
| 81× | cbrt-unprod_binary64_111 |
| 73× | associate-*l*_binary64 cbrt-div_binary64_792 |
| 72× | associate-*l*_binary64_360 cbrt-prod_binary64_109 |
| 68× | add-cube-cbrt_binary64_113 *-un-lft-identity_binary64_78 |
| 62× | pow1_binary64_821 |
| 59× | pow-prod-down_binary64_149 |
| 58× | cbrt-unprod_binary64_452 |
| 56× | associate-*l*_binary64_19 add-log-exp_binary64_458 |
| 53× | associate-*r*_binary64_700 |
| 52× | associate-*r*_binary64 |
| 51× | prod-exp_binary64 |
| 46× | sqrt-prod_binary64_94 |
| 45× | sqr-pow_binary64_732 |
| 44× | add-log-exp_binary64 add-cbrt-cube_binary64_796 |
| 42× | times-frac_binary64 |
| 41× | associate-*l*_binary64_701 |
| 38× | prod-exp_binary64_809 |
| 37× | unswap-sqr_binary64_728 div-exp_binary64_470 cbrt-unprod_binary64 |
| 36× | exp-diff_binary64_808 cbrt-prod_binary64 |
| 35× | exp-neg_binary64_807 sin-mult_binary64_574 neg-sub0_binary64_755 associate-/r/_binary64_365 |
| 34× | pow-prod-down_binary64_490 add-log-exp_binary64_799 swap-sqr_binary64_727 |
| 33× | pow-unpow_binary64_837 frac-times_binary64_770 |
| 32× | pow-prod-down_binary64 unpow-prod-down_binary64_157 associate-/r*_binary64_363 sqrt-prod_binary64 |
| 31× | tan-quot_binary64 |
| 29× | associate-*r/_binary64_702 |
| 28× | unswap-sqr_binary64_46 associate-/l*_binary64_364 |
| 27× | cos-mult_binary64_573 |
| 26× | pow-exp_binary64_828 unswap-sqr_binary64 sqrt-prod_binary64_435 |
| 24× | cbrt-undiv_binary64_453 |
| 23× | *-commutative_binary64_350 |
| 22× | unpow-prod-down_binary64 unswap-sqr_binary64_387 |
| 21× | associate-*l/_binary64_703 add-log-exp_binary64_117 log-prod_binary64_846 |
| 20× | distribute-lft-out--_binary64_712 pow-exp_binary64_487 |
| 19× | pow-to-exp_binary64_488 |
| 18× | *-commutative_binary64_9 sqrt-prod_binary64_776 div-inv_binary64_416 |
| 17× | difference-of-squares_binary64 |
| 16× | difference-of-squares_binary64_729 |
| 15× | pow-to-exp_binary64_829 cancel-sign-sub-inv_binary64 pow1/3_binary64_842 *-commutative_binary64 |
| 14× | flip3--_binary64_423 distribute-lft-out_binary64 flip--_binary64_394 frac-sub_binary64_428 |
| 13× | sub-div_binary64_426 |
| 12× | clear-num_binary64_418 associate-/r*_binary64 pow-to-exp_binary64_147 cancel-sign-sub-inv_binary64_726 frac-2neg_binary64_430 pow-exp_binary64_146 cbrt-unprod_binary64_793 associate--l+_binary64_697 |
| 10× | distribute-lft-out--_binary64 |
| 9× | unpow-prod-down_binary64_498 exp-prod_binary64_812 associate-/l*_binary64 div-inv_binary64_757 |
| 8× | sqrt-pow1_binary64_96 cbrt-prod_binary64_450 associate-/l*_binary64_705 associate-/r*_binary64_704 sqr-pow_binary64 |
| 7× | associate-/l/_binary64 exp-sum_binary64_806 unpow-prod-up_binary64_838 pow-exp_binary64 log-pow_binary64_849 pow-prod-down_binary64_831 |
| 6× | pow-to-exp_binary64 flip3--_binary64 sqr-pow_binary64_50 flip--_binary64 cube-div_binary64 sqrt-pow1_binary64_437 pow-pow_binary64_832 associate-*l/_binary64 rem-sqrt-square_binary64_432 |
| 5× | sub-neg_binary64_412 sub-neg_binary64 diff-log_binary64 frac-sub_binary64 sqr-pow_binary64_391 cancel-sign-sub-inv_binary64_385 sqrt-pow1_binary64_778 diff-log_binary64_511 *-commutative_binary64_691 |
| 4× | flip3-+_binary64 associate-/r/_binary64 unpow2_binary64_143 cbrt-undiv_binary64 associate-*r/_binary64 associate-+r+_binary64 sqrt-pow1_binary64 associate-*r/_binary64_361 pow-prod-up_binary64_830 pow-sqr_binary64_733 div-exp_binary64 sub-neg_binary64_753 frac-times_binary64 flip--_binary64_735 flip3--_binary64_764 flip-+_binary64 |
| 3× | clear-num_binary64 swap-sqr_binary64_386 unpow2_binary64_484 frac-add_binary64 inv-pow_binary64_504 pow-unpow_binary64_496 sum-log_binary64 cube-div_binary64_448 pow-unpow_binary64 diff-log_binary64_852 cbrt-div_binary64 pow-flip_binary64_493 rem-log-exp_binary64_801 frac-2neg_binary64 div-inv_binary64 pow1/2_binary64_158 |
| 2× | sqrt-div_binary64_436 cbrt-undiv_binary64_794 cube-prod_binary64_447 cos-2_binary64_561 pow2_binary64_841 cbrt-div_binary64_451 associate-/l/_binary64_707 pow-pow_binary64_491 pow1/2_binary64_840 pow1/2_binary64 cube-mult_binary64_449 unpow2_binary64 rem-exp-log_binary64_800 pow-plus_binary64_823 unpow3_binary64 cube-mult_binary64 rem-sqrt-square_binary64_773 cos-sum_binary64_553 tan-sum_binary64 frac-2neg_binary64_771 rem-cube-cbrt_binary64 sqrt-div_binary64_95 associate-*r/_binary64_20 associate-/r/_binary64_706 unpow3_binary64_485 clear-num_binary64_759 rem-cube-cbrt_binary64_442 pow-pow_binary64 +-commutative_binary64 pow1/2_binary64_499 cube-prod_binary64 div-exp_binary64_811 div-sub_binary64_424 |
| 1× | 1-exp_binary64_463 pow1/3_binary64_501 flip-+_binary64_52 div-sub_binary64_765 associate-+r-_binary64 rem-cbrt-cube_binary64 pow1/3_binary64 sqr-abs_binary64_434 pow2_binary64_500 e-exp-1_binary64_805 rem-cbrt-cube_binary64_443 rec-exp_binary64_469 pow-plus_binary64_482 pow-sqr_binary64_392 pow-prod-up_binary64_489 pow-sub_binary64_836 flip3-+_binary64_81 |
126 calls:
| 32.0ms | (*.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))) |
| 25.0ms | (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (cbrt.f64 (pow.f64 (*.f64 (tan.f64 y) (tan.f64 z)) 3)))) (tan.f64 a)) |
| 22.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)))) |
| 22.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)))) |
| 19.0ms | (-.f64 (/.f64 (+.f64 (tan.f64 y) (tan.f64 z)) (-.f64 1 (/.f64 (*.f64 (tan.f64 y) (sin.f64 z)) (cos.f64 z)))) (tan.f64 a)) |
Compiled 2 to 2 computations (0% saved)
Loading profile data...