28.887 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.020 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (* x 2.0) (* x x)) (* y y))
0.023 * * [simplify]: iteration  0 :  15  enodes  (cost  4 )
0.024 * * [simplify]: iteration  1 :  25  enodes  (cost  4 )
0.025 * * [simplify]: iteration  2 :  27  enodes  (cost  4 )
0.027 * * [simplify]: iteration  3 :  27  enodes  (cost  4 )
0.027 * [simplify]: Simplified to:
   (+ (* y y) (* x (+ 2.0 x)))
0.029 * * [progress]: iteration 1 / 4
0.029 * * * [progress]: picking best candidate
0.030 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* y y) (* x (+ 2.0 x))))>
0.030 * * * [progress]: localizing error
0.035 * * * [progress]: generating rewritten candidates
0.035 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.038 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
0.049 * * * [progress]: generating series expansions
0.049 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.050 * [approximate]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in (y x) around 0
0.050 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in x
0.050 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.050 * [taylor]: Taking taylor expansion of x in x
0.050 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in x
0.050 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.050 * [taylor]: Taking taylor expansion of 2.0 in x
0.050 * [taylor]: Taking taylor expansion of x in x
0.050 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.050 * [taylor]: Taking taylor expansion of y in x
0.050 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in y
0.050 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.050 * [taylor]: Taking taylor expansion of x in y
0.050 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in y
0.050 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
0.050 * [taylor]: Taking taylor expansion of 2.0 in y
0.050 * [taylor]: Taking taylor expansion of x in y
0.050 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.050 * [taylor]: Taking taylor expansion of y in y
0.050 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in y
0.050 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.050 * [taylor]: Taking taylor expansion of x in y
0.050 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in y
0.051 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
0.051 * [taylor]: Taking taylor expansion of 2.0 in y
0.051 * [taylor]: Taking taylor expansion of x in y
0.051 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.051 * [taylor]: Taking taylor expansion of y in y
0.051 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
0.051 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.051 * [taylor]: Taking taylor expansion of x in x
0.051 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.051 * [taylor]: Taking taylor expansion of 2.0 in x
0.051 * [taylor]: Taking taylor expansion of x in x
0.052 * [taylor]: Taking taylor expansion of 0 in x
0.055 * [taylor]: Taking taylor expansion of 1 in x
0.056 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in (y x) around 0
0.056 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in x
0.056 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.056 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in x
0.057 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.057 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.057 * [taylor]: Taking taylor expansion of y in x
0.057 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.057 * [taylor]: Taking taylor expansion of 2.0 in x
0.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.057 * [taylor]: Taking taylor expansion of x in x
0.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in y
0.057 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.057 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.057 * [taylor]: Taking taylor expansion of x in y
0.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
0.057 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.057 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.057 * [taylor]: Taking taylor expansion of y in y
0.058 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.058 * [taylor]: Taking taylor expansion of 2.0 in y
0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.058 * [taylor]: Taking taylor expansion of x in y
0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in y
0.058 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.058 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.058 * [taylor]: Taking taylor expansion of x in y
0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
0.058 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.058 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.058 * [taylor]: Taking taylor expansion of y in y
0.059 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.059 * [taylor]: Taking taylor expansion of 2.0 in y
0.059 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.059 * [taylor]: Taking taylor expansion of x in y
0.059 * [taylor]: Taking taylor expansion of 1 in x
0.061 * [taylor]: Taking taylor expansion of 0 in x
0.062 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.062 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.062 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.062 * [taylor]: Taking taylor expansion of x in x
0.062 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.062 * [taylor]: Taking taylor expansion of 2.0 in x
0.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.062 * [taylor]: Taking taylor expansion of x in x
0.065 * [taylor]: Taking taylor expansion of 0 in x
0.067 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in (y x) around 0
0.067 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in x
0.067 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x
0.067 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.067 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.067 * [taylor]: Taking taylor expansion of x in x
0.067 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
0.067 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.067 * [taylor]: Taking taylor expansion of y in x
0.067 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.067 * [taylor]: Taking taylor expansion of 2.0 in x
0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.067 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y
0.068 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.068 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.068 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.068 * [taylor]: Taking taylor expansion of x in y
0.068 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.068 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.068 * [taylor]: Taking taylor expansion of y in y
0.068 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.068 * [taylor]: Taking taylor expansion of 2.0 in y
0.068 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.068 * [taylor]: Taking taylor expansion of x in y
0.068 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) (* 2.0 (/ 1 x))) in y
0.068 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y
0.068 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.068 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.068 * [taylor]: Taking taylor expansion of x in y
0.069 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.069 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.069 * [taylor]: Taking taylor expansion of y in y
0.069 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
0.069 * [taylor]: Taking taylor expansion of 2.0 in y
0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.069 * [taylor]: Taking taylor expansion of x in y
0.070 * [taylor]: Taking taylor expansion of 1 in x
0.071 * [taylor]: Taking taylor expansion of 0 in x
0.073 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.073 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.073 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.073 * [taylor]: Taking taylor expansion of x in x
0.073 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.073 * [taylor]: Taking taylor expansion of 2.0 in x
0.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.073 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of 0 in x
0.081 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
0.081 * [approximate]: Taking taylor expansion of (* (+ x 2.0) x) in (x) around 0
0.081 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.081 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.081 * [taylor]: Taking taylor expansion of x in x
0.081 * [taylor]: Taking taylor expansion of 2.0 in x
0.081 * [taylor]: Taking taylor expansion of x in x
0.081 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.081 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.081 * [taylor]: Taking taylor expansion of x in x
0.081 * [taylor]: Taking taylor expansion of 2.0 in x
0.081 * [taylor]: Taking taylor expansion of x in x
0.090 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in (x) around 0
0.090 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
0.090 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.090 * [taylor]: Taking taylor expansion of x in x
0.090 * [taylor]: Taking taylor expansion of 2.0 in x
0.090 * [taylor]: Taking taylor expansion of x in x
0.091 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
0.091 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.091 * [taylor]: Taking taylor expansion of 2.0 in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.101 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in (x) around 0
0.101 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x
0.101 * [taylor]: Taking taylor expansion of -1 in x
0.102 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.102 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.102 * [taylor]: Taking taylor expansion of 2.0 in x
0.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.102 * [taylor]: Taking taylor expansion of x in x
0.103 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x
0.103 * [taylor]: Taking taylor expansion of -1 in x
0.103 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.103 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.103 * [taylor]: Taking taylor expansion of 2.0 in x
0.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.103 * [taylor]: Taking taylor expansion of x in x
0.103 * [taylor]: Taking taylor expansion of x in x
0.121 * * * [progress]: simplifying candidates
0.121 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (* y y)) (exp (* x (+ 2.0 x))))
  (log (+ (* y y) (* x (+ 2.0 x))))
  (exp (+ (* y y) (* x (+ 2.0 x))))
  (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x)))))
  (cbrt (+ (* y y) (* x (+ 2.0 x))))
  (* (* (+ (* y y) (* x (+ 2.0 x))) (+ (* y y) (* x (+ 2.0 x)))) (+ (* y y) (* x (+ 2.0 x))))
  (sqrt (+ (* y y) (* x (+ 2.0 x))))
  (sqrt (+ (* y y) (* x (+ 2.0 x))))
  (+ (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3))
  (+ (* (* y y) (* y y)) (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* (* y y) (* x (+ 2.0 x)))))
  (- (* (* y y) (* y y)) (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (- (* y y) (* x (+ 2.0 x)))
  (+ (* y y) (* x 2.0))
  (+ (* y y) (* 2.0 x))
  (* x (+ 2.0 x))
  (+ (log x) (log (+ 2.0 x)))
  (log (* x (+ 2.0 x)))
  (exp (* x (+ 2.0 x)))
  (* (* (* x x) x) (* (* (+ 2.0 x) (+ 2.0 x)) (+ 2.0 x)))
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))
  (cbrt (* x (+ 2.0 x)))
  (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* x (+ 2.0 x)))
  (sqrt (* x (+ 2.0 x)))
  (sqrt (* x (+ 2.0 x)))
  (* (sqrt x) (sqrt (+ 2.0 x)))
  (* (sqrt x) (sqrt (+ 2.0 x)))
  (* x 2.0)
  (* x x)
  (* 2.0 x)
  (* x x)
  (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x))))
  (* x (sqrt (+ 2.0 x)))
  (* x 1)
  (* x 1)
  (* (cbrt x) (+ 2.0 x))
  (* (sqrt x) (+ 2.0 x))
  (* x (+ 2.0 x))
  (* x (+ (pow 2.0 3) (pow x 3)))
  (* x (- (* 2.0 2.0) (* x x)))
  (+ (pow x 2) (+ (* 2.0 x) (pow y 2)))
  (+ (pow x 2) (+ (* 2.0 x) (pow y 2)))
  (+ (pow x 2) (+ (* 2.0 x) (pow y 2)))
  (+ (pow x 2) (* 2.0 x))
  (+ (pow x 2) (* 2.0 x))
  (+ (pow x 2) (* 2.0 x))
0.125 * * [simplify]: iteration  0 :  206  enodes  (cost  183 )
0.130 * * [simplify]: iteration  1 :  1038  enodes  (cost  169 )
0.153 * * [simplify]: iteration  2 :  5001  enodes  (cost  169 )
0.154 * [simplify]: Simplified to:
   (exp (+ (* y y) (* x (+ 2.0 x))))
  (log (+ (* y y) (* x (+ 2.0 x))))
  (exp (+ (* y y) (* x (+ 2.0 x))))
  (* (cbrt (+ (* y y) (* x (+ 2.0 x)))) (cbrt (+ (* y y) (* x (+ 2.0 x)))))
  (cbrt (+ (* y y) (* x (+ 2.0 x))))
  (pow (+ (* y y) (* x (+ 2.0 x))) 3)
  (sqrt (+ (* y y) (* x (+ 2.0 x))))
  (sqrt (+ (* y y) (* x (+ 2.0 x))))
  (+ (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3))
  (+ (* (* x (+ 2.0 x)) (- (* x (+ 2.0 x)) (pow y 2))) (* (* y y) (* y y)))
  (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))
  (- (* y y) (* x (+ 2.0 x)))
  (+ (* y y) (* 2.0 x))
  (+ (* y y) (* 2.0 x))
  (* x (+ 2.0 x))
  (log (* x (+ 2.0 x)))
  (log (* x (+ 2.0 x)))
  (exp (* x (+ 2.0 x)))
  (pow (* x (+ 2.0 x)) 3)
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))
  (cbrt (* x (+ 2.0 x)))
  (pow (* x (+ 2.0 x)) 3)
  (sqrt (* x (+ 2.0 x)))
  (sqrt (* x (+ 2.0 x)))
  (* (sqrt (+ 2.0 x)) (pow x 1/2))
  (* (sqrt (+ 2.0 x)) (pow x 1/2))
  (* x 2.0)
  (pow x 2)
  (* x 2.0)
  (pow x 2)
  (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x))))
  (* x (sqrt (+ 2.0 x)))
  x
  x
  (* (cbrt x) (+ 2.0 x))
  (* (sqrt x) (+ 2.0 x))
  (* x (+ 2.0 x))
  (* x (+ (pow 2.0 3) (pow x 3)))
  (* x (- (* 2.0 2.0) (* x x)))
  (+ (* y y) (* x (+ 2.0 x)))
  (+ (* y y) (* x (+ 2.0 x)))
  (+ (* y y) (* x (+ 2.0 x)))
  (* x (+ 2.0 x))
  (* x (+ 2.0 x))
  (* x (+ 2.0 x))
