11.483 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying: (- (- 1.0 x) y) 0.025 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.025 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.025 * * [simplify]: Extracting # 2 : cost 4 inf + 1 0.025 * * [simplify]: Extracting # 3 : cost 2 inf + 3 0.025 * * [simplify]: Extracting # 4 : cost 0 inf + 128 0.025 * * [simplify]: iteration 0 : 5 enodes (cost 83 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 inf + 128 0.027 * * [simplify]: Extracting # 1 : cost 3 inf + 128 0.027 * * [simplify]: Extracting # 2 : cost 0 inf + 252 0.027 * * [simplify]: iteration 1 : 11 enodes (cost 83 ) 0.031 * * [simplify]: Extracting # 0 : cost 0 inf + 252 0.031 * * [simplify]: Extracting # 1 : cost 3 inf + 252 0.031 * * [simplify]: Extracting # 2 : cost 0 inf + 538 0.031 * * [simplify]: iteration 2 : 20 enodes (cost 83 ) 0.038 * * [simplify]: Extracting # 0 : cost 0 inf + 538 0.038 * * [simplify]: Extracting # 1 : cost 5 inf + 498 0.039 * * [simplify]: Extracting # 2 : cost 0 inf + 907 0.039 * * [simplify]: iteration 3 : 35 enodes (cost 83 ) 0.049 * * [simplify]: Extracting # 0 : cost 0 inf + 907 0.050 * * [simplify]: Extracting # 1 : cost 6 inf + 747 0.051 * * [simplify]: Extracting # 2 : cost 0 inf + 916 0.051 * * [simplify]: iteration 4 : 57 enodes (cost 83 ) 0.065 * * [simplify]: Extracting # 0 : cost 0 inf + 916 0.066 * * [simplify]: Extracting # 1 : cost 9 inf + 916 0.066 * * [simplify]: Extracting # 2 : cost 0 inf + 1653 0.067 * * [simplify]: iteration 5 : 88 enodes (cost 83 ) 0.076 * * [simplify]: Extracting # 0 : cost 0 inf + 1653 0.076 * * [simplify]: Extracting # 1 : cost 6 inf + 1493 0.077 * * [simplify]: Extracting # 2 : cost 0 inf + 1902 0.078 * * [simplify]: iteration 6 : 109 enodes (cost 83 ) 0.086 * * [simplify]: Extracting # 0 : cost 0 inf + 1902 0.088 * * [simplify]: Extracting # 1 : cost 11 inf + 1702 0.089 * * [simplify]: Extracting # 2 : cost 0 inf + 2482 0.091 * * [simplify]: iteration 7 : 144 enodes (cost 83 ) 0.116 * * [simplify]: Extracting # 0 : cost 0 inf + 2482 0.118 * * [simplify]: Extracting # 1 : cost 23 inf + 2322 0.121 * * [simplify]: Extracting # 2 : cost 0 inf + 4407 0.124 * * [simplify]: iteration 8 : 216 enodes (cost 83 ) 0.180 * * [simplify]: Extracting # 0 : cost 0 inf + 4407 0.184 * * [simplify]: Extracting # 1 : cost 27 inf + 3567 0.189 * * [simplify]: Extracting # 2 : cost 0 inf + 5939 0.195 * * [simplify]: iteration 9 : 352 enodes (cost 83 ) 0.246 * * [simplify]: Extracting # 0 : cost 0 inf + 5939 0.249 * * [simplify]: Extracting # 1 : cost 23 inf + 4859 0.252 * * [simplify]: Extracting # 2 : cost 0 inf + 6905 0.256 * * [simplify]: iteration 10 : 491 enodes (cost 83 ) 0.311 * * [simplify]: Extracting # 0 : cost 0 inf + 6905 0.317 * * [simplify]: Extracting # 1 : cost 23 inf + 5985 0.325 * * [simplify]: Extracting # 2 : cost 0 inf + 8031 0.335 * * [simplify]: iteration 11 : 622 enodes (cost 83 ) 0.373 * * [simplify]: Extracting # 0 : cost 0 inf + 8031 0.377 * * [simplify]: Extracting # 1 : cost 19 inf + 7111 0.382 * * [simplify]: Extracting # 2 : cost 0 inf + 8669 0.387 * * [simplify]: iteration 12 : 735 enodes (cost 83 ) 0.430 * * [simplify]: Extracting # 0 : cost 0 inf + 8669 0.439 * * [simplify]: Extracting # 1 : cost 25 inf + 7909 0.446 * * [simplify]: Extracting # 2 : cost 0 inf + 10199 0.454 * * [simplify]: iteration 13 : 865 enodes (cost 83 ) 0.498 * * [simplify]: Extracting # 0 : cost 0 inf + 10199 0.507 * * [simplify]: Extracting # 1 : cost 19 inf + 9199 0.520 * * [simplify]: Extracting # 2 : cost 0 inf + 10757 0.533 * * [simplify]: iteration 14 : 986 enodes (cost 83 ) 0.561 * * [simplify]: Extracting # 0 : cost 0 inf + 10757 0.568 * * [simplify]: Extracting # 1 : cost 23 inf + 9997 0.576 * * [simplify]: Extracting # 2 : cost 0 inf + 12043 0.585 * * [simplify]: iteration 15 : 1116 enodes (cost 83 ) 0.614 * * [simplify]: Extracting # 0 : cost 0 inf + 12043 0.620 * * [simplify]: Extracting # 1 : cost 19 inf + 11123 0.627 * * [simplify]: Extracting # 2 : cost 0 inf + 12681 0.642 * * [simplify]: iteration 16 : 1229 enodes (cost 83 ) 0.687 * * [simplify]: Extracting # 0 : cost 0 inf + 12681 0.693 * * [simplify]: Extracting # 1 : cost 23 inf + 11921 0.702 * * [simplify]: Extracting # 2 : cost 0 inf + 13967 0.713 * * [simplify]: iteration 17 : 1359 enodes (cost 83 ) 0.743 * * [simplify]: Extracting # 0 : cost 0 inf + 13967 0.752 * * [simplify]: Extracting # 1 : cost 19 inf + 13047 0.762 * * [simplify]: Extracting # 2 : cost 0 inf + 14605 0.773 * * [simplify]: iteration 18 : 1472 enodes (cost 83 ) 0.802 * * [simplify]: Extracting # 0 : cost 0 inf + 14605 0.811 * * [simplify]: Extracting # 1 : cost 23 inf + 13845 0.821 * * [simplify]: Extracting # 2 : cost 0 inf + 15891 0.835 * * [simplify]: iteration 19 : 1602 enodes (cost 83 ) 0.864 * * [simplify]: Extracting # 0 : cost 0 inf + 15891 0.873 * * [simplify]: Extracting # 1 : cost 19 inf + 14971 0.891 * * [simplify]: Extracting # 2 : cost 0 inf + 16529 0.905 * * [simplify]: iteration 20 : 1715 enodes (cost 83 ) 0.937 * * [simplify]: Extracting # 0 : cost 0 inf + 16529 0.951 * * [simplify]: Extracting # 1 : cost 23 inf + 15769 0.963 * * [simplify]: Extracting # 2 : cost 0 inf + 17815 0.978 * * [simplify]: iteration 21 : 1845 enodes (cost 83 ) 1.010 * * [simplify]: Extracting # 0 : cost 0 inf + 17815 1.028 * * [simplify]: Extracting # 1 : cost 19 inf + 16895 1.047 * * [simplify]: Extracting # 2 : cost 0 inf + 18453 1.062 * * [simplify]: iteration 22 : 1958 enodes (cost 83 ) 1.092 * * [simplify]: Extracting # 0 : cost 0 inf + 18453 1.102 * * [simplify]: Extracting # 1 : cost 23 inf + 17693 1.115 * * [simplify]: Extracting # 2 : cost 0 inf + 19739 1.132 * * [simplify]: iteration 23 : 2088 enodes (cost 83 ) 1.190 * * [simplify]: Extracting # 0 : cost 0 inf + 19739 1.202 * * [simplify]: Extracting # 1 : cost 19 inf + 18819 1.217 * * [simplify]: Extracting # 2 : cost 0 inf + 20377 1.241 * * [simplify]: iteration 24 : 2201 enodes (cost 83 ) 1.296 * * [simplify]: Extracting # 0 : cost 0 inf + 20377 1.318 * * [simplify]: Extracting # 1 : cost 23 inf + 19617 1.351 * * [simplify]: Extracting # 2 : cost 0 inf + 21663 1.390 * * [simplify]: iteration 25 : 2331 enodes (cost 83 ) 1.446 * * [simplify]: Extracting # 0 : cost 0 inf + 21663 1.470 * * [simplify]: Extracting # 1 : cost 19 inf + 20743 1.486 * * [simplify]: Extracting # 2 : cost 0 inf + 22301 1.513 * * [simplify]: iteration 26 : 2444 enodes (cost 83 ) 1.563 * * [simplify]: Extracting # 0 : cost 0 inf + 22301 1.575 * * [simplify]: Extracting # 1 : cost 23 inf + 21541 1.592 * * [simplify]: Extracting # 2 : cost 0 inf + 23587 1.636 * * [simplify]: iteration 27 : 2574 enodes (cost 83 ) 1.691 * * [simplify]: Extracting # 0 : cost 0 inf + 23587 1.715 * * [simplify]: Extracting # 1 : cost 19 inf + 22667 1.745 * * [simplify]: Extracting # 2 : cost 0 inf + 24225 1.781 * * [simplify]: iteration 28 : 2687 enodes (cost 83 ) 1.816 * * [simplify]: Extracting # 0 : cost 0 inf + 24225 1.832 * * [simplify]: Extracting # 1 : cost 23 inf + 23465 1.854 * * [simplify]: Extracting # 2 : cost 0 inf + 25511 1.892 * * [simplify]: iteration 29 : 2817 enodes (cost 83 ) 1.926 * * [simplify]: Extracting # 0 : cost 0 inf + 25511 1.940 * * [simplify]: Extracting # 1 : cost 19 inf + 24591 1.960 * * [simplify]: Extracting # 2 : cost 0 inf + 26149 1.984 * * [simplify]: iteration 30 : 2930 enodes (cost 83 ) 2.015 * * [simplify]: Extracting # 0 : cost 0 inf + 26149 2.030 * * [simplify]: Extracting # 1 : cost 23 inf + 25389 2.070 * * [simplify]: Extracting # 2 : cost 0 inf + 27435 2.098 * * [simplify]: iteration 31 : 3060 enodes (cost 83 ) 2.126 * * [simplify]: Extracting # 0 : cost 0 inf + 27435 2.155 * * [simplify]: Extracting # 1 : cost 19 inf + 26515 2.178 * * [simplify]: Extracting # 2 : cost 0 inf + 28073 2.209 * * [simplify]: iteration 32 : 3173 enodes (cost 83 ) 2.258 * * [simplify]: Extracting # 0 : cost 0 inf + 28073 2.286 * * [simplify]: Extracting # 1 : cost 23 inf + 27313 2.314 * * [simplify]: Extracting # 2 : cost 0 inf + 29359 2.353 * * [simplify]: iteration 33 : 3303 enodes (cost 83 ) 2.393 * * [simplify]: Extracting # 0 : cost 0 inf + 29359 2.412 * * [simplify]: Extracting # 1 : cost 19 inf + 28439 2.434 * * [simplify]: Extracting # 2 : cost 0 inf + 29997 2.472 * * [simplify]: iteration 34 : 3416 enodes (cost 83 ) 2.503 * * [simplify]: Extracting # 0 : cost 0 inf + 29997 2.537 * * [simplify]: Extracting # 1 : cost 23 inf + 29237 2.578 * * [simplify]: Extracting # 2 : cost 0 inf + 31283 2.631 * * [simplify]: iteration 35 : 3546 enodes (cost 83 ) 2.671 * * [simplify]: Extracting # 0 : cost 0 inf + 31283 2.690 * * [simplify]: Extracting # 1 : cost 19 inf + 30363 2.716 * * [simplify]: Extracting # 2 : cost 0 inf + 31921 2.746 * * [simplify]: iteration 36 : 3659 enodes (cost 83 ) 2.775 * * [simplify]: Extracting # 0 : cost 0 inf + 31921 2.795 * * [simplify]: Extracting # 1 : cost 23 inf + 31161 2.838 * * [simplify]: Extracting # 2 : cost 0 inf + 33207 2.894 * * [simplify]: iteration 37 : 3789 enodes (cost 83 ) 2.927 * * [simplify]: Extracting # 0 : cost 0 inf + 33207 2.949 * * [simplify]: Extracting # 1 : cost 19 inf + 32287 2.986 * * [simplify]: Extracting # 2 : cost 0 inf + 33845 3.032 * * [simplify]: iteration 38 : 3902 enodes (cost 83 ) 3.064 * * [simplify]: Extracting # 0 : cost 0 inf + 33845 3.086 * * [simplify]: Extracting # 1 : cost 23 inf + 33085 3.123 * * [simplify]: Extracting # 2 : cost 0 inf + 35131 3.167 * * [simplify]: iteration 39 : 4032 enodes (cost 83 ) 3.200 * * [simplify]: Extracting # 0 : cost 0 inf + 35131 3.220 * * [simplify]: Extracting # 1 : cost 19 inf + 34211 3.273 * * [simplify]: Extracting # 2 : cost 0 inf + 35769 3.322 * * [simplify]: iteration 40 : 4145 enodes (cost 83 ) 3.380 * * [simplify]: Extracting # 0 : cost 0 inf + 35769 3.420 * * [simplify]: Extracting # 1 : cost 23 inf + 35009 3.466 * * [simplify]: Extracting # 2 : cost 0 inf + 37055 3.508 * * [simplify]: iteration 41 : 4275 enodes (cost 83 ) 3.544 * * [simplify]: Extracting # 0 : cost 0 inf + 37055 3.582 * * [simplify]: Extracting # 1 : cost 19 inf + 36135 3.614 * * [simplify]: Extracting # 2 : cost 0 inf + 37693 3.651 * * [simplify]: iteration 42 : 4388 enodes (cost 83 ) 3.681 * * [simplify]: Extracting # 0 : cost 0 inf + 37693 3.702 * * [simplify]: Extracting # 1 : cost 23 inf + 36933 3.734 * * [simplify]: Extracting # 2 : cost 0 inf + 38979 3.773 * * [simplify]: iteration 43 : 4518 enodes (cost 83 ) 3.800 * * [simplify]: Extracting # 0 : cost 0 inf + 38979 3.827 * * [simplify]: Extracting # 1 : cost 19 inf + 38059 3.872 * * [simplify]: Extracting # 2 : cost 0 inf + 39617 3.919 * * [simplify]: iteration 44 : 4631 enodes (cost 83 ) 3.961 * * [simplify]: Extracting # 0 : cost 0 inf + 39617 3.985 * * [simplify]: Extracting # 1 : cost 23 inf + 38857 4.016 * * [simplify]: Extracting # 2 : cost 0 inf + 40903 4.064 * * [simplify]: iteration 45 : 4761 enodes (cost 83 ) 4.095 * * [simplify]: Extracting # 0 : cost 0 inf + 40903 4.121 * * [simplify]: Extracting # 1 : cost 19 inf + 39983 4.160 * * [simplify]: Extracting # 2 : cost 0 inf + 41541 4.216 * * [simplify]: iteration 46 : 4874 enodes (cost 83 ) 4.242 * * [simplify]: Extracting # 0 : cost 0 inf + 41541 4.266 * * [simplify]: Extracting # 1 : cost 23 inf + 40781 4.300 * * [simplify]: Extracting # 2 : cost 0 inf + 42827 4.341 * * [simplify]: iteration complete: 5000 enodes (cost 83 ) 4.341 * [simplify]: Simplified to: (- (- 1.0 x) y) 4.342 * * [progress]: iteration 1 / 4 4.342 * * * [progress]: picking best candidate 4.345 * * * * [pick]: Picked # 4.345 * * * [progress]: localizing error 4.350 * * * [progress]: generating rewritten candidates 4.350 * * * [progress]: generating series expansions 4.350 * * * [progress]: simplifying candidates 4.350 * [simplify]: Simplifying: 4.350 * * [simplify]: Extracting # 0 : cost 0 inf + 0 4.350 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 4.350 * * [simplify]: Extracting # 0 : cost 0 inf + 0 4.350 * * [simplify]: iteration complete: 0 enodes (cost 0 ) 4.350 * [simplify]: Simplified to: 4.350 * * * [progress]: adding candidates to table 4.351 * [progress]: [Phase 3 of 3] Extracting. 4.355 * [simplify]: Simplifying: (- (- 1.0 x) y) 4.356 * * [simplify]: Extracting # 0 : cost 1 inf + 0 4.356 * * [simplify]: Extracting # 1 : cost 3 inf + 0 4.356 * * [simplify]: Extracting # 2 : cost 4 inf + 1 4.356 * * [simplify]: Extracting # 3 : cost 2 inf + 3 4.356 * * [simplify]: Extracting # 4 : cost 0 inf + 128 4.356 * * [simplify]: iteration 0 : 5 enodes (cost 83 ) 4.356 * * [simplify]: Extracting # 0 : cost 0 inf + 128 4.356 * * [simplify]: iteration complete: 5 enodes (cost 83 ) 4.356 * [simplify]: Simplified to: (- (- 1.0 x) y) 5.196 * [regime-testing]: Baseline error score: 0.0006250781347668458 5.205 * [regime-testing]: Oracle error score: 0.0006250781347668458 5.205 * [regime-testing]: End program error score: 0.0006250781347668458