22.838 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.056 * * * [progress]: [2/2] Setting up program.
0.058 * [progress]: [Phase 2 of 3] Improving.
0.059 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (+ 1.0 (exp x))) (* x y))
0.061 * * [simplify]: iteration  0 :  12  enodes  (cost  5 )
0.062 * * [simplify]: iteration  1 :  19  enodes  (cost  5 )
0.063 * * [simplify]: iteration  2 :  19  enodes  (cost  5 )
0.064 * [simplify]: Simplified to:
   (- (log (+ 1.0 (exp x))) (* x y))
0.064 * * [progress]: iteration 1 / 4
0.064 * * * [progress]: picking best candidate
0.065 * * * * [pick]: Picked  #<alt (λ (x y) (- (log (+ 1.0 (exp x))) (* x y)))>
0.066 * * * [progress]: localizing error
0.073 * * * [progress]: generating rewritten candidates
0.073 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.075 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.078 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.080 * * * [progress]: generating series expansions
0.080 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.080 * [approximate]: Taking taylor expansion of (log (+ (exp x) 1.0)) in (x) around 0
0.080 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.080 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.080 * [taylor]: Taking taylor expansion of (exp x) in x
0.080 * [taylor]: Taking taylor expansion of x in x
0.080 * [taylor]: Taking taylor expansion of 1.0 in x
0.081 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.081 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.081 * [taylor]: Taking taylor expansion of (exp x) in x
0.081 * [taylor]: Taking taylor expansion of x in x
0.081 * [taylor]: Taking taylor expansion of 1.0 in x
0.100 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in (x) around 0
0.100 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.100 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.100 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.100 * [taylor]: Taking taylor expansion of 1.0 in x
0.101 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.101 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.101 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.101 * [taylor]: Taking taylor expansion of x in x
0.101 * [taylor]: Taking taylor expansion of 1.0 in x
0.120 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in (x) around 0
0.120 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.120 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.120 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.120 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.120 * [taylor]: Taking taylor expansion of -1 in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of 1.0 in x
0.121 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.121 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.121 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.121 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.121 * [taylor]: Taking taylor expansion of -1 in x
0.121 * [taylor]: Taking taylor expansion of x in x
0.121 * [taylor]: Taking taylor expansion of 1.0 in x
0.141 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.141 * [approximate]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in (x y) around 0
0.141 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in y
0.141 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in y
0.141 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in y
0.141 * [taylor]: Taking taylor expansion of (exp x) in y
0.141 * [taylor]: Taking taylor expansion of x in y
0.141 * [taylor]: Taking taylor expansion of 1.0 in y
0.141 * [taylor]: Taking taylor expansion of (* x y) in y
0.141 * [taylor]: Taking taylor expansion of x in y
0.141 * [taylor]: Taking taylor expansion of y in y
0.141 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x
0.141 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.141 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.141 * [taylor]: Taking taylor expansion of (exp x) in x
0.141 * [taylor]: Taking taylor expansion of x in x
0.141 * [taylor]: Taking taylor expansion of 1.0 in x
0.142 * [taylor]: Taking taylor expansion of (* x y) in x
0.142 * [taylor]: Taking taylor expansion of x in x
0.142 * [taylor]: Taking taylor expansion of y in x
0.142 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x
0.142 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.142 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.142 * [taylor]: Taking taylor expansion of (exp x) in x
0.142 * [taylor]: Taking taylor expansion of x in x
0.142 * [taylor]: Taking taylor expansion of 1.0 in x
0.142 * [taylor]: Taking taylor expansion of (* x y) in x
0.142 * [taylor]: Taking taylor expansion of x in x
0.142 * [taylor]: Taking taylor expansion of y in x
0.143 * [taylor]: Taking taylor expansion of (log 2.0) in y
0.143 * [taylor]: Taking taylor expansion of 2.0 in y
0.148 * [taylor]: Taking taylor expansion of (- 0.5 y) in y
0.148 * [taylor]: Taking taylor expansion of 0.5 in y
0.148 * [taylor]: Taking taylor expansion of y in y
0.159 * [taylor]: Taking taylor expansion of (- 0.25 (* 1/2 (/ 1 (pow 2.0 2)))) in y
0.159 * [taylor]: Taking taylor expansion of 0.25 in y
0.159 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow 2.0 2))) in y
0.159 * [taylor]: Taking taylor expansion of 1/2 in y
0.159 * [taylor]: Taking taylor expansion of (/ 1 (pow 2.0 2)) in y
0.159 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y
0.159 * [taylor]: Taking taylor expansion of 2.0 in y
0.161 * [approximate]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in (x y) around 0
0.161 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in y
0.161 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y
0.161 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y
0.161 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.162 * [taylor]: Taking taylor expansion of x in y
0.162 * [taylor]: Taking taylor expansion of 1.0 in y
0.162 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.162 * [taylor]: Taking taylor expansion of (* x y) in y
0.162 * [taylor]: Taking taylor expansion of x in y
0.162 * [taylor]: Taking taylor expansion of y in y
0.162 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x
0.162 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.162 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.162 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.162 * [taylor]: Taking taylor expansion of x in x
0.162 * [taylor]: Taking taylor expansion of 1.0 in x
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.163 * [taylor]: Taking taylor expansion of (* x y) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [taylor]: Taking taylor expansion of y in x
0.163 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x
0.163 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.163 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.163 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.163 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [taylor]: Taking taylor expansion of 1.0 in x
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.163 * [taylor]: Taking taylor expansion of (* x y) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [taylor]: Taking taylor expansion of y in x
0.164 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.164 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.164 * [taylor]: Taking taylor expansion of y in y
0.165 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y
0.165 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y
0.165 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.165 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.165 * [taylor]: Taking taylor expansion of x in y
0.165 * [taylor]: Taking taylor expansion of 1.0 in y
0.168 * [taylor]: Taking taylor expansion of 0 in y
0.172 * [taylor]: Taking taylor expansion of 0 in y
0.180 * [taylor]: Taking taylor expansion of 0 in y
0.180 * [approximate]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in (x y) around 0
0.181 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in y
0.181 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y
0.181 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y
0.181 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.181 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.181 * [taylor]: Taking taylor expansion of -1 in y
0.181 * [taylor]: Taking taylor expansion of x in y
0.181 * [taylor]: Taking taylor expansion of 1.0 in y
0.181 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.181 * [taylor]: Taking taylor expansion of (* x y) in y
0.181 * [taylor]: Taking taylor expansion of x in y
0.181 * [taylor]: Taking taylor expansion of y in y
0.181 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x
0.181 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.181 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.181 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.181 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.181 * [taylor]: Taking taylor expansion of -1 in x
0.181 * [taylor]: Taking taylor expansion of x in x
0.182 * [taylor]: Taking taylor expansion of 1.0 in x
0.182 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.182 * [taylor]: Taking taylor expansion of (* x y) in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.182 * [taylor]: Taking taylor expansion of y in x
0.182 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x
0.182 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.182 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.182 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.182 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.182 * [taylor]: Taking taylor expansion of -1 in x
0.182 * [taylor]: Taking taylor expansion of x in x
0.182 * [taylor]: Taking taylor expansion of 1.0 in x
0.183 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.183 * [taylor]: Taking taylor expansion of (* x y) in x
0.183 * [taylor]: Taking taylor expansion of x in x
0.183 * [taylor]: Taking taylor expansion of y in x
0.183 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.183 * [taylor]: Taking taylor expansion of y in y
0.184 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y
0.184 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y
0.184 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.185 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.185 * [taylor]: Taking taylor expansion of -1 in y
0.185 * [taylor]: Taking taylor expansion of x in y
0.185 * [taylor]: Taking taylor expansion of 1.0 in y
0.187 * [taylor]: Taking taylor expansion of 0 in y
0.191 * [taylor]: Taking taylor expansion of 0 in y
0.196 * [taylor]: Taking taylor expansion of 0 in y
0.197 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
0.197 * [approximate]: Taking taylor expansion of (+ (exp x) 1.0) in (x) around 0
0.197 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.197 * [taylor]: Taking taylor expansion of (exp x) in x
0.197 * [taylor]: Taking taylor expansion of x in x
0.197 * [taylor]: Taking taylor expansion of 1.0 in x
0.197 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.197 * [taylor]: Taking taylor expansion of (exp x) in x
0.197 * [taylor]: Taking taylor expansion of x in x
0.197 * [taylor]: Taking taylor expansion of 1.0 in x
0.199 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in (x) around 0
0.199 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.199 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.199 * [taylor]: Taking taylor expansion of x in x
0.199 * [taylor]: Taking taylor expansion of 1.0 in x
0.200 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.200 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.200 * [taylor]: Taking taylor expansion of x in x
0.200 * [taylor]: Taking taylor expansion of 1.0 in x
0.201 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in (x) around 0
0.201 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.201 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.202 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.202 * [taylor]: Taking taylor expansion of -1 in x
0.202 * [taylor]: Taking taylor expansion of x in x
0.202 * [taylor]: Taking taylor expansion of 1.0 in x
0.202 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.202 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.202 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.202 * [taylor]: Taking taylor expansion of -1 in x
0.202 * [taylor]: Taking taylor expansion of x in x
0.202 * [taylor]: Taking taylor expansion of 1.0 in x
0.204 * * * [progress]: simplifying candidates
0.204 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (+ (pow 1.0 3) (pow (exp x) 3)))
  (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
  (log (- (* 1.0 1.0) (* (exp x) (exp x))))
  (log (- 1.0 (exp x)))
  (- (pow (log (+ 1.0 (exp x))) 3) (pow (* x y) 3))
  (+ (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1.0 (exp x))) (* x y))))
  (- (* x y))
  (- (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (* (* x y) (* x y)))
  (+ (log (+ 1.0 (exp x))) (* x y))
  (+ (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))) (* x y))
  (+ (log (- 1.0 (exp x))) (* x y))
  (- (* x y))
  (+ (pow 1.0 3) (pow (exp x) 3))
  (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))
  (- (* 1.0 1.0) (* (exp x) (exp x)))
  (- 1.0 (exp x))
  (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2))))
  (log (+ (exp x) 1.0))
  (log (+ (exp x) 1.0))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (- (log (+ (exp x) 1.0)) (* x y))
  (- (log (+ (exp x) 1.0)) (* x y))
  (+ (* 1/2 (pow x 2)) (+ x 2.0))
  (+ (exp x) 1.0)
  (+ (exp x) 1.0)
0.207 * * [simplify]: iteration  0 :  147  enodes  (cost  139 )
0.210 * * [simplify]: iteration  1 :  400  enodes  (cost  139 )
0.217 * * [simplify]: iteration  2 :  1172  enodes  (cost  136 )
0.237 * * [simplify]: iteration  3 :  4044  enodes  (cost  135 )
0.330 * * [simplify]: iteration  4 :  5001  enodes  (cost  135 )
0.331 * [simplify]: Simplified to:
   (log (+ (pow 1.0 3) (pow (exp x) 3)))
  (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
  (log (- (* 1.0 1.0) (* (exp x) (exp x))))
  (log (- 1.0 (exp x)))
  (- (pow (log (+ 1.0 (exp x))) 3) (pow (* x y) 3))
  (+ (* (log (+ (exp x) 1.0)) (+ (log (+ 1.0 (exp x))) (* x y))) (* (* x y) (* x y)))
  (- (* x y))
  (- (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (* (* x y) (* x y)))
  (+ (log (+ 1.0 (exp x))) (* x y))
  (+ (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))) (* x y))
  (+ (log (- 1.0 (exp x))) (* x y))
  (- (* x y))
  (+ (pow 1.0 3) (pow (exp x) 3))
  (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0))
  (- (* 1.0 1.0) (* (exp x) (exp x)))
  (- 1.0 (exp x))
  (+ (+ (log 2.0) (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2))))) (* 0.5 x))
  (log (+ (exp x) 1.0))
  (log (+ (exp x) 1.0))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (- (log (+ (exp x) 1.0)) (* x y))
  (- (log (+ (exp x) 1.0)) (* x y))
  (+ (* 1/2 (pow x 2)) (+ x 2.0))
  (+ 1.0 (exp x))
  (+ 1.0 (exp x))