0.154 * * * [progress]: adding candidates to table
0.216 * * [progress]: iteration 2 / 4
0.216 * * * [progress]: picking best candidate
0.225 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* y y) (* (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))))))>
0.225 * * * [progress]: localizing error
0.234 * * * [progress]: generating rewritten candidates
0.234 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.237 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.241 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
0.244 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.255 * * * [progress]: generating series expansions
0.255 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.255 * [approximate]: Taking taylor expansion of (pow (* (+ x 2.0) x) 1/3) in (x) around 0
0.255 * [taylor]: Taking taylor expansion of (pow (* (+ x 2.0) x) 1/3) in x
0.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ x 2.0) x)))) in x
0.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ x 2.0) x))) in x
0.255 * [taylor]: Taking taylor expansion of 1/3 in x
0.255 * [taylor]: Taking taylor expansion of (log (* (+ x 2.0) x)) in x
0.255 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.255 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.255 * [taylor]: Taking taylor expansion of x in x
0.255 * [taylor]: Taking taylor expansion of 2.0 in x
0.255 * [taylor]: Taking taylor expansion of x in x
0.258 * [taylor]: Taking taylor expansion of (pow (* (+ x 2.0) x) 1/3) in x
0.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ x 2.0) x)))) in x
0.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ x 2.0) x))) in x
0.258 * [taylor]: Taking taylor expansion of 1/3 in x
0.258 * [taylor]: Taking taylor expansion of (log (* (+ x 2.0) x)) in x
0.258 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.258 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.258 * [taylor]: Taking taylor expansion of x in x
0.258 * [taylor]: Taking taylor expansion of 2.0 in x
0.258 * [taylor]: Taking taylor expansion of x in x
0.287 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 2.0) x) 1/3) in (x) around 0
0.287 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 2.0) x) 1/3) in x
0.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 x) 2.0) x)))) in x
0.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 x) 2.0) x))) in x
0.287 * [taylor]: Taking taylor expansion of 1/3 in x
0.287 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 2.0) x)) in x
0.287 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.287 * [taylor]: Taking taylor expansion of x in x
0.287 * [taylor]: Taking taylor expansion of 2.0 in x
0.287 * [taylor]: Taking taylor expansion of x in x
0.288 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 2.0) x) 1/3) in x
0.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 x) 2.0) x)))) in x
0.288 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 x) 2.0) x))) in x
0.288 * [taylor]: Taking taylor expansion of 1/3 in x
0.288 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 2.0) x)) in x
0.288 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
0.288 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.288 * [taylor]: Taking taylor expansion of x in x
0.289 * [taylor]: Taking taylor expansion of 2.0 in x
0.289 * [taylor]: Taking taylor expansion of x in x
0.312 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- 2.0 (/ 1 x)) x) 1/3)) in (x) around 0
0.312 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- 2.0 (/ 1 x)) x) 1/3)) in x
0.312 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.312 * [taylor]: Taking taylor expansion of -1 in x
0.313 * [taylor]: Taking taylor expansion of (pow (/ (- 2.0 (/ 1 x)) x) 1/3) in x
0.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- 2.0 (/ 1 x)) x)))) in x
0.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- 2.0 (/ 1 x)) x))) in x
0.313 * [taylor]: Taking taylor expansion of 1/3 in x
0.313 * [taylor]: Taking taylor expansion of (log (/ (- 2.0 (/ 1 x)) x)) in x
0.313 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.313 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.313 * [taylor]: Taking taylor expansion of 2.0 in x
0.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.315 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- 2.0 (/ 1 x)) x) 1/3)) in x
0.315 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.315 * [taylor]: Taking taylor expansion of -1 in x
0.316 * [taylor]: Taking taylor expansion of (pow (/ (- 2.0 (/ 1 x)) x) 1/3) in x
0.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- 2.0 (/ 1 x)) x)))) in x
0.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- 2.0 (/ 1 x)) x))) in x
0.316 * [taylor]: Taking taylor expansion of 1/3 in x
0.316 * [taylor]: Taking taylor expansion of (log (/ (- 2.0 (/ 1 x)) x)) in x
0.316 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.316 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.316 * [taylor]: Taking taylor expansion of 2.0 in x
0.316 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.316 * [taylor]: Taking taylor expansion of x in x
0.316 * [taylor]: Taking taylor expansion of x in x
0.347 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.347 * [approximate]: Taking taylor expansion of (pow (* (+ x 2.0) x) 1/3) in (x) around 0
0.347 * [taylor]: Taking taylor expansion of (pow (* (+ x 2.0) x) 1/3) in x
0.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ x 2.0) x)))) in x
0.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ x 2.0) x))) in x
0.347 * [taylor]: Taking taylor expansion of 1/3 in x
0.347 * [taylor]: Taking taylor expansion of (log (* (+ x 2.0) x)) in x
0.347 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.347 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.347 * [taylor]: Taking taylor expansion of x in x
0.347 * [taylor]: Taking taylor expansion of 2.0 in x
0.348 * [taylor]: Taking taylor expansion of x in x
0.350 * [taylor]: Taking taylor expansion of (pow (* (+ x 2.0) x) 1/3) in x
0.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ x 2.0) x)))) in x
0.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ x 2.0) x))) in x
0.351 * [taylor]: Taking taylor expansion of 1/3 in x
0.351 * [taylor]: Taking taylor expansion of (log (* (+ x 2.0) x)) in x
0.351 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.351 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of 2.0 in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.382 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 2.0) x) 1/3) in (x) around 0
0.382 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 2.0) x) 1/3) in x
0.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 x) 2.0) x)))) in x
0.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 x) 2.0) x))) in x
0.382 * [taylor]: Taking taylor expansion of 1/3 in x
0.382 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 2.0) x)) in x
0.382 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
0.382 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.382 * [taylor]: Taking taylor expansion of x in x
0.382 * [taylor]: Taking taylor expansion of 2.0 in x
0.382 * [taylor]: Taking taylor expansion of x in x
0.383 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 2.0) x) 1/3) in x
0.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 x) 2.0) x)))) in x
0.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 x) 2.0) x))) in x
0.383 * [taylor]: Taking taylor expansion of 1/3 in x
0.383 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 2.0) x)) in x
0.383 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
0.383 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.383 * [taylor]: Taking taylor expansion of x in x
0.384 * [taylor]: Taking taylor expansion of 2.0 in x
0.384 * [taylor]: Taking taylor expansion of x in x
0.403 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- 2.0 (/ 1 x)) x) 1/3)) in (x) around 0
0.403 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- 2.0 (/ 1 x)) x) 1/3)) in x
0.403 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.403 * [taylor]: Taking taylor expansion of -1 in x
0.404 * [taylor]: Taking taylor expansion of (pow (/ (- 2.0 (/ 1 x)) x) 1/3) in x
0.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- 2.0 (/ 1 x)) x)))) in x
0.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- 2.0 (/ 1 x)) x))) in x
0.404 * [taylor]: Taking taylor expansion of 1/3 in x
0.404 * [taylor]: Taking taylor expansion of (log (/ (- 2.0 (/ 1 x)) x)) in x
0.404 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.404 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.404 * [taylor]: Taking taylor expansion of 2.0 in x
0.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.404 * [taylor]: Taking taylor expansion of x in x
0.405 * [taylor]: Taking taylor expansion of x in x
0.407 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- 2.0 (/ 1 x)) x) 1/3)) in x
0.407 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.407 * [taylor]: Taking taylor expansion of -1 in x
0.407 * [taylor]: Taking taylor expansion of (pow (/ (- 2.0 (/ 1 x)) x) 1/3) in x
0.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- 2.0 (/ 1 x)) x)))) in x
0.407 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- 2.0 (/ 1 x)) x))) in x
0.407 * [taylor]: Taking taylor expansion of 1/3 in x
0.407 * [taylor]: Taking taylor expansion of (log (/ (- 2.0 (/ 1 x)) x)) in x
0.407 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.407 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.407 * [taylor]: Taking taylor expansion of 2.0 in x
0.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.408 * [taylor]: Taking taylor expansion of x in x
0.408 * [taylor]: Taking taylor expansion of x in x
0.438 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
0.438 * [approximate]: Taking taylor expansion of (pow (* (+ x 2.0) x) 1/3) in (x) around 0
0.438 * [taylor]: Taking taylor expansion of (pow (* (+ x 2.0) x) 1/3) in x
0.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ x 2.0) x)))) in x
0.438 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ x 2.0) x))) in x
0.438 * [taylor]: Taking taylor expansion of 1/3 in x
0.439 * [taylor]: Taking taylor expansion of (log (* (+ x 2.0) x)) in x
0.439 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.439 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.439 * [taylor]: Taking taylor expansion of x in x
0.439 * [taylor]: Taking taylor expansion of 2.0 in x
0.439 * [taylor]: Taking taylor expansion of x in x
0.441 * [taylor]: Taking taylor expansion of (pow (* (+ x 2.0) x) 1/3) in x
0.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (+ x 2.0) x)))) in x
0.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (+ x 2.0) x))) in x
0.442 * [taylor]: Taking taylor expansion of 1/3 in x
0.442 * [taylor]: Taking taylor expansion of (log (* (+ x 2.0) x)) in x
0.442 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.442 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.442 * [taylor]: Taking taylor expansion of x in x
0.442 * [taylor]: Taking taylor expansion of 2.0 in x
0.442 * [taylor]: Taking taylor expansion of x in x
0.472 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 2.0) x) 1/3) in (x) around 0
0.472 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 2.0) x) 1/3) in x
0.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 x) 2.0) x)))) in x
0.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 x) 2.0) x))) in x
0.472 * [taylor]: Taking taylor expansion of 1/3 in x
0.472 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 2.0) x)) in x
0.472 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
0.472 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.472 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.473 * [taylor]: Taking taylor expansion of 2.0 in x
0.473 * [taylor]: Taking taylor expansion of x in x
0.474 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 2.0) x) 1/3) in x
0.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (/ 1 x) 2.0) x)))) in x
0.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (/ 1 x) 2.0) x))) in x
0.474 * [taylor]: Taking taylor expansion of 1/3 in x
0.474 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 2.0) x)) in x
0.474 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
0.474 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.474 * [taylor]: Taking taylor expansion of x in x
0.474 * [taylor]: Taking taylor expansion of 2.0 in x
0.474 * [taylor]: Taking taylor expansion of x in x
0.494 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- 2.0 (/ 1 x)) x) 1/3)) in (x) around 0
0.494 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- 2.0 (/ 1 x)) x) 1/3)) in x
0.494 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.494 * [taylor]: Taking taylor expansion of -1 in x
0.495 * [taylor]: Taking taylor expansion of (pow (/ (- 2.0 (/ 1 x)) x) 1/3) in x
0.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- 2.0 (/ 1 x)) x)))) in x
0.495 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- 2.0 (/ 1 x)) x))) in x
0.495 * [taylor]: Taking taylor expansion of 1/3 in x
0.495 * [taylor]: Taking taylor expansion of (log (/ (- 2.0 (/ 1 x)) x)) in x
0.495 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.495 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.495 * [taylor]: Taking taylor expansion of 2.0 in x
0.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- 2.0 (/ 1 x)) x) 1/3)) in x
0.497 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.497 * [taylor]: Taking taylor expansion of -1 in x
0.498 * [taylor]: Taking taylor expansion of (pow (/ (- 2.0 (/ 1 x)) x) 1/3) in x
0.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- 2.0 (/ 1 x)) x)))) in x
0.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- 2.0 (/ 1 x)) x))) in x
0.498 * [taylor]: Taking taylor expansion of 1/3 in x
0.498 * [taylor]: Taking taylor expansion of (log (/ (- 2.0 (/ 1 x)) x)) in x
0.498 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.498 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.498 * [taylor]: Taking taylor expansion of 2.0 in x
0.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.498 * [taylor]: Taking taylor expansion of x in x
0.498 * [taylor]: Taking taylor expansion of x in x
0.530 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
0.530 * [approximate]: Taking taylor expansion of (pow (* (pow (+ x 2.0) 2) (pow x 2)) 1/3) in (x) around 0
0.530 * [taylor]: Taking taylor expansion of (pow (* (pow (+ x 2.0) 2) (pow x 2)) 1/3) in x
0.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ x 2.0) 2) (pow x 2))))) in x
0.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ x 2.0) 2) (pow x 2)))) in x
0.530 * [taylor]: Taking taylor expansion of 1/3 in x
0.530 * [taylor]: Taking taylor expansion of (log (* (pow (+ x 2.0) 2) (pow x 2))) in x
0.530 * [taylor]: Taking taylor expansion of (* (pow (+ x 2.0) 2) (pow x 2)) in x
0.530 * [taylor]: Taking taylor expansion of (pow (+ x 2.0) 2) in x
0.530 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.530 * [taylor]: Taking taylor expansion of x in x
0.530 * [taylor]: Taking taylor expansion of 2.0 in x
0.530 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.530 * [taylor]: Taking taylor expansion of x in x
0.538 * [taylor]: Taking taylor expansion of (pow (* (pow (+ x 2.0) 2) (pow x 2)) 1/3) in x
0.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (+ x 2.0) 2) (pow x 2))))) in x
0.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (+ x 2.0) 2) (pow x 2)))) in x
0.538 * [taylor]: Taking taylor expansion of 1/3 in x
0.538 * [taylor]: Taking taylor expansion of (log (* (pow (+ x 2.0) 2) (pow x 2))) in x
0.538 * [taylor]: Taking taylor expansion of (* (pow (+ x 2.0) 2) (pow x 2)) in x
0.538 * [taylor]: Taking taylor expansion of (pow (+ x 2.0) 2) in x
0.538 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.538 * [taylor]: Taking taylor expansion of x in x
0.538 * [taylor]: Taking taylor expansion of 2.0 in x
0.538 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.538 * [taylor]: Taking taylor expansion of x in x
0.564 * [approximate]: Taking taylor expansion of (pow (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2)) 1/3) in (x) around 0
0.564 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2)) 1/3) in x
0.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2))))) in x
0.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2)))) in x
0.564 * [taylor]: Taking taylor expansion of 1/3 in x
0.564 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2))) in x
0.564 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2)) in x
0.564 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 2.0) 2) in x
0.564 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.564 * [taylor]: Taking taylor expansion of 2.0 in x
0.564 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.566 * [taylor]: Taking taylor expansion of (pow (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2)) 1/3) in x
0.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2))))) in x
0.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2)))) in x
0.566 * [taylor]: Taking taylor expansion of 1/3 in x
0.566 * [taylor]: Taking taylor expansion of (log (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2))) in x
0.566 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2)) in x
0.566 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 2.0) 2) in x
0.566 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.566 * [taylor]: Taking taylor expansion of x in x
0.566 * [taylor]: Taking taylor expansion of 2.0 in x
0.566 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.566 * [taylor]: Taking taylor expansion of x in x
0.592 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2)) 1/3)) in (x) around 0
0.592 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2)) 1/3)) in x
0.592 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.592 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.592 * [taylor]: Taking taylor expansion of -1 in x
0.592 * [taylor]: Taking taylor expansion of (pow (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2)) 1/3) in x
0.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2))))) in x
0.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2)))) in x
0.593 * [taylor]: Taking taylor expansion of 1/3 in x
0.593 * [taylor]: Taking taylor expansion of (log (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2))) in x
0.593 * [taylor]: Taking taylor expansion of (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2)) in x
0.593 * [taylor]: Taking taylor expansion of (pow (- 2.0 (/ 1 x)) 2) in x
0.593 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.593 * [taylor]: Taking taylor expansion of 2.0 in x
0.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.593 * [taylor]: Taking taylor expansion of x in x
0.593 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.593 * [taylor]: Taking taylor expansion of x in x
0.595 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2)) 1/3)) in x
0.595 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.595 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.595 * [taylor]: Taking taylor expansion of -1 in x
0.595 * [taylor]: Taking taylor expansion of (pow (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2)) 1/3) in x
0.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2))))) in x
0.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2)))) in x
0.595 * [taylor]: Taking taylor expansion of 1/3 in x
0.595 * [taylor]: Taking taylor expansion of (log (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2))) in x
0.595 * [taylor]: Taking taylor expansion of (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2)) in x
0.595 * [taylor]: Taking taylor expansion of (pow (- 2.0 (/ 1 x)) 2) in x
0.596 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.596 * [taylor]: Taking taylor expansion of 2.0 in x
0.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.596 * [taylor]: Taking taylor expansion of x in x
0.596 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.596 * [taylor]: Taking taylor expansion of x in x
0.639 * * * [progress]: simplifying candidates
0.641 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (* x (+ 2.0 x))))
  (exp (cbrt (* x (+ 2.0 x))))
  (cbrt x)
  (cbrt (+ 2.0 x))
  (cbrt (* x (+ (pow 2.0 3) (pow x 3))))
  (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))
  (cbrt (* x (- (* 2.0 2.0) (* x x))))
  (cbrt (- 2.0 x))
  (* (cbrt (cbrt (* x (+ 2.0 x)))) (cbrt (cbrt (* x (+ 2.0 x)))))
  (cbrt (cbrt (* x (+ 2.0 x))))
  (* (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))))
  (sqrt (cbrt (* x (+ 2.0 x))))
  (sqrt (cbrt (* x (+ 2.0 x))))
  (log (cbrt (* x (+ 2.0 x))))
  (exp (cbrt (* x (+ 2.0 x))))
  (cbrt x)
  (cbrt (+ 2.0 x))
  (cbrt (* x (+ (pow 2.0 3) (pow x 3))))
  (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))
  (cbrt (* x (- (* 2.0 2.0) (* x x))))
  (cbrt (- 2.0 x))
  (* (cbrt (cbrt (* x (+ 2.0 x)))) (cbrt (cbrt (* x (+ 2.0 x)))))
  (cbrt (cbrt (* x (+ 2.0 x))))
  (* (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))))
  (sqrt (cbrt (* x (+ 2.0 x))))
  (sqrt (cbrt (* x (+ 2.0 x))))
  (log (cbrt (* x (+ 2.0 x))))
  (exp (cbrt (* x (+ 2.0 x))))
  (cbrt x)
  (cbrt (+ 2.0 x))
  (cbrt (* x (+ (pow 2.0 3) (pow x 3))))
  (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))
  (cbrt (* x (- (* 2.0 2.0) (* x x))))
  (cbrt (- 2.0 x))
  (* (cbrt (cbrt (* x (+ 2.0 x)))) (cbrt (cbrt (* x (+ 2.0 x)))))
  (cbrt (cbrt (* x (+ 2.0 x))))
  (* (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))))
  (sqrt (cbrt (* x (+ 2.0 x))))
  (sqrt (cbrt (* x (+ 2.0 x))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))
  (+ 1 1)
  (+ (log (cbrt (* x (+ 2.0 x)))) (log (cbrt (* x (+ 2.0 x)))))
  (log (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))))
  (exp (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))))
  (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))
  (* (cbrt (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))) (cbrt (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))))
  (cbrt (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))))
  (* (* (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))) (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))))
  (sqrt (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))))
  (sqrt (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))))
  (* (cbrt (* x (+ (pow 2.0 3) (pow x 3)))) (cbrt (* x (+ (pow 2.0 3) (pow x 3)))))
  (* (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x)))) (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x)))))
  (* (cbrt (* x (+ (pow 2.0 3) (pow x 3)))) (cbrt (* x (- (* 2.0 2.0) (* x x)))))
  (* (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x)))) (cbrt (- 2.0 x)))
  (* (cbrt (* x (- (* 2.0 2.0) (* x x)))) (cbrt (* x (+ (pow 2.0 3) (pow x 3)))))
  (* (cbrt (- 2.0 x)) (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x)))))
  (* (cbrt (* x (- (* 2.0 2.0) (* x x)))) (cbrt (* x (- (* 2.0 2.0) (* x x)))))
  (* (cbrt (- 2.0 x)) (cbrt (- 2.0 x)))
  (* (cbrt x) (cbrt x))
  (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x)))
  (* (* (cbrt (cbrt (* x (+ 2.0 x)))) (cbrt (cbrt (* x (+ 2.0 x))))) (* (cbrt (cbrt (* x (+ 2.0 x)))) (cbrt (cbrt (* x (+ 2.0 x))))))
  (* (cbrt (cbrt (* x (+ 2.0 x)))) (cbrt (cbrt (* x (+ 2.0 x)))))
  (* (sqrt (cbrt (* x (+ 2.0 x)))) (sqrt (cbrt (* x (+ 2.0 x)))))
  (* (sqrt (cbrt (* x (+ 2.0 x)))) (sqrt (cbrt (* x (+ 2.0 x)))))
  (* 1 1)
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))
  (* (sqrt (cbrt (* x (+ 2.0 x)))) (sqrt (cbrt (* x (+ 2.0 x)))))
  (* (sqrt (cbrt (* x (+ 2.0 x)))) (sqrt (cbrt (* x (+ 2.0 x)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (* x (+ 2.0 x))) (cbrt x))
  (* (cbrt (* x (+ 2.0 x))) (* (cbrt (cbrt (* x (+ 2.0 x)))) (cbrt (cbrt (* x (+ 2.0 x))))))
  (* (cbrt (* x (+ 2.0 x))) (sqrt (cbrt (* x (+ 2.0 x)))))
  (* (cbrt (* x (+ 2.0 x))) 1)
  (* (cbrt (+ 2.0 x)) (cbrt (* x (+ 2.0 x))))
  (* (cbrt (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))))
  (* (sqrt (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))))
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ (pow 2.0 3) (pow x 3)))))
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (- (* 2.0 2.0) (* x x)))))
  (* (cbrt (* x (+ (pow 2.0 3) (pow x 3)))) (cbrt (* x (+ 2.0 x))))
  (* (cbrt (* x (- (* 2.0 2.0) (* x x)))) (cbrt (* x (+ 2.0 x))))
  (- (+ (exp (* 1/3 (+ (log 2.0) (log x)))) (+ (* 0.013888888888888888 (* (pow x 2) (exp (* 1/3 (+ (log 2.0) (log x)))))) (* 0.16666666666666666 (* x (exp (* 1/3 (+ (log 2.0) (log x)))))))) (* 1/6 (/ (* (pow x 2) (exp (* 1/3 (+ (log 2.0) (log x))))) (pow 2.0 2))))
  (- (+ (* 0.6666666666666666 (pow (/ 1 x) 1/3)) (pow (/ 1 x) -2/3)) (* 0.4444444444444444 (pow (/ 1 (pow x 4)) 1/3)))
  (- (+ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) (* 0.6666666666666666 (/ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) x))) (* 0.4444444444444444 (/ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) (pow x 2))))
  (- (+ (exp (* 1/3 (+ (log 2.0) (log x)))) (+ (* 0.013888888888888888 (* (pow x 2) (exp (* 1/3 (+ (log 2.0) (log x)))))) (* 0.16666666666666666 (* x (exp (* 1/3 (+ (log 2.0) (log x)))))))) (* 1/6 (/ (* (pow x 2) (exp (* 1/3 (+ (log 2.0) (log x))))) (pow 2.0 2))))
  (- (+ (* 0.6666666666666666 (pow (/ 1 x) 1/3)) (pow (/ 1 x) -2/3)) (* 0.4444444444444444 (pow (/ 1 (pow x 4)) 1/3)))
  (- (+ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) (* 0.6666666666666666 (/ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) x))) (* 0.4444444444444444 (/ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) (pow x 2))))
  (- (+ (exp (* 1/3 (+ (log 2.0) (log x)))) (+ (* 0.013888888888888888 (* (pow x 2) (exp (* 1/3 (+ (log 2.0) (log x)))))) (* 0.16666666666666666 (* x (exp (* 1/3 (+ (log 2.0) (log x)))))))) (* 1/6 (/ (* (pow x 2) (exp (* 1/3 (+ (log 2.0) (log x))))) (pow 2.0 2))))
  (- (+ (* 0.6666666666666666 (pow (/ 1 x) 1/3)) (pow (/ 1 x) -2/3)) (* 0.4444444444444444 (pow (/ 1 (pow x 4)) 1/3)))
  (- (+ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) (* 0.6666666666666666 (/ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) x))) (* 0.4444444444444444 (/ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) (pow x 2))))
  (- (+ (exp (* 1/3 (+ (* 2 (log x)) (log 4.0)))) (* 0.3333333333333333 (* (exp (* 1/3 (+ (* 2 (log x)) (log 4.0)))) x))) (* 0.027777777777777776 (* (exp (* 1/3 (+ (* 2 (log x)) (log 4.0)))) (pow x 2))))
  (- (+ (* 1.3333333333333333 (pow x 1/3)) (pow (/ 1 x) -4/3)) (* 0.4444444444444444 (pow (/ 1 (pow x 2)) 1/3)))
  (- (+ (* (pow (cbrt -1) 2) (pow (pow x 4) 1/3)) (* 1.3333333333333333 (* (pow (cbrt -1) 2) (pow x 1/3)))) (* 0.4444444444444444 (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3))))
