| Date: | Saturday, February 13th, 2021 |
|---|---|
| Commit: | f81940a2 on master |
| Hostname: | warfa with Racket 7.9 |
| Seed: | 2021044 |
| 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:fallback default |
Time bar (total: 43.6s)
| 18× | intervals |
| 3.9s | 70079× | body | 128 | valid |
| 990.0ms | 4225× | body | 2048 | valid |
| 150.0ms | 2065× | body | 128 | invalid |
| 138.0ms | 1343× | body | 128 | nan |
Compiled 6745 to 4634 computations (31.3% saved)
43 calls:
| 1.1s | (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) |
| 914.0ms | (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) |
| 861.0ms | (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) |
| 751.0ms | (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) |
| 560.0ms | (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) |
Compiled 72718 to 50082 computations (31.1% saved)
| 9× | search |
| 18× | egg-herbie |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 11.1% | 88.8% | 0.1% | 1 |
| 11.1% | 83.3% | 5.6% | 2 |
| 19.4% | 69.4% | 11.2% | 3 |
| 31.9% | 51.3% | 16.8% | 4 |
| 35.4% | 45.1% | 19.5% | 5 |
| 45.1% | 34% | 20.9% | 6 |
| 50.7% | 26.4% | 23% | 7 |
| 53.3% | 23.4% | 23.3% | 8 |
| 57.6% | 18.3% | 24.1% | 9 |
| 59.6% | 15.1% | 25.4% | 10 |
| 61.3% | 12.9% | 25.8% | 11 |
| 63.2% | 10% | 26.8% | 12 |
| 64.2% | 8.2% | 27.6% | 13 |
| 64.9% | 6.9% | 28.2% | 14 |
Compiled 144 to 110 computations (23.6% saved)
Compiled 71867 to 37836 computations (47.4% saved)
| 42× | egg-herbie |
| 24× | rewrite-expression-head |
| 186× | *-un-lft-identity_binary64 |
| 171× | add-sqr-sqrt_binary64 |
| 140× | add-exp-log_binary64_457 |
| 112× | add-cube-cbrt_binary64 |
| 96× | add-sqr-sqrt_binary64_441 |
| 89× | add-cbrt-cube_binary64_455 |
| 84× | times-frac_binary64 |
| 82× | add-sqr-sqrt_binary64_100 |
| 81× | pow1_binary64_480 |
| 80× | *-un-lft-identity_binary64_419 |
| 76× | cbrt-unprod_binary64_452 prod-exp_binary64_468 |
| 72× | add-cube-cbrt_binary64_454 |
| 64× | *-un-lft-identity_binary64_78 |
| 61× | associate-*r*_binary64 |
| 60× | add-exp-log_binary64 associate-*l*_binary64_360 |
| 54× | add-cbrt-cube_binary64 pow1_binary64 |
| 53× | add-log-exp_binary64_117 |
| 52× | add-cube-cbrt_binary64_113 times-frac_binary64_425 |
| 49× | cbrt-prod_binary64_450 |
| 48× | add-log-exp_binary64 |
| 43× | pow-prod-down_binary64_490 |
| 36× | pow1_binary64_139 add-exp-log_binary64_116 cbrt-prod_binary64 |
| 33× | sqrt-prod_binary64 |
| 30× | associate-*l*_binary64 add-cbrt-cube_binary64_114 |
| 28× | distribute-lft-out_binary64 sqrt-prod_binary64_94 |
| 26× | flip-+_binary64 flip3-+_binary64 |
| 21× | associate-*r*_binary64_359 |
| 18× | cbrt-div_binary64 cancel-sign-sub-inv_binary64_44 sqrt-div_binary64_95 associate-*r*_binary64_18 |
| 17× | add-log-exp_binary64_458 |
| 16× | unswap-sqr_binary64 |
| 15× | div-exp_binary64_470 cbrt-undiv_binary64_453 flip3--_binary64_82 flip--_binary64_53 |
| 14× | sqrt-div_binary64 associate-*r/_binary64 |
| 13× | flip-+_binary64_52 unpow-prod-down_binary64 cube-prod_binary64 flip3-+_binary64_81 |
| 12× | unswap-sqr_binary64_387 pow1/3_binary64_501 |
| 11× | difference-of-squares_binary64_47 flip--_binary64 flip3--_binary64 prod-exp_binary64 cube-div_binary64 unpow-prod-down_binary64_157 sum-log_binary64_169 |
| 10× | associate-*l/_binary64_362 frac-times_binary64 associate-*l/_binary64 frac-add_binary64 |
| 9× | swap-sqr_binary64 associate-*l*_binary64_19 difference-of-squares_binary64 pow1/2_binary64_158 associate-/r*_binary64 pow-prod-down_binary64 rem-sqrt-square_binary64_91 cbrt-unprod_binary64 pow1/3_binary64 sqrt-pow1_binary64_96 |
| 8× | sqrt-pow1_binary64 pow1/2_binary64 frac-add_binary64_86 |
| 7× | div-exp_binary64 +-commutative_binary64 *-commutative_binary64_350 unswap-sqr_binary64_46 sum-log_binary64 associate-/l*_binary64 distribute-lft-out--_binary64 prod-exp_binary64_127 div-inv_binary64 |
| 6× | swap-sqr_binary64_386 cbrt-undiv_binary64 associate-*r/_binary64_20 pow-unpow_binary64_155 rem-sqrt-square_binary64 *-commutative_binary64 exp-prod_binary64_130 sub-neg_binary64_71 associate-/r/_binary64 cbrt-prod_binary64_109 |
| 5× | div-inv_binary64_416 cancel-sign-sub-inv_binary64 sqr-pow_binary64_50 diff-log_binary64_170 |
| 4× | associate-/l*_binary64_364 unpow-prod-up_binary64_156 cbrt-div_binary64_110 difference-of-sqr-1_binary64_48 +-commutative_binary64_8 pow-exp_binary64_146 exp-sum_binary64_124 distribute-lft-out_binary64_370 |
| 3× | associate-/r*_binary64_363 *-commutative_binary64_9 cbrt-unprod_binary64_111 sub-neg_binary64 pow-to-exp_binary64_147 pow-unpow_binary64 unpow3_binary64 distribute-lft-out_binary64_29 diff-log_binary64 |
| 2× | rem-cube-cbrt_binary64 rem-exp-log_binary64_118 pow-prod-up_binary64 pow-exp_binary64 associate-/l/_binary64_366 frac-2neg_binary64 associate-/l/_binary64 distribute-rgt-out_binary64 pow1/3_binary64_160 pow-prod-up_binary64_489 pow-sqr_binary64 pow-sqr_binary64_392 clear-num_binary64 |
| 1× | diff-log_binary64_511 pow-to-exp_binary64 flip3--_binary64_423 pow-pow_binary64_150 distribute-lft-in_binary64_27 sqrt-unprod_binary64 difference-of-sqr-1_binary64 flip3-+_binary64_422 pow-pow_binary64 frac-sub_binary64_428 sub-div_binary64_426 pow-prod-down_binary64_149 cancel-sign-sub-inv_binary64_385 pow-plus_binary64_482 pow2_binary64_500 flip-+_binary64_393 un-div-inv_binary64 exp-diff_binary64_126 rec-exp_binary64 pow-sub_binary64_154 flip--_binary64_394 distribute-lft-in_binary64 associate-+r+_binary64_10 sqr-pow_binary64 associate-+l+_binary64_11 cube-mult_binary64 1-exp_binary64 e-exp-1_binary64_123 distribute-rgt-in_binary64_28 distribute-rgt-in_binary64 distribute-lft-out--_binary64_30 pow-plus_binary64 sub-neg_binary64_412 clear-num_binary64_418 frac-2neg_binary64_430 pow2_binary64 |
43 calls:
| 35.0ms | (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))) |
| 28.0ms | (+.f64 (pow.f64 (/.f64 n f) 3) (*.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f))) |
| 25.0ms | (*.f64 -2 (+.f64 (pow.f64 (/.f64 n f) 3) (*.f64 (+.f64 (/.f64 n f) 1) (/.f64 n f)))) |
| 25.0ms | (*.f64 (*.f64 (/.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 z)))) |
| 24.0ms | (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) |
Compiled 48688 to 24149 computations (50.4% saved)
Compiled 22849 to 15743 computations (31.1% saved)
Compiled 6120 to 10200 computations (-66.7% saved)
Compiled 88 to 62 computations (29.5% saved)
Loading profile data...