311.888 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.012 * * * [progress]: [2/2] Setting up program.
0.015 * [progress]: [Phase 2 of 3] Improving.
0.015 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (+ x y) x)
0.016 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
0.016 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
0.017 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
0.018 * * [simplify]: iteration  3 :  11  enodes  (cost  5 )
0.019 * * [simplify]: iteration  4 :  12  enodes  (cost  5 )
0.021 * * [simplify]: iteration  done :  12  enodes  (cost  5 )
0.021 * [simplify]: Simplified to:
   (+ (+ x y) x)
0.021 * * [progress]: iteration 1 / 4
0.021 * * * [progress]: picking best candidate
0.023 * * * * [pick]: Picked  #<alt (λ (x y) (+ (+ x y) x))>
0.023 * * * [progress]: localizing error
0.032 * * * [progress]: generating rewritten candidates
0.032 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.039 * * * [progress]: generating series expansions
0.039 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.039 * [approximate]: Taking taylor expansion of (+ (* 2 x) y) in (x y) around 0
0.039 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in y
0.039 * [taylor]: Taking taylor expansion of (* 2 x) in y
0.039 * [taylor]: Taking taylor expansion of 2 in y
0.040 * [taylor]: Taking taylor expansion of x in y
0.040 * [taylor]: Taking taylor expansion of y in y
0.040 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in x
0.040 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.040 * [taylor]: Taking taylor expansion of 2 in x
0.040 * [taylor]: Taking taylor expansion of x in x
0.040 * [taylor]: Taking taylor expansion of y in x
0.040 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in x
0.040 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.040 * [taylor]: Taking taylor expansion of 2 in x
0.040 * [taylor]: Taking taylor expansion of x in x
0.040 * [taylor]: Taking taylor expansion of y in x
0.040 * [taylor]: Taking taylor expansion of y in y
0.040 * [taylor]: Taking taylor expansion of 2 in y
0.040 * [taylor]: Taking taylor expansion of 0 in y
0.040 * [taylor]: Taking taylor expansion of 0 in y
0.040 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (/ 1 y)) in (x y) around 0
0.040 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (/ 1 y)) in y
0.040 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y
0.040 * [taylor]: Taking taylor expansion of 2 in y
0.040 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.040 * [taylor]: Taking taylor expansion of x in y
0.040 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.040 * [taylor]: Taking taylor expansion of y in y
0.040 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (/ 1 y)) in x
0.041 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.041 * [taylor]: Taking taylor expansion of 2 in x
0.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.041 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.041 * [taylor]: Taking taylor expansion of y in x
0.041 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (/ 1 y)) in x
0.041 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.041 * [taylor]: Taking taylor expansion of 2 in x
0.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.041 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.041 * [taylor]: Taking taylor expansion of y in x
0.041 * [taylor]: Taking taylor expansion of 2 in y
0.041 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.041 * [taylor]: Taking taylor expansion of y in y
0.041 * [taylor]: Taking taylor expansion of 0 in y
0.041 * [taylor]: Taking taylor expansion of 0 in y
0.042 * [taylor]: Taking taylor expansion of 0 in y
0.042 * [approximate]: Taking taylor expansion of (neg (+ (* 2 (/ 1 x)) (/ 1 y))) in (x y) around 0
0.042 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ 1 x)) (/ 1 y))) in y
0.042 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (/ 1 y)) in y
0.042 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y
0.042 * [taylor]: Taking taylor expansion of 2 in y
0.042 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.042 * [taylor]: Taking taylor expansion of x in y
0.042 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.042 * [taylor]: Taking taylor expansion of y in y
0.042 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ 1 x)) (/ 1 y))) in x
0.042 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (/ 1 y)) in x
0.042 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.042 * [taylor]: Taking taylor expansion of 2 in x
0.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.042 * [taylor]: Taking taylor expansion of x in x
0.042 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.042 * [taylor]: Taking taylor expansion of y in x
0.042 * [taylor]: Taking taylor expansion of (neg (+ (* 2 (/ 1 x)) (/ 1 y))) in x
0.042 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) (/ 1 y)) in x
0.042 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.042 * [taylor]: Taking taylor expansion of 2 in x
0.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.042 * [taylor]: Taking taylor expansion of x in x
0.042 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.042 * [taylor]: Taking taylor expansion of y in x
0.043 * [taylor]: Taking taylor expansion of (neg 2) in y
0.043 * [taylor]: Taking taylor expansion of 2 in y
0.043 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y
0.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.043 * [taylor]: Taking taylor expansion of y in y
0.043 * [taylor]: Taking taylor expansion of 0 in y
0.043 * [taylor]: Taking taylor expansion of 0 in y
0.044 * [taylor]: Taking taylor expansion of 0 in y
0.044 * * * [progress]: simplifying candidates
0.044 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* (exp x) (exp y)) (exp x))
  (* (exp (+ x y)) (exp x))
  (log (+ (+ x y) x))
  (exp (+ (+ x y) x))
  (* (cbrt (+ (+ x y) x)) (cbrt (+ (+ x y) x)))
  (cbrt (+ (+ x y) x))
  (* (* (+ (+ x y) x) (+ (+ x y) x)) (+ (+ x y) x))
  (sqrt (+ (+ x y) x))
  (sqrt (+ (+ x y) x))
  (+ (pow (+ x y) 3) (pow x 3))
  (+ (* (+ x y) (+ x y)) (- (* x x) (* (+ x y) x)))
  (- (* (+ x y) (+ x y)) (* x x))
  (- (+ x y) x)
  (+ (+ x y) x)
  (+ (+ x y) x)
  (+ y x)
  (+ (* 2 x) y)
  (+ (* 2 x) y)
  (+ (* 2 x) y)
