19.333 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.024 * [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.026 * * [simplify]: Extracting # 0 : cost 0 inf + 128 0.026 * * [simplify]: Extracting # 1 : cost 3 inf + 128 0.026 * * [simplify]: Extracting # 2 : cost 0 inf + 252 0.026 * * [simplify]: iteration 1 : 11 enodes (cost 83 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 inf + 252 0.028 * * [simplify]: Extracting # 1 : cost 3 inf + 252 0.028 * * [simplify]: Extracting # 2 : cost 0 inf + 538 0.028 * * [simplify]: iteration 2 : 20 enodes (cost 83 ) 0.031 * * [simplify]: Extracting # 0 : cost 0 inf + 538 0.031 * * [simplify]: Extracting # 1 : cost 5 inf + 498 0.031 * * [simplify]: Extracting # 2 : cost 0 inf + 907 0.031 * * [simplify]: iteration 3 : 35 enodes (cost 83 ) 0.036 * * [simplify]: Extracting # 0 : cost 0 inf + 907 0.037 * * [simplify]: Extracting # 1 : cost 6 inf + 747 0.037 * * [simplify]: Extracting # 2 : cost 0 inf + 916 0.037 * * [simplify]: iteration 4 : 57 enodes (cost 83 ) 0.044 * * [simplify]: Extracting # 0 : cost 0 inf + 916 0.044 * * [simplify]: Extracting # 1 : cost 9 inf + 916 0.048 * * [simplify]: Extracting # 2 : cost 0 inf + 1653 0.048 * * [simplify]: iteration 5 : 88 enodes (cost 83 ) 0.058 * * [simplify]: Extracting # 0 : cost 0 inf + 1653 0.059 * * [simplify]: Extracting # 1 : cost 6 inf + 1493 0.060 * * [simplify]: Extracting # 2 : cost 0 inf + 1902 0.061 * * [simplify]: iteration 6 : 109 enodes (cost 83 ) 0.073 * * [simplify]: Extracting # 0 : cost 0 inf + 1902 0.074 * * [simplify]: Extracting # 1 : cost 11 inf + 1702 0.075 * * [simplify]: Extracting # 2 : cost 0 inf + 2482 0.076 * * [simplify]: iteration 7 : 144 enodes (cost 83 ) 0.088 * * [simplify]: Extracting # 0 : cost 0 inf + 2482 0.089 * * [simplify]: Extracting # 1 : cost 23 inf + 2322 0.090 * * [simplify]: Extracting # 2 : cost 0 inf + 4407 0.092 * * [simplify]: iteration 8 : 216 enodes (cost 83 ) 0.134 * * [simplify]: Extracting # 0 : cost 0 inf + 4407 0.137 * * [simplify]: Extracting # 1 : cost 27 inf + 3567 0.144 * * [simplify]: Extracting # 2 : cost 0 inf + 5939 0.150 * * [simplify]: iteration 9 : 352 enodes (cost 83 ) 0.198 * * [simplify]: Extracting # 0 : cost 0 inf + 5939 0.200 * * [simplify]: Extracting # 1 : cost 23 inf + 4859 0.203 * * [simplify]: Extracting # 2 : cost 0 inf + 6905 0.207 * * [simplify]: iteration 10 : 491 enodes (cost 83 ) 0.244 * * [simplify]: Extracting # 0 : cost 0 inf + 6905 0.247 * * [simplify]: Extracting # 1 : cost 23 inf + 5985 0.251 * * [simplify]: Extracting # 2 : cost 0 inf + 8031 0.259 * * [simplify]: iteration 11 : 622 enodes (cost 83 ) 0.315 * * [simplify]: Extracting # 0 : cost 0 inf + 8031 0.324 * * [simplify]: Extracting # 1 : cost 19 inf + 7111 0.333 * * [simplify]: Extracting # 2 : cost 0 inf + 8669 0.344 * * [simplify]: iteration 12 : 735 enodes (cost 83 ) 0.386 * * [simplify]: Extracting # 0 : cost 0 inf + 8669 0.390 * * [simplify]: Extracting # 1 : cost 25 inf + 7909 0.395 * * [simplify]: Extracting # 2 : cost 0 inf + 10199 0.405 * * [simplify]: iteration 13 : 865 enodes (cost 83 ) 0.452 * * [simplify]: Extracting # 0 : cost 0 inf + 10199 0.456 * * [simplify]: Extracting # 1 : cost 19 inf + 9199 0.462 * * [simplify]: Extracting # 2 : cost 0 inf + 10757 0.476 * * [simplify]: iteration 14 : 986 enodes (cost 83 ) 0.534 * * [simplify]: Extracting # 0 : cost 0 inf + 10757 0.544 * * [simplify]: Extracting # 1 : cost 23 inf + 9997 0.554 * * [simplify]: Extracting # 2 : cost 0 inf + 12043 0.563 * * [simplify]: iteration 15 : 1116 enodes (cost 83 ) 0.592 * * [simplify]: Extracting # 0 : cost 0 inf + 12043 0.597 * * [simplify]: Extracting # 1 : cost 19 inf + 11123 0.605 * * [simplify]: Extracting # 2 : cost 0 inf + 12681 0.614 * * [simplify]: iteration 16 : 1229 enodes (cost 83 ) 0.656 * * [simplify]: Extracting # 0 : cost 0 inf + 12681 0.664 * * [simplify]: Extracting # 1 : cost 23 inf + 11921 0.672 * * [simplify]: Extracting # 2 : cost 0 inf + 13967 0.691 * * [simplify]: iteration 17 : 1359 enodes (cost 83 ) 0.740 * * [simplify]: Extracting # 0 : cost 0 inf + 13967 0.747 * * [simplify]: Extracting # 1 : cost 19 inf + 13047 0.758 * * [simplify]: Extracting # 2 : cost 0 inf + 14605 0.779 * * [simplify]: iteration 18 : 1472 enodes (cost 83 ) 0.836 * * [simplify]: Extracting # 0 : cost 0 inf + 14605 0.851 * * [simplify]: Extracting # 1 : cost 23 inf + 13845 0.874 * * [simplify]: Extracting # 2 : cost 0 inf + 15891 0.900 * * [simplify]: iteration 19 : 1602 enodes (cost 83 ) 0.957 * * [simplify]: Extracting # 0 : cost 0 inf + 15891 0.974 * * [simplify]: Extracting # 1 : cost 19 inf + 14971 0.998 * * [simplify]: Extracting # 2 : cost 0 inf + 16529 1.015 * * [simplify]: iteration 20 : 1715 enodes (cost 83 ) 1.045 * * [simplify]: Extracting # 0 : cost 0 inf + 16529 1.064 * * [simplify]: Extracting # 1 : cost 23 inf + 15769 1.078 * * [simplify]: Extracting # 2 : cost 0 inf + 17815 1.093 * * [simplify]: iteration 21 : 1845 enodes (cost 83 ) 1.142 * * [simplify]: Extracting # 0 : cost 0 inf + 17815 1.163 * * [simplify]: Extracting # 1 : cost 19 inf + 16895 1.188 * * [simplify]: Extracting # 2 : cost 0 inf + 18453 1.209 * * [simplify]: iteration 22 : 1958 enodes (cost 83 ) 1.239 * * [simplify]: Extracting # 0 : cost 0 inf + 18453 1.249 * * [simplify]: Extracting # 1 : cost 23 inf + 17693 1.276 * * [simplify]: Extracting # 2 : cost 0 inf + 19739 1.310 * * [simplify]: iteration 23 : 2088 enodes (cost 83 ) 1.341 * * [simplify]: Extracting # 0 : cost 0 inf + 19739 1.352 * * [simplify]: Extracting # 1 : cost 19 inf + 18819 1.370 * * [simplify]: Extracting # 2 : cost 0 inf + 20377 1.400 * * [simplify]: iteration 24 : 2201 enodes (cost 83 ) 1.431 * * [simplify]: Extracting # 0 : cost 0 inf + 20377 1.454 * * [simplify]: Extracting # 1 : cost 23 inf + 19617 1.484 * * [simplify]: Extracting # 2 : cost 0 inf + 21663 1.523 * * [simplify]: iteration 25 : 2331 enodes (cost 83 ) 1.551 * * [simplify]: Extracting # 0 : cost 0 inf + 21663 1.575 * * [simplify]: Extracting # 1 : cost 19 inf + 20743 1.611 * * [simplify]: Extracting # 2 : cost 0 inf + 22301 1.651 * * [simplify]: iteration 26 : 2444 enodes (cost 83 ) 1.708 * * [simplify]: Extracting # 0 : cost 0 inf + 22301 1.722 * * [simplify]: Extracting # 1 : cost 23 inf + 21541 1.739 * * [simplify]: Extracting # 2 : cost 0 inf + 23587 1.770 * * [simplify]: iteration 27 : 2574 enodes (cost 83 ) 1.809 * * [simplify]: Extracting # 0 : cost 0 inf + 23587 1.836 * * [simplify]: Extracting # 1 : cost 19 inf + 22667 1.859 * * [simplify]: Extracting # 2 : cost 0 inf + 24225 1.891 * * [simplify]: iteration 28 : 2687 enodes (cost 83 ) 1.947 * * [simplify]: Extracting # 0 : cost 0 inf + 24225 1.976 * * [simplify]: Extracting # 1 : cost 23 inf + 23465 2.016 * * [simplify]: Extracting # 2 : cost 0 inf + 25511 2.051 * * [simplify]: iteration 29 : 2817 enodes (cost 83 ) 2.090 * * [simplify]: Extracting # 0 : cost 0 inf + 25511 2.115 * * [simplify]: Extracting # 1 : cost 19 inf + 24591 2.152 * * [simplify]: Extracting # 2 : cost 0 inf + 26149 2.195 * * [simplify]: iteration 30 : 2930 enodes (cost 83 ) 2.246 * * [simplify]: Extracting # 0 : cost 0 inf + 26149 2.274 * * [simplify]: Extracting # 1 : cost 23 inf + 25389 2.296 * * [simplify]: Extracting # 2 : cost 0 inf + 27435 2.333 * * [simplify]: iteration 31 : 3060 enodes (cost 83 ) 2.363 * * [simplify]: Extracting # 0 : cost 0 inf + 27435 2.394 * * [simplify]: Extracting # 1 : cost 19 inf + 26515 2.440 * * [simplify]: Extracting # 2 : cost 0 inf + 28073 2.472 * * [simplify]: iteration 32 : 3173 enodes (cost 83 ) 2.507 * * [simplify]: Extracting # 0 : cost 0 inf + 28073 2.525 * * [simplify]: Extracting # 1 : cost 23 inf + 27313 2.549 * * [simplify]: Extracting # 2 : cost 0 inf + 29359 2.608 * * [simplify]: iteration 33 : 3303 enodes (cost 83 ) 2.663 * * [simplify]: Extracting # 0 : cost 0 inf + 29359 2.700 * * [simplify]: Extracting # 1 : cost 19 inf + 28439 2.728 * * [simplify]: Extracting # 2 : cost 0 inf + 29997 2.770 * * [simplify]: iteration 34 : 3416 enodes (cost 83 ) 2.821 * * [simplify]: Extracting # 0 : cost 0 inf + 29997 2.856 * * [simplify]: Extracting # 1 : cost 23 inf + 29237 2.899 * * [simplify]: Extracting # 2 : cost 0 inf + 31283 2.928 * * [simplify]: iteration 35 : 3546 enodes (cost 83 ) 2.957 * * [simplify]: Extracting # 0 : cost 0 inf + 31283 2.979 * * [simplify]: Extracting # 1 : cost 19 inf + 30363 3.414 * * [simplify]: Extracting # 2 : cost 0 inf + 31921 3.467 * * [simplify]: iteration 36 : 3659 enodes (cost 83 ) 3.508 * * [simplify]: Extracting # 0 : cost 0 inf + 31921 3.548 * * [simplify]: Extracting # 1 : cost 23 inf + 31161 3.602 * * [simplify]: Extracting # 2 : cost 0 inf + 33207 3.636 * * [simplify]: iteration 37 : 3789 enodes (cost 83 ) 3.693 * * [simplify]: Extracting # 0 : cost 0 inf + 33207 3.733 * * [simplify]: Extracting # 1 : cost 19 inf + 32287 3.764 * * [simplify]: Extracting # 2 : cost 0 inf + 33845 3.805 * * [simplify]: iteration 38 : 3902 enodes (cost 83 ) 3.843 * * [simplify]: Extracting # 0 : cost 0 inf + 33845 3.883 * * [simplify]: Extracting # 1 : cost 23 inf + 33085 3.944 * * [simplify]: Extracting # 2 : cost 0 inf + 35131 3.992 * * [simplify]: iteration 39 : 4032 enodes (cost 83 ) 4.021 * * [simplify]: Extracting # 0 : cost 0 inf + 35131 4.058 * * [simplify]: Extracting # 1 : cost 19 inf + 34211 4.089 * * [simplify]: Extracting # 2 : cost 0 inf + 35769 4.132 * * [simplify]: iteration 40 : 4145 enodes (cost 83 ) 4.161 * * [simplify]: Extracting # 0 : cost 0 inf + 35769 4.185 * * [simplify]: Extracting # 1 : cost 23 inf + 35009 4.227 * * [simplify]: Extracting # 2 : cost 0 inf + 37055 4.263 * * [simplify]: iteration 41 : 4275 enodes (cost 83 ) 4.292 * * [simplify]: Extracting # 0 : cost 0 inf + 37055 4.325 * * [simplify]: Extracting # 1 : cost 19 inf + 36135 4.363 * * [simplify]: Extracting # 2 : cost 0 inf + 37693 4.439 * * [simplify]: iteration 42 : 4388 enodes (cost 83 ) 4.496 * * [simplify]: Extracting # 0 : cost 0 inf + 37693 4.543 * * [simplify]: Extracting # 1 : cost 23 inf + 36933 4.573 * * [simplify]: Extracting # 2 : cost 0 inf + 38979 4.647 * * [simplify]: iteration 43 : 4518 enodes (cost 83 ) 4.704 * * [simplify]: Extracting # 0 : cost 0 inf + 38979 4.748 * * [simplify]: Extracting # 1 : cost 19 inf + 38059 4.809 * * [simplify]: Extracting # 2 : cost 0 inf + 39617 4.879 * * [simplify]: iteration 44 : 4631 enodes (cost 83 ) 4.911 * * [simplify]: Extracting # 0 : cost 0 inf + 39617 4.933 * * [simplify]: Extracting # 1 : cost 23 inf + 38857 4.975 * * [simplify]: Extracting # 2 : cost 0 inf + 40903 5.016 * * [simplify]: iteration 45 : 4761 enodes (cost 83 ) 5.043 * * [simplify]: Extracting # 0 : cost 0 inf + 40903 5.066 * * [simplify]: Extracting # 1 : cost 19 inf + 39983 5.100 * * [simplify]: Extracting # 2 : cost 0 inf + 41541 5.142 * * [simplify]: iteration 46 : 4874 enodes (cost 83 ) 5.168 * * [simplify]: Extracting # 0 : cost 0 inf + 41541 5.192 * * [simplify]: Extracting # 1 : cost 23 inf + 40781 5.249 * * [simplify]: Extracting # 2 : cost 0 inf + 42827 5.317 * * [simplify]: iteration complete: 5000 enodes (cost 83 ) 5.317 * [simplify]: Simplified to: (- (- 1.0 x) y) 5.318 * * [progress]: iteration 1 / 4 5.318 * * * [progress]: picking best candidate 5.321 * * * * [pick]: Picked # 5.321 * * * [progress]: localizing error 5.326 * * * [progress]: generating rewritten candidates 5.327 * * * [progress]: generating series expansions 5.327 * * * [progress]: simplifying candidates 5.327 * [simplify]: Simplifying: 5.327 * * [simplify]: Extracting # 0 : cost 0 inf + 0 5.327 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 5.327 * * [simplify]: Extracting # 0 : cost 0 inf + 0 5.327 * * [simplify]: iteration complete: 0 enodes (cost 0 ) 5.327 * [simplify]: Simplified to: 5.327 * * * [progress]: adding candidates to table 5.327 * [progress]: [Phase 3 of 3] Extracting. 5.330 * [simplify]: Simplifying: (- (- 1.0 x) y) 5.330 * * [simplify]: Extracting # 0 : cost 1 inf + 0 5.330 * * [simplify]: Extracting # 1 : cost 3 inf + 0 5.330 * * [simplify]: Extracting # 2 : cost 4 inf + 1 5.330 * * [simplify]: Extracting # 3 : cost 2 inf + 3 5.330 * * [simplify]: Extracting # 4 : cost 0 inf + 128 5.330 * * [simplify]: iteration 0 : 5 enodes (cost 83 ) 5.331 * * [simplify]: Extracting # 0 : cost 0 inf + 128 5.331 * * [simplify]: iteration complete: 5 enodes (cost 83 ) 5.331 * [simplify]: Simplified to: (- (- 1.0 x) y) 5.998 * [regime-testing]: Baseline error score: 0.0006250781347668458 6.007 * [regime-testing]: Oracle error score: 0.0006250781347668458 6.007 * [regime-testing]: End program error score: 0.0006250781347668458