6.712 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.012 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying using # : (- (- 1.0 x) y) 0.016 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.016 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 0.017 * * [simplify]: iteration 2 : 22 enodes (cost 5 ) 0.020 * * [simplify]: iteration 3 : 38 enodes (cost 5 ) 0.024 * * [simplify]: iteration 4 : 49 enodes (cost 5 ) 0.027 * * [simplify]: iteration 5 : 69 enodes (cost 5 ) 0.031 * * [simplify]: iteration 6 : 88 enodes (cost 5 ) 0.039 * * [simplify]: iteration 7 : 119 enodes (cost 5 ) 0.051 * * [simplify]: iteration 8 : 173 enodes (cost 5 ) 0.059 * * [simplify]: iteration 9 : 222 enodes (cost 5 ) 0.074 * * [simplify]: iteration 10 : 303 enodes (cost 5 ) 0.088 * * [simplify]: iteration 11 : 384 enodes (cost 5 ) 0.096 * * [simplify]: iteration 12 : 449 enodes (cost 5 ) 0.114 * * [simplify]: iteration 13 : 529 enodes (cost 5 ) 0.129 * * [simplify]: iteration 14 : 600 enodes (cost 5 ) 0.137 * * [simplify]: iteration 15 : 665 enodes (cost 5 ) 0.153 * * [simplify]: iteration 16 : 755 enodes (cost 5 ) 0.172 * * [simplify]: iteration 17 : 826 enodes (cost 5 ) 0.180 * * [simplify]: iteration 18 : 891 enodes (cost 5 ) 0.196 * * [simplify]: iteration 19 : 981 enodes (cost 5 ) 0.214 * * [simplify]: iteration 20 : 1052 enodes (cost 5 ) 0.223 * * [simplify]: iteration 21 : 1117 enodes (cost 5 ) 0.238 * * [simplify]: iteration 22 : 1205 enodes (cost 5 ) 0.253 * * [simplify]: iteration 23 : 1276 enodes (cost 5 ) 0.262 * * [simplify]: iteration 24 : 1341 enodes (cost 5 ) 0.281 * * [simplify]: iteration 25 : 1431 enodes (cost 5 ) 0.296 * * [simplify]: iteration 26 : 1502 enodes (cost 5 ) 0.304 * * [simplify]: iteration 27 : 1567 enodes (cost 5 ) 0.323 * * [simplify]: iteration 28 : 1657 enodes (cost 5 ) 0.340 * * [simplify]: iteration 29 : 1728 enodes (cost 5 ) 0.348 * * [simplify]: iteration 30 : 1793 enodes (cost 5 ) 0.364 * * [simplify]: iteration 31 : 1885 enodes (cost 5 ) 0.383 * * [simplify]: iteration 32 : 1956 enodes (cost 5 ) 0.391 * * [simplify]: iteration 33 : 2021 enodes (cost 5 ) 0.406 * * [simplify]: iteration 34 : 2109 enodes (cost 5 ) 0.422 * * [simplify]: iteration 35 : 2180 enodes (cost 5 ) 0.431 * * [simplify]: iteration 36 : 2245 enodes (cost 5 ) 0.449 * * [simplify]: iteration 37 : 2335 enodes (cost 5 ) 0.465 * * [simplify]: iteration 38 : 2406 enodes (cost 5 ) 0.473 * * [simplify]: iteration 39 : 2471 enodes (cost 5 ) 0.492 * * [simplify]: iteration 40 : 2559 enodes (cost 5 ) 0.507 * * [simplify]: iteration 41 : 2630 enodes (cost 5 ) 0.515 * * [simplify]: iteration 42 : 2695 enodes (cost 5 ) 0.530 * * [simplify]: iteration 43 : 2785 enodes (cost 5 ) 0.549 * * [simplify]: iteration 44 : 2856 enodes (cost 5 ) 0.557 * * [simplify]: iteration 45 : 2921 enodes (cost 5 ) 0.572 * * [simplify]: iteration 46 : 3011 enodes (cost 5 ) 0.587 * * [simplify]: iteration 47 : 3082 enodes (cost 5 ) 0.599 * * [simplify]: iteration 48 : 3147 enodes (cost 5 ) 0.615 * * [simplify]: iteration 49 : 3235 enodes (cost 5 ) 0.630 * * [simplify]: iteration 50 : 3306 enodes (cost 5 ) 0.638 * * [simplify]: iteration 51 : 3371 enodes (cost 5 ) 0.657 * * [simplify]: iteration 52 : 3461 enodes (cost 5 ) 0.673 * * [simplify]: iteration 53 : 3532 enodes (cost 5 ) 0.682 * * [simplify]: iteration 54 : 3597 enodes (cost 5 ) 0.697 * * [simplify]: iteration 55 : 3687 enodes (cost 5 ) 0.716 * * [simplify]: iteration 56 : 3758 enodes (cost 5 ) 0.724 * * [simplify]: iteration 57 : 3823 enodes (cost 5 ) 0.740 * * [simplify]: iteration 58 : 3911 enodes (cost 5 ) 0.755 * * [simplify]: iteration 59 : 3982 enodes (cost 5 ) 0.767 * * [simplify]: iteration 60 : 4047 enodes (cost 5 ) 0.783 * * [simplify]: iteration 61 : 4137 enodes (cost 5 ) 0.799 * * [simplify]: iteration 62 : 4208 enodes (cost 5 ) 0.807 * * [simplify]: iteration 63 : 4273 enodes (cost 5 ) 0.826 * * [simplify]: iteration 64 : 4363 enodes (cost 5 ) 0.841 * * [simplify]: iteration 65 : 4434 enodes (cost 5 ) 0.850 * * [simplify]: iteration 66 : 4499 enodes (cost 5 ) 0.865 * * [simplify]: iteration 67 : 4589 enodes (cost 5 ) 0.885 * * [simplify]: iteration 68 : 4660 enodes (cost 5 ) 0.893 * * [simplify]: iteration 69 : 4725 enodes (cost 5 ) 0.910 * * [simplify]: iteration 70 : 4815 enodes (cost 5 ) 0.925 * * [simplify]: iteration 71 : 4886 enodes (cost 5 ) 0.936 * * [simplify]: iteration 72 : 4951 enodes (cost 5 ) 0.949 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 0.949 * [simplify]: Simplified to: (- (- 1.0 x) y) 0.949 * * [progress]: iteration 1 / 4 0.949 * * * [progress]: picking best candidate 0.951 * * * * [pick]: Picked # 0.951 * * * [progress]: localizing error 0.955 * * * [progress]: generating rewritten candidates 0.955 * * * [progress]: generating series expansions 0.955 * * * [progress]: simplifying candidates 0.955 * [simplify]: Simplifying using # : 0.956 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 0.956 * * [simplify]: iteration done : 0 enodes (cost 0 ) 0.956 * [simplify]: Simplified to: 0.956 * * * [progress]: adding candidates to table 0.956 * [progress]: [Phase 3 of 3] Extracting. 0.958 * [simplify]: Simplifying using # : (- (- 1.0 x) y) 0.958 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.958 * * [simplify]: iteration done : 5 enodes (cost 5 ) 0.958 * [simplify]: Simplified to: (- (- 1.0 x) y) 1.521 * [regime-testing]: End program error score: 0.0010001250156269534