1.247 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying:
  (- (* x x) (* y y))
0.022 * * [simplify]: Extracting # 0 : cost  0
0.022 * * [simplify]: Extracting # 1 : cost  0
0.022 * * [simplify]: Extracting # 2 : cost  0
0.022 * * [simplify]: Extracting # 3 : cost  0
0.022 * * [simplify]: Extracting # 4 : cost  0
0.022 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
0.023 * * [simplify]: Extracting # 0 : cost  0
0.023 * * [simplify]: Extracting # 1 : cost  0
0.023 * * [simplify]: Extracting # 2 : cost  0
0.023 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.025 * * [simplify]: Extracting # 0 : cost  0
0.025 * * [simplify]: Extracting # 1 : cost  0
0.025 * * [simplify]: Extracting # 2 : cost  0
0.025 * * [simplify]: iteration  2 :  18  enodes  (cost  7 )
0.028 * * [simplify]: Extracting # 0 : cost  0
0.028 * * [simplify]: Extracting # 1 : cost  0
0.028 * * [simplify]: Extracting # 2 : cost  0
0.028 * * [simplify]: iteration  3 :  35  enodes  (cost  7 )
0.036 * * [simplify]: Extracting # 0 : cost  0
0.036 * * [simplify]: Extracting # 1 : cost  0
0.036 * * [simplify]: Extracting # 2 : cost  0
0.036 * * [simplify]: iteration  4 :  67  enodes  (cost  7 )
0.058 * * [simplify]: Extracting # 0 : cost  0
0.059 * * [simplify]: Extracting # 1 : cost  0
0.059 * * [simplify]: Extracting # 2 : cost  0
0.059 * * [simplify]: iteration  5 :  160  enodes  (cost  7 )
0.108 * * [simplify]: Extracting # 0 : cost  0
0.108 * * [simplify]: Extracting # 1 : cost  0
0.108 * * [simplify]: Extracting # 2 : cost  0
0.109 * * [simplify]: iteration  6 :  271  enodes  (cost  7 )
0.217 * * [simplify]: Extracting # 0 : cost  0
0.217 * * [simplify]: Extracting # 1 : cost  0
0.218 * * [simplify]: Extracting # 2 : cost  0
0.218 * * [simplify]: Extracting # 3 : cost  0
0.219 * * [simplify]: iteration  7 :  514  enodes  (cost  7 )
0.979 * * [simplify]: Extracting # 0 : cost  0
0.981 * * [simplify]: Extracting # 1 : cost  0
0.983 * * [simplify]: Extracting # 2 : cost  0
0.985 * * [simplify]: Extracting # 3 : cost  0
0.986 * * [simplify]: Extracting # 4 : cost  0
0.988 * * [simplify]: iteration  8 :  1901  enodes  (cost  7 )
7.946 * * [simplify]: Extracting # 0 : cost  0
7.960 * * [simplify]: Extracting # 1 : cost  0
7.963 * * [simplify]: Extracting # 2 : cost  0
7.966 * * [simplify]: Extracting # 3 : cost  0
7.969 * * [simplify]: Extracting # 4 : cost  0
7.972 * * [simplify]: iteration done:  5001  enodes  (cost  7 )
7.972 * [simplify]: Simplified to:
  (- (* x x) (* y y))
7.973 * * [progress]: iteration 1 / 4
7.973 * * * [progress]: picking best candidate
7.974 * * * * [pick]: Picked  #<alt (λ (x y) (- (* x x) (* y y)))>
7.974 * * * [progress]: localizing error
7.978 * * * [progress]: generating rewritten candidates
7.978 * * * [progress]: generating series expansions
7.978 * * * [progress]: simplifying candidates
7.979 * [simplify]: Simplifying:
  
7.979 * * [simplify]: Extracting # 0 : cost  0
7.979 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
7.979 * * [simplify]: Extracting # 0 : cost  0
7.979 * * [simplify]: iteration done:  0  enodes  (cost  0 )
7.979 * [simplify]: Simplified to:
  
7.979 * * * [progress]: adding candidates to table
7.979 * [progress]: [Phase 3 of 3] Extracting.
7.980 * [simplify]: Simplifying:
  (- (* x x) (* y y))
7.980 * * [simplify]: Extracting # 0 : cost  0
7.980 * * [simplify]: Extracting # 1 : cost  0
7.980 * * [simplify]: Extracting # 2 : cost  0
7.980 * * [simplify]: Extracting # 3 : cost  0
7.980 * * [simplify]: Extracting # 4 : cost  0
7.980 * * [simplify]: iteration  0 :  5  enodes  (cost  7 )
7.980 * * [simplify]: Extracting # 0 : cost  0
7.981 * * [simplify]: iteration done:  5  enodes  (cost  7 )
7.981 * [simplify]: Simplified to:
  (- (* x x) (* y y))
8.603 * [regime-testing]: End program error score: 0.006772087136072298