28.060 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.131 * * * [progress]: [2/2] Setting up program.
0.134 * [progress]: [Phase 2 of 3] Improving.
0.135 * [simplify]: Simplifying:
  (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
0.135 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.135 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.135 * * [simplify]: Extracting # 2 : cost  4  inf +  0
0.135 * * [simplify]: Extracting # 3 : cost  6  inf +  0
0.135 * * [simplify]: Extracting # 4 : cost  7  inf +  1
0.135 * * [simplify]: Extracting # 5 : cost  0  inf +  727
0.135 * * [simplify]: iteration  0 :  8  enodes  (cost  278 )
0.136 * * [simplify]: Extracting # 0 : cost  0  inf +  727
0.136 * * [simplify]: Extracting # 1 : cost  1  inf +  727
0.136 * * [simplify]: Extracting # 2 : cost  0  inf +  769
0.136 * * [simplify]: iteration  1 :  11  enodes  (cost  278 )
0.138 * * [simplify]: Extracting # 0 : cost  0  inf +  769
0.138 * * [simplify]: Extracting # 1 : cost  1  inf +  769
0.138 * * [simplify]: Extracting # 2 : cost  0  inf +  811
0.138 * * [simplify]: iteration  2 :  13  enodes  (cost  278 )
0.140 * * [simplify]: Extracting # 0 : cost  0  inf +  811
0.140 * * [simplify]: iteration done:  13  enodes  (cost  278 )
0.140 * [simplify]: Simplified to:
  (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
0.140 * * [progress]: iteration 1 / 4
0.140 * * * [progress]: picking best candidate
0.144 * * * * [pick]: Picked  #<alt (λ (x y) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))>
0.144 * * * [progress]: localizing error
0.199 * * * [progress]: generating rewritten candidates
0.199 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.203 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.208 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.225 * * * [progress]: generating series expansions
0.225 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.225 * [backup-simplify]: Simplify (tan (/ x (* y 2.0))) into (tan (* 0.5 (/ x y)))
0.225 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in (x y) around 0
0.225 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y
0.225 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y))))
0.225 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y
0.225 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y
0.225 * [taylor]: Taking taylor expansion of 0.5 in y
0.225 * [backup-simplify]: Simplify 0.5 into 0.5
0.225 * [taylor]: Taking taylor expansion of (/ x y) in y
0.225 * [taylor]: Taking taylor expansion of x in y
0.225 * [backup-simplify]: Simplify x into x
0.225 * [taylor]: Taking taylor expansion of y in y
0.225 * [backup-simplify]: Simplify 0 into 0
0.225 * [backup-simplify]: Simplify 1 into 1
0.226 * [backup-simplify]: Simplify (/ x 1) into x
0.226 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
0.226 * [backup-simplify]: Simplify (sin (* 0.5 (/ x y))) into (sin (* 0.5 (/ x y)))
0.226 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y
0.226 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y
0.226 * [taylor]: Taking taylor expansion of 0.5 in y
0.226 * [backup-simplify]: Simplify 0.5 into 0.5
0.226 * [taylor]: Taking taylor expansion of (/ x y) in y
0.226 * [taylor]: Taking taylor expansion of x in y
0.226 * [backup-simplify]: Simplify x into x
0.226 * [taylor]: Taking taylor expansion of y in y
0.226 * [backup-simplify]: Simplify 0 into 0
0.226 * [backup-simplify]: Simplify 1 into 1
0.226 * [backup-simplify]: Simplify (/ x 1) into x
0.226 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
0.226 * [backup-simplify]: Simplify (cos (* 0.5 (/ x y))) into (cos (* 0.5 (/ x y)))
0.226 * [backup-simplify]: Simplify (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) into (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y))))
0.226 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x
0.227 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y))))
0.227 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x
0.227 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
0.227 * [taylor]: Taking taylor expansion of 0.5 in x
0.227 * [backup-simplify]: Simplify 0.5 into 0.5
0.227 * [taylor]: Taking taylor expansion of (/ x y) in x
0.227 * [taylor]: Taking taylor expansion of x in x
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [taylor]: Taking taylor expansion of y in x
0.227 * [backup-simplify]: Simplify y into y
0.227 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.227 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
0.227 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x
0.227 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
0.227 * [taylor]: Taking taylor expansion of 0.5 in x
0.227 * [backup-simplify]: Simplify 0.5 into 0.5
0.227 * [taylor]: Taking taylor expansion of (/ x y) in x
0.227 * [taylor]: Taking taylor expansion of x in x
0.227 * [backup-simplify]: Simplify 0 into 0
0.227 * [backup-simplify]: Simplify 1 into 1
0.227 * [taylor]: Taking taylor expansion of y in x
0.227 * [backup-simplify]: Simplify y into y
0.227 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.227 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
0.228 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 y) 1) 1))) into (* 0.5 (/ 1 y))
0.228 * [backup-simplify]: Simplify (/ (* 0.5 (/ 1 y)) 1) into (/ 0.5 y)
0.228 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x
0.228 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y))))
0.228 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x
0.228 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
0.228 * [taylor]: Taking taylor expansion of 0.5 in x
0.228 * [backup-simplify]: Simplify 0.5 into 0.5
0.228 * [taylor]: Taking taylor expansion of (/ x y) in x
0.228 * [taylor]: Taking taylor expansion of x in x
0.228 * [backup-simplify]: Simplify 0 into 0
0.228 * [backup-simplify]: Simplify 1 into 1
0.228 * [taylor]: Taking taylor expansion of y in x
0.228 * [backup-simplify]: Simplify y into y
0.228 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.228 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
0.228 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x
0.228 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
0.228 * [taylor]: Taking taylor expansion of 0.5 in x
0.228 * [backup-simplify]: Simplify 0.5 into 0.5
0.228 * [taylor]: Taking taylor expansion of (/ x y) in x
0.228 * [taylor]: Taking taylor expansion of x in x
0.228 * [backup-simplify]: Simplify 0 into 0
0.228 * [backup-simplify]: Simplify 1 into 1
0.228 * [taylor]: Taking taylor expansion of y in x
0.228 * [backup-simplify]: Simplify y into y
0.229 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.229 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
0.229 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 y) 1) 1))) into (* 0.5 (/ 1 y))
0.229 * [backup-simplify]: Simplify (/ (* 0.5 (/ 1 y)) 1) into (/ 0.5 y)
0.229 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y
0.229 * [taylor]: Taking taylor expansion of 0.5 in y
0.229 * [backup-simplify]: Simplify 0.5 into 0.5
0.229 * [taylor]: Taking taylor expansion of y in y
0.229 * [backup-simplify]: Simplify 0 into 0
0.229 * [backup-simplify]: Simplify 1 into 1
0.230 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
0.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
0.231 * [backup-simplify]: Simplify 0 into 0
0.231 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
0.231 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
0.232 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.232 * [backup-simplify]: Simplify (+ 0) into 0
0.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (/ 0.5 y) (/ 0 1)))) into 0
0.233 * [taylor]: Taking taylor expansion of 0 in y
0.233 * [backup-simplify]: Simplify 0 into 0
0.233 * [backup-simplify]: Simplify 0 into 0
0.234 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.234 * [backup-simplify]: Simplify 0 into 0
0.235 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.235 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
0.236 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 y) 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- (* 0.020833333333333332 (/ 1 (pow y 3))))
0.237 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 y) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow y 2))))
0.238 * [backup-simplify]: Simplify (- (/ (- (* 0.020833333333333332 (/ 1 (pow y 3)))) 1) (+ (* (/ 0.5 y) (/ (- (* 0.125 (/ 1 (pow y 2)))) 1)) (* 0 (/ 0 1)))) into (* 0.04166666666666667 (/ 1 (pow y 3)))
0.238 * [taylor]: Taking taylor expansion of (* 0.04166666666666667 (/ 1 (pow y 3))) in y
0.238 * [taylor]: Taking taylor expansion of 0.04166666666666667 in y
0.238 * [backup-simplify]: Simplify 0.04166666666666667 into 0.04166666666666667
0.238 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
0.238 * [taylor]: Taking taylor expansion of (pow y 3) in y
0.238 * [taylor]: Taking taylor expansion of y in y
0.238 * [backup-simplify]: Simplify 0 into 0
0.238 * [backup-simplify]: Simplify 1 into 1
0.238 * [backup-simplify]: Simplify (* 1 1) into 1
0.239 * [backup-simplify]: Simplify (* 1 1) into 1
0.239 * [backup-simplify]: Simplify (/ 1 1) into 1
0.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.243 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.247 * [backup-simplify]: Simplify (+ (* 0.04166666666666667 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.247 * [backup-simplify]: Simplify 0 into 0
0.247 * [backup-simplify]: Simplify 0 into 0
0.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.248 * [backup-simplify]: Simplify 0 into 0
0.248 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify (tan (/ (/ 1 x) (* (/ 1 y) 2.0))) into (tan (* 0.5 (/ y x)))
0.249 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0
0.249 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y
0.249 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.249 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
0.249 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.249 * [taylor]: Taking taylor expansion of 0.5 in y
0.249 * [backup-simplify]: Simplify 0.5 into 0.5
0.249 * [taylor]: Taking taylor expansion of (/ y x) in y
0.249 * [taylor]: Taking taylor expansion of y in y
0.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify 1 into 1
0.249 * [taylor]: Taking taylor expansion of x in y
0.249 * [backup-simplify]: Simplify x into x
0.249 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.249 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.249 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
0.249 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.249 * [taylor]: Taking taylor expansion of 0.5 in y
0.249 * [backup-simplify]: Simplify 0.5 into 0.5
0.249 * [taylor]: Taking taylor expansion of (/ y x) in y
0.249 * [taylor]: Taking taylor expansion of y in y
0.249 * [backup-simplify]: Simplify 0 into 0
0.249 * [backup-simplify]: Simplify 1 into 1
0.249 * [taylor]: Taking taylor expansion of x in y
0.249 * [backup-simplify]: Simplify x into x
0.249 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.250 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.250 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
0.250 * [backup-simplify]: Simplify (/ (* 0.5 (/ 1 x)) 1) into (/ 0.5 x)
0.250 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x
0.250 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.250 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.250 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.250 * [taylor]: Taking taylor expansion of 0.5 in x
0.250 * [backup-simplify]: Simplify 0.5 into 0.5
0.250 * [taylor]: Taking taylor expansion of (/ y x) in x
0.250 * [taylor]: Taking taylor expansion of y in x
0.250 * [backup-simplify]: Simplify y into y
0.250 * [taylor]: Taking taylor expansion of x in x
0.250 * [backup-simplify]: Simplify 0 into 0
0.250 * [backup-simplify]: Simplify 1 into 1
0.250 * [backup-simplify]: Simplify (/ y 1) into y
0.250 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.250 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.250 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
0.251 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.251 * [taylor]: Taking taylor expansion of 0.5 in x
0.251 * [backup-simplify]: Simplify 0.5 into 0.5
0.251 * [taylor]: Taking taylor expansion of (/ y x) in x
0.251 * [taylor]: Taking taylor expansion of y in x
0.251 * [backup-simplify]: Simplify y into y
0.251 * [taylor]: Taking taylor expansion of x in x
0.251 * [backup-simplify]: Simplify 0 into 0
0.251 * [backup-simplify]: Simplify 1 into 1
0.251 * [backup-simplify]: Simplify (/ y 1) into y
0.251 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.251 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
0.251 * [backup-simplify]: Simplify (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) into (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.251 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x
0.251 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.251 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.251 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.251 * [taylor]: Taking taylor expansion of 0.5 in x
0.251 * [backup-simplify]: Simplify 0.5 into 0.5
0.251 * [taylor]: Taking taylor expansion of (/ y x) in x
0.251 * [taylor]: Taking taylor expansion of y in x
0.251 * [backup-simplify]: Simplify y into y
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [backup-simplify]: Simplify 0 into 0
0.252 * [backup-simplify]: Simplify 1 into 1
0.252 * [backup-simplify]: Simplify (/ y 1) into y
0.252 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.252 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.252 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
0.252 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.252 * [taylor]: Taking taylor expansion of 0.5 in x
0.252 * [backup-simplify]: Simplify 0.5 into 0.5
0.252 * [taylor]: Taking taylor expansion of (/ y x) in x
0.252 * [taylor]: Taking taylor expansion of y in x
0.252 * [backup-simplify]: Simplify y into y
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [backup-simplify]: Simplify 0 into 0
0.252 * [backup-simplify]: Simplify 1 into 1
0.252 * [backup-simplify]: Simplify (/ y 1) into y
0.252 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.252 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
0.252 * [backup-simplify]: Simplify (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) into (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.253 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y
0.253 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
0.253 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.253 * [taylor]: Taking taylor expansion of 0.5 in y
0.253 * [backup-simplify]: Simplify 0.5 into 0.5
0.253 * [taylor]: Taking taylor expansion of (/ y x) in y
0.253 * [taylor]: Taking taylor expansion of y in y
0.253 * [backup-simplify]: Simplify 0 into 0
0.253 * [backup-simplify]: Simplify 1 into 1
0.253 * [taylor]: Taking taylor expansion of x in y
0.253 * [backup-simplify]: Simplify x into x
0.253 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.253 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.253 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
0.253 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.253 * [taylor]: Taking taylor expansion of 0.5 in y
0.253 * [backup-simplify]: Simplify 0.5 into 0.5
0.253 * [taylor]: Taking taylor expansion of (/ y x) in y
0.253 * [taylor]: Taking taylor expansion of y in y
0.253 * [backup-simplify]: Simplify 0 into 0
0.253 * [backup-simplify]: Simplify 1 into 1
0.253 * [taylor]: Taking taylor expansion of x in y
0.253 * [backup-simplify]: Simplify x into x
0.253 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.253 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.254 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
0.254 * [backup-simplify]: Simplify (/ (* 0.5 (/ 1 x)) 1) into (/ 0.5 x)
0.254 * [backup-simplify]: Simplify (/ 0.5 x) into (/ 0.5 x)
0.254 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.254 * [taylor]: Taking taylor expansion of 0 in y
0.254 * [backup-simplify]: Simplify 0 into 0
0.254 * [backup-simplify]: Simplify 0 into 0
0.255 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
0.255 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
0.256 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.256 * [backup-simplify]: Simplify (+ 0) into 0
0.257 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (/ 0.5 x) (/ 0 1)))) into 0
0.257 * [backup-simplify]: Simplify 0 into 0
0.258 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.258 * [taylor]: Taking taylor expansion of 0 in y
0.258 * [backup-simplify]: Simplify 0 into 0
0.258 * [backup-simplify]: Simplify 0 into 0
0.258 * [backup-simplify]: Simplify 0 into 0
0.258 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.259 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
0.260 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- (* 0.020833333333333332 (/ 1 (pow x 3))))
0.260 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow x 2))))
0.261 * [backup-simplify]: Simplify (- (/ (- (* 0.020833333333333332 (/ 1 (pow x 3)))) 1) (+ (* (/ 0.5 x) (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* 0 (/ 0 1)))) into (* 0.04166666666666667 (/ 1 (pow x 3)))
0.261 * [backup-simplify]: Simplify (* 0.04166666666666667 (/ 1 (pow x 3))) into (/ 0.04166666666666667 (pow x 3))
0.262 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.262 * [taylor]: Taking taylor expansion of 0 in y
0.262 * [backup-simplify]: Simplify 0 into 0
0.262 * [backup-simplify]: Simplify 0 into 0
0.262 * [backup-simplify]: Simplify 0 into 0
0.262 * [backup-simplify]: Simplify 0 into 0
0.263 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.263 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
0.264 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.265 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
0.265 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
0.265 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.266 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (/ 0.5 x) (/ 0 1)) (* 0 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* (* 0.04166666666666667 (/ 1 (pow x 3))) (/ 0 1)))) into 0
0.266 * [backup-simplify]: Simplify 0 into 0
0.267 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.267 * [taylor]: Taking taylor expansion of 0 in y
0.267 * [backup-simplify]: Simplify 0 into 0
0.267 * [backup-simplify]: Simplify 0 into 0
0.267 * [backup-simplify]: Simplify 0 into 0
0.267 * [backup-simplify]: Simplify (+ (* (/ 0.04166666666666667 (pow (/ 1 x) 3)) (pow (* (/ 1 y) 1) 3)) (* (/ 0.5 (/ 1 x)) (* (/ 1 y) 1))) into (+ (* 0.5 (/ x y)) (* 0.04166666666666667 (/ (pow x 3) (pow y 3))))
0.267 * [backup-simplify]: Simplify (tan (/ (/ 1 (- x)) (* (/ 1 (- y)) 2.0))) into (tan (* 0.5 (/ y x)))
0.268 * [approximate]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in (x y) around 0
0.268 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y
0.268 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.268 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
0.268 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.268 * [taylor]: Taking taylor expansion of 0.5 in y
0.268 * [backup-simplify]: Simplify 0.5 into 0.5
0.268 * [taylor]: Taking taylor expansion of (/ y x) in y
0.268 * [taylor]: Taking taylor expansion of y in y
0.268 * [backup-simplify]: Simplify 0 into 0
0.268 * [backup-simplify]: Simplify 1 into 1
0.268 * [taylor]: Taking taylor expansion of x in y
0.268 * [backup-simplify]: Simplify x into x
0.268 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.268 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.268 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
0.268 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.268 * [taylor]: Taking taylor expansion of 0.5 in y
0.268 * [backup-simplify]: Simplify 0.5 into 0.5
0.268 * [taylor]: Taking taylor expansion of (/ y x) in y
0.268 * [taylor]: Taking taylor expansion of y in y
0.268 * [backup-simplify]: Simplify 0 into 0
0.268 * [backup-simplify]: Simplify 1 into 1
0.268 * [taylor]: Taking taylor expansion of x in y
0.268 * [backup-simplify]: Simplify x into x
0.268 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.268 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.268 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
0.268 * [backup-simplify]: Simplify (/ (* 0.5 (/ 1 x)) 1) into (/ 0.5 x)
0.268 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x
0.268 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.268 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.268 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.268 * [taylor]: Taking taylor expansion of 0.5 in x
0.268 * [backup-simplify]: Simplify 0.5 into 0.5
0.268 * [taylor]: Taking taylor expansion of (/ y x) in x
0.268 * [taylor]: Taking taylor expansion of y in x
0.268 * [backup-simplify]: Simplify y into y
0.268 * [taylor]: Taking taylor expansion of x in x
0.269 * [backup-simplify]: Simplify 0 into 0
0.269 * [backup-simplify]: Simplify 1 into 1
0.269 * [backup-simplify]: Simplify (/ y 1) into y
0.269 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.269 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.269 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
0.269 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.269 * [taylor]: Taking taylor expansion of 0.5 in x
0.269 * [backup-simplify]: Simplify 0.5 into 0.5
0.269 * [taylor]: Taking taylor expansion of (/ y x) in x
0.269 * [taylor]: Taking taylor expansion of y in x
0.269 * [backup-simplify]: Simplify y into y
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [backup-simplify]: Simplify 0 into 0
0.269 * [backup-simplify]: Simplify 1 into 1
0.269 * [backup-simplify]: Simplify (/ y 1) into y
0.269 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.269 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
0.269 * [backup-simplify]: Simplify (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) into (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.269 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x
0.269 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.269 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.269 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.269 * [taylor]: Taking taylor expansion of 0.5 in x
0.269 * [backup-simplify]: Simplify 0.5 into 0.5
0.269 * [taylor]: Taking taylor expansion of (/ y x) in x
0.269 * [taylor]: Taking taylor expansion of y in x
0.269 * [backup-simplify]: Simplify y into y
0.269 * [taylor]: Taking taylor expansion of x in x
0.269 * [backup-simplify]: Simplify 0 into 0
0.269 * [backup-simplify]: Simplify 1 into 1
0.269 * [backup-simplify]: Simplify (/ y 1) into y
0.269 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.269 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.269 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
0.270 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.270 * [taylor]: Taking taylor expansion of 0.5 in x
0.270 * [backup-simplify]: Simplify 0.5 into 0.5
0.270 * [taylor]: Taking taylor expansion of (/ y x) in x
0.270 * [taylor]: Taking taylor expansion of y in x
0.270 * [backup-simplify]: Simplify y into y
0.270 * [taylor]: Taking taylor expansion of x in x
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify 1 into 1
0.270 * [backup-simplify]: Simplify (/ y 1) into y
0.270 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.270 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
0.270 * [backup-simplify]: Simplify (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) into (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.270 * [taylor]: Taking taylor expansion of (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) in y
0.270 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
0.270 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.270 * [taylor]: Taking taylor expansion of 0.5 in y
0.270 * [backup-simplify]: Simplify 0.5 into 0.5
0.270 * [taylor]: Taking taylor expansion of (/ y x) in y
0.270 * [taylor]: Taking taylor expansion of y in y
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify 1 into 1
0.270 * [taylor]: Taking taylor expansion of x in y
0.270 * [backup-simplify]: Simplify x into x
0.270 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.270 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.270 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
0.270 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.270 * [taylor]: Taking taylor expansion of 0.5 in y
0.270 * [backup-simplify]: Simplify 0.5 into 0.5
0.270 * [taylor]: Taking taylor expansion of (/ y x) in y
0.270 * [taylor]: Taking taylor expansion of y in y
0.270 * [backup-simplify]: Simplify 0 into 0
0.270 * [backup-simplify]: Simplify 1 into 1
0.270 * [taylor]: Taking taylor expansion of x in y
0.270 * [backup-simplify]: Simplify x into x
0.270 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.270 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.271 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
0.271 * [backup-simplify]: Simplify (/ (* 0.5 (/ 1 x)) 1) into (/ 0.5 x)
0.271 * [backup-simplify]: Simplify (/ 0.5 x) into (/ 0.5 x)
0.271 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.271 * [taylor]: Taking taylor expansion of 0 in y
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify 0 into 0
0.271 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
0.272 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
0.272 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.272 * [backup-simplify]: Simplify (+ 0) into 0
0.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (/ 0.5 x) (/ 0 1)))) into 0
0.273 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.273 * [taylor]: Taking taylor expansion of 0 in y
0.273 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify 0 into 0
0.273 * [backup-simplify]: Simplify 0 into 0
0.274 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.274 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
0.275 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- (* 0.020833333333333332 (/ 1 (pow x 3))))
0.275 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow x 2))))
0.276 * [backup-simplify]: Simplify (- (/ (- (* 0.020833333333333332 (/ 1 (pow x 3)))) 1) (+ (* (/ 0.5 x) (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* 0 (/ 0 1)))) into (* 0.04166666666666667 (/ 1 (pow x 3)))
0.276 * [backup-simplify]: Simplify (* 0.04166666666666667 (/ 1 (pow x 3))) into (/ 0.04166666666666667 (pow x 3))
0.276 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.276 * [taylor]: Taking taylor expansion of 0 in y
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify 0 into 0
0.276 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
0.277 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0
0.278 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.278 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
0.278 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
0.279 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.280 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (/ 0.5 x) (/ 0 1)) (* 0 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* (* 0.04166666666666667 (/ 1 (pow x 3))) (/ 0 1)))) into 0
0.280 * [backup-simplify]: Simplify 0 into 0
0.280 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.280 * [taylor]: Taking taylor expansion of 0 in y
0.280 * [backup-simplify]: Simplify 0 into 0
0.280 * [backup-simplify]: Simplify 0 into 0
0.280 * [backup-simplify]: Simplify 0 into 0
0.281 * [backup-simplify]: Simplify (+ (* (/ 0.04166666666666667 (pow (/ 1 (- x)) 3)) (pow (* (/ 1 (- y)) 1) 3)) (* (/ 0.5 (/ 1 (- x))) (* (/ 1 (- y)) 1))) into (+ (* 0.5 (/ x y)) (* 0.04166666666666667 (/ (pow x 3) (pow y 3))))
0.281 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.281 * [backup-simplify]: Simplify (sin (/ x (* y 2.0))) into (sin (* 0.5 (/ x y)))
0.281 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in (x y) around 0
0.281 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y
0.281 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y
0.281 * [taylor]: Taking taylor expansion of 0.5 in y
0.281 * [backup-simplify]: Simplify 0.5 into 0.5
0.281 * [taylor]: Taking taylor expansion of (/ x y) in y
0.281 * [taylor]: Taking taylor expansion of x in y
0.281 * [backup-simplify]: Simplify x into x
0.281 * [taylor]: Taking taylor expansion of y in y
0.281 * [backup-simplify]: Simplify 0 into 0
0.281 * [backup-simplify]: Simplify 1 into 1
0.281 * [backup-simplify]: Simplify (/ x 1) into x
0.281 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
0.281 * [backup-simplify]: Simplify (sin (* 0.5 (/ x y))) into (sin (* 0.5 (/ x y)))
0.281 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x
0.281 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
0.281 * [taylor]: Taking taylor expansion of 0.5 in x
0.281 * [backup-simplify]: Simplify 0.5 into 0.5
0.281 * [taylor]: Taking taylor expansion of (/ x y) in x
0.281 * [taylor]: Taking taylor expansion of x in x
0.281 * [backup-simplify]: Simplify 0 into 0
0.281 * [backup-simplify]: Simplify 1 into 1
0.281 * [taylor]: Taking taylor expansion of y in x
0.281 * [backup-simplify]: Simplify y into y
0.281 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.282 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
0.282 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x
0.282 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
0.282 * [taylor]: Taking taylor expansion of 0.5 in x
0.282 * [backup-simplify]: Simplify 0.5 into 0.5
0.282 * [taylor]: Taking taylor expansion of (/ x y) in x
0.282 * [taylor]: Taking taylor expansion of x in x
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [backup-simplify]: Simplify 1 into 1
0.282 * [taylor]: Taking taylor expansion of y in x
0.282 * [backup-simplify]: Simplify y into y
0.282 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.282 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
0.282 * [taylor]: Taking taylor expansion of 0 in y
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 y) 1) 1))) into (* 0.5 (/ 1 y))
0.282 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
0.282 * [taylor]: Taking taylor expansion of 0.5 in y
0.282 * [backup-simplify]: Simplify 0.5 into 0.5
0.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.282 * [taylor]: Taking taylor expansion of y in y
0.282 * [backup-simplify]: Simplify 0 into 0
0.282 * [backup-simplify]: Simplify 1 into 1
0.282 * [backup-simplify]: Simplify (/ 1 1) into 1
0.283 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.284 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
0.284 * [backup-simplify]: Simplify 0 into 0
0.284 * [backup-simplify]: Simplify 0 into 0
0.284 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
0.285 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
0.285 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.285 * [taylor]: Taking taylor expansion of 0 in y
0.285 * [backup-simplify]: Simplify 0 into 0
0.285 * [backup-simplify]: Simplify 0 into 0
0.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.287 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
0.287 * [backup-simplify]: Simplify 0 into 0
0.287 * [backup-simplify]: Simplify 0 into 0
0.287 * [backup-simplify]: Simplify 0 into 0
0.287 * [backup-simplify]: Simplify (sin (/ (/ 1 x) (* (/ 1 y) 2.0))) into (sin (* 0.5 (/ y x)))
0.288 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0
0.288 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
0.288 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.288 * [taylor]: Taking taylor expansion of 0.5 in y
0.288 * [backup-simplify]: Simplify 0.5 into 0.5
0.288 * [taylor]: Taking taylor expansion of (/ y x) in y
0.288 * [taylor]: Taking taylor expansion of y in y
0.288 * [backup-simplify]: Simplify 0 into 0
0.288 * [backup-simplify]: Simplify 1 into 1
0.288 * [taylor]: Taking taylor expansion of x in y
0.288 * [backup-simplify]: Simplify x into x
0.288 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.288 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.288 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.288 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.288 * [taylor]: Taking taylor expansion of 0.5 in x
0.288 * [backup-simplify]: Simplify 0.5 into 0.5
0.288 * [taylor]: Taking taylor expansion of (/ y x) in x
0.288 * [taylor]: Taking taylor expansion of y in x
0.288 * [backup-simplify]: Simplify y into y
0.288 * [taylor]: Taking taylor expansion of x in x
0.288 * [backup-simplify]: Simplify 0 into 0
0.288 * [backup-simplify]: Simplify 1 into 1
0.288 * [backup-simplify]: Simplify (/ y 1) into y
0.288 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.288 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.288 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.288 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.289 * [taylor]: Taking taylor expansion of 0.5 in x
0.289 * [backup-simplify]: Simplify 0.5 into 0.5
0.289 * [taylor]: Taking taylor expansion of (/ y x) in x
0.289 * [taylor]: Taking taylor expansion of y in x
0.289 * [backup-simplify]: Simplify y into y
0.289 * [taylor]: Taking taylor expansion of x in x
0.289 * [backup-simplify]: Simplify 0 into 0
0.289 * [backup-simplify]: Simplify 1 into 1
0.289 * [backup-simplify]: Simplify (/ y 1) into y
0.289 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.289 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.289 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
0.289 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.289 * [taylor]: Taking taylor expansion of 0.5 in y
0.289 * [backup-simplify]: Simplify 0.5 into 0.5
0.289 * [taylor]: Taking taylor expansion of (/ y x) in y
0.289 * [taylor]: Taking taylor expansion of y in y
0.289 * [backup-simplify]: Simplify 0 into 0
0.289 * [backup-simplify]: Simplify 1 into 1
0.289 * [taylor]: Taking taylor expansion of x in y
0.289 * [backup-simplify]: Simplify x into x
0.289 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.289 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.289 * [backup-simplify]: Simplify 0 into 0
0.289 * [taylor]: Taking taylor expansion of 0 in y
0.290 * [backup-simplify]: Simplify 0 into 0
0.290 * [backup-simplify]: Simplify 0 into 0
0.290 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
0.290 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.290 * [taylor]: Taking taylor expansion of 0 in y
0.290 * [backup-simplify]: Simplify 0 into 0
0.290 * [backup-simplify]: Simplify 0 into 0
0.290 * [backup-simplify]: Simplify 0 into 0
0.290 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
0.291 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
0.292 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.292 * [backup-simplify]: Simplify 0 into 0
0.292 * [taylor]: Taking taylor expansion of 0 in y
0.292 * [backup-simplify]: Simplify 0 into 0
0.292 * [backup-simplify]: Simplify 0 into 0
0.292 * [backup-simplify]: Simplify 0 into 0
0.292 * [backup-simplify]: Simplify 0 into 0
0.292 * [backup-simplify]: Simplify (* (/ 0.5 (/ 1 x)) (* (/ 1 y) 1)) into (* 0.5 (/ x y))
0.292 * [backup-simplify]: Simplify (sin (/ (/ 1 (- x)) (* (/ 1 (- y)) 2.0))) into (sin (* 0.5 (/ y x)))
0.292 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0
0.292 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
0.292 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.292 * [taylor]: Taking taylor expansion of 0.5 in y
0.292 * [backup-simplify]: Simplify 0.5 into 0.5
0.292 * [taylor]: Taking taylor expansion of (/ y x) in y
0.292 * [taylor]: Taking taylor expansion of y in y
0.292 * [backup-simplify]: Simplify 0 into 0
0.292 * [backup-simplify]: Simplify 1 into 1
0.292 * [taylor]: Taking taylor expansion of x in y
0.292 * [backup-simplify]: Simplify x into x
0.293 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.293 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.293 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.293 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.293 * [taylor]: Taking taylor expansion of 0.5 in x
0.293 * [backup-simplify]: Simplify 0.5 into 0.5
0.293 * [taylor]: Taking taylor expansion of (/ y x) in x
0.293 * [taylor]: Taking taylor expansion of y in x
0.293 * [backup-simplify]: Simplify y into y
0.293 * [taylor]: Taking taylor expansion of x in x
0.293 * [backup-simplify]: Simplify 0 into 0
0.293 * [backup-simplify]: Simplify 1 into 1
0.293 * [backup-simplify]: Simplify (/ y 1) into y
0.293 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.293 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.293 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.293 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.293 * [taylor]: Taking taylor expansion of 0.5 in x
0.293 * [backup-simplify]: Simplify 0.5 into 0.5
0.293 * [taylor]: Taking taylor expansion of (/ y x) in x
0.293 * [taylor]: Taking taylor expansion of y in x
0.293 * [backup-simplify]: Simplify y into y
0.293 * [taylor]: Taking taylor expansion of x in x
0.293 * [backup-simplify]: Simplify 0 into 0
0.293 * [backup-simplify]: Simplify 1 into 1
0.293 * [backup-simplify]: Simplify (/ y 1) into y
0.294 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.294 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.294 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
0.294 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.294 * [taylor]: Taking taylor expansion of 0.5 in y
0.294 * [backup-simplify]: Simplify 0.5 into 0.5
0.294 * [taylor]: Taking taylor expansion of (/ y x) in y
0.294 * [taylor]: Taking taylor expansion of y in y
0.294 * [backup-simplify]: Simplify 0 into 0
0.294 * [backup-simplify]: Simplify 1 into 1
0.294 * [taylor]: Taking taylor expansion of x in y
0.294 * [backup-simplify]: Simplify x into x
0.294 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.294 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.294 * [backup-simplify]: Simplify 0 into 0
0.294 * [taylor]: Taking taylor expansion of 0 in y
0.294 * [backup-simplify]: Simplify 0 into 0
0.294 * [backup-simplify]: Simplify 0 into 0
0.294 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
0.295 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.295 * [taylor]: Taking taylor expansion of 0 in y
0.295 * [backup-simplify]: Simplify 0 into 0
0.295 * [backup-simplify]: Simplify 0 into 0
0.295 * [backup-simplify]: Simplify 0 into 0
0.295 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
0.296 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
0.296 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.296 * [backup-simplify]: Simplify 0 into 0
0.296 * [taylor]: Taking taylor expansion of 0 in y
0.296 * [backup-simplify]: Simplify 0 into 0
0.296 * [backup-simplify]: Simplify 0 into 0
0.296 * [backup-simplify]: Simplify 0 into 0
0.297 * [backup-simplify]: Simplify 0 into 0
0.297 * [backup-simplify]: Simplify (* (/ 0.5 (/ 1 (- x))) (* (/ 1 (- y)) 1)) into (* 0.5 (/ x y))
0.297 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.297 * [backup-simplify]: Simplify (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) into (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y))))
0.297 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in (x y) around 0
0.297 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in y
0.297 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in y
0.297 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y))))
0.297 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y
0.297 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y
0.297 * [taylor]: Taking taylor expansion of 0.5 in y
0.297 * [backup-simplify]: Simplify 0.5 into 0.5
0.297 * [taylor]: Taking taylor expansion of (/ x y) in y
0.297 * [taylor]: Taking taylor expansion of x in y
0.297 * [backup-simplify]: Simplify x into x
0.298 * [taylor]: Taking taylor expansion of y in y
0.298 * [backup-simplify]: Simplify 0 into 0
0.298 * [backup-simplify]: Simplify 1 into 1
0.298 * [backup-simplify]: Simplify (/ x 1) into x
0.298 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
0.298 * [backup-simplify]: Simplify (sin (* 0.5 (/ x y))) into (sin (* 0.5 (/ x y)))
0.298 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y
0.298 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y
0.298 * [taylor]: Taking taylor expansion of 0.5 in y
0.298 * [backup-simplify]: Simplify 0.5 into 0.5
0.298 * [taylor]: Taking taylor expansion of (/ x y) in y
0.298 * [taylor]: Taking taylor expansion of x in y
0.298 * [backup-simplify]: Simplify x into x
0.298 * [taylor]: Taking taylor expansion of y in y
0.298 * [backup-simplify]: Simplify 0 into 0
0.298 * [backup-simplify]: Simplify 1 into 1
0.298 * [backup-simplify]: Simplify (/ x 1) into x
0.298 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
0.298 * [backup-simplify]: Simplify (cos (* 0.5 (/ x y))) into (cos (* 0.5 (/ x y)))
0.299 * [backup-simplify]: Simplify (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) into (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y))))
0.299 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y
0.299 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y
0.299 * [taylor]: Taking taylor expansion of 0.5 in y
0.299 * [backup-simplify]: Simplify 0.5 into 0.5
0.299 * [taylor]: Taking taylor expansion of (/ x y) in y
0.299 * [taylor]: Taking taylor expansion of x in y
0.299 * [backup-simplify]: Simplify x into x
0.299 * [taylor]: Taking taylor expansion of y in y
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.299 * [backup-simplify]: Simplify (/ x 1) into x
0.299 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
0.299 * [backup-simplify]: Simplify (sin (* 0.5 (/ x y))) into (sin (* 0.5 (/ x y)))
0.299 * [backup-simplify]: Simplify (/ (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y)))) (sin (* 0.5 (/ x y)))) into (/ 1 (cos (* 0.5 (/ x y))))
0.299 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x
0.299 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x
0.299 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y))))
0.299 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x
0.299 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
0.299 * [taylor]: Taking taylor expansion of 0.5 in x
0.299 * [backup-simplify]: Simplify 0.5 into 0.5
0.299 * [taylor]: Taking taylor expansion of (/ x y) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.299 * [taylor]: Taking taylor expansion of y in x
0.299 * [backup-simplify]: Simplify y into y
0.299 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.299 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
0.299 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x
0.299 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
0.299 * [taylor]: Taking taylor expansion of 0.5 in x
0.299 * [backup-simplify]: Simplify 0.5 into 0.5
0.299 * [taylor]: Taking taylor expansion of (/ x y) in x
0.299 * [taylor]: Taking taylor expansion of x in x
0.299 * [backup-simplify]: Simplify 0 into 0
0.299 * [backup-simplify]: Simplify 1 into 1
0.300 * [taylor]: Taking taylor expansion of y in x
0.300 * [backup-simplify]: Simplify y into y
0.300 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.300 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
0.300 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 y) 1) 1))) into (* 0.5 (/ 1 y))
0.300 * [backup-simplify]: Simplify (/ (* 0.5 (/ 1 y)) 1) into (/ 0.5 y)
0.300 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x
0.300 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
0.300 * [taylor]: Taking taylor expansion of 0.5 in x
0.300 * [backup-simplify]: Simplify 0.5 into 0.5
0.300 * [taylor]: Taking taylor expansion of (/ x y) in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.300 * [backup-simplify]: Simplify 0 into 0
0.300 * [backup-simplify]: Simplify 1 into 1
0.300 * [taylor]: Taking taylor expansion of y in x
0.300 * [backup-simplify]: Simplify y into y
0.300 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.300 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
0.300 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 y) 1) 1))) into (* 0.5 (/ 1 y))
0.300 * [backup-simplify]: Simplify (/ (/ 0.5 y) (* 0.5 (/ 1 y))) into 1.0
0.300 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ x y))) (sin (* 0.5 (/ x y)))) in x
0.300 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ x y))) in x
0.300 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ x y))) (cos (* 0.5 (/ x y))))
0.300 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x
0.300 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
0.300 * [taylor]: Taking taylor expansion of 0.5 in x
0.300 * [backup-simplify]: Simplify 0.5 into 0.5
0.300 * [taylor]: Taking taylor expansion of (/ x y) in x
0.300 * [taylor]: Taking taylor expansion of x in x
0.300 * [backup-simplify]: Simplify 0 into 0
0.300 * [backup-simplify]: Simplify 1 into 1
0.300 * [taylor]: Taking taylor expansion of y in x
0.301 * [backup-simplify]: Simplify y into y
0.301 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.301 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
0.301 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x
0.301 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
0.301 * [taylor]: Taking taylor expansion of 0.5 in x
0.301 * [backup-simplify]: Simplify 0.5 into 0.5
0.301 * [taylor]: Taking taylor expansion of (/ x y) in x
0.301 * [taylor]: Taking taylor expansion of x in x
0.301 * [backup-simplify]: Simplify 0 into 0
0.301 * [backup-simplify]: Simplify 1 into 1
0.301 * [taylor]: Taking taylor expansion of y in x
0.301 * [backup-simplify]: Simplify y into y
0.301 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.301 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
0.301 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 y) 1) 1))) into (* 0.5 (/ 1 y))
0.301 * [backup-simplify]: Simplify (/ (* 0.5 (/ 1 y)) 1) into (/ 0.5 y)
0.301 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x
0.301 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
0.301 * [taylor]: Taking taylor expansion of 0.5 in x
0.301 * [backup-simplify]: Simplify 0.5 into 0.5
0.301 * [taylor]: Taking taylor expansion of (/ x y) in x
0.301 * [taylor]: Taking taylor expansion of x in x
0.301 * [backup-simplify]: Simplify 0 into 0
0.301 * [backup-simplify]: Simplify 1 into 1
0.301 * [taylor]: Taking taylor expansion of y in x
0.301 * [backup-simplify]: Simplify y into y
0.301 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.301 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
0.301 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 y) 1) 1))) into (* 0.5 (/ 1 y))
0.301 * [backup-simplify]: Simplify (/ (/ 0.5 y) (* 0.5 (/ 1 y))) into 1.0
0.302 * [taylor]: Taking taylor expansion of 1.0 in y
0.302 * [backup-simplify]: Simplify 1.0 into 1.0
0.302 * [backup-simplify]: Simplify 1.0 into 1.0
0.302 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
0.302 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
0.303 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.303 * [backup-simplify]: Simplify (+ 0) into 0
0.303 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (/ 0.5 y) (/ 0 1)))) into 0
0.304 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
0.304 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
0.309 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.309 * [backup-simplify]: Simplify (- (/ 0 (* 0.5 (/ 1 y))) (+ (* 1.0 (/ 0 (* 0.5 (/ 1 y)))))) into 0
0.309 * [taylor]: Taking taylor expansion of 0 in y
0.309 * [backup-simplify]: Simplify 0 into 0
0.310 * [backup-simplify]: Simplify 0 into 0
0.310 * [backup-simplify]: Simplify 0 into 0
0.310 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.311 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
0.312 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 y) 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- (* 0.020833333333333332 (/ 1 (pow y 3))))
0.312 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 y) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow y 2))))
0.313 * [backup-simplify]: Simplify (- (/ (- (* 0.020833333333333332 (/ 1 (pow y 3)))) 1) (+ (* (/ 0.5 y) (/ (- (* 0.125 (/ 1 (pow y 2)))) 1)) (* 0 (/ 0 1)))) into (* 0.04166666666666667 (/ 1 (pow y 3)))
0.313 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.314 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0
0.315 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 y) 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into (- (* 0.020833333333333332 (/ 1 (pow y 3))))
0.316 * [backup-simplify]: Simplify (- (/ (* 0.04166666666666667 (/ 1 (pow y 3))) (* 0.5 (/ 1 y))) (+ (* 1.0 (/ (- (* 0.020833333333333332 (/ 1 (pow y 3)))) (* 0.5 (/ 1 y)))) (* 0 (/ 0 (* 0.5 (/ 1 y)))))) into (* 0.125 (/ 1 (pow y 2)))
0.316 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 (pow y 2))) in y
0.316 * [taylor]: Taking taylor expansion of 0.125 in y
0.316 * [backup-simplify]: Simplify 0.125 into 0.125
0.316 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
0.316 * [taylor]: Taking taylor expansion of (pow y 2) in y
0.316 * [taylor]: Taking taylor expansion of y in y
0.316 * [backup-simplify]: Simplify 0 into 0
0.316 * [backup-simplify]: Simplify 1 into 1
0.316 * [backup-simplify]: Simplify (* 1 1) into 1
0.317 * [backup-simplify]: Simplify (/ 1 1) into 1
0.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.318 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.320 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0
0.320 * [backup-simplify]: Simplify 0 into 0
0.320 * [backup-simplify]: Simplify 0 into 0
0.320 * [backup-simplify]: Simplify 0 into 0
0.321 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.322 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
0.323 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 y) 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.323 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
0.324 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
0.324 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 y) 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.326 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (/ 0.5 y) (/ 0 1)) (* 0 (/ (- (* 0.125 (/ 1 (pow y 2)))) 1)) (* (* 0.04166666666666667 (/ 1 (pow y 3))) (/ 0 1)))) into 0
0.326 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.328 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0
0.329 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 y) 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.330 * [backup-simplify]: Simplify (- (/ 0 (* 0.5 (/ 1 y))) (+ (* 1.0 (/ 0 (* 0.5 (/ 1 y)))) (* 0 (/ (- (* 0.020833333333333332 (/ 1 (pow y 3)))) (* 0.5 (/ 1 y)))) (* (* 0.125 (/ 1 (pow y 2))) (/ 0 (* 0.5 (/ 1 y)))))) into 0
0.330 * [taylor]: Taking taylor expansion of 0 in y
0.330 * [backup-simplify]: Simplify 0 into 0
0.330 * [backup-simplify]: Simplify 0 into 0
0.330 * [backup-simplify]: Simplify 1.0 into 1.0
0.330 * [backup-simplify]: Simplify (/ (tan (/ (/ 1 x) (* (/ 1 y) 2.0))) (sin (/ (/ 1 x) (* (/ 1 y) 2.0)))) into (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))
0.330 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0
0.330 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y
0.330 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y
0.330 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.330 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
0.330 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.330 * [taylor]: Taking taylor expansion of 0.5 in y
0.330 * [backup-simplify]: Simplify 0.5 into 0.5
0.330 * [taylor]: Taking taylor expansion of (/ y x) in y
0.330 * [taylor]: Taking taylor expansion of y in y
0.330 * [backup-simplify]: Simplify 0 into 0
0.330 * [backup-simplify]: Simplify 1 into 1
0.331 * [taylor]: Taking taylor expansion of x in y
0.331 * [backup-simplify]: Simplify x into x
0.331 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.331 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.331 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
0.331 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.331 * [taylor]: Taking taylor expansion of 0.5 in y
0.331 * [backup-simplify]: Simplify 0.5 into 0.5
0.331 * [taylor]: Taking taylor expansion of (/ y x) in y
0.331 * [taylor]: Taking taylor expansion of y in y
0.331 * [backup-simplify]: Simplify 0 into 0
0.331 * [backup-simplify]: Simplify 1 into 1
0.331 * [taylor]: Taking taylor expansion of x in y
0.331 * [backup-simplify]: Simplify x into x
0.331 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.331 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.331 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
0.331 * [backup-simplify]: Simplify (/ (* 0.5 (/ 1 x)) 1) into (/ 0.5 x)
0.331 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
0.331 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.331 * [taylor]: Taking taylor expansion of 0.5 in y
0.331 * [backup-simplify]: Simplify 0.5 into 0.5
0.331 * [taylor]: Taking taylor expansion of (/ y x) in y
0.331 * [taylor]: Taking taylor expansion of y in y
0.332 * [backup-simplify]: Simplify 0 into 0
0.332 * [backup-simplify]: Simplify 1 into 1
0.332 * [taylor]: Taking taylor expansion of x in y
0.332 * [backup-simplify]: Simplify x into x
0.332 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.332 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.332 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
0.332 * [backup-simplify]: Simplify (/ (/ 0.5 x) (* 0.5 (/ 1 x))) into 1.0
0.332 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x
0.332 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x
0.332 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.332 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.332 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.332 * [taylor]: Taking taylor expansion of 0.5 in x
0.332 * [backup-simplify]: Simplify 0.5 into 0.5
0.332 * [taylor]: Taking taylor expansion of (/ y x) in x
0.332 * [taylor]: Taking taylor expansion of y in x
0.332 * [backup-simplify]: Simplify y into y
0.332 * [taylor]: Taking taylor expansion of x in x
0.332 * [backup-simplify]: Simplify 0 into 0
0.332 * [backup-simplify]: Simplify 1 into 1
0.333 * [backup-simplify]: Simplify (/ y 1) into y
0.333 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.333 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.333 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
0.333 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.333 * [taylor]: Taking taylor expansion of 0.5 in x
0.333 * [backup-simplify]: Simplify 0.5 into 0.5
0.333 * [taylor]: Taking taylor expansion of (/ y x) in x
0.333 * [taylor]: Taking taylor expansion of y in x
0.333 * [backup-simplify]: Simplify y into y
0.333 * [taylor]: Taking taylor expansion of x in x
0.333 * [backup-simplify]: Simplify 0 into 0
0.333 * [backup-simplify]: Simplify 1 into 1
0.333 * [backup-simplify]: Simplify (/ y 1) into y
0.333 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.333 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
0.333 * [backup-simplify]: Simplify (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) into (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.333 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.333 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.333 * [taylor]: Taking taylor expansion of 0.5 in x
0.333 * [backup-simplify]: Simplify 0.5 into 0.5
0.333 * [taylor]: Taking taylor expansion of (/ y x) in x
0.334 * [taylor]: Taking taylor expansion of y in x
0.334 * [backup-simplify]: Simplify y into y
0.334 * [taylor]: Taking taylor expansion of x in x
0.334 * [backup-simplify]: Simplify 0 into 0
0.334 * [backup-simplify]: Simplify 1 into 1
0.334 * [backup-simplify]: Simplify (/ y 1) into y
0.334 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.334 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.334 * [backup-simplify]: Simplify (/ (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (sin (* 0.5 (/ y x)))) into (/ 1 (cos (* 0.5 (/ y x))))
0.334 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x
0.334 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x
0.334 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.334 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.334 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.334 * [taylor]: Taking taylor expansion of 0.5 in x
0.334 * [backup-simplify]: Simplify 0.5 into 0.5
0.334 * [taylor]: Taking taylor expansion of (/ y x) in x
0.334 * [taylor]: Taking taylor expansion of y in x
0.334 * [backup-simplify]: Simplify y into y
0.334 * [taylor]: Taking taylor expansion of x in x
0.334 * [backup-simplify]: Simplify 0 into 0
0.335 * [backup-simplify]: Simplify 1 into 1
0.335 * [backup-simplify]: Simplify (/ y 1) into y
0.335 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.335 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.335 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
0.335 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.335 * [taylor]: Taking taylor expansion of 0.5 in x
0.335 * [backup-simplify]: Simplify 0.5 into 0.5
0.335 * [taylor]: Taking taylor expansion of (/ y x) in x
0.335 * [taylor]: Taking taylor expansion of y in x
0.335 * [backup-simplify]: Simplify y into y
0.335 * [taylor]: Taking taylor expansion of x in x
0.335 * [backup-simplify]: Simplify 0 into 0
0.335 * [backup-simplify]: Simplify 1 into 1
0.335 * [backup-simplify]: Simplify (/ y 1) into y
0.335 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.335 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
0.335 * [backup-simplify]: Simplify (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) into (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.335 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.335 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.335 * [taylor]: Taking taylor expansion of 0.5 in x
0.335 * [backup-simplify]: Simplify 0.5 into 0.5
0.336 * [taylor]: Taking taylor expansion of (/ y x) in x
0.336 * [taylor]: Taking taylor expansion of y in x
0.336 * [backup-simplify]: Simplify y into y
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [backup-simplify]: Simplify 0 into 0
0.336 * [backup-simplify]: Simplify 1 into 1
0.336 * [backup-simplify]: Simplify (/ y 1) into y
0.336 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.336 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.336 * [backup-simplify]: Simplify (/ (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (sin (* 0.5 (/ y x)))) into (/ 1 (cos (* 0.5 (/ y x))))
0.336 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y
0.336 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
0.336 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.336 * [taylor]: Taking taylor expansion of 0.5 in y
0.336 * [backup-simplify]: Simplify 0.5 into 0.5
0.336 * [taylor]: Taking taylor expansion of (/ y x) in y
0.336 * [taylor]: Taking taylor expansion of y in y
0.336 * [backup-simplify]: Simplify 0 into 0
0.336 * [backup-simplify]: Simplify 1 into 1
0.336 * [taylor]: Taking taylor expansion of x in y
0.336 * [backup-simplify]: Simplify x into x
0.337 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.337 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.337 * [backup-simplify]: Simplify (/ 1 1) into 1
0.337 * [backup-simplify]: Simplify 1 into 1
0.338 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.338 * [backup-simplify]: Simplify (- (/ 0 (sin (* 0.5 (/ y x)))) (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (sin (* 0.5 (/ y x))))))) into 0
0.338 * [taylor]: Taking taylor expansion of 0 in y
0.338 * [backup-simplify]: Simplify 0 into 0
0.338 * [backup-simplify]: Simplify 0 into 0
0.338 * [backup-simplify]: Simplify (+ 0) into 0
0.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.339 * [backup-simplify]: Simplify 0 into 0
0.340 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.340 * [backup-simplify]: Simplify (- (/ 0 (sin (* 0.5 (/ y x)))) (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (sin (* 0.5 (/ y x))))) (* 0 (/ 0 (sin (* 0.5 (/ y x))))))) into 0
0.340 * [taylor]: Taking taylor expansion of 0 in y
0.340 * [backup-simplify]: Simplify 0 into 0
0.340 * [backup-simplify]: Simplify 0 into 0
0.340 * [backup-simplify]: Simplify 0 into 0
0.341 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow x 2))))
0.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* 0 (/ 0 1)))) into (* 0.125 (/ 1 (pow x 2)))
0.342 * [backup-simplify]: Simplify (* 0.125 (/ 1 (pow x 2))) into (/ 0.125 (pow x 2))
0.342 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.343 * [backup-simplify]: Simplify (- (/ 0 (sin (* 0.5 (/ y x)))) (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (sin (* 0.5 (/ y x))))) (* 0 (/ 0 (sin (* 0.5 (/ y x))))) (* 0 (/ 0 (sin (* 0.5 (/ y x))))))) into 0
0.343 * [taylor]: Taking taylor expansion of 0 in y
0.343 * [backup-simplify]: Simplify 0 into 0
0.343 * [backup-simplify]: Simplify 0 into 0
0.343 * [backup-simplify]: Simplify 0 into 0
0.343 * [backup-simplify]: Simplify 0 into 0
0.343 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
0.344 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
0.344 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* (* 0.125 (/ 1 (pow x 2))) (/ 0 1)))) into 0
0.346 * [backup-simplify]: Simplify 0 into 0
0.346 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.347 * [backup-simplify]: Simplify (- (/ 0 (sin (* 0.5 (/ y x)))) (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (sin (* 0.5 (/ y x))))) (* 0 (/ 0 (sin (* 0.5 (/ y x))))) (* 0 (/ 0 (sin (* 0.5 (/ y x))))) (* 0 (/ 0 (sin (* 0.5 (/ y x))))))) into 0
0.347 * [taylor]: Taking taylor expansion of 0 in y
0.347 * [backup-simplify]: Simplify 0 into 0
0.347 * [backup-simplify]: Simplify 0 into 0
0.347 * [backup-simplify]: Simplify 0 into 0
0.348 * [backup-simplify]: Simplify (+ (* (/ 0.125 (pow (/ 1 x) 2)) (pow (* (/ 1 y) 1) 2)) 1) into (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1)
0.348 * [backup-simplify]: Simplify (/ (tan (/ (/ 1 (- x)) (* (/ 1 (- y)) 2.0))) (sin (/ (/ 1 (- x)) (* (/ 1 (- y)) 2.0)))) into (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x))))
0.348 * [approximate]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in (x y) around 0
0.348 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in y
0.348 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in y
0.348 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.348 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
0.348 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.348 * [taylor]: Taking taylor expansion of 0.5 in y
0.348 * [backup-simplify]: Simplify 0.5 into 0.5
0.348 * [taylor]: Taking taylor expansion of (/ y x) in y
0.348 * [taylor]: Taking taylor expansion of y in y
0.348 * [backup-simplify]: Simplify 0 into 0
0.348 * [backup-simplify]: Simplify 1 into 1
0.348 * [taylor]: Taking taylor expansion of x in y
0.348 * [backup-simplify]: Simplify x into x
0.348 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.349 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.349 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.349 * [taylor]: Taking taylor expansion of 0.5 in y
0.349 * [backup-simplify]: Simplify 0.5 into 0.5
0.349 * [taylor]: Taking taylor expansion of (/ y x) in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.349 * [backup-simplify]: Simplify 0 into 0
0.349 * [backup-simplify]: Simplify 1 into 1
0.349 * [taylor]: Taking taylor expansion of x in y
0.349 * [backup-simplify]: Simplify x into x
0.349 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.349 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.349 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
0.349 * [backup-simplify]: Simplify (/ (* 0.5 (/ 1 x)) 1) into (/ 0.5 x)
0.349 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
0.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.349 * [taylor]: Taking taylor expansion of 0.5 in y
0.349 * [backup-simplify]: Simplify 0.5 into 0.5
0.349 * [taylor]: Taking taylor expansion of (/ y x) in y
0.349 * [taylor]: Taking taylor expansion of y in y
0.349 * [backup-simplify]: Simplify 0 into 0
0.349 * [backup-simplify]: Simplify 1 into 1
0.349 * [taylor]: Taking taylor expansion of x in y
0.349 * [backup-simplify]: Simplify x into x
0.350 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.350 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.350 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
0.350 * [backup-simplify]: Simplify (/ (/ 0.5 x) (* 0.5 (/ 1 x))) into 1.0
0.350 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x
0.350 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x
0.350 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.350 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.350 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.350 * [taylor]: Taking taylor expansion of 0.5 in x
0.350 * [backup-simplify]: Simplify 0.5 into 0.5
0.350 * [taylor]: Taking taylor expansion of (/ y x) in x
0.350 * [taylor]: Taking taylor expansion of y in x
0.350 * [backup-simplify]: Simplify y into y
0.350 * [taylor]: Taking taylor expansion of x in x
0.350 * [backup-simplify]: Simplify 0 into 0
0.350 * [backup-simplify]: Simplify 1 into 1
0.350 * [backup-simplify]: Simplify (/ y 1) into y
0.350 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.350 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.351 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
0.351 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.351 * [taylor]: Taking taylor expansion of 0.5 in x
0.351 * [backup-simplify]: Simplify 0.5 into 0.5
0.351 * [taylor]: Taking taylor expansion of (/ y x) in x
0.351 * [taylor]: Taking taylor expansion of y in x
0.351 * [backup-simplify]: Simplify y into y
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [backup-simplify]: Simplify 0 into 0
0.351 * [backup-simplify]: Simplify 1 into 1
0.351 * [backup-simplify]: Simplify (/ y 1) into y
0.351 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.351 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
0.351 * [backup-simplify]: Simplify (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) into (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.351 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.351 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.351 * [taylor]: Taking taylor expansion of 0.5 in x
0.351 * [backup-simplify]: Simplify 0.5 into 0.5
0.351 * [taylor]: Taking taylor expansion of (/ y x) in x
0.351 * [taylor]: Taking taylor expansion of y in x
0.351 * [backup-simplify]: Simplify y into y
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [backup-simplify]: Simplify 0 into 0
0.351 * [backup-simplify]: Simplify 1 into 1
0.351 * [backup-simplify]: Simplify (/ y 1) into y
0.352 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.352 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.352 * [backup-simplify]: Simplify (/ (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (sin (* 0.5 (/ y x)))) into (/ 1 (cos (* 0.5 (/ y x))))
0.352 * [taylor]: Taking taylor expansion of (/ (tan (* 0.5 (/ y x))) (sin (* 0.5 (/ y x)))) in x
0.352 * [taylor]: Taking taylor expansion of (tan (* 0.5 (/ y x))) in x
0.352 * [taylor]: Rewrote expression to (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.352 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.352 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.352 * [taylor]: Taking taylor expansion of 0.5 in x
0.352 * [backup-simplify]: Simplify 0.5 into 0.5
0.352 * [taylor]: Taking taylor expansion of (/ y x) in x
0.352 * [taylor]: Taking taylor expansion of y in x
0.352 * [backup-simplify]: Simplify y into y
0.352 * [taylor]: Taking taylor expansion of x in x
0.352 * [backup-simplify]: Simplify 0 into 0
0.352 * [backup-simplify]: Simplify 1 into 1
0.352 * [backup-simplify]: Simplify (/ y 1) into y
0.352 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.353 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.353 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
0.353 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.353 * [taylor]: Taking taylor expansion of 0.5 in x
0.353 * [backup-simplify]: Simplify 0.5 into 0.5
0.353 * [taylor]: Taking taylor expansion of (/ y x) in x
0.353 * [taylor]: Taking taylor expansion of y in x
0.353 * [backup-simplify]: Simplify y into y
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [backup-simplify]: Simplify 0 into 0
0.353 * [backup-simplify]: Simplify 1 into 1
0.353 * [backup-simplify]: Simplify (/ y 1) into y
0.353 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.353 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
0.353 * [backup-simplify]: Simplify (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) into (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x))))
0.353 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
0.353 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
0.353 * [taylor]: Taking taylor expansion of 0.5 in x
0.353 * [backup-simplify]: Simplify 0.5 into 0.5
0.353 * [taylor]: Taking taylor expansion of (/ y x) in x
0.353 * [taylor]: Taking taylor expansion of y in x
0.353 * [backup-simplify]: Simplify y into y
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [backup-simplify]: Simplify 0 into 0
0.353 * [backup-simplify]: Simplify 1 into 1
0.354 * [backup-simplify]: Simplify (/ y 1) into y
0.354 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
0.354 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
0.354 * [backup-simplify]: Simplify (/ (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (sin (* 0.5 (/ y x)))) into (/ 1 (cos (* 0.5 (/ y x))))
0.354 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y
0.354 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
0.354 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
0.354 * [taylor]: Taking taylor expansion of 0.5 in y
0.354 * [backup-simplify]: Simplify 0.5 into 0.5
0.354 * [taylor]: Taking taylor expansion of (/ y x) in y
0.354 * [taylor]: Taking taylor expansion of y in y
0.354 * [backup-simplify]: Simplify 0 into 0
0.354 * [backup-simplify]: Simplify 1 into 1
0.354 * [taylor]: Taking taylor expansion of x in y
0.354 * [backup-simplify]: Simplify x into x
0.354 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.354 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
0.355 * [backup-simplify]: Simplify (/ 1 1) into 1
0.355 * [backup-simplify]: Simplify 1 into 1
0.356 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.356 * [backup-simplify]: Simplify (- (/ 0 (sin (* 0.5 (/ y x)))) (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (sin (* 0.5 (/ y x))))))) into 0
0.356 * [taylor]: Taking taylor expansion of 0 in y
0.356 * [backup-simplify]: Simplify 0 into 0
0.356 * [backup-simplify]: Simplify 0 into 0
0.356 * [backup-simplify]: Simplify (+ 0) into 0
0.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.357 * [backup-simplify]: Simplify 0 into 0
0.358 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.358 * [backup-simplify]: Simplify (- (/ 0 (sin (* 0.5 (/ y x)))) (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (sin (* 0.5 (/ y x))))) (* 0 (/ 0 (sin (* 0.5 (/ y x))))))) into 0
0.358 * [taylor]: Taking taylor expansion of 0 in y
0.358 * [backup-simplify]: Simplify 0 into 0
0.358 * [backup-simplify]: Simplify 0 into 0
0.358 * [backup-simplify]: Simplify 0 into 0
0.358 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow x 2))))
0.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* 0 (/ 0 1)))) into (* 0.125 (/ 1 (pow x 2)))
0.360 * [backup-simplify]: Simplify (* 0.125 (/ 1 (pow x 2))) into (/ 0.125 (pow x 2))
0.360 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.361 * [backup-simplify]: Simplify (- (/ 0 (sin (* 0.5 (/ y x)))) (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (sin (* 0.5 (/ y x))))) (* 0 (/ 0 (sin (* 0.5 (/ y x))))) (* 0 (/ 0 (sin (* 0.5 (/ y x))))))) into 0
0.361 * [taylor]: Taking taylor expansion of 0 in y
0.361 * [backup-simplify]: Simplify 0 into 0
0.361 * [backup-simplify]: Simplify 0 into 0
0.361 * [backup-simplify]: Simplify 0 into 0
0.361 * [backup-simplify]: Simplify 0 into 0
0.361 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
0.362 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
0.362 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* (* 0.125 (/ 1 (pow x 2))) (/ 0 1)))) into 0
0.364 * [backup-simplify]: Simplify 0 into 0
0.364 * [backup-simplify]: Simplify (- (/ 0 (cos (* 0.5 (/ y x)))) (+ (* (/ (sin (* 0.5 (/ y x))) (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
0.365 * [backup-simplify]: Simplify (- (/ 0 (sin (* 0.5 (/ y x)))) (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (sin (* 0.5 (/ y x))))) (* 0 (/ 0 (sin (* 0.5 (/ y x))))) (* 0 (/ 0 (sin (* 0.5 (/ y x))))) (* 0 (/ 0 (sin (* 0.5 (/ y x))))))) into 0
0.365 * [taylor]: Taking taylor expansion of 0 in y
0.365 * [backup-simplify]: Simplify 0 into 0
0.365 * [backup-simplify]: Simplify 0 into 0
0.365 * [backup-simplify]: Simplify 0 into 0
0.366 * [backup-simplify]: Simplify (+ (* (/ 0.125 (pow (/ 1 (- x)) 2)) (pow (* (/ 1 (- y)) 1) 2)) 1) into (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1)
0.366 * * * [progress]: simplifying candidates
0.367 * [simplify]: Simplifying:
  (sin (/ x (* y 2.0)))
  (cos (/ x (* y 2.0)))
  (log (tan (/ x (* y 2.0))))
  (exp (tan (/ x (* y 2.0))))
  (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0)))))
  (cbrt (tan (/ x (* y 2.0))))
  (* (* (tan (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (tan (/ x (* y 2.0))))
  (sqrt (tan (/ x (* y 2.0))))
  (sqrt (tan (/ x (* y 2.0))))
  (log (sin (/ x (* y 2.0))))
  (exp (sin (/ x (* y 2.0))))
  (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))
  (cbrt (sin (/ x (* y 2.0))))
  (* (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
  (sqrt (sin (/ x (* y 2.0))))
  (sqrt (sin (/ x (* y 2.0))))
  (- (log (tan (/ x (* y 2.0)))) (log (sin (/ x (* y 2.0)))))
  (log (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (exp (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (/ (* (* (tan (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (tan (/ x (* y 2.0)))) (* (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))))
  (* (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))))
  (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (* (* (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (sqrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (sqrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (- (tan (/ x (* y 2.0))))
  (- (sin (/ x (* y 2.0))))
  (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))))
  (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))
  (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (sqrt (sin (/ x (* y 2.0)))))
  (/ (cbrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))))
  (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) 1)
  (/ (cbrt (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
  (/ (sqrt (tan (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))))
  (/ (sqrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))
  (/ (sqrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))))
  (/ (sqrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))))
  (/ (sqrt (tan (/ x (* y 2.0)))) 1)
  (/ (sqrt (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
  (/ 1 (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))))
  (/ (tan (/ x (* y 2.0))) (cbrt (sin (/ x (* y 2.0)))))
  (/ 1 (sqrt (sin (/ x (* y 2.0)))))
  (/ (tan (/ x (* y 2.0))) (sqrt (sin (/ x (* y 2.0)))))
  (/ 1 1)
  (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
  (/ 1 (sin (/ x (* y 2.0))))
  (/ (sin (/ x (* y 2.0))) (tan (/ x (* y 2.0))))
  (/ (tan (/ x (* y 2.0))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))))
  (/ (tan (/ x (* y 2.0))) (sqrt (sin (/ x (* y 2.0)))))
  (/ (tan (/ x (* y 2.0))) 1)
  (/ (sin (/ x (* y 2.0))) (cbrt (tan (/ x (* y 2.0)))))
  (/ (sin (/ x (* y 2.0))) (sqrt (tan (/ x (* y 2.0)))))
  (/ (sin (/ x (* y 2.0))) (tan (/ x (* y 2.0))))
  (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))
  0
  (+ (* 0.5 (/ x y)) (* 0.04166666666666667 (/ (pow x 3) (pow y 3))))
  (+ (* 0.5 (/ x y)) (* 0.04166666666666667 (/ (pow x 3) (pow y 3))))
  0
  (* 0.5 (/ x y))
  (* 0.5 (/ x y))
  1.0
  (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1)
  (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1)
0.368 * * [simplify]: Extracting # 0 : cost  53  inf +  0
0.369 * * [simplify]: Extracting # 1 : cost  61  inf +  2
0.369 * * [simplify]: Extracting # 2 : cost  65  inf +  45
0.369 * * [simplify]: Extracting # 3 : cost  66  inf +  49
0.369 * * [simplify]: Extracting # 4 : cost  54  inf +  2228
0.371 * * [simplify]: Extracting # 5 : cost  15  inf +  13819
0.374 * * [simplify]: Extracting # 6 : cost  0  inf +  19408
0.376 * * [simplify]: iteration  0 :  77  enodes  (cost  18480 )
0.396 * * [simplify]: Extracting # 0 : cost  0  inf +  19408
0.399 * * [simplify]: Extracting # 1 : cost  22  inf +  16727
0.403 * * [simplify]: Extracting # 2 : cost  3  inf +  21996
0.407 * * [simplify]: Extracting # 3 : cost  1  inf +  21817
0.411 * * [simplify]: Extracting # 4 : cost  0  inf +  22029
0.413 * * [simplify]: iteration  1 :  144  enodes  (cost  17003 )
0.456 * * [simplify]: Extracting # 0 : cost  0  inf +  22029
0.461 * * [simplify]: Extracting # 1 : cost  131  inf +  21387
0.471 * * [simplify]: Extracting # 2 : cost  3  inf +  49867
0.484 * * [simplify]: Extracting # 3 : cost  2  inf +  49588
0.496 * * [simplify]: Extracting # 4 : cost  0  inf +  49892
0.508 * * [simplify]: iteration  2 :  494  enodes  (cost  16603 )
0.788 * * [simplify]: Extracting # 0 : cost  0  inf +  49892
0.809 * * [simplify]: Extracting # 1 : cost  1137  inf +  34980
0.843 * * [simplify]: Extracting # 2 : cost  3  inf +  274300
0.889 * * [simplify]: Extracting # 3 : cost  0  inf +  274565
0.929 * * [simplify]: Extracting # 4 : cost  0  inf +  274365
0.972 * * [simplify]: iteration  3 :  3170  enodes  (cost  16603 )
1.560 * * [simplify]: Extracting # 0 : cost  0  inf +  274365
1.636 * * [simplify]: Extracting # 1 : cost  1121  inf +  269891
1.698 * * [simplify]: Extracting # 2 : cost  0  inf +  464392
1.781 * * [simplify]: Extracting # 3 : cost  0  inf +  464312
1.876 * * [simplify]: iteration done:  5002  enodes  (cost  16603 )
1.877 * [simplify]: Simplified to:
  (sin (/ x (* y 2.0)))
  (cos (/ x (* y 2.0)))
  (log (tan (/ x (* y 2.0))))
  (exp (tan (/ x (* y 2.0))))
  (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0)))))
  (cbrt (tan (/ x (* y 2.0))))
  (* (* (tan (/ x (* y 2.0))) (tan (/ x (* y 2.0)))) (tan (/ x (* y 2.0))))
  (sqrt (tan (/ x (* y 2.0))))
  (sqrt (tan (/ x (* y 2.0))))
  (log (sin (/ x (* y 2.0))))
  (exp (sin (/ x (* y 2.0))))
  (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))
  (cbrt (sin (/ x (* y 2.0))))
  (* (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (sqrt (sin (/ x (* y 2.0))))
  (sqrt (sin (/ x (* y 2.0))))
  (log (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (log (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (exp (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (* (* (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (* (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))))
  (cbrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (* (* (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))) (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (sqrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (sqrt (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (- (tan (/ x (* y 2.0))))
  (- (sin (/ x (* y 2.0))))
  (* (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))))
  (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))
  (/ (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (sqrt (sin (/ x (* y 2.0)))))
  (/ (cbrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))))
  (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0)))))
  (/ (cbrt (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
  (/ (sqrt (tan (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))))
  (/ (sqrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))
  (/ (sqrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))))
  (/ (sqrt (tan (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))))
  (sqrt (tan (/ x (* y 2.0))))
  (/ (sqrt (tan (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
  (/ 1 (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))))
  (/ (tan (/ x (* y 2.0))) (cbrt (sin (/ x (* y 2.0)))))
  (/ 1 (sqrt (sin (/ x (* y 2.0)))))
  (/ (tan (/ x (* y 2.0))) (sqrt (sin (/ x (* y 2.0)))))
  1
  (/ (tan (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
  (/ 1 (sin (/ x (* y 2.0))))
  (/ (sin (/ x (* y 2.0))) (tan (/ x (* y 2.0))))
  (/ (tan (/ x (* y 2.0))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))))
  (/ (tan (/ x (* y 2.0))) (sqrt (sin (/ x (* y 2.0)))))
  (tan (/ x (* y 2.0)))
  (/ (sin (/ x (* y 2.0))) (cbrt (tan (/ x (* y 2.0)))))
  (/ (sin (/ x (* y 2.0))) (sqrt (tan (/ x (* y 2.0)))))
  (/ (sin (/ x (* y 2.0))) (tan (/ x (* y 2.0))))
  (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))
  0
  (+ (* 0.5 (/ x y)) (* (* (* (/ x y) (/ x y)) (/ x y)) 0.04166666666666667))
  (+ (* 0.5 (/ x y)) (* (* (* (/ x y) (/ x y)) (/ x y)) 0.04166666666666667))
  0
  (* 0.5 (/ x y))
  (* 0.5 (/ x y))
  1.0
  (+ (* 0.125 (* (/ x y) (/ x y))) 1)
  (+ (* 0.125 (* (/ x y) (/ x y))) 1)
1.879 * * * [progress]: adding candidates to table
2.201 * * [progress]: iteration 2 / 4
2.201 * * * [progress]: picking best candidate
2.271 * * * * [pick]: Picked  #<alt (λ (x y) 1.0)>
2.271 * * * [progress]: localizing error
2.271 * * * [progress]: generating rewritten candidates
2.271 * * * [progress]: generating series expansions
2.271 * * * [progress]: simplifying candidates
2.271 * [simplify]: Simplifying:
  
2.271 * * [simplify]: Extracting # 0 : cost  0  inf +  0
2.272 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
2.272 * * [simplify]: Extracting # 0 : cost  0  inf +  0
2.272 * * [simplify]: iteration done:  0  enodes  (cost  0 )
2.272 * [simplify]: Simplified to:
  
2.272 * * * [progress]: adding candidates to table
2.272 * * [progress]: iteration 3 / 4
2.272 * * * [progress]: picking best candidate
2.328 * * * * [pick]: Picked  #<alt (λ (x y) (/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))>
2.328 * * * [progress]: localizing error
2.360 * * * [progress]: generating rewritten candidates
2.360 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
2.365 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
2.369 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.372 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
2.397 * * * [progress]: generating series expansions
2.397 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
2.397 * [backup-simplify]: Simplify (cos (/ x (* y 2.0))) into (cos (* 0.5 (/ x y)))
2.397 * [approximate]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in (x y) around 0
2.397 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y
2.397 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y
2.397 * [taylor]: Taking taylor expansion of 0.5 in y
2.397 * [backup-simplify]: Simplify 0.5 into 0.5
2.397 * [taylor]: Taking taylor expansion of (/ x y) in y
2.397 * [taylor]: Taking taylor expansion of x in y
2.397 * [backup-simplify]: Simplify x into x
2.397 * [taylor]: Taking taylor expansion of y in y
2.397 * [backup-simplify]: Simplify 0 into 0
2.397 * [backup-simplify]: Simplify 1 into 1
2.398 * [backup-simplify]: Simplify (/ x 1) into x
2.398 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
2.398 * [backup-simplify]: Simplify (cos (* 0.5 (/ x y))) into (cos (* 0.5 (/ x y)))
2.398 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x
2.398 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
2.398 * [taylor]: Taking taylor expansion of 0.5 in x
2.398 * [backup-simplify]: Simplify 0.5 into 0.5
2.398 * [taylor]: Taking taylor expansion of (/ x y) in x
2.398 * [taylor]: Taking taylor expansion of x in x
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 1 into 1
2.398 * [taylor]: Taking taylor expansion of y in x
2.398 * [backup-simplify]: Simplify y into y
2.398 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.398 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
2.398 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x
2.398 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
2.398 * [taylor]: Taking taylor expansion of 0.5 in x
2.398 * [backup-simplify]: Simplify 0.5 into 0.5
2.398 * [taylor]: Taking taylor expansion of (/ x y) in x
2.398 * [taylor]: Taking taylor expansion of x in x
2.398 * [backup-simplify]: Simplify 0 into 0
2.398 * [backup-simplify]: Simplify 1 into 1
2.398 * [taylor]: Taking taylor expansion of y in x
2.398 * [backup-simplify]: Simplify y into y
2.398 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.398 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
2.398 * [taylor]: Taking taylor expansion of 1 in y
2.398 * [backup-simplify]: Simplify 1 into 1
2.398 * [backup-simplify]: Simplify 1 into 1
2.399 * [backup-simplify]: Simplify (+ 0) into 0
2.399 * [taylor]: Taking taylor expansion of 0 in y
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 y) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow y 2))))
2.399 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 (pow y 2)))) in y
2.399 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 (pow y 2))) in y
2.399 * [taylor]: Taking taylor expansion of 0.125 in y
2.399 * [backup-simplify]: Simplify 0.125 into 0.125
2.399 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.399 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.399 * [taylor]: Taking taylor expansion of y in y
2.399 * [backup-simplify]: Simplify 0 into 0
2.399 * [backup-simplify]: Simplify 1 into 1
2.399 * [backup-simplify]: Simplify (* 1 1) into 1
2.400 * [backup-simplify]: Simplify (/ 1 1) into 1
2.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.401 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.402 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0
2.402 * [backup-simplify]: Simplify (- 0) into 0
2.402 * [backup-simplify]: Simplify 0 into 0
2.402 * [backup-simplify]: Simplify 0 into 0
2.402 * [backup-simplify]: Simplify 0 into 0
2.402 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
2.403 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
2.403 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 y) 1) 1) (/ (pow 0 1) 1)) 0) into 0
2.403 * [taylor]: Taking taylor expansion of 0 in y
2.403 * [backup-simplify]: Simplify 0 into 0
2.403 * [backup-simplify]: Simplify 0 into 0
2.403 * [backup-simplify]: Simplify 1 into 1
2.403 * [backup-simplify]: Simplify (cos (/ (/ 1 x) (* (/ 1 y) 2.0))) into (cos (* 0.5 (/ y x)))
2.403 * [approximate]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in (x y) around 0
2.404 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
2.404 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.404 * [taylor]: Taking taylor expansion of 0.5 in y
2.404 * [backup-simplify]: Simplify 0.5 into 0.5
2.404 * [taylor]: Taking taylor expansion of (/ y x) in y
2.404 * [taylor]: Taking taylor expansion of y in y
2.404 * [backup-simplify]: Simplify 0 into 0
2.404 * [backup-simplify]: Simplify 1 into 1
2.404 * [taylor]: Taking taylor expansion of x in y
2.404 * [backup-simplify]: Simplify x into x
2.404 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.404 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.404 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
2.404 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.404 * [taylor]: Taking taylor expansion of 0.5 in x
2.404 * [backup-simplify]: Simplify 0.5 into 0.5
2.404 * [taylor]: Taking taylor expansion of (/ y x) in x
2.404 * [taylor]: Taking taylor expansion of y in x
2.404 * [backup-simplify]: Simplify y into y
2.404 * [taylor]: Taking taylor expansion of x in x
2.404 * [backup-simplify]: Simplify 0 into 0
2.404 * [backup-simplify]: Simplify 1 into 1
2.404 * [backup-simplify]: Simplify (/ y 1) into y
2.404 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.404 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
2.404 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
2.404 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.404 * [taylor]: Taking taylor expansion of 0.5 in x
2.404 * [backup-simplify]: Simplify 0.5 into 0.5
2.404 * [taylor]: Taking taylor expansion of (/ y x) in x
2.404 * [taylor]: Taking taylor expansion of y in x
2.404 * [backup-simplify]: Simplify y into y
2.404 * [taylor]: Taking taylor expansion of x in x
2.404 * [backup-simplify]: Simplify 0 into 0
2.404 * [backup-simplify]: Simplify 1 into 1
2.404 * [backup-simplify]: Simplify (/ y 1) into y
2.404 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.404 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
2.404 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
2.404 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.404 * [taylor]: Taking taylor expansion of 0.5 in y
2.404 * [backup-simplify]: Simplify 0.5 into 0.5
2.404 * [taylor]: Taking taylor expansion of (/ y x) in y
2.404 * [taylor]: Taking taylor expansion of y in y
2.404 * [backup-simplify]: Simplify 0 into 0
2.405 * [backup-simplify]: Simplify 1 into 1
2.405 * [taylor]: Taking taylor expansion of x in y
2.405 * [backup-simplify]: Simplify x into x
2.405 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.405 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.405 * [backup-simplify]: Simplify 1 into 1
2.405 * [taylor]: Taking taylor expansion of 0 in y
2.405 * [backup-simplify]: Simplify 0 into 0
2.405 * [backup-simplify]: Simplify 0 into 0
2.405 * [backup-simplify]: Simplify (+ 0) into 0
2.405 * [backup-simplify]: Simplify 0 into 0
2.405 * [taylor]: Taking taylor expansion of 0 in y
2.405 * [backup-simplify]: Simplify 0 into 0
2.405 * [backup-simplify]: Simplify 0 into 0
2.405 * [backup-simplify]: Simplify 0 into 0
2.405 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow x 2))))
2.405 * [backup-simplify]: Simplify (- (* 0.125 (/ 1 (pow x 2)))) into (- (* 0.125 (/ 1 (pow x 2))))
2.405 * [taylor]: Taking taylor expansion of 0 in y
2.405 * [backup-simplify]: Simplify 0 into 0
2.405 * [backup-simplify]: Simplify 0 into 0
2.405 * [backup-simplify]: Simplify 0 into 0
2.406 * [backup-simplify]: Simplify 0 into 0
2.406 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
2.406 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
2.407 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 1) 1) (/ (pow 0 1) 1)) 0) into 0
2.407 * [backup-simplify]: Simplify 0 into 0
2.407 * [taylor]: Taking taylor expansion of 0 in y
2.407 * [backup-simplify]: Simplify 0 into 0
2.407 * [backup-simplify]: Simplify 0 into 0
2.407 * [backup-simplify]: Simplify 0 into 0
2.407 * [backup-simplify]: Simplify (+ (* (- (* 0.125 (/ 1 (pow (/ 1 x) 2)))) (pow (* (/ 1 y) 1) 2)) 1) into (- 1 (* 0.125 (/ (pow x 2) (pow y 2))))
2.407 * [backup-simplify]: Simplify (cos (/ (/ 1 (- x)) (* (/ 1 (- y)) 2.0))) into (cos (* 0.5 (/ y x)))
2.407 * [approximate]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in (x y) around 0
2.407 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
2.407 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.407 * [taylor]: Taking taylor expansion of 0.5 in y
2.407 * [backup-simplify]: Simplify 0.5 into 0.5
2.407 * [taylor]: Taking taylor expansion of (/ y x) in y
2.407 * [taylor]: Taking taylor expansion of y in y
2.407 * [backup-simplify]: Simplify 0 into 0
2.407 * [backup-simplify]: Simplify 1 into 1
2.407 * [taylor]: Taking taylor expansion of x in y
2.407 * [backup-simplify]: Simplify x into x
2.407 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.407 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.407 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
2.407 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.407 * [taylor]: Taking taylor expansion of 0.5 in x
2.407 * [backup-simplify]: Simplify 0.5 into 0.5
2.407 * [taylor]: Taking taylor expansion of (/ y x) in x
2.407 * [taylor]: Taking taylor expansion of y in x
2.407 * [backup-simplify]: Simplify y into y
2.408 * [taylor]: Taking taylor expansion of x in x
2.408 * [backup-simplify]: Simplify 0 into 0
2.408 * [backup-simplify]: Simplify 1 into 1
2.408 * [backup-simplify]: Simplify (/ y 1) into y
2.408 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.408 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
2.408 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
2.408 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.408 * [taylor]: Taking taylor expansion of 0.5 in x
2.408 * [backup-simplify]: Simplify 0.5 into 0.5
2.408 * [taylor]: Taking taylor expansion of (/ y x) in x
2.408 * [taylor]: Taking taylor expansion of y in x
2.408 * [backup-simplify]: Simplify y into y
2.408 * [taylor]: Taking taylor expansion of x in x
2.408 * [backup-simplify]: Simplify 0 into 0
2.408 * [backup-simplify]: Simplify 1 into 1
2.408 * [backup-simplify]: Simplify (/ y 1) into y
2.408 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.408 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
2.408 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
2.408 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.408 * [taylor]: Taking taylor expansion of 0.5 in y
2.408 * [backup-simplify]: Simplify 0.5 into 0.5
2.408 * [taylor]: Taking taylor expansion of (/ y x) in y
2.408 * [taylor]: Taking taylor expansion of y in y
2.408 * [backup-simplify]: Simplify 0 into 0
2.408 * [backup-simplify]: Simplify 1 into 1
2.408 * [taylor]: Taking taylor expansion of x in y
2.408 * [backup-simplify]: Simplify x into x
2.408 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.408 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.408 * [backup-simplify]: Simplify 1 into 1
2.408 * [taylor]: Taking taylor expansion of 0 in y
2.408 * [backup-simplify]: Simplify 0 into 0
2.408 * [backup-simplify]: Simplify 0 into 0
2.409 * [backup-simplify]: Simplify (+ 0) into 0
2.409 * [backup-simplify]: Simplify 0 into 0
2.409 * [taylor]: Taking taylor expansion of 0 in y
2.409 * [backup-simplify]: Simplify 0 into 0
2.409 * [backup-simplify]: Simplify 0 into 0
2.409 * [backup-simplify]: Simplify 0 into 0
2.409 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow x 2))))
2.409 * [backup-simplify]: Simplify (- (* 0.125 (/ 1 (pow x 2)))) into (- (* 0.125 (/ 1 (pow x 2))))
2.409 * [taylor]: Taking taylor expansion of 0 in y
2.409 * [backup-simplify]: Simplify 0 into 0
2.409 * [backup-simplify]: Simplify 0 into 0
2.409 * [backup-simplify]: Simplify 0 into 0
2.409 * [backup-simplify]: Simplify 0 into 0
2.409 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
2.410 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
2.410 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 1) 1) (/ (pow 0 1) 1)) 0) into 0
2.410 * [backup-simplify]: Simplify 0 into 0
2.410 * [taylor]: Taking taylor expansion of 0 in y
2.410 * [backup-simplify]: Simplify 0 into 0
2.410 * [backup-simplify]: Simplify 0 into 0
2.410 * [backup-simplify]: Simplify 0 into 0
2.410 * [backup-simplify]: Simplify (+ (* (- (* 0.125 (/ 1 (pow (/ 1 (- x)) 2)))) (pow (* (/ 1 (- y)) 1) 2)) 1) into (- 1 (* 0.125 (/ (pow x 2) (pow y 2))))
2.410 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
2.411 * [backup-simplify]: Simplify (sin (/ x (* y 2.0))) into (sin (* 0.5 (/ x y)))
2.411 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in (x y) around 0
2.411 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y
2.411 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y
2.411 * [taylor]: Taking taylor expansion of 0.5 in y
2.411 * [backup-simplify]: Simplify 0.5 into 0.5
2.411 * [taylor]: Taking taylor expansion of (/ x y) in y
2.411 * [taylor]: Taking taylor expansion of x in y
2.411 * [backup-simplify]: Simplify x into x
2.411 * [taylor]: Taking taylor expansion of y in y
2.411 * [backup-simplify]: Simplify 0 into 0
2.411 * [backup-simplify]: Simplify 1 into 1
2.411 * [backup-simplify]: Simplify (/ x 1) into x
2.411 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
2.411 * [backup-simplify]: Simplify (sin (* 0.5 (/ x y))) into (sin (* 0.5 (/ x y)))
2.411 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x
2.411 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
2.411 * [taylor]: Taking taylor expansion of 0.5 in x
2.411 * [backup-simplify]: Simplify 0.5 into 0.5
2.411 * [taylor]: Taking taylor expansion of (/ x y) in x
2.411 * [taylor]: Taking taylor expansion of x in x
2.411 * [backup-simplify]: Simplify 0 into 0
2.411 * [backup-simplify]: Simplify 1 into 1
2.411 * [taylor]: Taking taylor expansion of y in x
2.411 * [backup-simplify]: Simplify y into y
2.411 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.411 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
2.411 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x
2.411 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
2.411 * [taylor]: Taking taylor expansion of 0.5 in x
2.411 * [backup-simplify]: Simplify 0.5 into 0.5
2.411 * [taylor]: Taking taylor expansion of (/ x y) in x
2.411 * [taylor]: Taking taylor expansion of x in x
2.411 * [backup-simplify]: Simplify 0 into 0
2.411 * [backup-simplify]: Simplify 1 into 1
2.411 * [taylor]: Taking taylor expansion of y in x
2.411 * [backup-simplify]: Simplify y into y
2.411 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.411 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
2.411 * [taylor]: Taking taylor expansion of 0 in y
2.411 * [backup-simplify]: Simplify 0 into 0
2.411 * [backup-simplify]: Simplify 0 into 0
2.412 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 y) 1) 1))) into (* 0.5 (/ 1 y))
2.412 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
2.412 * [taylor]: Taking taylor expansion of 0.5 in y
2.412 * [backup-simplify]: Simplify 0.5 into 0.5
2.412 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.412 * [taylor]: Taking taylor expansion of y in y
2.412 * [backup-simplify]: Simplify 0 into 0
2.412 * [backup-simplify]: Simplify 1 into 1
2.412 * [backup-simplify]: Simplify (/ 1 1) into 1
2.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.413 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
2.413 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
2.413 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
2.414 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.414 * [taylor]: Taking taylor expansion of 0 in y
2.414 * [backup-simplify]: Simplify 0 into 0
2.414 * [backup-simplify]: Simplify 0 into 0
2.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.415 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
2.415 * [backup-simplify]: Simplify 0 into 0
2.415 * [backup-simplify]: Simplify 0 into 0
2.415 * [backup-simplify]: Simplify 0 into 0
2.416 * [backup-simplify]: Simplify (sin (/ (/ 1 x) (* (/ 1 y) 2.0))) into (sin (* 0.5 (/ y x)))
2.416 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0
2.416 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
2.416 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.416 * [taylor]: Taking taylor expansion of 0.5 in y
2.416 * [backup-simplify]: Simplify 0.5 into 0.5
2.416 * [taylor]: Taking taylor expansion of (/ y x) in y
2.416 * [taylor]: Taking taylor expansion of y in y
2.416 * [backup-simplify]: Simplify 0 into 0
2.416 * [backup-simplify]: Simplify 1 into 1
2.416 * [taylor]: Taking taylor expansion of x in y
2.416 * [backup-simplify]: Simplify x into x
2.416 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.416 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.416 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
2.416 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.416 * [taylor]: Taking taylor expansion of 0.5 in x
2.416 * [backup-simplify]: Simplify 0.5 into 0.5
2.416 * [taylor]: Taking taylor expansion of (/ y x) in x
2.416 * [taylor]: Taking taylor expansion of y in x
2.416 * [backup-simplify]: Simplify y into y
2.416 * [taylor]: Taking taylor expansion of x in x
2.416 * [backup-simplify]: Simplify 0 into 0
2.416 * [backup-simplify]: Simplify 1 into 1
2.416 * [backup-simplify]: Simplify (/ y 1) into y
2.416 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.416 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
2.417 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
2.417 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.417 * [taylor]: Taking taylor expansion of 0.5 in x
2.417 * [backup-simplify]: Simplify 0.5 into 0.5
2.417 * [taylor]: Taking taylor expansion of (/ y x) in x
2.417 * [taylor]: Taking taylor expansion of y in x
2.417 * [backup-simplify]: Simplify y into y
2.417 * [taylor]: Taking taylor expansion of x in x
2.417 * [backup-simplify]: Simplify 0 into 0
2.417 * [backup-simplify]: Simplify 1 into 1
2.417 * [backup-simplify]: Simplify (/ y 1) into y
2.417 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.417 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
2.417 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
2.417 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.417 * [taylor]: Taking taylor expansion of 0.5 in y
2.417 * [backup-simplify]: Simplify 0.5 into 0.5
2.417 * [taylor]: Taking taylor expansion of (/ y x) in y
2.417 * [taylor]: Taking taylor expansion of y in y
2.417 * [backup-simplify]: Simplify 0 into 0
2.417 * [backup-simplify]: Simplify 1 into 1
2.417 * [taylor]: Taking taylor expansion of x in y
2.417 * [backup-simplify]: Simplify x into x
2.417 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.417 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [taylor]: Taking taylor expansion of 0 in y
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
2.418 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.418 * [taylor]: Taking taylor expansion of 0 in y
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
2.419 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
2.420 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.420 * [backup-simplify]: Simplify 0 into 0
2.420 * [taylor]: Taking taylor expansion of 0 in y
2.420 * [backup-simplify]: Simplify 0 into 0
2.420 * [backup-simplify]: Simplify 0 into 0
2.420 * [backup-simplify]: Simplify 0 into 0
2.420 * [backup-simplify]: Simplify 0 into 0
2.420 * [backup-simplify]: Simplify (* (/ 0.5 (/ 1 x)) (* (/ 1 y) 1)) into (* 0.5 (/ x y))
2.420 * [backup-simplify]: Simplify (sin (/ (/ 1 (- x)) (* (/ 1 (- y)) 2.0))) into (sin (* 0.5 (/ y x)))
2.420 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0
2.420 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
2.420 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.420 * [taylor]: Taking taylor expansion of 0.5 in y
2.420 * [backup-simplify]: Simplify 0.5 into 0.5
2.420 * [taylor]: Taking taylor expansion of (/ y x) in y
2.420 * [taylor]: Taking taylor expansion of y in y
2.421 * [backup-simplify]: Simplify 0 into 0
2.421 * [backup-simplify]: Simplify 1 into 1
2.421 * [taylor]: Taking taylor expansion of x in y
2.421 * [backup-simplify]: Simplify x into x
2.421 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.421 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.421 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
2.421 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.421 * [taylor]: Taking taylor expansion of 0.5 in x
2.421 * [backup-simplify]: Simplify 0.5 into 0.5
2.421 * [taylor]: Taking taylor expansion of (/ y x) in x
2.421 * [taylor]: Taking taylor expansion of y in x
2.421 * [backup-simplify]: Simplify y into y
2.421 * [taylor]: Taking taylor expansion of x in x
2.421 * [backup-simplify]: Simplify 0 into 0
2.421 * [backup-simplify]: Simplify 1 into 1
2.421 * [backup-simplify]: Simplify (/ y 1) into y
2.421 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.421 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
2.421 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
2.421 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.421 * [taylor]: Taking taylor expansion of 0.5 in x
2.422 * [backup-simplify]: Simplify 0.5 into 0.5
2.422 * [taylor]: Taking taylor expansion of (/ y x) in x
2.422 * [taylor]: Taking taylor expansion of y in x
2.422 * [backup-simplify]: Simplify y into y
2.422 * [taylor]: Taking taylor expansion of x in x
2.422 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify 1 into 1
2.422 * [backup-simplify]: Simplify (/ y 1) into y
2.422 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.422 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
2.422 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
2.422 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.422 * [taylor]: Taking taylor expansion of 0.5 in y
2.422 * [backup-simplify]: Simplify 0.5 into 0.5
2.422 * [taylor]: Taking taylor expansion of (/ y x) in y
2.422 * [taylor]: Taking taylor expansion of y in y
2.422 * [backup-simplify]: Simplify 0 into 0
2.422 * [backup-simplify]: Simplify 1 into 1
2.422 * [taylor]: Taking taylor expansion of x in y
2.422 * [backup-simplify]: Simplify x into x
2.422 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.422 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.422 * [backup-simplify]: Simplify 0 into 0
2.422 * [taylor]: Taking taylor expansion of 0 in y
2.423 * [backup-simplify]: Simplify 0 into 0
2.423 * [backup-simplify]: Simplify 0 into 0
2.423 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
2.423 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.423 * [taylor]: Taking taylor expansion of 0 in y
2.423 * [backup-simplify]: Simplify 0 into 0
2.423 * [backup-simplify]: Simplify 0 into 0
2.423 * [backup-simplify]: Simplify 0 into 0
2.423 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
2.424 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
2.424 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.425 * [backup-simplify]: Simplify 0 into 0
2.425 * [taylor]: Taking taylor expansion of 0 in y
2.425 * [backup-simplify]: Simplify 0 into 0
2.425 * [backup-simplify]: Simplify 0 into 0
2.425 * [backup-simplify]: Simplify 0 into 0
2.425 * [backup-simplify]: Simplify 0 into 0
2.425 * [backup-simplify]: Simplify (* (/ 0.5 (/ 1 (- x))) (* (/ 1 (- y)) 1)) into (* 0.5 (/ x y))
2.425 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.425 * [backup-simplify]: Simplify (sin (/ x (* y 2.0))) into (sin (* 0.5 (/ x y)))
2.425 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in (x y) around 0
2.425 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in y
2.425 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y
2.425 * [taylor]: Taking taylor expansion of 0.5 in y
2.425 * [backup-simplify]: Simplify 0.5 into 0.5
2.425 * [taylor]: Taking taylor expansion of (/ x y) in y
2.425 * [taylor]: Taking taylor expansion of x in y
2.425 * [backup-simplify]: Simplify x into x
2.425 * [taylor]: Taking taylor expansion of y in y
2.425 * [backup-simplify]: Simplify 0 into 0
2.425 * [backup-simplify]: Simplify 1 into 1
2.425 * [backup-simplify]: Simplify (/ x 1) into x
2.426 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
2.426 * [backup-simplify]: Simplify (sin (* 0.5 (/ x y))) into (sin (* 0.5 (/ x y)))
2.426 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x
2.426 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
2.426 * [taylor]: Taking taylor expansion of 0.5 in x
2.426 * [backup-simplify]: Simplify 0.5 into 0.5
2.426 * [taylor]: Taking taylor expansion of (/ x y) in x
2.426 * [taylor]: Taking taylor expansion of x in x
2.426 * [backup-simplify]: Simplify 0 into 0
2.426 * [backup-simplify]: Simplify 1 into 1
2.426 * [taylor]: Taking taylor expansion of y in x
2.426 * [backup-simplify]: Simplify y into y
2.426 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.426 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
2.426 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ x y))) in x
2.426 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
2.426 * [taylor]: Taking taylor expansion of 0.5 in x
2.426 * [backup-simplify]: Simplify 0.5 into 0.5
2.426 * [taylor]: Taking taylor expansion of (/ x y) in x
2.426 * [taylor]: Taking taylor expansion of x in x
2.426 * [backup-simplify]: Simplify 0 into 0
2.426 * [backup-simplify]: Simplify 1 into 1
2.426 * [taylor]: Taking taylor expansion of y in x
2.426 * [backup-simplify]: Simplify y into y
2.426 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.426 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
2.427 * [taylor]: Taking taylor expansion of 0 in y
2.427 * [backup-simplify]: Simplify 0 into 0
2.427 * [backup-simplify]: Simplify 0 into 0
2.427 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 y) 1) 1))) into (* 0.5 (/ 1 y))
2.427 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y
2.427 * [taylor]: Taking taylor expansion of 0.5 in y
2.427 * [backup-simplify]: Simplify 0.5 into 0.5
2.427 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.427 * [taylor]: Taking taylor expansion of y in y
2.427 * [backup-simplify]: Simplify 0 into 0
2.427 * [backup-simplify]: Simplify 1 into 1
2.427 * [backup-simplify]: Simplify (/ 1 1) into 1
2.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.429 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0
2.429 * [backup-simplify]: Simplify 0 into 0
2.429 * [backup-simplify]: Simplify 0 into 0
2.429 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
2.430 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
2.430 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.430 * [taylor]: Taking taylor expansion of 0 in y
2.430 * [backup-simplify]: Simplify 0 into 0
2.430 * [backup-simplify]: Simplify 0 into 0
2.431 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.432 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0
2.432 * [backup-simplify]: Simplify 0 into 0
2.432 * [backup-simplify]: Simplify 0 into 0
2.432 * [backup-simplify]: Simplify 0 into 0
2.432 * [backup-simplify]: Simplify (sin (/ (/ 1 x) (* (/ 1 y) 2.0))) into (sin (* 0.5 (/ y x)))
2.432 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0
2.432 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
2.432 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.432 * [taylor]: Taking taylor expansion of 0.5 in y
2.432 * [backup-simplify]: Simplify 0.5 into 0.5
2.432 * [taylor]: Taking taylor expansion of (/ y x) in y
2.432 * [taylor]: Taking taylor expansion of y in y
2.432 * [backup-simplify]: Simplify 0 into 0
2.432 * [backup-simplify]: Simplify 1 into 1
2.432 * [taylor]: Taking taylor expansion of x in y
2.432 * [backup-simplify]: Simplify x into x
2.432 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.432 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.432 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
2.432 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.432 * [taylor]: Taking taylor expansion of 0.5 in x
2.432 * [backup-simplify]: Simplify 0.5 into 0.5
2.432 * [taylor]: Taking taylor expansion of (/ y x) in x
2.433 * [taylor]: Taking taylor expansion of y in x
2.433 * [backup-simplify]: Simplify y into y
2.433 * [taylor]: Taking taylor expansion of x in x
2.433 * [backup-simplify]: Simplify 0 into 0
2.433 * [backup-simplify]: Simplify 1 into 1
2.433 * [backup-simplify]: Simplify (/ y 1) into y
2.433 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.433 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
2.433 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
2.433 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.433 * [taylor]: Taking taylor expansion of 0.5 in x
2.433 * [backup-simplify]: Simplify 0.5 into 0.5
2.433 * [taylor]: Taking taylor expansion of (/ y x) in x
2.433 * [taylor]: Taking taylor expansion of y in x
2.433 * [backup-simplify]: Simplify y into y
2.433 * [taylor]: Taking taylor expansion of x in x
2.433 * [backup-simplify]: Simplify 0 into 0
2.433 * [backup-simplify]: Simplify 1 into 1
2.433 * [backup-simplify]: Simplify (/ y 1) into y
2.433 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.433 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
2.433 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
2.433 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.433 * [taylor]: Taking taylor expansion of 0.5 in y
2.434 * [backup-simplify]: Simplify 0.5 into 0.5
2.434 * [taylor]: Taking taylor expansion of (/ y x) in y
2.434 * [taylor]: Taking taylor expansion of y in y
2.434 * [backup-simplify]: Simplify 0 into 0
2.434 * [backup-simplify]: Simplify 1 into 1
2.434 * [taylor]: Taking taylor expansion of x in y
2.434 * [backup-simplify]: Simplify x into x
2.434 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.434 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.434 * [backup-simplify]: Simplify 0 into 0
2.434 * [taylor]: Taking taylor expansion of 0 in y
2.434 * [backup-simplify]: Simplify 0 into 0
2.434 * [backup-simplify]: Simplify 0 into 0
2.434 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
2.434 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.434 * [taylor]: Taking taylor expansion of 0 in y
2.434 * [backup-simplify]: Simplify 0 into 0
2.434 * [backup-simplify]: Simplify 0 into 0
2.434 * [backup-simplify]: Simplify 0 into 0
2.435 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
2.435 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
2.436 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.436 * [backup-simplify]: Simplify 0 into 0
2.436 * [taylor]: Taking taylor expansion of 0 in y
2.436 * [backup-simplify]: Simplify 0 into 0
2.436 * [backup-simplify]: Simplify 0 into 0
2.436 * [backup-simplify]: Simplify 0 into 0
2.436 * [backup-simplify]: Simplify 0 into 0
2.436 * [backup-simplify]: Simplify (* (/ 0.5 (/ 1 x)) (* (/ 1 y) 1)) into (* 0.5 (/ x y))
2.436 * [backup-simplify]: Simplify (sin (/ (/ 1 (- x)) (* (/ 1 (- y)) 2.0))) into (sin (* 0.5 (/ y x)))
2.437 * [approximate]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in (x y) around 0
2.437 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
2.437 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.437 * [taylor]: Taking taylor expansion of 0.5 in y
2.437 * [backup-simplify]: Simplify 0.5 into 0.5
2.437 * [taylor]: Taking taylor expansion of (/ y x) in y
2.437 * [taylor]: Taking taylor expansion of y in y
2.437 * [backup-simplify]: Simplify 0 into 0
2.437 * [backup-simplify]: Simplify 1 into 1
2.437 * [taylor]: Taking taylor expansion of x in y
2.437 * [backup-simplify]: Simplify x into x
2.437 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.437 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.437 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
2.437 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.437 * [taylor]: Taking taylor expansion of 0.5 in x
2.437 * [backup-simplify]: Simplify 0.5 into 0.5
2.437 * [taylor]: Taking taylor expansion of (/ y x) in x
2.437 * [taylor]: Taking taylor expansion of y in x
2.437 * [backup-simplify]: Simplify y into y
2.437 * [taylor]: Taking taylor expansion of x in x
2.437 * [backup-simplify]: Simplify 0 into 0
2.437 * [backup-simplify]: Simplify 1 into 1
2.437 * [backup-simplify]: Simplify (/ y 1) into y
2.437 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.437 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
2.437 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in x
2.437 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.438 * [taylor]: Taking taylor expansion of 0.5 in x
2.438 * [backup-simplify]: Simplify 0.5 into 0.5
2.438 * [taylor]: Taking taylor expansion of (/ y x) in x
2.438 * [taylor]: Taking taylor expansion of y in x
2.438 * [backup-simplify]: Simplify y into y
2.438 * [taylor]: Taking taylor expansion of x in x
2.438 * [backup-simplify]: Simplify 0 into 0
2.438 * [backup-simplify]: Simplify 1 into 1
2.438 * [backup-simplify]: Simplify (/ y 1) into y
2.438 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.438 * [backup-simplify]: Simplify (sin (* 0.5 (/ y x))) into (sin (* 0.5 (/ y x)))
2.438 * [taylor]: Taking taylor expansion of (sin (* 0.5 (/ y x))) in y
2.438 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.438 * [taylor]: Taking taylor expansion of 0.5 in y
2.438 * [backup-simplify]: Simplify 0.5 into 0.5
2.438 * [taylor]: Taking taylor expansion of (/ y x) in y
2.438 * [taylor]: Taking taylor expansion of y in y
2.438 * [backup-simplify]: Simplify 0 into 0
2.438 * [backup-simplify]: Simplify 1 into 1
2.438 * [taylor]: Taking taylor expansion of x in y
2.438 * [backup-simplify]: Simplify x into x
2.438 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.438 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.438 * [backup-simplify]: Simplify 0 into 0
2.438 * [taylor]: Taking taylor expansion of 0 in y
2.438 * [backup-simplify]: Simplify 0 into 0
2.439 * [backup-simplify]: Simplify 0 into 0
2.439 * [backup-simplify]: Simplify (+ (* 1 (/ (pow (/ 0.5 x) 1) 1))) into (* 0.5 (/ 1 x))
2.439 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.439 * [taylor]: Taking taylor expansion of 0 in y
2.439 * [backup-simplify]: Simplify 0 into 0
2.439 * [backup-simplify]: Simplify 0 into 0
2.439 * [backup-simplify]: Simplify 0 into 0
2.439 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
2.440 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
2.440 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.440 * [backup-simplify]: Simplify 0 into 0
2.441 * [taylor]: Taking taylor expansion of 0 in y
2.441 * [backup-simplify]: Simplify 0 into 0
2.441 * [backup-simplify]: Simplify 0 into 0
2.441 * [backup-simplify]: Simplify 0 into 0
2.441 * [backup-simplify]: Simplify 0 into 0
2.441 * [backup-simplify]: Simplify (* (/ 0.5 (/ 1 (- x))) (* (/ 1 (- y)) 1)) into (* 0.5 (/ x y))
2.441 * * * * [progress]: [ 4 / 4 ] generating series at (2)
2.441 * [backup-simplify]: Simplify (/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))) into (/ 1 (cos (* 0.5 (/ x y))))
2.441 * [approximate]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ x y)))) in (x y) around 0
2.441 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ x y)))) in y
2.441 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y
2.441 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y
2.441 * [taylor]: Taking taylor expansion of 0.5 in y
2.441 * [backup-simplify]: Simplify 0.5 into 0.5
2.441 * [taylor]: Taking taylor expansion of (/ x y) in y
2.442 * [taylor]: Taking taylor expansion of x in y
2.442 * [backup-simplify]: Simplify x into x
2.442 * [taylor]: Taking taylor expansion of y in y
2.442 * [backup-simplify]: Simplify 0 into 0
2.442 * [backup-simplify]: Simplify 1 into 1
2.442 * [backup-simplify]: Simplify (/ x 1) into x
2.442 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
2.442 * [backup-simplify]: Simplify (cos (* 0.5 (/ x y))) into (cos (* 0.5 (/ x y)))
2.442 * [backup-simplify]: Simplify (/ 1 (cos (* 0.5 (/ x y)))) into (/ 1 (cos (* 0.5 (/ x y))))
2.442 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ x y)))) in x
2.442 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x
2.442 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
2.442 * [taylor]: Taking taylor expansion of 0.5 in x
2.442 * [backup-simplify]: Simplify 0.5 into 0.5
2.442 * [taylor]: Taking taylor expansion of (/ x y) in x
2.442 * [taylor]: Taking taylor expansion of x in x
2.442 * [backup-simplify]: Simplify 0 into 0
2.442 * [backup-simplify]: Simplify 1 into 1
2.442 * [taylor]: Taking taylor expansion of y in x
2.442 * [backup-simplify]: Simplify y into y
2.442 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.443 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
2.443 * [backup-simplify]: Simplify (/ 1 1) into 1
2.443 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ x y)))) in x
2.443 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x
2.443 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
2.443 * [taylor]: Taking taylor expansion of 0.5 in x
2.443 * [backup-simplify]: Simplify 0.5 into 0.5
2.443 * [taylor]: Taking taylor expansion of (/ x y) in x
2.443 * [taylor]: Taking taylor expansion of x in x
2.443 * [backup-simplify]: Simplify 0 into 0
2.443 * [backup-simplify]: Simplify 1 into 1
2.443 * [taylor]: Taking taylor expansion of y in x
2.443 * [backup-simplify]: Simplify y into y
2.443 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.443 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
2.444 * [backup-simplify]: Simplify (/ 1 1) into 1
2.444 * [taylor]: Taking taylor expansion of 1 in y
2.444 * [backup-simplify]: Simplify 1 into 1
2.444 * [backup-simplify]: Simplify 1 into 1
2.444 * [backup-simplify]: Simplify (+ 0) into 0
2.445 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.445 * [taylor]: Taking taylor expansion of 0 in y
2.445 * [backup-simplify]: Simplify 0 into 0
2.445 * [backup-simplify]: Simplify 0 into 0
2.445 * [backup-simplify]: Simplify 0 into 0
2.445 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 y) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow y 2))))
2.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ (- (* 0.125 (/ 1 (pow y 2)))) 1)) (* 0 (/ 0 1)))) into (* 0.125 (/ 1 (pow y 2)))
2.446 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 (pow y 2))) in y
2.446 * [taylor]: Taking taylor expansion of 0.125 in y
2.446 * [backup-simplify]: Simplify 0.125 into 0.125
2.447 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.447 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.447 * [taylor]: Taking taylor expansion of y in y
2.447 * [backup-simplify]: Simplify 0 into 0
2.447 * [backup-simplify]: Simplify 1 into 1
2.447 * [backup-simplify]: Simplify (* 1 1) into 1
2.447 * [backup-simplify]: Simplify (/ 1 1) into 1
2.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.449 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.450 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.451 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0
2.451 * [backup-simplify]: Simplify 0 into 0
2.451 * [backup-simplify]: Simplify 0 into 0
2.451 * [backup-simplify]: Simplify 0 into 0
2.452 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
2.452 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
2.453 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 y) 1) 1) (/ (pow 0 1) 1)) 0) into 0
2.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ (- (* 0.125 (/ 1 (pow y 2)))) 1)) (* (* 0.125 (/ 1 (pow y 2))) (/ 0 1)))) into 0
2.454 * [taylor]: Taking taylor expansion of 0 in y
2.454 * [backup-simplify]: Simplify 0 into 0
2.454 * [backup-simplify]: Simplify 0 into 0
2.454 * [backup-simplify]: Simplify 1 into 1
2.455 * [backup-simplify]: Simplify (/ (sin (/ (/ 1 x) (* (/ 1 y) 2.0))) (* (sin (/ (/ 1 x) (* (/ 1 y) 2.0))) (cos (/ (/ 1 x) (* (/ 1 y) 2.0))))) into (/ 1 (cos (* 0.5 (/ y x))))
2.455 * [approximate]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in (x y) around 0
2.455 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y
2.455 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
2.455 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.455 * [taylor]: Taking taylor expansion of 0.5 in y
2.455 * [backup-simplify]: Simplify 0.5 into 0.5
2.455 * [taylor]: Taking taylor expansion of (/ y x) in y
2.455 * [taylor]: Taking taylor expansion of y in y
2.455 * [backup-simplify]: Simplify 0 into 0
2.455 * [backup-simplify]: Simplify 1 into 1
2.455 * [taylor]: Taking taylor expansion of x in y
2.455 * [backup-simplify]: Simplify x into x
2.455 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.455 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.456 * [backup-simplify]: Simplify (/ 1 1) into 1
2.456 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in x
2.456 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
2.456 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.456 * [taylor]: Taking taylor expansion of 0.5 in x
2.456 * [backup-simplify]: Simplify 0.5 into 0.5
2.456 * [taylor]: Taking taylor expansion of (/ y x) in x
2.456 * [taylor]: Taking taylor expansion of y in x
2.456 * [backup-simplify]: Simplify y into y
2.456 * [taylor]: Taking taylor expansion of x in x
2.456 * [backup-simplify]: Simplify 0 into 0
2.456 * [backup-simplify]: Simplify 1 into 1
2.456 * [backup-simplify]: Simplify (/ y 1) into y
2.456 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.457 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
2.457 * [backup-simplify]: Simplify (/ 1 (cos (* 0.5 (/ y x)))) into (/ 1 (cos (* 0.5 (/ y x))))
2.457 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in x
2.457 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
2.457 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.457 * [taylor]: Taking taylor expansion of 0.5 in x
2.457 * [backup-simplify]: Simplify 0.5 into 0.5
2.457 * [taylor]: Taking taylor expansion of (/ y x) in x
2.457 * [taylor]: Taking taylor expansion of y in x
2.457 * [backup-simplify]: Simplify y into y
2.457 * [taylor]: Taking taylor expansion of x in x
2.457 * [backup-simplify]: Simplify 0 into 0
2.457 * [backup-simplify]: Simplify 1 into 1
2.457 * [backup-simplify]: Simplify (/ y 1) into y
2.457 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.457 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
2.457 * [backup-simplify]: Simplify (/ 1 (cos (* 0.5 (/ y x)))) into (/ 1 (cos (* 0.5 (/ y x))))
2.457 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y
2.457 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
2.457 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.458 * [taylor]: Taking taylor expansion of 0.5 in y
2.458 * [backup-simplify]: Simplify 0.5 into 0.5
2.458 * [taylor]: Taking taylor expansion of (/ y x) in y
2.458 * [taylor]: Taking taylor expansion of y in y
2.458 * [backup-simplify]: Simplify 0 into 0
2.458 * [backup-simplify]: Simplify 1 into 1
2.458 * [taylor]: Taking taylor expansion of x in y
2.458 * [backup-simplify]: Simplify x into x
2.458 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.458 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.458 * [backup-simplify]: Simplify (/ 1 1) into 1
2.458 * [backup-simplify]: Simplify 1 into 1
2.459 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))))) into 0
2.459 * [taylor]: Taking taylor expansion of 0 in y
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify 0 into 0
2.459 * [backup-simplify]: Simplify (+ 0) into 0
2.460 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.460 * [backup-simplify]: Simplify 0 into 0
2.460 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
2.460 * [taylor]: Taking taylor expansion of 0 in y
2.460 * [backup-simplify]: Simplify 0 into 0
2.460 * [backup-simplify]: Simplify 0 into 0
2.460 * [backup-simplify]: Simplify 0 into 0
2.461 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow x 2))))
2.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* 0 (/ 0 1)))) into (* 0.125 (/ 1 (pow x 2)))
2.462 * [backup-simplify]: Simplify (* 0.125 (/ 1 (pow x 2))) into (/ 0.125 (pow x 2))
2.462 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
2.462 * [taylor]: Taking taylor expansion of 0 in y
2.462 * [backup-simplify]: Simplify 0 into 0
2.462 * [backup-simplify]: Simplify 0 into 0
2.462 * [backup-simplify]: Simplify 0 into 0
2.462 * [backup-simplify]: Simplify 0 into 0
2.463 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
2.463 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
2.464 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 1) 1) (/ (pow 0 1) 1)) 0) into 0
2.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* (* 0.125 (/ 1 (pow x 2))) (/ 0 1)))) into 0
2.465 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
2.466 * [taylor]: Taking taylor expansion of 0 in y
2.466 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify (+ (* (/ 0.125 (pow (/ 1 x) 2)) (pow (* (/ 1 y) 1) 2)) 1) into (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1)
2.467 * [backup-simplify]: Simplify (/ (sin (/ (/ 1 (- x)) (* (/ 1 (- y)) 2.0))) (* (sin (/ (/ 1 (- x)) (* (/ 1 (- y)) 2.0))) (cos (/ (/ 1 (- x)) (* (/ 1 (- y)) 2.0))))) into (/ 1 (cos (* 0.5 (/ y x))))
2.467 * [approximate]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in (x y) around 0
2.467 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y
2.467 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
2.467 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.467 * [taylor]: Taking taylor expansion of 0.5 in y
2.467 * [backup-simplify]: Simplify 0.5 into 0.5
2.467 * [taylor]: Taking taylor expansion of (/ y x) in y
2.467 * [taylor]: Taking taylor expansion of y in y
2.467 * [backup-simplify]: Simplify 0 into 0
2.467 * [backup-simplify]: Simplify 1 into 1
2.467 * [taylor]: Taking taylor expansion of x in y
2.467 * [backup-simplify]: Simplify x into x
2.467 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.467 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.468 * [backup-simplify]: Simplify (/ 1 1) into 1
2.468 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in x
2.468 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
2.468 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.468 * [taylor]: Taking taylor expansion of 0.5 in x
2.468 * [backup-simplify]: Simplify 0.5 into 0.5
2.468 * [taylor]: Taking taylor expansion of (/ y x) in x
2.468 * [taylor]: Taking taylor expansion of y in x
2.468 * [backup-simplify]: Simplify y into y
2.468 * [taylor]: Taking taylor expansion of x in x
2.468 * [backup-simplify]: Simplify 0 into 0
2.468 * [backup-simplify]: Simplify 1 into 1
2.468 * [backup-simplify]: Simplify (/ y 1) into y
2.468 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.468 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
2.469 * [backup-simplify]: Simplify (/ 1 (cos (* 0.5 (/ y x)))) into (/ 1 (cos (* 0.5 (/ y x))))
2.469 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in x
2.469 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
2.469 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
2.469 * [taylor]: Taking taylor expansion of 0.5 in x
2.469 * [backup-simplify]: Simplify 0.5 into 0.5
2.469 * [taylor]: Taking taylor expansion of (/ y x) in x
2.469 * [taylor]: Taking taylor expansion of y in x
2.469 * [backup-simplify]: Simplify y into y
2.469 * [taylor]: Taking taylor expansion of x in x
2.469 * [backup-simplify]: Simplify 0 into 0
2.469 * [backup-simplify]: Simplify 1 into 1
2.469 * [backup-simplify]: Simplify (/ y 1) into y
2.469 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
2.469 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
2.469 * [backup-simplify]: Simplify (/ 1 (cos (* 0.5 (/ y x)))) into (/ 1 (cos (* 0.5 (/ y x))))
2.469 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y
2.469 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
2.469 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
2.469 * [taylor]: Taking taylor expansion of 0.5 in y
2.469 * [backup-simplify]: Simplify 0.5 into 0.5
2.469 * [taylor]: Taking taylor expansion of (/ y x) in y
2.469 * [taylor]: Taking taylor expansion of y in y
2.470 * [backup-simplify]: Simplify 0 into 0
2.470 * [backup-simplify]: Simplify 1 into 1
2.470 * [taylor]: Taking taylor expansion of x in y
2.470 * [backup-simplify]: Simplify x into x
2.470 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.470 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
2.470 * [backup-simplify]: Simplify (/ 1 1) into 1
2.470 * [backup-simplify]: Simplify 1 into 1
2.470 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))))) into 0
2.471 * [taylor]: Taking taylor expansion of 0 in y
2.471 * [backup-simplify]: Simplify 0 into 0
2.471 * [backup-simplify]: Simplify 0 into 0
2.471 * [backup-simplify]: Simplify (+ 0) into 0
2.472 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.472 * [backup-simplify]: Simplify 0 into 0
2.472 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
2.472 * [taylor]: Taking taylor expansion of 0 in y
2.472 * [backup-simplify]: Simplify 0 into 0
2.472 * [backup-simplify]: Simplify 0 into 0
2.472 * [backup-simplify]: Simplify 0 into 0
2.473 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow x 2))))
2.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* 0 (/ 0 1)))) into (* 0.125 (/ 1 (pow x 2)))
2.474 * [backup-simplify]: Simplify (* 0.125 (/ 1 (pow x 2))) into (/ 0.125 (pow x 2))
2.474 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
2.474 * [taylor]: Taking taylor expansion of 0 in y
2.474 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify 0 into 0
2.474 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
2.475 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
2.476 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 1) 1) (/ (pow 0 1) 1)) 0) into 0
2.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* (* 0.125 (/ 1 (pow x 2))) (/ 0 1)))) into 0
2.477 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
2.478 * [taylor]: Taking taylor expansion of 0 in y
2.478 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify 0 into 0
2.479 * [backup-simplify]: Simplify (+ (* (/ 0.125 (pow (/ 1 (- x)) 2)) (pow (* (/ 1 (- y)) 1) 2)) 1) into (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1)
2.479 * * * [progress]: simplifying candidates
2.479 * [simplify]: Simplifying:
  (log (cos (/ x (* y 2.0))))
  (exp (cos (/ x (* y 2.0))))
  (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0)))))
  (cbrt (cos (/ x (* y 2.0))))
  (* (* (cos (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))
  (sqrt (cos (/ x (* y 2.0))))
  (sqrt (cos (/ x (* y 2.0))))
  (log (sin (/ x (* y 2.0))))
  (exp (sin (/ x (* y 2.0))))
  (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))
  (cbrt (sin (/ x (* y 2.0))))
  (* (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
  (sqrt (sin (/ x (* y 2.0))))
  (sqrt (sin (/ x (* y 2.0))))
  (log (sin (/ x (* y 2.0))))
  (exp (sin (/ x (* y 2.0))))
  (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))
  (cbrt (sin (/ x (* y 2.0))))
  (* (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
  (sqrt (sin (/ x (* y 2.0))))
  (sqrt (sin (/ x (* y 2.0))))
  (- (log (sin (/ x (* y 2.0)))) (+ (log (sin (/ x (* y 2.0)))) (log (cos (/ x (* y 2.0))))))
  (- (log (sin (/ x (* y 2.0)))) (log (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))
  (log (/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))
  (exp (/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))
  (/ (* (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))) (* (* (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))) (* (* (cos (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))))
  (/ (* (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))) (sin (/ x (* y 2.0)))) (* (* (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))
  (* (cbrt (/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))) (cbrt (/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))))
  (cbrt (/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))
  (* (* (/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))) (/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))) (/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))
  (sqrt (/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))
  (sqrt (/ (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))
  (- (sin (/ x (* y 2.0))))
  (- (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))
  (/ (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (sin (/ x (* y 2.0))))
  (/ (cbrt (sin (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))
  (/ (sqrt (sin (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
  (/ (sqrt (sin (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))
  (/ 1 (sin (/ x (* y 2.0))))
  (/ (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))
  (/ 1 (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))
  (/ (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
  (/ (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0))))
  (/ (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))
  (/ (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))))
  (/ (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
  (/ (sin (/ x (* y 2.0))) (+ (sin (- (/ x (* y 2.0)) (/ x (* y 2.0)))) (sin (+ (/ x (* y 2.0)) (/ x (* y 2.0))))))
  1
  (- 1 (* 0.125 (/ (pow x 2) (pow y 2))))
  (- 1 (* 0.125 (/ (pow x 2) (pow y 2))))
  0
  (* 0.5 (/ x y))
  (* 0.5 (/ x y))
  0
  (* 0.5 (/ x y))
  (* 0.5 (/ x y))
  1
  (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1)
  (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1)
2.481 * * [simplify]: Extracting # 0 : cost  41  inf +  0
2.481 * * [simplify]: Extracting # 1 : cost  54  inf +  2
2.481 * * [simplify]: Extracting # 2 : cost  61  inf +  3
2.481 * * [simplify]: Extracting # 3 : cost  63  inf +  6
2.481 * * [simplify]: Extracting # 4 : cost  63  inf +  131
2.482 * * [simplify]: Extracting # 5 : cost  42  inf +  3939
2.484 * * [simplify]: Extracting # 6 : cost  12  inf +  12319
2.487 * * [simplify]: Extracting # 7 : cost  3  inf +  15696
2.490 * * [simplify]: Extracting # 8 : cost  1  inf +  16745
2.493 * * [simplify]: Extracting # 9 : cost  0  inf +  17290
2.495 * * [simplify]: iteration  0 :  71  enodes  (cost  15399 )
2.509 * * [simplify]: Extracting # 0 : cost  0  inf +  17290
2.511 * * [simplify]: Extracting # 1 : cost  24  inf +  14240
2.513 * * [simplify]: Extracting # 2 : cost  0  inf +  20249
2.518 * * [simplify]: Extracting # 3 : cost  0  inf +  19567
2.523 * * [simplify]: iteration  1 :  145  enodes  (cost  12723 )
2.558 * * [simplify]: Extracting # 0 : cost  0  inf +  19567
2.565 * * [simplify]: Extracting # 1 : cost  109  inf +  15117
2.573 * * [simplify]: Extracting # 2 : cost  0  inf +  42490
2.582 * * [simplify]: Extracting # 3 : cost  0  inf +  42290
2.596 * * [simplify]: Extracting # 4 : cost  0  inf +  42250
2.608 * * [simplify]: iteration  2 :  483  enodes  (cost  11963 )
2.981 * * [simplify]: Extracting # 0 : cost  0  inf +  42250
3.014 * * [simplify]: Extracting # 1 : cost  1326  inf +  32424
3.089 * * [simplify]: Extracting # 2 : cost  8  inf +  380647
3.192 * * [simplify]: Extracting # 3 : cost  0  inf +  382459
3.278 * * [simplify]: Extracting # 4 : cost  0  inf +  382458
3.411 * * [simplify]: iteration  3 :  3679  enodes  (cost  11881 )
4.748 * * [simplify]: Extracting # 0 : cost  0  inf +  382458
4.897 * * [simplify]: Extracting # 1 : cost  739  inf +  372654
5.054 * * [simplify]: Extracting # 2 : cost  0  inf +  551424
5.261 * * [simplify]: Extracting # 3 : cost  0  inf +  551293
5.429 * * [simplify]: iteration done:  5001  enodes  (cost  11881 )
5.430 * [simplify]: Simplified to:
  (log (cos (/ x (* y 2.0))))
  (exp (cos (/ x (* y 2.0))))
  (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0)))))
  (cbrt (cos (/ x (* y 2.0))))
  (* (cos (/ x (* y 2.0))) (* (cos (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))
  (sqrt (cos (/ x (* y 2.0))))
  (sqrt (cos (/ x (* y 2.0))))
  (log (sin (/ x (* y 2.0))))
  (exp (sin (/ x (* y 2.0))))
  (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))
  (cbrt (sin (/ x (* y 2.0))))
  (* (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (sqrt (sin (/ x (* y 2.0))))
  (sqrt (sin (/ x (* y 2.0))))
  (log (sin (/ x (* y 2.0))))
  (exp (sin (/ x (* y 2.0))))
  (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))
  (cbrt (sin (/ x (* y 2.0))))
  (* (sin (/ x (* y 2.0))) (* (sin (/ x (* y 2.0))) (sin (/ x (* y 2.0)))))
  (sqrt (sin (/ x (* y 2.0))))
  (sqrt (sin (/ x (* y 2.0))))
  (- (log (cos (/ x (* y 2.0)))))
  (- (log (cos (/ x (* y 2.0)))))
  (- (log (cos (/ x (* y 2.0)))))
  (exp (/ 1 (cos (/ x (* y 2.0)))))
  (* (/ 1 (cos (/ x (* y 2.0)))) (/ (/ 1 (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0)))))
  (* (/ 1 (cos (/ x (* y 2.0)))) (/ (/ 1 (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0)))))
  (* (cbrt (/ 1 (cos (/ x (* y 2.0))))) (cbrt (/ 1 (cos (/ x (* y 2.0))))))
  (cbrt (/ 1 (cos (/ x (* y 2.0)))))
  (* (/ 1 (cos (/ x (* y 2.0)))) (/ (/ 1 (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0)))))
  (sqrt (/ 1 (cos (/ x (* y 2.0)))))
  (sqrt (/ 1 (cos (/ x (* y 2.0)))))
  (- (sin (/ x (* y 2.0))))
  (- (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))
  (/ (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (sin (/ x (* y 2.0))))
  (/ (cbrt (sin (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))
  (/ (sqrt (sin (/ x (* y 2.0)))) (sin (/ x (* y 2.0))))
  (/ (sqrt (sin (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))
  (/ 1 (sin (/ x (* y 2.0))))
  (/ (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))
  (/ 1 (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))
  (cos (/ x (* y 2.0)))
  1
  (/ (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))
  (/ (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (sqrt (sin (/ x (* y 2.0)))))
  (cos (/ x (* y 2.0)))
  (/ (sin (/ x (* y 2.0))) (sin (+ (/ x (* y 2.0)) (/ x (* y 2.0)))))
  1
  (- 1 (* (* (/ x y) (/ x y)) 0.125))
  (- 1 (* (* (/ x y) (/ x y)) 0.125))
  0
  (* 0.5 (/ x y))
  (* 0.5 (/ x y))
  0
  (* 0.5 (/ x y))
  (* 0.5 (/ x y))
  1
  (+ 1 (* (* (/ x y) (/ x y)) 0.125))
  (+ 1 (* (* (/ x y) (/ x y)) 0.125))
5.434 * * * [progress]: adding candidates to table
5.737 * * [progress]: iteration 4 / 4
5.737 * * * [progress]: picking best candidate
5.822 * * * * [pick]: Picked  #<alt (λ (x y) (/ 1 (cos (/ x (* y 2.0)))))>
5.822 * * * [progress]: localizing error
5.845 * * * [progress]: generating rewritten candidates
5.845 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
5.853 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.863 * * * [progress]: generating series expansions
5.863 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
5.863 * [backup-simplify]: Simplify (cos (/ x (* y 2.0))) into (cos (* 0.5 (/ x y)))
5.863 * [approximate]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in (x y) around 0
5.863 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y
5.863 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y
5.863 * [taylor]: Taking taylor expansion of 0.5 in y
5.863 * [backup-simplify]: Simplify 0.5 into 0.5
5.863 * [taylor]: Taking taylor expansion of (/ x y) in y
5.863 * [taylor]: Taking taylor expansion of x in y
5.864 * [backup-simplify]: Simplify x into x
5.864 * [taylor]: Taking taylor expansion of y in y
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [backup-simplify]: Simplify 1 into 1
5.864 * [backup-simplify]: Simplify (/ x 1) into x
5.864 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
5.864 * [backup-simplify]: Simplify (cos (* 0.5 (/ x y))) into (cos (* 0.5 (/ x y)))
5.864 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x
5.864 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
5.864 * [taylor]: Taking taylor expansion of 0.5 in x
5.864 * [backup-simplify]: Simplify 0.5 into 0.5
5.864 * [taylor]: Taking taylor expansion of (/ x y) in x
5.864 * [taylor]: Taking taylor expansion of x in x
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [backup-simplify]: Simplify 1 into 1
5.864 * [taylor]: Taking taylor expansion of y in x
5.864 * [backup-simplify]: Simplify y into y
5.864 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.864 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
5.864 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x
5.864 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
5.864 * [taylor]: Taking taylor expansion of 0.5 in x
5.864 * [backup-simplify]: Simplify 0.5 into 0.5
5.864 * [taylor]: Taking taylor expansion of (/ x y) in x
5.865 * [taylor]: Taking taylor expansion of x in x
5.865 * [backup-simplify]: Simplify 0 into 0
5.865 * [backup-simplify]: Simplify 1 into 1
5.865 * [taylor]: Taking taylor expansion of y in x
5.865 * [backup-simplify]: Simplify y into y
5.865 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.865 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
5.865 * [taylor]: Taking taylor expansion of 1 in y
5.865 * [backup-simplify]: Simplify 1 into 1
5.865 * [backup-simplify]: Simplify 1 into 1
5.866 * [backup-simplify]: Simplify (+ 0) into 0
5.866 * [taylor]: Taking taylor expansion of 0 in y
5.866 * [backup-simplify]: Simplify 0 into 0
5.866 * [backup-simplify]: Simplify 0 into 0
5.866 * [backup-simplify]: Simplify 0 into 0
5.866 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 y) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow y 2))))
5.866 * [taylor]: Taking taylor expansion of (- (* 0.125 (/ 1 (pow y 2)))) in y
5.866 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 (pow y 2))) in y
5.866 * [taylor]: Taking taylor expansion of 0.125 in y
5.866 * [backup-simplify]: Simplify 0.125 into 0.125
5.866 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.866 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.866 * [taylor]: Taking taylor expansion of y in y
5.866 * [backup-simplify]: Simplify 0 into 0
5.866 * [backup-simplify]: Simplify 1 into 1
5.867 * [backup-simplify]: Simplify (* 1 1) into 1
5.867 * [backup-simplify]: Simplify (/ 1 1) into 1
5.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.869 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.871 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0
5.872 * [backup-simplify]: Simplify (- 0) into 0
5.872 * [backup-simplify]: Simplify 0 into 0
5.872 * [backup-simplify]: Simplify 0 into 0
5.872 * [backup-simplify]: Simplify 0 into 0
5.872 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
5.873 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
5.874 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 y) 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.874 * [taylor]: Taking taylor expansion of 0 in y
5.874 * [backup-simplify]: Simplify 0 into 0
5.874 * [backup-simplify]: Simplify 0 into 0
5.874 * [backup-simplify]: Simplify 1 into 1
5.874 * [backup-simplify]: Simplify (cos (/ (/ 1 x) (* (/ 1 y) 2.0))) into (cos (* 0.5 (/ y x)))
5.874 * [approximate]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in (x y) around 0
5.874 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
5.874 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
5.874 * [taylor]: Taking taylor expansion of 0.5 in y
5.874 * [backup-simplify]: Simplify 0.5 into 0.5
5.874 * [taylor]: Taking taylor expansion of (/ y x) in y
5.874 * [taylor]: Taking taylor expansion of y in y
5.874 * [backup-simplify]: Simplify 0 into 0
5.874 * [backup-simplify]: Simplify 1 into 1
5.874 * [taylor]: Taking taylor expansion of x in y
5.874 * [backup-simplify]: Simplify x into x
5.874 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.874 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
5.874 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
5.874 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
5.874 * [taylor]: Taking taylor expansion of 0.5 in x
5.874 * [backup-simplify]: Simplify 0.5 into 0.5
5.875 * [taylor]: Taking taylor expansion of (/ y x) in x
5.875 * [taylor]: Taking taylor expansion of y in x
5.875 * [backup-simplify]: Simplify y into y
5.875 * [taylor]: Taking taylor expansion of x in x
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify 1 into 1
5.875 * [backup-simplify]: Simplify (/ y 1) into y
5.875 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
5.875 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
5.875 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
5.875 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
5.875 * [taylor]: Taking taylor expansion of 0.5 in x
5.875 * [backup-simplify]: Simplify 0.5 into 0.5
5.875 * [taylor]: Taking taylor expansion of (/ y x) in x
5.875 * [taylor]: Taking taylor expansion of y in x
5.875 * [backup-simplify]: Simplify y into y
5.875 * [taylor]: Taking taylor expansion of x in x
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify 1 into 1
5.875 * [backup-simplify]: Simplify (/ y 1) into y
5.875 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
5.875 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
5.875 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
5.876 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
5.876 * [taylor]: Taking taylor expansion of 0.5 in y
5.876 * [backup-simplify]: Simplify 0.5 into 0.5
5.876 * [taylor]: Taking taylor expansion of (/ y x) in y
5.876 * [taylor]: Taking taylor expansion of y in y
5.876 * [backup-simplify]: Simplify 0 into 0
5.876 * [backup-simplify]: Simplify 1 into 1
5.876 * [taylor]: Taking taylor expansion of x in y
5.876 * [backup-simplify]: Simplify x into x
5.876 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.876 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
5.876 * [backup-simplify]: Simplify 1 into 1
5.876 * [taylor]: Taking taylor expansion of 0 in y
5.876 * [backup-simplify]: Simplify 0 into 0
5.876 * [backup-simplify]: Simplify 0 into 0
5.876 * [backup-simplify]: Simplify (+ 0) into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [taylor]: Taking taylor expansion of 0 in y
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow x 2))))
5.877 * [backup-simplify]: Simplify (- (* 0.125 (/ 1 (pow x 2)))) into (- (* 0.125 (/ 1 (pow x 2))))
5.877 * [taylor]: Taking taylor expansion of 0 in y
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.878 * [backup-simplify]: Simplify 0 into 0
5.878 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
5.878 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
5.879 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.879 * [backup-simplify]: Simplify 0 into 0
5.879 * [taylor]: Taking taylor expansion of 0 in y
5.879 * [backup-simplify]: Simplify 0 into 0
5.879 * [backup-simplify]: Simplify 0 into 0
5.879 * [backup-simplify]: Simplify 0 into 0
5.880 * [backup-simplify]: Simplify (+ (* (- (* 0.125 (/ 1 (pow (/ 1 x) 2)))) (pow (* (/ 1 y) 1) 2)) 1) into (- 1 (* 0.125 (/ (pow x 2) (pow y 2))))
5.880 * [backup-simplify]: Simplify (cos (/ (/ 1 (- x)) (* (/ 1 (- y)) 2.0))) into (cos (* 0.5 (/ y x)))
5.880 * [approximate]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in (x y) around 0
5.880 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
5.880 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
5.880 * [taylor]: Taking taylor expansion of 0.5 in y
5.880 * [backup-simplify]: Simplify 0.5 into 0.5
5.880 * [taylor]: Taking taylor expansion of (/ y x) in y
5.880 * [taylor]: Taking taylor expansion of y in y
5.880 * [backup-simplify]: Simplify 0 into 0
5.880 * [backup-simplify]: Simplify 1 into 1
5.880 * [taylor]: Taking taylor expansion of x in y
5.880 * [backup-simplify]: Simplify x into x
5.880 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.880 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
5.880 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
5.880 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
5.881 * [taylor]: Taking taylor expansion of 0.5 in x
5.881 * [backup-simplify]: Simplify 0.5 into 0.5
5.881 * [taylor]: Taking taylor expansion of (/ y x) in x
5.881 * [taylor]: Taking taylor expansion of y in x
5.881 * [backup-simplify]: Simplify y into y
5.881 * [taylor]: Taking taylor expansion of x in x
5.881 * [backup-simplify]: Simplify 0 into 0
5.881 * [backup-simplify]: Simplify 1 into 1
5.881 * [backup-simplify]: Simplify (/ y 1) into y
5.881 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
5.881 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
5.881 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
5.881 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
5.881 * [taylor]: Taking taylor expansion of 0.5 in x
5.881 * [backup-simplify]: Simplify 0.5 into 0.5
5.881 * [taylor]: Taking taylor expansion of (/ y x) in x
5.881 * [taylor]: Taking taylor expansion of y in x
5.881 * [backup-simplify]: Simplify y into y
5.881 * [taylor]: Taking taylor expansion of x in x
5.881 * [backup-simplify]: Simplify 0 into 0
5.881 * [backup-simplify]: Simplify 1 into 1
5.881 * [backup-simplify]: Simplify (/ y 1) into y
5.881 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
5.881 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
5.882 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
5.882 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
5.882 * [taylor]: Taking taylor expansion of 0.5 in y
5.882 * [backup-simplify]: Simplify 0.5 into 0.5
5.882 * [taylor]: Taking taylor expansion of (/ y x) in y
5.882 * [taylor]: Taking taylor expansion of y in y
5.882 * [backup-simplify]: Simplify 0 into 0
5.882 * [backup-simplify]: Simplify 1 into 1
5.882 * [taylor]: Taking taylor expansion of x in y
5.882 * [backup-simplify]: Simplify x into x
5.882 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.882 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
5.882 * [backup-simplify]: Simplify 1 into 1
5.882 * [taylor]: Taking taylor expansion of 0 in y
5.882 * [backup-simplify]: Simplify 0 into 0
5.882 * [backup-simplify]: Simplify 0 into 0
5.883 * [backup-simplify]: Simplify (+ 0) into 0
5.883 * [backup-simplify]: Simplify 0 into 0
5.883 * [taylor]: Taking taylor expansion of 0 in y
5.883 * [backup-simplify]: Simplify 0 into 0
5.883 * [backup-simplify]: Simplify 0 into 0
5.883 * [backup-simplify]: Simplify 0 into 0
5.883 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow x 2))))
5.883 * [backup-simplify]: Simplify (- (* 0.125 (/ 1 (pow x 2)))) into (- (* 0.125 (/ 1 (pow x 2))))
5.883 * [taylor]: Taking taylor expansion of 0 in y
5.883 * [backup-simplify]: Simplify 0 into 0
5.884 * [backup-simplify]: Simplify 0 into 0
5.884 * [backup-simplify]: Simplify 0 into 0
5.884 * [backup-simplify]: Simplify 0 into 0
5.884 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
5.884 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
5.885 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.885 * [backup-simplify]: Simplify 0 into 0
5.885 * [taylor]: Taking taylor expansion of 0 in y
5.885 * [backup-simplify]: Simplify 0 into 0
5.885 * [backup-simplify]: Simplify 0 into 0
5.885 * [backup-simplify]: Simplify 0 into 0
5.886 * [backup-simplify]: Simplify (+ (* (- (* 0.125 (/ 1 (pow (/ 1 (- x)) 2)))) (pow (* (/ 1 (- y)) 1) 2)) 1) into (- 1 (* 0.125 (/ (pow x 2) (pow y 2))))
5.886 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.886 * [backup-simplify]: Simplify (/ 1 (cos (/ x (* y 2.0)))) into (/ 1 (cos (* 0.5 (/ x y))))
5.886 * [approximate]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ x y)))) in (x y) around 0
5.886 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ x y)))) in y
5.886 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in y
5.886 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in y
5.886 * [taylor]: Taking taylor expansion of 0.5 in y
5.886 * [backup-simplify]: Simplify 0.5 into 0.5
5.886 * [taylor]: Taking taylor expansion of (/ x y) in y
5.886 * [taylor]: Taking taylor expansion of x in y
5.886 * [backup-simplify]: Simplify x into x
5.886 * [taylor]: Taking taylor expansion of y in y
5.886 * [backup-simplify]: Simplify 0 into 0
5.886 * [backup-simplify]: Simplify 1 into 1
5.886 * [backup-simplify]: Simplify (/ x 1) into x
5.887 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x)
5.887 * [backup-simplify]: Simplify (cos (* 0.5 (/ x y))) into (cos (* 0.5 (/ x y)))
5.887 * [backup-simplify]: Simplify (/ 1 (cos (* 0.5 (/ x y)))) into (/ 1 (cos (* 0.5 (/ x y))))
5.887 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ x y)))) in x
5.887 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x
5.887 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
5.887 * [taylor]: Taking taylor expansion of 0.5 in x
5.887 * [backup-simplify]: Simplify 0.5 into 0.5
5.887 * [taylor]: Taking taylor expansion of (/ x y) in x
5.887 * [taylor]: Taking taylor expansion of x in x
5.887 * [backup-simplify]: Simplify 0 into 0
5.887 * [backup-simplify]: Simplify 1 into 1
5.887 * [taylor]: Taking taylor expansion of y in x
5.887 * [backup-simplify]: Simplify y into y
5.887 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.887 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
5.888 * [backup-simplify]: Simplify (/ 1 1) into 1
5.888 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ x y)))) in x
5.888 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ x y))) in x
5.888 * [taylor]: Taking taylor expansion of (* 0.5 (/ x y)) in x
5.888 * [taylor]: Taking taylor expansion of 0.5 in x
5.888 * [backup-simplify]: Simplify 0.5 into 0.5
5.888 * [taylor]: Taking taylor expansion of (/ x y) in x
5.888 * [taylor]: Taking taylor expansion of x in x
5.888 * [backup-simplify]: Simplify 0 into 0
5.888 * [backup-simplify]: Simplify 1 into 1
5.888 * [taylor]: Taking taylor expansion of y in x
5.888 * [backup-simplify]: Simplify y into y
5.888 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.888 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y)
5.889 * [backup-simplify]: Simplify (/ 1 1) into 1
5.889 * [taylor]: Taking taylor expansion of 1 in y
5.889 * [backup-simplify]: Simplify 1 into 1
5.889 * [backup-simplify]: Simplify 1 into 1
5.889 * [backup-simplify]: Simplify (+ 0) into 0
5.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.890 * [taylor]: Taking taylor expansion of 0 in y
5.890 * [backup-simplify]: Simplify 0 into 0
5.890 * [backup-simplify]: Simplify 0 into 0
5.890 * [backup-simplify]: Simplify 0 into 0
5.890 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 y) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow y 2))))
5.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ (- (* 0.125 (/ 1 (pow y 2)))) 1)) (* 0 (/ 0 1)))) into (* 0.125 (/ 1 (pow y 2)))
5.891 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 (pow y 2))) in y
5.891 * [taylor]: Taking taylor expansion of 0.125 in y
5.891 * [backup-simplify]: Simplify 0.125 into 0.125
5.891 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
5.891 * [taylor]: Taking taylor expansion of (pow y 2) in y
5.891 * [taylor]: Taking taylor expansion of y in y
5.891 * [backup-simplify]: Simplify 0 into 0
5.891 * [backup-simplify]: Simplify 1 into 1
5.892 * [backup-simplify]: Simplify (* 1 1) into 1
5.892 * [backup-simplify]: Simplify (/ 1 1) into 1
5.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.894 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.897 * [backup-simplify]: Simplify (+ (* 0.125 0) (+ (* 0 0) (* 0 1))) into 0
5.897 * [backup-simplify]: Simplify 0 into 0
5.897 * [backup-simplify]: Simplify 0 into 0
5.897 * [backup-simplify]: Simplify 0 into 0
5.897 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
5.897 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 y))) into 0
5.898 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 y) 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.900 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ (- (* 0.125 (/ 1 (pow y 2)))) 1)) (* (* 0.125 (/ 1 (pow y 2))) (/ 0 1)))) into 0
5.900 * [taylor]: Taking taylor expansion of 0 in y
5.900 * [backup-simplify]: Simplify 0 into 0
5.900 * [backup-simplify]: Simplify 0 into 0
5.900 * [backup-simplify]: Simplify 1 into 1
5.900 * [backup-simplify]: Simplify (/ 1 (cos (/ (/ 1 x) (* (/ 1 y) 2.0)))) into (/ 1 (cos (* 0.5 (/ y x))))
5.900 * [approximate]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in (x y) around 0
5.900 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y
5.900 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
5.900 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
5.900 * [taylor]: Taking taylor expansion of 0.5 in y
5.900 * [backup-simplify]: Simplify 0.5 into 0.5
5.900 * [taylor]: Taking taylor expansion of (/ y x) in y
5.900 * [taylor]: Taking taylor expansion of y in y
5.900 * [backup-simplify]: Simplify 0 into 0
5.900 * [backup-simplify]: Simplify 1 into 1
5.900 * [taylor]: Taking taylor expansion of x in y
5.900 * [backup-simplify]: Simplify x into x
5.900 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.901 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
5.901 * [backup-simplify]: Simplify (/ 1 1) into 1
5.901 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in x
5.905 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
5.905 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
5.905 * [taylor]: Taking taylor expansion of 0.5 in x
5.905 * [backup-simplify]: Simplify 0.5 into 0.5
5.905 * [taylor]: Taking taylor expansion of (/ y x) in x
5.905 * [taylor]: Taking taylor expansion of y in x
5.905 * [backup-simplify]: Simplify y into y
5.905 * [taylor]: Taking taylor expansion of x in x
5.905 * [backup-simplify]: Simplify 0 into 0
5.905 * [backup-simplify]: Simplify 1 into 1
5.905 * [backup-simplify]: Simplify (/ y 1) into y
5.905 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
5.905 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
5.905 * [backup-simplify]: Simplify (/ 1 (cos (* 0.5 (/ y x)))) into (/ 1 (cos (* 0.5 (/ y x))))
5.905 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in x
5.906 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
5.906 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
5.906 * [taylor]: Taking taylor expansion of 0.5 in x
5.906 * [backup-simplify]: Simplify 0.5 into 0.5
5.906 * [taylor]: Taking taylor expansion of (/ y x) in x
5.906 * [taylor]: Taking taylor expansion of y in x
5.906 * [backup-simplify]: Simplify y into y
5.906 * [taylor]: Taking taylor expansion of x in x
5.906 * [backup-simplify]: Simplify 0 into 0
5.906 * [backup-simplify]: Simplify 1 into 1
5.906 * [backup-simplify]: Simplify (/ y 1) into y
5.906 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
5.906 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
5.906 * [backup-simplify]: Simplify (/ 1 (cos (* 0.5 (/ y x)))) into (/ 1 (cos (* 0.5 (/ y x))))
5.906 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y
5.906 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
5.906 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
5.906 * [taylor]: Taking taylor expansion of 0.5 in y
5.907 * [backup-simplify]: Simplify 0.5 into 0.5
5.907 * [taylor]: Taking taylor expansion of (/ y x) in y
5.907 * [taylor]: Taking taylor expansion of y in y
5.907 * [backup-simplify]: Simplify 0 into 0
5.907 * [backup-simplify]: Simplify 1 into 1
5.907 * [taylor]: Taking taylor expansion of x in y
5.907 * [backup-simplify]: Simplify x into x
5.907 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.907 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
5.908 * [backup-simplify]: Simplify (/ 1 1) into 1
5.908 * [backup-simplify]: Simplify 1 into 1
5.908 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))))) into 0
5.908 * [taylor]: Taking taylor expansion of 0 in y
5.908 * [backup-simplify]: Simplify 0 into 0
5.908 * [backup-simplify]: Simplify 0 into 0
5.908 * [backup-simplify]: Simplify (+ 0) into 0
5.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.909 * [backup-simplify]: Simplify 0 into 0
5.910 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
5.910 * [taylor]: Taking taylor expansion of 0 in y
5.910 * [backup-simplify]: Simplify 0 into 0
5.910 * [backup-simplify]: Simplify 0 into 0
5.910 * [backup-simplify]: Simplify 0 into 0
5.910 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow x 2))))
5.911 * [backup-simplify]: Simplify (- (+ (* 1 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* 0 (/ 0 1)))) into (* 0.125 (/ 1 (pow x 2)))
5.911 * [backup-simplify]: Simplify (* 0.125 (/ 1 (pow x 2))) into (/ 0.125 (pow x 2))
5.912 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
5.912 * [taylor]: Taking taylor expansion of 0 in y
5.912 * [backup-simplify]: Simplify 0 into 0
5.912 * [backup-simplify]: Simplify 0 into 0
5.912 * [backup-simplify]: Simplify 0 into 0
5.912 * [backup-simplify]: Simplify 0 into 0
5.912 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
5.913 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
5.914 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* (* 0.125 (/ 1 (pow x 2))) (/ 0 1)))) into 0
5.915 * [backup-simplify]: Simplify 0 into 0
5.916 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
5.916 * [taylor]: Taking taylor expansion of 0 in y
5.916 * [backup-simplify]: Simplify 0 into 0
5.916 * [backup-simplify]: Simplify 0 into 0
5.916 * [backup-simplify]: Simplify 0 into 0
5.916 * [backup-simplify]: Simplify (+ (* (/ 0.125 (pow (/ 1 x) 2)) (pow (* (/ 1 y) 1) 2)) 1) into (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1)
5.917 * [backup-simplify]: Simplify (/ 1 (cos (/ (/ 1 (- x)) (* (/ 1 (- y)) 2.0)))) into (/ 1 (cos (* 0.5 (/ y x))))
5.917 * [approximate]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in (x y) around 0
5.917 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y
5.917 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
5.917 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
5.917 * [taylor]: Taking taylor expansion of 0.5 in y
5.917 * [backup-simplify]: Simplify 0.5 into 0.5
5.917 * [taylor]: Taking taylor expansion of (/ y x) in y
5.917 * [taylor]: Taking taylor expansion of y in y
5.917 * [backup-simplify]: Simplify 0 into 0
5.917 * [backup-simplify]: Simplify 1 into 1
5.917 * [taylor]: Taking taylor expansion of x in y
5.917 * [backup-simplify]: Simplify x into x
5.917 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.917 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
5.917 * [backup-simplify]: Simplify (/ 1 1) into 1
5.918 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in x
5.918 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
5.918 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
5.918 * [taylor]: Taking taylor expansion of 0.5 in x
5.918 * [backup-simplify]: Simplify 0.5 into 0.5
5.918 * [taylor]: Taking taylor expansion of (/ y x) in x
5.918 * [taylor]: Taking taylor expansion of y in x
5.918 * [backup-simplify]: Simplify y into y
5.918 * [taylor]: Taking taylor expansion of x in x
5.918 * [backup-simplify]: Simplify 0 into 0
5.918 * [backup-simplify]: Simplify 1 into 1
5.918 * [backup-simplify]: Simplify (/ y 1) into y
5.918 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
5.918 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
5.918 * [backup-simplify]: Simplify (/ 1 (cos (* 0.5 (/ y x)))) into (/ 1 (cos (* 0.5 (/ y x))))
5.918 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in x
5.918 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in x
5.918 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in x
5.918 * [taylor]: Taking taylor expansion of 0.5 in x
5.918 * [backup-simplify]: Simplify 0.5 into 0.5
5.918 * [taylor]: Taking taylor expansion of (/ y x) in x
5.918 * [taylor]: Taking taylor expansion of y in x
5.919 * [backup-simplify]: Simplify y into y
5.919 * [taylor]: Taking taylor expansion of x in x
5.919 * [backup-simplify]: Simplify 0 into 0
5.919 * [backup-simplify]: Simplify 1 into 1
5.919 * [backup-simplify]: Simplify (/ y 1) into y
5.919 * [backup-simplify]: Simplify (* 0.5 y) into (* 0.5 y)
5.919 * [backup-simplify]: Simplify (cos (* 0.5 (/ y x))) into (cos (* 0.5 (/ y x)))
5.919 * [backup-simplify]: Simplify (/ 1 (cos (* 0.5 (/ y x)))) into (/ 1 (cos (* 0.5 (/ y x))))
5.919 * [taylor]: Taking taylor expansion of (/ 1 (cos (* 0.5 (/ y x)))) in y
5.919 * [taylor]: Taking taylor expansion of (cos (* 0.5 (/ y x))) in y
5.919 * [taylor]: Taking taylor expansion of (* 0.5 (/ y x)) in y
5.919 * [taylor]: Taking taylor expansion of 0.5 in y
5.919 * [backup-simplify]: Simplify 0.5 into 0.5
5.919 * [taylor]: Taking taylor expansion of (/ y x) in y
5.919 * [taylor]: Taking taylor expansion of y in y
5.919 * [backup-simplify]: Simplify 0 into 0
5.919 * [backup-simplify]: Simplify 1 into 1
5.919 * [taylor]: Taking taylor expansion of x in y
5.919 * [backup-simplify]: Simplify x into x
5.919 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.920 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x)
5.920 * [backup-simplify]: Simplify (/ 1 1) into 1
5.920 * [backup-simplify]: Simplify 1 into 1
5.920 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))))) into 0
5.920 * [taylor]: Taking taylor expansion of 0 in y
5.920 * [backup-simplify]: Simplify 0 into 0
5.920 * [backup-simplify]: Simplify 0 into 0
5.921 * [backup-simplify]: Simplify (+ 0) into 0
5.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.922 * [backup-simplify]: Simplify 0 into 0
5.922 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
5.922 * [taylor]: Taking taylor expansion of 0 in y
5.922 * [backup-simplify]: Simplify 0 into 0
5.922 * [backup-simplify]: Simplify 0 into 0
5.922 * [backup-simplify]: Simplify 0 into 0
5.923 * [backup-simplify]: Simplify (+ (* -1 (/ (pow (/ 0.5 x) 2) 2)) 0) into (- (* 0.125 (/ 1 (pow x 2))))
5.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* 0 (/ 0 1)))) into (* 0.125 (/ 1 (pow x 2)))
5.924 * [backup-simplify]: Simplify (* 0.125 (/ 1 (pow x 2))) into (/ 0.125 (pow x 2))
5.924 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
5.924 * [taylor]: Taking taylor expansion of 0 in y
5.924 * [backup-simplify]: Simplify 0 into 0
5.924 * [backup-simplify]: Simplify 0 into 0
5.925 * [backup-simplify]: Simplify 0 into 0
5.925 * [backup-simplify]: Simplify 0 into 0
5.925 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
5.925 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0
5.926 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow (/ 0.5 x) 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ (- (* 0.125 (/ 1 (pow x 2)))) 1)) (* (* 0.125 (/ 1 (pow x 2))) (/ 0 1)))) into 0
5.928 * [backup-simplify]: Simplify 0 into 0
5.929 * [backup-simplify]: Simplify (- (+ (* (/ 1 (cos (* 0.5 (/ y x)))) (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))) (* 0 (/ 0 (cos (* 0.5 (/ y x))))))) into 0
5.929 * [taylor]: Taking taylor expansion of 0 in y
5.929 * [backup-simplify]: Simplify 0 into 0
5.929 * [backup-simplify]: Simplify 0 into 0
5.929 * [backup-simplify]: Simplify 0 into 0
5.929 * [backup-simplify]: Simplify (+ (* (/ 0.125 (pow (/ 1 (- x)) 2)) (pow (* (/ 1 (- y)) 1) 2)) 1) into (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1)
5.930 * * * [progress]: simplifying candidates
5.931 * [simplify]: Simplifying:
  (log (cos (/ x (* y 2.0))))
  (exp (cos (/ x (* y 2.0))))
  (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0)))))
  (cbrt (cos (/ x (* y 2.0))))
  (* (* (cos (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))
  (sqrt (cos (/ x (* y 2.0))))
  (sqrt (cos (/ x (* y 2.0))))
  (- 1)
  (- (log (cos (/ x (* y 2.0)))))
  (- 0 (log (cos (/ x (* y 2.0)))))
  (- (log 1) (log (cos (/ x (* y 2.0)))))
  (log (/ 1 (cos (/ x (* y 2.0)))))
  (exp (/ 1 (cos (/ x (* y 2.0)))))
  (/ (* (* 1 1) 1) (* (* (cos (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0)))))
  (* (cbrt (/ 1 (cos (/ x (* y 2.0))))) (cbrt (/ 1 (cos (/ x (* y 2.0))))))
  (cbrt (/ 1 (cos (/ x (* y 2.0)))))
  (* (* (/ 1 (cos (/ x (* y 2.0)))) (/ 1 (cos (/ x (* y 2.0))))) (/ 1 (cos (/ x (* y 2.0)))))
  (sqrt (/ 1 (cos (/ x (* y 2.0)))))
  (sqrt (/ 1 (cos (/ x (* y 2.0)))))
  (- 1)
  (- (cos (/ x (* y 2.0))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0))))))
  (/ (cbrt 1) (cbrt (cos (/ x (* y 2.0)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (cos (/ x (* y 2.0)))))
  (/ (cbrt 1) (sqrt (cos (/ x (* y 2.0)))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (cos (/ x (* y 2.0))))
  (/ (sqrt 1) (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0))))))
  (/ (sqrt 1) (cbrt (cos (/ x (* y 2.0)))))
  (/ (sqrt 1) (sqrt (cos (/ x (* y 2.0)))))
  (/ (sqrt 1) (sqrt (cos (/ x (* y 2.0)))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (cos (/ x (* y 2.0))))
  (/ 1 (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0))))))
  (/ 1 (cbrt (cos (/ x (* y 2.0)))))
  (/ 1 (sqrt (cos (/ x (* y 2.0)))))
  (/ 1 (sqrt (cos (/ x (* y 2.0)))))
  (/ 1 1)
  (/ 1 (cos (/ x (* y 2.0))))
  (/ 1 (cos (/ x (* y 2.0))))
  (/ (cos (/ x (* y 2.0))) 1)
  (/ 1 (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0))))))
  (/ 1 (sqrt (cos (/ x (* y 2.0)))))
  (/ 1 1)
  (/ (cos (/ x (* y 2.0))) (cbrt 1))
  (/ (cos (/ x (* y 2.0))) (sqrt 1))
  (/ (cos (/ x (* y 2.0))) 1)
  1
  (- 1 (* 0.125 (/ (pow x 2) (pow y 2))))
  (- 1 (* 0.125 (/ (pow x 2) (pow y 2))))
  1
  (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1)
  (+ (* 0.125 (/ (pow x 2) (pow y 2))) 1)