0.331 * * * [progress]: adding candidates to table
0.371 * * [progress]: iteration 2 / 4
0.371 * * * [progress]: picking best candidate
0.375 * * * * [pick]: Picked  #<alt (λ (x y) (- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y)))>
0.375 * * * [progress]: localizing error
0.386 * * * [progress]: generating rewritten candidates
0.386 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.390 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.395 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.400 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.403 * * * [progress]: generating series expansions
0.403 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.403 * [approximate]: Taking taylor expansion of (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) in (x) around 0
0.403 * [taylor]: Taking taylor expansion of (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) in x
0.403 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x 2.0)) in x
0.403 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.403 * [taylor]: Taking taylor expansion of 1/2 in x
0.403 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.403 * [taylor]: Taking taylor expansion of x in x
0.403 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.403 * [taylor]: Taking taylor expansion of x in x
0.403 * [taylor]: Taking taylor expansion of 2.0 in x
0.404 * [taylor]: Taking taylor expansion of (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) in x
0.404 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x 2.0)) in x
0.404 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.404 * [taylor]: Taking taylor expansion of 1/2 in x
0.404 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.404 * [taylor]: Taking taylor expansion of x in x
0.405 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.405 * [taylor]: Taking taylor expansion of x in x
0.405 * [taylor]: Taking taylor expansion of 2.0 in x
0.420 * [approximate]: Taking taylor expansion of (log (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0))) in (x) around 0
0.420 * [taylor]: Taking taylor expansion of (log (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0))) in x
0.420 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0)) in x
0.420 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.420 * [taylor]: Taking taylor expansion of 1/2 in x
0.420 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.420 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.420 * [taylor]: Taking taylor expansion of x in x
0.421 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.421 * [taylor]: Taking taylor expansion of x in x
0.421 * [taylor]: Taking taylor expansion of 2.0 in x
0.422 * [taylor]: Taking taylor expansion of (log (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0))) in x
0.422 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0)) in x
0.422 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.422 * [taylor]: Taking taylor expansion of 1/2 in x
0.422 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.422 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.422 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.422 * [taylor]: Taking taylor expansion of 2.0 in x
0.435 * [approximate]: Taking taylor expansion of (log (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x))) in (x) around 0
0.435 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x))) in x
0.435 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x)) in x
0.435 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) 2.0) in x
0.435 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.435 * [taylor]: Taking taylor expansion of 1/2 in x
0.435 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.435 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.435 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of 2.0 in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.437 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x))) in x
0.437 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x)) in x
0.437 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) 2.0) in x
0.437 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.437 * [taylor]: Taking taylor expansion of 1/2 in x
0.437 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.437 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.437 * [taylor]: Taking taylor expansion of x in x
0.438 * [taylor]: Taking taylor expansion of 2.0 in x
0.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.438 * [taylor]: Taking taylor expansion of x in x
0.453 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.454 * [approximate]: Taking taylor expansion of (- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y)) in (x y) around 0
0.454 * [taylor]: Taking taylor expansion of (- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y)) in y
0.454 * [taylor]: Taking taylor expansion of (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) in y
0.454 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x 2.0)) in y
0.454 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in y
0.454 * [taylor]: Taking taylor expansion of 1/2 in y
0.454 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.454 * [taylor]: Taking taylor expansion of x in y
0.454 * [taylor]: Taking taylor expansion of (+ x 2.0) in y
0.454 * [taylor]: Taking taylor expansion of x in y
0.454 * [taylor]: Taking taylor expansion of 2.0 in y
0.454 * [taylor]: Taking taylor expansion of (* x y) in y
0.454 * [taylor]: Taking taylor expansion of x in y
0.454 * [taylor]: Taking taylor expansion of y in y
0.454 * [taylor]: Taking taylor expansion of (- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y)) in x
0.454 * [taylor]: Taking taylor expansion of (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) in x
0.454 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x 2.0)) in x
0.454 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.454 * [taylor]: Taking taylor expansion of 1/2 in x
0.454 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.454 * [taylor]: Taking taylor expansion of x in x
0.454 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.454 * [taylor]: Taking taylor expansion of x in x
0.454 * [taylor]: Taking taylor expansion of 2.0 in x
0.455 * [taylor]: Taking taylor expansion of (* x y) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of y in x
0.455 * [taylor]: Taking taylor expansion of (- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y)) in x
0.455 * [taylor]: Taking taylor expansion of (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) in x
0.455 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x 2.0)) in x
0.455 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.455 * [taylor]: Taking taylor expansion of 1/2 in x
0.455 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of 2.0 in x
0.456 * [taylor]: Taking taylor expansion of (* x y) in x
0.456 * [taylor]: Taking taylor expansion of x in x
0.456 * [taylor]: Taking taylor expansion of y in x
0.457 * [taylor]: Taking taylor expansion of (log 2.0) in y
0.457 * [taylor]: Taking taylor expansion of 2.0 in y
0.461 * [taylor]: Taking taylor expansion of (- 0.5 y) in y
0.461 * [taylor]: Taking taylor expansion of 0.5 in y
0.461 * [taylor]: Taking taylor expansion of y in y
0.472 * [taylor]: Taking taylor expansion of (- 0.25 (* 1/2 (/ 1 (pow 2.0 2)))) in y
0.472 * [taylor]: Taking taylor expansion of 0.25 in y
0.473 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow 2.0 2))) in y
0.473 * [taylor]: Taking taylor expansion of 1/2 in y
0.473 * [taylor]: Taking taylor expansion of (/ 1 (pow 2.0 2)) in y
0.473 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y
0.473 * [taylor]: Taking taylor expansion of 2.0 in y
0.475 * [approximate]: Taking taylor expansion of (- (log (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0))) (/ 1 (* x y))) in (x y) around 0
0.475 * [taylor]: Taking taylor expansion of (- (log (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0))) (/ 1 (* x y))) in y
0.475 * [taylor]: Taking taylor expansion of (log (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0))) in y
0.475 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0)) in y
0.475 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in y
0.475 * [taylor]: Taking taylor expansion of 1/2 in y
0.475 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.475 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.475 * [taylor]: Taking taylor expansion of x in y
0.475 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in y
0.475 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.475 * [taylor]: Taking taylor expansion of x in y
0.475 * [taylor]: Taking taylor expansion of 2.0 in y
0.475 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.475 * [taylor]: Taking taylor expansion of (* x y) in y
0.475 * [taylor]: Taking taylor expansion of x in y
0.475 * [taylor]: Taking taylor expansion of y in y
0.476 * [taylor]: Taking taylor expansion of (- (log (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0))) (/ 1 (* x y))) in x
0.476 * [taylor]: Taking taylor expansion of (log (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0))) in x
0.476 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0)) in x
0.476 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.476 * [taylor]: Taking taylor expansion of 1/2 in x
0.476 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.476 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.476 * [taylor]: Taking taylor expansion of x in x
0.476 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.476 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.476 * [taylor]: Taking taylor expansion of x in x
0.477 * [taylor]: Taking taylor expansion of 2.0 in x
0.477 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.477 * [taylor]: Taking taylor expansion of (* x y) in x
0.477 * [taylor]: Taking taylor expansion of x in x
0.477 * [taylor]: Taking taylor expansion of y in x
0.478 * [taylor]: Taking taylor expansion of (- (log (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0))) (/ 1 (* x y))) in x
0.478 * [taylor]: Taking taylor expansion of (log (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0))) in x
0.478 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0)) in x
0.478 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.478 * [taylor]: Taking taylor expansion of 1/2 in x
0.478 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.478 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.478 * [taylor]: Taking taylor expansion of x in x
0.478 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.478 * [taylor]: Taking taylor expansion of x in x
0.479 * [taylor]: Taking taylor expansion of 2.0 in x
0.479 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.479 * [taylor]: Taking taylor expansion of (* x y) in x
0.479 * [taylor]: Taking taylor expansion of x in x
0.479 * [taylor]: Taking taylor expansion of y in x
0.480 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.480 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.480 * [taylor]: Taking taylor expansion of y in y
0.482 * [taylor]: Taking taylor expansion of (- (log 1/2) (* 2 (log x))) in y
0.482 * [taylor]: Taking taylor expansion of (log 1/2) in y
0.482 * [taylor]: Taking taylor expansion of 1/2 in y
0.482 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y
0.482 * [taylor]: Taking taylor expansion of 2 in y
0.482 * [taylor]: Taking taylor expansion of (log x) in y
0.482 * [taylor]: Taking taylor expansion of x in y
0.487 * [taylor]: Taking taylor expansion of 2 in y
0.497 * [taylor]: Taking taylor expansion of 2.0 in y
0.498 * [approximate]: Taking taylor expansion of (- (log (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x))) (/ 1 (* x y))) in (x y) around 0
0.498 * [taylor]: Taking taylor expansion of (- (log (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x))) (/ 1 (* x y))) in y
0.498 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x))) in y
0.498 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x)) in y
0.498 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) 2.0) in y
0.498 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in y
0.498 * [taylor]: Taking taylor expansion of 1/2 in y
0.498 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
0.498 * [taylor]: Taking taylor expansion of (pow x 2) in y
0.498 * [taylor]: Taking taylor expansion of x in y
0.498 * [taylor]: Taking taylor expansion of 2.0 in y
0.498 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.498 * [taylor]: Taking taylor expansion of x in y
0.499 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.499 * [taylor]: Taking taylor expansion of (* x y) in y
0.499 * [taylor]: Taking taylor expansion of x in y
0.499 * [taylor]: Taking taylor expansion of y in y
0.499 * [taylor]: Taking taylor expansion of (- (log (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x))) (/ 1 (* x y))) in x
0.499 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x))) in x
0.499 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x)) in x
0.499 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) 2.0) in x
0.499 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.499 * [taylor]: Taking taylor expansion of 1/2 in x
0.499 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.499 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.499 * [taylor]: Taking taylor expansion of x in x
0.500 * [taylor]: Taking taylor expansion of 2.0 in x
0.500 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.500 * [taylor]: Taking taylor expansion of x in x
0.501 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.501 * [taylor]: Taking taylor expansion of (* x y) in x
0.501 * [taylor]: Taking taylor expansion of x in x
0.501 * [taylor]: Taking taylor expansion of y in x
0.501 * [taylor]: Taking taylor expansion of (- (log (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x))) (/ 1 (* x y))) in x
0.501 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x))) in x
0.501 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x)) in x
0.501 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) 2.0) in x
0.501 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.502 * [taylor]: Taking taylor expansion of 1/2 in x
0.502 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.502 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of 2.0 in x
0.502 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.503 * [taylor]: Taking taylor expansion of (* x y) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of y in x
0.504 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.504 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.504 * [taylor]: Taking taylor expansion of y in y
0.506 * [taylor]: Taking taylor expansion of (- (log 1/2) (* 2 (log x))) in y
0.506 * [taylor]: Taking taylor expansion of (log 1/2) in y
0.506 * [taylor]: Taking taylor expansion of 1/2 in y
0.506 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y
0.506 * [taylor]: Taking taylor expansion of 2 in y
0.506 * [taylor]: Taking taylor expansion of (log x) in y
0.506 * [taylor]: Taking taylor expansion of x in y
0.511 * [taylor]: Taking taylor expansion of -2 in y
0.524 * [taylor]: Taking taylor expansion of 2.0 in y
0.525 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.525 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x 2.0)) in (x) around 0
0.525 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x 2.0)) in x
0.525 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.525 * [taylor]: Taking taylor expansion of 1/2 in x
0.525 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.525 * [taylor]: Taking taylor expansion of x in x
0.525 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.525 * [taylor]: Taking taylor expansion of x in x
0.525 * [taylor]: Taking taylor expansion of 2.0 in x
0.525 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow x 2)) (+ x 2.0)) in x
0.525 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.525 * [taylor]: Taking taylor expansion of 1/2 in x
0.525 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.525 * [taylor]: Taking taylor expansion of x in x
0.525 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.525 * [taylor]: Taking taylor expansion of x in x
0.525 * [taylor]: Taking taylor expansion of 2.0 in x
0.527 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0)) in (x) around 0
0.527 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0)) in x
0.527 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.528 * [taylor]: Taking taylor expansion of 1/2 in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.528 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.528 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.528 * [taylor]: Taking taylor expansion of 2.0 in x
0.528 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (+ (/ 1 x) 2.0)) in x
0.528 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.528 * [taylor]: Taking taylor expansion of 1/2 in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.528 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.529 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.529 * [taylor]: Taking taylor expansion of x in x
0.529 * [taylor]: Taking taylor expansion of 2.0 in x
0.534 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x)) in (x) around 0
0.534 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x)) in x
0.534 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) 2.0) in x
0.534 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.534 * [taylor]: Taking taylor expansion of 1/2 in x
0.534 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.534 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.535 * [taylor]: Taking taylor expansion of 2.0 in x
0.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.535 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (/ 1 (pow x 2))) 2.0) (/ 1 x)) in x
0.535 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) 2.0) in x
0.535 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.535 * [taylor]: Taking taylor expansion of 1/2 in x
0.535 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.535 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.535 * [taylor]: Taking taylor expansion of x in x
0.536 * [taylor]: Taking taylor expansion of 2.0 in x
0.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.541 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.541 * [approximate]: Taking taylor expansion of (* 1/2 (pow x 2)) in (x) around 0
0.541 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.541 * [taylor]: Taking taylor expansion of 1/2 in x
0.541 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.541 * [taylor]: Taking taylor expansion of x in x
0.541 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.541 * [taylor]: Taking taylor expansion of 1/2 in x
0.541 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.541 * [taylor]: Taking taylor expansion of x in x
0.549 * [approximate]: Taking taylor expansion of (/ 1/2 (pow x 2)) in (x) around 0
0.549 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x
0.549 * [taylor]: Taking taylor expansion of 1/2 in x
0.549 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.549 * [taylor]: Taking taylor expansion of x in x
0.549 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x
0.549 * [taylor]: Taking taylor expansion of 1/2 in x
0.550 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.550 * [taylor]: Taking taylor expansion of x in x
0.557 * [approximate]: Taking taylor expansion of (/ 1/2 (pow x 2)) in (x) around 0
0.557 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x
0.557 * [taylor]: Taking taylor expansion of 1/2 in x
0.557 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x
0.557 * [taylor]: Taking taylor expansion of 1/2 in x
0.557 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.564 * * * [progress]: simplifying candidates
0.565 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3)))
  (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))
  (log (- (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (+ x 2.0) (+ x 2.0))))
  (log (- (* 1/2 (pow x 2)) (+ x 2.0)))
  (- (pow (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) 3) (pow (* x y) 3))
  (+ (* (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (log (+ (* 1/2 (pow x 2)) (+ x 2.0)))) (+ (* (* x y) (* x y)) (* (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y))))
  (- (* x y))
  (- (* (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (log (+ (* 1/2 (pow x 2)) (+ x 2.0)))) (* (* x y) (* x y)))
  (+ (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y))
  (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y))
  (+ (log (- (* 1/2 (pow x 2)) (+ x 2.0))) (* x y))
  (- (* x y))
  (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))
  (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))
  (- (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (+ x 2.0) (+ x 2.0)))
  (- (* 1/2 (pow x 2)) (+ x 2.0))
  (+ (* 1/2 (pow x 2)) x)
  (+ (* 1/2 (pow x 2)) 2.0)
  (* 1/2 x)
  (* 1/2 (pow x (/ 2 2)))
  (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2))))
  (- (+ (* 2.0 (/ 1 (pow x 2))) (+ (log 1/2) (* 2 (/ 1 x)))) (* 2 (log (/ 1 x))))
  (- (+ (* 2.0 (/ 1 (pow x 2))) (+ (log 1/2) (* 2 (/ 1 x)))) (* 2 (log (/ -1 x))))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (- (+ (log 1/2) (* 2 (/ 1 x))) (+ (* x y) (* 2 (log (/ 1 x)))))
  (- (+ (log 1/2) (* 2 (/ 1 x))) (+ (* x y) (* 2 (log (/ -1 x)))))
  (+ (* 1/2 (pow x 2)) (+ x 2.0))
  (+ (* 1/2 (pow x 2)) (+ x 2.0))
  (+ (* 1/2 (pow x 2)) (+ x 2.0))
  (* 1/2 (pow x 2))
  (* 1/2 (pow x 2))
  (* 1/2 (pow x 2))
