0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.095 * * * [progress]: [2/2] Setting up program.
0.097 * [progress]: [Phase 2 of 3] Improving.
0.098 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- (* (+ x 1) (+ x 1)) 1))>
0.099 * [simplify]: Simplifying (- (* (+ x 1) (+ x 1)) 1)
0.100 * * [simplify]: iteration 1: (5 enodes)
0.105 * * [simplify]: iteration 2: (30 enodes)
0.112 * * [simplify]: iteration 3: (66 enodes)
0.153 * * [simplify]: iteration 4: (92 enodes)
0.170 * * [simplify]: iteration 5: (174 enodes)
0.247 * * [simplify]: iteration 6: (451 enodes)
0.540 * * [simplify]: Extracting #0: cost 1 inf + 0
0.540 * * [simplify]: Extracting #1: cost 73 inf + 0
0.542 * * [simplify]: Extracting #2: cost 196 inf + 91
0.543 * * [simplify]: Extracting #3: cost 139 inf + 4946
0.548 * * [simplify]: Extracting #4: cost 13 inf + 19106
0.555 * * [simplify]: Extracting #5: cost 0 inf + 20669
0.562 * * [simplify]: Extracting #6: cost 0 inf + 20589
0.569 * [simplify]: Simplified to (* (+ 2 x) x)
0.569 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- (* (+ x 1) (+ x 1)) 1))>
0.570 * [simplify]: Simplified (2) to (λ (x) (* (+ 2 x) x))
0.578 * * [progress]: iteration 1 / 4
0.578 * * * [progress]: picking best candidate
0.579 * * * * [pick]: Picked  #<alt (λ (x) (* (+ 2 x) x))>
0.579 * * * [progress]: localizing error
0.587 * * * [progress]: generating rewritten candidates
0.587 * * * [progress]: generating series expansions
0.588 * * * [progress]: simplifying candidates
0.588 * [simplify]: Simplifying 
0.588 * * [simplify]: iteration 1: (0 enodes)
0.588 * * [simplify]: Extracting #0: cost 0 inf + 0
0.588 * [simplify]: Simplified to 
0.588 * * * [progress]: adding candidates to table
0.588 * [progress]: [Phase 3 of 3] Extracting.
0.590 * [simplify]: Simplifying (* (+ 2 x) x)
0.590 * * [simplify]: iteration 1: (4 enodes)
0.591 * * [simplify]: iteration 2: (6 enodes)
0.591 * * [simplify]: Extracting #0: cost 1 inf + 0
0.591 * * [simplify]: Extracting #1: cost 3 inf + 0
0.591 * * [simplify]: Extracting #2: cost 3 inf + 1
0.591 * * [simplify]: Extracting #3: cost 2 inf + 2
0.591 * * [simplify]: Extracting #4: cost 0 inf + 126
0.591 * [simplify]: Simplified to (* (+ x 2) x)
2.021 * [regime-testing]: Baseline error score: 0.011876484560570071
2.024 * [regime-testing]: Oracle error score: 0.011876484560570071
2.024 * [regime-testing]: End program error score: 0.011876484560570071