22.302 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.009 * * * [progress]: [2/2] Setting up program. 0.011 * [progress]: [Phase 2 of 3] Improving. 0.011 * [simplify]: Simplifying using # : (- (+ x x) 1.0) 0.012 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.012 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 0.013 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.015 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 0.016 * * [simplify]: iteration 4 : 21 enodes (cost 5 ) 0.019 * * [simplify]: iteration 5 : 26 enodes (cost 5 ) 0.021 * * [simplify]: iteration 6 : 34 enodes (cost 5 ) 0.024 * * [simplify]: iteration 7 : 54 enodes (cost 5 ) 0.028 * * [simplify]: iteration 8 : 66 enodes (cost 5 ) 0.032 * * [simplify]: iteration 9 : 97 enodes (cost 5 ) 0.038 * * [simplify]: iteration 10 : 140 enodes (cost 5 ) 0.045 * * [simplify]: iteration 11 : 174 enodes (cost 5 ) 0.056 * * [simplify]: iteration 12 : 221 enodes (cost 5 ) 0.068 * * [simplify]: iteration 13 : 268 enodes (cost 5 ) 0.076 * * [simplify]: iteration 14 : 310 enodes (cost 5 ) 0.090 * * [simplify]: iteration 15 : 368 enodes (cost 5 ) 0.098 * * [simplify]: iteration 16 : 415 enodes (cost 5 ) 0.107 * * [simplify]: iteration 17 : 457 enodes (cost 5 ) 0.123 * * [simplify]: iteration 18 : 515 enodes (cost 5 ) 0.132 * * [simplify]: iteration 19 : 562 enodes (cost 5 ) 0.140 * * [simplify]: iteration 20 : 602 enodes (cost 5 ) 0.153 * * [simplify]: iteration 21 : 660 enodes (cost 5 ) 0.162 * * [simplify]: iteration 22 : 707 enodes (cost 5 ) 0.174 * * [simplify]: iteration 23 : 747 enodes (cost 5 ) 0.187 * * [simplify]: iteration 24 : 805 enodes (cost 5 ) 0.196 * * [simplify]: iteration 25 : 852 enodes (cost 5 ) 0.204 * * [simplify]: iteration 26 : 890 enodes (cost 5 ) 0.217 * * [simplify]: iteration 27 : 948 enodes (cost 5 ) 0.229 * * [simplify]: iteration 28 : 995 enodes (cost 5 ) 0.237 * * [simplify]: iteration 29 : 1035 enodes (cost 5 ) 0.251 * * [simplify]: iteration 30 : 1093 enodes (cost 5 ) 0.260 * * [simplify]: iteration 31 : 1140 enodes (cost 5 ) 0.268 * * [simplify]: iteration 32 : 1178 enodes (cost 5 ) 0.285 * * [simplify]: iteration 33 : 1236 enodes (cost 5 ) 0.293 * * [simplify]: iteration 34 : 1283 enodes (cost 5 ) 0.301 * * [simplify]: iteration 35 : 1323 enodes (cost 5 ) 0.315 * * [simplify]: iteration 36 : 1381 enodes (cost 5 ) 0.324 * * [simplify]: iteration 37 : 1428 enodes (cost 5 ) 0.336 * * [simplify]: iteration 38 : 1468 enodes (cost 5 ) 0.349 * * [simplify]: iteration 39 : 1526 enodes (cost 5 ) 0.357 * * [simplify]: iteration 40 : 1573 enodes (cost 5 ) 0.365 * * [simplify]: iteration 41 : 1613 enodes (cost 5 ) 0.379 * * [simplify]: iteration 42 : 1671 enodes (cost 5 ) 0.392 * * [simplify]: iteration 43 : 1718 enodes (cost 5 ) 0.400 * * [simplify]: iteration 44 : 1758 enodes (cost 5 ) 0.413 * * [simplify]: iteration 45 : 1816 enodes (cost 5 ) 0.421 * * [simplify]: iteration 46 : 1863 enodes (cost 5 ) 0.430 * * [simplify]: iteration 47 : 1903 enodes (cost 5 ) 0.447 * * [simplify]: iteration 48 : 1961 enodes (cost 5 ) 0.455 * * [simplify]: iteration 49 : 2008 enodes (cost 5 ) 0.464 * * [simplify]: iteration 50 : 2049 enodes (cost 5 ) 0.477 * * [simplify]: iteration 51 : 2107 enodes (cost 5 ) 0.485 * * [simplify]: iteration 52 : 2154 enodes (cost 5 ) 0.497 * * [simplify]: iteration 53 : 2194 enodes (cost 5 ) 0.510 * * [simplify]: iteration 54 : 2252 enodes (cost 5 ) 0.519 * * [simplify]: iteration 55 : 2299 enodes (cost 5 ) 0.527 * * [simplify]: iteration 56 : 2337 enodes (cost 5 ) 0.540 * * [simplify]: iteration 57 : 2395 enodes (cost 5 ) 0.552 * * [simplify]: iteration 58 : 2442 enodes (cost 5 ) 0.560 * * [simplify]: iteration 59 : 2482 enodes (cost 5 ) 0.573 * * [simplify]: iteration 60 : 2540 enodes (cost 5 ) 0.582 * * [simplify]: iteration 61 : 2587 enodes (cost 5 ) 0.590 * * [simplify]: iteration 62 : 2627 enodes (cost 5 ) 0.607 * * [simplify]: iteration 63 : 2685 enodes (cost 5 ) 0.615 * * [simplify]: iteration 64 : 2732 enodes (cost 5 ) 0.624 * * [simplify]: iteration 65 : 2772 enodes (cost 5 ) 0.637 * * [simplify]: iteration 66 : 2830 enodes (cost 5 ) 0.645 * * [simplify]: iteration 67 : 2877 enodes (cost 5 ) 0.657 * * [simplify]: iteration 68 : 2917 enodes (cost 5 ) 0.670 * * [simplify]: iteration 69 : 2975 enodes (cost 5 ) 0.679 * * [simplify]: iteration 70 : 3022 enodes (cost 5 ) 0.687 * * [simplify]: iteration 71 : 3062 enodes (cost 5 ) 0.700 * * [simplify]: iteration 72 : 3120 enodes (cost 5 ) 0.712 * * [simplify]: iteration 73 : 3167 enodes (cost 5 ) 0.720 * * [simplify]: iteration 74 : 3207 enodes (cost 5 ) 0.734 * * [simplify]: iteration 75 : 3265 enodes (cost 5 ) 0.742 * * [simplify]: iteration 76 : 3312 enodes (cost 5 ) 0.750 * * [simplify]: iteration 77 : 3352 enodes (cost 5 ) 0.768 * * [simplify]: iteration 78 : 3410 enodes (cost 5 ) 0.777 * * [simplify]: iteration 79 : 3457 enodes (cost 5 ) 0.785 * * [simplify]: iteration 80 : 3497 enodes (cost 5 ) 0.798 * * [simplify]: iteration 81 : 3555 enodes (cost 5 ) 0.806 * * [simplify]: iteration 82 : 3602 enodes (cost 5 ) 0.818 * * [simplify]: iteration 83 : 3642 enodes (cost 5 ) 0.832 * * [simplify]: iteration 84 : 3700 enodes (cost 5 ) 0.841 * * [simplify]: iteration 85 : 3747 enodes (cost 5 ) 0.849 * * [simplify]: iteration 86 : 3787 enodes (cost 5 ) 0.863 * * [simplify]: iteration 87 : 3845 enodes (cost 5 ) 0.875 * * [simplify]: iteration 88 : 3892 enodes (cost 5 ) 0.883 * * [simplify]: iteration 89 : 3932 enodes (cost 5 ) 0.898 * * [simplify]: iteration 90 : 3990 enodes (cost 5 ) 0.906 * * [simplify]: iteration 91 : 4037 enodes (cost 5 ) 0.915 * * [simplify]: iteration 92 : 4077 enodes (cost 5 ) 0.931 * * [simplify]: iteration 93 : 4135 enodes (cost 5 ) 0.940 * * [simplify]: iteration 94 : 4182 enodes (cost 5 ) 0.949 * * [simplify]: iteration 95 : 4223 enodes (cost 5 ) 0.962 * * [simplify]: iteration 96 : 4281 enodes (cost 5 ) 0.970 * * [simplify]: iteration 97 : 4328 enodes (cost 5 ) 0.982 * * [simplify]: iteration 98 : 4368 enodes (cost 5 ) 0.995 * * [simplify]: iteration 99 : 4426 enodes (cost 5 ) 1.004 * * [simplify]: iteration 100 : 4473 enodes (cost 5 ) 1.012 * * [simplify]: iteration 101 : 4514 enodes (cost 5 ) 1.025 * * [simplify]: iteration 102 : 4572 enodes (cost 5 ) 1.037 * * [simplify]: iteration 103 : 4619 enodes (cost 5 ) 1.045 * * [simplify]: iteration 104 : 4657 enodes (cost 5 ) 1.058 * * [simplify]: iteration 105 : 4715 enodes (cost 5 ) 1.067 * * [simplify]: iteration 106 : 4762 enodes (cost 5 ) 1.075 * * [simplify]: iteration 107 : 4802 enodes (cost 5 ) 1.093 * * [simplify]: iteration 108 : 4860 enodes (cost 5 ) 1.102 * * [simplify]: iteration 109 : 4907 enodes (cost 5 ) 1.110 * * [simplify]: iteration 110 : 4947 enodes (cost 5 ) 1.121 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 1.121 * [simplify]: Simplified to: (- (+ x x) 1.0) 1.122 * * [progress]: iteration 1 / 4 1.122 * * * [progress]: picking best candidate 1.123 * * * * [pick]: Picked # 1.123 * * * [progress]: localizing error 1.126 * * * [progress]: generating rewritten candidates 1.126 * * * [progress]: generating series expansions 1.127 * * * [progress]: simplifying candidates 1.127 * [simplify]: Simplifying using # : 1.127 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 1.127 * * [simplify]: iteration done : 0 enodes (cost 0 ) 1.127 * [simplify]: Simplified to: 1.127 * * * [progress]: adding candidates to table 1.127 * [progress]: [Phase 3 of 3] Extracting. 1.129 * [simplify]: Simplifying using # : (- (+ x x) 1.0) 1.130 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 1.130 * * [simplify]: iteration done : 4 enodes (cost 5 ) 1.130 * [simplify]: Simplified to: (- (+ x x) 1.0) 1.543 * [regime-testing]: End program error score: 0