0.569 * * [simplify]: iteration  0 :  232  enodes  (cost  234 )
0.573 * * [simplify]: iteration  1 :  853  enodes  (cost  227 )
0.590 * * [simplify]: iteration  2 :  3824  enodes  (cost  220 )
0.705 * * [simplify]: iteration  3 :  5001  enodes  (cost  220 )
0.707 * [simplify]: Simplified to:
   (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3)))
  (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))
  (log (- (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (+ x 2.0) (+ x 2.0))))
  (log (- (* 1/2 (pow x 2)) (+ x 2.0)))
  (- (pow (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) 3) (pow (* x y) 3))
  (+ (* (* x y) (* x y)) (* (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (+ (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y))))
  (- (* x y))
  (- (* (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (log (+ (* 1/2 (pow x 2)) (+ x 2.0)))) (* (* x y) (* x y)))
  (+ (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (* x y))
  (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y))
  (+ (log (- (* 1/2 (pow x 2)) (+ x 2.0))) (* x y))
  (- (* x y))
  (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))
  (+ (* (+ x 2.0) (- (+ x 2.0) (* 1/2 (pow x 2)))) (* 1/4 (* (pow x 2) (pow x 2))))
  (+ (- (* (+ x 2.0) (+ x 2.0))) (* 1/2 (* 1/2 (pow x 4))))
  (- (* 1/2 (pow x 2)) (+ x 2.0))
  (+ (* 1/2 (pow x 2)) x)
  (+ (* 1/2 (pow x 2)) 2.0)
  (* x 1/2)
  (* x 1/2)
  (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (+ (+ (* (log x) 2) (/ (/ 2.0 x) x)) (+ (/ 2 x) (log 1/2)))
  (+ (+ (/ 2 x) (- (log 1/2) (* 2 (log (/ -1 x))))) (/ (/ 2.0 x) x))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (+ (/ 2 x) (+ (- (log 1/2) (* x y)) (* (log x) 2)))
  (+ (/ 2 x) (- (log 1/2) (+ (* x y) (* 2 (log (/ -1 x))))))
  (+ (* 1/2 (pow x 2)) (+ x 2.0))
  (+ (* 1/2 (pow x 2)) (+ x 2.0))
  (+ (* 1/2 (pow x 2)) (+ x 2.0))
  (* 1/2 (pow x 2))
  (* 1/2 (pow x 2))
  (* 1/2 (pow x 2))
0.707 * * * [progress]: adding candidates to table
0.774 * * [progress]: iteration 3 / 4
0.774 * * * [progress]: picking best candidate
0.786 * * * * [pick]: Picked  #<alt (λ (x y) (- (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y)))>
0.786 * * * [progress]: localizing error
0.803 * * * [progress]: generating rewritten candidates
0.803 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.815 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.819 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
0.826 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.842 * * * [progress]: generating series expansions
0.842 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.843 * [approximate]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) in (x) around 0
0.843 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) in x
0.843 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) in x
0.843 * [taylor]: Taking taylor expansion of (log 2.0) in x
0.843 * [taylor]: Taking taylor expansion of 2.0 in x
0.843 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow x 2)) (* 0.5 x)) in x
0.843 * [taylor]: Taking taylor expansion of (* 0.25 (pow x 2)) in x
0.843 * [taylor]: Taking taylor expansion of 0.25 in x
0.843 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.843 * [taylor]: Taking taylor expansion of x in x
0.843 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.843 * [taylor]: Taking taylor expansion of 0.5 in x
0.843 * [taylor]: Taking taylor expansion of x in x
0.843 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow x 2) (pow 2.0 2))) in x
0.843 * [taylor]: Taking taylor expansion of 1/2 in x
0.843 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 2.0 2)) in x
0.843 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.843 * [taylor]: Taking taylor expansion of x in x
0.844 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
0.844 * [taylor]: Taking taylor expansion of 2.0 in x
0.844 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) in x
0.844 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) in x
0.844 * [taylor]: Taking taylor expansion of (log 2.0) in x
0.844 * [taylor]: Taking taylor expansion of 2.0 in x
0.845 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow x 2)) (* 0.5 x)) in x
0.845 * [taylor]: Taking taylor expansion of (* 0.25 (pow x 2)) in x
0.845 * [taylor]: Taking taylor expansion of 0.25 in x
0.845 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.845 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
0.845 * [taylor]: Taking taylor expansion of 0.5 in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.845 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow x 2) (pow 2.0 2))) in x
0.845 * [taylor]: Taking taylor expansion of 1/2 in x
0.845 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 2.0 2)) in x
0.845 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.845 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
0.845 * [taylor]: Taking taylor expansion of 2.0 in x
0.855 * [approximate]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2))))) in (x) around 0
0.855 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2))))) in x
0.855 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) in x
0.855 * [taylor]: Taking taylor expansion of (log 2.0) in x
0.855 * [taylor]: Taking taylor expansion of 2.0 in x
0.855 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x))) in x
0.855 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x
0.855 * [taylor]: Taking taylor expansion of 0.25 in x
0.856 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.856 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.856 * [taylor]: Taking taylor expansion of x in x
0.856 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.856 * [taylor]: Taking taylor expansion of 0.5 in x
0.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.856 * [taylor]: Taking taylor expansion of x in x
0.856 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x
0.856 * [taylor]: Taking taylor expansion of 1/2 in x
0.856 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x
0.856 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
0.856 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.856 * [taylor]: Taking taylor expansion of x in x
0.856 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
0.857 * [taylor]: Taking taylor expansion of 2.0 in x
0.857 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2))))) in x
0.858 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) in x
0.858 * [taylor]: Taking taylor expansion of (log 2.0) in x
0.858 * [taylor]: Taking taylor expansion of 2.0 in x
0.858 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x))) in x
0.858 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x
0.858 * [taylor]: Taking taylor expansion of 0.25 in x
0.858 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.858 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.858 * [taylor]: Taking taylor expansion of x in x
0.858 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.858 * [taylor]: Taking taylor expansion of 0.5 in x
0.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.858 * [taylor]: Taking taylor expansion of x in x
0.859 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x
0.859 * [taylor]: Taking taylor expansion of 1/2 in x
0.859 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x
0.859 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
0.859 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.859 * [taylor]: Taking taylor expansion of x in x
0.859 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
0.859 * [taylor]: Taking taylor expansion of 2.0 in x
0.878 * [approximate]: Taking taylor expansion of (- (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (* 0.5 (/ 1 x)))) in (x) around 0
0.878 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (* 0.5 (/ 1 x)))) in x
0.878 * [taylor]: Taking taylor expansion of (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) in x
0.878 * [taylor]: Taking taylor expansion of (log 2.0) in x
0.878 * [taylor]: Taking taylor expansion of 2.0 in x
0.878 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x
0.878 * [taylor]: Taking taylor expansion of 0.25 in x
0.878 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.878 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.878 * [taylor]: Taking taylor expansion of x in x
0.879 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (* 0.5 (/ 1 x))) in x
0.879 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x
0.879 * [taylor]: Taking taylor expansion of 1/2 in x
0.879 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x
0.879 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
0.879 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.879 * [taylor]: Taking taylor expansion of x in x
0.879 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
0.879 * [taylor]: Taking taylor expansion of 2.0 in x
0.880 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.880 * [taylor]: Taking taylor expansion of 0.5 in x
0.880 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.880 * [taylor]: Taking taylor expansion of x in x
0.880 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (* 0.5 (/ 1 x)))) in x
0.881 * [taylor]: Taking taylor expansion of (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) in x
0.881 * [taylor]: Taking taylor expansion of (log 2.0) in x
0.881 * [taylor]: Taking taylor expansion of 2.0 in x
0.881 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x
0.881 * [taylor]: Taking taylor expansion of 0.25 in x
0.881 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.881 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.881 * [taylor]: Taking taylor expansion of x in x
0.881 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (* 0.5 (/ 1 x))) in x
0.881 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x
0.881 * [taylor]: Taking taylor expansion of 1/2 in x
0.881 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x
0.881 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
0.882 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.882 * [taylor]: Taking taylor expansion of x in x
0.882 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
0.882 * [taylor]: Taking taylor expansion of 2.0 in x
0.883 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
0.883 * [taylor]: Taking taylor expansion of 0.5 in x
0.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.883 * [taylor]: Taking taylor expansion of x in x
0.897 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.897 * [approximate]: Taking taylor expansion of (* x (+ (* 0.25 x) 0.5)) in (x) around 0
0.897 * [taylor]: Taking taylor expansion of (* x (+ (* 0.25 x) 0.5)) in x
0.897 * [taylor]: Taking taylor expansion of x in x
0.897 * [taylor]: Taking taylor expansion of (+ (* 0.25 x) 0.5) in x
0.897 * [taylor]: Taking taylor expansion of (* 0.25 x) in x
0.897 * [taylor]: Taking taylor expansion of 0.25 in x
0.897 * [taylor]: Taking taylor expansion of x in x
0.897 * [taylor]: Taking taylor expansion of 0.5 in x
0.897 * [taylor]: Taking taylor expansion of (* x (+ (* 0.25 x) 0.5)) in x
0.897 * [taylor]: Taking taylor expansion of x in x
0.897 * [taylor]: Taking taylor expansion of (+ (* 0.25 x) 0.5) in x
0.897 * [taylor]: Taking taylor expansion of (* 0.25 x) in x
0.897 * [taylor]: Taking taylor expansion of 0.25 in x
0.897 * [taylor]: Taking taylor expansion of x in x
0.897 * [taylor]: Taking taylor expansion of 0.5 in x
0.915 * [approximate]: Taking taylor expansion of (/ (+ (* 0.25 (/ 1 x)) 0.5) x) in (x) around 0
0.915 * [taylor]: Taking taylor expansion of (/ (+ (* 0.25 (/ 1 x)) 0.5) x) in x
0.915 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 x)) 0.5) in x
0.915 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 x)) in x
0.915 * [taylor]: Taking taylor expansion of 0.25 in x
0.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.915 * [taylor]: Taking taylor expansion of x in x
0.915 * [taylor]: Taking taylor expansion of 0.5 in x
0.915 * [taylor]: Taking taylor expansion of x in x
0.916 * [taylor]: Taking taylor expansion of (/ (+ (* 0.25 (/ 1 x)) 0.5) x) in x
0.916 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 x)) 0.5) in x
0.916 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 x)) in x
0.916 * [taylor]: Taking taylor expansion of 0.25 in x
0.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.916 * [taylor]: Taking taylor expansion of x in x
0.917 * [taylor]: Taking taylor expansion of 0.5 in x
0.917 * [taylor]: Taking taylor expansion of x in x
0.932 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.5 (* 0.25 (/ 1 x))) x)) in (x) around 0
0.932 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.5 (* 0.25 (/ 1 x))) x)) in x
0.932 * [taylor]: Taking taylor expansion of -1 in x
0.932 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.25 (/ 1 x))) x) in x
0.932 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.25 (/ 1 x))) in x
0.932 * [taylor]: Taking taylor expansion of 0.5 in x
0.932 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 x)) in x
0.932 * [taylor]: Taking taylor expansion of 0.25 in x
0.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.932 * [taylor]: Taking taylor expansion of x in x
0.933 * [taylor]: Taking taylor expansion of x in x
0.934 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.5 (* 0.25 (/ 1 x))) x)) in x
0.934 * [taylor]: Taking taylor expansion of -1 in x
0.934 * [taylor]: Taking taylor expansion of (/ (- 0.5 (* 0.25 (/ 1 x))) x) in x
0.934 * [taylor]: Taking taylor expansion of (- 0.5 (* 0.25 (/ 1 x))) in x
0.934 * [taylor]: Taking taylor expansion of 0.5 in x
0.934 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 x)) in x
0.934 * [taylor]: Taking taylor expansion of 0.25 in x
0.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.934 * [taylor]: Taking taylor expansion of x in x
0.935 * [taylor]: Taking taylor expansion of x in x
0.962 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
0.963 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)) in (x) around 0
0.963 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)) in x
0.963 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow x 2) (pow 2.0 2))) in x
0.963 * [taylor]: Taking taylor expansion of 1/2 in x
0.963 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 2.0 2)) in x
0.963 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.963 * [taylor]: Taking taylor expansion of x in x
0.963 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
0.963 * [taylor]: Taking taylor expansion of 2.0 in x
0.964 * [taylor]: Taking taylor expansion of (log 2.0) in x
0.964 * [taylor]: Taking taylor expansion of 2.0 in x
0.964 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)) in x
0.964 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow x 2) (pow 2.0 2))) in x
0.964 * [taylor]: Taking taylor expansion of 1/2 in x
0.964 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 2.0 2)) in x
0.964 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.964 * [taylor]: Taking taylor expansion of x in x
0.964 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
0.964 * [taylor]: Taking taylor expansion of 2.0 in x
0.965 * [taylor]: Taking taylor expansion of (log 2.0) in x
0.965 * [taylor]: Taking taylor expansion of 2.0 in x
1.088 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (log 2.0)) in (x) around 0
1.088 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (log 2.0)) in x
1.088 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x
1.088 * [taylor]: Taking taylor expansion of 1/2 in x
1.088 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x
1.088 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
1.088 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.088 * [taylor]: Taking taylor expansion of x in x
1.088 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
1.088 * [taylor]: Taking taylor expansion of 2.0 in x
1.089 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.089 * [taylor]: Taking taylor expansion of 2.0 in x
1.089 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (log 2.0)) in x
1.089 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x
1.090 * [taylor]: Taking taylor expansion of 1/2 in x
1.090 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x
1.090 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
1.090 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.090 * [taylor]: Taking taylor expansion of x in x
1.090 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
1.090 * [taylor]: Taking taylor expansion of 2.0 in x
1.091 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.091 * [taylor]: Taking taylor expansion of 2.0 in x
1.159 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (log 2.0)) in (x) around 0
1.159 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (log 2.0)) in x
1.159 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x
1.159 * [taylor]: Taking taylor expansion of 1/2 in x
1.160 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x
1.160 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
1.160 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.160 * [taylor]: Taking taylor expansion of x in x
1.160 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
1.160 * [taylor]: Taking taylor expansion of 2.0 in x
1.161 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.161 * [taylor]: Taking taylor expansion of 2.0 in x
1.161 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (log 2.0)) in x
1.161 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x
1.161 * [taylor]: Taking taylor expansion of 1/2 in x
1.161 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x
1.161 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
1.161 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.161 * [taylor]: Taking taylor expansion of x in x
1.161 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
1.161 * [taylor]: Taking taylor expansion of 2.0 in x
1.162 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.162 * [taylor]: Taking taylor expansion of 2.0 in x
1.228 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.229 * [approximate]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y))) in (x y) around 0
1.229 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y))) in y
1.229 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) in y
1.229 * [taylor]: Taking taylor expansion of (log 2.0) in y
1.229 * [taylor]: Taking taylor expansion of 2.0 in y
1.229 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow x 2)) (* 0.5 x)) in y
1.229 * [taylor]: Taking taylor expansion of (* 0.25 (pow x 2)) in y
1.229 * [taylor]: Taking taylor expansion of 0.25 in y
1.229 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.229 * [taylor]: Taking taylor expansion of x in y
1.229 * [taylor]: Taking taylor expansion of (* 0.5 x) in y
1.229 * [taylor]: Taking taylor expansion of 0.5 in y
1.229 * [taylor]: Taking taylor expansion of x in y
1.229 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y)) in y
1.229 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow x 2) (pow 2.0 2))) in y
1.229 * [taylor]: Taking taylor expansion of 1/2 in y
1.229 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 2.0 2)) in y
1.229 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.229 * [taylor]: Taking taylor expansion of x in y
1.229 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y
1.229 * [taylor]: Taking taylor expansion of 2.0 in y
1.230 * [taylor]: Taking taylor expansion of (* x y) in y
1.230 * [taylor]: Taking taylor expansion of x in y
1.230 * [taylor]: Taking taylor expansion of y in y
1.230 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y))) in x
1.230 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) in x
1.230 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.230 * [taylor]: Taking taylor expansion of 2.0 in x
1.230 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow x 2)) (* 0.5 x)) in x
1.230 * [taylor]: Taking taylor expansion of (* 0.25 (pow x 2)) in x
1.230 * [taylor]: Taking taylor expansion of 0.25 in x
1.230 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.230 * [taylor]: Taking taylor expansion of x in x
1.230 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.230 * [taylor]: Taking taylor expansion of 0.5 in x
1.230 * [taylor]: Taking taylor expansion of x in x
1.230 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y)) in x
1.230 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow x 2) (pow 2.0 2))) in x
1.230 * [taylor]: Taking taylor expansion of 1/2 in x
1.230 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 2.0 2)) in x
1.230 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.231 * [taylor]: Taking taylor expansion of x in x
1.231 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
1.231 * [taylor]: Taking taylor expansion of 2.0 in x
1.231 * [taylor]: Taking taylor expansion of (* x y) in x
1.231 * [taylor]: Taking taylor expansion of x in x
1.231 * [taylor]: Taking taylor expansion of y in x
1.231 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y))) in x
1.231 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) in x
1.231 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.231 * [taylor]: Taking taylor expansion of 2.0 in x
1.232 * [taylor]: Taking taylor expansion of (+ (* 0.25 (pow x 2)) (* 0.5 x)) in x
1.232 * [taylor]: Taking taylor expansion of (* 0.25 (pow x 2)) in x
1.232 * [taylor]: Taking taylor expansion of 0.25 in x
1.232 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of (* 0.5 x) in x
1.232 * [taylor]: Taking taylor expansion of 0.5 in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* x y)) in x
1.232 * [taylor]: Taking taylor expansion of (* 1/2 (/ (pow x 2) (pow 2.0 2))) in x
1.232 * [taylor]: Taking taylor expansion of 1/2 in x
1.232 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow 2.0 2)) in x
1.232 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.232 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
1.232 * [taylor]: Taking taylor expansion of 2.0 in x
1.233 * [taylor]: Taking taylor expansion of (* x y) in x
1.233 * [taylor]: Taking taylor expansion of x in x
1.233 * [taylor]: Taking taylor expansion of y in x
1.235 * [taylor]: Taking taylor expansion of (log 2.0) in y
1.235 * [taylor]: Taking taylor expansion of 2.0 in y
1.238 * [taylor]: Taking taylor expansion of (- 0.5 y) in y
1.238 * [taylor]: Taking taylor expansion of 0.5 in y
1.238 * [taylor]: Taking taylor expansion of y in y
1.246 * [taylor]: Taking taylor expansion of 0.125 in y
1.247 * [approximate]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y)))) in (x y) around 0
1.247 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y)))) in y
1.247 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) in y
1.247 * [taylor]: Taking taylor expansion of (log 2.0) in y
1.247 * [taylor]: Taking taylor expansion of 2.0 in y
1.248 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x))) in y
1.248 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in y
1.248 * [taylor]: Taking taylor expansion of 0.25 in y
1.248 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.248 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.248 * [taylor]: Taking taylor expansion of x in y
1.248 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.248 * [taylor]: Taking taylor expansion of 0.5 in y
1.248 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.248 * [taylor]: Taking taylor expansion of x in y
1.248 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y))) in y
1.248 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in y
1.248 * [taylor]: Taking taylor expansion of 1/2 in y
1.248 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in y
1.248 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in y
1.248 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.248 * [taylor]: Taking taylor expansion of x in y
1.248 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y
1.248 * [taylor]: Taking taylor expansion of 2.0 in y
1.249 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.249 * [taylor]: Taking taylor expansion of (* x y) in y
1.249 * [taylor]: Taking taylor expansion of x in y
1.249 * [taylor]: Taking taylor expansion of y in y
1.249 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y)))) in x
1.249 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) in x
1.249 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.249 * [taylor]: Taking taylor expansion of 2.0 in x
1.249 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x))) in x
1.249 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x
1.249 * [taylor]: Taking taylor expansion of 0.25 in x
1.249 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.249 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.249 * [taylor]: Taking taylor expansion of x in x
1.250 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.250 * [taylor]: Taking taylor expansion of 0.5 in x
1.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.250 * [taylor]: Taking taylor expansion of x in x
1.250 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y))) in x
1.250 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x
1.250 * [taylor]: Taking taylor expansion of 1/2 in x
1.250 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x
1.250 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
1.250 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.250 * [taylor]: Taking taylor expansion of x in x
1.250 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
1.250 * [taylor]: Taking taylor expansion of 2.0 in x
1.251 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.251 * [taylor]: Taking taylor expansion of (* x y) in x
1.251 * [taylor]: Taking taylor expansion of x in x
1.251 * [taylor]: Taking taylor expansion of y in x
1.252 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y)))) in x
1.252 * [taylor]: Taking taylor expansion of (+ (log 2.0) (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x)))) in x
1.252 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.252 * [taylor]: Taking taylor expansion of 2.0 in x
1.252 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (pow x 2))) (* 0.5 (/ 1 x))) in x
1.252 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x
1.252 * [taylor]: Taking taylor expansion of 0.25 in x
1.252 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.252 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.252 * [taylor]: Taking taylor expansion of x in x
1.253 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.253 * [taylor]: Taking taylor expansion of 0.5 in x
1.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.253 * [taylor]: Taking taylor expansion of x in x
1.253 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (/ 1 (* x y))) in x
1.253 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x
1.253 * [taylor]: Taking taylor expansion of 1/2 in x
1.253 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x
1.253 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
1.253 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.253 * [taylor]: Taking taylor expansion of x in x
1.253 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
1.253 * [taylor]: Taking taylor expansion of 2.0 in x
1.254 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.254 * [taylor]: Taking taylor expansion of (* x y) in x
1.254 * [taylor]: Taking taylor expansion of x in x
1.254 * [taylor]: Taking taylor expansion of y in x
1.256 * [taylor]: Taking taylor expansion of 0.125 in y
1.260 * [taylor]: Taking taylor expansion of (- 0.5 (/ 1 y)) in y
1.260 * [taylor]: Taking taylor expansion of 0.5 in y
1.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.260 * [taylor]: Taking taylor expansion of y in y
1.268 * [taylor]: Taking taylor expansion of (log 2.0) in y
1.268 * [taylor]: Taking taylor expansion of 2.0 in y
1.271 * [approximate]: Taking taylor expansion of (- (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))))) in (x y) around 0
1.271 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))))) in y
1.271 * [taylor]: Taking taylor expansion of (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) in y
1.271 * [taylor]: Taking taylor expansion of (log 2.0) in y
1.271 * [taylor]: Taking taylor expansion of 2.0 in y
1.271 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in y
1.271 * [taylor]: Taking taylor expansion of 0.25 in y
1.271 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.271 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.271 * [taylor]: Taking taylor expansion of x in y
1.271 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x)))) in y
1.271 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in y
1.271 * [taylor]: Taking taylor expansion of 1/2 in y
1.271 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in y
1.271 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in y
1.271 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.272 * [taylor]: Taking taylor expansion of x in y
1.272 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y
1.272 * [taylor]: Taking taylor expansion of 2.0 in y
1.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))) in y
1.272 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.272 * [taylor]: Taking taylor expansion of (* x y) in y
1.272 * [taylor]: Taking taylor expansion of x in y
1.272 * [taylor]: Taking taylor expansion of y in y
1.272 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y
1.272 * [taylor]: Taking taylor expansion of 0.5 in y
1.272 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.272 * [taylor]: Taking taylor expansion of x in y
1.272 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))))) in x
1.273 * [taylor]: Taking taylor expansion of (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) in x
1.273 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.273 * [taylor]: Taking taylor expansion of 2.0 in x
1.273 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x
1.273 * [taylor]: Taking taylor expansion of 0.25 in x
1.273 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.273 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.273 * [taylor]: Taking taylor expansion of x in x
1.273 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x)))) in x
1.273 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x
1.273 * [taylor]: Taking taylor expansion of 1/2 in x
1.273 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x
1.273 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
1.274 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.274 * [taylor]: Taking taylor expansion of x in x
1.274 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
1.274 * [taylor]: Taking taylor expansion of 2.0 in x
1.275 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))) in x
1.275 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.275 * [taylor]: Taking taylor expansion of (* x y) in x
1.275 * [taylor]: Taking taylor expansion of x in x
1.275 * [taylor]: Taking taylor expansion of y in x
1.275 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.275 * [taylor]: Taking taylor expansion of 0.5 in x
1.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.275 * [taylor]: Taking taylor expansion of x in x
1.275 * [taylor]: Taking taylor expansion of (- (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))))) in x
1.275 * [taylor]: Taking taylor expansion of (+ (log 2.0) (* 0.25 (/ 1 (pow x 2)))) in x
1.275 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.275 * [taylor]: Taking taylor expansion of 2.0 in x
1.276 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow x 2))) in x
1.276 * [taylor]: Taking taylor expansion of 0.25 in x
1.276 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.276 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.276 * [taylor]: Taking taylor expansion of x in x
1.276 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) (+ (/ 1 (* x y)) (* 0.5 (/ 1 x)))) in x
1.276 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow x 2) (pow 2.0 2)))) in x
1.276 * [taylor]: Taking taylor expansion of 1/2 in x
1.276 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow 2.0 2))) in x
1.276 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
1.276 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.276 * [taylor]: Taking taylor expansion of x in x
1.276 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
1.276 * [taylor]: Taking taylor expansion of 2.0 in x
1.277 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 0.5 (/ 1 x))) in x
1.277 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.277 * [taylor]: Taking taylor expansion of (* x y) in x
1.277 * [taylor]: Taking taylor expansion of x in x
1.277 * [taylor]: Taking taylor expansion of y in x
1.278 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x
1.278 * [taylor]: Taking taylor expansion of 0.5 in x
1.278 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.278 * [taylor]: Taking taylor expansion of x in x
1.280 * [taylor]: Taking taylor expansion of 0.125 in y
1.284 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 0.5)) in y
1.284 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 0.5) in y
1.284 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.284 * [taylor]: Taking taylor expansion of y in y
1.284 * [taylor]: Taking taylor expansion of 0.5 in y
1.291 * [taylor]: Taking taylor expansion of (log 2.0) in y
1.291 * [taylor]: Taking taylor expansion of 2.0 in y
1.293 * * * [progress]: simplifying candidates
1.294 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* (* x (+ (pow 0.5 3) (pow (* x 0.25) 3))) (+ (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (+ (* (log 2.0) (log 2.0)) (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))))) (* (+ (* 0.5 0.5) (- (* (* x 0.25) (* x 0.25)) (* 0.5 (* x 0.25)))) (- (pow (* 1/2 (/ (pow x 2) (pow 2.0 2))) 3) (pow (log 2.0) 3))))
  (* (+ (* 0.5 0.5) (- (* (* x 0.25) (* x 0.25)) (* 0.5 (* x 0.25)))) (+ (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (+ (* (log 2.0) (log 2.0)) (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))))
  (- (* (* x (+ (pow 0.5 3) (pow (* x 0.25) 3))) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* (+ (* 0.5 0.5) (- (* (* x 0.25) (* x 0.25)) (* 0.5 (* x 0.25)))) (- (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (* (log 2.0) (log 2.0)))))
  (* (+ (* 0.5 0.5) (- (* (* x 0.25) (* x 0.25)) (* 0.5 (* x 0.25)))) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (* (* x (- (* 0.5 0.5) (* (* x 0.25) (* x 0.25)))) (+ (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (+ (* (log 2.0) (log 2.0)) (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))))) (* (- 0.5 (* x 0.25)) (- (pow (* 1/2 (/ (pow x 2) (pow 2.0 2))) 3) (pow (log 2.0) 3))))
  (* (- 0.5 (* x 0.25)) (+ (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (+ (* (log 2.0) (log 2.0)) (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))))
  (- (* (* x (- (* 0.5 0.5) (* (* x 0.25) (* x 0.25)))) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* (- 0.5 (* x 0.25)) (- (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (* (log 2.0) (log 2.0)))))
  (* (- 0.5 (* x 0.25)) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (pow (* x (+ 0.5 (* x 0.25))) 3) (pow (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)) 3))
  (+ (* (* x (+ 0.5 (* x 0.25))) (* x (+ 0.5 (* x 0.25)))) (+ (* (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))))
  (- (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (* (* x (+ 0.5 (* x 0.25))) (* x (+ 0.5 (* x 0.25)))) (* (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))))
  (+ (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (* x (+ 0.5 (* x 0.25))) (* 1/2 (/ (pow x 2) (pow 2.0 2))))
  (- (* x (+ 0.5 (* x 0.25))) (* 1/2 (/ (pow x 2) (pow 2.0 2))))
  (- (* x (* x 0.25)) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (* x 0.5) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (* (* x 0.25) x) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (* 0.5 x) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (* x (+ 0.5 (* x 0.25))) (* 1/2 (/ (pow x 2) (pow 2.0 2))))
  (- (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (* x 0.5)
  (* x (* x 0.25))
  (* x (* x 0.25))
  (* x 0.5)
  (* 0.5 x)
  (* (* x 0.25) x)
  (* (* x 0.25) x)
  (* 0.5 x)
  (* x (+ (pow 0.5 3) (pow (* x 0.25) 3)))
  (* x (- (* 0.5 0.5) (* (* x 0.25) (* x 0.25))))
  (- (pow (* 1/2 (/ (pow x 2) (pow 2.0 2))) 3) (pow (log 2.0) 3))
  (+ (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (+ (* (log 2.0) (log 2.0)) (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))))
  (- (log 2.0))
  (- (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (* (log 2.0) (log 2.0)))
  (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))
  (- (log 2.0))
  (- (pow (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) 3) (pow (* x y) 3))
  (+ (* (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))) (+ (* (* x y) (* x y)) (* (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))))
  (- (* x y))
  (- (* (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))) (* (* x y) (* x y)))
  (+ (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (- (- (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (- (- (* x (* x 0.25)) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (- (- (* x 0.5) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (- (- (* (* x 0.25) x) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (- (- (* 0.5 x) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (- (log 2.0) (* x y))
  (- (- (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (+ (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)) (* x y))
  (+ (- (log 2.0)) (* x y))
  (+ (- (log 2.0)) (* x y))
  (- (* x y))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (+ (* 0.25 (pow x 2)) (* 0.5 x))
  (+ (* 0.25 (pow x 2)) (* 0.5 x))
  (+ (* 0.25 (pow x 2)) (* 0.5 x))
  (- (* 0.125 (pow x 2)) (log 2.0))
  (- (* 0.125 (pow x 2)) (log 2.0))
  (- (* 0.125 (pow x 2)) (log 2.0))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (- (+ (* 0.125 (pow x 2)) (* 0.5 x)) (* x y))
  (- (+ (* 0.125 (pow x 2)) (* 0.5 x)) (* x y))
1.300 * * [simplify]: iteration  0 :  362  enodes  (cost  652 )
1.307 * * [simplify]: iteration  1 :  1544  enodes  (cost  641 )
1.338 * * [simplify]: iteration  2 :  5001  enodes  (cost  641 )
1.341 * [simplify]: Simplified to:
   (+ (* (- (- (pow (* 1/2 (/ (pow x 2) (pow 2.0 2))) 3) (pow (log 2.0) 3))) (+ (* (* x 0.25) (- (* x 0.25) 0.5)) (* 0.5 0.5))) (* (+ (* (log 2.0) (+ (log 2.0) (* 1/2 (/ (pow x 2) (pow 2.0 2))))) (* 1/4 (* (/ (pow x 2) (pow 2.0 2)) (/ (pow x 2) (pow 2.0 2))))) (* x (+ (pow 0.5 3) (pow (* x 0.25) 3)))))
  (* (+ (* (log 2.0) (+ (log 2.0) (* 1/2 (/ (pow x 2) (pow 2.0 2))))) (* 1/4 (* (/ (pow x 2) (pow 2.0 2)) (/ (pow x 2) (pow 2.0 2))))) (+ (* (* x 0.25) (- (* x 0.25) 0.5)) (* 0.5 0.5)))
  (+ (* (- (- (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (* (log 2.0) (log 2.0)))) (+ (* (* x 0.25) (- (* x 0.25) 0.5)) (* 0.5 0.5))) (* (* x (+ (pow 0.5 3) (pow (* x 0.25) 3))) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))))
  (* (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)) (+ (* (* x 0.25) (- (* x 0.25) 0.5)) (* 0.5 0.5)))
  (+ (- (* (- 0.5 (* x 0.25)) (- (pow (* 1/2 (/ (pow x 2) (pow 2.0 2))) 3) (pow (log 2.0) 3)))) (* (+ (* (log 2.0) (+ (log 2.0) (* 1/2 (/ (pow x 2) (pow 2.0 2))))) (* 1/4 (* (/ (pow x 2) (pow 2.0 2)) (/ (pow x 2) (pow 2.0 2))))) (* x (- (* 0.5 0.5) (* (* x 0.25) (* x 0.25))))))
  (* (+ (* (log 2.0) (+ (log 2.0) (* 1/2 (/ (pow x 2) (pow 2.0 2))))) (* 1/4 (* (/ (pow x 2) (pow 2.0 2)) (/ (pow x 2) (pow 2.0 2))))) (- 0.5 (* x 0.25)))
  (- (* (* x (- (* 0.5 0.5) (* (* x 0.25) (* x 0.25)))) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* (- 0.5 (* x 0.25)) (- (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (* (log 2.0) (log 2.0)))))
  (* (- 0.5 (* x 0.25)) (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (pow (* x (+ 0.5 (* x 0.25))) 3) (pow (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)) 3))
  (+ (* (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)) (+ (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)) (* x (+ 0.5 (* x 0.25))))) (* (* x (+ 0.5 (* x 0.25))) (* x (+ 0.5 (* x 0.25)))))
  (- (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (* (* x (+ 0.5 (* x 0.25))) (* x (+ 0.5 (* x 0.25)))) (* (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))))
  (+ (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (* x (+ 0.5 (* x 0.25))) (* 1/2 (/ (pow x 2) (pow 2.0 2))))
  (- (* x (+ 0.5 (* x 0.25))) (* 1/2 (/ (pow x 2) (pow 2.0 2))))
  (- (* (* x 0.25) x) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (* 0.5 x) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (* (* x 0.25) x) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (* 0.5 x) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (- (* x (+ 0.5 (* x 0.25))) (* 1/2 (/ (pow x 2) (pow 2.0 2))))
  (- (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (* x 0.5)
  (* x (* x 0.25))
  (* x (* x 0.25))
  (* x 0.5)
  (* x 0.5)
  (* x (* x 0.25))
  (* x (* x 0.25))
  (* x 0.5)
  (* x (+ (pow 0.5 3) (pow (* x 0.25) 3)))
  (* x (- (* 0.5 0.5) (* (* x 0.25) (* x 0.25))))
  (- (pow (* 1/2 (/ (pow x 2) (pow 2.0 2))) 3) (pow (log 2.0) 3))
  (+ (* (log 2.0) (+ (log 2.0) (* 1/2 (/ (pow x 2) (pow 2.0 2))))) (* 1/4 (* (/ (pow x 2) (pow 2.0 2)) (/ (pow x 2) (pow 2.0 2)))))
  (- (log 2.0))
  (- (* (* 1/2 (/ (pow x 2) (pow 2.0 2))) (* 1/2 (/ (pow x 2) (pow 2.0 2)))) (* (log 2.0) (log 2.0)))
  (+ (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))
  (- (log 2.0))
  (- (pow (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) 3) (pow (* x y) 3))
  (+ (* (* x y) (+ (* x y) (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))))) (* (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))))
  (- (* x y))
  (- (* (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))) (* (* x y) (* x y)))
  (+ (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (- (- (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (- (- (* (* x 0.25) x) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (- (- (* 0.5 x) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (- (- (* (* x 0.25) x) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (- (- (* 0.5 x) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (- (log 2.0) (* x y))
  (- (- (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0))) (* x y))
  (+ (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)) (* x y))
  (- (* x y) (log 2.0))
  (- (* x y) (log 2.0))
  (- (* x y))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (* x (+ 0.5 (* x 0.25)))
  (* x (+ 0.5 (* x 0.25)))
  (* x (+ 0.5 (* x 0.25)))
  (- (* 0.125 (pow x 2)) (log 2.0))
  (- (* 0.125 (pow x 2)) (log 2.0))
  (- (* 0.125 (pow x 2)) (log 2.0))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (+ (* x (- 0.5 y)) (* 0.125 (pow x 2)))
  (+ (* x (- 0.5 y)) (* 0.125 (pow x 2)))
1.341 * * * [progress]: adding candidates to table
1.487 * * [progress]: iteration 4 / 4
1.487 * * * [progress]: picking best candidate
1.494 * * * * [pick]: Picked  #<alt (λ (x y) (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y))))>
1.494 * * * [progress]: localizing error
1.518 * * * [progress]: generating rewritten candidates
1.518 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.524 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.544 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.550 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.575 * * * [progress]: generating series expansions
1.575 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.576 * [approximate]: Taking taylor expansion of (log (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))))) in (x) around 0
1.576 * [taylor]: Taking taylor expansion of (log (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))))) in x
1.576 * [taylor]: Taking taylor expansion of (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))))) in x
1.576 * [taylor]: Taking taylor expansion of 8.0 in x
1.576 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))) in x
1.576 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 2)) in x
1.576 * [taylor]: Taking taylor expansion of 6.0 in x
1.576 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.576 * [taylor]: Taking taylor expansion of x in x
1.576 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))) in x
1.576 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 6)) in x
1.576 * [taylor]: Taking taylor expansion of 1/8 in x
1.576 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.576 * [taylor]: Taking taylor expansion of x in x
1.576 * [taylor]: Taking taylor expansion of (+ (pow x 3) (* 12.0 x)) in x
1.576 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.576 * [taylor]: Taking taylor expansion of x in x
1.576 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
1.576 * [taylor]: Taking taylor expansion of 12.0 in x
1.576 * [taylor]: Taking taylor expansion of x in x
1.578 * [taylor]: Taking taylor expansion of (log (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))))) in x
1.578 * [taylor]: Taking taylor expansion of (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))))) in x
1.578 * [taylor]: Taking taylor expansion of 8.0 in x
1.578 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))) in x
1.578 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 2)) in x
1.578 * [taylor]: Taking taylor expansion of 6.0 in x
1.578 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.578 * [taylor]: Taking taylor expansion of x in x
1.578 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))) in x
1.578 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 6)) in x
1.578 * [taylor]: Taking taylor expansion of 1/8 in x
1.578 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.578 * [taylor]: Taking taylor expansion of x in x
1.578 * [taylor]: Taking taylor expansion of (+ (pow x 3) (* 12.0 x)) in x
1.578 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.578 * [taylor]: Taking taylor expansion of x in x
1.578 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
1.578 * [taylor]: Taking taylor expansion of 12.0 in x
1.578 * [taylor]: Taking taylor expansion of x in x
1.601 * [approximate]: Taking taylor expansion of (log (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))))) in (x) around 0
1.601 * [taylor]: Taking taylor expansion of (log (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))))) in x
1.601 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)))) in x
1.602 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in x
1.602 * [taylor]: Taking taylor expansion of 1/8 in x
1.602 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.602 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.602 * [taylor]: Taking taylor expansion of x in x
1.602 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))) in x
1.603 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
1.603 * [taylor]: Taking taylor expansion of 6.0 in x
1.603 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.603 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.603 * [taylor]: Taking taylor expansion of x in x
1.603 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)) in x
1.603 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.603 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.603 * [taylor]: Taking taylor expansion of x in x
1.604 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 8.0) in x
1.604 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
1.604 * [taylor]: Taking taylor expansion of 12.0 in x
1.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.604 * [taylor]: Taking taylor expansion of x in x
1.604 * [taylor]: Taking taylor expansion of 8.0 in x
1.605 * [taylor]: Taking taylor expansion of (log (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))))) in x
1.605 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)))) in x
1.605 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in x
1.605 * [taylor]: Taking taylor expansion of 1/8 in x
1.605 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.605 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.605 * [taylor]: Taking taylor expansion of x in x
1.606 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))) in x
1.606 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
1.606 * [taylor]: Taking taylor expansion of 6.0 in x
1.606 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.606 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.606 * [taylor]: Taking taylor expansion of x in x
1.607 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)) in x
1.607 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.607 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.607 * [taylor]: Taking taylor expansion of x in x
1.607 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 8.0) in x
1.607 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
1.607 * [taylor]: Taking taylor expansion of 12.0 in x
1.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.607 * [taylor]: Taking taylor expansion of x in x
1.608 * [taylor]: Taking taylor expansion of 8.0 in x
1.648 * [approximate]: Taking taylor expansion of (log (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))))) in (x) around 0
1.648 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))))) in x
1.650 * [taylor]: Taking taylor expansion of (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x)))) in x
1.650 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) in x
1.650 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in x
1.650 * [taylor]: Taking taylor expansion of 1/8 in x
1.650 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.650 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.650 * [taylor]: Taking taylor expansion of x in x
1.651 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) 8.0) in x
1.651 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
1.651 * [taylor]: Taking taylor expansion of 6.0 in x
1.651 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.651 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.651 * [taylor]: Taking taylor expansion of x in x
1.651 * [taylor]: Taking taylor expansion of 8.0 in x
1.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))) in x
1.651 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.651 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.651 * [taylor]: Taking taylor expansion of x in x
1.652 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
1.652 * [taylor]: Taking taylor expansion of 12.0 in x
1.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.652 * [taylor]: Taking taylor expansion of x in x
1.653 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))))) in x
1.653 * [taylor]: Taking taylor expansion of (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x)))) in x
1.653 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) in x
1.653 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in x
1.653 * [taylor]: Taking taylor expansion of 1/8 in x
1.653 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.653 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.653 * [taylor]: Taking taylor expansion of x in x
1.654 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) 8.0) in x
1.654 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
1.654 * [taylor]: Taking taylor expansion of 6.0 in x
1.654 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.654 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.654 * [taylor]: Taking taylor expansion of x in x
1.655 * [taylor]: Taking taylor expansion of 8.0 in x
1.655 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))) in x
1.655 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.655 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.655 * [taylor]: Taking taylor expansion of x in x
1.656 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
1.656 * [taylor]: Taking taylor expansion of 12.0 in x
1.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.656 * [taylor]: Taking taylor expansion of x in x
1.693 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.693 * [approximate]: Taking taylor expansion of (log (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3)))) in (x) around 0
1.693 * [taylor]: Taking taylor expansion of (log (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3)))) in x
1.693 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3))) in x
1.693 * [taylor]: Taking taylor expansion of (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) in x
1.693 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
1.693 * [taylor]: Taking taylor expansion of 4.0 in x
1.694 * [taylor]: Taking taylor expansion of x in x
1.694 * [taylor]: Taking taylor expansion of (+ (* 1/4 (pow x 4)) 4.0) in x
1.694 * [taylor]: Taking taylor expansion of (* 1/4 (pow x 4)) in x
1.694 * [taylor]: Taking taylor expansion of 1/4 in x
1.694 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.694 * [taylor]: Taking taylor expansion of x in x
1.694 * [taylor]: Taking taylor expansion of 4.0 in x
1.694 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 3)) in x
1.694 * [taylor]: Taking taylor expansion of 1/2 in x
1.694 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.694 * [taylor]: Taking taylor expansion of x in x
1.695 * [taylor]: Taking taylor expansion of (log (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3)))) in x
1.695 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3))) in x
1.695 * [taylor]: Taking taylor expansion of (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) in x
1.695 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
1.695 * [taylor]: Taking taylor expansion of 4.0 in x
1.695 * [taylor]: Taking taylor expansion of x in x
1.695 * [taylor]: Taking taylor expansion of (+ (* 1/4 (pow x 4)) 4.0) in x
1.695 * [taylor]: Taking taylor expansion of (* 1/4 (pow x 4)) in x
1.695 * [taylor]: Taking taylor expansion of 1/4 in x
1.695 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.695 * [taylor]: Taking taylor expansion of x in x
1.695 * [taylor]: Taking taylor expansion of 4.0 in x
1.695 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 3)) in x
1.695 * [taylor]: Taking taylor expansion of 1/2 in x
1.695 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.695 * [taylor]: Taking taylor expansion of x in x
1.713 * [approximate]: Taking taylor expansion of (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3))))) in (x) around 0
1.713 * [taylor]: Taking taylor expansion of (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3))))) in x
1.713 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3)))) in x
1.713 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) in x
1.713 * [taylor]: Taking taylor expansion of 4.0 in x
1.713 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x))) in x
1.713 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow x 4))) in x
1.713 * [taylor]: Taking taylor expansion of 1/4 in x
1.713 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.713 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.713 * [taylor]: Taking taylor expansion of x in x
1.714 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.714 * [taylor]: Taking taylor expansion of 4.0 in x
1.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.714 * [taylor]: Taking taylor expansion of x in x
1.714 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 3))) in x
1.714 * [taylor]: Taking taylor expansion of 1/2 in x
1.714 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.714 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.714 * [taylor]: Taking taylor expansion of x in x
1.716 * [taylor]: Taking taylor expansion of (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3))))) in x
1.716 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3)))) in x
1.716 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) in x
1.716 * [taylor]: Taking taylor expansion of 4.0 in x
1.716 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x))) in x
1.716 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow x 4))) in x
1.716 * [taylor]: Taking taylor expansion of 1/4 in x
1.716 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.716 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.716 * [taylor]: Taking taylor expansion of x in x
1.717 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.717 * [taylor]: Taking taylor expansion of 4.0 in x
1.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.717 * [taylor]: Taking taylor expansion of x in x
1.717 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 3))) in x
1.717 * [taylor]: Taking taylor expansion of 1/2 in x
1.718 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.718 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.718 * [taylor]: Taking taylor expansion of x in x
1.731 * [approximate]: Taking taylor expansion of (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x)))) in (x) around 0
1.731 * [taylor]: Taking taylor expansion of (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x)))) in x
1.731 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x))) in x
1.731 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) in x
1.731 * [taylor]: Taking taylor expansion of 4.0 in x
1.731 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3)))) in x
1.731 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow x 4))) in x
1.731 * [taylor]: Taking taylor expansion of 1/4 in x
1.731 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.731 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.731 * [taylor]: Taking taylor expansion of x in x
1.732 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 3))) in x
1.732 * [taylor]: Taking taylor expansion of 1/2 in x
1.732 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.732 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.732 * [taylor]: Taking taylor expansion of x in x
1.733 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.733 * [taylor]: Taking taylor expansion of 4.0 in x
1.733 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.733 * [taylor]: Taking taylor expansion of x in x
1.734 * [taylor]: Taking taylor expansion of (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x)))) in x
1.734 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x))) in x
1.734 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) in x
1.734 * [taylor]: Taking taylor expansion of 4.0 in x
1.734 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3)))) in x
1.734 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow x 4))) in x
1.734 * [taylor]: Taking taylor expansion of 1/4 in x
1.734 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.734 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.734 * [taylor]: Taking taylor expansion of x in x
1.735 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 3))) in x
1.735 * [taylor]: Taking taylor expansion of 1/2 in x
1.735 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.735 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.735 * [taylor]: Taking taylor expansion of x in x
1.736 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.736 * [taylor]: Taking taylor expansion of 4.0 in x
1.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.736 * [taylor]: Taking taylor expansion of x in x
1.747 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.748 * [approximate]: Taking taylor expansion of (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))))) in (x) around 0
1.748 * [taylor]: Taking taylor expansion of (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))))) in x
1.748 * [taylor]: Taking taylor expansion of 8.0 in x
1.748 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))) in x
1.748 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 2)) in x
1.748 * [taylor]: Taking taylor expansion of 6.0 in x
1.748 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.748 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))) in x
1.748 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 6)) in x
1.748 * [taylor]: Taking taylor expansion of 1/8 in x
1.748 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.748 * [taylor]: Taking taylor expansion of (+ (pow x 3) (* 12.0 x)) in x
1.748 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.748 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
1.748 * [taylor]: Taking taylor expansion of 12.0 in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.748 * [taylor]: Taking taylor expansion of (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))))) in x
1.748 * [taylor]: Taking taylor expansion of 8.0 in x
1.748 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))) in x
1.748 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 2)) in x
1.748 * [taylor]: Taking taylor expansion of 6.0 in x
1.748 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.748 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))) in x
1.748 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 6)) in x
1.748 * [taylor]: Taking taylor expansion of 1/8 in x
1.748 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.748 * [taylor]: Taking taylor expansion of (+ (pow x 3) (* 12.0 x)) in x
1.748 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.748 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
1.748 * [taylor]: Taking taylor expansion of 12.0 in x
1.748 * [taylor]: Taking taylor expansion of x in x
1.754 * [approximate]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)))) in (x) around 0
1.754 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)))) in x
1.754 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in x
1.754 * [taylor]: Taking taylor expansion of 1/8 in x
1.754 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.754 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.754 * [taylor]: Taking taylor expansion of x in x
1.755 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))) in x
1.755 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
1.755 * [taylor]: Taking taylor expansion of 6.0 in x
1.755 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.755 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.755 * [taylor]: Taking taylor expansion of x in x
1.756 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)) in x
1.756 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.756 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.756 * [taylor]: Taking taylor expansion of x in x
1.756 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 8.0) in x
1.756 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
1.756 * [taylor]: Taking taylor expansion of 12.0 in x
1.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.756 * [taylor]: Taking taylor expansion of x in x
1.757 * [taylor]: Taking taylor expansion of 8.0 in x
1.757 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)))) in x
1.757 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in x
1.757 * [taylor]: Taking taylor expansion of 1/8 in x
1.757 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.757 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.757 * [taylor]: Taking taylor expansion of x in x
1.758 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))) in x
1.758 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
1.758 * [taylor]: Taking taylor expansion of 6.0 in x
1.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.758 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.758 * [taylor]: Taking taylor expansion of x in x
1.758 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)) in x
1.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.758 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.758 * [taylor]: Taking taylor expansion of x in x
1.759 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 8.0) in x
1.759 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
1.759 * [taylor]: Taking taylor expansion of 12.0 in x
1.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.759 * [taylor]: Taking taylor expansion of x in x
1.759 * [taylor]: Taking taylor expansion of 8.0 in x
1.774 * [approximate]: Taking taylor expansion of (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x)))) in (x) around 0
1.774 * [taylor]: Taking taylor expansion of (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x)))) in x
1.774 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) in x
1.774 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in x
1.774 * [taylor]: Taking taylor expansion of 1/8 in x
1.774 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.774 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.774 * [taylor]: Taking taylor expansion of x in x
1.775 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) 8.0) in x
1.775 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
1.775 * [taylor]: Taking taylor expansion of 6.0 in x
1.775 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.775 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.775 * [taylor]: Taking taylor expansion of x in x
1.775 * [taylor]: Taking taylor expansion of 8.0 in x
1.775 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))) in x
1.775 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.775 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.776 * [taylor]: Taking taylor expansion of x in x
1.776 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
1.776 * [taylor]: Taking taylor expansion of 12.0 in x
1.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.776 * [taylor]: Taking taylor expansion of x in x
1.777 * [taylor]: Taking taylor expansion of (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x)))) in x
1.777 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) in x
1.777 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in x
1.777 * [taylor]: Taking taylor expansion of 1/8 in x
1.777 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.777 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.777 * [taylor]: Taking taylor expansion of x in x
1.778 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) 8.0) in x
1.778 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
1.778 * [taylor]: Taking taylor expansion of 6.0 in x
1.778 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.778 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.778 * [taylor]: Taking taylor expansion of x in x
1.778 * [taylor]: Taking taylor expansion of 8.0 in x
1.778 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))) in x
1.778 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.778 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.778 * [taylor]: Taking taylor expansion of x in x
1.779 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
1.779 * [taylor]: Taking taylor expansion of 12.0 in x
1.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.779 * [taylor]: Taking taylor expansion of x in x
1.800 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.801 * [approximate]: Taking taylor expansion of (- (log (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))))) (+ (log (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3)))) (* x y))) in (x y) around 0
1.801 * [taylor]: Taking taylor expansion of (- (log (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))))) (+ (log (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3)))) (* x y))) in y
1.801 * [taylor]: Taking taylor expansion of (log (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))))) in y
1.801 * [taylor]: Taking taylor expansion of (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))))) in y
1.801 * [taylor]: Taking taylor expansion of 8.0 in y
1.801 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))) in y
1.801 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 2)) in y
1.801 * [taylor]: Taking taylor expansion of 6.0 in y
1.801 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.801 * [taylor]: Taking taylor expansion of x in y
1.801 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))) in y
1.801 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 6)) in y
1.801 * [taylor]: Taking taylor expansion of 1/8 in y
1.801 * [taylor]: Taking taylor expansion of (pow x 6) in y
1.801 * [taylor]: Taking taylor expansion of x in y
1.801 * [taylor]: Taking taylor expansion of (+ (pow x 3) (* 12.0 x)) in y
1.801 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.801 * [taylor]: Taking taylor expansion of x in y
1.801 * [taylor]: Taking taylor expansion of (* 12.0 x) in y
1.801 * [taylor]: Taking taylor expansion of 12.0 in y
1.801 * [taylor]: Taking taylor expansion of x in y
1.803 * [taylor]: Taking taylor expansion of (+ (log (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3)))) (* x y)) in y
1.803 * [taylor]: Taking taylor expansion of (log (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3)))) in y
1.803 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3))) in y
1.803 * [taylor]: Taking taylor expansion of (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) in y
1.803 * [taylor]: Taking taylor expansion of (* 4.0 x) in y
1.803 * [taylor]: Taking taylor expansion of 4.0 in y
1.803 * [taylor]: Taking taylor expansion of x in y
1.803 * [taylor]: Taking taylor expansion of (+ (* 1/4 (pow x 4)) 4.0) in y
1.803 * [taylor]: Taking taylor expansion of (* 1/4 (pow x 4)) in y
1.803 * [taylor]: Taking taylor expansion of 1/4 in y
1.803 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.803 * [taylor]: Taking taylor expansion of x in y
1.803 * [taylor]: Taking taylor expansion of 4.0 in y
1.803 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 3)) in y
1.803 * [taylor]: Taking taylor expansion of 1/2 in y
1.803 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.803 * [taylor]: Taking taylor expansion of x in y
1.804 * [taylor]: Taking taylor expansion of (* x y) in y
1.804 * [taylor]: Taking taylor expansion of x in y
1.804 * [taylor]: Taking taylor expansion of y in y
1.804 * [taylor]: Taking taylor expansion of (- (log (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))))) (+ (log (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3)))) (* x y))) in x
1.804 * [taylor]: Taking taylor expansion of (log (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))))) in x
1.804 * [taylor]: Taking taylor expansion of (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))))) in x
1.805 * [taylor]: Taking taylor expansion of 8.0 in x
1.805 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))) in x
1.805 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 2)) in x
1.805 * [taylor]: Taking taylor expansion of 6.0 in x
1.805 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.805 * [taylor]: Taking taylor expansion of x in x
1.805 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))) in x
1.805 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 6)) in x
1.805 * [taylor]: Taking taylor expansion of 1/8 in x
1.805 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.805 * [taylor]: Taking taylor expansion of x in x
1.805 * [taylor]: Taking taylor expansion of (+ (pow x 3) (* 12.0 x)) in x
1.805 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.805 * [taylor]: Taking taylor expansion of x in x
1.805 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
1.805 * [taylor]: Taking taylor expansion of 12.0 in x
1.805 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (+ (log (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3)))) (* x y)) in x
1.806 * [taylor]: Taking taylor expansion of (log (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3)))) in x
1.806 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3))) in x
1.806 * [taylor]: Taking taylor expansion of (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) in x
1.806 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
1.806 * [taylor]: Taking taylor expansion of 4.0 in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.806 * [taylor]: Taking taylor expansion of (+ (* 1/4 (pow x 4)) 4.0) in x
1.806 * [taylor]: Taking taylor expansion of (* 1/4 (pow x 4)) in x
1.806 * [taylor]: Taking taylor expansion of 1/4 in x
1.806 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.806 * [taylor]: Taking taylor expansion of x in x
1.807 * [taylor]: Taking taylor expansion of 4.0 in x
1.807 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 3)) in x
1.807 * [taylor]: Taking taylor expansion of 1/2 in x
1.807 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.807 * [taylor]: Taking taylor expansion of x in x
1.808 * [taylor]: Taking taylor expansion of (* x y) in x
1.808 * [taylor]: Taking taylor expansion of x in x
1.808 * [taylor]: Taking taylor expansion of y in x
1.808 * [taylor]: Taking taylor expansion of (- (log (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))))) (+ (log (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3)))) (* x y))) in x
1.808 * [taylor]: Taking taylor expansion of (log (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))))) in x
1.808 * [taylor]: Taking taylor expansion of (+ 8.0 (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))))) in x
1.808 * [taylor]: Taking taylor expansion of 8.0 in x
1.808 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow x 2)) (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x)))) in x
1.808 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 2)) in x
1.808 * [taylor]: Taking taylor expansion of 6.0 in x
1.808 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.808 * [taylor]: Taking taylor expansion of x in x
1.808 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow x 6)) (+ (pow x 3) (* 12.0 x))) in x
1.808 * [taylor]: Taking taylor expansion of (* 1/8 (pow x 6)) in x
1.808 * [taylor]: Taking taylor expansion of 1/8 in x
1.808 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.808 * [taylor]: Taking taylor expansion of x in x
1.808 * [taylor]: Taking taylor expansion of (+ (pow x 3) (* 12.0 x)) in x
1.808 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.808 * [taylor]: Taking taylor expansion of x in x
1.808 * [taylor]: Taking taylor expansion of (* 12.0 x) in x
1.808 * [taylor]: Taking taylor expansion of 12.0 in x
1.808 * [taylor]: Taking taylor expansion of x in x
1.810 * [taylor]: Taking taylor expansion of (+ (log (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3)))) (* x y)) in x
1.810 * [taylor]: Taking taylor expansion of (log (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3)))) in x
1.810 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) (* 1/2 (pow x 3))) in x
1.810 * [taylor]: Taking taylor expansion of (+ (* 4.0 x) (+ (* 1/4 (pow x 4)) 4.0)) in x
1.810 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
1.810 * [taylor]: Taking taylor expansion of 4.0 in x
1.810 * [taylor]: Taking taylor expansion of x in x
1.810 * [taylor]: Taking taylor expansion of (+ (* 1/4 (pow x 4)) 4.0) in x
1.810 * [taylor]: Taking taylor expansion of (* 1/4 (pow x 4)) in x
1.810 * [taylor]: Taking taylor expansion of 1/4 in x
1.810 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.810 * [taylor]: Taking taylor expansion of x in x
1.810 * [taylor]: Taking taylor expansion of 4.0 in x
1.810 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 3)) in x
1.810 * [taylor]: Taking taylor expansion of 1/2 in x
1.810 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.810 * [taylor]: Taking taylor expansion of x in x
1.811 * [taylor]: Taking taylor expansion of (* x y) in x
1.812 * [taylor]: Taking taylor expansion of x in x
1.812 * [taylor]: Taking taylor expansion of y in x
1.814 * [taylor]: Taking taylor expansion of (- (log 8.0) (log 4.0)) in y
1.814 * [taylor]: Taking taylor expansion of (log 8.0) in y
1.814 * [taylor]: Taking taylor expansion of 8.0 in y
1.814 * [taylor]: Taking taylor expansion of (log 4.0) in y
1.814 * [taylor]: Taking taylor expansion of 4.0 in y
1.828 * [taylor]: Taking taylor expansion of (- 0.5 y) in y
1.828 * [taylor]: Taking taylor expansion of 0.5 in y
1.828 * [taylor]: Taking taylor expansion of y in y
1.852 * [taylor]: Taking taylor expansion of (- 1.25 (* 72.0 (/ 1 (pow 8.0 2)))) in y
1.852 * [taylor]: Taking taylor expansion of 1.25 in y
1.852 * [taylor]: Taking taylor expansion of (* 72.0 (/ 1 (pow 8.0 2))) in y
1.852 * [taylor]: Taking taylor expansion of 72.0 in y
1.852 * [taylor]: Taking taylor expansion of (/ 1 (pow 8.0 2)) in y
1.852 * [taylor]: Taking taylor expansion of (pow 8.0 2) in y
1.852 * [taylor]: Taking taylor expansion of 8.0 in y
1.856 * [approximate]: Taking taylor expansion of (- (log (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))))) (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3))))) (/ 1 (* x y)))) in (x y) around 0
1.856 * [taylor]: Taking taylor expansion of (- (log (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))))) (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3))))) (/ 1 (* x y)))) in y
1.856 * [taylor]: Taking taylor expansion of (log (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))))) in y
1.856 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)))) in y
1.856 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in y
1.856 * [taylor]: Taking taylor expansion of 1/8 in y
1.856 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in y
1.856 * [taylor]: Taking taylor expansion of (pow x 6) in y
1.856 * [taylor]: Taking taylor expansion of x in y
1.856 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))) in y
1.856 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in y
1.856 * [taylor]: Taking taylor expansion of 6.0 in y
1.856 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.856 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.856 * [taylor]: Taking taylor expansion of x in y
1.857 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)) in y
1.857 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
1.857 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.857 * [taylor]: Taking taylor expansion of x in y
1.857 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 8.0) in y
1.857 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in y
1.857 * [taylor]: Taking taylor expansion of 12.0 in y
1.857 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.857 * [taylor]: Taking taylor expansion of x in y
1.857 * [taylor]: Taking taylor expansion of 8.0 in y
1.858 * [taylor]: Taking taylor expansion of (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3))))) (/ 1 (* x y))) in y
1.858 * [taylor]: Taking taylor expansion of (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3))))) in y
1.858 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3)))) in y
1.858 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) in y
1.858 * [taylor]: Taking taylor expansion of 4.0 in y
1.858 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x))) in y
1.858 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow x 4))) in y
1.858 * [taylor]: Taking taylor expansion of 1/4 in y
1.858 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
1.858 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.858 * [taylor]: Taking taylor expansion of x in y
1.859 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in y
1.859 * [taylor]: Taking taylor expansion of 4.0 in y
1.859 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.859 * [taylor]: Taking taylor expansion of x in y
1.859 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 3))) in y
1.859 * [taylor]: Taking taylor expansion of 1/2 in y
1.859 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
1.859 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.859 * [taylor]: Taking taylor expansion of x in y
1.860 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.860 * [taylor]: Taking taylor expansion of (* x y) in y
1.860 * [taylor]: Taking taylor expansion of x in y
1.860 * [taylor]: Taking taylor expansion of y in y
1.860 * [taylor]: Taking taylor expansion of (- (log (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))))) (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3))))) (/ 1 (* x y)))) in x
1.861 * [taylor]: Taking taylor expansion of (log (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))))) in x
1.861 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)))) in x
1.861 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in x
1.861 * [taylor]: Taking taylor expansion of 1/8 in x
1.861 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.861 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.861 * [taylor]: Taking taylor expansion of x in x
1.862 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))) in x
1.862 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
1.862 * [taylor]: Taking taylor expansion of 6.0 in x
1.862 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.862 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.862 * [taylor]: Taking taylor expansion of x in x
1.862 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)) in x
1.862 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.862 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.862 * [taylor]: Taking taylor expansion of x in x
1.863 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 8.0) in x
1.863 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
1.863 * [taylor]: Taking taylor expansion of 12.0 in x
1.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.863 * [taylor]: Taking taylor expansion of x in x
1.863 * [taylor]: Taking taylor expansion of 8.0 in x
1.864 * [taylor]: Taking taylor expansion of (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3))))) (/ 1 (* x y))) in x
1.864 * [taylor]: Taking taylor expansion of (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3))))) in x
1.864 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3)))) in x
1.864 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) in x
1.864 * [taylor]: Taking taylor expansion of 4.0 in x
1.864 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x))) in x
1.864 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow x 4))) in x
1.864 * [taylor]: Taking taylor expansion of 1/4 in x
1.864 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.864 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.864 * [taylor]: Taking taylor expansion of x in x
1.865 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.865 * [taylor]: Taking taylor expansion of 4.0 in x
1.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.865 * [taylor]: Taking taylor expansion of x in x
1.865 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 3))) in x
1.865 * [taylor]: Taking taylor expansion of 1/2 in x
1.865 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.865 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.865 * [taylor]: Taking taylor expansion of x in x
1.867 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.867 * [taylor]: Taking taylor expansion of (* x y) in x
1.867 * [taylor]: Taking taylor expansion of x in x
1.867 * [taylor]: Taking taylor expansion of y in x
1.868 * [taylor]: Taking taylor expansion of (- (log (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))))) (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3))))) (/ 1 (* x y)))) in x
1.868 * [taylor]: Taking taylor expansion of (log (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))))) in x
1.868 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)))) in x
1.868 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in x
1.868 * [taylor]: Taking taylor expansion of 1/8 in x
1.868 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.868 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.868 * [taylor]: Taking taylor expansion of x in x
1.869 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0))) in x
1.869 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
1.869 * [taylor]: Taking taylor expansion of 6.0 in x
1.869 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.869 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.869 * [taylor]: Taking taylor expansion of x in x
1.869 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (+ (* 12.0 (/ 1 x)) 8.0)) in x
1.869 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.869 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.869 * [taylor]: Taking taylor expansion of x in x
1.870 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 x)) 8.0) in x
1.870 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
1.870 * [taylor]: Taking taylor expansion of 12.0 in x
1.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.870 * [taylor]: Taking taylor expansion of x in x
1.870 * [taylor]: Taking taylor expansion of 8.0 in x
1.871 * [taylor]: Taking taylor expansion of (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3))))) (/ 1 (* x y))) in x
1.871 * [taylor]: Taking taylor expansion of (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3))))) in x
1.871 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) (* 1/2 (/ 1 (pow x 3)))) in x
1.871 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x)))) in x
1.871 * [taylor]: Taking taylor expansion of 4.0 in x
1.871 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ 1 (pow x 4))) (* 4.0 (/ 1 x))) in x
1.871 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow x 4))) in x
1.871 * [taylor]: Taking taylor expansion of 1/4 in x
1.871 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.871 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.871 * [taylor]: Taking taylor expansion of x in x
1.872 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.872 * [taylor]: Taking taylor expansion of 4.0 in x
1.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.872 * [taylor]: Taking taylor expansion of x in x
1.872 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 3))) in x
1.872 * [taylor]: Taking taylor expansion of 1/2 in x
1.872 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.872 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.872 * [taylor]: Taking taylor expansion of x in x
1.880 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.880 * [taylor]: Taking taylor expansion of (* x y) in x
1.880 * [taylor]: Taking taylor expansion of x in x
1.880 * [taylor]: Taking taylor expansion of y in x
1.880 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
1.880 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.880 * [taylor]: Taking taylor expansion of y in y
1.883 * [taylor]: Taking taylor expansion of (- (log 1/8) (+ (* 2 (log x)) (log 1/4))) in y
1.883 * [taylor]: Taking taylor expansion of (log 1/8) in y
1.883 * [taylor]: Taking taylor expansion of 1/8 in y
1.884 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (log 1/4)) in y
1.884 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y
1.884 * [taylor]: Taking taylor expansion of 2 in y
1.884 * [taylor]: Taking taylor expansion of (log x) in y
1.884 * [taylor]: Taking taylor expansion of x in y
1.884 * [taylor]: Taking taylor expansion of (log 1/4) in y
1.884 * [taylor]: Taking taylor expansion of 1/4 in y
1.892 * [taylor]: Taking taylor expansion of 2 in y
1.907 * [taylor]: Taking taylor expansion of 2 in y
1.909 * [approximate]: Taking taylor expansion of (- (log (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))))) (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x)))) (/ 1 (* x y)))) in (x y) around 0
1.909 * [taylor]: Taking taylor expansion of (- (log (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))))) (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x)))) (/ 1 (* x y)))) in y
1.909 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))))) in y
1.909 * [taylor]: Taking taylor expansion of (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x)))) in y
1.909 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) in y
1.909 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in y
1.909 * [taylor]: Taking taylor expansion of 1/8 in y
1.909 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in y
1.909 * [taylor]: Taking taylor expansion of (pow x 6) in y
1.909 * [taylor]: Taking taylor expansion of x in y
1.910 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) 8.0) in y
1.910 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in y
1.910 * [taylor]: Taking taylor expansion of 6.0 in y
1.910 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
1.910 * [taylor]: Taking taylor expansion of (pow x 2) in y
1.910 * [taylor]: Taking taylor expansion of x in y
1.910 * [taylor]: Taking taylor expansion of 8.0 in y
1.910 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))) in y
1.910 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
1.910 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.910 * [taylor]: Taking taylor expansion of x in y
1.910 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in y
1.910 * [taylor]: Taking taylor expansion of 12.0 in y
1.910 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.910 * [taylor]: Taking taylor expansion of x in y
1.912 * [taylor]: Taking taylor expansion of (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x)))) (/ 1 (* x y))) in y
1.912 * [taylor]: Taking taylor expansion of (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x)))) in y
1.912 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x))) in y
1.912 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) in y
1.912 * [taylor]: Taking taylor expansion of 4.0 in y
1.912 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3)))) in y
1.912 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow x 4))) in y
1.912 * [taylor]: Taking taylor expansion of 1/4 in y
1.912 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
1.912 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.912 * [taylor]: Taking taylor expansion of x in y
1.912 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 3))) in y
1.912 * [taylor]: Taking taylor expansion of 1/2 in y
1.912 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y
1.912 * [taylor]: Taking taylor expansion of (pow x 3) in y
1.912 * [taylor]: Taking taylor expansion of x in y
1.912 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in y
1.912 * [taylor]: Taking taylor expansion of 4.0 in y
1.912 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.912 * [taylor]: Taking taylor expansion of x in y
1.913 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.913 * [taylor]: Taking taylor expansion of (* x y) in y
1.914 * [taylor]: Taking taylor expansion of x in y
1.914 * [taylor]: Taking taylor expansion of y in y
1.914 * [taylor]: Taking taylor expansion of (- (log (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))))) (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x)))) (/ 1 (* x y)))) in x
1.914 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))))) in x
1.914 * [taylor]: Taking taylor expansion of (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x)))) in x
1.914 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) in x
1.914 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in x
1.914 * [taylor]: Taking taylor expansion of 1/8 in x
1.914 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.914 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.914 * [taylor]: Taking taylor expansion of x in x
1.915 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) 8.0) in x
1.915 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
1.915 * [taylor]: Taking taylor expansion of 6.0 in x
1.915 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.915 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.915 * [taylor]: Taking taylor expansion of x in x
1.916 * [taylor]: Taking taylor expansion of 8.0 in x
1.916 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))) in x
1.916 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.916 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.916 * [taylor]: Taking taylor expansion of x in x
1.916 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
1.916 * [taylor]: Taking taylor expansion of 12.0 in x
1.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.916 * [taylor]: Taking taylor expansion of x in x
1.918 * [taylor]: Taking taylor expansion of (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x)))) (/ 1 (* x y))) in x
1.918 * [taylor]: Taking taylor expansion of (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x)))) in x
1.918 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x))) in x
1.918 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) in x
1.918 * [taylor]: Taking taylor expansion of 4.0 in x
1.918 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3)))) in x
1.918 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow x 4))) in x
1.918 * [taylor]: Taking taylor expansion of 1/4 in x
1.918 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.918 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.918 * [taylor]: Taking taylor expansion of x in x
1.919 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 3))) in x
1.919 * [taylor]: Taking taylor expansion of 1/2 in x
1.919 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.919 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.919 * [taylor]: Taking taylor expansion of x in x
1.919 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.919 * [taylor]: Taking taylor expansion of 4.0 in x
1.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.919 * [taylor]: Taking taylor expansion of x in x
1.921 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.921 * [taylor]: Taking taylor expansion of (* x y) in x
1.921 * [taylor]: Taking taylor expansion of x in x
1.921 * [taylor]: Taking taylor expansion of y in x
1.921 * [taylor]: Taking taylor expansion of (- (log (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))))) (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x)))) (/ 1 (* x y)))) in x
1.921 * [taylor]: Taking taylor expansion of (log (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))))) in x
1.921 * [taylor]: Taking taylor expansion of (- (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x)))) in x
1.921 * [taylor]: Taking taylor expansion of (+ (* 1/8 (/ 1 (pow x 6))) (+ (* 6.0 (/ 1 (pow x 2))) 8.0)) in x
1.921 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow x 6))) in x
1.921 * [taylor]: Taking taylor expansion of 1/8 in x
1.921 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.921 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.921 * [taylor]: Taking taylor expansion of x in x
1.922 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 2))) 8.0) in x
1.922 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x
1.922 * [taylor]: Taking taylor expansion of 6.0 in x
1.922 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.922 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.922 * [taylor]: Taking taylor expansion of x in x
1.923 * [taylor]: Taking taylor expansion of 8.0 in x
1.923 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (* 12.0 (/ 1 x))) in x
1.923 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.923 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.923 * [taylor]: Taking taylor expansion of x in x
1.924 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 x)) in x
1.924 * [taylor]: Taking taylor expansion of 12.0 in x
1.924 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.924 * [taylor]: Taking taylor expansion of x in x
1.925 * [taylor]: Taking taylor expansion of (+ (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x)))) (/ 1 (* x y))) in x
1.925 * [taylor]: Taking taylor expansion of (log (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x)))) in x
1.925 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) (* 4.0 (/ 1 x))) in x
1.925 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3))))) in x
1.925 * [taylor]: Taking taylor expansion of 4.0 in x
1.925 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ 1 (pow x 4))) (* 1/2 (/ 1 (pow x 3)))) in x
1.925 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow x 4))) in x
1.925 * [taylor]: Taking taylor expansion of 1/4 in x
1.925 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.925 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.925 * [taylor]: Taking taylor expansion of x in x
1.926 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 3))) in x
1.926 * [taylor]: Taking taylor expansion of 1/2 in x
1.926 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.926 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.926 * [taylor]: Taking taylor expansion of x in x
1.927 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.927 * [taylor]: Taking taylor expansion of 4.0 in x
1.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.927 * [taylor]: Taking taylor expansion of x in x
1.928 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.928 * [taylor]: Taking taylor expansion of (* x y) in x
1.928 * [taylor]: Taking taylor expansion of x in x
1.928 * [taylor]: Taking taylor expansion of y in x
1.929 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
1.929 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.929 * [taylor]: Taking taylor expansion of y in y
1.932 * [taylor]: Taking taylor expansion of (- (log 1/8) (+ (* 2 (log x)) (log 1/4))) in y
1.932 * [taylor]: Taking taylor expansion of (log 1/8) in y
1.932 * [taylor]: Taking taylor expansion of 1/8 in y
1.932 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (log 1/4)) in y
1.932 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y
1.932 * [taylor]: Taking taylor expansion of 2 in y
1.932 * [taylor]: Taking taylor expansion of (log x) in y
1.932 * [taylor]: Taking taylor expansion of x in y
1.932 * [taylor]: Taking taylor expansion of (log 1/4) in y
1.932 * [taylor]: Taking taylor expansion of 1/4 in y
1.941 * [taylor]: Taking taylor expansion of -2 in y
1.955 * [taylor]: Taking taylor expansion of 2 in y
1.956 * * * [progress]: simplifying candidates
1.957 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))
  (log (+ (* 1/2 (pow x 2)) (+ x 2.0)))
  (log (+ (pow (pow (* 1/2 (pow x 2)) 3) 3) (pow (pow (+ x 2.0) 3) 3)))
  (log (+ (* (pow (* 1/2 (pow x 2)) 3) (pow (* 1/2 (pow x 2)) 3)) (- (* (pow (+ x 2.0) 3) (pow (+ x 2.0) 3)) (* (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3)))))
  (log (- (* (pow (* 1/2 (pow x 2)) 3) (pow (* 1/2 (pow x 2)) 3)) (* (pow (+ x 2.0) 3) (pow (+ x 2.0) 3))))
  (log (- (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3)))
  (log (+ (pow (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) 3) (pow (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) 3)))
  (log (+ (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2)))) (- (* (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))) (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))))
  (log (- (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2)))) (* (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))))
  (log (- (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))
  (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))
  (+ (* 1/2 (pow x 2)) (+ x 2.0))
  (+ (pow (pow (* 1/2 (pow x 2)) 3) 3) (pow (pow (+ x 2.0) 3) 3))
  (+ (* (pow (* 1/2 (pow x 2)) 3) (pow (* 1/2 (pow x 2)) 3)) (- (* (pow (+ x 2.0) 3) (pow (+ x 2.0) 3)) (* (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))))
  (- (* (pow (* 1/2 (pow x 2)) 3) (pow (* 1/2 (pow x 2)) 3)) (* (pow (+ x 2.0) 3) (pow (+ x 2.0) 3)))
  (- (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))
  (- (pow (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) 3) (pow (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)) 3))
  (+ (* (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3)))) (+ (* (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y))) (* (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))))
  (- (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))
  (- (* (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3)))) (* (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y))))
  (+ (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))
  (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))))
  (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (* x y))
  (- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))
  (+ (log (+ (* (pow (* 1/2 (pow x 2)) 3) (pow (* 1/2 (pow x 2)) 3)) (- (* (pow (+ x 2.0) 3) (pow (+ x 2.0) 3)) (* (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))
  (+ (log (- (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))
  (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (log (+ (pow (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) 3) (pow (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) 3))))
  (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (log (- (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2)))) (* (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))))
  (- (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))
  (- (+ (log 8.0) (+ (* 0.75 (pow x 2)) (* 1.5 x))) (* 72.0 (/ (pow x 2) (pow 8.0 2))))
  (- (+ (log 1/8) (+ (* 48.0 (/ 1 (pow x 4))) (* 8 (/ 1 (pow x 3))))) (* 6 (log (/ 1 x))))
  (- (+ (log 1/8) (+ (* 48.0 (/ 1 (pow x 4))) (* 8 (/ 1 (pow x 3))))) (* 6 (log (/ -1 x))))
  (- (+ (* 1.0 x) (log 4.0)) (* 1/2 (pow x 2)))
  (- (log 1/4) (+ (* 2 (/ 1 (pow x 2))) (+ (* 4 (log (/ 1 x))) (* 2 (/ 1 x)))))
  (- (log 1/4) (+ (* 2 (/ 1 (pow x 2))) (+ (* 4 (log (/ -1 x))) (* 2 (/ 1 x)))))
  (+ (* 6.0 (pow x 2)) (+ (* 12.0 x) 8.0))
  (+ (* 6.0 (pow x 2)) (+ (pow x 3) (* 1/8 (pow x 6))))
  (+ (* 6.0 (pow x 2)) (+ (pow x 3) (* 1/8 (pow x 6))))
  (- (+ (* 0.125 (pow x 2)) (+ (* 0.5 x) (log 8.0))) (log 4.0))
  (- (+ (log 1/8) (* 2 (/ 1 x))) (+ (log 1/4) (+ (* 2 (log (/ 1 x))) (* x y))))
  (- (+ (log 1/8) (* 2 (/ 1 x))) (+ (log 1/4) (+ (* 2 (log (/ -1 x))) (* x y))))
1.969 * * [simplify]: iteration  0 :  424  enodes  (cost  725 )
1.977 * * [simplify]: iteration  1 :  1532  enodes  (cost  715 )
2.007 * * [simplify]: iteration  2 :  5001  enodes  (cost  711 )
2.011 * [simplify]: Simplified to:
   (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))
  (log (+ (* 1/2 (pow x 2)) (+ x 2.0)))
  (log (+ (pow (pow (* 1/2 (pow x 2)) 3) 3) (pow (pow (+ x 2.0) 3) 3)))
  (log (+ (* (pow (* 1/2 (pow x 2)) 3) (pow (* 1/2 (pow x 2)) 3)) (- (* (pow (+ x 2.0) 3) (pow (+ x 2.0) 3)) (* (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3)))))
  (log (- (* (pow (* 1/2 (pow x 2)) 3) (pow (* 1/2 (pow x 2)) 3)) (* (pow (+ x 2.0) 3) (pow (+ x 2.0) 3))))
  (log (- (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3)))
  (log (+ (pow (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) 3) (pow (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) 3)))
  (log (+ (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2)))) (- (* (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))) (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))))
  (log (- (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2)))) (* (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))))
  (log (- (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))
  (+ (* (+ x 2.0) (- (+ x 2.0) (* 1/2 (pow x 2)))) (* 1/4 (* (pow x 2) (pow x 2))))
  (+ (* 1/2 (pow x 2)) (+ x 2.0))
  (+ (pow (pow (* 1/2 (pow x 2)) 3) 3) (pow (pow (+ x 2.0) 3) 3))
  (- (+ (pow (* 1/2 (pow x 2)) 6) (pow (+ x 2.0) 6)) (* (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3)))
  (+ (pow (* 1/2 (pow x 2)) 6) (- (pow (+ x 2.0) 6)))
  (- (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))
  (- (pow (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) 3) (pow (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)) 3))
  (+ (* (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)) (+ (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)) (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))))) (* (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3)))))
  (- (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))
  (- (* (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3)))) (* (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y))))
  (+ (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))
  (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))))
  (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (* x y))
  (- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))
  (+ (log (+ (* (pow (* 1/2 (pow x 2)) 3) (pow (* 1/2 (pow x 2)) 3)) (- (* (pow (+ x 2.0) 3) (pow (+ x 2.0) 3)) (* (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))
  (+ (log (- (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))
  (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (log (+ (pow (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) 3) (pow (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) 3))))
  (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (log (- (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2)))) (* (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))))
  (- (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))
  (- (* x (+ 1.5 (* x 0.75))) (- (* 72.0 (/ (pow x 2) (pow 8.0 2))) (log 8.0)))
  (+ (+ (* (log x) 6) (+ (log 1/8) (* 48.0 (/ 1 (pow x 4))))) (/ 8 (pow x 3)))
  (+ (+ (log 1/8) (* 48.0 (/ 1 (pow x 4)))) (- (/ 8 (pow x 3)) (* 6 (log (/ -1 x)))))
  (- (+ (* 1.0 x) (log 4.0)) (* 1/2 (pow x 2)))
  (- (- (log 1/4) (+ (/ 2 x) (* 4 (log (/ 1 x))))) (/ 2 (pow x 2)))
  (- (- (log 1/4) (+ (/ 2 x) (* 4 (log (/ -1 x))))) (/ 2 (pow x 2)))
  (+ (* x (+ 12.0 (* x 6.0))) 8.0)
  (+ (* 1/8 (pow x 6)) (* (pow x 2) (+ 6.0 x)))
  (+ (* 1/8 (pow x 6)) (* (pow x 2) (+ 6.0 x)))
  (+ (log 8.0) (- (* x (+ 0.5 (* x 0.125))) (log 4.0)))
  (- (- (+ (/ 2 x) (log 1/8)) (+ (log 1/4) (* 2 (log (/ 1 x))))) (* x y))
  (- (- (+ (/ 2 x) (log 1/8)) (+ (log 1/4) (* 2 (log (/ -1 x))))) (* x y))
2.011 * * * [progress]: adding candidates to table
2.159 * [progress]: [Phase 3 of 3] Extracting.
2.159 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (- (log (+ 1.0 (exp x))) (* x y)))> #<alt (λ (x y) (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (+ (- (log (+ (pow (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) 3) (pow (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) 3))) (log (+ (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2)))) (- (* (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))) (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))))) (* x y))))> #<alt (λ (x y) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))))>)
2.163 * * * [regime-changes]: Trying 3 branch expressions: ((- (log (+ 1.0 (exp x))) (* x y)) y x)
2.163 * * * * [regimes]: Trying to branch on (- (log (+ 1.0 (exp x))) (* x y)) from (#<alt (λ (x y) (- (log (+ 1.0 (exp x))) (* x y)))> #<alt (λ (x y) (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (+ (- (log (+ (pow (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) 3) (pow (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) 3))) (log (+ (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2)))) (- (* (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))) (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))))) (* x y))))> #<alt (λ (x y) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))))>)
2.192 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (- (log (+ 1.0 (exp x))) (* x y)))> #<alt (λ (x y) (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (+ (- (log (+ (pow (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) 3) (pow (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) 3))) (log (+ (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2)))) (- (* (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))) (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))))) (* x y))))> #<alt (λ (x y) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))))>)
2.212 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (- (log (+ 1.0 (exp x))) (* x y)))> #<alt (λ (x y) (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (+ (- (log (+ (pow (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) 3) (pow (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) 3))) (log (+ (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2)))) (- (* (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))) (* (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0)))))))) (* x y))))> #<alt (λ (x y) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (- (log (+ (* 1/2 (pow x 2)) (+ x 2.0))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y)))))>)
2.232 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
2.232 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (+ 1.0 (exp x))) (* x y))
2.233 * * [simplify]: iteration  0 :  10  enodes  (cost  5 )
2.233 * * [simplify]: iteration  1 :  10  enodes  (cost  5 )
2.233 * [simplify]: Simplified to:
   (- (log (+ 1.0 (exp x))) (* x y))
4.189 * [regime-testing]: Baseline error score: 0.5023693732790797
4.190 * [regime-testing]: Oracle error score: 0.2703617872541197
4.191 * [regime-testing]: End program error score: 0.5023693732790797
4.239 * [regime-testing]: Target error score: 0.07498098723010231