5.932 * * [simplify]: Extracting # 0 : cost  40  inf +  0
5.933 * * [simplify]: Extracting # 1 : cost  49  inf +  1
5.933 * * [simplify]: Extracting # 2 : cost  46  inf +  358
5.933 * * [simplify]: Extracting # 3 : cost  45  inf +  763
5.933 * * [simplify]: Extracting # 4 : cost  47  inf +  764
5.934 * * [simplify]: Extracting # 5 : cost  44  inf +  767
5.935 * * [simplify]: Extracting # 6 : cost  25  inf +  4869
5.936 * * [simplify]: Extracting # 7 : cost  7  inf +  10227
5.939 * * [simplify]: Extracting # 8 : cost  1  inf +  12323
5.940 * * [simplify]: Extracting # 9 : cost  0  inf +  12627
5.941 * * [simplify]: iteration  0 :  61  enodes  (cost  13083 )
5.957 * * [simplify]: Extracting # 0 : cost  0  inf +  12627
5.959 * * [simplify]: Extracting # 1 : cost  14  inf +  7390
5.960 * * [simplify]: Extracting # 2 : cost  0  inf +  9935
5.962 * * [simplify]: Extracting # 3 : cost  0  inf +  8912
5.963 * * [simplify]: iteration  1 :  111  enodes  (cost  10202 )
6.011 * * [simplify]: Extracting # 0 : cost  0  inf +  8912
6.015 * * [simplify]: Extracting # 1 : cost  128  inf +  6233
6.022 * * [simplify]: Extracting # 2 : cost  0  inf +  30258
6.032 * * [simplify]: iteration  2 :  456  enodes  (cost  10042 )
6.544 * * [simplify]: Extracting # 0 : cost  0  inf +  30258
6.570 * * [simplify]: Extracting # 1 : cost  812  inf +  7763
6.596 * * [simplify]: Extracting # 2 : cost  3  inf +  172119
6.628 * * [simplify]: Extracting # 3 : cost  0  inf +  172869
6.675 * * [simplify]: iteration  3 :  2869  enodes  (cost  10042 )
9.973 * * [simplify]: Extracting # 0 : cost  0  inf +  172869
10.383 * * [simplify]: Extracting # 1 : cost  895  inf +  28964
10.413 * * [simplify]: Extracting # 2 : cost  0  inf +  214080
10.459 * * [simplify]: iteration done:  5001  enodes  (cost  10042 )
10.459 * [simplify]: Simplified to:
  (log (cos (/ x (* y 2.0))))
  (exp (cos (/ x (* y 2.0))))
  (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0)))))
  (cbrt (cos (/ x (* y 2.0))))
  (* (cos (/ x (* y 2.0))) (* (cos (/ x (* y 2.0))) (cos (/ x (* y 2.0)))))
  (sqrt (cos (/ x (* y 2.0))))
  (sqrt (cos (/ x (* y 2.0))))
  -1
  (- (log (cos (/ x (* y 2.0)))))
  (- (log (cos (/ x (* y 2.0)))))
  (- (log (cos (/ x (* y 2.0)))))
  (- (log (cos (/ x (* y 2.0)))))
  (exp (/ 1 (cos (/ x (* y 2.0)))))
  (* (/ 1 (cos (/ x (* y 2.0)))) (* (/ 1 (cos (/ x (* y 2.0)))) (/ 1 (cos (/ x (* y 2.0))))))
  (* (cbrt (/ 1 (cos (/ x (* y 2.0))))) (cbrt (/ 1 (cos (/ x (* y 2.0))))))
  (cbrt (/ 1 (cos (/ x (* y 2.0)))))
  (* (/ 1 (cos (/ x (* y 2.0)))) (* (/ 1 (cos (/ x (* y 2.0)))) (/ 1 (cos (/ x (* y 2.0))))))
  (sqrt (/ 1 (cos (/ x (* y 2.0)))))
  (sqrt (/ 1 (cos (/ x (* y 2.0)))))
  -1
  (- (cos (/ x (* y 2.0))))
  (/ 1 (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0))))))
  (/ 1 (cbrt (cos (/ x (* y 2.0)))))
  (/ 1 (sqrt (cos (/ x (* y 2.0)))))
  (/ 1 (sqrt (cos (/ x (* y 2.0)))))
  1
  (/ 1 (cos (/ x (* y 2.0))))
  (/ 1 (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0))))))
  (/ 1 (cbrt (cos (/ x (* y 2.0)))))
  (/ 1 (sqrt (cos (/ x (* y 2.0)))))
  (/ 1 (sqrt (cos (/ x (* y 2.0)))))
  1
  (/ 1 (cos (/ x (* y 2.0))))
  (/ 1 (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0))))))
  (/ 1 (cbrt (cos (/ x (* y 2.0)))))
  (/ 1 (sqrt (cos (/ x (* y 2.0)))))
  (/ 1 (sqrt (cos (/ x (* y 2.0)))))
  1
  (/ 1 (cos (/ x (* y 2.0))))
  (/ 1 (cos (/ x (* y 2.0))))
  (cos (/ x (* y 2.0)))
  (/ 1 (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0))))))
  (/ 1 (sqrt (cos (/ x (* y 2.0)))))
  1
  (cos (/ x (* y 2.0)))
  (cos (/ x (* y 2.0)))
  (cos (/ x (* y 2.0)))
  1
  (- 1 (* (* (/ x y) (/ x y)) 0.125))
  (- 1 (* (* (/ x y) (/ x y)) 0.125))
  1
  (+ (* (* (/ x y) (/ x y)) 0.125) 1)
  (+ (* (* (/ x y) (/ x y)) 0.125) 1)
