| Date: | Wednesday, July 22nd, 2020 |
|---|---|
| Commit: | b1a42fe6 on reprify |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020204 |
| 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 |
| 77× | intervals |
| 43.6s | 43257× | body | 1280 | valid |
| 14.4s | 30445× | body | 640 | valid |
| 7.9s | 173716× | body | 80 | valid |
| 6.0s | 27264× | body | 320 | valid |
| 4.3s | 35913× | body | 160 | valid |
| 2.8s | 377× | body | 5120 | exit |
| 2.5s | 99379× | pre | 80 | true |
| 998.0ms | 3045× | body | 2560 | valid |
| 616.0ms | 3145× | body | 2560 | nan |
| 608.0ms | 228× | body | 1280 | overflowed |
| 501.0ms | 9471× | body | 80 | nan |
| 400.0ms | 2573× | body | 1280 | nan |
| 392.0ms | 2537× | body | 80 | overflowed |
| 352.0ms | 5376× | body | 80 | invalid |
| 270.0ms | 194× | body | 640 | overflowed |
| 233.0ms | 327× | body | 1280 | invalid |
| 192.0ms | 426× | body | 640 | invalid |
| 159.0ms | 1291× | body | 640 | nan |
| 93.0ms | 261× | body | 5120 | valid |
| 86.0ms | 108× | body | 320 | overflowed |
| 74.0ms | 231× | body | 320 | invalid |
| 62.0ms | 638× | body | 320 | nan |
| 29.0ms | 115× | body | 160 | invalid |
| 22.0ms | 52× | body | 160 | overflowed |
| 22.0ms | 333× | body | 160 | nan |
| 2.0ms | 111× | pre | 80 | false |
| 39× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 71.2% | 28.8% | 0 |
| 2.6% | 68.7% | 28.8% | 1 |
| 6.7% | 64.5% | 28.8% | 2 |
| 15.3% | 53.4% | 31.4% | 3 |
| 21.5% | 44.1% | 34.4% | 4 |
| 26.5% | 37.3% | 36.2% | 5 |
| 28.4% | 33.3% | 38.3% | 6 |
| 30.1% | 30.3% | 39.5% | 7 |
| 31% | 28.8% | 40.3% | 8 |
| 33% | 25.9% | 41.1% | 9 |
| 33.4% | 24.9% | 41.6% | 10 |
| 34.2% | 23.8% | 42% | 11 |
| 35% | 22.5% | 42.5% | 12 |
| 36% | 21.3% | 42.7% | 13 |
| 36.3% | 20.8% | 43% | 14 |
| 212× | egg-herbie |
Total 51.9b remaining (28.8%)
Threshold costs 4.6b (2.6%)
| 7.6b | 45.8% | Quadratic roots, narrow range |
| 7.4b | 46.5% | Cubic critical, narrow range |
| 6.0b | 10.8% | Cubic critical, medium range |
| 6.0b | 10.7% | Quadratic roots, medium range |
| 5.8b | 49.8% | Quotient of products |
420 calls:
| 250.0ms | (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0))) (*.f64 (/.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0)) (*.f64 (cbrt.f64 (+.f64 lambda1 lambda2)) (cbrt.f64 (+.f64 lambda1 lambda2)))) (/.f64 (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2)) (cbrt.f64 (+.f64 lambda1 lambda2))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))) |
| 249.0ms | (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0))) (/.f64 (/.f64 (*.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (*.f64 (cbrt.f64 (+.f64 lambda1 lambda2)) (cbrt.f64 (+.f64 lambda1 lambda2)))) (cbrt.f64 (+.f64 lambda1 lambda2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))) |
| 228.0ms | (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0))) (/.f64 (*.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (+.f64 lambda1 lambda2))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))) |
| 168.0ms | (sqrt.f64 (+.f64 (*.f64 (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2)))) |
| 117.0ms | (/.f64 (*.f64 (cos.f64 (/.f64 (+.f64 phi1 phi2) 2.0)) (-.f64 (*.f64 lambda1 lambda1) (*.f64 lambda2 lambda2))) (*.f64 (cbrt.f64 (+.f64 lambda1 lambda2)) (cbrt.f64 (+.f64 lambda1 lambda2)))) |
| 136× | rewrite-expression-head |
420 calls:
| 220.0ms | (/.f64 1 (/.f64 (/.f64 a (neg.f64 (*.f64 4.0 a))) (/.f64 (/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4.0 a) c))))) 2.0))) |
| 107.0ms | (log.f64 (exp.f64 (-.f64 (pow.f64 (/.f64 x (+.f64 x 1.0)) 3) (pow.f64 (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)) 3)))) |
| 102.0ms | (-.f64 (pow.f64 (/.f64 x (+.f64 x 1.0)) 3) (pow.f64 (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)) 3)) |
| 101.0ms | (-.f64 (pow.f64 (/.f64 x (+.f64 x 1.0)) 3) (pow.f64 (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)) 3)) |
| 100.0ms | (-.f64 (pow.f64 (/.f64 x (+.f64 x 1.0)) 3) (pow.f64 (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)) 3)) |
| 24639× | times-frac_binary64 |
| 13184× | *-un-lft-identity_binary64 |
| 10981× | add-sqr-sqrt_binary64 |
| 9720× | add-cube-cbrt_binary64 |
| 1747× | associate-/r*_binary64 |
| 1481× | add-exp-log_binary64 |
| 1255× | add-cbrt-cube_binary64 |
| 1238× | distribute-lft-out_binary64 |
| 798× | div-inv_binary64 |
| 789× | distribute-lft-neg-in_binary64 distribute-rgt-neg-in_binary64 |
| 783× | pow1_binary64 |
| 769× | neg-mul-1_binary64 |
| 759× | associate-/r/_binary64 |
| 644× | associate-*r*_binary64 |
| 600× | add-log-exp_binary64 |
| 501× | flip--_binary64 |
| 500× | flip3--_binary64 |
| 479× | unpow-prod-down_binary64 |
| 470× | distribute-lft-out--_binary64 |
| 460× | associate-*l/_binary64 |
| 453× | flip-+_binary64 |
| 452× | flip3-+_binary64 |
| 449× | difference-of-squares_binary64 |
| 415× | cbrt-prod_binary64 |
| 387× | frac-times_binary64 |
| 382× | cube-prod_binary64 |
| 373× | div-exp_binary64 |
| 368× | sqrt-prod_binary64 |
| 363× | associate-*l*_binary64 |
| 356× | associate-/l*_binary64 |
| 328× | sqrt-div_binary64 |
| 291× | prod-exp_binary64 |
| 284× | cbrt-undiv_binary64 |
| 268× | associate-*r/_binary64 |
| 252× | cbrt-unprod_binary64 |
| 240× | frac-add_binary64 |
| 193× | cbrt-div_binary64 |
| 143× | unswap-sqr_binary64 |
| 140× | log-prod_binary64 |
| 134× | log-pow_binary64 |
| 124× | pow-prod-down_binary64 |
| 108× | exp-prod_binary64 |
| 102× | sqr-pow_binary64 |
| 99× | clear-num_binary64 frac-2neg_binary64 |
| 93× | sub-neg_binary64 |
| 84× | *-commutative_binary64 |
| 82× | swap-sqr_binary64 |
| 70× | pow1/3_binary64 |
| 67× | associate-/l/_binary64 |
| 66× | diff-log_binary64 |
| 47× | div-sub_binary64 |
| 46× | pow1/2_binary64 sqrt-pow1_binary64 |
| 45× | pow-unpow_binary64 log-div_binary64 |
| 34× | sum-log_binary64 |
| 32× | pow-exp_binary64 |
| 26× | rem-sqrt-square_binary64 |
| 25× | distribute-rgt-in_binary64 +-commutative_binary64 distribute-lft-in_binary64 |
| 23× | pow-to-exp_binary64 rec-exp_binary64 1-exp_binary64 rem-log-exp_binary64 cube-div_binary64 pow-prod-up_binary64 |
| 20× | unpow3_binary64 cube-mult_binary64 |
| 19× | pow-sqr_binary64 pow-pow_binary64 |
| 18× | sin-diff_binary64 frac-sub_binary64 |
| 17× | unpow2_binary64 |
| 16× | cos-diff_binary64 |
| 15× | acos-asin_binary64 |
| 14× | distribute-frac-neg_binary64 |
| 13× | rem-cube-cbrt_binary64 associate--l+_binary64 |
| 12× | associate--r+_binary64 sinh-def_binary64 sin-mult_binary64 pow2_binary64 tan-quot_binary64 |
| 11× | neg-sub0_binary64 tanh-def-a_binary64 cosh-undef_binary64 pow-plus_binary64 tanh-def-b_binary64 sin-sum_binary64 tanh-def-c_binary64 |
| 10× | associate-+r+_binary64 |
| 9× | distribute-neg-frac_binary64 cos-sum_binary64 |
| 8× | sin-cos-mult_binary64 sinh-undef_binary64 associate--r-_binary64 |
| 6× | exp-sum_binary64 distribute-rgt-out_binary64 |
| 5× | associate-+r-_binary64 exp-diff_binary64 |
| 4× | difference-cubes_binary64 associate--l-_binary64 pow-flip_binary64 rem-exp-log_binary64 inv-pow_binary64 |
| 3× | sqrt-unprod_binary64 rem-cbrt-cube_binary64 acos-neg_binary64 distribute-rgt-out--_binary64 |
| 2× | cos-mult_binary64 asin-acos_binary64 rem-square-sqrt_binary64 un-div-inv_binary64 |
| 1× | tanh-undef_binary64 sum-cubes_binary64 exp-to-pow_binary64 distribute-lft1-in_binary64 sub-div_binary64 |
Loading profile data...