23.084 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.010 * * * [progress]: [2/2] Setting up program.
0.011 * [progress]: [Phase 2 of 3] Improving.
0.011 * [simplify]: Simplifying:
  (+ (+ x y) x)
0.011 * * [simplify]: Extracting # 0 : cost  0
0.011 * * [simplify]: Extracting # 1 : cost  0
0.011 * * [simplify]: Extracting # 2 : cost  0
0.011 * * [simplify]: Extracting # 3 : cost  0
0.011 * * [simplify]: Extracting # 4 : cost  0
0.011 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
0.012 * * [simplify]: Extracting # 0 : cost  0
0.012 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
0.013 * * [simplify]: Extracting # 0 : cost  0
0.013 * * [simplify]: Extracting # 1 : cost  0
0.013 * * [simplify]: Extracting # 2 : cost  0
0.013 * * [simplify]: iteration  2 :  10  enodes  (cost  5 )
0.014 * * [simplify]: Extracting # 0 : cost  0
0.014 * * [simplify]: Extracting # 1 : cost  0
0.014 * * [simplify]: Extracting # 2 : cost  0
0.014 * * [simplify]: iteration  3 :  12  enodes  (cost  5 )
0.016 * * [simplify]: Extracting # 0 : cost  0
0.016 * * [simplify]: iteration  4 :  13  enodes  (cost  5 )
0.018 * * [simplify]: Extracting # 0 : cost  0
0.018 * * [simplify]: iteration done:  13  enodes  (cost  5 )
0.018 * [simplify]: Simplified to:
  (+ (+ x y) x)
