7.388 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying: (+ (+ (+ (+ x x) x) x) x) 0.024 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.024 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.024 * * [simplify]: Extracting # 2 : cost 3 inf + 1 0.024 * * [simplify]: Extracting # 3 : cost 4 inf + 1 0.024 * * [simplify]: Extracting # 4 : cost 0 inf + 405 0.025 * * [simplify]: iteration 0 : 5 enodes (cost 161 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 inf + 405 0.027 * * [simplify]: Extracting # 1 : cost 1 inf + 325 0.027 * * [simplify]: Extracting # 2 : cost 0 inf + 326 0.027 * * [simplify]: iteration 1 : 12 enodes (cost 121 ) 0.033 * * [simplify]: Extracting # 0 : cost 0 inf + 326 0.033 * * [simplify]: Extracting # 1 : cost 2 inf + 326 0.033 * * [simplify]: Extracting # 2 : cost 0 inf + 328 0.034 * * [simplify]: Extracting # 3 : cost 0 inf + 211 0.034 * * [simplify]: iteration 2 : 22 enodes (cost 82 ) 0.044 * * [simplify]: Extracting # 0 : cost 0 inf + 211 0.045 * * [simplify]: Extracting # 1 : cost 3 inf + 211 0.045 * * [simplify]: Extracting # 2 : cost 0 inf + 214 0.045 * * [simplify]: Extracting # 3 : cost 0 inf + 174 0.045 * * [simplify]: iteration 3 : 36 enodes (cost 42 ) 0.056 * * [simplify]: Extracting # 0 : cost 0 inf + 174 0.056 * * [simplify]: Extracting # 1 : cost 2 inf + 174 0.057 * * [simplify]: Extracting # 2 : cost 0 inf + 258 0.057 * * [simplify]: iteration 4 : 48 enodes (cost 42 ) 0.071 * * [simplify]: Extracting # 0 : cost 0 inf + 258 0.071 * * [simplify]: Extracting # 1 : cost 29 inf + 176 0.071 * * [simplify]: Extracting # 2 : cost 0 inf + 1661 0.072 * * [simplify]: iteration 5 : 119 enodes (cost 42 ) 0.101 * * [simplify]: Extracting # 0 : cost 0 inf + 1661 0.103 * * [simplify]: Extracting # 1 : cost 74 inf + 1499 0.105 * * [simplify]: Extracting # 2 : cost 0 inf + 6273 0.108 * * [simplify]: iteration 6 : 346 enodes (cost 42 ) 0.216 * * [simplify]: Extracting # 0 : cost 0 inf + 6273 0.220 * * [simplify]: Extracting # 1 : cost 194 inf + 5644 0.225 * * [simplify]: Extracting # 2 : cost 0 inf + 17858 0.231 * * [simplify]: Extracting # 3 : cost 0 inf + 17818 0.236 * * [simplify]: iteration 7 : 911 enodes (cost 42 ) 1.125 * * [simplify]: Extracting # 0 : cost 0 inf + 17818 1.172 * * [simplify]: Extracting # 1 : cost 131 inf + 12480 1.255 * * [simplify]: Extracting # 2 : cost 0 inf + 20047 1.320 * * [simplify]: iteration 8 : 1504 enodes (cost 42 ) 1.649 * * [simplify]: Extracting # 0 : cost 0 inf + 20047 1.710 * * [simplify]: Extracting # 1 : cost 34 inf + 18300 1.771 * * [simplify]: Extracting # 2 : cost 0 inf + 20508 1.818 * * [simplify]: iteration 9 : 1656 enodes (cost 42 ) 2.110 * * [simplify]: Extracting # 0 : cost 0 inf + 20508 2.147 * * [simplify]: Extracting # 1 : cost 72 inf + 19792 2.201 * * [simplify]: Extracting # 2 : cost 0 inf + 24911 2.251 * * [simplify]: iteration 10 : 1891 enodes (cost 42 ) 2.831 * * [simplify]: Extracting # 0 : cost 0 inf + 24911 2.935 * * [simplify]: Extracting # 1 : cost 76 inf + 23028 3.073 * * [simplify]: Extracting # 2 : cost 0 inf + 26229 3.254 * * [simplify]: iteration 11 : 2111 enodes (cost 42 ) 3.888 * * [simplify]: Extracting # 0 : cost 0 inf + 26229 3.993 * * [simplify]: Extracting # 1 : cost 24 inf + 26066 4.123 * * [simplify]: Extracting # 2 : cost 0 inf + 27296 4.260 * * [simplify]: iteration 12 : 2223 enodes (cost 42 ) 4.801 * * [simplify]: Extracting # 0 : cost 0 inf + 27296 4.949 * * [simplify]: Extracting # 1 : cost 16 inf + 27136 5.096 * * [simplify]: Extracting # 2 : cost 0 inf + 27876 5.242 * * [simplify]: iteration 13 : 2277 enodes (cost 42 ) 5.801 * * [simplify]: Extracting # 0 : cost 0 inf + 27876 5.935 * * [simplify]: Extracting # 1 : cost 34 inf + 27874 6.040 * * [simplify]: Extracting # 2 : cost 0 inf + 30810 6.198 * * [simplify]: iteration 14 : 2388 enodes (cost 42 ) 6.975 * * [simplify]: Extracting # 0 : cost 0 inf + 30810 7.149 * * [simplify]: Extracting # 1 : cost 35 inf + 29368 7.281 * * [simplify]: Extracting # 2 : cost 0 inf + 30888 7.503 * * [simplify]: iteration 15 : 2478 enodes (cost 42 ) 8.032 * * [simplify]: Extracting # 0 : cost 0 inf + 30888 8.212 * * [simplify]: Extracting # 1 : cost 15 inf + 30885 8.406 * * [simplify]: Extracting # 2 : cost 0 inf + 31543 8.554 * * [simplify]: iteration 16 : 2529 enodes (cost 42 ) 9.044 * * [simplify]: Extracting # 0 : cost 0 inf + 31543 9.197 * * [simplify]: Extracting # 1 : cost 16 inf + 31542 9.382 * * [simplify]: Extracting # 2 : cost 0 inf + 32282 9.595 * * [simplify]: iteration 17 : 2583 enodes (cost 42 ) 10.251 * * [simplify]: Extracting # 0 : cost 0 inf + 32282 10.421 * * [simplify]: Extracting # 1 : cost 16 inf + 32280 10.604 * * [simplify]: Extracting # 2 : cost 0 inf + 33020 10.769 * * [simplify]: iteration 18 : 2637 enodes (cost 42 ) 11.183 * * [simplify]: Extracting # 0 : cost 0 inf + 33020 11.340 * * [simplify]: Extracting # 1 : cost 15 inf + 33018 11.474 * * [simplify]: Extracting # 2 : cost 0 inf + 33676 11.660 * * [simplify]: iteration 19 : 2687 enodes (cost 42 ) 12.182 * * [simplify]: Extracting # 0 : cost 0 inf + 33676 12.377 * * [simplify]: Extracting # 1 : cost 16 inf + 33674 12.520 * * [simplify]: Extracting # 2 : cost 0 inf + 34414 12.663 * * [simplify]: iteration 20 : 2740 enodes (cost 42 ) 13.159 * * [simplify]: Extracting # 0 : cost 0 inf + 34414 13.296 * * [simplify]: Extracting # 1 : cost 15 inf + 34413 13.473 * * [simplify]: Extracting # 2 : cost 0 inf + 35071 13.657 * * [simplify]: iteration 21 : 2790 enodes (cost 42 ) 14.165 * * [simplify]: Extracting # 0 : cost 0 inf + 35071 14.312 * * [simplify]: Extracting # 1 : cost 15 inf + 35069 14.490 * * [simplify]: Extracting # 2 : cost 0 inf + 35727 14.663 * * [simplify]: iteration 22 : 2839 enodes (cost 42 ) 15.152 * * [simplify]: Extracting # 0 : cost 0 inf + 35727 15.289 * * [simplify]: Extracting # 1 : cost 15 inf + 35725 15.454 * * [simplify]: Extracting # 2 : cost 0 inf + 36383 15.595 * * [simplify]: iteration 23 : 2888 enodes (cost 42 ) 16.002 * * [simplify]: Extracting # 0 : cost 0 inf + 36383 16.146 * * [simplify]: Extracting # 1 : cost 15 inf + 36381 16.292 * * [simplify]: Extracting # 2 : cost 0 inf + 37039 16.444 * * [simplify]: iteration 24 : 2938 enodes (cost 42 ) 16.913 * * [simplify]: Extracting # 0 : cost 0 inf + 37039 17.067 * * [simplify]: Extracting # 1 : cost 15 inf + 37038 17.249 * * [simplify]: Extracting # 2 : cost 0 inf + 37696 17.400 * * [simplify]: iteration 25 : 2987 enodes (cost 42 ) 17.902 * * [simplify]: Extracting # 0 : cost 0 inf + 37696 18.066 * * [simplify]: Extracting # 1 : cost 15 inf + 37694 18.233 * * [simplify]: Extracting # 2 : cost 0 inf + 38352 18.412 * * [simplify]: iteration 26 : 3037 enodes (cost 42 ) 18.873 * * [simplify]: Extracting # 0 : cost 0 inf + 38352 19.029 * * [simplify]: Extracting # 1 : cost 15 inf + 38350 19.183 * * [simplify]: Extracting # 2 : cost 0 inf + 39008 19.355 * * [simplify]: iteration 27 : 3087 enodes (cost 42 ) 19.834 * * [simplify]: Extracting # 0 : cost 0 inf + 39008 19.988 * * [simplify]: Extracting # 1 : cost 15 inf + 39006 20.170 * * [simplify]: Extracting # 2 : cost 0 inf + 39664 20.310 * * [simplify]: iteration 28 : 3137 enodes (cost 42 ) 20.852 * * [simplify]: Extracting # 0 : cost 0 inf + 39664 21.062 * * [simplify]: Extracting # 1 : cost 16 inf + 39662 21.269 * * [simplify]: Extracting # 2 : cost 0 inf + 40362 21.429 * * [simplify]: iteration 29 : 3186 enodes (cost 42 ) 21.953 * * [simplify]: Extracting # 0 : cost 0 inf + 40362 22.129 * * [simplify]: Extracting # 1 : cost 15 inf + 40359 22.325 * * [simplify]: Extracting # 2 : cost 0 inf + 41017 22.537 * * [simplify]: iteration 30 : 3237 enodes (cost 42 ) 23.098 * * [simplify]: Extracting # 0 : cost 0 inf + 41017 23.279 * * [simplify]: Extracting # 1 : cost 15 inf + 41015 23.515 * * [simplify]: Extracting # 2 : cost 0 inf + 41673 23.765 * * [simplify]: iteration 31 : 3287 enodes (cost 42 ) 24.163 * * [simplify]: Extracting # 0 : cost 0 inf + 41673 24.285 * * [simplify]: Extracting # 1 : cost 15 inf + 41671 24.459 * * [simplify]: Extracting # 2 : cost 0 inf + 42329 24.641 * * [simplify]: iteration 32 : 3336 enodes (cost 42 ) 25.188 * * [simplify]: Extracting # 0 : cost 0 inf + 42329 25.333 * * [simplify]: Extracting # 1 : cost 16 inf + 42327 25.461 * * [simplify]: Extracting # 2 : cost 0 inf + 43027 25.679 * * [simplify]: iteration 33 : 3386 enodes (cost 42 ) 26.198 * * [simplify]: Extracting # 0 : cost 0 inf + 43027 26.446 * * [simplify]: Extracting # 1 : cost 15 inf + 43024 26.655 * * [simplify]: Extracting # 2 : cost 0 inf + 43682 26.888 * * [simplify]: iteration 34 : 3437 enodes (cost 42 ) 27.391 * * [simplify]: Extracting # 0 : cost 0 inf + 43682 27.541 * * [simplify]: Extracting # 1 : cost 16 inf + 43680 27.728 * * [simplify]: Extracting # 2 : cost 0 inf + 44380 27.883 * * [simplify]: iteration 35 : 3486 enodes (cost 42 ) 28.399 * * [simplify]: Extracting # 0 : cost 0 inf + 44380 28.610 * * [simplify]: Extracting # 1 : cost 16 inf + 44377 28.776 * * [simplify]: Extracting # 2 : cost 0 inf + 45077 28.910 * * [simplify]: iteration 36 : 3536 enodes (cost 42 ) 29.405 * * [simplify]: Extracting # 0 : cost 0 inf + 45077 29.576 * * [simplify]: Extracting # 1 : cost 16 inf + 45074 29.784 * * [simplify]: Extracting # 2 : cost 0 inf + 45774 29.975 * * [simplify]: iteration 37 : 3587 enodes (cost 42 ) 30.450 * * [simplify]: Extracting # 0 : cost 0 inf + 45774 30.670 * * [simplify]: Extracting # 1 : cost 15 inf + 45771 30.894 * * [simplify]: Extracting # 2 : cost 0 inf + 46429 31.071 * * [simplify]: iteration 38 : 3638 enodes (cost 42 ) 31.511 * * [simplify]: Extracting # 0 : cost 0 inf + 46429 31.726 * * [simplify]: Extracting # 1 : cost 15 inf + 46428 31.970 * * [simplify]: Extracting # 2 : cost 0 inf + 47086 32.165 * * [simplify]: iteration 39 : 3688 enodes (cost 42 ) 32.786 * * [simplify]: Extracting # 0 : cost 0 inf + 47086 32.966 * * [simplify]: Extracting # 1 : cost 15 inf + 47085 33.128 * * [simplify]: Extracting # 2 : cost 0 inf + 47743 33.334 * * [simplify]: iteration 40 : 3736 enodes (cost 42 ) 33.732 * * [simplify]: Extracting # 0 : cost 0 inf + 47743 33.902 * * [simplify]: Extracting # 1 : cost 14 inf + 47741 34.051 * * [simplify]: Extracting # 2 : cost 0 inf + 48357 34.216 * * [simplify]: iteration 41 : 3780 enodes (cost 42 ) 34.557 * * [simplify]: Extracting # 0 : cost 0 inf + 48357 34.731 * * [simplify]: Extracting # 1 : cost 16 inf + 48357 34.866 * * [simplify]: Extracting # 2 : cost 0 inf + 49057 35.017 * * [simplify]: iteration 42 : 3829 enodes (cost 42 ) 35.416 * * [simplify]: Extracting # 0 : cost 0 inf + 49057 35.565 * * [simplify]: Extracting # 1 : cost 15 inf + 49054 35.749 * * [simplify]: Extracting # 2 : cost 0 inf + 49712 35.897 * * [simplify]: iteration 43 : 3903 enodes (cost 42 ) 36.269 * * [simplify]: Extracting # 0 : cost 0 inf + 49712 36.407 * * [simplify]: Extracting # 1 : cost 16 inf + 49712 36.581 * * [simplify]: Extracting # 2 : cost 0 inf + 50452 36.746 * * [simplify]: iteration 44 : 3955 enodes (cost 42 ) 37.163 * * [simplify]: Extracting # 0 : cost 0 inf + 50452 37.352 * * [simplify]: Extracting # 1 : cost 16 inf + 50409 37.562 * * [simplify]: Extracting # 2 : cost 0 inf + 51109 37.780 * * [simplify]: iteration 45 : 4031 enodes (cost 42 ) 38.349 * * [simplify]: Extracting # 0 : cost 0 inf + 51109 38.532 * * [simplify]: Extracting # 1 : cost 36 inf + 51106 38.734 * * [simplify]: Extracting # 2 : cost 0 inf + 54044 38.950 * * [simplify]: iteration 46 : 4137 enodes (cost 42 ) 39.749 * * [simplify]: Extracting # 0 : cost 0 inf + 54044 40.015 * * [simplify]: Extracting # 1 : cost 32 inf + 52643 40.249 * * [simplify]: Extracting # 2 : cost 0 inf + 54039 40.485 * * [simplify]: iteration 47 : 4231 enodes (cost 42 ) 41.302 * * [simplify]: Extracting # 0 : cost 0 inf + 54039 41.518 * * [simplify]: Extracting # 1 : cost 38 inf + 54038 41.778 * * [simplify]: Extracting # 2 : cost 0 inf + 57302 41.962 * * [simplify]: iteration 48 : 4352 enodes (cost 42 ) 42.892 * * [simplify]: Extracting # 0 : cost 0 inf + 57302 43.167 * * [simplify]: Extracting # 1 : cost 33 inf + 55700 43.469 * * [simplify]: Extracting # 2 : cost 0 inf + 57096 43.802 * * [simplify]: iteration 49 : 4438 enodes (cost 42 ) 44.564 * * [simplify]: Extracting # 0 : cost 0 inf + 57096 44.843 * * [simplify]: Extracting # 1 : cost 17 inf + 57094 45.144 * * [simplify]: Extracting # 2 : cost 0 inf + 57876 45.393 * * [simplify]: iteration 50 : 4492 enodes (cost 42 ) 46.199 * * [simplify]: Extracting # 0 : cost 0 inf + 57876 46.470 * * [simplify]: Extracting # 1 : cost 17 inf + 57873 46.727 * * [simplify]: Extracting # 2 : cost 0 inf + 58655 46.994 * * [simplify]: iteration 51 : 4547 enodes (cost 42 ) 47.723 * * [simplify]: Extracting # 0 : cost 0 inf + 58655 48.043 * * [simplify]: Extracting # 1 : cost 15 inf + 58652 48.315 * * [simplify]: Extracting # 2 : cost 0 inf + 59310 48.535 * * [simplify]: iteration 52 : 4598 enodes (cost 42 ) 49.476 * * [simplify]: Extracting # 0 : cost 0 inf + 59310 49.817 * * [simplify]: Extracting # 1 : cost 16 inf + 59308 50.110 * * [simplify]: Extracting # 2 : cost 0 inf + 60048 50.409 * * [simplify]: iteration 53 : 4651 enodes (cost 42 ) 51.105 * * [simplify]: Extracting # 0 : cost 0 inf + 60048 51.349 * * [simplify]: Extracting # 1 : cost 15 inf + 60046 51.660 * * [simplify]: Extracting # 2 : cost 0 inf + 60704 51.953 * * [simplify]: iteration 54 : 4701 enodes (cost 42 ) 52.590 * * [simplify]: Extracting # 0 : cost 0 inf + 60704 52.961 * * [simplify]: Extracting # 1 : cost 19 inf + 60702 53.284 * * [simplify]: Extracting # 2 : cost 0 inf + 61525 53.596 * * [simplify]: iteration 55 : 4756 enodes (cost 42 ) 54.472 * * [simplify]: Extracting # 0 : cost 0 inf + 61525 54.829 * * [simplify]: Extracting # 1 : cost 25 inf + 61522 55.184 * * [simplify]: Extracting # 2 : cost 0 inf + 62632 55.529 * * [simplify]: iteration 56 : 4827 enodes (cost 42 ) 56.398 * * [simplify]: Extracting # 0 : cost 0 inf + 62632 56.657 * * [simplify]: Extracting # 1 : cost 29 inf + 62629 57.023 * * [simplify]: Extracting # 2 : cost 0 inf + 63861 57.345 * * [simplify]: iteration 57 : 4908 enodes (cost 42 ) 57.496 * * [simplify]: Extracting # 0 : cost 0 inf + 63861 57.792 * * [simplify]: Extracting # 1 : cost 39 inf + 63861 58.131 * * [simplify]: Extracting # 2 : cost 0 inf + 65460 58.526 * * [simplify]: iteration complete: 5000 enodes (cost 42 ) 58.526 * [simplify]: Simplified to: (* x 5) 58.531 * * [progress]: iteration 1 / 4 58.531 * * * [progress]: picking best candidate 58.536 * * * * [pick]: Picked # 58.536 * * * [progress]: localizing error 58.541 * * * [progress]: generating rewritten candidates 58.542 * * * [progress]: generating series expansions 58.542 * * * [progress]: simplifying candidates 58.542 * [simplify]: Simplifying: 58.542 * * [simplify]: Extracting # 0 : cost 0 inf + 0 58.542 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 58.542 * * [simplify]: Extracting # 0 : cost 0 inf + 0 58.542 * * [simplify]: iteration complete: 0 enodes (cost 0 ) 58.542 * [simplify]: Simplified to: 58.542 * * * [progress]: adding candidates to table 58.543 * [progress]: [Phase 3 of 3] Extracting. 58.548 * [simplify]: Simplifying: (* x 5) 58.548 * * [simplify]: Extracting # 0 : cost 1 inf + 0 58.548 * * [simplify]: Extracting # 1 : cost 3 inf + 0 58.548 * * [simplify]: Extracting # 2 : cost 1 inf + 2 58.548 * * [simplify]: Extracting # 3 : cost 0 inf + 44 58.548 * * [simplify]: iteration 0 : 3 enodes (cost 42 ) 58.549 * * [simplify]: Extracting # 0 : cost 0 inf + 44 58.549 * * [simplify]: iteration 1 : 4 enodes (cost 42 ) 58.549 * * [simplify]: Extracting # 0 : cost 0 inf + 44 58.549 * * [simplify]: iteration complete: 4 enodes (cost 42 ) 58.549 * [simplify]: Simplified to: (* x 5) 59.294 * [regime-testing]: Baseline error score: 0 59.307 * [regime-testing]: Oracle error score: 0 59.307 * [regime-testing]: End program error score: 0