0.647 * * [simplify]: iteration  0 :  356  enodes  (cost  791 )
0.653 * * [simplify]: iteration  1 :  1250  enodes  (cost  720 )
0.678 * * [simplify]: iteration  2 :  5001  enodes  (cost  676 )
0.682 * [simplify]: Simplified to:
   (log (cbrt (* x (+ 2.0 x))))
  (exp (cbrt (* x (+ 2.0 x))))
  (pow x 1/3)
  (cbrt (+ 2.0 x))
  (cbrt (* x (+ (pow 2.0 3) (pow x 3))))
  (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))
  (cbrt (* x (- (* 2.0 2.0) (* x x))))
  (cbrt (- 2.0 x))
  (* (cbrt (cbrt (* x (+ 2.0 x)))) (cbrt (cbrt (* x (+ 2.0 x)))))
  (cbrt (cbrt (* x (+ 2.0 x))))
  (* x (+ 2.0 x))
  (sqrt (cbrt (* x (+ 2.0 x))))
  (sqrt (cbrt (* x (+ 2.0 x))))
  (log (cbrt (* x (+ 2.0 x))))
  (exp (cbrt (* x (+ 2.0 x))))
  (pow x 1/3)
  (cbrt (+ 2.0 x))
  (cbrt (* x (+ (pow 2.0 3) (pow x 3))))
  (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))
  (cbrt (* x (- (* 2.0 2.0) (* x x))))
  (cbrt (- 2.0 x))
  (* (cbrt (cbrt (* x (+ 2.0 x)))) (cbrt (cbrt (* x (+ 2.0 x)))))
  (cbrt (cbrt (* x (+ 2.0 x))))
  (* x (+ 2.0 x))
  (sqrt (cbrt (* x (+ 2.0 x))))
  (sqrt (cbrt (* x (+ 2.0 x))))
  (log (cbrt (* x (+ 2.0 x))))
  (exp (cbrt (* x (+ 2.0 x))))
  (pow x 1/3)
  (cbrt (+ 2.0 x))
  (cbrt (* x (+ (pow 2.0 3) (pow x 3))))
  (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))
  (cbrt (* x (- (* 2.0 2.0) (* x x))))
  (cbrt (- 2.0 x))
  (* (cbrt (cbrt (* x (+ 2.0 x)))) (cbrt (cbrt (* x (+ 2.0 x)))))
  (cbrt (cbrt (* x (+ 2.0 x))))
  (* x (+ 2.0 x))
  (sqrt (cbrt (* x (+ 2.0 x))))
  (sqrt (cbrt (* x (+ 2.0 x))))
  2/3
  2
  (pow (cbrt (* x (+ 2.0 x))) 6)
  (pow (sqrt (cbrt (* x (+ 2.0 x)))) 4)
  2
  (* 2 (log (cbrt (* x (+ 2.0 x)))))
  (* 2 (log (cbrt (* x (+ 2.0 x)))))
  (pow (exp 1) (pow (sqrt (cbrt (* x (+ 2.0 x)))) 4))
  (pow (cbrt (* x (+ 2.0 x))) 6)
  (* (cbrt (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))) (cbrt (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))))
  (cbrt (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))))
  (pow (cbrt (* x (+ 2.0 x))) 6)
  (fabs (cbrt (* x (+ 2.0 x))))
  (fabs (cbrt (* x (+ 2.0 x))))
  (* (cbrt (* x (+ (pow 2.0 3) (pow x 3)))) (cbrt (* x (+ (pow 2.0 3) (pow x 3)))))
  (* (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x)))) (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x)))))
  (* (cbrt (* x (+ (pow 2.0 3) (pow x 3)))) (cbrt (* x (- (* 2.0 2.0) (* x x)))))
  (* (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x)))) (cbrt (- 2.0 x)))
  (* (cbrt (* x (+ (pow 2.0 3) (pow x 3)))) (cbrt (* x (- (* 2.0 2.0) (* x x)))))
  (* (cbrt (+ (* 2.0 2.0) (- (* x x) (* 2.0 x)))) (cbrt (- 2.0 x)))
  (* (cbrt (* x (- (* 2.0 2.0) (* x x)))) (cbrt (* x (- (* 2.0 2.0) (* x x)))))
  (* (cbrt (- 2.0 x)) (cbrt (- 2.0 x)))
  (pow x 2/3)
  (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x)))
  (pow (cbrt (cbrt (* x (+ 2.0 x)))) 4)
  (* (cbrt (cbrt (* x (+ 2.0 x)))) (cbrt (cbrt (* x (+ 2.0 x)))))
  (cbrt (* x (+ 2.0 x)))
  (cbrt (* x (+ 2.0 x)))
  1
  (pow (sqrt (cbrt (* x (+ 2.0 x)))) 4)
  (cbrt (* x (+ 2.0 x)))
  (cbrt (* x (+ 2.0 x)))
  2/3
  2
  (* (cbrt (* x (+ 2.0 x))) (cbrt x))
  (* (pow (cbrt (cbrt (* x (+ 2.0 x)))) 4) (cbrt (cbrt (* x (+ 2.0 x)))))
  (pow (sqrt (cbrt (* x (+ 2.0 x)))) 3)
  (cbrt (* x (+ 2.0 x)))
  (* (cbrt (+ 2.0 x)) (cbrt (* x (+ 2.0 x))))
  (pow (cbrt (cbrt (* x (+ 2.0 x)))) 4)
  (pow (sqrt (cbrt (* x (+ 2.0 x)))) 3)
  (pow (sqrt (cbrt (* x (+ 2.0 x)))) 4)
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ (pow 2.0 3) (pow x 3)))))
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (- (* 2.0 2.0) (* x x)))))
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ (pow 2.0 3) (pow x 3)))))
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (- (* 2.0 2.0) (* x x)))))
  (+ (+ (/ (- (* 1/6 (pow x 2))) (* (/ 2.0 (pow 2.0 1/3)) (/ 2.0 (pow x 1/3)))) (* (pow x 1/3) (pow 2.0 1/3))) (* (exp (* 1/3 (+ (log 2.0) (log x)))) (+ (* 0.16666666666666666 x) (* 0.013888888888888888 (pow x 2)))))
  (- (+ (* 0.6666666666666666 (pow (/ 1 x) 1/3)) (pow (/ 1 x) -2/3)) (* 0.4444444444444444 (pow (/ 1 (pow x 4)) 1/3)))
  (- (+ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) (* 0.6666666666666666 (/ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) x))) (* 0.4444444444444444 (/ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) (pow x 2))))
  (+ (+ (/ (- (* 1/6 (pow x 2))) (* (/ 2.0 (pow 2.0 1/3)) (/ 2.0 (pow x 1/3)))) (* (pow x 1/3) (pow 2.0 1/3))) (* (exp (* 1/3 (+ (log 2.0) (log x)))) (+ (* 0.16666666666666666 x) (* 0.013888888888888888 (pow x 2)))))
  (- (+ (* 0.6666666666666666 (pow (/ 1 x) 1/3)) (pow (/ 1 x) -2/3)) (* 0.4444444444444444 (pow (/ 1 (pow x 4)) 1/3)))
  (- (+ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) (* 0.6666666666666666 (/ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) x))) (* 0.4444444444444444 (/ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) (pow x 2))))
  (+ (+ (/ (- (* 1/6 (pow x 2))) (* (/ 2.0 (pow 2.0 1/3)) (/ 2.0 (pow x 1/3)))) (* (pow x 1/3) (pow 2.0 1/3))) (* (exp (* 1/3 (+ (log 2.0) (log x)))) (+ (* 0.16666666666666666 x) (* 0.013888888888888888 (pow x 2)))))
  (- (+ (* 0.6666666666666666 (pow (/ 1 x) 1/3)) (pow (/ 1 x) -2/3)) (* 0.4444444444444444 (pow (/ 1 (pow x 4)) 1/3)))
  (- (+ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) (* 0.6666666666666666 (/ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) x))) (* 0.4444444444444444 (/ (* (exp (* 1/3 (- (log -1) (* 2 (log (/ -1 x)))))) (cbrt -1)) (pow x 2))))
  (+ (+ (* (- (* 0.027777777777777776 (pow x 2))) (* (pow 4.0 1/3) (pow x 2/3))) (* 0.3333333333333333 (* (exp (* 1/3 (+ (* 2 (log x)) (log 4.0)))) x))) (* (pow 4.0 1/3) (pow x 2/3)))
  (- (+ (* 1.3333333333333333 (pow x 1/3)) (pow (/ 1 x) -4/3)) (* 0.4444444444444444 (pow (/ 1 (pow x 2)) 1/3)))
  (- (+ (* (pow (cbrt -1) 2) (pow (pow x 4) 1/3)) (* 1.3333333333333333 (* (pow (cbrt -1) 2) (pow x 1/3)))) (* 0.4444444444444444 (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3))))