0.018 * * [progress]: iteration 1 / 4
0.018 * * * [progress]: picking best candidate
0.019 * * * * [pick]: Picked  #<alt (λ (x y) (+ (+ x y) x))>
0.019 * * * [progress]: localizing error
0.025 * * * [progress]: generating rewritten candidates
0.025 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.051 * * * [progress]: generating series expansions
0.051 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.052 * [backup-simplify]: Simplify (+ (+ x y) x) into (+ (* 2 x) y)
0.052 * [approximate]: Taking taylor expansion of (+ (* 2 x) y) in (x y) around 0
0.052 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in y
0.052 * [taylor]: Taking taylor expansion of (* 2 x) in y
0.052 * [taylor]: Taking taylor expansion of 2 in y
0.052 * [backup-simplify]: Simplify 2 into 2
0.052 * [taylor]: Taking taylor expansion of x in y
0.052 * [backup-simplify]: Simplify x into x
0.052 * [taylor]: Taking taylor expansion of y in y
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 1 into 1
0.052 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in x
0.052 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.052 * [taylor]: Taking taylor expansion of 2 in x
0.052 * [backup-simplify]: Simplify 2 into 2
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 1 into 1
0.052 * [taylor]: Taking taylor expansion of y in x
0.052 * [backup-simplify]: Simplify y into y
0.052 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in x
0.052 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.052 * [taylor]: Taking taylor expansion of 2 in x
0.052 * [backup-simplify]: Simplify 2 into 2
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [backup-simplify]: Simplify 0 into 0
0.052 * [backup-simplify]: Simplify 1 into 1
0.052 * [taylor]: Taking taylor expansion of y in x
0.052 * [backup-simplify]: Simplify y into y
0.053 * [backup-simplify]: Simplify (* 2 0) into 0
0.053 * [backup-simplify]: Simplify (+ 0 y) into y
0.053 * [taylor]: Taking taylor expansion of y in y
0.053 * [backup-simplify]: Simplify 0 into 0
0.053 * [backup-simplify]: Simplify 1 into 1
0.053 * [backup-simplify]: Simplify 0 into 0
0.053 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
0.053 * [backup-simplify]: Simplify (+ 2 0) into 2
0.053 * [taylor]: Taking taylor expansion of 2 in y
0.053 * [backup-simplify]: Simplify 2 into 2
0.053 * [backup-simplify]: Simplify 2 into 2
0.053 * [backup-simplify]: Simplify 1 into 1
0.054 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
0.054 * [backup-simplify]: Simplify (+ 0 0) into 0
0.054 * [taylor]: Taking taylor expansion of 0 in y
0.054 * [backup-simplify]: Simplify 0 into 0
0.054 * [backup-simplify]: Simplify 0 into 0
0.054 * [backup-simplify]: Simplify 0 into 0
0.054 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.055 * [backup-simplify]: Simplify (+ 0 0) into 0
0.055 * [taylor]: Taking taylor expansion of 0 in y
0.055 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify (+ (* 1 (* y 1)) (* 2 (* 1 x))) into (+ (* 2 x) y)
0.055 * [backup-simplify]: Simplify (+ (+ (/ 1 x) (/ 1 y)) (/ 1 x)) into (+ (/ 1 y) (* 2 (/ 1 x)))
0.055 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in (x y) around 0
0.055 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in y
0.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.055 * [taylor]: Taking taylor expansion of y in y
0.055 * [backup-simplify]: Simplify 0 into 0
0.055 * [backup-simplify]: Simplify 1 into 1
0.056 * [backup-simplify]: Simplify (/ 1 1) into 1
0.056 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y
0.056 * [taylor]: Taking taylor expansion of 2 in y
0.056 * [backup-simplify]: Simplify 2 into 2
0.056 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.056 * [taylor]: Taking taylor expansion of x in y
0.056 * [backup-simplify]: Simplify x into x
0.056 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.056 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
0.056 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.056 * [taylor]: Taking taylor expansion of y in x
0.056 * [backup-simplify]: Simplify y into y
0.056 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.056 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.056 * [taylor]: Taking taylor expansion of 2 in x
0.056 * [backup-simplify]: Simplify 2 into 2
0.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.056 * [backup-simplify]: Simplify 0 into 0
0.056 * [backup-simplify]: Simplify 1 into 1
0.056 * [backup-simplify]: Simplify (/ 1 1) into 1
0.056 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
0.056 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.056 * [taylor]: Taking taylor expansion of y in x
0.056 * [backup-simplify]: Simplify y into y
0.056 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.056 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.056 * [taylor]: Taking taylor expansion of 2 in x
0.056 * [backup-simplify]: Simplify 2 into 2
0.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.057 * [backup-simplify]: Simplify 0 into 0
0.057 * [backup-simplify]: Simplify 1 into 1
0.057 * [backup-simplify]: Simplify (/ 1 1) into 1
0.057 * [backup-simplify]: Simplify (* 2 1) into 2
0.057 * [backup-simplify]: Simplify (+ 0 2) into 2
0.057 * [taylor]: Taking taylor expansion of 2 in y
0.057 * [backup-simplify]: Simplify 2 into 2
0.058 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.058 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
0.058 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.058 * [taylor]: Taking taylor expansion of y in y
0.058 * [backup-simplify]: Simplify 0 into 0
0.058 * [backup-simplify]: Simplify 1 into 1
0.058 * [backup-simplify]: Simplify (/ 1 1) into 1
0.058 * [backup-simplify]: Simplify 1 into 1
0.059 * [backup-simplify]: Simplify 2 into 2
0.059 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.060 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
0.060 * [backup-simplify]: Simplify (+ 0 0) into 0
0.060 * [taylor]: Taking taylor expansion of 0 in y
0.060 * [backup-simplify]: Simplify 0 into 0
0.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.060 * [backup-simplify]: Simplify 0 into 0
0.060 * [backup-simplify]: Simplify 0 into 0
0.060 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.061 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.062 * [backup-simplify]: Simplify (+ 0 0) into 0
0.062 * [taylor]: Taking taylor expansion of 0 in y
0.062 * [backup-simplify]: Simplify 0 into 0
0.062 * [backup-simplify]: Simplify 0 into 0
0.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.062 * [backup-simplify]: Simplify 0 into 0
0.062 * [backup-simplify]: Simplify 0 into 0
0.062 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.064 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.064 * [backup-simplify]: Simplify (+ 0 0) into 0
0.064 * [taylor]: Taking taylor expansion of 0 in y
0.064 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify (+ (* 2 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 2 x) y)
0.064 * [backup-simplify]: Simplify (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- x))) into (- (+ (/ 1 y) (* 2 (/ 1 x))))
0.064 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (* 2 (/ 1 x)))) in (x y) around 0
0.064 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (* 2 (/ 1 x)))) in y
0.064 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in y
0.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.064 * [taylor]: Taking taylor expansion of y in y
0.064 * [backup-simplify]: Simplify 0 into 0
0.064 * [backup-simplify]: Simplify 1 into 1
0.065 * [backup-simplify]: Simplify (/ 1 1) into 1
0.065 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y
0.065 * [taylor]: Taking taylor expansion of 2 in y
0.065 * [backup-simplify]: Simplify 2 into 2
0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.065 * [taylor]: Taking taylor expansion of x in y
0.065 * [backup-simplify]: Simplify x into x
0.065 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.065 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (* 2 (/ 1 x)))) in x
0.065 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
0.065 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.065 * [taylor]: Taking taylor expansion of y in x
0.065 * [backup-simplify]: Simplify y into y
0.065 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.065 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.065 * [taylor]: Taking taylor expansion of 2 in x
0.065 * [backup-simplify]: Simplify 2 into 2
0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify 1 into 1
0.065 * [backup-simplify]: Simplify (/ 1 1) into 1
0.065 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (* 2 (/ 1 x)))) in x
0.065 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
0.065 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.065 * [taylor]: Taking taylor expansion of y in x
0.065 * [backup-simplify]: Simplify y into y
0.065 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.065 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.065 * [taylor]: Taking taylor expansion of 2 in x
0.065 * [backup-simplify]: Simplify 2 into 2
0.065 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.065 * [taylor]: Taking taylor expansion of x in x
0.065 * [backup-simplify]: Simplify 0 into 0
0.065 * [backup-simplify]: Simplify 1 into 1
0.066 * [backup-simplify]: Simplify (/ 1 1) into 1
0.066 * [backup-simplify]: Simplify (* 2 1) into 2
0.066 * [backup-simplify]: Simplify (+ 0 2) into 2
0.066 * [backup-simplify]: Simplify (- 2) into -2
0.066 * [taylor]: Taking taylor expansion of -2 in y
0.066 * [backup-simplify]: Simplify -2 into -2
0.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.067 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
0.067 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.067 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.067 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.067 * [taylor]: Taking taylor expansion of y in y
0.067 * [backup-simplify]: Simplify 0 into 0
0.067 * [backup-simplify]: Simplify 1 into 1
0.068 * [backup-simplify]: Simplify (/ 1 1) into 1
0.069 * [backup-simplify]: Simplify (- 1) into -1
0.069 * [backup-simplify]: Simplify -1 into -1
0.069 * [backup-simplify]: Simplify -2 into -2
0.069 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.070 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
0.070 * [backup-simplify]: Simplify (+ 0 0) into 0
0.071 * [backup-simplify]: Simplify (- 0) into 0
0.071 * [taylor]: Taking taylor expansion of 0 in y
0.071 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.071 * [backup-simplify]: Simplify (- 0) into 0
0.071 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify 0 into 0
0.071 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.072 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.073 * [backup-simplify]: Simplify (+ 0 0) into 0
0.073 * [backup-simplify]: Simplify (- 0) into 0
0.073 * [taylor]: Taking taylor expansion of 0 in y
0.073 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify 0 into 0
0.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.074 * [backup-simplify]: Simplify (- 0) into 0
0.074 * [backup-simplify]: Simplify 0 into 0
0.074 * [backup-simplify]: Simplify 0 into 0
0.074 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.074 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.075 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.075 * [backup-simplify]: Simplify (+ 0 0) into 0
0.075 * [backup-simplify]: Simplify (- 0) into 0
0.075 * [taylor]: Taking taylor expansion of 0 in y
0.075 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify 0 into 0
0.076 * [backup-simplify]: Simplify (+ (* -2 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 2 x) y)
0.076 * * * [progress]: simplifying candidates
0.076 * [simplify]: Simplifying:
  (* (* (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.076 * * [simplify]: Extracting # 0 : cost  0
0.076 * * [simplify]: Extracting # 1 : cost  0
0.076 * * [simplify]: Extracting # 2 : cost  0
0.076 * * [simplify]: Extracting # 3 : cost  0
0.077 * * [simplify]: Extracting # 4 : cost  0
0.077 * * [simplify]: Extracting # 5 : cost  0
0.077 * * [simplify]: iteration  0 :  32  enodes  (cost  145 )
0.083 * * [simplify]: Extracting # 0 : cost  0
0.083 * * [simplify]: Extracting # 1 : cost  0
0.083 * * [simplify]: Extracting # 2 : cost  0
0.083 * * [simplify]: Extracting # 3 : cost  0
0.083 * * [simplify]: Extracting # 4 : cost  0
0.084 * * [simplify]: iteration  1 :  80  enodes  (cost  140 )
0.105 * * [simplify]: Extracting # 0 : cost  0
0.105 * * [simplify]: Extracting # 1 : cost  0
0.105 * * [simplify]: Extracting # 2 : cost  0
0.106 * * [simplify]: Extracting # 3 : cost  0
0.106 * * [simplify]: Extracting # 4 : cost  0
0.106 * * [simplify]: iteration  2 :  239  enodes  (cost  130 )
0.199 * * [simplify]: Extracting # 0 : cost  0
0.200 * * [simplify]: Extracting # 1 : cost  0
0.201 * * [simplify]: Extracting # 2 : cost  0
0.201 * * [simplify]: Extracting # 3 : cost  0
0.202 * * [simplify]: iteration  3 :  813  enodes  (cost  122 )
1.090 * * [simplify]: Extracting # 0 : cost  0
1.100 * * [simplify]: Extracting # 1 : cost  0
1.102 * * [simplify]: Extracting # 2 : cost  0
1.105 * * [simplify]: Extracting # 3 : cost  0
1.107 * * [simplify]: iteration  4 :  3728  enodes  (cost  116 )
2.060 * * [simplify]: Extracting # 0 : cost  0
2.070 * * [simplify]: Extracting # 1 : cost  0
2.073 * * [simplify]: Extracting # 2 : cost  0
2.077 * * [simplify]: Extracting # 3 : cost  0
2.080 * * [simplify]: Extracting # 4 : cost  0
2.084 * * [simplify]: iteration done:  5000  enodes  (cost  116 )
2.084 * [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))
  (* y (+ (+ x y) x))
  y
  (+ (+ x y) x)
  (+ (+ x y) x)
  (+ y x)
  (+ (+ x y) x)
  (+ (+ x y) x)
  (+ (+ x y) x)
2.084 * * * [progress]: adding candidates to table
2.104 * * [progress]: iteration 2 / 4
2.104 * * * [progress]: picking best candidate
2.106 * * * * [pick]: Picked  #<alt (λ (x y) (cbrt (pow (+ (+ x y) x) 3)))>
2.106 * * * [progress]: localizing error
2.115 * * * [progress]: generating rewritten candidates
2.115 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
2.147 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
2.174 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
2.214 * * * [progress]: generating series expansions
2.214 * * * * [progress]: [ 1 / 3 ] generating series at (2)
2.214 * [backup-simplify]: Simplify (cbrt (pow (+ (+ x y) x) 3)) into (+ (* 2 x) y)
2.214 * [approximate]: Taking taylor expansion of (+ (* 2 x) y) in (x y) around 0
2.214 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in y
2.214 * [taylor]: Taking taylor expansion of (* 2 x) in y
2.214 * [taylor]: Taking taylor expansion of 2 in y
2.214 * [backup-simplify]: Simplify 2 into 2
2.214 * [taylor]: Taking taylor expansion of x in y
2.214 * [backup-simplify]: Simplify x into x
2.214 * [taylor]: Taking taylor expansion of y in y
2.214 * [backup-simplify]: Simplify 0 into 0
2.214 * [backup-simplify]: Simplify 1 into 1
2.214 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in x
2.214 * [taylor]: Taking taylor expansion of (* 2 x) in x
2.214 * [taylor]: Taking taylor expansion of 2 in x
2.214 * [backup-simplify]: Simplify 2 into 2
2.214 * [taylor]: Taking taylor expansion of x in x
2.214 * [backup-simplify]: Simplify 0 into 0
2.214 * [backup-simplify]: Simplify 1 into 1
2.214 * [taylor]: Taking taylor expansion of y in x
2.214 * [backup-simplify]: Simplify y into y
2.214 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in x
2.214 * [taylor]: Taking taylor expansion of (* 2 x) in x
2.214 * [taylor]: Taking taylor expansion of 2 in x
2.214 * [backup-simplify]: Simplify 2 into 2
2.214 * [taylor]: Taking taylor expansion of x in x
2.214 * [backup-simplify]: Simplify 0 into 0
2.214 * [backup-simplify]: Simplify 1 into 1
2.214 * [taylor]: Taking taylor expansion of y in x
2.214 * [backup-simplify]: Simplify y into y
2.215 * [backup-simplify]: Simplify (* 2 0) into 0
2.215 * [backup-simplify]: Simplify (+ 0 y) into y
2.215 * [taylor]: Taking taylor expansion of y in y
2.215 * [backup-simplify]: Simplify 0 into 0
2.215 * [backup-simplify]: Simplify 1 into 1
2.215 * [backup-simplify]: Simplify 0 into 0
2.215 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
2.216 * [backup-simplify]: Simplify (+ 2 0) into 2
2.216 * [taylor]: Taking taylor expansion of 2 in y
2.216 * [backup-simplify]: Simplify 2 into 2
2.216 * [backup-simplify]: Simplify 2 into 2
2.216 * [backup-simplify]: Simplify 1 into 1
2.216 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
2.217 * [backup-simplify]: Simplify (+ 0 0) into 0
2.217 * [taylor]: Taking taylor expansion of 0 in y
2.217 * [backup-simplify]: Simplify 0 into 0
2.217 * [backup-simplify]: Simplify 0 into 0
2.217 * [backup-simplify]: Simplify 0 into 0
2.217 * [backup-simplify]: Simplify 0 into 0
2.218 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.218 * [backup-simplify]: Simplify (+ 0 0) into 0
2.218 * [taylor]: Taking taylor expansion of 0 in y
2.218 * [backup-simplify]: Simplify 0 into 0
2.218 * [backup-simplify]: Simplify 0 into 0
2.218 * [backup-simplify]: Simplify 0 into 0
2.218 * [backup-simplify]: Simplify 0 into 0
2.218 * [backup-simplify]: Simplify (+ (* 1 (* y 1)) (* 2 (* 1 x))) into (+ (* 2 x) y)
2.218 * [backup-simplify]: Simplify (cbrt (pow (+ (+ (/ 1 x) (/ 1 y)) (/ 1 x)) 3)) into (+ (/ 1 y) (* 2 (/ 1 x)))
2.218 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in (x y) around 0
2.218 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in y
2.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.218 * [taylor]: Taking taylor expansion of y in y
2.218 * [backup-simplify]: Simplify 0 into 0
2.218 * [backup-simplify]: Simplify 1 into 1
2.219 * [backup-simplify]: Simplify (/ 1 1) into 1
2.219 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y
2.219 * [taylor]: Taking taylor expansion of 2 in y
2.219 * [backup-simplify]: Simplify 2 into 2
2.219 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.219 * [taylor]: Taking taylor expansion of x in y
2.219 * [backup-simplify]: Simplify x into x
2.219 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.219 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
2.219 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.219 * [taylor]: Taking taylor expansion of y in x
2.219 * [backup-simplify]: Simplify y into y
2.219 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.219 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.219 * [taylor]: Taking taylor expansion of 2 in x
2.219 * [backup-simplify]: Simplify 2 into 2
2.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.219 * [taylor]: Taking taylor expansion of x in x
2.219 * [backup-simplify]: Simplify 0 into 0
2.219 * [backup-simplify]: Simplify 1 into 1
2.219 * [backup-simplify]: Simplify (/ 1 1) into 1
2.219 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
2.219 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.219 * [taylor]: Taking taylor expansion of y in x
2.219 * [backup-simplify]: Simplify y into y
2.219 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.219 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.219 * [taylor]: Taking taylor expansion of 2 in x
2.219 * [backup-simplify]: Simplify 2 into 2
2.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.219 * [taylor]: Taking taylor expansion of x in x
2.219 * [backup-simplify]: Simplify 0 into 0
2.219 * [backup-simplify]: Simplify 1 into 1
2.220 * [backup-simplify]: Simplify (/ 1 1) into 1
2.220 * [backup-simplify]: Simplify (* 2 1) into 2
2.220 * [backup-simplify]: Simplify (+ 0 2) into 2
2.220 * [taylor]: Taking taylor expansion of 2 in y
2.220 * [backup-simplify]: Simplify 2 into 2
2.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.221 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
2.221 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.221 * [taylor]: Taking taylor expansion of y in y
2.221 * [backup-simplify]: Simplify 0 into 0
2.221 * [backup-simplify]: Simplify 1 into 1
2.222 * [backup-simplify]: Simplify (/ 1 1) into 1
2.222 * [backup-simplify]: Simplify 1 into 1
2.222 * [backup-simplify]: Simplify 2 into 2
2.222 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.223 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
2.223 * [backup-simplify]: Simplify (+ 0 0) into 0
2.223 * [taylor]: Taking taylor expansion of 0 in y
2.223 * [backup-simplify]: Simplify 0 into 0
2.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.223 * [backup-simplify]: Simplify 0 into 0
2.223 * [backup-simplify]: Simplify 0 into 0
2.224 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.224 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.225 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.225 * [backup-simplify]: Simplify (+ 0 0) into 0
2.225 * [taylor]: Taking taylor expansion of 0 in y
2.225 * [backup-simplify]: Simplify 0 into 0
2.225 * [backup-simplify]: Simplify 0 into 0
2.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.225 * [backup-simplify]: Simplify 0 into 0
2.225 * [backup-simplify]: Simplify 0 into 0
2.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.227 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.227 * [backup-simplify]: Simplify (+ 0 0) into 0
2.227 * [taylor]: Taking taylor expansion of 0 in y
2.227 * [backup-simplify]: Simplify 0 into 0
2.227 * [backup-simplify]: Simplify 0 into 0
2.227 * [backup-simplify]: Simplify (+ (* 2 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 2 x) y)
2.227 * [backup-simplify]: Simplify (cbrt (pow (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- x))) 3)) into (* (cbrt -1) (+ (/ 1 y) (* 2 (/ 1 x))))
2.227 * [approximate]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 y) (* 2 (/ 1 x)))) in (x y) around 0
2.227 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 y) (* 2 (/ 1 x)))) in y
2.228 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.228 * [taylor]: Taking taylor expansion of -1 in y
2.228 * [backup-simplify]: Simplify -1 into -1
2.228 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
2.228 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
2.228 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in y
2.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.228 * [taylor]: Taking taylor expansion of y in y
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify 1 into 1
2.229 * [backup-simplify]: Simplify (/ 1 1) into 1
2.229 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y
2.229 * [taylor]: Taking taylor expansion of 2 in y
2.229 * [backup-simplify]: Simplify 2 into 2
2.229 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.229 * [taylor]: Taking taylor expansion of x in y
2.229 * [backup-simplify]: Simplify x into x
2.229 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.229 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 y) (* 2 (/ 1 x)))) in x
2.229 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.229 * [taylor]: Taking taylor expansion of -1 in x
2.229 * [backup-simplify]: Simplify -1 into -1
2.229 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
2.229 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
2.230 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
2.230 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.230 * [taylor]: Taking taylor expansion of y in x
2.230 * [backup-simplify]: Simplify y into y
2.230 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.230 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.230 * [taylor]: Taking taylor expansion of 2 in x
2.230 * [backup-simplify]: Simplify 2 into 2
2.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.230 * [taylor]: Taking taylor expansion of x in x
2.230 * [backup-simplify]: Simplify 0 into 0
2.230 * [backup-simplify]: Simplify 1 into 1
2.230 * [backup-simplify]: Simplify (/ 1 1) into 1
2.230 * [taylor]: Taking taylor expansion of (* (cbrt -1) (+ (/ 1 y) (* 2 (/ 1 x)))) in x
2.230 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.230 * [taylor]: Taking taylor expansion of -1 in x
2.230 * [backup-simplify]: Simplify -1 into -1
2.230 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
2.231 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
2.231 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
2.231 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.231 * [taylor]: Taking taylor expansion of y in x
2.231 * [backup-simplify]: Simplify y into y
2.231 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.231 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.231 * [taylor]: Taking taylor expansion of 2 in x
2.231 * [backup-simplify]: Simplify 2 into 2
2.231 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.231 * [taylor]: Taking taylor expansion of x in x
2.231 * [backup-simplify]: Simplify 0 into 0
2.231 * [backup-simplify]: Simplify 1 into 1
2.231 * [backup-simplify]: Simplify (/ 1 1) into 1
2.231 * [backup-simplify]: Simplify (* 2 1) into 2
2.232 * [backup-simplify]: Simplify (+ 0 2) into 2
2.232 * [backup-simplify]: Simplify (* (cbrt -1) 2) into (* 2 (cbrt -1))
2.232 * [taylor]: Taking taylor expansion of (* 2 (cbrt -1)) in y
2.232 * [taylor]: Taking taylor expansion of 2 in y
2.232 * [backup-simplify]: Simplify 2 into 2
2.232 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.232 * [taylor]: Taking taylor expansion of -1 in y
2.232 * [backup-simplify]: Simplify -1 into -1
2.233 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
2.233 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
2.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.234 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
2.234 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.235 * [backup-simplify]: Simplify (+ (* (cbrt -1) (/ 1 y)) (* 0 2)) into (/ (cbrt -1) y)
2.235 * [taylor]: Taking taylor expansion of (/ (cbrt -1) y) in y
2.235 * [taylor]: Taking taylor expansion of (cbrt -1) in y
2.235 * [taylor]: Taking taylor expansion of -1 in y
2.235 * [backup-simplify]: Simplify -1 into -1
2.235 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
2.235 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
2.235 * [taylor]: Taking taylor expansion of y in y
2.235 * [backup-simplify]: Simplify 0 into 0
2.235 * [backup-simplify]: Simplify 1 into 1
2.236 * [backup-simplify]: Simplify (/ (cbrt -1) 1) into (cbrt -1)
2.236 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
2.237 * [backup-simplify]: Simplify (* 2 (cbrt -1)) into (* 2 (cbrt -1))
2.237 * [backup-simplify]: Simplify (* 2 (cbrt -1)) into (* 2 (cbrt -1))
2.237 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.238 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
2.239 * [backup-simplify]: Simplify (+ 0 0) into 0
2.239 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
2.240 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 (/ 1 y)) (* 0 2))) into 0
2.240 * [taylor]: Taking taylor expansion of 0 in y
2.240 * [backup-simplify]: Simplify 0 into 0
2.241 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt -1) (/ 0 1)))) into 0
2.241 * [backup-simplify]: Simplify 0 into 0
2.241 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (cbrt -1))) into 0
2.241 * [backup-simplify]: Simplify 0 into 0
2.241 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.242 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.243 * [backup-simplify]: Simplify (+ 0 0) into 0
2.243 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt -1))) into 0
2.247 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 2)))) into 0
2.247 * [taylor]: Taking taylor expansion of 0 in y
2.247 * [backup-simplify]: Simplify 0 into 0
2.247 * [backup-simplify]: Simplify 0 into 0
2.248 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
2.249 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (cbrt -1) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.249 * [backup-simplify]: Simplify 0 into 0
2.250 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
2.250 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (cbrt -1)))) into 0
2.250 * [backup-simplify]: Simplify 0 into 0
2.250 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.251 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.252 * [backup-simplify]: Simplify (+ 0 0) into 0
2.253 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
2.254 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 2))))) into 0
2.254 * [taylor]: Taking taylor expansion of 0 in y
2.254 * [backup-simplify]: Simplify 0 into 0
2.254 * [backup-simplify]: Simplify 0 into 0
2.255 * [backup-simplify]: Simplify (+ (* (* 2 (cbrt -1)) (* 1 (/ 1 (/ 1 (- x))))) (* (cbrt -1) (* (/ 1 (/ 1 (- y))) 1))) into (- (+ (* 2 (* (cbrt -1) x)) (* (cbrt -1) y)))
2.255 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
2.255 * [backup-simplify]: Simplify (+ (+ x y) x) into (+ (* 2 x) y)
2.255 * [approximate]: Taking taylor expansion of (+ (* 2 x) y) in (x y) around 0
2.255 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in y
2.255 * [taylor]: Taking taylor expansion of (* 2 x) in y
2.255 * [taylor]: Taking taylor expansion of 2 in y
2.255 * [backup-simplify]: Simplify 2 into 2
2.255 * [taylor]: Taking taylor expansion of x in y
2.255 * [backup-simplify]: Simplify x into x
2.255 * [taylor]: Taking taylor expansion of y in y
2.255 * [backup-simplify]: Simplify 0 into 0
2.255 * [backup-simplify]: Simplify 1 into 1
2.255 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in x
2.255 * [taylor]: Taking taylor expansion of (* 2 x) in x
2.255 * [taylor]: Taking taylor expansion of 2 in x
2.255 * [backup-simplify]: Simplify 2 into 2
2.255 * [taylor]: Taking taylor expansion of x in x
2.255 * [backup-simplify]: Simplify 0 into 0
2.255 * [backup-simplify]: Simplify 1 into 1
2.255 * [taylor]: Taking taylor expansion of y in x
2.255 * [backup-simplify]: Simplify y into y
2.255 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in x
2.255 * [taylor]: Taking taylor expansion of (* 2 x) in x
2.255 * [taylor]: Taking taylor expansion of 2 in x
2.255 * [backup-simplify]: Simplify 2 into 2
2.255 * [taylor]: Taking taylor expansion of x in x
2.255 * [backup-simplify]: Simplify 0 into 0
2.255 * [backup-simplify]: Simplify 1 into 1
2.255 * [taylor]: Taking taylor expansion of y in x
2.255 * [backup-simplify]: Simplify y into y
2.256 * [backup-simplify]: Simplify (* 2 0) into 0
2.256 * [backup-simplify]: Simplify (+ 0 y) into y
2.256 * [taylor]: Taking taylor expansion of y in y
2.256 * [backup-simplify]: Simplify 0 into 0
2.256 * [backup-simplify]: Simplify 1 into 1
2.256 * [backup-simplify]: Simplify 0 into 0
2.256 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
2.256 * [backup-simplify]: Simplify (+ 2 0) into 2
2.256 * [taylor]: Taking taylor expansion of 2 in y
2.256 * [backup-simplify]: Simplify 2 into 2
2.256 * [backup-simplify]: Simplify 2 into 2
2.256 * [backup-simplify]: Simplify 1 into 1
2.257 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
2.257 * [backup-simplify]: Simplify (+ 0 0) into 0
2.257 * [taylor]: Taking taylor expansion of 0 in y
2.257 * [backup-simplify]: Simplify 0 into 0
2.257 * [backup-simplify]: Simplify 0 into 0
2.257 * [backup-simplify]: Simplify 0 into 0
2.257 * [backup-simplify]: Simplify 0 into 0
2.258 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.258 * [backup-simplify]: Simplify (+ 0 0) into 0
2.258 * [taylor]: Taking taylor expansion of 0 in y
2.258 * [backup-simplify]: Simplify 0 into 0
2.258 * [backup-simplify]: Simplify 0 into 0
2.258 * [backup-simplify]: Simplify 0 into 0
2.258 * [backup-simplify]: Simplify 0 into 0
2.258 * [backup-simplify]: Simplify (+ (* 1 (* y 1)) (* 2 (* 1 x))) into (+ (* 2 x) y)
2.258 * [backup-simplify]: Simplify (+ (+ (/ 1 x) (/ 1 y)) (/ 1 x)) into (+ (/ 1 y) (* 2 (/ 1 x)))
2.258 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in (x y) around 0
2.258 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in y
2.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.258 * [taylor]: Taking taylor expansion of y in y
2.258 * [backup-simplify]: Simplify 0 into 0
2.258 * [backup-simplify]: Simplify 1 into 1
2.259 * [backup-simplify]: Simplify (/ 1 1) into 1
2.259 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y
2.259 * [taylor]: Taking taylor expansion of 2 in y
2.259 * [backup-simplify]: Simplify 2 into 2
2.259 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.259 * [taylor]: Taking taylor expansion of x in y
2.259 * [backup-simplify]: Simplify x into x
2.259 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.259 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
2.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.259 * [taylor]: Taking taylor expansion of y in x
2.259 * [backup-simplify]: Simplify y into y
2.259 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.259 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.259 * [taylor]: Taking taylor expansion of 2 in x
2.259 * [backup-simplify]: Simplify 2 into 2
2.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.259 * [taylor]: Taking taylor expansion of x in x
2.259 * [backup-simplify]: Simplify 0 into 0
2.259 * [backup-simplify]: Simplify 1 into 1
2.259 * [backup-simplify]: Simplify (/ 1 1) into 1
2.259 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
2.259 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.259 * [taylor]: Taking taylor expansion of y in x
2.259 * [backup-simplify]: Simplify y into y
2.259 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.259 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.259 * [taylor]: Taking taylor expansion of 2 in x
2.259 * [backup-simplify]: Simplify 2 into 2
2.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.259 * [taylor]: Taking taylor expansion of x in x
2.259 * [backup-simplify]: Simplify 0 into 0
2.259 * [backup-simplify]: Simplify 1 into 1
2.260 * [backup-simplify]: Simplify (/ 1 1) into 1
2.260 * [backup-simplify]: Simplify (* 2 1) into 2
2.260 * [backup-simplify]: Simplify (+ 0 2) into 2
2.260 * [taylor]: Taking taylor expansion of 2 in y
2.260 * [backup-simplify]: Simplify 2 into 2
2.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.261 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
2.261 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.261 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.261 * [taylor]: Taking taylor expansion of y in y
2.261 * [backup-simplify]: Simplify 0 into 0
2.261 * [backup-simplify]: Simplify 1 into 1
2.261 * [backup-simplify]: Simplify (/ 1 1) into 1
2.261 * [backup-simplify]: Simplify 1 into 1
2.261 * [backup-simplify]: Simplify 2 into 2
2.262 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.262 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.262 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
2.263 * [backup-simplify]: Simplify (+ 0 0) into 0
2.263 * [taylor]: Taking taylor expansion of 0 in y
2.263 * [backup-simplify]: Simplify 0 into 0
2.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.263 * [backup-simplify]: Simplify 0 into 0
2.263 * [backup-simplify]: Simplify 0 into 0
2.263 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.264 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.265 * [backup-simplify]: Simplify (+ 0 0) into 0
2.265 * [taylor]: Taking taylor expansion of 0 in y
2.265 * [backup-simplify]: Simplify 0 into 0
2.265 * [backup-simplify]: Simplify 0 into 0
2.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.265 * [backup-simplify]: Simplify 0 into 0
2.265 * [backup-simplify]: Simplify 0 into 0
2.265 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.266 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.267 * [backup-simplify]: Simplify (+ 0 0) into 0
2.267 * [taylor]: Taking taylor expansion of 0 in y
2.267 * [backup-simplify]: Simplify 0 into 0
2.267 * [backup-simplify]: Simplify 0 into 0
2.267 * [backup-simplify]: Simplify (+ (* 2 (* 1 (/ 1 (/ 1 x)))) (* 1 (* (/ 1 (/ 1 y)) 1))) into (+ (* 2 x) y)
2.267 * [backup-simplify]: Simplify (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- x))) into (- (+ (/ 1 y) (* 2 (/ 1 x))))
2.267 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (* 2 (/ 1 x)))) in (x y) around 0
2.267 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (* 2 (/ 1 x)))) in y
2.267 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in y
2.267 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.267 * [taylor]: Taking taylor expansion of y in y
2.267 * [backup-simplify]: Simplify 0 into 0
2.267 * [backup-simplify]: Simplify 1 into 1
2.267 * [backup-simplify]: Simplify (/ 1 1) into 1
2.267 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y
2.267 * [taylor]: Taking taylor expansion of 2 in y
2.267 * [backup-simplify]: Simplify 2 into 2
2.267 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.267 * [taylor]: Taking taylor expansion of x in y
2.267 * [backup-simplify]: Simplify x into x
2.267 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.268 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (* 2 (/ 1 x)))) in x
2.268 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
2.268 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.268 * [taylor]: Taking taylor expansion of y in x
2.268 * [backup-simplify]: Simplify y into y
2.268 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.268 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.268 * [taylor]: Taking taylor expansion of 2 in x
2.268 * [backup-simplify]: Simplify 2 into 2
2.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.268 * [taylor]: Taking taylor expansion of x in x
2.268 * [backup-simplify]: Simplify 0 into 0
2.268 * [backup-simplify]: Simplify 1 into 1
2.268 * [backup-simplify]: Simplify (/ 1 1) into 1
2.268 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (* 2 (/ 1 x)))) in x
2.268 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
2.268 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.268 * [taylor]: Taking taylor expansion of y in x
2.268 * [backup-simplify]: Simplify y into y
2.268 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.268 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.268 * [taylor]: Taking taylor expansion of 2 in x
2.268 * [backup-simplify]: Simplify 2 into 2
2.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.268 * [taylor]: Taking taylor expansion of x in x
2.268 * [backup-simplify]: Simplify 0 into 0
2.268 * [backup-simplify]: Simplify 1 into 1
2.268 * [backup-simplify]: Simplify (/ 1 1) into 1
2.269 * [backup-simplify]: Simplify (* 2 1) into 2
2.269 * [backup-simplify]: Simplify (+ 0 2) into 2
2.269 * [backup-simplify]: Simplify (- 2) into -2
2.269 * [taylor]: Taking taylor expansion of -2 in y
2.269 * [backup-simplify]: Simplify -2 into -2
2.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.270 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
2.270 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.270 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.270 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
2.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.270 * [taylor]: Taking taylor expansion of y in y
2.270 * [backup-simplify]: Simplify 0 into 0
2.270 * [backup-simplify]: Simplify 1 into 1
2.270 * [backup-simplify]: Simplify (/ 1 1) into 1
2.271 * [backup-simplify]: Simplify (- 1) into -1
2.271 * [backup-simplify]: Simplify -1 into -1
2.271 * [backup-simplify]: Simplify -2 into -2
2.271 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.272 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
2.272 * [backup-simplify]: Simplify (+ 0 0) into 0
2.272 * [backup-simplify]: Simplify (- 0) into 0
2.272 * [taylor]: Taking taylor expansion of 0 in y
2.272 * [backup-simplify]: Simplify 0 into 0
2.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.273 * [backup-simplify]: Simplify (- 0) into 0
2.273 * [backup-simplify]: Simplify 0 into 0
2.273 * [backup-simplify]: Simplify 0 into 0
2.273 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.274 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.274 * [backup-simplify]: Simplify (+ 0 0) into 0
2.274 * [backup-simplify]: Simplify (- 0) into 0
2.274 * [taylor]: Taking taylor expansion of 0 in y
2.274 * [backup-simplify]: Simplify 0 into 0
2.275 * [backup-simplify]: Simplify 0 into 0
2.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.275 * [backup-simplify]: Simplify (- 0) into 0
2.275 * [backup-simplify]: Simplify 0 into 0
2.275 * [backup-simplify]: Simplify 0 into 0
2.275 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.277 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.277 * [backup-simplify]: Simplify (+ 0 0) into 0
2.277 * [backup-simplify]: Simplify (- 0) into 0
2.277 * [taylor]: Taking taylor expansion of 0 in y
2.277 * [backup-simplify]: Simplify 0 into 0
2.277 * [backup-simplify]: Simplify 0 into 0
2.277 * [backup-simplify]: Simplify (+ (* -2 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 2 x) y)
2.277 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
2.277 * [backup-simplify]: Simplify (pow (+ (+ x y) x) 3) into (pow (+ (* 2 x) y) 3)
2.277 * [approximate]: Taking taylor expansion of (pow (+ (* 2 x) y) 3) in (x y) around 0
2.277 * [taylor]: Taking taylor expansion of (pow (+ (* 2 x) y) 3) in y
2.277 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in y
2.277 * [taylor]: Taking taylor expansion of (* 2 x) in y
2.277 * [taylor]: Taking taylor expansion of 2 in y
2.277 * [backup-simplify]: Simplify 2 into 2
2.278 * [taylor]: Taking taylor expansion of x in y
2.278 * [backup-simplify]: Simplify x into x
2.278 * [taylor]: Taking taylor expansion of y in y
2.278 * [backup-simplify]: Simplify 0 into 0
2.278 * [backup-simplify]: Simplify 1 into 1
2.278 * [backup-simplify]: Simplify (* 2 x) into (* 2 x)
2.278 * [backup-simplify]: Simplify (+ (* 2 x) 0) into (* 2 x)
2.278 * [taylor]: Taking taylor expansion of (pow (+ (* 2 x) y) 3) in x
2.278 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in x
2.278 * [taylor]: Taking taylor expansion of (* 2 x) in x
2.278 * [taylor]: Taking taylor expansion of 2 in x
2.278 * [backup-simplify]: Simplify 2 into 2
2.278 * [taylor]: Taking taylor expansion of x in x
2.278 * [backup-simplify]: Simplify 0 into 0
2.278 * [backup-simplify]: Simplify 1 into 1
2.278 * [taylor]: Taking taylor expansion of y in x
2.278 * [backup-simplify]: Simplify y into y
2.278 * [backup-simplify]: Simplify (* 2 0) into 0
2.278 * [backup-simplify]: Simplify (+ 0 y) into y
2.278 * [taylor]: Taking taylor expansion of (pow (+ (* 2 x) y) 3) in x
2.278 * [taylor]: Taking taylor expansion of (+ (* 2 x) y) in x
2.278 * [taylor]: Taking taylor expansion of (* 2 x) in x
2.278 * [taylor]: Taking taylor expansion of 2 in x
2.278 * [backup-simplify]: Simplify 2 into 2
2.278 * [taylor]: Taking taylor expansion of x in x
2.278 * [backup-simplify]: Simplify 0 into 0
2.278 * [backup-simplify]: Simplify 1 into 1
2.278 * [taylor]: Taking taylor expansion of y in x
2.278 * [backup-simplify]: Simplify y into y
2.279 * [backup-simplify]: Simplify (* 2 0) into 0
2.279 * [backup-simplify]: Simplify (+ 0 y) into y
2.279 * [backup-simplify]: Simplify (* y y) into (pow y 2)
2.279 * [backup-simplify]: Simplify (* y (pow y 2)) into (pow y 3)
2.279 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.279 * [taylor]: Taking taylor expansion of y in y
2.279 * [backup-simplify]: Simplify 0 into 0
2.279 * [backup-simplify]: Simplify 1 into 1
2.279 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
2.279 * [backup-simplify]: Simplify (+ 2 0) into 2
2.280 * [backup-simplify]: Simplify (+ (* y 2) (* 2 y)) into (* 4 y)
2.280 * [backup-simplify]: Simplify (+ (* y (* 4 y)) (* 2 (pow y 2))) into (* 6 (pow y 2))
2.280 * [taylor]: Taking taylor expansion of (* 6 (pow y 2)) in y
2.280 * [taylor]: Taking taylor expansion of 6 in y
2.280 * [backup-simplify]: Simplify 6 into 6
2.280 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.280 * [taylor]: Taking taylor expansion of y in y
2.280 * [backup-simplify]: Simplify 0 into 0
2.280 * [backup-simplify]: Simplify 1 into 1
2.280 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
2.281 * [backup-simplify]: Simplify (+ 0 0) into 0
2.281 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 2 2) (* 0 y))) into 4
2.281 * [backup-simplify]: Simplify (+ (* y 4) (+ (* 2 (* 4 y)) (* 0 (pow y 2)))) into (* 12 y)
2.281 * [taylor]: Taking taylor expansion of (* 12 y) in y
2.281 * [taylor]: Taking taylor expansion of 12 in y
2.281 * [backup-simplify]: Simplify 12 into 12
2.281 * [taylor]: Taking taylor expansion of y in y
2.281 * [backup-simplify]: Simplify 0 into 0
2.281 * [backup-simplify]: Simplify 1 into 1
2.281 * [backup-simplify]: Simplify (* 12 0) into 0
2.281 * [backup-simplify]: Simplify 0 into 0
2.282 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.282 * [backup-simplify]: Simplify (+ 0 0) into 0
2.283 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 2 0) (+ (* 0 2) (* 0 y)))) into 0
2.283 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 2 4) (+ (* 0 (* 4 y)) (* 0 (pow y 2))))) into 8
2.283 * [taylor]: Taking taylor expansion of 8 in y
2.283 * [backup-simplify]: Simplify 8 into 8
2.283 * [backup-simplify]: Simplify 8 into 8
2.284 * [backup-simplify]: Simplify (+ (* 12 1) (* 0 0)) into 12
2.284 * [backup-simplify]: Simplify 12 into 12
2.284 * [backup-simplify]: Simplify (* 1 1) into 1
2.284 * [backup-simplify]: Simplify (* 6 1) into 6
2.284 * [backup-simplify]: Simplify 6 into 6
2.285 * [backup-simplify]: Simplify (+ (* 6 (* (pow y 2) x)) (+ (* 12 (* y (pow x 2))) (* 8 (pow (* 1 x) 3)))) into (+ (* 6 (* x (pow y 2))) (+ (* 12 (* (pow x 2) y)) (* 8 (pow x 3))))
2.285 * [backup-simplify]: Simplify (pow (+ (+ (/ 1 x) (/ 1 y)) (/ 1 x)) 3) into (pow (+ (/ 1 y) (* 2 (/ 1 x))) 3)
2.285 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 y) (* 2 (/ 1 x))) 3) in (x y) around 0
2.285 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (* 2 (/ 1 x))) 3) in y
2.285 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in y
2.285 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.285 * [taylor]: Taking taylor expansion of y in y
2.285 * [backup-simplify]: Simplify 0 into 0
2.285 * [backup-simplify]: Simplify 1 into 1
2.286 * [backup-simplify]: Simplify (/ 1 1) into 1
2.286 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y
2.286 * [taylor]: Taking taylor expansion of 2 in y
2.286 * [backup-simplify]: Simplify 2 into 2
2.286 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.286 * [taylor]: Taking taylor expansion of x in y
2.286 * [backup-simplify]: Simplify x into x
2.286 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.286 * [backup-simplify]: Simplify (+ 1 0) into 1
2.286 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (* 2 (/ 1 x))) 3) in x
2.286 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
2.286 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.286 * [taylor]: Taking taylor expansion of y in x
2.286 * [backup-simplify]: Simplify y into y
2.286 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.286 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.286 * [taylor]: Taking taylor expansion of 2 in x
2.286 * [backup-simplify]: Simplify 2 into 2
2.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.286 * [taylor]: Taking taylor expansion of x in x
2.286 * [backup-simplify]: Simplify 0 into 0
2.286 * [backup-simplify]: Simplify 1 into 1
2.286 * [backup-simplify]: Simplify (/ 1 1) into 1
2.287 * [backup-simplify]: Simplify (* 2 1) into 2
2.287 * [backup-simplify]: Simplify (+ 0 2) into 2
2.287 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (* 2 (/ 1 x))) 3) in x
2.287 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
2.287 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.287 * [taylor]: Taking taylor expansion of y in x
2.287 * [backup-simplify]: Simplify y into y
2.287 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.287 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.287 * [taylor]: Taking taylor expansion of 2 in x
2.287 * [backup-simplify]: Simplify 2 into 2
2.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.287 * [taylor]: Taking taylor expansion of x in x
2.287 * [backup-simplify]: Simplify 0 into 0
2.287 * [backup-simplify]: Simplify 1 into 1
2.287 * [backup-simplify]: Simplify (/ 1 1) into 1
2.288 * [backup-simplify]: Simplify (* 2 1) into 2
2.288 * [backup-simplify]: Simplify (+ 0 2) into 2
2.288 * [backup-simplify]: Simplify (* 2 2) into 4
2.288 * [backup-simplify]: Simplify (* 2 4) into 8
2.288 * [taylor]: Taking taylor expansion of 8 in y
2.288 * [backup-simplify]: Simplify 8 into 8
2.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.289 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
2.289 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.289 * [backup-simplify]: Simplify (+ (* 2 (/ 1 y)) (* (/ 1 y) 2)) into (* 4 (/ 1 y))
2.290 * [backup-simplify]: Simplify (+ (* 2 (* 4 (/ 1 y))) (* (/ 1 y) 4)) into (* 12 (/ 1 y))
2.290 * [taylor]: Taking taylor expansion of (* 12 (/ 1 y)) in y
2.290 * [taylor]: Taking taylor expansion of 12 in y
2.290 * [backup-simplify]: Simplify 12 into 12
2.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.290 * [taylor]: Taking taylor expansion of y in y
2.290 * [backup-simplify]: Simplify 0 into 0
2.290 * [backup-simplify]: Simplify 1 into 1
2.290 * [backup-simplify]: Simplify (/ 1 1) into 1
2.290 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.291 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.291 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
2.291 * [backup-simplify]: Simplify (+ 0 0) into 0
2.292 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* (/ 1 y) (/ 1 y)) (* 0 2))) into (/ 1 (pow y 2))
2.292 * [backup-simplify]: Simplify (+ (* 2 (/ 1 (pow y 2))) (+ (* (/ 1 y) (* 4 (/ 1 y))) (* 0 4))) into (* 6 (/ 1 (pow y 2)))
2.292 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow y 2))) in y
2.292 * [taylor]: Taking taylor expansion of 6 in y
2.292 * [backup-simplify]: Simplify 6 into 6
2.292 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.292 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.292 * [taylor]: Taking taylor expansion of y in y
2.293 * [backup-simplify]: Simplify 0 into 0
2.293 * [backup-simplify]: Simplify 1 into 1
2.293 * [backup-simplify]: Simplify (* 1 1) into 1
2.293 * [backup-simplify]: Simplify (/ 1 1) into 1
2.293 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.294 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.294 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.294 * [backup-simplify]: Simplify (+ 0 0) into 0
2.295 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* (/ 1 y) 0) (+ (* 0 (/ 1 y)) (* 0 2)))) into 0
2.296 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* (/ 1 y) (/ 1 (pow y 2))) (+ (* 0 (* 4 (/ 1 y))) (* 0 4)))) into (/ 1 (pow y 3))
2.296 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.296 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.296 * [taylor]: Taking taylor expansion of y in y
2.296 * [backup-simplify]: Simplify 0 into 0
2.296 * [backup-simplify]: Simplify 1 into 1
2.296 * [backup-simplify]: Simplify (* 1 1) into 1
2.296 * [backup-simplify]: Simplify (* 1 1) into 1
2.296 * [backup-simplify]: Simplify (/ 1 1) into 1
2.296 * [backup-simplify]: Simplify 1 into 1
2.297 * [backup-simplify]: Simplify (* 6 1) into 6
2.297 * [backup-simplify]: Simplify 6 into 6
2.297 * [backup-simplify]: Simplify (* 12 1) into 12
2.297 * [backup-simplify]: Simplify 12 into 12
2.297 * [backup-simplify]: Simplify (+ (* 12 (* (/ 1 (/ 1 y)) (pow (/ 1 x) -2))) (+ (* 6 (* (pow (/ 1 y) -2) (/ 1 (/ 1 x)))) (* 1 (pow (* (/ 1 (/ 1 y)) 1) 3)))) into (+ (* 6 (* x (pow y 2))) (+ (* 12 (* (pow x 2) y)) (pow y 3)))
2.298 * [backup-simplify]: Simplify (pow (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- x))) 3) into (pow (- (+ (/ 1 y) (* 2 (/ 1 x)))) 3)
2.298 * [approximate]: Taking taylor expansion of (pow (- (+ (/ 1 y) (* 2 (/ 1 x)))) 3) in (x y) around 0
2.298 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 y) (* 2 (/ 1 x)))) 3) in y
2.298 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (* 2 (/ 1 x)))) in y
2.298 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in y
2.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.298 * [taylor]: Taking taylor expansion of y in y
2.298 * [backup-simplify]: Simplify 0 into 0
2.298 * [backup-simplify]: Simplify 1 into 1
2.298 * [backup-simplify]: Simplify (/ 1 1) into 1
2.298 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y
2.298 * [taylor]: Taking taylor expansion of 2 in y
2.298 * [backup-simplify]: Simplify 2 into 2
2.298 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.298 * [taylor]: Taking taylor expansion of x in y
2.298 * [backup-simplify]: Simplify x into x
2.298 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.298 * [backup-simplify]: Simplify (+ 1 0) into 1
2.299 * [backup-simplify]: Simplify (- 1) into -1
2.299 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 y) (* 2 (/ 1 x)))) 3) in x
2.299 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (* 2 (/ 1 x)))) in x
2.299 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
2.299 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.299 * [taylor]: Taking taylor expansion of y in x
2.299 * [backup-simplify]: Simplify y into y
2.299 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.299 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.299 * [taylor]: Taking taylor expansion of 2 in x
2.299 * [backup-simplify]: Simplify 2 into 2
2.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.299 * [taylor]: Taking taylor expansion of x in x
2.299 * [backup-simplify]: Simplify 0 into 0
2.299 * [backup-simplify]: Simplify 1 into 1
2.299 * [backup-simplify]: Simplify (/ 1 1) into 1
2.299 * [backup-simplify]: Simplify (* 2 1) into 2
2.300 * [backup-simplify]: Simplify (+ 0 2) into 2
2.300 * [backup-simplify]: Simplify (- 2) into -2
2.300 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 y) (* 2 (/ 1 x)))) 3) in x
2.300 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (* 2 (/ 1 x)))) in x
2.300 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 2 (/ 1 x))) in x
2.300 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.300 * [taylor]: Taking taylor expansion of y in x
2.300 * [backup-simplify]: Simplify y into y
2.300 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.300 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
2.300 * [taylor]: Taking taylor expansion of 2 in x
2.300 * [backup-simplify]: Simplify 2 into 2
2.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.300 * [taylor]: Taking taylor expansion of x in x
2.300 * [backup-simplify]: Simplify 0 into 0
2.300 * [backup-simplify]: Simplify 1 into 1
2.300 * [backup-simplify]: Simplify (/ 1 1) into 1
2.301 * [backup-simplify]: Simplify (* 2 1) into 2
2.301 * [backup-simplify]: Simplify (+ 0 2) into 2
2.301 * [backup-simplify]: Simplify (- 2) into -2
2.301 * [backup-simplify]: Simplify (- 2) into -2
2.301 * [backup-simplify]: Simplify (- 2) into -2
2.302 * [backup-simplify]: Simplify (- 2) into -2
2.302 * [backup-simplify]: Simplify (* -2 -2) into 4
2.302 * [backup-simplify]: Simplify (* -2 4) into -8
2.302 * [taylor]: Taking taylor expansion of -8 in y
2.302 * [backup-simplify]: Simplify -8 into -8
2.302 * [backup-simplify]: Simplify (- 2) into -2
2.303 * [backup-simplify]: Simplify (- 2) into -2
2.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.303 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
2.303 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.304 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.304 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.304 * [backup-simplify]: Simplify (- 2) into -2
2.304 * [backup-simplify]: Simplify (+ (* -2 (- (/ 1 y))) (* (- (/ 1 y)) -2)) into (* 4 (/ 1 y))
2.304 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.304 * [backup-simplify]: Simplify (+ (* -2 (* 4 (/ 1 y))) (* (- (/ 1 y)) 4)) into (- (* 12 (/ 1 y)))
2.304 * [taylor]: Taking taylor expansion of (- (* 12 (/ 1 y))) in y
2.304 * [taylor]: Taking taylor expansion of (* 12 (/ 1 y)) in y
2.304 * [taylor]: Taking taylor expansion of 12 in y
2.304 * [backup-simplify]: Simplify 12 into 12
2.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.304 * [taylor]: Taking taylor expansion of y in y
2.304 * [backup-simplify]: Simplify 0 into 0
2.304 * [backup-simplify]: Simplify 1 into 1
2.304 * [backup-simplify]: Simplify (/ 1 1) into 1
2.305 * [backup-simplify]: Simplify (- 2) into -2
2.305 * [backup-simplify]: Simplify (- 2) into -2
2.305 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.306 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
2.306 * [backup-simplify]: Simplify (+ 0 0) into 0
2.306 * [backup-simplify]: Simplify (- 0) into 0
2.306 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.306 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.307 * [backup-simplify]: Simplify (- 0) into 0
2.307 * [backup-simplify]: Simplify (- 2) into -2
2.308 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* (- (/ 1 y)) (- (/ 1 y))) (* 0 -2))) into (/ 1 (pow y 2))
2.308 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.308 * [backup-simplify]: Simplify (- 0) into 0
2.308 * [backup-simplify]: Simplify (+ (* -2 (/ 1 (pow y 2))) (+ (* (- (/ 1 y)) (* 4 (/ 1 y))) (* 0 4))) into (- (* 6 (/ 1 (pow y 2))))
2.308 * [taylor]: Taking taylor expansion of (- (* 6 (/ 1 (pow y 2)))) in y
2.308 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow y 2))) in y
2.308 * [taylor]: Taking taylor expansion of 6 in y
2.308 * [backup-simplify]: Simplify 6 into 6
2.308 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.309 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.309 * [taylor]: Taking taylor expansion of y in y
2.309 * [backup-simplify]: Simplify 0 into 0
2.309 * [backup-simplify]: Simplify 1 into 1
2.309 * [backup-simplify]: Simplify (* 1 1) into 1
2.309 * [backup-simplify]: Simplify (/ 1 1) into 1
2.309 * [backup-simplify]: Simplify (- 2) into -2
2.309 * [backup-simplify]: Simplify (- 2) into -2
2.310 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.311 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.311 * [backup-simplify]: Simplify (+ 0 0) into 0
2.311 * [backup-simplify]: Simplify (- 0) into 0
2.311 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.311 * [backup-simplify]: Simplify (- 0) into 0
2.311 * [backup-simplify]: Simplify (- 0) into 0
2.312 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.312 * [backup-simplify]: Simplify (- 0) into 0
2.312 * [backup-simplify]: Simplify (- 2) into -2
2.313 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 (- (/ 1 y))) (* 0 -2)))) into 0
2.313 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
2.313 * [backup-simplify]: Simplify (- 0) into 0
2.313 * [backup-simplify]: Simplify (- 0) into 0
2.314 * [backup-simplify]: Simplify (+ (* -2 0) (+ (* (- (/ 1 y)) (/ 1 (pow y 2))) (+ (* 0 (* 4 (/ 1 y))) (* 0 4)))) into (- (/ 1 (pow y 3)))
2.314 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3))) in y
2.314 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
2.314 * [taylor]: Taking taylor expansion of (pow y 3) in y
2.314 * [taylor]: Taking taylor expansion of y in y
2.314 * [backup-simplify]: Simplify 0 into 0
2.314 * [backup-simplify]: Simplify 1 into 1
2.314 * [backup-simplify]: Simplify (* 1 1) into 1
2.314 * [backup-simplify]: Simplify (* 1 1) into 1
2.315 * [backup-simplify]: Simplify (/ 1 1) into 1
2.315 * [backup-simplify]: Simplify (- 1) into -1
2.315 * [backup-simplify]: Simplify -1 into -1
2.315 * [backup-simplify]: Simplify (* 6 1) into 6
2.315 * [backup-simplify]: Simplify (- 6) into -6
2.315 * [backup-simplify]: Simplify -6 into -6
2.316 * [backup-simplify]: Simplify (* 12 1) into 12
2.316 * [backup-simplify]: Simplify (- 12) into -12
2.316 * [backup-simplify]: Simplify -12 into -12
2.316 * [backup-simplify]: Simplify (+ (* -12 (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) -2))) (+ (* -6 (* (pow (/ 1 (- y)) -2) (/ 1 (/ 1 (- x))))) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 3)))) into (+ (* 6 (* x (pow y 2))) (+ (* 12 (* (pow x 2) y)) (pow y 3)))
2.316 * * * [progress]: simplifying candidates
2.318 * [simplify]: Simplifying:
  (log (cbrt (pow (+ (+ x y) x) 3)))
  (exp (cbrt (pow (+ (+ x y) x) 3)))
  (cbrt (pow (* (cbrt (+ (+ x y) x)) (cbrt (+ (+ x y) x))) 3))
  (cbrt (pow (cbrt (+ (+ x y) x)) 3))
  (cbrt (pow (sqrt (+ (+ x y) x)) 3))
  (cbrt (pow (sqrt (+ (+ x y) x)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ (+ x y) x) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ (+ x y) x) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ (+ x y) x) 3))
  (cbrt (* (+ (+ x y) x) (+ (+ x y) x)))
  (cbrt (+ (+ x y) x))
  (cbrt (* (cbrt (pow (+ (+ x y) x) 3)) (cbrt (pow (+ (+ x y) x) 3))))
  (cbrt (cbrt (pow (+ (+ x y) x) 3)))
  (cbrt (pow (* (cbrt (+ (+ x y) x)) (cbrt (+ (+ x y) x))) 3))
  (cbrt (pow (cbrt (+ (+ x y) x)) 3))
  (cbrt (pow (sqrt (+ (+ x y) x)) 3))
  (cbrt (pow (sqrt (+ (+ x y) x)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ (+ x y) x) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ (+ x y) x) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (+ (+ x y) x) 3))
  (cbrt (+ (+ x y) x))
  (cbrt (* (+ (+ x y) x) (+ (+ x y) x)))
  (cbrt (sqrt (pow (+ (+ x y) x) 3)))
  (cbrt (sqrt (pow (+ (+ x y) x) 3)))
  (cbrt 1)
  (cbrt (pow (+ (+ x y) x) 3))
  (cbrt (pow (+ (+ x y) x) (/ 3 2)))
  (cbrt (pow (+ (+ x y) x) (/ 3 2)))
  (cbrt (pow (+ (pow (+ x y) 3) (pow x 3)) 3))
  (cbrt (pow (+ (* (+ x y) (+ x y)) (- (* x x) (* (+ x y) x))) 3))
  (cbrt (pow (- (* (+ x y) (+ x y)) (* x x)) 3))
  (cbrt (pow (- (+ x y) x) 3))
  (* (cbrt (cbrt (pow (+ (+ x y) x) 3))) (cbrt (cbrt (pow (+ (+ x y) x) 3))))
  (cbrt (cbrt (pow (+ (+ x y) x) 3)))
  (* (* (cbrt (pow (+ (+ x y) x) 3)) (cbrt (pow (+ (+ x y) x) 3))) (cbrt (pow (+ (+ x y) x) 3)))
  (sqrt (cbrt (pow (+ (+ x y) x) 3)))
  (sqrt (cbrt (pow (+ (+ x y) x) 3)))
  (* (* (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)
  (* (log (+ (+ x y) x)) 3)
  (* (log (+ (+ x y) x)) 3)
  (* 1 3)
  (pow (+ (+ x y) x) (* (cbrt 3) (cbrt 3)))
  (pow (+ (+ x y) x) (sqrt 3))
  (pow (+ (+ x y) x) 1)
  (pow (* (cbrt (+ (+ x y) x)) (cbrt (+ (+ x y) x))) 3)
  (pow (cbrt (+ (+ x y) x)) 3)
  (pow (sqrt (+ (+ x y) x)) 3)
  (pow (sqrt (+ (+ x y) x)) 3)
  (pow 1 3)
  (pow (+ (+ x y) x) 3)
  (pow 1 3)
  (pow (+ (+ x y) x) 3)
  (pow 1 3)
  (pow (+ (+ x y) x) 3)
  (* (+ (+ x y) x) (+ (+ x y) x))
  (log (pow (+ (+ x y) x) 3))
  (exp (pow (+ (+ x y) x) 3))
  (* (cbrt (pow (+ (+ x y) x) 3)) (cbrt (pow (+ (+ x y) x) 3)))
  (cbrt (pow (+ (+ x y) x) 3))
  (* (* (pow (+ (+ x y) x) 3) (pow (+ (+ x y) x) 3)) (pow (+ (+ x y) x) 3))
  (pow (* (cbrt (+ (+ x y) x)) (cbrt (+ (+ x y) x))) 3)
  (pow (cbrt (+ (+ x y) x)) 3)
  (pow (sqrt (+ (+ x y) x)) 3)
  (pow (sqrt (+ (+ x y) x)) 3)
  (pow 1 3)
  (pow (+ (+ x y) x) 3)
  (pow 1 3)
  (pow (+ (+ x y) x) 3)
  (pow 1 3)
  (pow (+ (+ x y) x) 3)
  (pow (+ (pow (+ x y) 3) (pow x 3)) 3)
  (pow (+ (* (+ x y) (+ x y)) (- (* x x) (* (+ x y) x))) 3)
  (pow (- (* (+ x y) (+ x y)) (* x x)) 3)
  (pow (- (+ x y) x) 3)
  (* (+ (+ x y) x) (+ (+ x y) x))
  (sqrt (pow (+ (+ x y) x) 3))
  (sqrt (pow (+ (+ x y) x) 3))
  (pow (+ (+ x y) x) (/ 3 2))
  (pow (+ (+ x y) x) (/ 3 2))
  (+ (* 2 x) y)
  (+ (* 2 x) y)
  (- (+ (* 2 (* (cbrt -1) x)) (* (cbrt -1) y)))
  (+ (* 2 x) y)
  (+ (* 2 x) y)
  (+ (* 2 x) y)
  (+ (* 6 (* x (pow y 2))) (+ (* 12 (* (pow x 2) y)) (* 8 (pow x 3))))
  (+ (* 6 (* x (pow y 2))) (+ (* 12 (* (pow x 2) y)) (pow y 3)))
  (+ (* 6 (* x (pow y 2))) (+ (* 12 (* (pow x 2) y)) (pow y 3)))
2.319 * * [simplify]: Extracting # 0 : cost  0
2.319 * * [simplify]: Extracting # 1 : cost  0
2.319 * * [simplify]: Extracting # 2 : cost  0
2.319 * * [simplify]: Extracting # 3 : cost  0
2.319 * * [simplify]: Extracting # 4 : cost  0
2.319 * * [simplify]: Extracting # 5 : cost  0
2.320 * * [simplify]: Extracting # 6 : cost  0
2.320 * * [simplify]: Extracting # 7 : cost  0
2.320 * * [simplify]: iteration  0 :  100  enodes  (cost  992 )
2.349 * * [simplify]: Extracting # 0 : cost  0
2.350 * * [simplify]: Extracting # 1 : cost  0
2.350 * * [simplify]: Extracting # 2 : cost  0
2.350 * * [simplify]: Extracting # 3 : cost  0
2.350 * * [simplify]: Extracting # 4 : cost  0
2.350 * * [simplify]: iteration  1 :  245  enodes  (cost  789 )
2.434 * * [simplify]: Extracting # 0 : cost  0
2.435 * * [simplify]: Extracting # 1 : cost  0
2.436 * * [simplify]: Extracting # 2 : cost  0
2.437 * * [simplify]: Extracting # 3 : cost  0
2.437 * * [simplify]: Extracting # 4 : cost  0
2.438 * * [simplify]: iteration  2 :  827  enodes  (cost  734 )
2.886 * * [simplify]: Extracting # 0 : cost  0
2.891 * * [simplify]: Extracting # 1 : cost  0
2.898 * * [simplify]: Extracting # 2 : cost  0
2.904 * * [simplify]: Extracting # 3 : cost  0
2.914 * * [simplify]: Extracting # 4 : cost  0
2.920 * * [simplify]: Extracting # 5 : cost  0
2.926 * * [simplify]: iteration done:  5001  enodes  (cost  702 )
2.926 * [simplify]: Simplified to:
  (log (+ (+ x y) x))
  (exp (+ (+ x y) x))
  (cbrt (pow (+ (+ x y) x) 2))
  (cbrt (+ (+ x y) x))
  (sqrt (+ (+ x y) x))
  (sqrt (+ (+ x y) x))
  1
  (+ (* 2 x) y)
  1
  (+ (* 2 x) y)
  1
  (+ (* 2 x) y)
  (cbrt (pow (+ (+ x y) x) 2))
  (cbrt (+ (+ x y) x))
  (cbrt (pow (+ (+ x y) x) 2))
  (cbrt (+ (+ x y) x))
  (cbrt (pow (+ (+ x y) x) 2))
  (cbrt (+ (+ x y) x))
  (sqrt (+ (+ x y) x))
  (sqrt (+ (+ x y) x))
  1
  (+ (* 2 x) y)
  1
  (+ (* 2 x) y)
  1
  (+ (* 2 x) y)
  (cbrt (+ (+ x y) x))
  (cbrt (pow (+ (+ x y) x) 2))
  (cbrt (sqrt (pow (+ (+ x y) x) 3)))
  (cbrt (sqrt (pow (+ (+ x y) x) 3)))
  1
  (+ (* 2 x) y)
  (cbrt (pow (+ (+ x y) x) 3/2))
  (cbrt (pow (+ (+ x y) x) 3/2))
  (+ (pow (+ x y) 3) (pow x 3))
  (- (* x x) (* (+ x y) (- 0 y)))
  (* (- y 0) (+ (* 2 x) y))
  (- y 0)
  (cbrt (pow (+ (+ x y) x) 2))
  (cbrt (+ (+ x y) x))
  (pow (+ (+ x y) x) 3)
  (sqrt (+ (+ x y) x))
  (sqrt (+ (+ x y) x))
  (exp (+ (+ x y) x))
  (exp (+ (+ x y) x))
  (log (+ (+ x y) x))
  (exp (+ (+ x y) x))
  (cbrt (pow (+ (+ x y) x) 2))
  (cbrt (+ (+ x y) x))
  (pow (+ (+ x y) x) 3)
  (sqrt (+ (+ x y) x))
  (sqrt (+ (+ x y) x))
  (+ (pow (+ x y) 3) (pow x 3))
  (- (* x x) (* (+ x y) (- 0 y)))
  (* (- y 0) (+ (* 2 x) y))
  (- y 0)
  (+ (* 2 x) y)
  (+ (* 2 x) y)
  (+ x y)
  (* (log (+ (+ x y) x)) 3)
  (* (log (+ (+ x y) x)) 3)
  3
  (pow (+ (+ x y) x) (* (cbrt 3) (cbrt 3)))
  (pow (+ (+ x y) x) (sqrt 3))
  (+ (* 2 x) y)
  (pow (+ (+ x y) x) 2)
  (+ (* 2 x) y)
  (pow (sqrt (+ (+ x y) x)) 3)
  (pow (sqrt (+ (+ x y) x)) 3)
  1
  (pow (+ (+ x y) x) 3)
  1
  (pow (+ (+ x y) x) 3)
  1
  (pow (+ (+ x y) x) 3)
  (pow (+ (+ x y) x) 2)
  (* (log (+ (+ x y) x)) 3)
  (exp (pow (+ (+ x y) x) 3))
  (pow (+ (+ x y) x) 2)
  (+ (* 2 x) y)
  (pow (pow (+ (+ x y) x) 3) 3)
  (pow (+ (+ x y) x) 2)
  (+ (* 2 x) y)
  (pow (sqrt (+ (+ x y) x)) 3)
  (pow (sqrt (+ (+ x y) x)) 3)
  1
  (pow (+ (+ x y) x) 3)
  1
  (pow (+ (+ x y) x) 3)
  1
  (pow (+ (+ x y) x) 3)
  (pow (+ (pow (+ x y) 3) (pow x 3)) 3)
  (pow (- (* x x) (* (+ x y) (- 0 y))) 3)
  (pow (* (- y 0) (+ (* 2 x) y)) 3)
  (pow (- y 0) 3)
  (pow (+ (+ x y) x) 2)
  (sqrt (pow (+ (+ x y) x) 3))
  (sqrt (pow (+ (+ x y) x) 3))
  (pow (+ (+ x y) x) 3/2)
  (pow (+ (+ x y) x) 3/2)
  (+ (* 2 x) y)
  (+ (* 2 x) y)
  (- (* (cbrt -1) (+ (* 2 x) y)))
  (+ (* 2 x) y)
  (+ (* 2 x) y)
  (+ (* 2 x) y)
  (+ (* 8 (pow x 3)) (* y (+ (* (* 6 x) y) (* 12 (* x x)))))
  (+ (* 12 (* (pow x 2) y)) (* (pow y 2) (+ (* 6 x) y)))
  (+ (* 12 (* (pow x 2) y)) (* (pow y 2) (+ (* 6 x) y)))
2.927 * * * [progress]: adding candidates to table
3.038 * * [progress]: iteration 3 / 4
3.038 * * * [progress]: picking best candidate
3.039 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* 2 x) y))>
3.039 * * * [progress]: localizing error
3.043 * * * [progress]: generating rewritten candidates
3.043 * * * [progress]: generating series expansions
3.043 * * * [progress]: simplifying candidates
3.043 * [simplify]: Simplifying:
  
