0.411 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying:
  (* 2.0 (+ (+ (* 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) (/ 1.0 9.0))) (* (/ 1.0 9.0) 1.0)))
0.034 * * [simplify]: Extracting # 0 : cost  0
0.034 * * [simplify]: Extracting # 1 : cost  0
0.034 * * [simplify]: Extracting # 2 : cost  0
0.034 * * [simplify]: Extracting # 3 : cost  0
0.034 * * [simplify]: Extracting # 4 : cost  0
0.034 * * [simplify]: Extracting # 5 : cost  0
0.034 * * [simplify]: Extracting # 6 : cost  0
0.034 * * [simplify]: iteration  0 :  10  enodes  (cost  21 )
0.039 * * [simplify]: Extracting # 0 : cost  0
0.039 * * [simplify]: Extracting # 1 : cost  0
0.040 * * [simplify]: Extracting # 2 : cost  0
0.040 * * [simplify]: Extracting # 3 : cost  0
0.040 * * [simplify]: iteration  1 :  26  enodes  (cost  17 )
0.055 * * [simplify]: Extracting # 0 : cost  0
0.055 * * [simplify]: Extracting # 1 : cost  0
0.055 * * [simplify]: Extracting # 2 : cost  0
0.056 * * [simplify]: iteration  2 :  75  enodes  (cost  13 )
0.101 * * [simplify]: Extracting # 0 : cost  0
0.102 * * [simplify]: Extracting # 1 : cost  0
0.102 * * [simplify]: Extracting # 2 : cost  0
0.103 * * [simplify]: Extracting # 3 : cost  0
0.103 * * [simplify]: iteration  3 :  179  enodes  (cost  13 )
0.195 * * [simplify]: Extracting # 0 : cost  0
0.196 * * [simplify]: Extracting # 1 : cost  0
0.197 * * [simplify]: Extracting # 2 : cost  0
0.197 * * [simplify]: iteration  4 :  335  enodes  (cost  13 )
0.437 * * [simplify]: Extracting # 0 : cost  0
0.439 * * [simplify]: Extracting # 1 : cost  0
0.439 * * [simplify]: Extracting # 2 : cost  0
0.440 * * [simplify]: iteration  5 :  587  enodes  (cost  12 )
0.847 * * [simplify]: Extracting # 0 : cost  0
0.849 * * [simplify]: Extracting # 1 : cost  0
0.850 * * [simplify]: Extracting # 2 : cost  0
0.852 * * [simplify]: iteration  6 :  876  enodes  (cost  12 )
1.533 * * [simplify]: Extracting # 0 : cost  0
1.536 * * [simplify]: Extracting # 1 : cost  0
1.537 * * [simplify]: Extracting # 2 : cost  0
1.538 * * [simplify]: iteration  7 :  1051  enodes  (cost  12 )
2.197 * * [simplify]: Extracting # 0 : cost  0
2.199 * * [simplify]: Extracting # 1 : cost  0
2.200 * * [simplify]: Extracting # 2 : cost  0
2.202 * * [simplify]: iteration  8 :  1106  enodes  (cost  12 )
2.761 * * [simplify]: Extracting # 0 : cost  0
2.762 * * [simplify]: Extracting # 1 : cost  0
2.763 * * [simplify]: Extracting # 2 : cost  0
2.764 * * [simplify]: iteration  9 :  1128  enodes  (cost  12 )
3.419 * * [simplify]: Extracting # 0 : cost  0
3.420 * * [simplify]: iteration  10 :  1140  enodes  (cost  12 )
4.090 * * [simplify]: Extracting # 0 : cost  0
4.091 * * [simplify]: iteration  11 :  1144  enodes  (cost  12 )
4.818 * * [simplify]: Extracting # 0 : cost  0
4.820 * * [simplify]: iteration done:  1144  enodes  (cost  12 )
4.820 * [simplify]: Simplified to:
  (* (* (/ 1.0 9.0) 2.0) (fma 2 1.0 (/ 1.0 9.0)))
4.824 * * [progress]: iteration 1 / 4
4.824 * * * [progress]: picking best candidate
4.826 * * * * [pick]: Picked  #<alt (λ () (* 2.0 (+ (+ (* 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) (/ 1.0 9.0))) (* (/ 1.0 9.0) 1.0))))>
4.826 * * * [progress]: localizing error
4.840 * * * [progress]: generating rewritten candidates
4.840 * * * [progress]: generating series expansions
4.840 * * * [progress]: simplifying candidates
4.840 * [simplify]: Simplifying:
  
4.840 * * [simplify]: Extracting # 0 : cost  0
4.840 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
4.840 * * [simplify]: Extracting # 0 : cost  0
4.840 * * [simplify]: iteration done:  0  enodes  (cost  0 )
4.840 * [simplify]: Simplified to:
  
4.840 * * * [progress]: adding candidates to table
4.840 * [progress]: [Phase 3 of 3] Extracting.
4.842 * [simplify]: Simplifying:
  (* 2.0 (+ (+ (* 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) (/ 1.0 9.0))) (* (/ 1.0 9.0) 1.0)))
4.843 * * [simplify]: Extracting # 0 : cost  0
4.843 * * [simplify]: Extracting # 1 : cost  0
4.843 * * [simplify]: Extracting # 2 : cost  0
4.843 * * [simplify]: Extracting # 3 : cost  0
4.843 * * [simplify]: Extracting # 4 : cost  0
4.843 * * [simplify]: Extracting # 5 : cost  0
4.843 * * [simplify]: Extracting # 6 : cost  0
4.843 * * [simplify]: iteration  0 :  10  enodes  (cost  21 )
4.844 * * [simplify]: Extracting # 0 : cost  0
4.844 * * [simplify]: iteration  1 :  13  enodes  (cost  21 )
4.845 * * [simplify]: Extracting # 0 : cost  0
4.845 * * [simplify]: iteration done:  13  enodes  (cost  21 )
4.845 * [simplify]: Simplified to:
  (* 2.0 (+ (+ (* 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) (/ 1.0 9.0))) (* (/ 1.0 9.0) 1.0)))
5.642 * [regime-testing]: Baseline error score: 0
5.644 * [regime-testing]: Oracle error score: 0
5.644 * [regime-testing]: End program error score: 0
5.687 * [regime-testing]: Target error score: 0