10.461 * * * [progress]: adding candidates to table
10.621 * [progress]: [Phase 3 of 3] Extracting.
10.621 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/ 1 (- 1 (* (* (/ x y) (/ x y)) 0.125))))> #<alt (λ (x y) (/ (tan (/ x (* y 2.0))) (log (exp (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (* (/ (sqrt (tan (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (sqrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (* (/ (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))) (/ (cbrt (sin (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ (tan (/ x (* y 2.0))) (* 0.5 (/ x y))))> #<alt (λ (x y) (/ (log (exp (sin (/ x (* y 2.0))))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ 1 (cbrt (* (* (cos (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ 1 (* (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0))))) (cbrt (cos (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ (sin (/ x (* y 2.0))) (* (log (exp (sin (/ x (* y 2.0))))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ (* 0.5 (/ x y)) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (* (/ 1 (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (cbrt (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ (* (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (cbrt (tan (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))))> #<alt (λ (x y) 1.0)> #<alt (λ (x y) (/ (log (exp (tan (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))))> #<alt (λ (x y) (* (* (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))))>)
10.624 * * * [regime-changes]: Trying 4 branch expressions: ((* y 2.0) (/ x (* y 2.0)) y x)
10.624 * * * * [regimes]: Trying to branch on (* y 2.0) from (#<alt (λ (x y) (/ 1 (- 1 (* (* (/ x y) (/ x y)) 0.125))))> #<alt (λ (x y) (/ (tan (/ x (* y 2.0))) (log (exp (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (* (/ (sqrt (tan (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (sqrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (* (/ (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))) (/ (cbrt (sin (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ (tan (/ x (* y 2.0))) (* 0.5 (/ x y))))> #<alt (λ (x y) (/ (log (exp (sin (/ x (* y 2.0))))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ 1 (cbrt (* (* (cos (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ 1 (* (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0))))) (cbrt (cos (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ (sin (/ x (* y 2.0))) (* (log (exp (sin (/ x (* y 2.0))))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ (* 0.5 (/ x y)) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (* (/ 1 (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (cbrt (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ (* (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (cbrt (tan (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))))> #<alt (λ (x y) 1.0)> #<alt (λ (x y) (/ (log (exp (tan (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))))> #<alt (λ (x y) (* (* (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))))>)
10.743 * * * * [regimes]: Trying to branch on (/ x (* y 2.0)) from (#<alt (λ (x y) (/ 1 (- 1 (* (* (/ x y) (/ x y)) 0.125))))> #<alt (λ (x y) (/ (tan (/ x (* y 2.0))) (log (exp (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (* (/ (sqrt (tan (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (sqrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (* (/ (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))) (/ (cbrt (sin (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ (tan (/ x (* y 2.0))) (* 0.5 (/ x y))))> #<alt (λ (x y) (/ (log (exp (sin (/ x (* y 2.0))))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ 1 (cbrt (* (* (cos (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ 1 (* (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0))))) (cbrt (cos (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ (sin (/ x (* y 2.0))) (* (log (exp (sin (/ x (* y 2.0))))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ (* 0.5 (/ x y)) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (* (/ 1 (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (cbrt (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ (* (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (cbrt (tan (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))))> #<alt (λ (x y) 1.0)> #<alt (λ (x y) (/ (log (exp (tan (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))))> #<alt (λ (x y) (* (* (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))))>)
10.914 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/ 1 (- 1 (* (* (/ x y) (/ x y)) 0.125))))> #<alt (λ (x y) (/ (tan (/ x (* y 2.0))) (log (exp (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (* (/ (sqrt (tan (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (sqrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (* (/ (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))) (/ (cbrt (sin (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ (tan (/ x (* y 2.0))) (* 0.5 (/ x y))))> #<alt (λ (x y) (/ (log (exp (sin (/ x (* y 2.0))))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ 1 (cbrt (* (* (cos (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ 1 (* (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0))))) (cbrt (cos (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ (sin (/ x (* y 2.0))) (* (log (exp (sin (/ x (* y 2.0))))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ (* 0.5 (/ x y)) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (* (/ 1 (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (cbrt (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ (* (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (cbrt (tan (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))))> #<alt (λ (x y) 1.0)> #<alt (λ (x y) (/ (log (exp (tan (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))))> #<alt (λ (x y) (* (* (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))))>)
11.033 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/ 1 (- 1 (* (* (/ x y) (/ x y)) 0.125))))> #<alt (λ (x y) (/ (tan (/ x (* y 2.0))) (log (exp (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (* (/ (sqrt (tan (/ x (* y 2.0)))) (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (sqrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (* (/ (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))) (/ (cbrt (sin (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ (tan (/ x (* y 2.0))) (* 0.5 (/ x y))))> #<alt (λ (x y) (/ (log (exp (sin (/ x (* y 2.0))))) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ 1 (cbrt (* (* (cos (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ 1 (* (* (cbrt (cos (/ x (* y 2.0)))) (cbrt (cos (/ x (* y 2.0))))) (cbrt (cos (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ (sin (/ x (* y 2.0))) (* (log (exp (sin (/ x (* y 2.0))))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (/ (* 0.5 (/ x y)) (* (sin (/ x (* y 2.0))) (cos (/ x (* y 2.0))))))> #<alt (λ (x y) (* (/ 1 (* (cbrt (sin (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (tan (/ x (* y 2.0))) (cbrt (sin (/ x (* y 2.0)))))))> #<alt (λ (x y) (/ (* (* (cbrt (tan (/ x (* y 2.0)))) (cbrt (tan (/ x (* y 2.0))))) (cbrt (tan (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))))> #<alt (λ (x y) 1.0)> #<alt (λ (x y) (/ (log (exp (tan (/ x (* y 2.0))))) (sin (/ x (* y 2.0)))))> #<alt (λ (x y) (* (* (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))) (/ (cbrt (tan (/ x (* y 2.0)))) (cbrt (sin (/ x (* y 2.0)))))))>)
11.168 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
11.168 * [simplify]: Simplifying:
  (/ 1 (cbrt (* (* (cos (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))))
11.168 * * [simplify]: Extracting # 0 : cost  1  inf +  0
11.168 * * [simplify]: Extracting # 1 : cost  3  inf +  0
11.168 * * [simplify]: Extracting # 2 : cost  3  inf +  1
11.168 * * [simplify]: Extracting # 3 : cost  5  inf +  1
11.168 * * [simplify]: Extracting # 4 : cost  6  inf +  1
11.168 * * [simplify]: Extracting # 5 : cost  8  inf +  1
11.168 * * [simplify]: Extracting # 6 : cost  9  inf +  2
11.169 * * [simplify]: Extracting # 7 : cost  0  inf +  1325
11.169 * * [simplify]: iteration  0 :  11  enodes  (cost  344 )
11.171 * * [simplify]: Extracting # 0 : cost  0  inf +  1325
11.171 * * [simplify]: iteration  1 :  15  enodes  (cost  344 )
11.171 * * [simplify]: Extracting # 0 : cost  0  inf +  1325
11.171 * * [simplify]: iteration done:  15  enodes  (cost  344 )
11.171 * [simplify]: Simplified to:
  (/ 1 (cbrt (* (* (cos (/ x (* y 2.0))) (cos (/ x (* y 2.0)))) (cos (/ x (* y 2.0))))))
18.736 * [regime-testing]: Baseline error score: 28.398465967157357
18.746 * [regime-testing]: Oracle error score: 26.015127240345585
18.769 * [regime-testing]: End program error score: 28.398465967157357
18.920 * [regime-testing]: Target error score: 28.792557058605453