3.043 * * [simplify]: Extracting # 0 : cost  0
3.043 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
3.043 * * [simplify]: Extracting # 0 : cost  0
3.043 * * [simplify]: iteration done:  0  enodes  (cost  0 )
3.043 * [simplify]: Simplified to:
  
3.043 * * * [progress]: adding candidates to table
3.043 * [progress]: [Phase 3 of 3] Extracting.
3.045 * [simplify]: Simplifying:
  (+ (* 2 x) y)
3.045 * * [simplify]: Extracting # 0 : cost  0
3.045 * * [simplify]: Extracting # 1 : cost  0
3.045 * * [simplify]: Extracting # 2 : cost  0
3.045 * * [simplify]: Extracting # 3 : cost  0
3.045 * * [simplify]: Extracting # 4 : cost  0
3.045 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
3.045 * * [simplify]: Extracting # 0 : cost  0
3.045 * * [simplify]: iteration  1 :  7  enodes  (cost  5 )
3.046 * * [simplify]: Extracting # 0 : cost  0
3.046 * * [simplify]: iteration done:  7  enodes  (cost  5 )
3.046 * [simplify]: Simplified to:
  (+ (* 2 x) y)
3.357 * [regime-testing]: End program error score: 0
3.375 * [regime-testing]: Target error score: 0