0.682 * * * [progress]: adding candidates to table
0.924 * * [progress]: iteration 3 / 4
0.924 * * * [progress]: picking best candidate
0.928 * * * * [pick]: Picked  #<alt (λ (x y) (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))>
0.928 * * * [progress]: localizing error
0.937 * * * [progress]: generating rewritten candidates
0.937 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.938 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.943 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
0.948 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
0.962 * * * [progress]: generating series expansions
0.962 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.963 * [approximate]: Taking taylor expansion of (* (+ x 2.0) x) in (x) around 0
0.963 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.963 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.963 * [taylor]: Taking taylor expansion of 2.0 in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.963 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.963 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.963 * [taylor]: Taking taylor expansion of 2.0 in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.972 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in (x) around 0
0.972 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
0.972 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.972 * [taylor]: Taking taylor expansion of x in x
0.972 * [taylor]: Taking taylor expansion of 2.0 in x
0.972 * [taylor]: Taking taylor expansion of x in x
0.973 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
0.973 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.973 * [taylor]: Taking taylor expansion of 2.0 in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.983 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (- 2.0 (/ 1 x))) x) in (x) around 0
0.984 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- 2.0 (/ 1 x))) x) in x
0.984 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- 2.0 (/ 1 x))) in x
0.984 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.984 * [taylor]: Taking taylor expansion of -1 in x
0.984 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.984 * [taylor]: Taking taylor expansion of 2.0 in x
0.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.984 * [taylor]: Taking taylor expansion of x in x
0.985 * [taylor]: Taking taylor expansion of x in x
0.987 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- 2.0 (/ 1 x))) x) in x
0.987 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- 2.0 (/ 1 x))) in x
0.987 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.987 * [taylor]: Taking taylor expansion of -1 in x
0.987 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.987 * [taylor]: Taking taylor expansion of 2.0 in x
0.987 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.987 * [taylor]: Taking taylor expansion of x in x
0.988 * [taylor]: Taking taylor expansion of x in x
1.016 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.017 * [approximate]: Taking taylor expansion of (pow (* (+ x 2.0) x) 3) in (x) around 0
1.017 * [taylor]: Taking taylor expansion of (pow (* (+ x 2.0) x) 3) in x
1.017 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
1.017 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of 2.0 in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.018 * [taylor]: Taking taylor expansion of (pow (* (+ x 2.0) x) 3) in x
1.018 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
1.018 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
1.018 * [taylor]: Taking taylor expansion of x in x
1.018 * [taylor]: Taking taylor expansion of 2.0 in x
1.019 * [taylor]: Taking taylor expansion of x in x
1.027 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 2.0) x) 3) in (x) around 0
1.027 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 2.0) x) 3) in x
1.027 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
1.027 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
1.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.027 * [taylor]: Taking taylor expansion of x in x
1.027 * [taylor]: Taking taylor expansion of 2.0 in x
1.027 * [taylor]: Taking taylor expansion of x in x
1.028 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 2.0) x) 3) in x
1.028 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
1.028 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
1.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.028 * [taylor]: Taking taylor expansion of x in x
1.028 * [taylor]: Taking taylor expansion of 2.0 in x
1.028 * [taylor]: Taking taylor expansion of x in x
1.044 * [approximate]: Taking taylor expansion of (pow (* -1 (/ (- 2.0 (/ 1 x)) x)) 3) in (x) around 0
1.044 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- 2.0 (/ 1 x)) x)) 3) in x
1.044 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x
1.044 * [taylor]: Taking taylor expansion of -1 in x
1.044 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
1.044 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
1.044 * [taylor]: Taking taylor expansion of 2.0 in x
1.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.044 * [taylor]: Taking taylor expansion of x in x
1.044 * [taylor]: Taking taylor expansion of x in x
1.045 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- 2.0 (/ 1 x)) x)) 3) in x
1.045 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x
1.045 * [taylor]: Taking taylor expansion of -1 in x
1.045 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
1.045 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
1.045 * [taylor]: Taking taylor expansion of 2.0 in x
1.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.045 * [taylor]: Taking taylor expansion of x in x
1.046 * [taylor]: Taking taylor expansion of x in x
1.060 * * * * [progress]: [ 3 / 4 ] generating series at (2)
1.061 * [approximate]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in (y x) around 0
1.061 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in x
1.061 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in x
1.061 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.061 * [taylor]: Taking taylor expansion of 2.0 in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.061 * [taylor]: Taking taylor expansion of y in x
1.061 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in y
1.061 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.061 * [taylor]: Taking taylor expansion of x in y
1.061 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in y
1.061 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
1.061 * [taylor]: Taking taylor expansion of 2.0 in y
1.061 * [taylor]: Taking taylor expansion of x in y
1.061 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.061 * [taylor]: Taking taylor expansion of y in y
1.061 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 2.0 x) (pow y 2))) in y
1.061 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.061 * [taylor]: Taking taylor expansion of x in y
1.061 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow y 2)) in y
1.061 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
1.061 * [taylor]: Taking taylor expansion of 2.0 in y
1.061 * [taylor]: Taking taylor expansion of x in y
1.061 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.061 * [taylor]: Taking taylor expansion of y in y
1.061 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
1.061 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.061 * [taylor]: Taking taylor expansion of 2.0 in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.063 * [taylor]: Taking taylor expansion of 0 in x
1.065 * [taylor]: Taking taylor expansion of 1 in x
1.067 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in (y x) around 0
1.067 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in x
1.067 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.067 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.067 * [taylor]: Taking taylor expansion of x in x
1.067 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in x
1.067 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.067 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.067 * [taylor]: Taking taylor expansion of y in x
1.067 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.067 * [taylor]: Taking taylor expansion of 2.0 in x
1.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.067 * [taylor]: Taking taylor expansion of x in x
1.068 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in y
1.068 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.068 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.068 * [taylor]: Taking taylor expansion of x in y
1.068 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
1.068 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.068 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.068 * [taylor]: Taking taylor expansion of y in y
1.068 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
1.068 * [taylor]: Taking taylor expansion of 2.0 in y
1.068 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.068 * [taylor]: Taking taylor expansion of x in y
1.069 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x)))) in y
1.069 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.069 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.069 * [taylor]: Taking taylor expansion of x in y
1.069 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
1.069 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.069 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.069 * [taylor]: Taking taylor expansion of y in y
1.069 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
1.069 * [taylor]: Taking taylor expansion of 2.0 in y
1.069 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.069 * [taylor]: Taking taylor expansion of x in y
1.070 * [taylor]: Taking taylor expansion of 1 in x
1.071 * [taylor]: Taking taylor expansion of 0 in x
1.072 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
1.072 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.072 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.072 * [taylor]: Taking taylor expansion of x in x
1.073 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.073 * [taylor]: Taking taylor expansion of 2.0 in x
1.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.073 * [taylor]: Taking taylor expansion of x in x
1.075 * [taylor]: Taking taylor expansion of 0 in x
1.077 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 (/ (cbrt -1) x)) (/ 1 (pow y 2))) (/ (cbrt -1) (pow x 2))) in (y x) around 0
1.077 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ (cbrt -1) x)) (/ 1 (pow y 2))) (/ (cbrt -1) (pow x 2))) in x
1.077 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ (cbrt -1) x)) (/ 1 (pow y 2))) in x
1.077 * [taylor]: Taking taylor expansion of (* 2.0 (/ (cbrt -1) x)) in x
1.077 * [taylor]: Taking taylor expansion of 2.0 in x
1.077 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in x
1.077 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.077 * [taylor]: Taking taylor expansion of -1 in x
1.078 * [taylor]: Taking taylor expansion of x in x
1.079 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.079 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.079 * [taylor]: Taking taylor expansion of y in x
1.079 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow x 2)) in x
1.079 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.079 * [taylor]: Taking taylor expansion of -1 in x
1.079 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.080 * [taylor]: Taking taylor expansion of x in x
1.080 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ (cbrt -1) x)) (/ 1 (pow y 2))) (/ (cbrt -1) (pow x 2))) in y
1.080 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ (cbrt -1) x)) (/ 1 (pow y 2))) in y
1.080 * [taylor]: Taking taylor expansion of (* 2.0 (/ (cbrt -1) x)) in y
1.080 * [taylor]: Taking taylor expansion of 2.0 in y
1.080 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in y
1.080 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.080 * [taylor]: Taking taylor expansion of -1 in y
1.081 * [taylor]: Taking taylor expansion of x in y
1.082 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.082 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.082 * [taylor]: Taking taylor expansion of y in y
1.082 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow x 2)) in y
1.082 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.082 * [taylor]: Taking taylor expansion of -1 in y
1.083 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.083 * [taylor]: Taking taylor expansion of x in y
1.083 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 (/ (cbrt -1) x)) (/ 1 (pow y 2))) (/ (cbrt -1) (pow x 2))) in y
1.083 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ (cbrt -1) x)) (/ 1 (pow y 2))) in y
1.083 * [taylor]: Taking taylor expansion of (* 2.0 (/ (cbrt -1) x)) in y
1.083 * [taylor]: Taking taylor expansion of 2.0 in y
1.083 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in y
1.083 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.083 * [taylor]: Taking taylor expansion of -1 in y
1.084 * [taylor]: Taking taylor expansion of x in y
1.085 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.085 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.085 * [taylor]: Taking taylor expansion of y in y
1.085 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow x 2)) in y
1.085 * [taylor]: Taking taylor expansion of (cbrt -1) in y
1.085 * [taylor]: Taking taylor expansion of -1 in y
1.086 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.086 * [taylor]: Taking taylor expansion of x in y
1.087 * [taylor]: Taking taylor expansion of 1 in x
1.088 * [taylor]: Taking taylor expansion of 0 in x
1.091 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ (cbrt -1) x)) (/ (cbrt -1) (pow x 2))) in x
1.091 * [taylor]: Taking taylor expansion of (* 2.0 (/ (cbrt -1) x)) in x
1.091 * [taylor]: Taking taylor expansion of 2.0 in x
1.091 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in x
1.091 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.091 * [taylor]: Taking taylor expansion of -1 in x
1.092 * [taylor]: Taking taylor expansion of x in x
1.092 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (pow x 2)) in x
1.092 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.092 * [taylor]: Taking taylor expansion of -1 in x
1.093 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.093 * [taylor]: Taking taylor expansion of x in x
1.099 * [taylor]: Taking taylor expansion of 0 in x
1.104 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
1.104 * [approximate]: Taking taylor expansion of (* (+ x 2.0) x) in (x) around 0
1.104 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
1.104 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
1.104 * [taylor]: Taking taylor expansion of x in x
1.104 * [taylor]: Taking taylor expansion of 2.0 in x
1.104 * [taylor]: Taking taylor expansion of x in x
1.104 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
1.104 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
1.104 * [taylor]: Taking taylor expansion of x in x
1.104 * [taylor]: Taking taylor expansion of 2.0 in x
1.104 * [taylor]: Taking taylor expansion of x in x
1.113 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in (x) around 0
1.113 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
1.113 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
1.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.113 * [taylor]: Taking taylor expansion of x in x
1.113 * [taylor]: Taking taylor expansion of 2.0 in x
1.113 * [taylor]: Taking taylor expansion of x in x
1.114 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
1.114 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
1.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.114 * [taylor]: Taking taylor expansion of x in x
1.114 * [taylor]: Taking taylor expansion of 2.0 in x
1.114 * [taylor]: Taking taylor expansion of x in x
1.129 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in (x) around 0
1.130 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x
1.130 * [taylor]: Taking taylor expansion of -1 in x
1.130 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
1.130 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
1.130 * [taylor]: Taking taylor expansion of 2.0 in x
1.130 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.130 * [taylor]: Taking taylor expansion of x in x
1.130 * [taylor]: Taking taylor expansion of x in x
1.131 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x
1.131 * [taylor]: Taking taylor expansion of -1 in x
1.131 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
1.131 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
1.131 * [taylor]: Taking taylor expansion of 2.0 in x
1.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.131 * [taylor]: Taking taylor expansion of x in x
1.131 * [taylor]: Taking taylor expansion of x in x
1.149 * * * [progress]: simplifying candidates
1.150 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (pow (* x (+ 2.0 x)) 3)))
  (exp (cbrt (pow (* x (+ 2.0 x)) 3)))
  (cbrt (pow x 3))
  (cbrt (pow (+ 2.0 x) 3))
  (cbrt (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (cbrt (* x (+ 2.0 x)))
  (cbrt (* (cbrt (pow (* x (+ 2.0 x)) 3)) (cbrt (pow (* x (+ 2.0 x)) 3))))
  (cbrt (cbrt (pow (* x (+ 2.0 x)) 3)))
  (cbrt (pow x 3))
  (cbrt (pow (+ 2.0 x) 3))
  (cbrt (* x (+ 2.0 x)))
  (cbrt (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (cbrt (sqrt (pow (* x (+ 2.0 x)) 3)))
  (cbrt (sqrt (pow (* x (+ 2.0 x)) 3)))
  (cbrt 1)
  (cbrt (pow (* x (+ 2.0 x)) 3))
  (cbrt (pow (* x (+ 2.0 x)) (/ 3 2)))
  (cbrt (pow (* x (+ 2.0 x)) (/ 3 2)))
  (cbrt (pow (* x (+ (pow 2.0 3) (pow x 3))) 3))
  (cbrt (pow (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))) 3))
  (cbrt (pow (* x (- (* 2.0 2.0) (* x x))) 3))
  (cbrt (pow (- 2.0 x) 3))
  (* (cbrt (cbrt (pow (* x (+ 2.0 x)) 3))) (cbrt (cbrt (pow (* x (+ 2.0 x)) 3))))
  (cbrt (cbrt (pow (* x (+ 2.0 x)) 3)))
  (* (* (cbrt (pow (* x (+ 2.0 x)) 3)) (cbrt (pow (* x (+ 2.0 x)) 3))) (cbrt (pow (* x (+ 2.0 x)) 3)))
  (sqrt (cbrt (pow (* x (+ 2.0 x)) 3)))
  (sqrt (cbrt (pow (* x (+ 2.0 x)) 3)))
  (* (+ (log x) (log (+ 2.0 x))) 3)
  (* (log (* x (+ 2.0 x))) 3)
  (* (log (* x (+ 2.0 x))) 3)
  (* 1 3)
  (* 1 3)
  (pow (* x (+ 2.0 x)) (* (cbrt 3) (cbrt 3)))
  (pow (* x (+ 2.0 x)) (sqrt 3))
  (pow (* x (+ 2.0 x)) 1)
  (pow x 3)
  (pow (+ 2.0 x) 3)
  (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))
  (log (pow (* x (+ 2.0 x)) 3))
  (exp (pow (* x (+ 2.0 x)) 3))
  (* (cbrt (pow (* x (+ 2.0 x)) 3)) (cbrt (pow (* x (+ 2.0 x)) 3)))
  (cbrt (pow (* x (+ 2.0 x)) 3))
  (* (* (pow (* x (+ 2.0 x)) 3) (pow (* x (+ 2.0 x)) 3)) (pow (* x (+ 2.0 x)) 3))
  (pow x 3)
  (pow (+ 2.0 x) 3)
  (pow (* x (+ (pow 2.0 3) (pow x 3))) 3)
  (pow (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))) 3)
  (pow (* x (- (* 2.0 2.0) (* x x))) 3)
  (pow (- 2.0 x) 3)
  (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))
  (sqrt (pow (* x (+ 2.0 x)) 3))
  (sqrt (pow (* x (+ 2.0 x)) 3))
  (pow (* x (+ 2.0 x)) (/ 3 2))
  (pow (* x (+ 2.0 x)) (/ 3 2))
  (* (exp (* y y)) (exp (cbrt (pow (* x (+ 2.0 x)) 3))))
  (log (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))
  (exp (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))
  (* (cbrt (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3)))) (cbrt (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3)))))
  (cbrt (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))
  (* (* (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))) (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3)))) (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))
  (sqrt (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))
  (sqrt (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))
  (+ (pow (* y y) 3) (pow (cbrt (pow (* x (+ 2.0 x)) 3)) 3))
  (+ (* (* y y) (* y y)) (- (* (cbrt (pow (* x (+ 2.0 x)) 3)) (cbrt (pow (* x (+ 2.0 x)) 3))) (* (* y y) (cbrt (pow (* x (+ 2.0 x)) 3)))))
  (- (* (* y y) (* y y)) (* (cbrt (pow (* x (+ 2.0 x)) 3)) (cbrt (pow (* x (+ 2.0 x)) 3))))
  (- (* y y) (cbrt (pow (* x (+ 2.0 x)) 3)))
  (* x (+ 2.0 x))
  (+ (log x) (log (+ 2.0 x)))
  (log (* x (+ 2.0 x)))
  (exp (* x (+ 2.0 x)))
  (* (* (* x x) x) (* (* (+ 2.0 x) (+ 2.0 x)) (+ 2.0 x)))
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))
  (cbrt (* x (+ 2.0 x)))
  (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* x (+ 2.0 x)))
  (sqrt (* x (+ 2.0 x)))
  (sqrt (* x (+ 2.0 x)))
  (* (sqrt x) (sqrt (+ 2.0 x)))
  (* (sqrt x) (sqrt (+ 2.0 x)))
  (* x 2.0)
  (* x x)
  (* 2.0 x)
  (* x x)
  (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x))))
  (* x (sqrt (+ 2.0 x)))
  (* x 1)
  (* x 1)
  (* (cbrt x) (+ 2.0 x))
  (* (sqrt x) (+ 2.0 x))
  (* x (+ 2.0 x))
  (* x (+ (pow 2.0 3) (pow x 3)))
  (* x (- (* 2.0 2.0) (* x x)))
  (+ (pow x 2) (* 2.0 x))
  (+ (pow x 2) (* 2.0 x))
  (- (+ (* 2.0 (* (cbrt -1) x)) (* (cbrt -1) (pow x 2))))
  (+ (* 8.0 (pow x 3)) (+ (* 6.0 (pow x 5)) (* 12.0 (pow x 4))))
  (+ (pow x 6) (+ (* 12.0 (pow x 4)) (* 6.0 (pow x 5))))
  (+ (pow x 6) (+ (* 12.0 (pow x 4)) (* 6.0 (pow x 5))))
  (+ (pow x 2) (+ (* 2.0 x) (pow y 2)))
  (+ (pow x 2) (+ (* 2.0 x) (pow y 2)))
  (- (pow y 2) (+ (* 2.0 (* (cbrt -1) x)) (* (cbrt -1) (pow x 2))))
  (+ (pow x 2) (* 2.0 x))
  (+ (pow x 2) (* 2.0 x))
  (+ (pow x 2) (* 2.0 x))
