| Date: | Tuesday, July 28th, 2020 |
|---|---|
| Commit: | 4ba6b6e4 on master |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020210 |
| 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 |
| 62× | intervals |
| 20.1s | 30735× | body | 1280 | valid |
| 14.9s | 175975× | body | 80 | valid |
| 9.4s | 20547× | body | 640 | valid |
| 6.4s | 7424× | body | 2560 | valid |
| 4.6s | 50092× | body | 80 | nan |
| 3.6s | 1440× | body | 2560 | invalid |
| 3.6s | 768× | body | 5120 | invalid |
| 3.1s | 9782× | body | 320 | valid |
| 2.7s | 4618× | body | 1280 | nan |
| 2.5s | 24091× | body | 80 | invalid |
| 2.2s | 2603× | body | 5120 | valid |
| 2.0s | 3672× | body | 1280 | invalid |
| 1.8s | 8870× | body | 160 | valid |
| 1.7s | 3981× | body | 640 | nan |
| 1.1s | 3092× | body | 640 | invalid |
| 638.0ms | 2084× | body | 320 | nan |
| 460.0ms | 1668× | body | 320 | invalid |
| 374.0ms | 580× | body | 5120 | exit |
| 333.0ms | 2408× | body | 80 | overflowed |
| 157.0ms | 8256× | pre | 80 | true |
| 156.0ms | 851× | body | 160 | invalid |
| 129.0ms | 700× | body | 160 | nan |
465 calls:
| 2.6s | (sqrt.f64 (*.f64 (*.f64 (*.f64 2.0 n) U) (-.f64 (-.f64 t (*.f64 2.0 (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2.0)) (-.f64 U U*))))) |
| 2.6s | (sqrt.f64 (*.f64 (*.f64 (*.f64 2.0 n) U) (-.f64 (-.f64 t (*.f64 2.0 (*.f64 l (/.f64 l Om)))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2.0)) (-.f64 U U*))))) |
| 2.6s | (sqrt.f64 (*.f64 (*.f64 (*.f64 2.0 n) U) (-.f64 (-.f64 t (*.f64 2.0 (/.f64 l (/.f64 Om l)))) (*.f64 (*.f64 (*.f64 n (pow.f64 (*.f64 (cbrt.f64 (/.f64 l Om)) (cbrt.f64 (/.f64 l Om))) 2.0)) (pow.f64 (cbrt.f64 (/.f64 l Om)) 2.0)) (-.f64 U U*))))) |
| 2.6s | (sqrt.f64 (*.f64 (*.f64 (*.f64 2.0 n) U) (-.f64 (-.f64 t (*.f64 2.0 (/.f64 l (/.f64 Om l)))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2.0)) (-.f64 U U*))))) |
| 573.0ms | (*.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1.0 2.0)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1.0 2.0))) (*.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 d) (cbrt.f64 d)) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 1.0 2.0)) (pow.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 l)) (/.f64 1.0 2.0)))) (-.f64 1.0 (*.f64 (*.f64 (*.f64 (/.f64 1.0 2.0) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0)) (*.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 (cbrt.f64 h) l)))) |
| 31× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 98.2% | 1.8% | 0 |
| 3.2% | 95% | 1.8% | 1 |
| 5.6% | 91% | 3.4% | 2 |
| 8% | 84.5% | 7.4% | 3 |
| 9.8% | 80.7% | 9.5% | 4 |
| 13.5% | 76.9% | 9.7% | 5 |
| 16% | 72.8% | 11.2% | 6 |
| 18.1% | 68.2% | 13.7% | 7 |
| 21.2% | 62.6% | 16.2% | 8 |
| 24.7% | 57% | 18.2% | 9 |
| 26.4% | 53.6% | 20% | 10 |
| 28.9% | 49.8% | 21.3% | 11 |
| 30.2% | 47.2% | 22.5% | 12 |
| 31.9% | 42.5% | 25.7% | 13 |
| 32.9% | 40.8% | 26.3% | 14 |
Total 46.6b remaining (22%)
Threshold costs 4.5b (2.1%)
| 7.3b | 14% | Toniolo and Linder, Equation (13) |
| 6.4b | -3.8% | Henrywood and Agarwal, Equation (12) |
| 5.6b | 76.9% | Toniolo and Linder, Equation (7) |
| 4.8b | -7.1% | Henrywood and Agarwal, Equation (3) |
| 4.7b | 21.2% | Toniolo and Linder, Equation (10-) |
| 184× | egg-herbie |
| 122× | rewrite-expression-head |
465 calls:
| 89.0ms | (*.f64 (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))) (/.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 t) 3.0) l) (sin.f64 k)) (*.f64 (/.f64 (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0)) (cbrt.f64 l)) (cbrt.f64 (pow.f64 (cbrt.f64 t) 3.0))))) (tan.f64 k)) (+.f64 (+.f64 1.0 (pow.f64 (/.f64 k t) 2.0)) 1.0)) |
| 83.0ms | (*.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1.0 2.0)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1.0 2.0))) (*.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 d) (cbrt.f64 d)) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 1.0 2.0)) (pow.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 l)) (/.f64 1.0 2.0)))) (-.f64 1.0 (*.f64 (*.f64 (*.f64 (/.f64 1.0 2.0) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0)) (*.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 (cbrt.f64 h) l)))) |
| 81.0ms | (*.f64 (*.f64 (*.f64 (pow.f64 (/.f64 1 (*.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1.0 2.0)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1.0 2.0))) (*.f64 (pow.f64 (/.f64 (*.f64 (cbrt.f64 d) (cbrt.f64 d)) (*.f64 (cbrt.f64 l) (cbrt.f64 l))) (/.f64 1.0 2.0)) (pow.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 l)) (/.f64 1.0 2.0)))) (-.f64 1.0 (*.f64 (*.f64 (/.f64 1.0 2.0) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2.0 d)) 2.0)) (/.f64 h l)))) |
| 80.0ms | (*.f64 (pow.f64 (/.f64 1 (pow.f64 k (/.f64 2.0 2))) 1.0) (*.f64 (/.f64 (*.f64 (cos.f64 k) (*.f64 l l)) (pow.f64 (sin.f64 k) 2)) (pow.f64 (/.f64 1 (*.f64 (pow.f64 k (/.f64 2.0 2)) (pow.f64 t 1.0))) 1.0))) |
| 72.0ms | (+.f64 1.0 (/.f64 (/.f64 x (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 p (*.f64 4.0 p)) (*.f64 x x))))) (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 (*.f64 4.0 p) p) (*.f64 x x)))))) |
| 50650× | add-exp-log_binary64 |
| 35998× | prod-exp_binary64 |
| 20855× | pow-exp_binary64 |
| 16276× | div-exp_binary64 |
| 8718× | pow-to-exp_binary64 |
| 7084× | times-frac_binary64 |
| 5167× | add-sqr-sqrt_binary64 |
| 5154× | *-un-lft-identity_binary64 |
| 4233× | add-cube-cbrt_binary64 |
| 3706× | add-cbrt-cube_binary64 |
| 3258× | rec-exp_binary64 1-exp_binary64 |
| 2321× | cbrt-unprod_binary64 |
| 1897× | sqrt-prod_binary64 |
| 1525× | pow1_binary64 |
| 1496× | unpow-prod-down_binary64 |
| 1183× | associate-*l*_binary64 |
| 1030× | associate-*r*_binary64 |
| 909× | associate-*r/_binary64 |
| 896× | cbrt-undiv_binary64 |
| 748× | cbrt-prod_binary64 |
| 688× | sqrt-div_binary64 |
| 601× | associate-/r*_binary64 |
| 583× | add-log-exp_binary64 |
| 561× | pow-prod-down_binary64 |
| 552× | sqr-pow_binary64 |
| 547× | frac-times_binary64 |
| 481× | associate-*l/_binary64 |
| 360× | flip3--_binary64 flip--_binary64 |
| 324× | div-inv_binary64 |
| 301× | distribute-lft-out_binary64 |
| 272× | cbrt-div_binary64 |
| 268× | pow-unpow_binary64 |
| 266× | associate-/l*_binary64 exp-prod_binary64 |
| 246× | associate-/r/_binary64 |
| 238× | unswap-sqr_binary64 |
| 222× | flip3-+_binary64 distribute-lft-out--_binary64 flip-+_binary64 |
| 194× | difference-of-squares_binary64 |
| 168× | *-commutative_binary64 |
| 127× | sqrt-pow1_binary64 |
| 95× | tan-quot_binary64 |
| 88× | pow1/2_binary64 |
| 86× | clear-num_binary64 frac-2neg_binary64 |
| 84× | log-prod_binary64 |
| 75× | sub-neg_binary64 |
| 73× | cube-prod_binary64 |
| 65× | rem-sqrt-square_binary64 |
| 64× | distribute-rgt-in_binary64 distribute-lft-in_binary64 |
| 58× | frac-sub_binary64 |
| 57× | frac-add_binary64 |
| 54× | pow1/3_binary64 |
| 49× | pow-pow_binary64 |
| 43× | log-pow_binary64 |
| 39× | distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64 |
| 38× | associate-/l/_binary64 |
| 37× | sum-log_binary64 |
| 31× | pow-prod-up_binary64 |
| 26× | +-commutative_binary64 |
| 24× | swap-sqr_binary64 |
| 21× | diff-log_binary64 |
| 20× | div-sub_binary64 |
| 19× | pow-sqr_binary64 |
| 16× | pow-plus_binary64 |
| 15× | rem-exp-log_binary64 |
| 14× | pow-neg_binary64 sinh-undef_binary64 |
| 13× | cosh-undef_binary64 |
| 12× | unpow2_binary64 pow-sub_binary64 associate--l+_binary64 |
| 11× | rem-log-exp_binary64 exp-diff_binary64 |
| 10× | pow-flip_binary64 associate-+r+_binary64 inv-pow_binary64 pow2_binary64 |
| 9× | neg-sub0_binary64 |
| 7× | cube-div_binary64 un-div-inv_binary64 |
| 6× | sqrt-unprod_binary64 sinh-def_binary64 |
| 5× | cos-diff_binary64 cos-sum_binary64 |
| 4× | log-div_binary64 distribute-rgt-out--_binary64 |
| 3× | acos-asin_binary64 neg-mul-1_binary64 unpow3_binary64 cube-mult_binary64 rem-cube-cbrt_binary64 |
| 2× | associate--r+_binary64 exp-sum_binary64 pow-div_binary64 sqrt-pow2_binary64 associate-+l+_binary64 distribute-rgt-out_binary64 asin-acos_binary64 rem-square-sqrt_binary64 |
| 1× | difference-cubes_binary64 sqrt-undiv_binary64 associate--l-_binary64 exp-to-pow_binary64 sub-div_binary64 mul0-rgt_binary64 |
Loading profile data...