56.598 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.026 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.028 * [simplify]: Simplifying:
  (* (* (* x 3.0) y) y)
0.028 * * [simplify]: Extracting # 0 : cost  0
0.028 * * [simplify]: Extracting # 1 : cost  0
0.029 * * [simplify]: Extracting # 2 : cost  0
0.029 * * [simplify]: Extracting # 3 : cost  0
0.029 * * [simplify]: Extracting # 4 : cost  0
0.029 * * [simplify]: Extracting # 5 : cost  0
0.029 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.031 * * [simplify]: Extracting # 0 : cost  0
0.031 * * [simplify]: Extracting # 1 : cost  0
0.031 * * [simplify]: Extracting # 2 : cost  0
0.031 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
0.035 * * [simplify]: Extracting # 0 : cost  0
0.035 * * [simplify]: Extracting # 1 : cost  0
0.035 * * [simplify]: Extracting # 2 : cost  0
0.035 * * [simplify]: iteration  2 :  28  enodes  (cost  7 )
0.045 * * [simplify]: Extracting # 0 : cost  0
0.045 * * [simplify]: Extracting # 1 : cost  0
0.045 * * [simplify]: Extracting # 2 : cost  0
0.045 * * [simplify]: iteration  3 :  42  enodes  (cost  7 )
0.057 * * [simplify]: Extracting # 0 : cost  0
0.058 * * [simplify]: iteration done:  42  enodes  (cost  7 )
0.058 * [simplify]: Simplified to:
  (* (* (* x 3.0) y) y)