1.155 * * [simplify]: iteration  0 :  350  enodes  (cost  421 )
1.163 * * [simplify]: iteration  1 :  1804  enodes  (cost  381 )
1.200 * * [simplify]: iteration  2 :  5001  enodes  (cost  380 )
1.202 * [simplify]: Simplified to:
   (log (* x (+ 2.0 x)))
  (exp (* x (+ 2.0 x)))
  x
  (+ 2.0 x)
  (cbrt (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (cbrt (* x (+ 2.0 x)))
  (cbrt (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (cbrt (* x (+ 2.0 x)))
  x
  (+ 2.0 x)
  (cbrt (* x (+ 2.0 x)))
  (cbrt (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (cbrt (sqrt (pow (* x (+ 2.0 x)) 3)))
  (cbrt (sqrt (pow (* x (+ 2.0 x)) 3)))
  1
  (* x (+ 2.0 x))
  (cbrt (pow (* x (+ 2.0 x)) 3/2))
  (cbrt (pow (* x (+ 2.0 x)) 3/2))
  (* x (+ (pow 2.0 3) (pow x 3)))
  (+ (* x (- x 2.0)) (* 2.0 2.0))
  (* x (- (* 2.0 2.0) (* x x)))
  (- 2.0 x)
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))
  (cbrt (* x (+ 2.0 x)))
  (pow (* x (+ 2.0 x)) 3)
  (pow (* x (+ 2.0 x)) 1/2)
  (pow (* x (+ 2.0 x)) 1/2)
  (log (pow (* x (+ 2.0 x)) 3))
  (log (pow (* x (+ 2.0 x)) 3))
  (log (pow (* x (+ 2.0 x)) 3))
  3
  3
  (pow (* x (+ 2.0 x)) (* (cbrt 3) (cbrt 3)))
  (pow (* x (+ 2.0 x)) (sqrt 3))
  (* x (+ 2.0 x))
  (pow x 3)
  (pow (+ 2.0 x) 3)
  (pow (* x (+ 2.0 x)) 2)
  (log (pow (* x (+ 2.0 x)) 3))
  (exp (pow (* x (+ 2.0 x)) 3))
  (pow (* x (+ 2.0 x)) 2)
  (* x (+ 2.0 x))
  (pow (pow (* x (+ 2.0 x)) 3) 3)
  (pow x 3)
  (pow (+ 2.0 x) 3)
  (pow (* x (+ (pow 2.0 3) (pow x 3))) 3)
  (pow (+ (* x (- x 2.0)) (* 2.0 2.0)) 3)
  (pow (* x (- (* 2.0 2.0) (* x x))) 3)
  (pow (- 2.0 x) 3)
  (pow (* x (+ 2.0 x)) 2)
  (sqrt (pow (* x (+ 2.0 x)) 3))
  (sqrt (pow (* x (+ 2.0 x)) 3))
  (pow (* x (+ 2.0 x)) 3/2)
  (pow (* x (+ 2.0 x)) 3/2)
  (exp (+ (pow y 2) (* x (+ 2.0 x))))
  (log (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))
  (exp (+ (pow y 2) (* x (+ 2.0 x))))
  (* (cbrt (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3)))) (cbrt (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3)))))
  (cbrt (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))
  (pow (+ (* x (+ 2.0 x)) (pow y 2)) 3)
  (sqrt (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))
  (sqrt (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))
  (+ (pow y 6) (pow (* x (+ 2.0 x)) 3))
  (- (+ (pow y 4) (pow (* x (+ 2.0 x)) 2)) (* y (* y (* x (+ 2.0 x)))))
  (- (pow y 4) (pow (* x (+ 2.0 x)) 2))
  (- (pow y 2) (* x (+ 2.0 x)))
  (* x (+ 2.0 x))
  (log (* x (+ 2.0 x)))
  (log (* x (+ 2.0 x)))
  (exp (* x (+ 2.0 x)))
  (pow (* x (+ 2.0 x)) 3)
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))
  (cbrt (* x (+ 2.0 x)))
  (pow (* x (+ 2.0 x)) 3)
  (pow (* x (+ 2.0 x)) 1/2)
  (pow (* x (+ 2.0 x)) 1/2)
  (* (sqrt x) (sqrt (+ 2.0 x)))
  (* (sqrt x) (sqrt (+ 2.0 x)))
  (* 2.0 x)
  (pow x 2)
  (* 2.0 x)
  (pow x 2)
  (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x))))
  (* x (sqrt (+ 2.0 x)))
  x
  x
  (* (cbrt x) (+ 2.0 x))
  (* (sqrt x) (+ 2.0 x))
  (* x (+ 2.0 x))
  (* x (+ (pow 2.0 3) (pow x 3)))
  (* x (- (* 2.0 2.0) (* x x)))
  (* x (+ 2.0 x))
  (* x (+ 2.0 x))
  (- (+ (* 2.0 (* (cbrt -1) x)) (* (cbrt -1) (pow x 2))))
  (+ (* 8.0 (pow x 3)) (+ (* 6.0 (pow x 5)) (* 12.0 (pow x 4))))
  (+ (pow x 6) (+ (* 12.0 (pow x 4)) (* 6.0 (pow x 5))))
  (+ (pow x 6) (+ (* 12.0 (pow x 4)) (* 6.0 (pow x 5))))
  (+ (* x (+ 2.0 x)) (pow y 2))
  (+ (* x (+ 2.0 x)) (pow y 2))
  (- (pow y 2) (+ (* 2.0 (* (cbrt -1) x)) (* (cbrt -1) (pow x 2))))
  (* x (+ 2.0 x))
  (* x (+ 2.0 x))
  (* x (+ 2.0 x))
