14.900 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.011 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.014 * [simplify]: Simplifying: (+ x (* x x)) 0.014 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.014 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.014 * * [simplify]: Extracting # 2 : cost 2 inf + 1 0.014 * * [simplify]: Extracting # 3 : cost 0 inf + 123 0.014 * * [simplify]: iteration 0 : 3 enodes (cost 81 ) 0.015 * * [simplify]: Extracting # 0 : cost 0 inf + 123 0.015 * * [simplify]: Extracting # 1 : cost 1 inf + 123 0.015 * * [simplify]: Extracting # 2 : cost 2 inf + 123 0.015 * * [simplify]: Extracting # 3 : cost 0 inf + 166 0.016 * * [simplify]: iteration 1 : 7 enodes (cost 81 ) 0.018 * * [simplify]: Extracting # 0 : cost 0 inf + 166 0.018 * * [simplify]: iteration 2 : 11 enodes (cost 81 ) 0.021 * * [simplify]: Extracting # 0 : cost 0 inf + 166 0.021 * * [simplify]: Extracting # 1 : cost 2 inf + 166 0.021 * * [simplify]: Extracting # 2 : cost 0 inf + 250 0.021 * * [simplify]: iteration 3 : 17 enodes (cost 81 ) 0.026 * * [simplify]: Extracting # 0 : cost 0 inf + 250 0.026 * * [simplify]: Extracting # 1 : cost 4 inf + 168 0.026 * * [simplify]: Extracting # 2 : cost 0 inf + 336 0.026 * * [simplify]: iteration 4 : 26 enodes (cost 81 ) 0.031 * * [simplify]: Extracting # 0 : cost 0 inf + 336 0.032 * * [simplify]: Extracting # 1 : cost 16 inf + 336 0.032 * * [simplify]: Extracting # 2 : cost 0 inf + 1000 0.033 * * [simplify]: iteration 5 : 62 enodes (cost 81 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 inf + 1000 0.057 * * [simplify]: Extracting # 1 : cost 30 inf + 672 0.058 * * [simplify]: Extracting # 2 : cost 0 inf + 1920 0.059 * * [simplify]: iteration 6 : 124 enodes (cost 81 ) 0.092 * * [simplify]: Extracting # 0 : cost 0 inf + 1920 0.093 * * [simplify]: Extracting # 1 : cost 30 inf + 1428 0.094 * * [simplify]: Extracting # 2 : cost 0 inf + 2676 0.095 * * [simplify]: iteration 7 : 207 enodes (cost 81 ) 0.162 * * [simplify]: Extracting # 0 : cost 0 inf + 2676 0.164 * * [simplify]: Extracting # 1 : cost 67 inf + 2184 0.166 * * [simplify]: Extracting # 2 : cost 0 inf + 4968 0.169 * * [simplify]: iteration 8 : 358 enodes (cost 81 ) 0.286 * * [simplify]: Extracting # 0 : cost 0 inf + 4968 0.288 * * [simplify]: Extracting # 1 : cost 83 inf + 3738 0.292 * * [simplify]: Extracting # 2 : cost 0 inf + 7186 0.296 * * [simplify]: iteration 9 : 553 enodes (cost 81 ) 0.550 * * [simplify]: Extracting # 0 : cost 0 inf + 7186 0.554 * * [simplify]: Extracting # 1 : cost 54 inf + 5628 0.557 * * [simplify]: Extracting # 2 : cost 0 inf + 7872 0.559 * * [simplify]: iteration 10 : 803 enodes (cost 81 ) 0.929 * * [simplify]: Extracting # 0 : cost 0 inf + 7872 0.934 * * [simplify]: Extracting # 1 : cost 72 inf + 6888 0.939 * * [simplify]: Extracting # 2 : cost 0 inf + 9880 0.945 * * [simplify]: iteration 11 : 959 enodes (cost 81 ) 1.452 * * [simplify]: Extracting # 0 : cost 0 inf + 9880 1.456 * * [simplify]: Extracting # 1 : cost 70 inf + 8568 1.461 * * [simplify]: Extracting # 2 : cost 0 inf + 11476 1.465 * * [simplify]: iteration 12 : 1352 enodes (cost 81 ) 2.406 * * [simplify]: Extracting # 0 : cost 0 inf + 11476 2.410 * * [simplify]: Extracting # 1 : cost 86 inf + 10164 2.416 * * [simplify]: Extracting # 2 : cost 0 inf + 13736 2.420 * * [simplify]: iteration 13 : 1537 enodes (cost 81 ) 3.527 * * [simplify]: Extracting # 0 : cost 0 inf + 13736 3.539 * * [simplify]: Extracting # 1 : cost 86 inf + 12096 3.553 * * [simplify]: Extracting # 2 : cost 0 inf + 15668 3.566 * * [simplify]: iteration 14 : 2088 enodes (cost 81 ) 4.830 * * [simplify]: Extracting # 0 : cost 0 inf + 15668 4.835 * * [simplify]: Extracting # 1 : cost 103 inf + 14028 4.841 * * [simplify]: Extracting # 2 : cost 0 inf + 18306 4.849 * * [simplify]: iteration 15 : 2305 enodes (cost 81 ) 6.379 * * [simplify]: Extracting # 0 : cost 0 inf + 18306 6.389 * * [simplify]: Extracting # 1 : cost 102 inf + 16338 6.398 * * [simplify]: Extracting # 2 : cost 0 inf + 20574 6.407 * * [simplify]: iteration 16 : 3049 enodes (cost 81 ) 8.946 * * [simplify]: Extracting # 0 : cost 0 inf + 20574 8.954 * * [simplify]: Extracting # 1 : cost 118 inf + 18606 8.968 * * [simplify]: Extracting # 2 : cost 0 inf + 23506 8.984 * * [simplify]: iteration 17 : 3297 enodes (cost 81 ) 11.801 * * [simplify]: Extracting # 0 : cost 0 inf + 23506 11.824 * * [simplify]: Extracting # 1 : cost 118 inf + 21210 11.851 * * [simplify]: Extracting # 2 : cost 0 inf + 26110 11.875 * * [simplify]: iteration 18 : 4264 enodes (cost 81 ) 16.690 * * [simplify]: Extracting # 0 : cost 0 inf + 26110 16.709 * * [simplify]: Extracting # 1 : cost 136 inf + 23814 16.722 * * [simplify]: Extracting # 2 : cost 0 inf + 29462 16.733 * * [simplify]: iteration 19 : 4547 enodes (cost 81 ) 18.858 * * [simplify]: Extracting # 0 : cost 0 inf + 29462 18.874 * * [simplify]: Extracting # 1 : cost 136 inf + 26838 18.900 * * [simplify]: Extracting # 2 : cost 0 inf + 32486 18.917 * * [simplify]: iteration complete: 5000 enodes (cost 81 ) 18.917 * [simplify]: Simplified to: (+ x (* x x)) 18.918 * * [progress]: iteration 1 / 4 18.918 * * * [progress]: picking best candidate 18.920 * * * * [pick]: Picked # 18.921 * * * [progress]: localizing error 18.925 * * * [progress]: generating rewritten candidates 18.925 * * * [progress]: generating series expansions 18.925 * * * [progress]: simplifying candidates 18.925 * [simplify]: Simplifying: 18.925 * * [simplify]: Extracting # 0 : cost 0 inf + 0 18.926 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 18.926 * * [simplify]: Extracting # 0 : cost 0 inf + 0 18.926 * * [simplify]: iteration complete: 0 enodes (cost 0 ) 18.926 * [simplify]: Simplified to: 18.926 * * * [progress]: adding candidates to table 18.926 * [progress]: [Phase 3 of 3] Extracting. 18.928 * [simplify]: Simplifying: (+ x (* x x)) 18.929 * * [simplify]: Extracting # 0 : cost 1 inf + 0 18.929 * * [simplify]: Extracting # 1 : cost 3 inf + 0 18.929 * * [simplify]: Extracting # 2 : cost 2 inf + 1 18.929 * * [simplify]: Extracting # 3 : cost 0 inf + 123 18.929 * * [simplify]: iteration 0 : 3 enodes (cost 81 ) 18.929 * * [simplify]: Extracting # 0 : cost 0 inf + 123 18.929 * * [simplify]: iteration 1 : 4 enodes (cost 81 ) 18.929 * * [simplify]: Extracting # 0 : cost 0 inf + 123 18.929 * * [simplify]: iteration complete: 4 enodes (cost 81 ) 18.929 * [simplify]: Simplified to: (+ x (* x x)) 19.640 * [regime-testing]: Baseline error score: 0.0007500937617202151 19.656 * [regime-testing]: Oracle error score: 0.0007500937617202151 19.656 * [regime-testing]: End program error score: 0.0007500937617202151 19.725 * [regime-testing]: Target error score: 0.019377422177772222