0.045 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
0.045 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
0.047 * * [simplify]: iteration  2 :  18  enodes  (cost  6 )
0.049 * * [simplify]: iteration  3 :  22  enodes  (cost  6 )
0.052 * * [simplify]: iteration  4 :  24  enodes  (cost  6 )
0.054 * * [simplify]: iteration  5 :  27  enodes  (cost  6 )
0.058 * * [simplify]: iteration  6 :  31  enodes  (cost  6 )
0.062 * * [simplify]: iteration  7 :  44  enodes  (cost  6 )
0.070 * * [simplify]: iteration  8 :  83  enodes  (cost  6 )
0.083 * * [simplify]: iteration  9 :  163  enodes  (cost  6 )
0.138 * * [simplify]: iteration  10 :  387  enodes  (cost  6 )
0.421 * * [simplify]: iteration  11 :  1154  enodes  (cost  6 )
3.053 * * [simplify]: iteration  12 :  4361  enodes  (cost  6 )
5.266 * * [simplify]: iteration  done :  5001  enodes  (cost  6 )
5.267 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
5.268 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
5.269 * * [simplify]: iteration  2 :  18  enodes  (cost  6 )
5.271 * * [simplify]: iteration  3 :  24  enodes  (cost  6 )
5.275 * * [simplify]: iteration  4 :  27  enodes  (cost  6 )
5.278 * * [simplify]: iteration  5 :  31  enodes  (cost  6 )
5.282 * * [simplify]: iteration  6 :  44  enodes  (cost  6 )
5.290 * * [simplify]: iteration  7 :  83  enodes  (cost  6 )
5.307 * * [simplify]: iteration  8 :  165  enodes  (cost  6 )
5.362 * * [simplify]: iteration  9 :  392  enodes  (cost  6 )
5.654 * * [simplify]: iteration  10 :  1168  enodes  (cost  6 )
8.498 * * [simplify]: iteration  11 :  4383  enodes  (cost  6 )
10.712 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
10.712 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
10.713 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
10.714 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
10.715 * * [simplify]: iteration  3 :  12  enodes  (cost  6 )
10.717 * * [simplify]: iteration  4 :  13  enodes  (cost  6 )
10.718 * * [simplify]: iteration  done :  13  enodes  (cost  6 )
10.719 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
10.719 * * [simplify]: iteration  1 :  10  enodes  (cost  6 )
10.721 * * [simplify]: iteration  2 :  17  enodes  (cost  6 )
10.723 * * [simplify]: iteration  3 :  25  enodes  (cost  6 )
10.726 * * [simplify]: iteration  4 :  28  enodes  (cost  6 )
10.730 * * [simplify]: iteration  5 :  32  enodes  (cost  6 )
10.734 * * [simplify]: iteration  6 :  45  enodes  (cost  6 )
10.741 * * [simplify]: iteration  7 :  82  enodes  (cost  6 )
10.758 * * [simplify]: iteration  8 :  164  enodes  (cost  6 )
10.814 * * [simplify]: iteration  9 :  391  enodes  (cost  6 )
11.104 * * [simplify]: iteration  10 :  1170  enodes  (cost  6 )
13.727 * * [simplify]: iteration  11 :  4390  enodes  (cost  6 )
15.908 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
15.909 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
15.910 * * [simplify]: iteration  1 :  8  enodes  (cost  13 )
15.911 * * [simplify]: iteration  2 :  11  enodes  (cost  13 )
15.912 * * [simplify]: iteration  3 :  13  enodes  (cost  13 )
15.913 * * [simplify]: iteration  4 :  14  enodes  (cost  13 )
15.915 * * [simplify]: iteration  done :  14  enodes  (cost  13 )
15.915 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
15.916 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
15.917 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
15.918 * * [simplify]: iteration  3 :  12  enodes  (cost  6 )
15.919 * * [simplify]: iteration  4 :  13  enodes  (cost  6 )
15.920 * * [simplify]: iteration  done :  13  enodes  (cost  6 )
15.921 * * [simplify]: iteration  0 :  6  enodes  (cost  17 )
15.922 * * [simplify]: iteration  1 :  21  enodes  (cost  17 )
15.926 * * [simplify]: iteration  2 :  68  enodes  (cost  7 )
15.950 * * [simplify]: iteration  3 :  241  enodes  (cost  7 )
16.119 * * [simplify]: iteration  4 :  1035  enodes  (cost  7 )
17.992 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
17.992 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
17.993 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
17.994 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
17.995 * * [simplify]: iteration  3 :  12  enodes  (cost  6 )
17.996 * * [simplify]: iteration  4 :  13  enodes  (cost  6 )
17.997 * * [simplify]: iteration  done :  13  enodes  (cost  6 )
17.998 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
17.999 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
17.999 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
18.000 * * [simplify]: iteration  3 :  12  enodes  (cost  6 )
18.002 * * [simplify]: iteration  4 :  13  enodes  (cost  6 )
18.003 * * [simplify]: iteration  done :  13  enodes  (cost  6 )
18.004 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
18.005 * * [simplify]: iteration  1 :  22  enodes  (cost  9 )
18.008 * * [simplify]: iteration  2 :  47  enodes  (cost  9 )
18.016 * * [simplify]: iteration  3 :  103  enodes  (cost  9 )
18.042 * * [simplify]: iteration  4 :  240  enodes  (cost  9 )
18.140 * * [simplify]: iteration  5 :  692  enodes  (cost  9 )
18.779 * * [simplify]: iteration  6 :  2407  enodes  (cost  9 )
20.359 * * [simplify]: iteration  done :  5000  enodes  (cost  9 )
20.360 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
20.361 * * [simplify]: iteration  1 :  21  enodes  (cost  15 )
20.364 * * [simplify]: iteration  2 :  58  enodes  (cost  15 )
20.378 * * [simplify]: iteration  3 :  166  enodes  (cost  11 )
20.460 * * [simplify]: iteration  4 :  637  enodes  (cost  10 )
21.739 * * [simplify]: iteration  5 :  2284  enodes  (cost  9 )
23.271 * * [simplify]: iteration  done :  5001  enodes  (cost  9 )
23.271 * * [simplify]: iteration  0 :  6  enodes  (cost  11 )
23.272 * * [simplify]: iteration  1 :  18  enodes  (cost  11 )
23.279 * * [simplify]: iteration  2 :  47  enodes  (cost  11 )
23.287 * * [simplify]: iteration  3 :  125  enodes  (cost  9 )
23.341 * * [simplify]: iteration  4 :  339  enodes  (cost  7 )
23.943 * * [simplify]: iteration  5 :  1489  enodes  (cost  7 )
25.774 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
25.774 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
25.775 * * [simplify]: iteration  1 :  9  enodes  (cost  5 )
25.776 * * [simplify]: iteration  2 :  16  enodes  (cost  5 )
25.779 * * [simplify]: iteration  3 :  22  enodes  (cost  3 )
25.781 * * [simplify]: iteration  4 :  24  enodes  (cost  1 )
25.782 * * [simplify]: iteration  done :  24  enodes  (cost  1 )
25.783 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
25.784 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
25.784 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
25.785 * * [simplify]: iteration  3 :  11  enodes  (cost  5 )
25.787 * * [simplify]: iteration  4 :  12  enodes  (cost  5 )
25.788 * * [simplify]: iteration  done :  12  enodes  (cost  5 )
25.788 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
25.789 * * [simplify]: iteration  1 :  6  enodes  (cost  5 )
25.790 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
25.791 * * [simplify]: iteration  3 :  11  enodes  (cost  5 )
25.792 * * [simplify]: iteration  4 :  12  enodes  (cost  5 )
25.793 * * [simplify]: iteration  done :  12  enodes  (cost  5 )
25.794 * * [simplify]: iteration  0 :  3  enodes  (cost  3 )
25.794 * * [simplify]: iteration  1 :  4  enodes  (cost  3 )
25.794 * * [simplify]: iteration  done :  4  enodes  (cost  3 )
25.795 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
25.795 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
25.796 * * [simplify]: iteration  done :  7  enodes  (cost  5 )
25.797 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
25.797 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
25.798 * * [simplify]: iteration  done :  7  enodes  (cost  5 )
25.799 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
25.799 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
25.800 * * [simplify]: iteration  done :  7  enodes  (cost  5 )
25.800 * [simplify]: Simplified to:
   (exp (+ (+ x y) x))
  (exp (+ (+ x y) x))
  (log (+ (+ x y) x))
  (exp (+ (+ x y) x))
  (* (cbrt (+ (+ x y) x)) (cbrt (+ (+ x y) x)))
  (cbrt (+ (+ x y) x))
  (pow (+ (+ x y) x) 3)
  (sqrt (+ (+ x y) x))
  (sqrt (+ (+ x y) x))
  (+ (pow (+ x y) 3) (pow x 3))
  (+ (* y y) (* (+ x y) x))
  (* (+ (+ x y) x) y)
  y
  (+ (+ x y) x)
  (+ (+ x y) x)
  (+ y x)
  (+ (* 2 x) y)
  (+ (* 2 x) y)
  (+ (* 2 x) y)
25.800 * * * [progress]: adding candidates to table
25.821 * * [progress]: iteration 2 / 4
25.821 * * * [progress]: picking best candidate
25.823 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* 2 x) y))>
25.823 * * * [progress]: localizing error
25.827 * * * [progress]: generating rewritten candidates
25.827 * * * [progress]: generating series expansions
25.827 * * * [progress]: simplifying candidates
25.827 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   
25.827 * [simplify]: Simplified to:
   
25.827 * * * [progress]: adding candidates to table
25.827 * [progress]: [Phase 3 of 3] Extracting.
25.830 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (* 2 x) y)
25.830 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
25.831 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
25.831 * * [simplify]: iteration  done :  7  enodes  (cost  5 )
25.831 * [simplify]: Simplified to:
   (+ (* 2 x) y)
26.402 * [regime-testing]: End program error score: 0
26.470 * [regime-testing]: Target error score: 0