1.202 * * * [progress]: adding candidates to table
1.378 * * [progress]: iteration 4 / 4
1.378 * * * [progress]: picking best candidate
1.380 * * * * [pick]: Picked  #<alt (λ (x y) (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))>
1.380 * * * [progress]: localizing error
1.391 * * * [progress]: generating rewritten candidates
1.391 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.420 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.431 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.455 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.462 * * * [progress]: generating series expansions
1.462 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.462 * [approximate]: Taking taylor expansion of (/ (- (pow y 4) (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))) (- (pow y 2) (+ (pow x 2) (* 2.0 x)))) in (x y) around 0
1.462 * [taylor]: Taking taylor expansion of (/ (- (pow y 4) (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))) (- (pow y 2) (+ (pow x 2) (* 2.0 x)))) in y
1.462 * [taylor]: Taking taylor expansion of (- (pow y 4) (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))) in y
1.462 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.462 * [taylor]: Taking taylor expansion of y in y
1.462 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4))) in y
1.462 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 2)) in y
1.462 * [taylor]: Taking taylor expansion of 4.0 in y
1.462 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.462 * [taylor]: Taking taylor expansion of x in y
1.462 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (pow x 4)) in y
1.462 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in y
1.462 * [taylor]: Taking taylor expansion of 4.0 in y
1.462 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.462 * [taylor]: Taking taylor expansion of x in y
1.462 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.462 * [taylor]: Taking taylor expansion of x in y
1.462 * [taylor]: Taking taylor expansion of (- (pow y 2) (+ (pow x 2) (* 2.0 x))) in y
1.462 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.463 * [taylor]: Taking taylor expansion of y in y
1.463 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in y
1.463 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.463 * [taylor]: Taking taylor expansion of x in y
1.463 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
1.463 * [taylor]: Taking taylor expansion of 2.0 in y
1.463 * [taylor]: Taking taylor expansion of x in y
1.464 * [taylor]: Taking taylor expansion of (/ (- (pow y 4) (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))) (- (pow y 2) (+ (pow x 2) (* 2.0 x)))) in x
1.465 * [taylor]: Taking taylor expansion of (- (pow y 4) (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))) in x
1.465 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.465 * [taylor]: Taking taylor expansion of y in x
1.465 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4))) in x
1.465 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 2)) in x
1.465 * [taylor]: Taking taylor expansion of 4.0 in x
1.465 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.465 * [taylor]: Taking taylor expansion of x in x
1.465 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (pow x 4)) in x
1.465 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in x
1.465 * [taylor]: Taking taylor expansion of 4.0 in x
1.465 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.465 * [taylor]: Taking taylor expansion of x in x
1.465 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.465 * [taylor]: Taking taylor expansion of x in x
1.465 * [taylor]: Taking taylor expansion of (- (pow y 2) (+ (pow x 2) (* 2.0 x))) in x
1.465 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.465 * [taylor]: Taking taylor expansion of y in x
1.465 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
1.465 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.465 * [taylor]: Taking taylor expansion of x in x
1.465 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.465 * [taylor]: Taking taylor expansion of 2.0 in x
1.465 * [taylor]: Taking taylor expansion of x in x
1.466 * [taylor]: Taking taylor expansion of (/ (- (pow y 4) (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))) (- (pow y 2) (+ (pow x 2) (* 2.0 x)))) in x
1.466 * [taylor]: Taking taylor expansion of (- (pow y 4) (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))) in x
1.466 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.466 * [taylor]: Taking taylor expansion of y in x
1.466 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4))) in x
1.466 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 2)) in x
1.466 * [taylor]: Taking taylor expansion of 4.0 in x
1.466 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.466 * [taylor]: Taking taylor expansion of x in x
1.466 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (pow x 4)) in x
1.466 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in x
1.466 * [taylor]: Taking taylor expansion of 4.0 in x
1.466 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.467 * [taylor]: Taking taylor expansion of x in x
1.467 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.467 * [taylor]: Taking taylor expansion of x in x
1.467 * [taylor]: Taking taylor expansion of (- (pow y 2) (+ (pow x 2) (* 2.0 x))) in x
1.467 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.467 * [taylor]: Taking taylor expansion of y in x
1.467 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
1.467 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.467 * [taylor]: Taking taylor expansion of x in x
1.467 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.467 * [taylor]: Taking taylor expansion of 2.0 in x
1.467 * [taylor]: Taking taylor expansion of x in x
1.468 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.468 * [taylor]: Taking taylor expansion of y in y
1.471 * [taylor]: Taking taylor expansion of 2.0 in y
1.475 * [taylor]: Taking taylor expansion of 1 in y
1.476 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow y 4)) (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))))) (- (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))))) in (x y) around 0
1.476 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 4)) (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))))) (- (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))))) in y
1.476 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4)) (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))))) in y
1.476 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.476 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.476 * [taylor]: Taking taylor expansion of y in y
1.477 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3))))) in y
1.477 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in y
1.477 * [taylor]: Taking taylor expansion of 4.0 in y
1.477 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.477 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.477 * [taylor]: Taking taylor expansion of x in y
1.477 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))) in y
1.477 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
1.477 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.477 * [taylor]: Taking taylor expansion of x in y
1.477 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in y
1.477 * [taylor]: Taking taylor expansion of 4.0 in y
1.477 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
1.477 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.477 * [taylor]: Taking taylor expansion of x in y
1.478 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x)))) in y
1.478 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.478 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.478 * [taylor]: Taking taylor expansion of y in y
1.478 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in y
1.478 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.478 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.478 * [taylor]: Taking taylor expansion of x in y
1.478 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
1.478 * [taylor]: Taking taylor expansion of 2.0 in y
1.478 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.478 * [taylor]: Taking taylor expansion of x in y
1.479 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 4)) (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))))) (- (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))))) in x
1.479 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4)) (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))))) in x
1.479 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.479 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.479 * [taylor]: Taking taylor expansion of y in x
1.479 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3))))) in x
1.479 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
1.479 * [taylor]: Taking taylor expansion of 4.0 in x
1.479 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.479 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.479 * [taylor]: Taking taylor expansion of x in x
1.480 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))) in x
1.480 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.480 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.480 * [taylor]: Taking taylor expansion of x in x
1.484 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
1.484 * [taylor]: Taking taylor expansion of 4.0 in x
1.484 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.484 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.484 * [taylor]: Taking taylor expansion of x in x
1.485 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x)))) in x
1.485 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.485 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.485 * [taylor]: Taking taylor expansion of y in x
1.485 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
1.485 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.485 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.485 * [taylor]: Taking taylor expansion of x in x
1.485 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.485 * [taylor]: Taking taylor expansion of 2.0 in x
1.485 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.486 * [taylor]: Taking taylor expansion of x in x
1.488 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 4)) (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))))) (- (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))))) in x
1.488 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4)) (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))))) in x
1.488 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.488 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.488 * [taylor]: Taking taylor expansion of y in x
1.488 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3))))) in x
1.488 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
1.488 * [taylor]: Taking taylor expansion of 4.0 in x
1.488 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.488 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.488 * [taylor]: Taking taylor expansion of x in x
1.488 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))) in x
1.488 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.489 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.489 * [taylor]: Taking taylor expansion of x in x
1.489 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
1.489 * [taylor]: Taking taylor expansion of 4.0 in x
1.489 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.489 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.489 * [taylor]: Taking taylor expansion of x in x
1.490 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x)))) in x
1.490 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.490 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.490 * [taylor]: Taking taylor expansion of y in x
1.490 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
1.490 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.490 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.490 * [taylor]: Taking taylor expansion of x in x
1.491 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.491 * [taylor]: Taking taylor expansion of 2.0 in x
1.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.491 * [taylor]: Taking taylor expansion of x in x
1.493 * [taylor]: Taking taylor expansion of 1 in y
1.500 * [taylor]: Taking taylor expansion of 2.0 in y
1.508 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.508 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.508 * [taylor]: Taking taylor expansion of y in y
1.518 * [taylor]: Taking taylor expansion of 0 in y
1.520 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4)))) (- (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) (/ 1 (pow x 2)))) in (x y) around 0
1.520 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4)))) (- (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) (/ 1 (pow x 2)))) in y
1.520 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4)))) in y
1.520 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) in y
1.520 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.520 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.520 * [taylor]: Taking taylor expansion of y in y
1.520 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in y
1.521 * [taylor]: Taking taylor expansion of 4.0 in y
1.521 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
1.521 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.521 * [taylor]: Taking taylor expansion of x in y
1.521 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4))) in y
1.521 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in y
1.521 * [taylor]: Taking taylor expansion of 4.0 in y
1.521 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.521 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.521 * [taylor]: Taking taylor expansion of x in y
1.521 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
1.521 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.521 * [taylor]: Taking taylor expansion of x in y
1.521 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) (/ 1 (pow x 2))) in y
1.521 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
1.521 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.521 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.521 * [taylor]: Taking taylor expansion of y in y
1.522 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
1.522 * [taylor]: Taking taylor expansion of 2.0 in y
1.522 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.522 * [taylor]: Taking taylor expansion of x in y
1.522 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.522 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.522 * [taylor]: Taking taylor expansion of x in y
1.523 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4)))) (- (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) (/ 1 (pow x 2)))) in x
1.523 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4)))) in x
1.523 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) in x
1.523 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.523 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.523 * [taylor]: Taking taylor expansion of y in x
1.523 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
1.523 * [taylor]: Taking taylor expansion of 4.0 in x
1.524 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.524 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.524 * [taylor]: Taking taylor expansion of x in x
1.524 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4))) in x
1.524 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
1.524 * [taylor]: Taking taylor expansion of 4.0 in x
1.524 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.524 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.524 * [taylor]: Taking taylor expansion of x in x
1.525 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.525 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.525 * [taylor]: Taking taylor expansion of x in x
1.526 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) (/ 1 (pow x 2))) in x
1.526 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in x
1.526 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.526 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.526 * [taylor]: Taking taylor expansion of y in x
1.526 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.526 * [taylor]: Taking taylor expansion of 2.0 in x
1.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.526 * [taylor]: Taking taylor expansion of x in x
1.526 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.526 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.526 * [taylor]: Taking taylor expansion of x in x
1.528 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4)))) (- (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) (/ 1 (pow x 2)))) in x
1.528 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4)))) in x
1.528 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) in x
1.528 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.528 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.528 * [taylor]: Taking taylor expansion of y in x
1.528 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
1.528 * [taylor]: Taking taylor expansion of 4.0 in x
1.528 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.528 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.528 * [taylor]: Taking taylor expansion of x in x
1.529 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4))) in x
1.529 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
1.529 * [taylor]: Taking taylor expansion of 4.0 in x
1.529 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.529 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.529 * [taylor]: Taking taylor expansion of x in x
1.530 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.530 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.530 * [taylor]: Taking taylor expansion of x in x
1.530 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) (/ 1 (pow x 2))) in x
1.530 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in x
1.530 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.530 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.530 * [taylor]: Taking taylor expansion of y in x
1.530 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.530 * [taylor]: Taking taylor expansion of 2.0 in x
1.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.531 * [taylor]: Taking taylor expansion of x in x
1.531 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.531 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.531 * [taylor]: Taking taylor expansion of x in x
1.533 * [taylor]: Taking taylor expansion of 1 in y
1.538 * [taylor]: Taking taylor expansion of (- 2.0) in y
1.538 * [taylor]: Taking taylor expansion of 2.0 in y
1.546 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.546 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.546 * [taylor]: Taking taylor expansion of y in y
1.556 * [taylor]: Taking taylor expansion of 0 in y
1.558 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.558 * [approximate]: Taking taylor expansion of (- (pow y 4) (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))) in (x y) around 0
1.558 * [taylor]: Taking taylor expansion of (- (pow y 4) (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))) in y
1.558 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.558 * [taylor]: Taking taylor expansion of y in y
1.558 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4))) in y
1.558 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 2)) in y
1.558 * [taylor]: Taking taylor expansion of 4.0 in y
1.558 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.558 * [taylor]: Taking taylor expansion of x in y
1.558 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (pow x 4)) in y
1.558 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in y
1.558 * [taylor]: Taking taylor expansion of 4.0 in y
1.558 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.558 * [taylor]: Taking taylor expansion of x in y
1.559 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.559 * [taylor]: Taking taylor expansion of x in y
1.559 * [taylor]: Taking taylor expansion of (- (pow y 4) (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))) in x
1.559 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.559 * [taylor]: Taking taylor expansion of y in x
1.559 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4))) in x
1.559 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 2)) in x
1.559 * [taylor]: Taking taylor expansion of 4.0 in x
1.559 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.559 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (pow x 4)) in x
1.559 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in x
1.559 * [taylor]: Taking taylor expansion of 4.0 in x
1.559 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.559 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.559 * [taylor]: Taking taylor expansion of (- (pow y 4) (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))) in x
1.559 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.559 * [taylor]: Taking taylor expansion of y in x
1.559 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4))) in x
1.559 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 2)) in x
1.559 * [taylor]: Taking taylor expansion of 4.0 in x
1.559 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.559 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (pow x 4)) in x
1.559 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in x
1.559 * [taylor]: Taking taylor expansion of 4.0 in x
1.559 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.559 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.559 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.559 * [taylor]: Taking taylor expansion of y in y
1.560 * [taylor]: Taking taylor expansion of 0 in y
1.566 * [taylor]: Taking taylor expansion of (- 4.0) in y
1.566 * [taylor]: Taking taylor expansion of 4.0 in y
1.570 * [taylor]: Taking taylor expansion of (- 4.0) in y
1.570 * [taylor]: Taking taylor expansion of 4.0 in y
1.576 * [taylor]: Taking taylor expansion of -1 in y
1.577 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 4)) (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))))) in (x y) around 0
1.577 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4)) (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))))) in y
1.577 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.577 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.577 * [taylor]: Taking taylor expansion of y in y
1.578 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3))))) in y
1.578 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in y
1.578 * [taylor]: Taking taylor expansion of 4.0 in y
1.578 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.578 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.578 * [taylor]: Taking taylor expansion of x in y
1.578 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))) in y
1.578 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
1.578 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.578 * [taylor]: Taking taylor expansion of x in y
1.578 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in y
1.578 * [taylor]: Taking taylor expansion of 4.0 in y
1.579 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
1.579 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.579 * [taylor]: Taking taylor expansion of x in y
1.579 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4)) (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))))) in x
1.579 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.579 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.579 * [taylor]: Taking taylor expansion of y in x
1.579 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3))))) in x
1.579 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
1.579 * [taylor]: Taking taylor expansion of 4.0 in x
1.579 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.579 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.579 * [taylor]: Taking taylor expansion of x in x
1.579 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))) in x
1.580 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.580 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.580 * [taylor]: Taking taylor expansion of x in x
1.580 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
1.580 * [taylor]: Taking taylor expansion of 4.0 in x
1.580 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.580 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.580 * [taylor]: Taking taylor expansion of x in x
1.581 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4)) (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))))) in x
1.581 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.581 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.581 * [taylor]: Taking taylor expansion of y in x
1.581 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3))))) in x
1.581 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
1.581 * [taylor]: Taking taylor expansion of 4.0 in x
1.581 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.581 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.581 * [taylor]: Taking taylor expansion of x in x
1.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (* 4.0 (/ 1 (pow x 3)))) in x
1.582 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.582 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.582 * [taylor]: Taking taylor expansion of x in x
1.583 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
1.583 * [taylor]: Taking taylor expansion of 4.0 in x
1.583 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.583 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.583 * [taylor]: Taking taylor expansion of x in x
1.586 * [taylor]: Taking taylor expansion of -1 in y
1.590 * [taylor]: Taking taylor expansion of (- 4.0) in y
1.590 * [taylor]: Taking taylor expansion of 4.0 in y
1.594 * [taylor]: Taking taylor expansion of (- 4.0) in y
1.594 * [taylor]: Taking taylor expansion of 4.0 in y
1.599 * [taylor]: Taking taylor expansion of 0 in y
1.608 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.608 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.608 * [taylor]: Taking taylor expansion of y in y
1.620 * [taylor]: Taking taylor expansion of 0 in y
1.624 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4)))) in (x y) around 0
1.624 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4)))) in y
1.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) in y
1.624 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.624 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.624 * [taylor]: Taking taylor expansion of y in y
1.625 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in y
1.625 * [taylor]: Taking taylor expansion of 4.0 in y
1.625 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
1.625 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.625 * [taylor]: Taking taylor expansion of x in y
1.626 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4))) in y
1.626 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in y
1.626 * [taylor]: Taking taylor expansion of 4.0 in y
1.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.626 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.626 * [taylor]: Taking taylor expansion of x in y
1.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
1.626 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.626 * [taylor]: Taking taylor expansion of x in y
1.626 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4)))) in x
1.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) in x
1.626 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.626 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.626 * [taylor]: Taking taylor expansion of y in x
1.627 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
1.627 * [taylor]: Taking taylor expansion of 4.0 in x
1.627 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.627 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.627 * [taylor]: Taking taylor expansion of x in x
1.628 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4))) in x
1.628 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
1.628 * [taylor]: Taking taylor expansion of 4.0 in x
1.628 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.628 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.628 * [taylor]: Taking taylor expansion of x in x
1.629 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.629 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.629 * [taylor]: Taking taylor expansion of x in x
1.630 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4)))) in x
1.630 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 4)) (* 4.0 (/ 1 (pow x 3)))) in x
1.630 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.630 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.630 * [taylor]: Taking taylor expansion of y in x
1.630 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
1.630 * [taylor]: Taking taylor expansion of 4.0 in x
1.630 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.630 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.630 * [taylor]: Taking taylor expansion of x in x
1.631 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 2))) (/ 1 (pow x 4))) in x
1.631 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 2))) in x
1.631 * [taylor]: Taking taylor expansion of 4.0 in x
1.631 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.631 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.631 * [taylor]: Taking taylor expansion of x in x
1.632 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.632 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.632 * [taylor]: Taking taylor expansion of x in x
1.634 * [taylor]: Taking taylor expansion of -1 in y
1.638 * [taylor]: Taking taylor expansion of 4.0 in y
1.645 * [taylor]: Taking taylor expansion of (- 4.0) in y
1.645 * [taylor]: Taking taylor expansion of 4.0 in y
1.652 * [taylor]: Taking taylor expansion of 0 in y
1.658 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.658 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.658 * [taylor]: Taking taylor expansion of y in y
1.670 * [taylor]: Taking taylor expansion of 0 in y
1.672 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.672 * [approximate]: Taking taylor expansion of (* (pow (+ x 2.0) 2) (pow x 2)) in (x) around 0
1.672 * [taylor]: Taking taylor expansion of (* (pow (+ x 2.0) 2) (pow x 2)) in x
1.672 * [taylor]: Taking taylor expansion of (pow (+ x 2.0) 2) in x
1.672 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
1.672 * [taylor]: Taking taylor expansion of x in x
1.672 * [taylor]: Taking taylor expansion of 2.0 in x
1.673 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.673 * [taylor]: Taking taylor expansion of x in x
1.673 * [taylor]: Taking taylor expansion of (* (pow (+ x 2.0) 2) (pow x 2)) in x
1.673 * [taylor]: Taking taylor expansion of (pow (+ x 2.0) 2) in x
1.673 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
1.673 * [taylor]: Taking taylor expansion of x in x
1.673 * [taylor]: Taking taylor expansion of 2.0 in x
1.673 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.673 * [taylor]: Taking taylor expansion of x in x
1.678 * [approximate]: Taking taylor expansion of (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2)) in (x) around 0
1.678 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2)) in x
1.678 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 2.0) 2) in x
1.678 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
1.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.678 * [taylor]: Taking taylor expansion of x in x
1.679 * [taylor]: Taking taylor expansion of 2.0 in x
1.679 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.679 * [taylor]: Taking taylor expansion of x in x
1.679 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 x) 2.0) 2) (pow x 2)) in x
1.680 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 2.0) 2) in x
1.680 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
1.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.680 * [taylor]: Taking taylor expansion of x in x
1.680 * [taylor]: Taking taylor expansion of 2.0 in x
1.680 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.680 * [taylor]: Taking taylor expansion of x in x
1.688 * [approximate]: Taking taylor expansion of (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2)) in (x) around 0
1.688 * [taylor]: Taking taylor expansion of (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2)) in x
1.688 * [taylor]: Taking taylor expansion of (pow (- 2.0 (/ 1 x)) 2) in x
1.688 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
1.688 * [taylor]: Taking taylor expansion of 2.0 in x
1.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.689 * [taylor]: Taking taylor expansion of x in x
1.689 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.689 * [taylor]: Taking taylor expansion of x in x
1.690 * [taylor]: Taking taylor expansion of (/ (pow (- 2.0 (/ 1 x)) 2) (pow x 2)) in x
1.690 * [taylor]: Taking taylor expansion of (pow (- 2.0 (/ 1 x)) 2) in x
1.690 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
1.690 * [taylor]: Taking taylor expansion of 2.0 in x
1.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.690 * [taylor]: Taking taylor expansion of x in x
1.691 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.691 * [taylor]: Taking taylor expansion of x in x
1.700 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
1.700 * [approximate]: Taking taylor expansion of (- (pow y 2) (+ (pow x 2) (* 2.0 x))) in (y x) around 0
1.700 * [taylor]: Taking taylor expansion of (- (pow y 2) (+ (pow x 2) (* 2.0 x))) in x
1.700 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.700 * [taylor]: Taking taylor expansion of y in x
1.700 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
1.700 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.700 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.700 * [taylor]: Taking taylor expansion of 2.0 in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.700 * [taylor]: Taking taylor expansion of (- (pow y 2) (+ (pow x 2) (* 2.0 x))) in y
1.700 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.700 * [taylor]: Taking taylor expansion of y in y
1.700 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in y
1.700 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.701 * [taylor]: Taking taylor expansion of x in y
1.701 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
1.701 * [taylor]: Taking taylor expansion of 2.0 in y
1.701 * [taylor]: Taking taylor expansion of x in y
1.701 * [taylor]: Taking taylor expansion of (- (pow y 2) (+ (pow x 2) (* 2.0 x))) in y
1.701 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.701 * [taylor]: Taking taylor expansion of y in y
1.701 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in y
1.701 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.701 * [taylor]: Taking taylor expansion of x in y
1.701 * [taylor]: Taking taylor expansion of (* 2.0 x) in y
1.701 * [taylor]: Taking taylor expansion of 2.0 in y
1.701 * [taylor]: Taking taylor expansion of x in y
1.701 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) (* 2.0 x))) in x
1.701 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
1.701 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.701 * [taylor]: Taking taylor expansion of x in x
1.701 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.701 * [taylor]: Taking taylor expansion of 2.0 in x
1.701 * [taylor]: Taking taylor expansion of x in x
1.703 * [taylor]: Taking taylor expansion of 0 in x
1.706 * [taylor]: Taking taylor expansion of 1 in x
1.708 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x)))) in (y x) around 0
1.708 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x)))) in x
1.708 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.708 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.708 * [taylor]: Taking taylor expansion of y in x
1.708 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
1.708 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.708 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.708 * [taylor]: Taking taylor expansion of x in x
1.709 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.709 * [taylor]: Taking taylor expansion of 2.0 in x
1.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.709 * [taylor]: Taking taylor expansion of x in x
1.709 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x)))) in y
1.709 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.709 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.709 * [taylor]: Taking taylor expansion of y in y
1.710 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in y
1.710 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.710 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.710 * [taylor]: Taking taylor expansion of x in y
1.710 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
1.710 * [taylor]: Taking taylor expansion of 2.0 in y
1.710 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.710 * [taylor]: Taking taylor expansion of x in y
1.710 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x)))) in y
1.710 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.710 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.710 * [taylor]: Taking taylor expansion of y in y
1.710 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in y
1.710 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.711 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.711 * [taylor]: Taking taylor expansion of x in y
1.711 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
1.711 * [taylor]: Taking taylor expansion of 2.0 in y
1.711 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.711 * [taylor]: Taking taylor expansion of x in y
1.711 * [taylor]: Taking taylor expansion of 1 in x
1.712 * [taylor]: Taking taylor expansion of 0 in x
1.713 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x)))) in x
1.713 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
1.713 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.713 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.714 * [taylor]: Taking taylor expansion of x in x
1.714 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.714 * [taylor]: Taking taylor expansion of 2.0 in x
1.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.714 * [taylor]: Taking taylor expansion of x in x
1.717 * [taylor]: Taking taylor expansion of 0 in x
1.719 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) (/ 1 (pow x 2))) in (y x) around 0
1.719 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) (/ 1 (pow x 2))) in x
1.719 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in x
1.719 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
1.719 * [taylor]: Taking taylor expansion of (pow y 2) in x
1.719 * [taylor]: Taking taylor expansion of y in x
1.720 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.720 * [taylor]: Taking taylor expansion of 2.0 in x
1.720 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.720 * [taylor]: Taking taylor expansion of x in x
1.720 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.720 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.720 * [taylor]: Taking taylor expansion of x in x
1.720 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) (/ 1 (pow x 2))) in y
1.720 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
1.720 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.720 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.720 * [taylor]: Taking taylor expansion of y in y
1.721 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
1.721 * [taylor]: Taking taylor expansion of 2.0 in y
1.721 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.721 * [taylor]: Taking taylor expansion of x in y
1.721 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.721 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.721 * [taylor]: Taking taylor expansion of x in y
1.721 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) (/ 1 (pow x 2))) in y
1.721 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2.0 (/ 1 x))) in y
1.721 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
1.721 * [taylor]: Taking taylor expansion of (pow y 2) in y
1.721 * [taylor]: Taking taylor expansion of y in y
1.722 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y
1.722 * [taylor]: Taking taylor expansion of 2.0 in y
1.722 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.722 * [taylor]: Taking taylor expansion of x in y
1.722 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.722 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.722 * [taylor]: Taking taylor expansion of x in y
1.723 * [taylor]: Taking taylor expansion of 1 in x
1.724 * [taylor]: Taking taylor expansion of 0 in x
1.725 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (/ 1 (pow x 2))) in x
1.725 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.725 * [taylor]: Taking taylor expansion of 2.0 in x
1.725 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.725 * [taylor]: Taking taylor expansion of x in x
1.725 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.725 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.725 * [taylor]: Taking taylor expansion of x in x
1.728 * [taylor]: Taking taylor expansion of 0 in x
1.730 * * * [progress]: simplifying candidates
1.732 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (log (- (* y y) (* x (+ 2.0 x)))))
  (log (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))
  (exp (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))
  (/ (* (* (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (* (* (- (* y y) (* x (+ 2.0 x))) (- (* y y) (* x (+ 2.0 x)))) (- (* y y) (* x (+ 2.0 x)))))
  (* (cbrt (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x))))) (cbrt (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x))))))
  (cbrt (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))
  (* (* (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))) (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x))))) (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))
  (sqrt (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))
  (sqrt (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))
  (- (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (- (- (* y y) (* x (+ 2.0 x))))
  (/ 0 (- (* y y) (* x (+ 2.0 x))))
  (/ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (pow y 4)) (- (* y y) (* x (+ 2.0 x))))
  (/ (* (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))) (* (cbrt (- (* y y) (* x (+ 2.0 x)))) (cbrt (- (* y y) (* x (+ 2.0 x))))))
  (/ (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (cbrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (* (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (* (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))) 1)
  (/ (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (- (* y y) (* x (+ 2.0 x))))
  (/ (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (* (cbrt (- (* y y) (* x (+ 2.0 x)))) (cbrt (- (* y y) (* x (+ 2.0 x))))))
  (/ (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (cbrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) 1)
  (/ (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (- (* y y) (* x (+ 2.0 x))))
  (/ 1 (* (cbrt (- (* y y) (* x (+ 2.0 x)))) (cbrt (- (* y y) (* x (+ 2.0 x))))))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (cbrt (- (* y y) (* x (+ 2.0 x)))))
  (/ 1 (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (/ 1 1)
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x))))
  (/ 1 (* (cbrt (- (* y y) (* x (+ 2.0 x)))) (cbrt (- (* y y) (* x (+ 2.0 x))))))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (cbrt (- (* y y) (* x (+ 2.0 x)))))
  (/ 1 (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (/ 1 1)
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x))))
  (/ 1 (- (* y y) (* x (+ 2.0 x))))
  (/ (- (* y y) (* x (+ 2.0 x))) (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (* (cbrt (- (* y y) (* x (+ 2.0 x)))) (cbrt (- (* y y) (* x (+ 2.0 x))))))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) 1)
  (/ (- (* y y) (* x (+ 2.0 x))) (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))))
  (/ (- (* y y) (* x (+ 2.0 x))) (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))))
  (/ (- (* y y) (* x (+ 2.0 x))) (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (/ (- (* y y) (* x (+ 2.0 x))) (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3)))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* (* y y) (* y y)) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))))
  (* (- (* y y) (* x (+ 2.0 x))) (+ (* (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))) (- (* (pow y 4) (pow y 4)) (* (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))))
  (* (- (* y y) (* x (+ 2.0 x))) (- (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (* (/ 1 (exp (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))) (exp (pow y 4)))
  (* (exp (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))) (exp (pow y 4)))
  (log (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (exp (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (* (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))))
  (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (* (* (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (+ (pow (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) 3) (pow (pow y 4) 3))
  (+ (* (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))) (- (* (pow y 4) (pow y 4)) (* (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))))
  (- (* (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))) (* (pow y 4) (pow y 4)))
  (- (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))
  (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))
  (+ (- (* (* x (+ 2.0 x)) (* x x))) (pow y 4))
  (+ (- (* (* x (+ 2.0 x)) (* x x))) (pow y 4))
  (+ (- (* (* x x) (* x (+ 2.0 x)))) (pow y 4))
  (+ (- (* (* x x) (* x (+ 2.0 x)))) (pow y 4))
  (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (pow y 4))
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))
  (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))
  (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))
  (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))
  (+ 1 1)
  (+ 1 1)
  (+ (+ (log x) (log (+ 2.0 x))) (+ (log x) (log (+ 2.0 x))))
  (+ (+ (log x) (log (+ 2.0 x))) (log (* x (+ 2.0 x))))
  (+ (log (* x (+ 2.0 x))) (+ (log x) (log (+ 2.0 x))))
  (+ (log (* x (+ 2.0 x))) (log (* x (+ 2.0 x))))
  (log (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (exp (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (* (* (* (* x x) x) (* (* (+ 2.0 x) (+ 2.0 x)) (+ 2.0 x))) (* (* (* x x) x) (* (* (+ 2.0 x) (+ 2.0 x)) (+ 2.0 x))))
  (* (* (* (* x x) x) (* (* (+ 2.0 x) (+ 2.0 x)) (+ 2.0 x))) (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* x (+ 2.0 x))))
  (* (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* x (+ 2.0 x))) (* (* (* x x) x) (* (* (+ 2.0 x) (+ 2.0 x)) (+ 2.0 x))))
  (* (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* x (+ 2.0 x))) (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* x (+ 2.0 x))))
  (* (cbrt (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (cbrt (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))))
  (cbrt (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (* (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (sqrt (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (sqrt (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (* (* x (+ (pow 2.0 3) (pow x 3))) (* x (+ (pow 2.0 3) (pow x 3))))
  (* (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))) (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))
  (* (* x (+ (pow 2.0 3) (pow x 3))) (* x (- (* 2.0 2.0) (* x x))))
  (* (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))) (- 2.0 x))
  (* (* x (- (* 2.0 2.0) (* x x))) (* x (+ (pow 2.0 3) (pow x 3))))
  (* (- 2.0 x) (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))
  (* (* x (- (* 2.0 2.0) (* x x))) (* x (- (* 2.0 2.0) (* x x))))
  (* (- 2.0 x) (- 2.0 x))
  (* x x)
  (* (+ 2.0 x) (+ 2.0 x))
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* (* x (+ 2.0 x)) (* x 2.0))
  (* (* x (+ 2.0 x)) (* x x))
  (* (* x (+ 2.0 x)) (* 2.0 x))
  (* (* x (+ 2.0 x)) (* x x))
  (* (* x 2.0) (* x (+ 2.0 x)))
  (* (* x x) (* x (+ 2.0 x)))
  (* (* 2.0 x) (* x (+ 2.0 x)))
  (* (* x x) (* x (+ 2.0 x)))
  (* (* x (+ 2.0 x)) x)
  (* (+ 2.0 x) (* x (+ 2.0 x)))
  (* (* x (+ 2.0 x)) (* x (+ (pow 2.0 3) (pow x 3))))
  (* (* x (+ 2.0 x)) (* x (- (* 2.0 2.0) (* x x))))
  (* (* x (+ (pow 2.0 3) (pow x 3))) (* x (+ 2.0 x)))
  (* (* x (- (* 2.0 2.0) (* x x))) (* x (+ 2.0 x)))
  (/ (exp (* y y)) (exp (* x (+ 2.0 x))))
  (log (- (* y y) (* x (+ 2.0 x))))
  (exp (- (* y y) (* x (+ 2.0 x))))
  (* (cbrt (- (* y y) (* x (+ 2.0 x)))) (cbrt (- (* y y) (* x (+ 2.0 x)))))
  (cbrt (- (* y y) (* x (+ 2.0 x))))
  (* (* (- (* y y) (* x (+ 2.0 x))) (- (* y y) (* x (+ 2.0 x)))) (- (* y y) (* x (+ 2.0 x))))
  (sqrt (- (* y y) (* x (+ 2.0 x))))
  (sqrt (- (* y y) (* x (+ 2.0 x))))
  (- (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3))
  (+ (* (* y y) (* y y)) (+ (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* (* y y) (* x (+ 2.0 x)))))
  (- (* x (+ 2.0 x)))
  (- (* (* y y) (* y y)) (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (+ (* y y) (* x (+ 2.0 x)))
  (- (* y y) (* x 2.0))
  (- (* y y) (* 2.0 x))
  (- (* x (+ 2.0 x)))
  (+ (pow x 2) (+ (* 2.0 x) (pow y 2)))
  (+ (pow x 2) (+ (* 2.0 x) (pow y 2)))
  (+ (pow x 2) (+ (* 2.0 x) (pow y 2)))
  (- (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4))))
  (- (pow y 4) (+ (* 4.0 (pow x 3)) (pow x 4)))
  (- (pow y 4) (+ (* 4.0 (pow x 3)) (pow x 4)))
  (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))
  (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))
  (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))
  (- (pow y 2) (+ (pow x 2) (* 2.0 x)))
  (- (pow y 2) (+ (pow x 2) (* 2.0 x)))
  (- (pow y 2) (+ (pow x 2) (* 2.0 x)))
1.740 * * [simplify]: iteration  0 :  523  enodes  (cost  1343 )
1.751 * * [simplify]: iteration  1 :  2761  enodes  (cost  1176 )
1.802 * * [simplify]: iteration  2 :  5002  enodes  (cost  1160 )
1.807 * [simplify]: Simplified to:
   (log (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))
  (log (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))
  (exp (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))
  (pow (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))) 3)
  (* (cbrt (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x))))) (cbrt (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x))))))
  (cbrt (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))
  (pow (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))) 3)
  (sqrt (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))
  (sqrt (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))
  (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (pow y 4))
  (- (- (* y y) (* x (+ 2.0 x))))
  0
  (/ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (pow y 4)) (- (* y y) (* x (+ 2.0 x))))
  (/ (* (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))) (* (cbrt (- (* y y) (* x (+ 2.0 x)))) (cbrt (- (* y y) (* x (+ 2.0 x))))))
  (/ (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (cbrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (* (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (* (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))))
  (/ (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (- (* y y) (* x (+ 2.0 x))))
  (/ (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (* (cbrt (- (* y y) (* x (+ 2.0 x)))) (cbrt (- (* y y) (* x (+ 2.0 x))))))
  (/ (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (cbrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (/ (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (- (* y y) (* x (+ 2.0 x))))
  (/ 1 (* (cbrt (- (* y y) (* x (+ 2.0 x)))) (cbrt (- (* y y) (* x (+ 2.0 x))))))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (cbrt (- (* y y) (* x (+ 2.0 x)))))
  (/ 1 (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  1
  (/ (+ (* y y) (* x (+ 2.0 x))) 1)
  (/ 1 (* (cbrt (- (* y y) (* x (+ 2.0 x)))) (cbrt (- (* y y) (* x (+ 2.0 x))))))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (cbrt (- (* y y) (* x (+ 2.0 x)))))
  (/ 1 (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  1
  (/ (+ (* y y) (* x (+ 2.0 x))) 1)
  (/ 1 (- (* y y) (* x (+ 2.0 x))))
  (/ (- (* y y) (* x (+ 2.0 x))) (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (* (cbrt (- (* y y) (* x (+ 2.0 x)))) (cbrt (- (* y y) (* x (+ 2.0 x))))))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (sqrt (- (* y y) (* x (+ 2.0 x)))))
  (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))
  (/ (- (* y y) (* x (+ 2.0 x))) (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))))
  (/ (- (* y y) (* x (+ 2.0 x))) (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))))
  (/ (- (* y y) (* x (+ 2.0 x))) (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (/ (- (* y y) (* x (+ 2.0 x))) (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3)))
  1
  (* (+ (pow y 8) (+ (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (pow y 4)) (pow (* x (+ 2.0 x)) 4))) (- (* y y) (* x (+ 2.0 x))))
  (* (- (* y y) (* x (+ 2.0 x))) (- (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (exp (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (exp (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (log (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (exp (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (* (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))) (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))))
  (cbrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (pow (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) 3)
  (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (sqrt (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)))
  (- (pow (pow y 4) 3) (pow (* x (+ 2.0 x)) 6))
  (+ (pow y 8) (+ (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (pow y 4)) (pow (* x (+ 2.0 x)) 4)))
  (+ (- (pow y 8)) (pow (* x (+ 2.0 x)) 4))
  (- (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))
  (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))
  (- (pow y 4) (* (pow x 3) (+ 2.0 x)))
  (- (pow y 4) (* (pow x 3) (+ 2.0 x)))
  (- (pow y 4) (* (pow x 3) (+ 2.0 x)))
  (- (pow y 4) (* (pow x 3) (+ 2.0 x)))
  (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (pow y 4))
  2
  2
  2
  2
  (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))
  (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))
  (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))
  (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))
  2
  2
  (* 2 (log (* x (+ 2.0 x))))
  (* 2 (log (* x (+ 2.0 x))))
  (* 2 (log (* x (+ 2.0 x))))
  (* 2 (log (* x (+ 2.0 x))))
  (* 2 (log (* x (+ 2.0 x))))
  (exp (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (pow (* x (+ 2.0 x)) 6)
  (pow (* x (+ 2.0 x)) 6)
  (pow (* x (+ 2.0 x)) 6)
  (pow (* x (+ 2.0 x)) 6)
  (* (cbrt (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (cbrt (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))))
  (cbrt (* (* x (+ 2.0 x)) (* x (+ 2.0 x))))
  (pow (* x (+ 2.0 x)) 6)
  (fabs (* x (+ 2.0 x)))
  (fabs (* x (+ 2.0 x)))
  (* (* x (+ (pow 2.0 3) (pow x 3))) (* x (+ (pow 2.0 3) (pow x 3))))
  (* (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))) (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))
  (* (* x (+ (pow 2.0 3) (pow x 3))) (* x (- (* 2.0 2.0) (* x x))))
  (* (- 2.0 x) (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))
  (* (* x (+ (pow 2.0 3) (pow x 3))) (* x (- (* 2.0 2.0) (* x x))))
  (* (- 2.0 x) (+ (* 2.0 2.0) (- (* x x) (* 2.0 x))))
  (* (* x (- (* 2.0 2.0) (* x x))) (* x (- (* 2.0 2.0) (* x x))))
  (* (- 2.0 x) (- 2.0 x))
  (pow x 2)
  (* (+ 2.0 x) (+ 2.0 x))
  2
  2
  2
  2
  (* (* x (+ 2.0 x)) (* 2.0 x))
  (* (pow x 3) (+ 2.0 x))
  (* (* x (+ 2.0 x)) (* 2.0 x))
  (* (pow x 3) (+ 2.0 x))
  (* (* x (+ 2.0 x)) (* 2.0 x))
  (* (pow x 3) (+ 2.0 x))
  (* (* x (+ 2.0 x)) (* 2.0 x))
  (* (pow x 3) (+ 2.0 x))
  (* (* x (+ 2.0 x)) x)
  (* (+ 2.0 x) (* x (+ 2.0 x)))
  (* (* x (+ 2.0 x)) (* x (+ (pow 2.0 3) (pow x 3))))
  (* (* x (+ 2.0 x)) (* x (- (* 2.0 2.0) (* x x))))
  (* (* x (+ 2.0 x)) (* x (+ (pow 2.0 3) (pow x 3))))
  (* (* x (+ 2.0 x)) (* x (- (* 2.0 2.0) (* x x))))
  (exp (- (* y y) (* x (+ 2.0 x))))
  (log (- (* y y) (* x (+ 2.0 x))))
  (exp (- (* y y) (* x (+ 2.0 x))))
  (* (cbrt (- (* y y) (* x (+ 2.0 x)))) (cbrt (- (* y y) (* x (+ 2.0 x)))))
  (cbrt (- (* y y) (* x (+ 2.0 x))))
  (pow (- (* y y) (* x (+ 2.0 x))) 3)
  (sqrt (- (* y y) (* x (+ 2.0 x))))
  (sqrt (- (* y y) (* x (+ 2.0 x))))
  (- (pow (* y y) 3) (pow (* x (+ 2.0 x)) 3))
  (+ (* (* x (+ 2.0 x)) (+ (* x (+ 2.0 x)) (pow y 2))) (* (* y y) (* y y)))
  (- (* x (+ 2.0 x)))
  (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4))
  (+ (* y y) (* x (+ 2.0 x)))
  (- (* y y) (* 2.0 x))
  (- (* y y) (* 2.0 x))
  (- (* x (+ 2.0 x)))
  (+ (* y y) (* x (+ 2.0 x)))
  (+ (* y y) (* x (+ 2.0 x)))
  (+ (* y y) (* x (+ 2.0 x)))
  (- (+ (* 4.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4))))
  (- (pow y 4) (+ (* 4.0 (pow x 3)) (pow x 4)))
  (- (pow y 4) (+ (* 4.0 (pow x 3)) (pow x 4)))
  (+ (pow x 4) (* 4.0 (+ (pow x 2) (pow x 3))))
  (+ (pow x 4) (* 4.0 (+ (pow x 2) (pow x 3))))
  (+ (pow x 4) (* 4.0 (+ (pow x 2) (pow x 3))))
  (- (* y y) (* x (+ 2.0 x)))
  (- (* y y) (* x (+ 2.0 x)))
  (- (* y y) (* x (+ 2.0 x)))
1.808 * * * [progress]: adding candidates to table
2.048 * [progress]: [Phase 3 of 3] Extracting.
2.049 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))> #<alt (λ (x y) (+ (* y y) (* x (+ 2.0 x))))> #<alt (λ (x y) (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))> #<alt (λ (x y) (+ (* y y) (* (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))))))>)
2.049 * * * [regime-changes]: Trying 3 branch expressions: ((* y y) y x)
2.049 * * * * [regimes]: Trying to branch on (* y y) from (#<alt (λ (x y) (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))> #<alt (λ (x y) (+ (* y y) (* x (+ 2.0 x))))> #<alt (λ (x y) (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))> #<alt (λ (x y) (+ (* y y) (* (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))))))>)
2.064 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))> #<alt (λ (x y) (+ (* y y) (* x (+ 2.0 x))))> #<alt (λ (x y) (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))> #<alt (λ (x y) (+ (* y y) (* (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))))))>)
2.081 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ (* y y) (cbrt (pow (* x (+ 2.0 x)) 3))))> #<alt (λ (x y) (+ (* y y) (* x (+ 2.0 x))))> #<alt (λ (x y) (/ (+ (- (* (* x (+ 2.0 x)) (* x (+ 2.0 x)))) (pow y 4)) (- (* y y) (* x (+ 2.0 x)))))> #<alt (λ (x y) (+ (* y y) (* (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x)))) (cbrt (* x (+ 2.0 x))))))>)
2.099 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.100 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* y y) (* x (+ 2.0 x)))
2.100 * * [simplify]: iteration  0 :  10  enodes  (cost  4 )
2.101 * * [simplify]: iteration  1 :  10  enodes  (cost  4 )
2.101 * [simplify]: Simplified to:
   (+ (* y y) (* x (+ 2.0 x)))
2.824 * [regime-testing]: Baseline error score: 0.015200020315129537
2.825 * [regime-testing]: Oracle error score: 0.010574442117854877
2.826 * [regime-testing]: End program error score: 0.015200020315129537
2.843 * [regime-testing]: Target error score: 0.013397915364600865