32.279 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying: (+ (+ (* x y) x) y) 0.020 * * [simplify]: iteration 0: 5 enodes 0.021 * * [simplify]: iteration 1: 10 enodes 0.022 * * [simplify]: iteration 2: 20 enodes 0.025 * * [simplify]: iteration 3: 27 enodes 0.027 * * [simplify]: iteration 4: 35 enodes 0.032 * * [simplify]: iteration 5: 109 enodes 0.055 * * [simplify]: iteration 6: 331 enodes 0.209 * * [simplify]: iteration 7: 1213 enodes 2.132 * * [simplify]: iteration 8: 4777 enodes 4.725 * * [simplify]: iteration complete: 5002 enodes 4.725 * * [simplify]: Extracting #0: cost 1 inf + 0 4.727 * * [simplify]: Extracting #1: cost 979 inf + 0 4.732 * * [simplify]: Extracting #2: cost 913 inf + 3044 4.740 * * [simplify]: Extracting #3: cost 235 inf + 5460 4.747 * * [simplify]: Extracting #4: cost 0 inf + 6167 4.755 * [simplify]: Simplified to: (+ y (+ x (* x y))) 4.760 * * [progress]: iteration 1 / 4 4.760 * * * [progress]: picking best candidate 4.766 * * * * [pick]: Picked # 4.766 * * * [progress]: localizing error 4.780 * * * [progress]: generating rewritten candidates 4.780 * * * [progress]: generating series expansions 4.781 * * * [progress]: simplifying candidates 4.781 * [simplify]: Simplifying: 4.781 * * [simplify]: iteration 0: 0 enodes 4.781 * * [simplify]: iteration complete: 0 enodes 4.781 * * [simplify]: Extracting #0: cost 0 inf + 0 4.781 * [simplify]: Simplified to: 4.781 * * * [progress]: adding candidates to table 4.782 * [progress]: [Phase 3 of 3] Extracting. 4.788 * [simplify]: Simplifying: (+ y (+ x (* x y))) 4.788 * * [simplify]: iteration 0: 5 enodes 4.788 * * [simplify]: iteration 1: 8 enodes 4.789 * * [simplify]: iteration complete: 8 enodes 4.789 * * [simplify]: Extracting #0: cost 1 inf + 0 4.789 * * [simplify]: Extracting #1: cost 3 inf + 0 4.789 * * [simplify]: Extracting #2: cost 4 inf + 1 4.789 * * [simplify]: Extracting #3: cost 0 inf + 17 4.789 * [simplify]: Simplified to: (+ (+ x (* y x)) y) 5.986 * [regime-testing]: Baseline error score: 0.009574317102227923 6.002 * [regime-testing]: Oracle error score: 0.009574317102227923 6.002 * [regime-testing]: End program error score: 0.009574317102227923