0.058 * * [progress]: iteration 1 / 4
0.058 * * * [progress]: picking best candidate
0.060 * * * * [pick]: Picked  #<alt (λ (x y) (* (* (* x 3.0) y) y))>
0.060 * * * [progress]: localizing error
0.069 * * * [progress]: generating rewritten candidates
0.070 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.109 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.195 * * * [progress]: generating series expansions
0.195 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.195 * [backup-simplify]: Simplify (* (* x 3.0) y) into (* 3.0 (* x y))
0.196 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0
0.196 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y
0.196 * [taylor]: Taking taylor expansion of 3.0 in y
0.196 * [backup-simplify]: Simplify 3.0 into 3.0
0.196 * [taylor]: Taking taylor expansion of (* x y) in y
0.196 * [taylor]: Taking taylor expansion of x in y
0.196 * [backup-simplify]: Simplify x into x
0.196 * [taylor]: Taking taylor expansion of y in y
0.196 * [backup-simplify]: Simplify 0 into 0
0.196 * [backup-simplify]: Simplify 1 into 1
0.196 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
0.196 * [taylor]: Taking taylor expansion of 3.0 in x
0.196 * [backup-simplify]: Simplify 3.0 into 3.0
0.196 * [taylor]: Taking taylor expansion of (* x y) in x
0.196 * [taylor]: Taking taylor expansion of x in x
0.196 * [backup-simplify]: Simplify 0 into 0
0.196 * [backup-simplify]: Simplify 1 into 1
0.196 * [taylor]: Taking taylor expansion of y in x
0.196 * [backup-simplify]: Simplify y into y
0.196 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
0.196 * [taylor]: Taking taylor expansion of 3.0 in x
0.196 * [backup-simplify]: Simplify 3.0 into 3.0
0.196 * [taylor]: Taking taylor expansion of (* x y) in x
0.196 * [taylor]: Taking taylor expansion of x in x
0.196 * [backup-simplify]: Simplify 0 into 0
0.196 * [backup-simplify]: Simplify 1 into 1
0.196 * [taylor]: Taking taylor expansion of y in x
0.196 * [backup-simplify]: Simplify y into y
0.196 * [backup-simplify]: Simplify (* 0 y) into 0
0.197 * [backup-simplify]: Simplify (* 3.0 0) into 0
0.197 * [taylor]: Taking taylor expansion of 0 in y
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.198 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 0)) into (* 3.0 y)
0.198 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
0.198 * [taylor]: Taking taylor expansion of 3.0 in y
0.198 * [backup-simplify]: Simplify 3.0 into 3.0
0.198 * [taylor]: Taking taylor expansion of y in y
0.198 * [backup-simplify]: Simplify 0 into 0
0.198 * [backup-simplify]: Simplify 1 into 1
0.199 * [backup-simplify]: Simplify (* 3.0 0) into 0
0.199 * [backup-simplify]: Simplify 0 into 0
0.199 * [backup-simplify]: Simplify 0 into 0
0.200 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.201 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 0))) into 0
0.201 * [taylor]: Taking taylor expansion of 0 in y
0.201 * [backup-simplify]: Simplify 0 into 0
0.201 * [backup-simplify]: Simplify 0 into 0
0.202 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
0.202 * [backup-simplify]: Simplify 3.0 into 3.0
0.203 * [backup-simplify]: Simplify 0 into 0
0.208 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.209 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
0.209 * [taylor]: Taking taylor expansion of 0 in y
0.209 * [backup-simplify]: Simplify 0 into 0
0.209 * [backup-simplify]: Simplify 0 into 0
0.209 * [backup-simplify]: Simplify 0 into 0
0.210 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
0.210 * [backup-simplify]: Simplify 0 into 0
0.210 * [backup-simplify]: Simplify 0 into 0
0.212 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.213 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
0.214 * [taylor]: Taking taylor expansion of 0 in y
0.214 * [backup-simplify]: Simplify 0 into 0
0.214 * [backup-simplify]: Simplify 0 into 0
0.214 * [backup-simplify]: Simplify (* 3.0 (* y x)) into (* 3.0 (* x y))
0.214 * [backup-simplify]: Simplify (* (* (/ 1 x) 3.0) (/ 1 y)) into (/ 3.0 (* x y))
0.214 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0
0.214 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
0.214 * [taylor]: Taking taylor expansion of 3.0 in y
0.214 * [backup-simplify]: Simplify 3.0 into 3.0
0.214 * [taylor]: Taking taylor expansion of (* x y) in y
0.214 * [taylor]: Taking taylor expansion of x in y
0.214 * [backup-simplify]: Simplify x into x
0.214 * [taylor]: Taking taylor expansion of y in y
0.214 * [backup-simplify]: Simplify 0 into 0
0.214 * [backup-simplify]: Simplify 1 into 1
0.215 * [backup-simplify]: Simplify (* x 0) into 0
0.215 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.215 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
0.215 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
0.215 * [taylor]: Taking taylor expansion of 3.0 in x
0.215 * [backup-simplify]: Simplify 3.0 into 3.0
0.215 * [taylor]: Taking taylor expansion of (* x y) in x
0.215 * [taylor]: Taking taylor expansion of x in x
0.215 * [backup-simplify]: Simplify 0 into 0
0.215 * [backup-simplify]: Simplify 1 into 1
0.215 * [taylor]: Taking taylor expansion of y in x
0.215 * [backup-simplify]: Simplify y into y
0.215 * [backup-simplify]: Simplify (* 0 y) into 0
0.216 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.216 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
0.216 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
0.216 * [taylor]: Taking taylor expansion of 3.0 in x
0.216 * [backup-simplify]: Simplify 3.0 into 3.0
0.216 * [taylor]: Taking taylor expansion of (* x y) in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.216 * [backup-simplify]: Simplify 0 into 0
0.216 * [backup-simplify]: Simplify 1 into 1
0.216 * [taylor]: Taking taylor expansion of y in x
0.216 * [backup-simplify]: Simplify y into y
0.216 * [backup-simplify]: Simplify (* 0 y) into 0
0.217 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.217 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
0.217 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.217 * [taylor]: Taking taylor expansion of 3.0 in y
0.217 * [backup-simplify]: Simplify 3.0 into 3.0
0.217 * [taylor]: Taking taylor expansion of y in y
0.217 * [backup-simplify]: Simplify 0 into 0
0.217 * [backup-simplify]: Simplify 1 into 1
0.217 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.217 * [backup-simplify]: Simplify 3.0 into 3.0
0.218 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.218 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0
0.218 * [taylor]: Taking taylor expansion of 0 in y
0.218 * [backup-simplify]: Simplify 0 into 0
0.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.219 * [backup-simplify]: Simplify 0 into 0
0.220 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.221 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.221 * [taylor]: Taking taylor expansion of 0 in y
0.221 * [backup-simplify]: Simplify 0 into 0
0.221 * [backup-simplify]: Simplify 0 into 0
0.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.222 * [backup-simplify]: Simplify 0 into 0
0.223 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.224 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.224 * [taylor]: Taking taylor expansion of 0 in y
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 0 into 0
0.224 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.225 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 3.0 (* x y))
0.226 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 3.0) (/ 1 (- y))) into (/ 3.0 (* x y))
0.226 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0
0.226 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
0.226 * [taylor]: Taking taylor expansion of 3.0 in y
0.226 * [backup-simplify]: Simplify 3.0 into 3.0
0.226 * [taylor]: Taking taylor expansion of (* x y) in y
0.226 * [taylor]: Taking taylor expansion of x in y
0.226 * [backup-simplify]: Simplify x into x
0.226 * [taylor]: Taking taylor expansion of y in y
0.226 * [backup-simplify]: Simplify 0 into 0
0.226 * [backup-simplify]: Simplify 1 into 1
0.226 * [backup-simplify]: Simplify (* x 0) into 0
0.226 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
0.226 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
0.227 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
0.227 * [taylor]: Taking taylor expansion of 3.0 in x
0.227 * [backup-simplify]: Simplify 3.0 into 3.0
0.227 * [taylor]: Taking taylor expansion of (* x y) in x
0.227 * [taylor]: Taking taylor expansion of x in x
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [taylor]: Taking taylor expansion of y in x
0.227 * [backup-simplify]: Simplify y into y
0.227 * [backup-simplify]: Simplify (* 0 y) into 0
0.227 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.227 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
0.227 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
0.227 * [taylor]: Taking taylor expansion of 3.0 in x
0.227 * [backup-simplify]: Simplify 3.0 into 3.0
0.227 * [taylor]: Taking taylor expansion of (* x y) in x
0.227 * [taylor]: Taking taylor expansion of x in x
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [taylor]: Taking taylor expansion of y in x
0.227 * [backup-simplify]: Simplify y into y
0.227 * [backup-simplify]: Simplify (* 0 y) into 0
0.228 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
0.228 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
0.228 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
0.228 * [taylor]: Taking taylor expansion of 3.0 in y
0.228 * [backup-simplify]: Simplify 3.0 into 3.0
0.228 * [taylor]: Taking taylor expansion of y in y
0.228 * [backup-simplify]: Simplify 0 into 0
0.228 * [backup-simplify]: Simplify 1 into 1
0.228 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.228 * [backup-simplify]: Simplify 3.0 into 3.0
0.229 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
0.229 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0
0.229 * [taylor]: Taking taylor expansion of 0 in y
0.229 * [backup-simplify]: Simplify 0 into 0
0.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.230 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
0.231 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.231 * [taylor]: Taking taylor expansion of 0 in y
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.231 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.233 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.233 * [taylor]: Taking taylor expansion of 0 in y
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.234 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x y))
0.234 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.234 * [backup-simplify]: Simplify (* (* (* x 3.0) y) y) into (* 3.0 (* x (pow y 2)))
0.234 * [approximate]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in (x y) around 0
0.234 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in y
0.234 * [taylor]: Taking taylor expansion of 3.0 in y
0.234 * [backup-simplify]: Simplify 3.0 into 3.0
0.234 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.234 * [taylor]: Taking taylor expansion of x in y
0.234 * [backup-simplify]: Simplify x into x
0.234 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.234 * [taylor]: Taking taylor expansion of y in y
0.234 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify 1 into 1
0.234 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
0.234 * [taylor]: Taking taylor expansion of 3.0 in x
0.234 * [backup-simplify]: Simplify 3.0 into 3.0
0.234 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.234 * [taylor]: Taking taylor expansion of x in x
0.234 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify 1 into 1
0.234 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.234 * [taylor]: Taking taylor expansion of y in x
0.234 * [backup-simplify]: Simplify y into y
0.234 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
0.234 * [taylor]: Taking taylor expansion of 3.0 in x
0.234 * [backup-simplify]: Simplify 3.0 into 3.0
0.234 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.235 * [taylor]: Taking taylor expansion of x in x
0.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify 1 into 1
0.235 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.235 * [taylor]: Taking taylor expansion of y in x
0.235 * [backup-simplify]: Simplify y into y
0.235 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.235 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
0.235 * [backup-simplify]: Simplify (* 3.0 0) into 0
0.235 * [taylor]: Taking taylor expansion of 0 in y
0.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
0.236 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
0.236 * [backup-simplify]: Simplify (+ (* 3.0 (pow y 2)) (* 0 0)) into (* 3.0 (pow y 2))
0.236 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y
0.236 * [taylor]: Taking taylor expansion of 3.0 in y
0.236 * [backup-simplify]: Simplify 3.0 into 3.0
0.236 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.236 * [taylor]: Taking taylor expansion of y in y
0.236 * [backup-simplify]: Simplify 0 into 0
0.236 * [backup-simplify]: Simplify 1 into 1
0.237 * [backup-simplify]: Simplify (* 1 1) into 1
0.237 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
0.237 * [backup-simplify]: Simplify 3.0 into 3.0
0.237 * [backup-simplify]: Simplify 0 into 0
0.237 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
0.238 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
0.239 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (pow y 2)) (* 0 0))) into 0
0.239 * [taylor]: Taking taylor expansion of 0 in y
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify 0 into 0
0.239 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.240 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify 0 into 0
0.240 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.241 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
0.242 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (pow y 2)) (* 0 0)))) into 0
0.242 * [taylor]: Taking taylor expansion of 0 in y
0.242 * [backup-simplify]: Simplify 0 into 0
0.242 * [backup-simplify]: Simplify 0 into 0
0.242 * [backup-simplify]: Simplify 0 into 0
0.243 * [backup-simplify]: Simplify (* 3.0 (* (pow y 2) x)) into (* 3.0 (* x (pow y 2)))
0.243 * [backup-simplify]: Simplify (* (* (* (/ 1 x) 3.0) (/ 1 y)) (/ 1 y)) into (/ 3.0 (* x (pow y 2)))
0.243 * [approximate]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in (x y) around 0
0.243 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in y
0.243 * [taylor]: Taking taylor expansion of 3.0 in y
0.243 * [backup-simplify]: Simplify 3.0 into 3.0
0.243 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.243 * [taylor]: Taking taylor expansion of x in y
0.243 * [backup-simplify]: Simplify x into x
0.243 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.243 * [taylor]: Taking taylor expansion of y in y
0.243 * [backup-simplify]: Simplify 0 into 0
0.243 * [backup-simplify]: Simplify 1 into 1
0.243 * [backup-simplify]: Simplify (* 1 1) into 1
0.243 * [backup-simplify]: Simplify (* x 1) into x
0.243 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
0.243 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
0.243 * [taylor]: Taking taylor expansion of 3.0 in x
0.243 * [backup-simplify]: Simplify 3.0 into 3.0
0.243 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.243 * [taylor]: Taking taylor expansion of x in x
0.243 * [backup-simplify]: Simplify 0 into 0
0.243 * [backup-simplify]: Simplify 1 into 1
0.243 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.243 * [taylor]: Taking taylor expansion of y in x
0.243 * [backup-simplify]: Simplify y into y
0.244 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.244 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
0.244 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
0.244 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
0.244 * [backup-simplify]: Simplify (/ 3.0 (pow y 2)) into (/ 3.0 (pow y 2))
0.244 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
0.244 * [taylor]: Taking taylor expansion of 3.0 in x
0.244 * [backup-simplify]: Simplify 3.0 into 3.0
0.244 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.244 * [taylor]: Taking taylor expansion of x in x
0.244 * [backup-simplify]: Simplify 0 into 0
0.244 * [backup-simplify]: Simplify 1 into 1
0.244 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.244 * [taylor]: Taking taylor expansion of y in x
0.244 * [backup-simplify]: Simplify y into y
0.245 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.245 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
0.245 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
0.245 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
0.245 * [backup-simplify]: Simplify (/ 3.0 (pow y 2)) into (/ 3.0 (pow y 2))
0.245 * [taylor]: Taking taylor expansion of (/ 3.0 (pow y 2)) in y
0.245 * [taylor]: Taking taylor expansion of 3.0 in y
0.245 * [backup-simplify]: Simplify 3.0 into 3.0
0.245 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.245 * [taylor]: Taking taylor expansion of y in y
0.245 * [backup-simplify]: Simplify 0 into 0
0.245 * [backup-simplify]: Simplify 1 into 1
0.246 * [backup-simplify]: Simplify (* 1 1) into 1
0.246 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
0.246 * [backup-simplify]: Simplify 3.0 into 3.0
0.246 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
0.247 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
0.247 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))))) into 0
0.247 * [taylor]: Taking taylor expansion of 0 in y
0.247 * [backup-simplify]: Simplify 0 into 0
0.248 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
0.248 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.250 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
0.250 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
0.250 * [taylor]: Taking taylor expansion of 0 in y
0.250 * [backup-simplify]: Simplify 0 into 0
0.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.252 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.252 * [backup-simplify]: Simplify 0 into 0
0.253 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.254 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
0.254 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
0.254 * [taylor]: Taking taylor expansion of 0 in y
0.255 * [backup-simplify]: Simplify 0 into 0
0.255 * [backup-simplify]: Simplify 0 into 0
0.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.256 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.256 * [backup-simplify]: Simplify 0 into 0
0.257 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
0.259 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0
0.259 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
0.259 * [taylor]: Taking taylor expansion of 0 in y
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify 0 into 0
0.259 * [backup-simplify]: Simplify (* 3.0 (* (pow (/ 1 y) -2) (/ 1 (/ 1 x)))) into (* 3.0 (* x (pow y 2)))
0.260 * [backup-simplify]: Simplify (* (* (* (/ 1 (- x)) 3.0) (/ 1 (- y))) (/ 1 (- y))) into (/ -3.0 (* x (pow y 2)))
0.260 * [approximate]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in (x y) around 0
0.260 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in y
0.260 * [taylor]: Taking taylor expansion of -3.0 in y
0.260 * [backup-simplify]: Simplify -3.0 into -3.0
0.260 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
0.260 * [taylor]: Taking taylor expansion of x in y
0.260 * [backup-simplify]: Simplify x into x
0.260 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.260 * [taylor]: Taking taylor expansion of y in y
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 1 into 1
0.260 * [backup-simplify]: Simplify (* 1 1) into 1
0.260 * [backup-simplify]: Simplify (* x 1) into x
0.260 * [backup-simplify]: Simplify (/ -3.0 x) into (/ -3.0 x)
0.260 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
0.260 * [taylor]: Taking taylor expansion of -3.0 in x
0.260 * [backup-simplify]: Simplify -3.0 into -3.0
0.260 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.260 * [backup-simplify]: Simplify 0 into 0
0.260 * [backup-simplify]: Simplify 1 into 1
0.260 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [backup-simplify]: Simplify y into y
0.261 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.261 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
0.261 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
0.261 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
0.261 * [backup-simplify]: Simplify (/ -3.0 (pow y 2)) into (/ -3.0 (pow y 2))
0.261 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
0.261 * [taylor]: Taking taylor expansion of -3.0 in x
0.261 * [backup-simplify]: Simplify -3.0 into -3.0
0.261 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.261 * [backup-simplify]: Simplify 0 into 0
0.261 * [backup-simplify]: Simplify 1 into 1
0.261 * [taylor]: Taking taylor expansion of (pow y 2) in x
0.261 * [taylor]: Taking taylor expansion of y in x
0.261 * [backup-simplify]: Simplify y into y
0.261 * [backup-simplify]: Simplify (* y y) into (pow y 2)
0.262 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
0.262 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
0.262 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
0.262 * [backup-simplify]: Simplify (/ -3.0 (pow y 2)) into (/ -3.0 (pow y 2))
0.262 * [taylor]: Taking taylor expansion of (/ -3.0 (pow y 2)) in y
0.262 * [taylor]: Taking taylor expansion of -3.0 in y
0.262 * [backup-simplify]: Simplify -3.0 into -3.0
0.262 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.262 * [taylor]: Taking taylor expansion of y in y
0.262 * [backup-simplify]: Simplify 0 into 0
0.262 * [backup-simplify]: Simplify 1 into 1
0.263 * [backup-simplify]: Simplify (* 1 1) into 1
0.263 * [backup-simplify]: Simplify (/ -3.0 1) into -3.0
0.263 * [backup-simplify]: Simplify -3.0 into -3.0
0.263 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
0.264 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
0.264 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))))) into 0
0.264 * [taylor]: Taking taylor expansion of 0 in y
0.264 * [backup-simplify]: Simplify 0 into 0
0.265 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.266 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)))) into 0
0.266 * [backup-simplify]: Simplify 0 into 0
0.266 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
0.267 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
0.268 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
0.268 * [taylor]: Taking taylor expansion of 0 in y
0.268 * [backup-simplify]: Simplify 0 into 0
0.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.269 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.269 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
0.271 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
0.272 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
0.272 * [taylor]: Taking taylor expansion of 0 in y
0.272 * [backup-simplify]: Simplify 0 into 0
0.272 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.273 * [backup-simplify]: Simplify 0 into 0
0.274 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
0.276 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0
0.276 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
0.276 * [taylor]: Taking taylor expansion of 0 in y
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 0 into 0
0.277 * [backup-simplify]: Simplify (* -3.0 (* (pow (/ 1 (- y)) -2) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x (pow y 2)))
0.277 * * * [progress]: simplifying candidates
0.277 * [simplify]: Simplifying:
  (expm1 (* (* x 3.0) y))
  (log1p (* (* x 3.0) y))
  (* (* x 3.0) y)
  (* (* x 3.0) y)
  (+ (+ (log x) (log 3.0)) (log y))
  (+ (log (* x 3.0)) (log y))
  (log (* (* x 3.0) y))
  (exp (* (* x 3.0) y))
  (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* y y) y))
  (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* y y) y))
  (* (cbrt (* (* x 3.0) y)) (cbrt (* (* x 3.0) y)))
  (cbrt (* (* x 3.0) y))
  (* (* (* (* x 3.0) y) (* (* x 3.0) y)) (* (* x 3.0) y))
  (sqrt (* (* x 3.0) y))
  (sqrt (* (* x 3.0) y))
  (* (* x 3.0) (* (cbrt y) (cbrt y)))
  (* (* x 3.0) (sqrt y))
  (* (* x 3.0) 1)
  (* 3.0 y)
  (expm1 (* (* (* x 3.0) y) y))
  (log1p (* (* (* x 3.0) y) y))
  (* (* (* x 3.0) y) y)
  (* (* (* x 3.0) y) y)
  (* (* (* x 3.0) y) y)
  (+ (+ (+ (log x) (log 3.0)) (log y)) (log y))
  (+ (+ (log (* x 3.0)) (log y)) (log y))
  (+ (log (* (* x 3.0) y)) (log y))
  (log (* (* (* x 3.0) y) y))
  (exp (* (* (* x 3.0) y) y))
  (* (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* y y) y)) (* (* y y) y))
  (* (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* y y) y)) (* (* y y) y))
  (* (* (* (* (* x 3.0) y) (* (* x 3.0) y)) (* (* x 3.0) y)) (* (* y y) y))
  (* (cbrt (* (* (* x 3.0) y) y)) (cbrt (* (* (* x 3.0) y) y)))
  (cbrt (* (* (* x 3.0) y) y))
  (* (* (* (* (* x 3.0) y) y) (* (* (* x 3.0) y) y)) (* (* (* x 3.0) y) y))
  (sqrt (* (* (* x 3.0) y) y))
  (sqrt (* (* (* x 3.0) y) y))
  (* (* (* x 3.0) y) (* (cbrt y) (cbrt y)))
  (* (* (* x 3.0) y) (sqrt y))
  (* (* (* x 3.0) y) 1)
  (* y y)
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
0.278 * * [simplify]: Extracting # 0 : cost  0
0.278 * * [simplify]: Extracting # 1 : cost  0
0.278 * * [simplify]: Extracting # 2 : cost  0
0.279 * * [simplify]: Extracting # 3 : cost  0
0.279 * * [simplify]: Extracting # 4 : cost  0
0.279 * * [simplify]: Extracting # 5 : cost  0
0.279 * * [simplify]: Extracting # 6 : cost  0
0.279 * * [simplify]: Extracting # 7 : cost  0
0.279 * * [simplify]: iteration  0 :  65  enodes  (cost  435 )
0.295 * * [simplify]: Extracting # 0 : cost  0
0.295 * * [simplify]: Extracting # 1 : cost  0
0.296 * * [simplify]: Extracting # 2 : cost  0
0.296 * * [simplify]: iteration  1 :  169  enodes  (cost  422 )
0.420 * * [simplify]: Extracting # 0 : cost  0
0.422 * * [simplify]: Extracting # 1 : cost  0
0.423 * * [simplify]: Extracting # 2 : cost  0
0.424 * * [simplify]: Extracting # 3 : cost  0
0.424 * * [simplify]: Extracting # 4 : cost  0
0.425 * * [simplify]: Extracting # 5 : cost  0
0.426 * * [simplify]: iteration  2 :  751  enodes  (cost  336 )
2.151 * * [simplify]: Extracting # 0 : cost  0
2.157 * * [simplify]: Extracting # 1 : cost  0
2.162 * * [simplify]: Extracting # 2 : cost  0
2.166 * * [simplify]: Extracting # 3 : cost  0
2.171 * * [simplify]: Extracting # 4 : cost  0
2.175 * * [simplify]: iteration  3 :  3002  enodes  (cost  336 )
5.424 * * [simplify]: Extracting # 0 : cost  0
5.441 * * [simplify]: Extracting # 1 : cost  0
5.449 * * [simplify]: Extracting # 2 : cost  0
5.457 * * [simplify]: Extracting # 3 : cost  0
5.467 * * [simplify]: Extracting # 4 : cost  0
5.475 * * [simplify]: iteration done:  5000  enodes  (cost  336 )
5.476 * [simplify]: Simplified to:
  (expm1 (* (* x 3.0) y))
  (log1p (* (* x 3.0) y))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (log (* (* x 3.0) y))
  (log (* (* x 3.0) y))
  (log (* (* x 3.0) y))
  (exp (* (* x 3.0) y))
  (pow (* 3.0 (* x y)) 3)
  (pow (* 3.0 (* x y)) 3)
  (* (cbrt (* (* x 3.0) y)) (cbrt (* (* x 3.0) y)))
  (cbrt (* (* x 3.0) y))
  (pow (* 3.0 (* x y)) 3)
  (sqrt (* (* x 3.0) y))
  (sqrt (* (* x 3.0) y))
  (* (* x 3.0) (* (cbrt y) (cbrt y)))
  (* (* x 3.0) (sqrt y))
  (* x 3.0)
  (* y 3.0)
  (expm1 (* (* (* x 3.0) y) y))
  (log1p (* (* (* x 3.0) y) y))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (log (* 3.0 (* x (pow y 2))))
  (log (* 3.0 (* x (pow y 2))))
  (log (* 3.0 (* x (pow y 2))))
  (log (* 3.0 (* x (pow y 2))))
  (exp (* (* (* x 3.0) y) y))
  (pow (* 3.0 (* x (pow y 2))) 3)
  (pow (* 3.0 (* x (pow y 2))) 3)
  (pow (* 3.0 (* x (pow y 2))) 3)
  (* (cbrt (* (* (* x 3.0) y) y)) (cbrt (* (* (* x 3.0) y) y)))
  (cbrt (* (* (* x 3.0) y) y))
  (pow (* 3.0 (* x (pow y 2))) 3)
  (sqrt (* (* (* x 3.0) y) y))
  (sqrt (* (* (* x 3.0) y) y))
  (* (* (* x 3.0) y) (* (cbrt y) (cbrt y)))
  (* (* (* x 3.0) y) (sqrt y))
  (* 3.0 (* x y))
  (* y y)
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
5.476 * * * [progress]: adding candidates to table
5.588 * * [progress]: iteration 2 / 4
5.589 * * * [progress]: picking best candidate
5.607 * * * * [pick]: Picked  #<alt (λ (x y) (* (* x (* y 3.0)) y))>
5.608 * * * [progress]: localizing error
5.618 * * * [progress]: generating rewritten candidates
5.618 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
5.648 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.698 * * * [progress]: generating series expansions
5.698 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
5.698 * [backup-simplify]: Simplify (* x (* y 3.0)) into (* 3.0 (* x y))
5.698 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0
5.698 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y
5.698 * [taylor]: Taking taylor expansion of 3.0 in y
5.698 * [backup-simplify]: Simplify 3.0 into 3.0
5.698 * [taylor]: Taking taylor expansion of (* x y) in y
5.698 * [taylor]: Taking taylor expansion of x in y
5.698 * [backup-simplify]: Simplify x into x
5.698 * [taylor]: Taking taylor expansion of y in y
5.698 * [backup-simplify]: Simplify 0 into 0
5.698 * [backup-simplify]: Simplify 1 into 1
5.699 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
5.699 * [taylor]: Taking taylor expansion of 3.0 in x
5.699 * [backup-simplify]: Simplify 3.0 into 3.0
5.699 * [taylor]: Taking taylor expansion of (* x y) in x
5.699 * [taylor]: Taking taylor expansion of x in x
5.699 * [backup-simplify]: Simplify 0 into 0
5.699 * [backup-simplify]: Simplify 1 into 1
5.699 * [taylor]: Taking taylor expansion of y in x
5.699 * [backup-simplify]: Simplify y into y
5.699 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
5.699 * [taylor]: Taking taylor expansion of 3.0 in x
5.699 * [backup-simplify]: Simplify 3.0 into 3.0
5.699 * [taylor]: Taking taylor expansion of (* x y) in x
5.699 * [taylor]: Taking taylor expansion of x in x
5.699 * [backup-simplify]: Simplify 0 into 0
5.699 * [backup-simplify]: Simplify 1 into 1
5.699 * [taylor]: Taking taylor expansion of y in x
5.699 * [backup-simplify]: Simplify y into y
5.699 * [backup-simplify]: Simplify (* 0 y) into 0
5.699 * [backup-simplify]: Simplify (* 3.0 0) into 0
5.699 * [taylor]: Taking taylor expansion of 0 in y
5.700 * [backup-simplify]: Simplify 0 into 0
5.700 * [backup-simplify]: Simplify 0 into 0
5.700 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.700 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 0)) into (* 3.0 y)
5.700 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
5.700 * [taylor]: Taking taylor expansion of 3.0 in y
5.700 * [backup-simplify]: Simplify 3.0 into 3.0
5.700 * [taylor]: Taking taylor expansion of y in y
5.700 * [backup-simplify]: Simplify 0 into 0
5.700 * [backup-simplify]: Simplify 1 into 1
5.701 * [backup-simplify]: Simplify (* 3.0 0) into 0
5.701 * [backup-simplify]: Simplify 0 into 0
5.701 * [backup-simplify]: Simplify 0 into 0
5.701 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.702 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 0))) into 0
5.702 * [taylor]: Taking taylor expansion of 0 in y
5.702 * [backup-simplify]: Simplify 0 into 0
5.702 * [backup-simplify]: Simplify 0 into 0
5.703 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
5.703 * [backup-simplify]: Simplify 3.0 into 3.0
5.703 * [backup-simplify]: Simplify 0 into 0
5.704 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.705 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
5.705 * [taylor]: Taking taylor expansion of 0 in y
5.705 * [backup-simplify]: Simplify 0 into 0
5.705 * [backup-simplify]: Simplify 0 into 0
5.705 * [backup-simplify]: Simplify 0 into 0
5.706 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
5.706 * [backup-simplify]: Simplify 0 into 0
5.706 * [backup-simplify]: Simplify 0 into 0
5.707 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.708 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
5.708 * [taylor]: Taking taylor expansion of 0 in y
5.708 * [backup-simplify]: Simplify 0 into 0
5.708 * [backup-simplify]: Simplify 0 into 0
5.708 * [backup-simplify]: Simplify (* 3.0 (* y x)) into (* 3.0 (* x y))
5.708 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 y) 3.0)) into (/ 3.0 (* x y))
5.708 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0
5.708 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
5.708 * [taylor]: Taking taylor expansion of 3.0 in y
5.708 * [backup-simplify]: Simplify 3.0 into 3.0
5.708 * [taylor]: Taking taylor expansion of (* x y) in y
5.708 * [taylor]: Taking taylor expansion of x in y
5.708 * [backup-simplify]: Simplify x into x
5.708 * [taylor]: Taking taylor expansion of y in y
5.708 * [backup-simplify]: Simplify 0 into 0
5.708 * [backup-simplify]: Simplify 1 into 1
5.708 * [backup-simplify]: Simplify (* x 0) into 0
5.709 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.709 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
5.709 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
5.709 * [taylor]: Taking taylor expansion of 3.0 in x
5.709 * [backup-simplify]: Simplify 3.0 into 3.0
5.709 * [taylor]: Taking taylor expansion of (* x y) in x
5.709 * [taylor]: Taking taylor expansion of x in x
5.709 * [backup-simplify]: Simplify 0 into 0
5.709 * [backup-simplify]: Simplify 1 into 1
5.709 * [taylor]: Taking taylor expansion of y in x
5.709 * [backup-simplify]: Simplify y into y
5.709 * [backup-simplify]: Simplify (* 0 y) into 0
5.709 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.709 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
5.709 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
5.709 * [taylor]: Taking taylor expansion of 3.0 in x
5.709 * [backup-simplify]: Simplify 3.0 into 3.0
5.709 * [taylor]: Taking taylor expansion of (* x y) in x
5.709 * [taylor]: Taking taylor expansion of x in x
5.709 * [backup-simplify]: Simplify 0 into 0
5.709 * [backup-simplify]: Simplify 1 into 1
5.709 * [taylor]: Taking taylor expansion of y in x
5.709 * [backup-simplify]: Simplify y into y
5.709 * [backup-simplify]: Simplify (* 0 y) into 0
5.710 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.710 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
5.710 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
5.710 * [taylor]: Taking taylor expansion of 3.0 in y
5.710 * [backup-simplify]: Simplify 3.0 into 3.0
5.710 * [taylor]: Taking taylor expansion of y in y
5.710 * [backup-simplify]: Simplify 0 into 0
5.710 * [backup-simplify]: Simplify 1 into 1
5.710 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
5.710 * [backup-simplify]: Simplify 3.0 into 3.0
5.711 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.711 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0
5.711 * [taylor]: Taking taylor expansion of 0 in y
5.711 * [backup-simplify]: Simplify 0 into 0
5.712 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
5.712 * [backup-simplify]: Simplify 0 into 0
5.713 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.713 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.713 * [taylor]: Taking taylor expansion of 0 in y
5.713 * [backup-simplify]: Simplify 0 into 0
5.713 * [backup-simplify]: Simplify 0 into 0
5.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.713 * [backup-simplify]: Simplify 0 into 0
5.714 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.715 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.715 * [taylor]: Taking taylor expansion of 0 in y
5.715 * [backup-simplify]: Simplify 0 into 0
5.715 * [backup-simplify]: Simplify 0 into 0
5.715 * [backup-simplify]: Simplify 0 into 0
5.715 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.716 * [backup-simplify]: Simplify 0 into 0
5.716 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 3.0 (* x y))
5.716 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- y)) 3.0)) into (/ 3.0 (* x y))
5.716 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0
5.716 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
5.716 * [taylor]: Taking taylor expansion of 3.0 in y
5.716 * [backup-simplify]: Simplify 3.0 into 3.0
5.716 * [taylor]: Taking taylor expansion of (* x y) in y
5.716 * [taylor]: Taking taylor expansion of x in y
5.716 * [backup-simplify]: Simplify x into x
5.716 * [taylor]: Taking taylor expansion of y in y
5.716 * [backup-simplify]: Simplify 0 into 0
5.716 * [backup-simplify]: Simplify 1 into 1
5.716 * [backup-simplify]: Simplify (* x 0) into 0
5.716 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.716 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
5.716 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
5.716 * [taylor]: Taking taylor expansion of 3.0 in x
5.716 * [backup-simplify]: Simplify 3.0 into 3.0
5.716 * [taylor]: Taking taylor expansion of (* x y) in x
5.716 * [taylor]: Taking taylor expansion of x in x
5.716 * [backup-simplify]: Simplify 0 into 0
5.716 * [backup-simplify]: Simplify 1 into 1
5.716 * [taylor]: Taking taylor expansion of y in x
5.716 * [backup-simplify]: Simplify y into y
5.717 * [backup-simplify]: Simplify (* 0 y) into 0
5.717 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.717 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
5.717 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
5.717 * [taylor]: Taking taylor expansion of 3.0 in x
5.717 * [backup-simplify]: Simplify 3.0 into 3.0
5.717 * [taylor]: Taking taylor expansion of (* x y) in x
5.717 * [taylor]: Taking taylor expansion of x in x
5.717 * [backup-simplify]: Simplify 0 into 0
5.717 * [backup-simplify]: Simplify 1 into 1
5.717 * [taylor]: Taking taylor expansion of y in x
5.717 * [backup-simplify]: Simplify y into y
5.717 * [backup-simplify]: Simplify (* 0 y) into 0
5.717 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
5.717 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
5.717 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
5.718 * [taylor]: Taking taylor expansion of 3.0 in y
5.718 * [backup-simplify]: Simplify 3.0 into 3.0
5.718 * [taylor]: Taking taylor expansion of y in y
5.718 * [backup-simplify]: Simplify 0 into 0
5.718 * [backup-simplify]: Simplify 1 into 1
5.718 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
5.718 * [backup-simplify]: Simplify 3.0 into 3.0
5.719 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
5.719 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0
5.719 * [taylor]: Taking taylor expansion of 0 in y
5.719 * [backup-simplify]: Simplify 0 into 0
5.719 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
5.719 * [backup-simplify]: Simplify 0 into 0
5.720 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
5.720 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.720 * [taylor]: Taking taylor expansion of 0 in y
5.720 * [backup-simplify]: Simplify 0 into 0
5.720 * [backup-simplify]: Simplify 0 into 0
5.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.724 * [backup-simplify]: Simplify 0 into 0
5.726 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.726 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.726 * [taylor]: Taking taylor expansion of 0 in y
5.726 * [backup-simplify]: Simplify 0 into 0
5.726 * [backup-simplify]: Simplify 0 into 0
5.726 * [backup-simplify]: Simplify 0 into 0
5.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.727 * [backup-simplify]: Simplify 0 into 0
5.727 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x y))
5.727 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.727 * [backup-simplify]: Simplify (* (* x (* y 3.0)) y) into (* 3.0 (* x (pow y 2)))
5.727 * [approximate]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in (x y) around 0
5.727 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in y
5.727 * [taylor]: Taking taylor expansion of 3.0 in y
5.727 * [backup-simplify]: Simplify 3.0 into 3.0
5.727 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
5.727 * [taylor]: Taking taylor expansion of x in y
5.727 * [backup-simplify]: Simplify x into x
5.727 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.727 * [taylor]: Taking taylor expansion of y in y
5.727 * [backup-simplify]: Simplify 0 into 0
5.727 * [backup-simplify]: Simplify 1 into 1
5.727 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
5.727 * [taylor]: Taking taylor expansion of 3.0 in x
5.727 * [backup-simplify]: Simplify 3.0 into 3.0
5.727 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
5.727 * [taylor]: Taking taylor expansion of x in x
5.727 * [backup-simplify]: Simplify 0 into 0
5.727 * [backup-simplify]: Simplify 1 into 1
5.727 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.727 * [taylor]: Taking taylor expansion of y in x
5.727 * [backup-simplify]: Simplify y into y
5.727 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
5.727 * [taylor]: Taking taylor expansion of 3.0 in x
5.727 * [backup-simplify]: Simplify 3.0 into 3.0
5.727 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
5.727 * [taylor]: Taking taylor expansion of x in x
5.728 * [backup-simplify]: Simplify 0 into 0
5.728 * [backup-simplify]: Simplify 1 into 1
5.728 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.728 * [taylor]: Taking taylor expansion of y in x
5.728 * [backup-simplify]: Simplify y into y
5.728 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.728 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
5.728 * [backup-simplify]: Simplify (* 3.0 0) into 0
5.728 * [taylor]: Taking taylor expansion of 0 in y
5.728 * [backup-simplify]: Simplify 0 into 0
5.728 * [backup-simplify]: Simplify 0 into 0
5.728 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.729 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
5.729 * [backup-simplify]: Simplify (+ (* 3.0 (pow y 2)) (* 0 0)) into (* 3.0 (pow y 2))
5.729 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y
5.729 * [taylor]: Taking taylor expansion of 3.0 in y
5.729 * [backup-simplify]: Simplify 3.0 into 3.0
5.729 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.729 * [taylor]: Taking taylor expansion of y in y
5.729 * [backup-simplify]: Simplify 0 into 0
5.729 * [backup-simplify]: Simplify 1 into 1
5.730 * [backup-simplify]: Simplify (* 1 1) into 1
5.730 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
5.730 * [backup-simplify]: Simplify 3.0 into 3.0
5.730 * [backup-simplify]: Simplify 0 into 0
5.730 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
5.731 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
5.732 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (pow y 2)) (* 0 0))) into 0
5.732 * [taylor]: Taking taylor expansion of 0 in y
5.732 * [backup-simplify]: Simplify 0 into 0
5.732 * [backup-simplify]: Simplify 0 into 0
5.732 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.733 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
5.733 * [backup-simplify]: Simplify 0 into 0
5.733 * [backup-simplify]: Simplify 0 into 0
5.733 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.734 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
5.735 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (pow y 2)) (* 0 0)))) into 0
5.735 * [taylor]: Taking taylor expansion of 0 in y
5.735 * [backup-simplify]: Simplify 0 into 0
5.735 * [backup-simplify]: Simplify 0 into 0
5.735 * [backup-simplify]: Simplify 0 into 0
5.735 * [backup-simplify]: Simplify (* 3.0 (* (pow y 2) x)) into (* 3.0 (* x (pow y 2)))
5.735 * [backup-simplify]: Simplify (* (* (/ 1 x) (* (/ 1 y) 3.0)) (/ 1 y)) into (/ 3.0 (* x (pow y 2)))
5.736 * [approximate]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in (x y) around 0
5.736 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in y
5.736 * [taylor]: Taking taylor expansion of 3.0 in y
5.736 * [backup-simplify]: Simplify 3.0 into 3.0
5.736 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
5.736 * [taylor]: Taking taylor expansion of x in y
5.736 * [backup-simplify]: Simplify x into x
5.736 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.736 * [taylor]: Taking taylor expansion of y in y
5.736 * [backup-simplify]: Simplify 0 into 0
5.736 * [backup-simplify]: Simplify 1 into 1
5.736 * [backup-simplify]: Simplify (* 1 1) into 1
5.736 * [backup-simplify]: Simplify (* x 1) into x
5.736 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
5.736 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
5.736 * [taylor]: Taking taylor expansion of 3.0 in x
5.736 * [backup-simplify]: Simplify 3.0 into 3.0
5.736 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
5.736 * [taylor]: Taking taylor expansion of x in x
5.736 * [backup-simplify]: Simplify 0 into 0
5.736 * [backup-simplify]: Simplify 1 into 1
5.736 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.736 * [taylor]: Taking taylor expansion of y in x
5.736 * [backup-simplify]: Simplify y into y
5.736 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.736 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
5.736 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.737 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
5.737 * [backup-simplify]: Simplify (/ 3.0 (pow y 2)) into (/ 3.0 (pow y 2))
5.737 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
5.737 * [taylor]: Taking taylor expansion of 3.0 in x
5.737 * [backup-simplify]: Simplify 3.0 into 3.0
5.737 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
5.737 * [taylor]: Taking taylor expansion of x in x
5.737 * [backup-simplify]: Simplify 0 into 0
5.737 * [backup-simplify]: Simplify 1 into 1
5.737 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.737 * [taylor]: Taking taylor expansion of y in x
5.737 * [backup-simplify]: Simplify y into y
5.737 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.737 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
5.737 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.738 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
5.738 * [backup-simplify]: Simplify (/ 3.0 (pow y 2)) into (/ 3.0 (pow y 2))
5.738 * [taylor]: Taking taylor expansion of (/ 3.0 (pow y 2)) in y
5.738 * [taylor]: Taking taylor expansion of 3.0 in y
5.738 * [backup-simplify]: Simplify 3.0 into 3.0
5.738 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.738 * [taylor]: Taking taylor expansion of y in y
5.738 * [backup-simplify]: Simplify 0 into 0
5.738 * [backup-simplify]: Simplify 1 into 1
5.738 * [backup-simplify]: Simplify (* 1 1) into 1
5.739 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
5.739 * [backup-simplify]: Simplify 3.0 into 3.0
5.739 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
5.740 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
5.740 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))))) into 0
5.740 * [taylor]: Taking taylor expansion of 0 in y
5.740 * [backup-simplify]: Simplify 0 into 0
5.741 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.741 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
5.741 * [backup-simplify]: Simplify 0 into 0
5.742 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.742 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
5.743 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
5.743 * [taylor]: Taking taylor expansion of 0 in y
5.743 * [backup-simplify]: Simplify 0 into 0
5.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.744 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.744 * [backup-simplify]: Simplify 0 into 0
5.745 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.746 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
5.747 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
5.747 * [taylor]: Taking taylor expansion of 0 in y
5.747 * [backup-simplify]: Simplify 0 into 0
5.747 * [backup-simplify]: Simplify 0 into 0
5.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.748 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.748 * [backup-simplify]: Simplify 0 into 0
5.749 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
5.751 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0
5.751 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
5.751 * [taylor]: Taking taylor expansion of 0 in y
5.751 * [backup-simplify]: Simplify 0 into 0
5.751 * [backup-simplify]: Simplify 0 into 0
5.751 * [backup-simplify]: Simplify 0 into 0
5.752 * [backup-simplify]: Simplify (* 3.0 (* (pow (/ 1 y) -2) (/ 1 (/ 1 x)))) into (* 3.0 (* x (pow y 2)))
5.752 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (* (/ 1 (- y)) 3.0)) (/ 1 (- y))) into (/ -3.0 (* x (pow y 2)))
5.752 * [approximate]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in (x y) around 0
5.752 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in y
5.752 * [taylor]: Taking taylor expansion of -3.0 in y
5.752 * [backup-simplify]: Simplify -3.0 into -3.0
5.752 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
5.752 * [taylor]: Taking taylor expansion of x in y
5.752 * [backup-simplify]: Simplify x into x
5.752 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.752 * [taylor]: Taking taylor expansion of y in y
5.752 * [backup-simplify]: Simplify 0 into 0
5.752 * [backup-simplify]: Simplify 1 into 1
5.752 * [backup-simplify]: Simplify (* 1 1) into 1
5.752 * [backup-simplify]: Simplify (* x 1) into x
5.752 * [backup-simplify]: Simplify (/ -3.0 x) into (/ -3.0 x)
5.752 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
5.752 * [taylor]: Taking taylor expansion of -3.0 in x
5.752 * [backup-simplify]: Simplify -3.0 into -3.0
5.752 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
5.752 * [taylor]: Taking taylor expansion of x in x
5.753 * [backup-simplify]: Simplify 0 into 0
5.753 * [backup-simplify]: Simplify 1 into 1
5.753 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.753 * [taylor]: Taking taylor expansion of y in x
5.753 * [backup-simplify]: Simplify y into y
5.753 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.753 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
5.753 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.753 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
5.753 * [backup-simplify]: Simplify (/ -3.0 (pow y 2)) into (/ -3.0 (pow y 2))
5.753 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
5.753 * [taylor]: Taking taylor expansion of -3.0 in x
5.753 * [backup-simplify]: Simplify -3.0 into -3.0
5.753 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
5.753 * [taylor]: Taking taylor expansion of x in x
5.753 * [backup-simplify]: Simplify 0 into 0
5.753 * [backup-simplify]: Simplify 1 into 1
5.753 * [taylor]: Taking taylor expansion of (pow y 2) in x
5.753 * [taylor]: Taking taylor expansion of y in x
5.754 * [backup-simplify]: Simplify y into y
5.754 * [backup-simplify]: Simplify (* y y) into (pow y 2)
5.754 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
5.754 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
5.754 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
5.754 * [backup-simplify]: Simplify (/ -3.0 (pow y 2)) into (/ -3.0 (pow y 2))
5.754 * [taylor]: Taking taylor expansion of (/ -3.0 (pow y 2)) in y
5.754 * [taylor]: Taking taylor expansion of -3.0 in y
5.754 * [backup-simplify]: Simplify -3.0 into -3.0
5.754 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.754 * [taylor]: Taking taylor expansion of y in y
5.754 * [backup-simplify]: Simplify 0 into 0
5.754 * [backup-simplify]: Simplify 1 into 1
5.755 * [backup-simplify]: Simplify (* 1 1) into 1
5.755 * [backup-simplify]: Simplify (/ -3.0 1) into -3.0
5.755 * [backup-simplify]: Simplify -3.0 into -3.0
5.756 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
5.756 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
5.756 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))))) into 0
5.757 * [taylor]: Taking taylor expansion of 0 in y
5.757 * [backup-simplify]: Simplify 0 into 0
5.757 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.758 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)))) into 0
5.758 * [backup-simplify]: Simplify 0 into 0
5.758 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.759 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
5.760 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
5.760 * [taylor]: Taking taylor expansion of 0 in y
5.760 * [backup-simplify]: Simplify 0 into 0
5.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.761 * [backup-simplify]: Simplify 0 into 0
5.762 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
5.764 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
5.765 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
5.765 * [taylor]: Taking taylor expansion of 0 in y
5.765 * [backup-simplify]: Simplify 0 into 0
5.765 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.767 * [backup-simplify]: Simplify 0 into 0
5.769 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
5.771 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0
5.772 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
5.772 * [taylor]: Taking taylor expansion of 0 in y
5.772 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify 0 into 0
5.773 * [backup-simplify]: Simplify (* -3.0 (* (pow (/ 1 (- y)) -2) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x (pow y 2)))
5.773 * * * [progress]: simplifying candidates
5.774 * [simplify]: Simplifying:
  (expm1 (* x (* y 3.0)))
  (log1p (* x (* y 3.0)))
  (* x (* y 3.0))
  (* x (* y 3.0))
  (+ (log x) (+ (log y) (log 3.0)))
  (+ (log x) (log (* y 3.0)))
  (log (* x (* y 3.0)))
  (exp (* x (* y 3.0)))
  (* (* (* x x) x) (* (* (* y y) y) (* (* 3.0 3.0) 3.0)))
  (* (* (* x x) x) (* (* (* y 3.0) (* y 3.0)) (* y 3.0)))
  (* (cbrt (* x (* y 3.0))) (cbrt (* x (* y 3.0))))
  (cbrt (* x (* y 3.0)))
  (* (* (* x (* y 3.0)) (* x (* y 3.0))) (* x (* y 3.0)))
  (sqrt (* x (* y 3.0)))
  (sqrt (* x (* y 3.0)))
  (* x y)
  (* (cbrt x) (* y 3.0))
  (* (sqrt x) (* y 3.0))
  (* x (* y 3.0))
  (expm1 (* (* x (* y 3.0)) y))
  (log1p (* (* x (* y 3.0)) y))
  (* (* x (* y 3.0)) y)
  (* (* x (* y 3.0)) y)
  (* (* x (* y 3.0)) y)
  (+ (+ (log x) (+ (log y) (log 3.0))) (log y))
  (+ (+ (log x) (log (* y 3.0))) (log y))
  (+ (log (* x (* y 3.0))) (log y))
  (log (* (* x (* y 3.0)) y))
  (exp (* (* x (* y 3.0)) y))
  (* (* (* (* x x) x) (* (* (* y y) y) (* (* 3.0 3.0) 3.0))) (* (* y y) y))
  (* (* (* (* x x) x) (* (* (* y 3.0) (* y 3.0)) (* y 3.0))) (* (* y y) y))
  (* (* (* (* x (* y 3.0)) (* x (* y 3.0))) (* x (* y 3.0))) (* (* y y) y))
  (* (cbrt (* (* x (* y 3.0)) y)) (cbrt (* (* x (* y 3.0)) y)))
  (cbrt (* (* x (* y 3.0)) y))
  (* (* (* (* x (* y 3.0)) y) (* (* x (* y 3.0)) y)) (* (* x (* y 3.0)) y))
  (sqrt (* (* x (* y 3.0)) y))
  (sqrt (* (* x (* y 3.0)) y))
  (* (* x (* y 3.0)) (* (cbrt y) (cbrt y)))
  (* (* x (* y 3.0)) (sqrt y))
  (* (* x (* y 3.0)) 1)
  (* (* y 3.0) y)
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
5.775 * * [simplify]: Extracting # 0 : cost  0
5.775 * * [simplify]: Extracting # 1 : cost  0
5.775 * * [simplify]: Extracting # 2 : cost  0
5.776 * * [simplify]: Extracting # 3 : cost  0
5.776 * * [simplify]: Extracting # 4 : cost  0
5.776 * * [simplify]: Extracting # 5 : cost  0
5.776 * * [simplify]: Extracting # 6 : cost  0
5.776 * * [simplify]: iteration  0 :  66  enodes  (cost  434 )
5.800 * * [simplify]: Extracting # 0 : cost  0
5.801 * * [simplify]: Extracting # 1 : cost  0
5.801 * * [simplify]: Extracting # 2 : cost  0
5.801 * * [simplify]: iteration  1 :  166  enodes  (cost  423 )
5.950 * * [simplify]: Extracting # 0 : cost  0
5.951 * * [simplify]: Extracting # 1 : cost  0
5.952 * * [simplify]: Extracting # 2 : cost  0
5.953 * * [simplify]: Extracting # 3 : cost  0
5.953 * * [simplify]: Extracting # 4 : cost  0
5.954 * * [simplify]: iteration  2 :  738  enodes  (cost  343 )
7.860 * * [simplify]: Extracting # 0 : cost  0
7.869 * * [simplify]: Extracting # 1 : cost  0
7.874 * * [simplify]: Extracting # 2 : cost  0
7.882 * * [simplify]: Extracting # 3 : cost  0
7.885 * * [simplify]: Extracting # 4 : cost  0
7.890 * * [simplify]: iteration  3 :  3074  enodes  (cost  337 )
11.298 * * [simplify]: Extracting # 0 : cost  0
11.314 * * [simplify]: Extracting # 1 : cost  0
11.323 * * [simplify]: Extracting # 2 : cost  0
11.340 * * [simplify]: Extracting # 3 : cost  0
11.345 * * [simplify]: Extracting # 4 : cost  0
11.350 * * [simplify]: iteration done:  5001  enodes  (cost  337 )
11.351 * [simplify]: Simplified to:
  (expm1 (* x (* y 3.0)))
  (log1p (* x (* y 3.0)))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (log (* x (* y 3.0)))
  (log (* x (* y 3.0)))
  (log (* x (* y 3.0)))
  (exp (* x (* y 3.0)))
  (pow (* 3.0 (* x y)) 3)
  (pow (* 3.0 (* x y)) 3)
  (* (cbrt (* x (* y 3.0))) (cbrt (* x (* y 3.0))))
  (cbrt (* x (* y 3.0)))
  (pow (* 3.0 (* x y)) 3)
  (sqrt (* x (* y 3.0)))
  (sqrt (* x (* y 3.0)))
  (* x y)
  (* (cbrt x) (* y 3.0))
  (* (sqrt x) (* y 3.0))
  (* 3.0 (* x y))
  (expm1 (* (* x (* y 3.0)) y))
  (log1p (* (* x (* y 3.0)) y))
  (* (* x (* y 3.0)) y)
  (* (* x (* y 3.0)) y)
  (* (* x (* y 3.0)) y)
  (log (* (* x (* y 3.0)) y))
  (log (* (* x (* y 3.0)) y))
  (log (* (* x (* y 3.0)) y))
  (log (* (* x (* y 3.0)) y))
  (exp (* (* x (* y 3.0)) y))
  (pow (* (* x (* y 3.0)) y) 3)
  (pow (* (* x (* y 3.0)) y) 3)
  (pow (* (* x (* y 3.0)) y) 3)
  (* (cbrt (* (* x (* y 3.0)) y)) (cbrt (* (* x (* y 3.0)) y)))
  (cbrt (* (* x (* y 3.0)) y))
  (pow (* (* x (* y 3.0)) y) 3)
  (sqrt (* (* x (* y 3.0)) y))
  (sqrt (* (* x (* y 3.0)) y))
  (* (* x (* y 3.0)) (* (cbrt y) (cbrt y)))
  (* (* x (* y 3.0)) (sqrt y))
  (* 3.0 (* x y))
  (* (* y 3.0) y)
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* (* x (* y 3.0)) y)
  (* (* x (* y 3.0)) y)
  (* (* x (* y 3.0)) y)
