14.019 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.048 * * * [progress]: [2/2] Setting up program.
0.052 * [progress]: [Phase 2 of 3] Improving.
0.052 * [simplify]: Simplifying:
  (- (* 9.0 (pow x 4.0)) (* (* y y) (- (* y y) 2.0)))
0.052 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.052 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.052 * * [simplify]: Extracting # 2 : cost  7  inf +  0
0.052 * * [simplify]: Extracting # 3 : cost  10  inf +  1
0.053 * * [simplify]: Extracting # 4 : cost  0  inf +  1130
0.053 * * [simplify]: iteration  0 :  11  enodes  (cost  415 )
0.056 * * [simplify]: Extracting # 0 : cost  0  inf +  1130
0.057 * * [simplify]: Extracting # 1 : cost  4  inf +  1130
0.057 * * [simplify]: Extracting # 2 : cost  2  inf +  1455
0.057 * * [simplify]: Extracting # 3 : cost  3  inf +  1455
0.057 * * [simplify]: Extracting # 4 : cost  2  inf +  1456
0.057 * * [simplify]: Extracting # 5 : cost  1  inf +  1498
0.058 * * [simplify]: Extracting # 6 : cost  0  inf +  1751
0.058 * * [simplify]: iteration  1 :  25  enodes  (cost  415 )
0.062 * * [simplify]: Extracting # 0 : cost  0  inf +  1751
0.063 * * [simplify]: Extracting # 1 : cost  15  inf +  1751
0.063 * * [simplify]: Extracting # 2 : cost  2  inf +  3478
0.064 * * [simplify]: Extracting # 3 : cost  1  inf +  3560
0.064 * * [simplify]: Extracting # 4 : cost  0  inf +  3853
0.065 * * [simplify]: iteration  2 :  60  enodes  (cost  415 )
0.078 * * [simplify]: Extracting # 0 : cost  0  inf +  3853
0.078 * * [simplify]: Extracting # 1 : cost  30  inf +  3274
0.080 * * [simplify]: Extracting # 2 : cost  4  inf +  8803
0.081 * * [simplify]: Extracting # 3 : cost  1  inf +  9223
0.082 * * [simplify]: Extracting # 4 : cost  0  inf +  9476
0.085 * * [simplify]: Extracting # 5 : cost  0  inf +  9436
0.088 * * [simplify]: iteration  3 :  173  enodes  (cost  415 )
0.143 * * [simplify]: Extracting # 0 : cost  0  inf +  9436
0.145 * * [simplify]: Extracting # 1 : cost  73  inf +  5661
0.148 * * [simplify]: Extracting # 2 : cost  6  inf +  23788
0.154 * * [simplify]: Extracting # 3 : cost  0  inf +  24632
0.161 * * [simplify]: Extracting # 4 : cost  0  inf +  24471
0.169 * * [simplify]: iteration  4 :  464  enodes  (cost  390 )
0.423 * * [simplify]: Extracting # 0 : cost  0  inf +  24471
0.437 * * [simplify]: Extracting # 1 : cost  358  inf +  11271
0.452 * * [simplify]: Extracting # 2 : cost  18  inf +  110693
0.467 * * [simplify]: Extracting # 3 : cost  4  inf +  111306
0.493 * * [simplify]: Extracting # 4 : cost  0  inf +  111788
0.522 * * [simplify]: Extracting # 5 : cost  0  inf +  111588
0.547 * * [simplify]: iteration  5 :  1823  enodes  (cost  390 )
2.383 * * [simplify]: Extracting # 0 : cost  0  inf +  111588
2.472 * * [simplify]: Extracting # 1 : cost  1257  inf +  55983
2.545 * * [simplify]: Extracting # 2 : cost  63  inf +  287267
2.610 * * [simplify]: Extracting # 3 : cost  17  inf +  293081
2.673 * * [simplify]: Extracting # 4 : cost  0  inf +  298026
2.741 * * [simplify]: iteration done:  5000  enodes  (cost  390 )
2.742 * [simplify]: Simplified to:
  (fma (* y y) (- 2.0 (* y y)) (* 9.0 (pow x 4.0)))
2.746 * * [progress]: iteration 1 / 4
2.746 * * * [progress]: picking best candidate
2.750 * * * * [pick]: Picked  #<alt (λ (x y) (fma (* y y) (- 2.0 (* y y)) (* 9.0 (pow x 4.0))))>
2.750 * * * [progress]: localizing error
2.763 * * * [progress]: generating rewritten candidates
2.763 * * * [progress]: generating series expansions
2.763 * * * [progress]: simplifying candidates
2.763 * [simplify]: Simplifying:
  
2.763 * * [simplify]: Extracting # 0 : cost  0  inf +  0
2.763 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
2.763 * * [simplify]: Extracting # 0 : cost  0  inf +  0
2.763 * * [simplify]: iteration done:  0  enodes  (cost  0 )
2.763 * [simplify]: Simplified to:
  
2.763 * * * [progress]: adding candidates to table
2.764 * [progress]: [Phase 3 of 3] Extracting.
2.768 * [simplify]: Simplifying:
  (fma (* y y) (- 2.0 (* y y)) (* 9.0 (pow x 4.0)))
2.768 * * [simplify]: Extracting # 0 : cost  1  inf +  0
2.768 * * [simplify]: Extracting # 1 : cost  4  inf +  0
2.768 * * [simplify]: Extracting # 2 : cost  8  inf +  0
2.768 * * [simplify]: Extracting # 3 : cost  7  inf +  3
2.768 * * [simplify]: Extracting # 4 : cost  0  inf +  983
2.768 * * [simplify]: iteration  0 :  10  enodes  (cost  390 )
2.769 * * [simplify]: Extracting # 0 : cost  0  inf +  983
2.769 * * [simplify]: iteration  1 :  11  enodes  (cost  390 )
2.769 * * [simplify]: Extracting # 0 : cost  0  inf +  983
2.769 * * [simplify]: iteration done:  11  enodes  (cost  390 )
2.769 * [simplify]: Simplified to:
  (fma (* y y) (- 2.0 (* y y)) (* 9.0 (pow x 4.0)))
4.142 * [regime-testing]: Baseline error score: 0
4.160 * [regime-testing]: Oracle error score: 0
4.160 * [regime-testing]: End program error score: 0