11.351 * * * [progress]: adding candidates to table
11.448 * * [progress]: iteration 3 / 4
11.448 * * * [progress]: picking best candidate
11.458 * * * * [pick]: Picked  #<alt (λ (x y) (* (pow (* 3.0 (* x y)) 1) y))>
11.458 * * * [progress]: localizing error
11.466 * * * [progress]: generating rewritten candidates
11.466 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
11.500 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
11.537 * * * [progress]: generating series expansions
11.537 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
11.537 * [backup-simplify]: Simplify (* 3.0 (* x y)) into (* 3.0 (* x y))
11.537 * [approximate]: Taking taylor expansion of (* 3.0 (* x y)) in (x y) around 0
11.537 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in y
11.537 * [taylor]: Taking taylor expansion of 3.0 in y
11.537 * [backup-simplify]: Simplify 3.0 into 3.0
11.537 * [taylor]: Taking taylor expansion of (* x y) in y
11.537 * [taylor]: Taking taylor expansion of x in y
11.537 * [backup-simplify]: Simplify x into x
11.537 * [taylor]: Taking taylor expansion of y in y
11.537 * [backup-simplify]: Simplify 0 into 0
11.537 * [backup-simplify]: Simplify 1 into 1
11.537 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
11.537 * [taylor]: Taking taylor expansion of 3.0 in x
11.537 * [backup-simplify]: Simplify 3.0 into 3.0
11.537 * [taylor]: Taking taylor expansion of (* x y) in x
11.537 * [taylor]: Taking taylor expansion of x in x
11.537 * [backup-simplify]: Simplify 0 into 0
11.537 * [backup-simplify]: Simplify 1 into 1
11.537 * [taylor]: Taking taylor expansion of y in x
11.537 * [backup-simplify]: Simplify y into y
11.537 * [taylor]: Taking taylor expansion of (* 3.0 (* x y)) in x
11.537 * [taylor]: Taking taylor expansion of 3.0 in x
11.537 * [backup-simplify]: Simplify 3.0 into 3.0
11.537 * [taylor]: Taking taylor expansion of (* x y) in x
11.537 * [taylor]: Taking taylor expansion of x in x
11.537 * [backup-simplify]: Simplify 0 into 0
11.537 * [backup-simplify]: Simplify 1 into 1
11.537 * [taylor]: Taking taylor expansion of y in x
11.537 * [backup-simplify]: Simplify y into y
11.538 * [backup-simplify]: Simplify (* 0 y) into 0
11.538 * [backup-simplify]: Simplify (* 3.0 0) into 0
11.538 * [taylor]: Taking taylor expansion of 0 in y
11.538 * [backup-simplify]: Simplify 0 into 0
11.538 * [backup-simplify]: Simplify 0 into 0
11.539 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
11.539 * [backup-simplify]: Simplify (+ (* 3.0 y) (* 0 0)) into (* 3.0 y)
11.539 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
11.539 * [taylor]: Taking taylor expansion of 3.0 in y
11.539 * [backup-simplify]: Simplify 3.0 into 3.0
11.539 * [taylor]: Taking taylor expansion of y in y
11.539 * [backup-simplify]: Simplify 0 into 0
11.539 * [backup-simplify]: Simplify 1 into 1
11.540 * [backup-simplify]: Simplify (* 3.0 0) into 0
11.540 * [backup-simplify]: Simplify 0 into 0
11.540 * [backup-simplify]: Simplify 0 into 0
11.541 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
11.541 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 y) (* 0 0))) into 0
11.542 * [taylor]: Taking taylor expansion of 0 in y
11.542 * [backup-simplify]: Simplify 0 into 0
11.542 * [backup-simplify]: Simplify 0 into 0
11.543 * [backup-simplify]: Simplify (+ (* 3.0 1) (* 0 0)) into 3.0
11.543 * [backup-simplify]: Simplify 3.0 into 3.0
11.543 * [backup-simplify]: Simplify 0 into 0
11.544 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
11.544 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))) into 0
11.544 * [taylor]: Taking taylor expansion of 0 in y
11.544 * [backup-simplify]: Simplify 0 into 0
11.544 * [backup-simplify]: Simplify 0 into 0
11.544 * [backup-simplify]: Simplify 0 into 0
11.545 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 1) (* 0 0))) into 0
11.545 * [backup-simplify]: Simplify 0 into 0
11.545 * [backup-simplify]: Simplify 0 into 0
11.546 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
11.547 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0
11.547 * [taylor]: Taking taylor expansion of 0 in y
11.547 * [backup-simplify]: Simplify 0 into 0
11.547 * [backup-simplify]: Simplify 0 into 0
11.548 * [backup-simplify]: Simplify (* 3.0 (* y x)) into (* 3.0 (* x y))
11.548 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 x) (/ 1 y))) into (/ 3.0 (* x y))
11.548 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0
11.548 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
11.548 * [taylor]: Taking taylor expansion of 3.0 in y
11.548 * [backup-simplify]: Simplify 3.0 into 3.0
11.548 * [taylor]: Taking taylor expansion of (* x y) in y
11.548 * [taylor]: Taking taylor expansion of x in y
11.548 * [backup-simplify]: Simplify x into x
11.548 * [taylor]: Taking taylor expansion of y in y
11.548 * [backup-simplify]: Simplify 0 into 0
11.548 * [backup-simplify]: Simplify 1 into 1
11.548 * [backup-simplify]: Simplify (* x 0) into 0
11.548 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
11.548 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
11.548 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
11.548 * [taylor]: Taking taylor expansion of 3.0 in x
11.548 * [backup-simplify]: Simplify 3.0 into 3.0
11.548 * [taylor]: Taking taylor expansion of (* x y) in x
11.548 * [taylor]: Taking taylor expansion of x in x
11.548 * [backup-simplify]: Simplify 0 into 0
11.548 * [backup-simplify]: Simplify 1 into 1
11.548 * [taylor]: Taking taylor expansion of y in x
11.548 * [backup-simplify]: Simplify y into y
11.548 * [backup-simplify]: Simplify (* 0 y) into 0
11.549 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
11.549 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
11.549 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
11.549 * [taylor]: Taking taylor expansion of 3.0 in x
11.549 * [backup-simplify]: Simplify 3.0 into 3.0
11.549 * [taylor]: Taking taylor expansion of (* x y) in x
11.549 * [taylor]: Taking taylor expansion of x in x
11.549 * [backup-simplify]: Simplify 0 into 0
11.549 * [backup-simplify]: Simplify 1 into 1
11.549 * [taylor]: Taking taylor expansion of y in x
11.549 * [backup-simplify]: Simplify y into y
11.549 * [backup-simplify]: Simplify (* 0 y) into 0
11.549 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
11.549 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
11.549 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
11.549 * [taylor]: Taking taylor expansion of 3.0 in y
11.550 * [backup-simplify]: Simplify 3.0 into 3.0
11.550 * [taylor]: Taking taylor expansion of y in y
11.550 * [backup-simplify]: Simplify 0 into 0
11.550 * [backup-simplify]: Simplify 1 into 1
11.550 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
11.550 * [backup-simplify]: Simplify 3.0 into 3.0
11.551 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
11.551 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0
11.551 * [taylor]: Taking taylor expansion of 0 in y
11.551 * [backup-simplify]: Simplify 0 into 0
11.551 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
11.551 * [backup-simplify]: Simplify 0 into 0
11.552 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
11.552 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.552 * [taylor]: Taking taylor expansion of 0 in y
11.552 * [backup-simplify]: Simplify 0 into 0
11.552 * [backup-simplify]: Simplify 0 into 0
11.553 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.553 * [backup-simplify]: Simplify 0 into 0
11.555 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
11.555 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.555 * [taylor]: Taking taylor expansion of 0 in y
11.555 * [backup-simplify]: Simplify 0 into 0
11.555 * [backup-simplify]: Simplify 0 into 0
11.555 * [backup-simplify]: Simplify 0 into 0
11.556 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.556 * [backup-simplify]: Simplify 0 into 0
11.557 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))) into (* 3.0 (* x y))
11.557 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 3.0 (* x y))
11.557 * [approximate]: Taking taylor expansion of (/ 3.0 (* x y)) in (x y) around 0
11.557 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in y
11.557 * [taylor]: Taking taylor expansion of 3.0 in y
11.557 * [backup-simplify]: Simplify 3.0 into 3.0
11.557 * [taylor]: Taking taylor expansion of (* x y) in y
11.557 * [taylor]: Taking taylor expansion of x in y
11.557 * [backup-simplify]: Simplify x into x
11.557 * [taylor]: Taking taylor expansion of y in y
11.557 * [backup-simplify]: Simplify 0 into 0
11.557 * [backup-simplify]: Simplify 1 into 1
11.557 * [backup-simplify]: Simplify (* x 0) into 0
11.558 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
11.558 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
11.558 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
11.558 * [taylor]: Taking taylor expansion of 3.0 in x
11.558 * [backup-simplify]: Simplify 3.0 into 3.0
11.558 * [taylor]: Taking taylor expansion of (* x y) in x
11.558 * [taylor]: Taking taylor expansion of x in x
11.558 * [backup-simplify]: Simplify 0 into 0
11.558 * [backup-simplify]: Simplify 1 into 1
11.558 * [taylor]: Taking taylor expansion of y in x
11.558 * [backup-simplify]: Simplify y into y
11.559 * [backup-simplify]: Simplify (* 0 y) into 0
11.559 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
11.559 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
11.559 * [taylor]: Taking taylor expansion of (/ 3.0 (* x y)) in x
11.559 * [taylor]: Taking taylor expansion of 3.0 in x
11.559 * [backup-simplify]: Simplify 3.0 into 3.0
11.559 * [taylor]: Taking taylor expansion of (* x y) in x
11.559 * [taylor]: Taking taylor expansion of x in x
11.559 * [backup-simplify]: Simplify 0 into 0
11.559 * [backup-simplify]: Simplify 1 into 1
11.559 * [taylor]: Taking taylor expansion of y in x
11.559 * [backup-simplify]: Simplify y into y
11.559 * [backup-simplify]: Simplify (* 0 y) into 0
11.560 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
11.560 * [backup-simplify]: Simplify (/ 3.0 y) into (/ 3.0 y)
11.560 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
11.560 * [taylor]: Taking taylor expansion of 3.0 in y
11.560 * [backup-simplify]: Simplify 3.0 into 3.0
11.560 * [taylor]: Taking taylor expansion of y in y
11.560 * [backup-simplify]: Simplify 0 into 0
11.560 * [backup-simplify]: Simplify 1 into 1
11.561 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
11.561 * [backup-simplify]: Simplify 3.0 into 3.0
11.562 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
11.562 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)))) into 0
11.562 * [taylor]: Taking taylor expansion of 0 in y
11.562 * [backup-simplify]: Simplify 0 into 0
11.563 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
11.563 * [backup-simplify]: Simplify 0 into 0
11.565 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
11.565 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.565 * [taylor]: Taking taylor expansion of 0 in y
11.565 * [backup-simplify]: Simplify 0 into 0
11.565 * [backup-simplify]: Simplify 0 into 0
11.566 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.566 * [backup-simplify]: Simplify 0 into 0
11.568 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
11.568 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 3.0 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
11.568 * [taylor]: Taking taylor expansion of 0 in y
11.568 * [backup-simplify]: Simplify 0 into 0
11.568 * [backup-simplify]: Simplify 0 into 0
11.568 * [backup-simplify]: Simplify 0 into 0
11.570 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.570 * [backup-simplify]: Simplify 0 into 0
11.570 * [backup-simplify]: Simplify (* 3.0 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x y))
11.570 * * * * [progress]: [ 2 / 2 ] generating series at (2)
11.570 * [backup-simplify]: Simplify (* (pow (* 3.0 (* x y)) 1) y) into (* 3.0 (* x (pow y 2)))
11.570 * [approximate]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in (x y) around 0
11.570 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in y
11.570 * [taylor]: Taking taylor expansion of 3.0 in y
11.570 * [backup-simplify]: Simplify 3.0 into 3.0
11.571 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
11.571 * [taylor]: Taking taylor expansion of x in y
11.571 * [backup-simplify]: Simplify x into x
11.571 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.571 * [taylor]: Taking taylor expansion of y in y
11.571 * [backup-simplify]: Simplify 0 into 0
11.571 * [backup-simplify]: Simplify 1 into 1
11.571 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
11.571 * [taylor]: Taking taylor expansion of 3.0 in x
11.571 * [backup-simplify]: Simplify 3.0 into 3.0
11.571 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
11.571 * [taylor]: Taking taylor expansion of x in x
11.571 * [backup-simplify]: Simplify 0 into 0
11.571 * [backup-simplify]: Simplify 1 into 1
11.571 * [taylor]: Taking taylor expansion of (pow y 2) in x
11.571 * [taylor]: Taking taylor expansion of y in x
11.571 * [backup-simplify]: Simplify y into y
11.571 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
11.571 * [taylor]: Taking taylor expansion of 3.0 in x
11.571 * [backup-simplify]: Simplify 3.0 into 3.0
11.571 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
11.571 * [taylor]: Taking taylor expansion of x in x
11.571 * [backup-simplify]: Simplify 0 into 0
11.571 * [backup-simplify]: Simplify 1 into 1
11.571 * [taylor]: Taking taylor expansion of (pow y 2) in x
11.571 * [taylor]: Taking taylor expansion of y in x
11.571 * [backup-simplify]: Simplify y into y
11.571 * [backup-simplify]: Simplify (* y y) into (pow y 2)
11.571 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
11.572 * [backup-simplify]: Simplify (* 3.0 0) into 0
11.572 * [taylor]: Taking taylor expansion of 0 in y
11.572 * [backup-simplify]: Simplify 0 into 0
11.572 * [backup-simplify]: Simplify 0 into 0
11.572 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
11.573 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
11.574 * [backup-simplify]: Simplify (+ (* 3.0 (pow y 2)) (* 0 0)) into (* 3.0 (pow y 2))
11.574 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y
11.574 * [taylor]: Taking taylor expansion of 3.0 in y
11.574 * [backup-simplify]: Simplify 3.0 into 3.0
11.574 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.574 * [taylor]: Taking taylor expansion of y in y
11.574 * [backup-simplify]: Simplify 0 into 0
11.574 * [backup-simplify]: Simplify 1 into 1
11.575 * [backup-simplify]: Simplify (* 1 1) into 1
11.575 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
11.575 * [backup-simplify]: Simplify 3.0 into 3.0
11.575 * [backup-simplify]: Simplify 0 into 0
11.576 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
11.577 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
11.578 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (pow y 2)) (* 0 0))) into 0
11.578 * [taylor]: Taking taylor expansion of 0 in y
11.578 * [backup-simplify]: Simplify 0 into 0
11.578 * [backup-simplify]: Simplify 0 into 0
11.579 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.579 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
11.579 * [backup-simplify]: Simplify 0 into 0
11.579 * [backup-simplify]: Simplify 0 into 0
11.580 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
11.582 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
11.584 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (pow y 2)) (* 0 0)))) into 0
11.584 * [taylor]: Taking taylor expansion of 0 in y
11.584 * [backup-simplify]: Simplify 0 into 0
11.584 * [backup-simplify]: Simplify 0 into 0
11.584 * [backup-simplify]: Simplify 0 into 0
11.584 * [backup-simplify]: Simplify (* 3.0 (* (pow y 2) x)) into (* 3.0 (* x (pow y 2)))
11.584 * [backup-simplify]: Simplify (* (pow (* 3.0 (* (/ 1 x) (/ 1 y))) 1) (/ 1 y)) into (/ 3.0 (* x (pow y 2)))
11.584 * [approximate]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in (x y) around 0
11.584 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in y
11.584 * [taylor]: Taking taylor expansion of 3.0 in y
11.585 * [backup-simplify]: Simplify 3.0 into 3.0
11.585 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
11.585 * [taylor]: Taking taylor expansion of x in y
11.585 * [backup-simplify]: Simplify x into x
11.585 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.585 * [taylor]: Taking taylor expansion of y in y
11.585 * [backup-simplify]: Simplify 0 into 0
11.585 * [backup-simplify]: Simplify 1 into 1
11.585 * [backup-simplify]: Simplify (* 1 1) into 1
11.585 * [backup-simplify]: Simplify (* x 1) into x
11.585 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
11.585 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
11.585 * [taylor]: Taking taylor expansion of 3.0 in x
11.585 * [backup-simplify]: Simplify 3.0 into 3.0
11.586 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
11.586 * [taylor]: Taking taylor expansion of x in x
11.586 * [backup-simplify]: Simplify 0 into 0
11.586 * [backup-simplify]: Simplify 1 into 1
11.586 * [taylor]: Taking taylor expansion of (pow y 2) in x
11.586 * [taylor]: Taking taylor expansion of y in x
11.586 * [backup-simplify]: Simplify y into y
11.586 * [backup-simplify]: Simplify (* y y) into (pow y 2)
11.586 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
11.586 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
11.587 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
11.587 * [backup-simplify]: Simplify (/ 3.0 (pow y 2)) into (/ 3.0 (pow y 2))
11.587 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
11.587 * [taylor]: Taking taylor expansion of 3.0 in x
11.587 * [backup-simplify]: Simplify 3.0 into 3.0
11.587 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
11.587 * [taylor]: Taking taylor expansion of x in x
11.587 * [backup-simplify]: Simplify 0 into 0
11.587 * [backup-simplify]: Simplify 1 into 1
11.587 * [taylor]: Taking taylor expansion of (pow y 2) in x
11.587 * [taylor]: Taking taylor expansion of y in x
11.587 * [backup-simplify]: Simplify y into y
11.587 * [backup-simplify]: Simplify (* y y) into (pow y 2)
11.587 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
11.588 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
11.588 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
11.588 * [backup-simplify]: Simplify (/ 3.0 (pow y 2)) into (/ 3.0 (pow y 2))
11.589 * [taylor]: Taking taylor expansion of (/ 3.0 (pow y 2)) in y
11.589 * [taylor]: Taking taylor expansion of 3.0 in y
11.589 * [backup-simplify]: Simplify 3.0 into 3.0
11.589 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.589 * [taylor]: Taking taylor expansion of y in y
11.589 * [backup-simplify]: Simplify 0 into 0
11.589 * [backup-simplify]: Simplify 1 into 1
11.589 * [backup-simplify]: Simplify (* 1 1) into 1
11.590 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
11.590 * [backup-simplify]: Simplify 3.0 into 3.0
11.590 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
11.592 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
11.592 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))))) into 0
11.592 * [taylor]: Taking taylor expansion of 0 in y
11.592 * [backup-simplify]: Simplify 0 into 0
11.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
11.594 * [backup-simplify]: Simplify 0 into 0
11.595 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
11.597 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
11.598 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
11.598 * [taylor]: Taking taylor expansion of 0 in y
11.598 * [backup-simplify]: Simplify 0 into 0
11.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.600 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.600 * [backup-simplify]: Simplify 0 into 0
11.602 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
11.604 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
11.605 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
11.605 * [taylor]: Taking taylor expansion of 0 in y
11.605 * [backup-simplify]: Simplify 0 into 0
11.605 * [backup-simplify]: Simplify 0 into 0
11.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.607 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.608 * [backup-simplify]: Simplify 0 into 0
11.609 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
11.612 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0
11.613 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
11.613 * [taylor]: Taking taylor expansion of 0 in y
11.613 * [backup-simplify]: Simplify 0 into 0
11.613 * [backup-simplify]: Simplify 0 into 0
11.613 * [backup-simplify]: Simplify 0 into 0
11.613 * [backup-simplify]: Simplify (* 3.0 (* (pow (/ 1 y) -2) (/ 1 (/ 1 x)))) into (* 3.0 (* x (pow y 2)))
11.614 * [backup-simplify]: Simplify (* (pow (* 3.0 (* (/ 1 (- x)) (/ 1 (- y)))) 1) (/ 1 (- y))) into (/ -3.0 (* x (pow y 2)))
11.614 * [approximate]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in (x y) around 0
11.614 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in y
11.614 * [taylor]: Taking taylor expansion of -3.0 in y
11.614 * [backup-simplify]: Simplify -3.0 into -3.0
11.614 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
11.614 * [taylor]: Taking taylor expansion of x in y
11.614 * [backup-simplify]: Simplify x into x
11.614 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.614 * [taylor]: Taking taylor expansion of y in y
11.614 * [backup-simplify]: Simplify 0 into 0
11.614 * [backup-simplify]: Simplify 1 into 1
11.615 * [backup-simplify]: Simplify (* 1 1) into 1
11.615 * [backup-simplify]: Simplify (* x 1) into x
11.615 * [backup-simplify]: Simplify (/ -3.0 x) into (/ -3.0 x)
11.615 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
11.615 * [taylor]: Taking taylor expansion of -3.0 in x
11.615 * [backup-simplify]: Simplify -3.0 into -3.0
11.615 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
11.615 * [taylor]: Taking taylor expansion of x in x
11.615 * [backup-simplify]: Simplify 0 into 0
11.615 * [backup-simplify]: Simplify 1 into 1
11.615 * [taylor]: Taking taylor expansion of (pow y 2) in x
11.615 * [taylor]: Taking taylor expansion of y in x
11.615 * [backup-simplify]: Simplify y into y
11.615 * [backup-simplify]: Simplify (* y y) into (pow y 2)
11.615 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
11.615 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
11.616 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
11.616 * [backup-simplify]: Simplify (/ -3.0 (pow y 2)) into (/ -3.0 (pow y 2))
11.616 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
11.616 * [taylor]: Taking taylor expansion of -3.0 in x
11.616 * [backup-simplify]: Simplify -3.0 into -3.0
11.616 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
11.617 * [taylor]: Taking taylor expansion of x in x
11.617 * [backup-simplify]: Simplify 0 into 0
11.617 * [backup-simplify]: Simplify 1 into 1
11.617 * [taylor]: Taking taylor expansion of (pow y 2) in x
11.617 * [taylor]: Taking taylor expansion of y in x
11.617 * [backup-simplify]: Simplify y into y
11.617 * [backup-simplify]: Simplify (* y y) into (pow y 2)
11.617 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
11.617 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
11.618 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
11.618 * [backup-simplify]: Simplify (/ -3.0 (pow y 2)) into (/ -3.0 (pow y 2))
11.618 * [taylor]: Taking taylor expansion of (/ -3.0 (pow y 2)) in y
11.618 * [taylor]: Taking taylor expansion of -3.0 in y
11.618 * [backup-simplify]: Simplify -3.0 into -3.0
11.618 * [taylor]: Taking taylor expansion of (pow y 2) in y
11.618 * [taylor]: Taking taylor expansion of y in y
11.618 * [backup-simplify]: Simplify 0 into 0
11.618 * [backup-simplify]: Simplify 1 into 1
11.619 * [backup-simplify]: Simplify (* 1 1) into 1
11.619 * [backup-simplify]: Simplify (/ -3.0 1) into -3.0
11.620 * [backup-simplify]: Simplify -3.0 into -3.0
11.620 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
11.621 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
11.622 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))))) into 0
11.622 * [taylor]: Taking taylor expansion of 0 in y
11.622 * [backup-simplify]: Simplify 0 into 0
11.623 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.623 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)))) into 0
11.624 * [backup-simplify]: Simplify 0 into 0
11.624 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
11.626 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
11.627 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
11.627 * [taylor]: Taking taylor expansion of 0 in y
11.627 * [backup-simplify]: Simplify 0 into 0
11.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.629 * [backup-simplify]: Simplify 0 into 0
11.631 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
11.633 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
11.634 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
11.634 * [taylor]: Taking taylor expansion of 0 in y
11.634 * [backup-simplify]: Simplify 0 into 0
11.634 * [backup-simplify]: Simplify 0 into 0
11.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.637 * [backup-simplify]: Simplify 0 into 0
11.638 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
11.641 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0
11.642 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
11.642 * [taylor]: Taking taylor expansion of 0 in y
11.642 * [backup-simplify]: Simplify 0 into 0
11.642 * [backup-simplify]: Simplify 0 into 0
11.642 * [backup-simplify]: Simplify 0 into 0
11.642 * [backup-simplify]: Simplify (* -3.0 (* (pow (/ 1 (- y)) -2) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x (pow y 2)))
11.642 * * * [progress]: simplifying candidates
11.644 * [simplify]: Simplifying:
  (expm1 (* 3.0 (* x y)))
  (log1p (* 3.0 (* x y)))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (+ (log 3.0) (+ (log x) (log y)))
  (+ (log 3.0) (log (* x y)))
  (log (* 3.0 (* x y)))
  (exp (* 3.0 (* x y)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x x) x) (* (* y y) y)))
  (* (* (* 3.0 3.0) 3.0) (* (* (* x y) (* x y)) (* x y)))
  (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y))))
  (cbrt (* 3.0 (* x y)))
  (* (* (* 3.0 (* x y)) (* 3.0 (* x y))) (* 3.0 (* x y)))
  (sqrt (* 3.0 (* x y)))
  (sqrt (* 3.0 (* x y)))
  (* 3.0 x)
  (* (cbrt 3.0) (* x y))
  (* (sqrt 3.0) (* x y))
  (* 3.0 (* x y))
  (expm1 (* (pow (* 3.0 (* x y)) 1) y))
  (log1p (* (pow (* 3.0 (* x y)) 1) y))
  (* (* 3.0 (* x y)) y)
  (+ (* (+ (log 3.0) (+ (log x) (log y))) 1) (log y))
  (+ (* (+ (log 3.0) (log (* x y))) 1) (log y))
  (+ (* (log (* 3.0 (* x y))) 1) (log y))
  (+ (* (log (* 3.0 (* x y))) 1) (log y))
  (+ (log (pow (* 3.0 (* x y)) 1)) (log y))
  (log (* (pow (* 3.0 (* x y)) 1) y))
  (exp (* (pow (* 3.0 (* x y)) 1) y))
  (* (* (* (pow (* 3.0 (* x y)) 1) (pow (* 3.0 (* x y)) 1)) (pow (* 3.0 (* x y)) 1)) (* (* y y) y))
  (* (cbrt (* (pow (* 3.0 (* x y)) 1) y)) (cbrt (* (pow (* 3.0 (* x y)) 1) y)))
  (cbrt (* (pow (* 3.0 (* x y)) 1) y))
  (* (* (* (pow (* 3.0 (* x y)) 1) y) (* (pow (* 3.0 (* x y)) 1) y)) (* (pow (* 3.0 (* x y)) 1) y))
  (sqrt (* (pow (* 3.0 (* x y)) 1) y))
  (sqrt (* (pow (* 3.0 (* x y)) 1) y))
  (* (sqrt (pow (* 3.0 (* x y)) 1)) (sqrt y))
  (* (sqrt (pow (* 3.0 (* x y)) 1)) (sqrt y))
  (* (pow (* 3.0 (* x y)) (/ 1 2)) (sqrt y))
  (* (pow (* 3.0 (* x y)) (/ 1 2)) (sqrt y))
  (* (pow (* 3.0 (* x y)) 1) (* (cbrt y) (cbrt y)))
  (* (pow (* 3.0 (* x y)) 1) (sqrt y))
  (* (pow (* 3.0 (* x y)) 1) 1)
  (* (pow (* x y) 1) y)
  (* (cbrt (pow (* 3.0 (* x y)) 1)) y)
  (* (sqrt (pow (* 3.0 (* x y)) 1)) y)
  (* (pow (* 3.0 (* x y)) 1) y)
  (* (pow (* 3.0 (* x y)) (/ 1 2)) y)
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x y))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
11.646 * * [simplify]: Extracting # 0 : cost  0
11.646 * * [simplify]: Extracting # 1 : cost  0
11.646 * * [simplify]: Extracting # 2 : cost  0
11.646 * * [simplify]: Extracting # 3 : cost  0
11.647 * * [simplify]: Extracting # 4 : cost  0
11.647 * * [simplify]: Extracting # 5 : cost  0
11.647 * * [simplify]: Extracting # 6 : cost  0
11.647 * * [simplify]: iteration  0 :  82  enodes  (cost  526 )
11.694 * * [simplify]: Extracting # 0 : cost  0
11.695 * * [simplify]: Extracting # 1 : cost  0
11.695 * * [simplify]: Extracting # 2 : cost  0
11.696 * * [simplify]: Extracting # 3 : cost  0
11.696 * * [simplify]: iteration  1 :  180  enodes  (cost  437 )
11.849 * * [simplify]: Extracting # 0 : cost  0
11.851 * * [simplify]: Extracting # 1 : cost  0
11.852 * * [simplify]: Extracting # 2 : cost  0
11.854 * * [simplify]: Extracting # 3 : cost  0
11.856 * * [simplify]: Extracting # 4 : cost  0
11.857 * * [simplify]: iteration  2 :  741  enodes  (cost  388 )
13.878 * * [simplify]: Extracting # 0 : cost  0
13.885 * * [simplify]: Extracting # 1 : cost  0
13.890 * * [simplify]: Extracting # 2 : cost  0
13.895 * * [simplify]: Extracting # 3 : cost  0
13.900 * * [simplify]: Extracting # 4 : cost  0
13.905 * * [simplify]: Extracting # 5 : cost  0
13.909 * * [simplify]: iteration  3 :  4145  enodes  (cost  388 )
17.342 * * [simplify]: Extracting # 0 : cost  0
17.349 * * [simplify]: Extracting # 1 : cost  0
17.355 * * [simplify]: Extracting # 2 : cost  0
17.360 * * [simplify]: Extracting # 3 : cost  0
17.366 * * [simplify]: Extracting # 4 : cost  0
17.376 * * [simplify]: Extracting # 5 : cost  0
17.388 * * [simplify]: iteration done:  5001  enodes  (cost  387 )
17.389 * [simplify]: Simplified to:
  (expm1 (* 3.0 (* x y)))
  (log1p (* 3.0 (* x y)))
  (* (* x y) 3.0)
  (* (* x y) 3.0)
  (log (* (* x y) 3.0))
  (log (* (* x y) 3.0))
  (log (* (* x y) 3.0))
  (exp (* 3.0 (* x y)))
  (pow (* (* x y) 3.0) 3)
  (pow (* (* x y) 3.0) 3)
  (* (cbrt (* 3.0 (* x y))) (cbrt (* 3.0 (* x y))))
  (cbrt (* 3.0 (* x y)))
  (pow (* (* x y) 3.0) 3)
  (sqrt (* (* x y) 3.0))
  (sqrt (* (* x y) 3.0))
  (* x 3.0)
  (* (cbrt 3.0) (* x y))
  (* (sqrt 3.0) (* x y))
  (* (* x y) 3.0)
  (expm1 (* (* 3.0 (* x y)) y))
  (log1p (* (* 3.0 (* x y)) y))
  (* 3.0 (* x (pow y 2)))
  (log (* (* 3.0 (* x y)) y))
  (log (* (* 3.0 (* x y)) y))
  (log (* (* 3.0 (* x y)) y))
  (log (* (* 3.0 (* x y)) y))
  (log (* (* 3.0 (* x y)) y))
  (log (* (* 3.0 (* x y)) y))
  (exp (* y (* (* x y) 3.0)))
  (pow (* 3.0 (* x (pow y 2))) 3)
  (* (cbrt (* (* 3.0 (* x y)) y)) (cbrt (* (* 3.0 (* x y)) y)))
  (cbrt (* (* 3.0 (* x y)) y))
  (pow (* 3.0 (* x (pow y 2))) 3)
  (sqrt (* y (* (* x y) 3.0)))
  (sqrt (* y (* (* x y) 3.0)))
  (* (sqrt y) (sqrt (* (* x y) 3.0)))
  (* (sqrt y) (sqrt (* (* x y) 3.0)))
  (* (sqrt y) (sqrt (* (* x y) 3.0)))
  (* (sqrt y) (sqrt (* (* x y) 3.0)))
  (* (* (* (* x y) 3.0) (cbrt y)) (cbrt y))
  (* (pow y 3/2) (* x 3.0))
  (* (* x y) 3.0)
  (* (* x y) y)
  (* y (cbrt (* 3.0 (* x y))))
  (* y (sqrt (* (* x y) 3.0)))
  (* 3.0 (* x (pow y 2)))
  (* y (sqrt (* (* x y) 3.0)))
  (* (* x y) 3.0)
  (* (* x y) 3.0)
  (* (* x y) 3.0)
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
17.389 * * * [progress]: adding candidates to table
17.530 * * [progress]: iteration 4 / 4
17.530 * * * [progress]: picking best candidate
17.542 * * * * [pick]: Picked  #<alt (λ (x y) (* (pow 3.0 1) (* (* x y) y)))>
17.542 * * * [progress]: localizing error
17.551 * * * [progress]: generating rewritten candidates
17.551 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
17.644 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
17.686 * * * [progress]: generating series expansions
17.686 * * * * [progress]: [ 1 / 2 ] generating series at (2)
17.687 * [backup-simplify]: Simplify (* (pow 3.0 1) (* (* x y) y)) into (* 3.0 (* x (pow y 2)))
17.687 * [approximate]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in (x y) around 0
17.687 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in y
17.687 * [taylor]: Taking taylor expansion of 3.0 in y
17.687 * [backup-simplify]: Simplify 3.0 into 3.0
17.687 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
17.688 * [taylor]: Taking taylor expansion of x in y
17.688 * [backup-simplify]: Simplify x into x
17.688 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.688 * [taylor]: Taking taylor expansion of y in y
17.688 * [backup-simplify]: Simplify 0 into 0
17.688 * [backup-simplify]: Simplify 1 into 1
17.688 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
17.688 * [taylor]: Taking taylor expansion of 3.0 in x
17.688 * [backup-simplify]: Simplify 3.0 into 3.0
17.688 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
17.688 * [taylor]: Taking taylor expansion of x in x
17.688 * [backup-simplify]: Simplify 0 into 0
17.688 * [backup-simplify]: Simplify 1 into 1
17.688 * [taylor]: Taking taylor expansion of (pow y 2) in x
17.688 * [taylor]: Taking taylor expansion of y in x
17.688 * [backup-simplify]: Simplify y into y
17.688 * [taylor]: Taking taylor expansion of (* 3.0 (* x (pow y 2))) in x
17.688 * [taylor]: Taking taylor expansion of 3.0 in x
17.688 * [backup-simplify]: Simplify 3.0 into 3.0
17.688 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
17.688 * [taylor]: Taking taylor expansion of x in x
17.688 * [backup-simplify]: Simplify 0 into 0
17.688 * [backup-simplify]: Simplify 1 into 1
17.688 * [taylor]: Taking taylor expansion of (pow y 2) in x
17.688 * [taylor]: Taking taylor expansion of y in x
17.688 * [backup-simplify]: Simplify y into y
17.688 * [backup-simplify]: Simplify (* y y) into (pow y 2)
17.688 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
17.689 * [backup-simplify]: Simplify (* 3.0 0) into 0
17.689 * [taylor]: Taking taylor expansion of 0 in y
17.689 * [backup-simplify]: Simplify 0 into 0
17.689 * [backup-simplify]: Simplify 0 into 0
17.689 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
17.689 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
17.690 * [backup-simplify]: Simplify (+ (* 3.0 (pow y 2)) (* 0 0)) into (* 3.0 (pow y 2))
17.690 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y
17.690 * [taylor]: Taking taylor expansion of 3.0 in y
17.690 * [backup-simplify]: Simplify 3.0 into 3.0
17.690 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.690 * [taylor]: Taking taylor expansion of y in y
17.690 * [backup-simplify]: Simplify 0 into 0
17.690 * [backup-simplify]: Simplify 1 into 1
17.690 * [backup-simplify]: Simplify (* 1 1) into 1
17.691 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
17.691 * [backup-simplify]: Simplify 3.0 into 3.0
17.691 * [backup-simplify]: Simplify 0 into 0
17.691 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
17.692 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
17.692 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 (pow y 2)) (* 0 0))) into 0
17.692 * [taylor]: Taking taylor expansion of 0 in y
17.693 * [backup-simplify]: Simplify 0 into 0
17.693 * [backup-simplify]: Simplify 0 into 0
17.693 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.693 * [backup-simplify]: Simplify (+ (* 3.0 0) (* 0 1)) into 0
17.694 * [backup-simplify]: Simplify 0 into 0
17.694 * [backup-simplify]: Simplify 0 into 0
17.694 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
17.695 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
17.696 * [backup-simplify]: Simplify (+ (* 3.0 0) (+ (* 0 0) (+ (* 0 (pow y 2)) (* 0 0)))) into 0
17.696 * [taylor]: Taking taylor expansion of 0 in y
17.696 * [backup-simplify]: Simplify 0 into 0
17.696 * [backup-simplify]: Simplify 0 into 0
17.696 * [backup-simplify]: Simplify 0 into 0
17.696 * [backup-simplify]: Simplify (* 3.0 (* (pow y 2) x)) into (* 3.0 (* x (pow y 2)))
17.697 * [backup-simplify]: Simplify (* (pow 3.0 1) (* (* (/ 1 x) (/ 1 y)) (/ 1 y))) into (/ 3.0 (* x (pow y 2)))
17.697 * [approximate]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in (x y) around 0
17.697 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in y
17.697 * [taylor]: Taking taylor expansion of 3.0 in y
17.697 * [backup-simplify]: Simplify 3.0 into 3.0
17.697 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
17.697 * [taylor]: Taking taylor expansion of x in y
17.697 * [backup-simplify]: Simplify x into x
17.697 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.697 * [taylor]: Taking taylor expansion of y in y
17.697 * [backup-simplify]: Simplify 0 into 0
17.697 * [backup-simplify]: Simplify 1 into 1
17.697 * [backup-simplify]: Simplify (* 1 1) into 1
17.697 * [backup-simplify]: Simplify (* x 1) into x
17.697 * [backup-simplify]: Simplify (/ 3.0 x) into (/ 3.0 x)
17.697 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
17.698 * [taylor]: Taking taylor expansion of 3.0 in x
17.698 * [backup-simplify]: Simplify 3.0 into 3.0
17.698 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
17.698 * [taylor]: Taking taylor expansion of x in x
17.698 * [backup-simplify]: Simplify 0 into 0
17.698 * [backup-simplify]: Simplify 1 into 1
17.698 * [taylor]: Taking taylor expansion of (pow y 2) in x
17.698 * [taylor]: Taking taylor expansion of y in x
17.698 * [backup-simplify]: Simplify y into y
17.698 * [backup-simplify]: Simplify (* y y) into (pow y 2)
17.698 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
17.698 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
17.698 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
17.698 * [backup-simplify]: Simplify (/ 3.0 (pow y 2)) into (/ 3.0 (pow y 2))
17.698 * [taylor]: Taking taylor expansion of (/ 3.0 (* x (pow y 2))) in x
17.698 * [taylor]: Taking taylor expansion of 3.0 in x
17.699 * [backup-simplify]: Simplify 3.0 into 3.0
17.699 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
17.699 * [taylor]: Taking taylor expansion of x in x
17.699 * [backup-simplify]: Simplify 0 into 0
17.699 * [backup-simplify]: Simplify 1 into 1
17.699 * [taylor]: Taking taylor expansion of (pow y 2) in x
17.699 * [taylor]: Taking taylor expansion of y in x
17.699 * [backup-simplify]: Simplify y into y
17.699 * [backup-simplify]: Simplify (* y y) into (pow y 2)
17.699 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
17.699 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
17.699 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
17.699 * [backup-simplify]: Simplify (/ 3.0 (pow y 2)) into (/ 3.0 (pow y 2))
17.699 * [taylor]: Taking taylor expansion of (/ 3.0 (pow y 2)) in y
17.700 * [taylor]: Taking taylor expansion of 3.0 in y
17.700 * [backup-simplify]: Simplify 3.0 into 3.0
17.700 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.700 * [taylor]: Taking taylor expansion of y in y
17.700 * [backup-simplify]: Simplify 0 into 0
17.700 * [backup-simplify]: Simplify 1 into 1
17.700 * [backup-simplify]: Simplify (* 1 1) into 1
17.700 * [backup-simplify]: Simplify (/ 3.0 1) into 3.0
17.700 * [backup-simplify]: Simplify 3.0 into 3.0
17.701 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
17.701 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
17.702 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))))) into 0
17.702 * [taylor]: Taking taylor expansion of 0 in y
17.702 * [backup-simplify]: Simplify 0 into 0
17.702 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.703 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)))) into 0
17.703 * [backup-simplify]: Simplify 0 into 0
17.704 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
17.705 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
17.705 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
17.705 * [taylor]: Taking taylor expansion of 0 in y
17.705 * [backup-simplify]: Simplify 0 into 0
17.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
17.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.706 * [backup-simplify]: Simplify 0 into 0
17.707 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
17.709 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
17.709 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
17.709 * [taylor]: Taking taylor expansion of 0 in y
17.709 * [backup-simplify]: Simplify 0 into 0
17.710 * [backup-simplify]: Simplify 0 into 0
17.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
17.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.711 * [backup-simplify]: Simplify 0 into 0
17.712 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
17.714 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0
17.714 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
17.714 * [taylor]: Taking taylor expansion of 0 in y
17.714 * [backup-simplify]: Simplify 0 into 0
17.714 * [backup-simplify]: Simplify 0 into 0
17.714 * [backup-simplify]: Simplify 0 into 0
17.715 * [backup-simplify]: Simplify (* 3.0 (* (pow (/ 1 y) -2) (/ 1 (/ 1 x)))) into (* 3.0 (* x (pow y 2)))
17.715 * [backup-simplify]: Simplify (* (pow 3.0 1) (* (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y)))) into (/ -3.0 (* x (pow y 2)))
17.715 * [approximate]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in (x y) around 0
17.715 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in y
17.715 * [taylor]: Taking taylor expansion of -3.0 in y
17.715 * [backup-simplify]: Simplify -3.0 into -3.0
17.715 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
17.715 * [taylor]: Taking taylor expansion of x in y
17.716 * [backup-simplify]: Simplify x into x
17.716 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.716 * [taylor]: Taking taylor expansion of y in y
17.716 * [backup-simplify]: Simplify 0 into 0
17.716 * [backup-simplify]: Simplify 1 into 1
17.716 * [backup-simplify]: Simplify (* 1 1) into 1
17.716 * [backup-simplify]: Simplify (* x 1) into x
17.716 * [backup-simplify]: Simplify (/ -3.0 x) into (/ -3.0 x)
17.716 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
17.716 * [taylor]: Taking taylor expansion of -3.0 in x
17.716 * [backup-simplify]: Simplify -3.0 into -3.0
17.716 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
17.716 * [taylor]: Taking taylor expansion of x in x
17.716 * [backup-simplify]: Simplify 0 into 0
17.716 * [backup-simplify]: Simplify 1 into 1
17.716 * [taylor]: Taking taylor expansion of (pow y 2) in x
17.716 * [taylor]: Taking taylor expansion of y in x
17.716 * [backup-simplify]: Simplify y into y
17.716 * [backup-simplify]: Simplify (* y y) into (pow y 2)
17.716 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
17.717 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
17.717 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
17.717 * [backup-simplify]: Simplify (/ -3.0 (pow y 2)) into (/ -3.0 (pow y 2))
17.717 * [taylor]: Taking taylor expansion of (/ -3.0 (* x (pow y 2))) in x
17.717 * [taylor]: Taking taylor expansion of -3.0 in x
17.717 * [backup-simplify]: Simplify -3.0 into -3.0
17.717 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
17.717 * [taylor]: Taking taylor expansion of x in x
17.717 * [backup-simplify]: Simplify 0 into 0
17.717 * [backup-simplify]: Simplify 1 into 1
17.717 * [taylor]: Taking taylor expansion of (pow y 2) in x
17.717 * [taylor]: Taking taylor expansion of y in x
17.717 * [backup-simplify]: Simplify y into y
17.717 * [backup-simplify]: Simplify (* y y) into (pow y 2)
17.717 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
17.718 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
17.718 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
17.718 * [backup-simplify]: Simplify (/ -3.0 (pow y 2)) into (/ -3.0 (pow y 2))
17.718 * [taylor]: Taking taylor expansion of (/ -3.0 (pow y 2)) in y
17.718 * [taylor]: Taking taylor expansion of -3.0 in y
17.718 * [backup-simplify]: Simplify -3.0 into -3.0
17.718 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.718 * [taylor]: Taking taylor expansion of y in y
17.718 * [backup-simplify]: Simplify 0 into 0
17.718 * [backup-simplify]: Simplify 1 into 1
17.719 * [backup-simplify]: Simplify (* 1 1) into 1
17.719 * [backup-simplify]: Simplify (/ -3.0 1) into -3.0
17.719 * [backup-simplify]: Simplify -3.0 into -3.0
17.719 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
17.720 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
17.720 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))))) into 0
17.720 * [taylor]: Taking taylor expansion of 0 in y
17.720 * [backup-simplify]: Simplify 0 into 0
17.721 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.722 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)))) into 0
17.722 * [backup-simplify]: Simplify 0 into 0
17.722 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
17.723 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
17.724 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
17.724 * [taylor]: Taking taylor expansion of 0 in y
17.724 * [backup-simplify]: Simplify 0 into 0
17.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
17.725 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.725 * [backup-simplify]: Simplify 0 into 0
17.726 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
17.728 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
17.728 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
17.728 * [taylor]: Taking taylor expansion of 0 in y
17.728 * [backup-simplify]: Simplify 0 into 0
17.728 * [backup-simplify]: Simplify 0 into 0
17.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
17.730 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.730 * [backup-simplify]: Simplify 0 into 0
17.731 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
17.732 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0
17.733 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -3.0 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
17.733 * [taylor]: Taking taylor expansion of 0 in y
17.733 * [backup-simplify]: Simplify 0 into 0
17.733 * [backup-simplify]: Simplify 0 into 0
17.733 * [backup-simplify]: Simplify 0 into 0
17.733 * [backup-simplify]: Simplify (* -3.0 (* (pow (/ 1 (- y)) -2) (/ 1 (/ 1 (- x))))) into (* 3.0 (* x (pow y 2)))
17.733 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
17.733 * [backup-simplify]: Simplify (* (* x y) y) into (* x (pow y 2))
17.733 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0
17.734 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
17.734 * [taylor]: Taking taylor expansion of x in y
17.734 * [backup-simplify]: Simplify x into x
17.734 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.734 * [taylor]: Taking taylor expansion of y in y
17.734 * [backup-simplify]: Simplify 0 into 0
17.734 * [backup-simplify]: Simplify 1 into 1
17.734 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
17.734 * [taylor]: Taking taylor expansion of x in x
17.734 * [backup-simplify]: Simplify 0 into 0
17.734 * [backup-simplify]: Simplify 1 into 1
17.734 * [taylor]: Taking taylor expansion of (pow y 2) in x
17.734 * [taylor]: Taking taylor expansion of y in x
17.734 * [backup-simplify]: Simplify y into y
17.734 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
17.734 * [taylor]: Taking taylor expansion of x in x
17.734 * [backup-simplify]: Simplify 0 into 0
17.734 * [backup-simplify]: Simplify 1 into 1
17.734 * [taylor]: Taking taylor expansion of (pow y 2) in x
17.734 * [taylor]: Taking taylor expansion of y in x
17.734 * [backup-simplify]: Simplify y into y
17.734 * [backup-simplify]: Simplify (* y y) into (pow y 2)
17.734 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
17.734 * [taylor]: Taking taylor expansion of 0 in y
17.734 * [backup-simplify]: Simplify 0 into 0
17.734 * [backup-simplify]: Simplify 0 into 0
17.734 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
17.735 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
17.735 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.735 * [taylor]: Taking taylor expansion of y in y
17.735 * [backup-simplify]: Simplify 0 into 0
17.735 * [backup-simplify]: Simplify 1 into 1
17.735 * [backup-simplify]: Simplify (* 1 1) into 1
17.735 * [backup-simplify]: Simplify 1 into 1
17.735 * [backup-simplify]: Simplify 0 into 0
17.736 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
17.736 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
17.736 * [taylor]: Taking taylor expansion of 0 in y
17.736 * [backup-simplify]: Simplify 0 into 0
17.736 * [backup-simplify]: Simplify 0 into 0
17.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.737 * [backup-simplify]: Simplify 0 into 0
17.737 * [backup-simplify]: Simplify 0 into 0
17.738 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
17.739 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
17.739 * [taylor]: Taking taylor expansion of 0 in y
17.739 * [backup-simplify]: Simplify 0 into 0
17.739 * [backup-simplify]: Simplify 0 into 0
17.739 * [backup-simplify]: Simplify 0 into 0
17.739 * [backup-simplify]: Simplify (* 1 (* (pow y 2) x)) into (* x (pow y 2))
17.739 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 y)) (/ 1 y)) into (/ 1 (* x (pow y 2)))
17.739 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0
17.739 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
17.739 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
17.739 * [taylor]: Taking taylor expansion of x in y
17.739 * [backup-simplify]: Simplify x into x
17.739 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.739 * [taylor]: Taking taylor expansion of y in y
17.739 * [backup-simplify]: Simplify 0 into 0
17.739 * [backup-simplify]: Simplify 1 into 1
17.739 * [backup-simplify]: Simplify (* 1 1) into 1
17.739 * [backup-simplify]: Simplify (* x 1) into x
17.740 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
17.740 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
17.740 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
17.740 * [taylor]: Taking taylor expansion of x in x
17.740 * [backup-simplify]: Simplify 0 into 0
17.740 * [backup-simplify]: Simplify 1 into 1
17.740 * [taylor]: Taking taylor expansion of (pow y 2) in x
17.740 * [taylor]: Taking taylor expansion of y in x
17.740 * [backup-simplify]: Simplify y into y
17.740 * [backup-simplify]: Simplify (* y y) into (pow y 2)
17.740 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
17.740 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
17.740 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
17.740 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
17.740 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
17.740 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
17.740 * [taylor]: Taking taylor expansion of x in x
17.740 * [backup-simplify]: Simplify 0 into 0
17.740 * [backup-simplify]: Simplify 1 into 1
17.740 * [taylor]: Taking taylor expansion of (pow y 2) in x
17.741 * [taylor]: Taking taylor expansion of y in x
17.741 * [backup-simplify]: Simplify y into y
17.741 * [backup-simplify]: Simplify (* y y) into (pow y 2)
17.741 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
17.741 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
17.741 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
17.741 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
17.741 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
17.741 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.741 * [taylor]: Taking taylor expansion of y in y
17.741 * [backup-simplify]: Simplify 0 into 0
17.741 * [backup-simplify]: Simplify 1 into 1
17.742 * [backup-simplify]: Simplify (* 1 1) into 1
17.742 * [backup-simplify]: Simplify (/ 1 1) into 1
17.742 * [backup-simplify]: Simplify 1 into 1
17.742 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
17.743 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
17.743 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
17.743 * [taylor]: Taking taylor expansion of 0 in y
17.743 * [backup-simplify]: Simplify 0 into 0
17.744 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
17.744 * [backup-simplify]: Simplify 0 into 0
17.745 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
17.746 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
17.746 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
17.746 * [taylor]: Taking taylor expansion of 0 in y
17.746 * [backup-simplify]: Simplify 0 into 0
17.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
17.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.747 * [backup-simplify]: Simplify 0 into 0
17.748 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
17.749 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
17.750 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
17.750 * [taylor]: Taking taylor expansion of 0 in y
17.750 * [backup-simplify]: Simplify 0 into 0
17.750 * [backup-simplify]: Simplify 0 into 0
17.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
17.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.751 * [backup-simplify]: Simplify 0 into 0
17.753 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
17.754 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0
17.755 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
17.755 * [taylor]: Taking taylor expansion of 0 in y
17.755 * [backup-simplify]: Simplify 0 into 0
17.755 * [backup-simplify]: Simplify 0 into 0
17.755 * [backup-simplify]: Simplify 0 into 0
17.755 * [backup-simplify]: Simplify (* 1 (* (pow (/ 1 y) -2) (/ 1 (/ 1 x)))) into (* x (pow y 2))
17.755 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) into (/ -1 (* x (pow y 2)))
17.755 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0
17.755 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
17.755 * [taylor]: Taking taylor expansion of -1 in y
17.755 * [backup-simplify]: Simplify -1 into -1
17.755 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
17.755 * [taylor]: Taking taylor expansion of x in y
17.755 * [backup-simplify]: Simplify x into x
17.755 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.755 * [taylor]: Taking taylor expansion of y in y
17.755 * [backup-simplify]: Simplify 0 into 0
17.755 * [backup-simplify]: Simplify 1 into 1
17.756 * [backup-simplify]: Simplify (* 1 1) into 1
17.756 * [backup-simplify]: Simplify (* x 1) into x
17.756 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
17.756 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
17.756 * [taylor]: Taking taylor expansion of -1 in x
17.756 * [backup-simplify]: Simplify -1 into -1
17.756 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
17.756 * [taylor]: Taking taylor expansion of x in x
17.756 * [backup-simplify]: Simplify 0 into 0
17.756 * [backup-simplify]: Simplify 1 into 1
17.756 * [taylor]: Taking taylor expansion of (pow y 2) in x
17.756 * [taylor]: Taking taylor expansion of y in x
17.756 * [backup-simplify]: Simplify y into y
17.756 * [backup-simplify]: Simplify (* y y) into (pow y 2)
17.756 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
17.756 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
17.757 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
17.757 * [backup-simplify]: Simplify (/ -1 (pow y 2)) into (/ -1 (pow y 2))
17.757 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
17.757 * [taylor]: Taking taylor expansion of -1 in x
17.757 * [backup-simplify]: Simplify -1 into -1
17.757 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
17.757 * [taylor]: Taking taylor expansion of x in x
17.757 * [backup-simplify]: Simplify 0 into 0
17.757 * [backup-simplify]: Simplify 1 into 1
17.757 * [taylor]: Taking taylor expansion of (pow y 2) in x
17.757 * [taylor]: Taking taylor expansion of y in x
17.757 * [backup-simplify]: Simplify y into y
17.757 * [backup-simplify]: Simplify (* y y) into (pow y 2)
17.757 * [backup-simplify]: Simplify (* 0 (pow y 2)) into 0
17.757 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
17.758 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (pow y 2))) into (pow y 2)
17.758 * [backup-simplify]: Simplify (/ -1 (pow y 2)) into (/ -1 (pow y 2))
17.758 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y
17.758 * [taylor]: Taking taylor expansion of -1 in y
17.758 * [backup-simplify]: Simplify -1 into -1
17.758 * [taylor]: Taking taylor expansion of (pow y 2) in y
17.758 * [taylor]: Taking taylor expansion of y in y
17.758 * [backup-simplify]: Simplify 0 into 0
17.758 * [backup-simplify]: Simplify 1 into 1
17.759 * [backup-simplify]: Simplify (* 1 1) into 1
17.759 * [backup-simplify]: Simplify (/ -1 1) into -1
17.759 * [backup-simplify]: Simplify -1 into -1
17.759 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
17.760 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (pow y 2)))) into 0
17.760 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -1 (pow y 2)) (/ 0 (pow y 2))))) into 0
17.760 * [taylor]: Taking taylor expansion of 0 in y
17.760 * [backup-simplify]: Simplify 0 into 0
17.761 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
17.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
17.761 * [backup-simplify]: Simplify 0 into 0
17.762 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
17.763 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
17.763 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
17.763 * [taylor]: Taking taylor expansion of 0 in y
17.763 * [backup-simplify]: Simplify 0 into 0
17.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
17.765 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.765 * [backup-simplify]: Simplify 0 into 0
17.766 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
17.767 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
17.767 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
17.767 * [taylor]: Taking taylor expansion of 0 in y
17.767 * [backup-simplify]: Simplify 0 into 0
17.767 * [backup-simplify]: Simplify 0 into 0
17.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
17.769 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.769 * [backup-simplify]: Simplify 0 into 0
17.770 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
17.771 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0
17.772 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ -1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
17.772 * [taylor]: Taking taylor expansion of 0 in y
17.772 * [backup-simplify]: Simplify 0 into 0
17.772 * [backup-simplify]: Simplify 0 into 0
17.772 * [backup-simplify]: Simplify 0 into 0
17.772 * [backup-simplify]: Simplify (* -1 (* (pow (/ 1 (- y)) -2) (/ 1 (/ 1 (- x))))) into (* x (pow y 2))
17.772 * * * [progress]: simplifying candidates
17.773 * [simplify]: Simplifying:
  (expm1 (* (pow 3.0 1) (* (* x y) y)))
  (log1p (* (pow 3.0 1) (* (* x y) y)))
  (* 3.0 (* (* x y) y))
  (* 3.0 (* (* x y) y))
  (* 3.0 (* (* x y) y))
  (+ (* (log 3.0) 1) (+ (+ (log x) (log y)) (log y)))
  (+ (* (log 3.0) 1) (+ (log (* x y)) (log y)))
  (+ (* (log 3.0) 1) (log (* (* x y) y)))
  (+ (* (log 3.0) 1) (+ (+ (log x) (log y)) (log y)))
  (+ (* (log 3.0) 1) (+ (log (* x y)) (log y)))
  (+ (* (log 3.0) 1) (log (* (* x y) y)))
  (+ (log (pow 3.0 1)) (+ (+ (log x) (log y)) (log y)))
  (+ (log (pow 3.0 1)) (+ (log (* x y)) (log y)))
  (+ (log (pow 3.0 1)) (log (* (* x y) y)))
  (log (* (pow 3.0 1) (* (* x y) y)))
  (exp (* (pow 3.0 1) (* (* x y) y)))
  (* (* (* (pow 3.0 1) (pow 3.0 1)) (pow 3.0 1)) (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y)))
  (* (* (* (pow 3.0 1) (pow 3.0 1)) (pow 3.0 1)) (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y)))
  (* (* (* (pow 3.0 1) (pow 3.0 1)) (pow 3.0 1)) (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)))
  (* (cbrt (* (pow 3.0 1) (* (* x y) y))) (cbrt (* (pow 3.0 1) (* (* x y) y))))
  (cbrt (* (pow 3.0 1) (* (* x y) y)))
  (* (* (* (pow 3.0 1) (* (* x y) y)) (* (pow 3.0 1) (* (* x y) y))) (* (pow 3.0 1) (* (* x y) y)))
  (sqrt (* (pow 3.0 1) (* (* x y) y)))
  (sqrt (* (pow 3.0 1) (* (* x y) y)))
  (* (pow 3.0 1) (* x y))
  (* (pow (cbrt 3.0) 1) (* (* x y) y))
  (* (pow (sqrt 3.0) 1) (* (* x y) y))
  (* (pow 3.0 1) (* (* x y) y))
  (* (cbrt (pow 3.0 1)) (* (* x y) y))
  (* (sqrt (pow 3.0 1)) (* (* x y) y))
  (* (pow 3.0 1) (* (* x y) y))
  (* (pow 3.0 (/ 1 2)) (* (* x y) y))
  (expm1 (* (* x y) y))
  (log1p (* (* x y) y))
  (* (* x y) y)
  (* (* x y) y)
  (+ (+ (log x) (log y)) (log y))
  (+ (log (* x y)) (log y))
  (log (* (* x y) y))
  (exp (* (* x y) y))
  (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y))
  (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y))
  (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
  (cbrt (* (* x y) y))
  (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y))
  (sqrt (* (* x y) y))
  (sqrt (* (* x y) y))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* (* x y) 1)
  (* y y)
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
17.774 * * [simplify]: Extracting # 0 : cost  0
17.774 * * [simplify]: Extracting # 1 : cost  0
17.774 * * [simplify]: Extracting # 2 : cost  0
17.774 * * [simplify]: Extracting # 3 : cost  0
17.775 * * [simplify]: Extracting # 4 : cost  0
17.775 * * [simplify]: Extracting # 5 : cost  0
17.775 * * [simplify]: Extracting # 6 : cost  0
17.775 * * [simplify]: iteration  0 :  80  enodes  (cost  602 )
17.804 * * [simplify]: Extracting # 0 : cost  0
17.805 * * [simplify]: Extracting # 1 : cost  0
17.805 * * [simplify]: Extracting # 2 : cost  0
17.806 * * [simplify]: Extracting # 3 : cost  0
17.806 * * [simplify]: iteration  1 :  196  enodes  (cost  503 )
17.989 * * [simplify]: Extracting # 0 : cost  0
17.990 * * [simplify]: Extracting # 1 : cost  0
17.992 * * [simplify]: Extracting # 2 : cost  0
17.994 * * [simplify]: Extracting # 3 : cost  0
17.995 * * [simplify]: Extracting # 4 : cost  0
17.997 * * [simplify]: iteration  2 :  749  enodes  (cost  416 )
20.047 * * [simplify]: Extracting # 0 : cost  0
20.056 * * [simplify]: Extracting # 1 : cost  0
20.062 * * [simplify]: Extracting # 2 : cost  0
20.068 * * [simplify]: Extracting # 3 : cost  0
20.074 * * [simplify]: Extracting # 4 : cost  0
20.080 * * [simplify]: Extracting # 5 : cost  0
20.085 * * [simplify]: iteration  3 :  2765  enodes  (cost  416 )
23.686 * * [simplify]: Extracting # 0 : cost  0
23.703 * * [simplify]: Extracting # 1 : cost  0
23.713 * * [simplify]: Extracting # 2 : cost  0
23.724 * * [simplify]: Extracting # 3 : cost  0
23.734 * * [simplify]: Extracting # 4 : cost  0
23.744 * * [simplify]: iteration done:  5000  enodes  (cost  416 )
23.745 * [simplify]: Simplified to:
  (expm1 (* 3.0 (* x (pow y 2))))
  (log1p (* 3.0 (* x (pow y 2))))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (log (* 3.0 (* x (pow y 2))))
  (log (* 3.0 (* x (pow y 2))))
  (log (* 3.0 (* x (pow y 2))))
  (log (* 3.0 (* x (pow y 2))))
  (log (* 3.0 (* x (pow y 2))))
  (log (* 3.0 (* x (pow y 2))))
  (log (* 3.0 (* x (pow y 2))))
  (log (* 3.0 (* x (pow y 2))))
  (log (* 3.0 (* x (pow y 2))))
  (log (* 3.0 (* x (pow y 2))))
  (exp (* 3.0 (* x (pow y 2))))
  (pow (* 3.0 (* x (pow y 2))) 3)
  (pow (* 3.0 (* x (pow y 2))) 3)
  (pow (* 3.0 (* x (pow y 2))) 3)
  (* (cbrt (* 3.0 (* x (pow y 2)))) (cbrt (* 3.0 (* x (pow y 2)))))
  (cbrt (* 3.0 (* x (pow y 2))))
  (pow (* 3.0 (* x (pow y 2))) 3)
  (sqrt (* 3.0 (* x (pow y 2))))
  (sqrt (* 3.0 (* x (pow y 2))))
  (* (* x y) 3.0)
  (* (* x (pow y 2)) (cbrt 3.0))
  (* (sqrt 3.0) (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* (* x (pow y 2)) (cbrt 3.0))
  (* (sqrt 3.0) (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* (sqrt 3.0) (* x (pow y 2)))
  (expm1 (* (* x y) y))
  (log1p (* (* x y) y))
  (* x (pow y 2))
  (* x (pow y 2))
  (log (* x (pow y 2)))
  (log (* x (pow y 2)))
  (log (* x (pow y 2)))
  (exp (* (* x y) y))
  (pow (* x (pow y 2)) 3)
  (pow (* x (pow y 2)) 3)
  (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
  (cbrt (* (* x y) y))
  (pow (* x (pow y 2)) 3)
  (sqrt (* (* x y) y))
  (sqrt (* (* x y) y))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* x y)
  (* y y)
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* 3.0 (* x (pow y 2)))
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
23.746 * * * [progress]: adding candidates to table
23.889 * [progress]: [Phase 3 of 3] Extracting.
23.890 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (* (* (* x 3.0) y) y))> #<alt (λ (x y) (* (pow 3.0 1) (* (* x y) y)))> #<alt (λ (x y) (* x (* (* y 3.0) y)))> #<alt (λ (x y) (* (* x 3.0) (* y y)))> #<alt (λ (x y) (* (* (cbrt (* (* x (* y 3.0)) y)) (cbrt (* (* x (* y 3.0)) y))) (cbrt (* (* x (* y 3.0)) y))))> #<alt (λ (x y) (* (pow (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) 1) y))> #<alt (λ (x y) (* (pow (sqrt 3.0) 1) (* (sqrt 3.0) (* x (pow y 2)))))>)
23.890 * * * [regime-changes]: Trying 4 branch expressions: ((* x 3.0) (* (* (* x 3.0) y) y) y x)
23.890 * * * * [regimes]: Trying to branch on (* x 3.0) from (#<alt (λ (x y) (* (* (* x 3.0) y) y))> #<alt (λ (x y) (* (pow 3.0 1) (* (* x y) y)))> #<alt (λ (x y) (* x (* (* y 3.0) y)))> #<alt (λ (x y) (* (* x 3.0) (* y y)))> #<alt (λ (x y) (* (* (cbrt (* (* x (* y 3.0)) y)) (cbrt (* (* x (* y 3.0)) y))) (cbrt (* (* x (* y 3.0)) y))))> #<alt (λ (x y) (* (pow (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) 1) y))> #<alt (λ (x y) (* (pow (sqrt 3.0) 1) (* (sqrt 3.0) (* x (pow y 2)))))>)
23.917 * * * * [regimes]: Trying to branch on (* (* (* x 3.0) y) y) from (#<alt (λ (x y) (* (* (* x 3.0) y) y))> #<alt (λ (x y) (* (pow 3.0 1) (* (* x y) y)))> #<alt (λ (x y) (* x (* (* y 3.0) y)))> #<alt (λ (x y) (* (* x 3.0) (* y y)))> #<alt (λ (x y) (* (* (cbrt (* (* x (* y 3.0)) y)) (cbrt (* (* x (* y 3.0)) y))) (cbrt (* (* x (* y 3.0)) y))))> #<alt (λ (x y) (* (pow (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) 1) y))> #<alt (λ (x y) (* (pow (sqrt 3.0) 1) (* (sqrt 3.0) (* x (pow y 2)))))>)
23.954 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (* (* (* x 3.0) y) y))> #<alt (λ (x y) (* (pow 3.0 1) (* (* x y) y)))> #<alt (λ (x y) (* x (* (* y 3.0) y)))> #<alt (λ (x y) (* (* x 3.0) (* y y)))> #<alt (λ (x y) (* (* (cbrt (* (* x (* y 3.0)) y)) (cbrt (* (* x (* y 3.0)) y))) (cbrt (* (* x (* y 3.0)) y))))> #<alt (λ (x y) (* (pow (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) 1) y))> #<alt (λ (x y) (* (pow (sqrt 3.0) 1) (* (sqrt 3.0) (* x (pow y 2)))))>)
24.000 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (* (* (* x 3.0) y) y))> #<alt (λ (x y) (* (pow 3.0 1) (* (* x y) y)))> #<alt (λ (x y) (* x (* (* y 3.0) y)))> #<alt (λ (x y) (* (* x 3.0) (* y y)))> #<alt (λ (x y) (* (* (cbrt (* (* x (* y 3.0)) y)) (cbrt (* (* x (* y 3.0)) y))) (cbrt (* (* x (* y 3.0)) y))))> #<alt (λ (x y) (* (pow (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x y))) 1) y))> #<alt (λ (x y) (* (pow (sqrt 3.0) 1) (* (sqrt 3.0) (* x (pow y 2)))))>)
24.049 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
24.050 * [simplify]: Simplifying:
  (* (* (* x 3.0) y) y)
24.050 * * [simplify]: Extracting # 0 : cost  0
24.050 * * [simplify]: Extracting # 1 : cost  0
24.050 * * [simplify]: Extracting # 2 : cost  0
24.050 * * [simplify]: Extracting # 3 : cost  0
24.050 * * [simplify]: Extracting # 4 : cost  0
24.050 * * [simplify]: Extracting # 5 : cost  0
24.050 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
24.051 * * [simplify]: Extracting # 0 : cost  0
24.051 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
24.052 * * [simplify]: Extracting # 0 : cost  0
24.052 * * [simplify]: iteration done:  9  enodes  (cost  7 )
24.052 * [simplify]: Simplified to:
  (* (* (* x 3.0) y) y)
25.305 * [regime-testing]: Baseline error score: 0.28571992593139645
25.307 * [regime-testing]: Oracle error score: 0.020252531566445804
25.312 * [regime-testing]: End program error score: 0.28571992593139645
25.334 * [regime-testing]: Target error score: 0.23897348106283706