22.387 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.083 * * * [progress]: [2/2] Setting up program.
0.088 * [progress]: [Phase 2 of 3] Improving.
0.088 * [simplify]: Simplifying:
  (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0)
1.057 * * [progress]: iteration 1 / 4
1.057 * * * [progress]: picking best candidate
1.061 * * * * [pick]: Picked  #<alt (λ (a b) (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0))>
1.061 * * * [progress]: localizing error
1.077 * * * [progress]: generating rewritten candidates
1.077 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
1.088 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
1.113 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.246 * * * [progress]: generating series expansions
1.247 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
1.247 * [backup-simplify]: Simplify (pow (+ (* a a) (* b b)) 2.0) into (pow (+ (pow a 2) (pow b 2)) 2.0)
1.247 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in (a b) around 0
1.247 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in b
1.247 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in b
1.247 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in b
1.247 * [taylor]: Taking taylor expansion of 2.0 in b
1.247 * [backup-simplify]: Simplify 2.0 into 2.0
1.247 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in b
1.247 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b
1.247 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.247 * [taylor]: Taking taylor expansion of a in b
1.247 * [backup-simplify]: Simplify a into a
1.247 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.247 * [taylor]: Taking taylor expansion of b in b
1.247 * [backup-simplify]: Simplify 0 into 0
1.247 * [backup-simplify]: Simplify 1 into 1
1.248 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.248 * [backup-simplify]: Simplify (+ (pow a 2) 0) into (pow a 2)
1.248 * [backup-simplify]: Simplify (log (pow a 2)) into (log (pow a 2))
1.248 * [backup-simplify]: Simplify (* 2.0 (log (pow a 2))) into (* 2.0 (log (pow a 2)))
1.248 * [backup-simplify]: Simplify (exp (* 2.0 (log (pow a 2)))) into (pow (pow a 2) 2.0)
1.248 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a
1.248 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a
1.248 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a
1.248 * [taylor]: Taking taylor expansion of 2.0 in a
1.248 * [backup-simplify]: Simplify 2.0 into 2.0
1.248 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a
1.248 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a
1.248 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.248 * [taylor]: Taking taylor expansion of a in a
1.249 * [backup-simplify]: Simplify 0 into 0
1.249 * [backup-simplify]: Simplify 1 into 1
1.249 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.249 * [taylor]: Taking taylor expansion of b in a
1.249 * [backup-simplify]: Simplify b into b
1.249 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.249 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2)
1.249 * [backup-simplify]: Simplify (log (pow b 2)) into (log (pow b 2))
1.249 * [backup-simplify]: Simplify (* 2.0 (log (pow b 2))) into (* 2.0 (log (pow b 2)))
1.249 * [backup-simplify]: Simplify (exp (* 2.0 (log (pow b 2)))) into (pow (pow b 2) 2.0)
1.249 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a
1.249 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a
1.249 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a
1.249 * [taylor]: Taking taylor expansion of 2.0 in a
1.249 * [backup-simplify]: Simplify 2.0 into 2.0
1.250 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a
1.250 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a
1.250 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.250 * [taylor]: Taking taylor expansion of a in a
1.250 * [backup-simplify]: Simplify 0 into 0
1.250 * [backup-simplify]: Simplify 1 into 1
1.250 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.250 * [taylor]: Taking taylor expansion of b in a
1.250 * [backup-simplify]: Simplify b into b
1.250 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.250 * [backup-simplify]: Simplify (+ 0 (pow b 2)) into (pow b 2)
1.250 * [backup-simplify]: Simplify (log (pow b 2)) into (log (pow b 2))
1.250 * [backup-simplify]: Simplify (* 2.0 (log (pow b 2))) into (* 2.0 (log (pow b 2)))
1.250 * [backup-simplify]: Simplify (exp (* 2.0 (log (pow b 2)))) into (pow (pow b 2) 2.0)
1.251 * [taylor]: Taking taylor expansion of (pow (pow b 2) 2.0) in b
1.251 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow b 2)))) in b
1.251 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow b 2))) in b
1.251 * [taylor]: Taking taylor expansion of 2.0 in b
1.251 * [backup-simplify]: Simplify 2.0 into 2.0
1.251 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b
1.251 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.251 * [taylor]: Taking taylor expansion of b in b
1.251 * [backup-simplify]: Simplify 0 into 0
1.251 * [backup-simplify]: Simplify 1 into 1
1.252 * [backup-simplify]: Simplify (* 1 1) into 1
1.252 * [backup-simplify]: Simplify (log 1) into 0
1.253 * [backup-simplify]: Simplify (+ (* (- -2) (log b)) 0) into (* 2 (log b))
1.253 * [backup-simplify]: Simplify (* 2.0 (* 2 (log b))) into (* 4.0 (log b))
1.253 * [backup-simplify]: Simplify (exp (* 4.0 (log b))) into (pow b 4.0)
1.253 * [backup-simplify]: Simplify (pow b 4.0) into (pow b 4.0)
1.253 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
1.254 * [backup-simplify]: Simplify (+ 0 0) into 0
1.255 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow b 2) 1)))) 1) into 0
1.255 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (log (pow b 2)))) into 0
1.256 * [backup-simplify]: Simplify (* (exp (* 2.0 (log (pow b 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
1.256 * [taylor]: Taking taylor expansion of 0 in b
1.256 * [backup-simplify]: Simplify 0 into 0
1.256 * [backup-simplify]: Simplify 0 into 0
1.257 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.258 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1.259 * [backup-simplify]: Simplify (+ (* (- -2) (log b)) 0) into (* 2 (log b))
1.260 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (* 2 (log b)))) into 0
1.260 * [backup-simplify]: Simplify (* (exp (* 4.0 (log b))) (+ (* (/ (pow 0 1) 1)))) into 0
1.260 * [backup-simplify]: Simplify 0 into 0
1.261 * [backup-simplify]: Simplify (* 1 1) into 1
1.261 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
1.262 * [backup-simplify]: Simplify (+ 1 0) into 1
1.264 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow b 2) 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow (pow b 2) 1)))) 2) into (/ 1 (pow b 2))
1.265 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 (log (pow b 2))))) into (* 2.0 (/ 1 (pow b 2)))
1.266 * [backup-simplify]: Simplify (* (exp (* 2.0 (log (pow b 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow (* 2.0 (/ 1 (pow b 2))) 1) 1)))) into (* 2.0 (pow (pow b 2.0) 1.0))
1.266 * [taylor]: Taking taylor expansion of (* 2.0 (pow (pow b 2.0) 1.0)) in b
1.266 * [taylor]: Taking taylor expansion of 2.0 in b
1.266 * [backup-simplify]: Simplify 2.0 into 2.0
1.266 * [taylor]: Taking taylor expansion of (pow (pow b 2.0) 1.0) in b
1.266 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow b 2.0)))) in b
1.266 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow b 2.0))) in b
1.266 * [taylor]: Taking taylor expansion of 1.0 in b
1.266 * [backup-simplify]: Simplify 1.0 into 1.0
1.266 * [taylor]: Taking taylor expansion of (log (pow b 2.0)) in b
1.266 * [taylor]: Taking taylor expansion of (pow b 2.0) in b
1.266 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log b))) in b
1.266 * [taylor]: Taking taylor expansion of (* 2.0 (log b)) in b
1.266 * [taylor]: Taking taylor expansion of 2.0 in b
1.266 * [backup-simplify]: Simplify 2.0 into 2.0
1.266 * [taylor]: Taking taylor expansion of (log b) in b
1.266 * [taylor]: Taking taylor expansion of b in b
1.266 * [backup-simplify]: Simplify 0 into 0
1.266 * [backup-simplify]: Simplify 1 into 1
1.267 * [backup-simplify]: Simplify (log 1) into 0
1.267 * [backup-simplify]: Simplify (+ (* (- -1) (log b)) 0) into (log b)
1.267 * [backup-simplify]: Simplify (* 2.0 (log b)) into (* 2.0 (log b))
1.267 * [backup-simplify]: Simplify (exp (* 2.0 (log b))) into (pow b 2.0)
1.267 * [backup-simplify]: Simplify (log (pow b 2.0)) into (log (pow b 2.0))
1.267 * [backup-simplify]: Simplify (* 1.0 (log (pow b 2.0))) into (* 1.0 (log (pow b 2.0)))
1.268 * [backup-simplify]: Simplify (exp (* 1.0 (log (pow b 2.0)))) into (pow (pow b 2.0) 1.0)
1.268 * [backup-simplify]: Simplify (* 2.0 (pow (pow b 2.0) 1.0)) into (* 2.0 (pow (pow b 2.0) 1.0))
1.268 * [backup-simplify]: Simplify (* 2.0 (pow (pow b 2.0) 1.0)) into (* 2.0 (pow (pow b 2.0) 1.0))
1.268 * [backup-simplify]: Simplify 0 into 0
1.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.270 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
1.270 * [backup-simplify]: Simplify (+ (* (- -2) (log b)) 0) into (* 2 (log b))
1.271 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 (* 2 (log b))))) into 0
1.272 * [backup-simplify]: Simplify (* (exp (* 4.0 (log b))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.272 * [backup-simplify]: Simplify 0 into 0
1.272 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.273 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
1.273 * [backup-simplify]: Simplify (+ 0 0) into 0
1.275 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (pow b 2) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 1) 1)) (pow (pow b 2) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (pow b 2) 1)))) 6) into 0
1.276 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 (log (pow b 2)))))) into 0
1.277 * [backup-simplify]: Simplify (* (exp (* 2.0 (log (pow b 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow (* 2.0 (/ 1 (pow b 2))) 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.277 * [taylor]: Taking taylor expansion of 0 in b
1.277 * [backup-simplify]: Simplify 0 into 0
1.277 * [backup-simplify]: Simplify 0 into 0
1.278 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1.282 * [backup-simplify]: Simplify (+ (* (- -1) (log b)) 0) into (log b)
1.283 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (log b))) into 0
1.284 * [backup-simplify]: Simplify (* (exp (* 2.0 (log b))) (+ (* (/ (pow 0 1) 1)))) into 0
1.284 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow b 2.0) 1)))) 1) into 0
1.285 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (pow b 2.0)))) into 0
1.285 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (pow b 2.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
1.286 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (pow (pow b 2.0) 1.0))) into 0
1.286 * [backup-simplify]: Simplify 0 into 0
1.286 * [backup-simplify]: Simplify 0 into 0
1.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.290 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1.290 * [backup-simplify]: Simplify (+ (* (- -2) (log b)) 0) into (* 2 (log b))
1.291 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (* 2 (log b)))))) into 0
1.292 * [backup-simplify]: Simplify (* (exp (* 4.0 (log b))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.292 * [backup-simplify]: Simplify 0 into 0
1.293 * [backup-simplify]: Simplify (+ (* (* 2.0 (pow (pow b 2.0) 1.0)) (pow (* 1 a) 2)) (pow b 4.0)) into (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2))))
1.293 * [backup-simplify]: Simplify (pow (+ (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) 2.0) into (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0)
1.293 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0
1.293 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b
1.293 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b
1.293 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b
1.293 * [taylor]: Taking taylor expansion of 2.0 in b
1.293 * [backup-simplify]: Simplify 2.0 into 2.0
1.293 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b
1.293 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b
1.293 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.293 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.293 * [taylor]: Taking taylor expansion of b in b
1.293 * [backup-simplify]: Simplify 0 into 0
1.293 * [backup-simplify]: Simplify 1 into 1
1.294 * [backup-simplify]: Simplify (* 1 1) into 1
1.294 * [backup-simplify]: Simplify (/ 1 1) into 1
1.294 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
1.294 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.294 * [taylor]: Taking taylor expansion of a in b
1.294 * [backup-simplify]: Simplify a into a
1.294 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.294 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1.295 * [backup-simplify]: Simplify (+ 1 0) into 1
1.295 * [backup-simplify]: Simplify (log 1) into 0
1.295 * [backup-simplify]: Simplify (+ (* (- 2) (log b)) 0) into (- (* 2 (log b)))
1.295 * [backup-simplify]: Simplify (* 2.0 (- (* 2 (log b)))) into (* -4.0 (log b))
1.296 * [backup-simplify]: Simplify (exp (* -4.0 (log b))) into (pow b -4.0)
1.296 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a
1.296 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a
1.296 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a
1.296 * [taylor]: Taking taylor expansion of 2.0 in a
1.296 * [backup-simplify]: Simplify 2.0 into 2.0
1.296 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a
1.296 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a
1.296 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.296 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.296 * [taylor]: Taking taylor expansion of b in a
1.296 * [backup-simplify]: Simplify b into b
1.296 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.296 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.296 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.296 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.296 * [taylor]: Taking taylor expansion of a in a
1.296 * [backup-simplify]: Simplify 0 into 0
1.296 * [backup-simplify]: Simplify 1 into 1
1.297 * [backup-simplify]: Simplify (* 1 1) into 1
1.297 * [backup-simplify]: Simplify (/ 1 1) into 1
1.298 * [backup-simplify]: Simplify (+ 0 1) into 1
1.298 * [backup-simplify]: Simplify (log 1) into 0
1.299 * [backup-simplify]: Simplify (+ (* (- 2) (log a)) 0) into (- (* 2 (log a)))
1.299 * [backup-simplify]: Simplify (* 2.0 (- (* 2 (log a)))) into (* -4.0 (log a))
1.299 * [backup-simplify]: Simplify (exp (* -4.0 (log a))) into (pow a -4.0)
1.299 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a
1.299 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a
1.299 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a
1.299 * [taylor]: Taking taylor expansion of 2.0 in a
1.299 * [backup-simplify]: Simplify 2.0 into 2.0
1.299 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a
1.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a
1.299 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.299 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.299 * [taylor]: Taking taylor expansion of b in a
1.299 * [backup-simplify]: Simplify b into b
1.299 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.300 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.300 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.300 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.300 * [taylor]: Taking taylor expansion of a in a
1.300 * [backup-simplify]: Simplify 0 into 0
1.300 * [backup-simplify]: Simplify 1 into 1
1.301 * [backup-simplify]: Simplify (* 1 1) into 1
1.301 * [backup-simplify]: Simplify (/ 1 1) into 1
1.302 * [backup-simplify]: Simplify (+ 0 1) into 1
1.302 * [backup-simplify]: Simplify (log 1) into 0
1.303 * [backup-simplify]: Simplify (+ (* (- 2) (log a)) 0) into (- (* 2 (log a)))
1.303 * [backup-simplify]: Simplify (* 2.0 (- (* 2 (log a)))) into (* -4.0 (log a))
1.303 * [backup-simplify]: Simplify (exp (* -4.0 (log a))) into (pow a -4.0)
1.303 * [taylor]: Taking taylor expansion of (pow a -4.0) in b
1.303 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b
1.303 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b
1.303 * [taylor]: Taking taylor expansion of -4.0 in b
1.303 * [backup-simplify]: Simplify -4.0 into -4.0
1.304 * [taylor]: Taking taylor expansion of (log a) in b
1.304 * [taylor]: Taking taylor expansion of a in b
1.304 * [backup-simplify]: Simplify a into a
1.304 * [backup-simplify]: Simplify (log a) into (log a)
1.304 * [backup-simplify]: Simplify (* -4.0 (log a)) into (* -4.0 (log a))
1.304 * [backup-simplify]: Simplify (exp (* -4.0 (log a))) into (pow a -4.0)
1.304 * [backup-simplify]: Simplify (pow a -4.0) into (pow a -4.0)
1.305 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.306 * [backup-simplify]: Simplify (+ 0 0) into 0
1.308 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1.308 * [backup-simplify]: Simplify (+ (* (- 2) (log a)) 0) into (- (* 2 (log a)))
1.309 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (- (* 2 (log a))))) into 0
1.309 * [backup-simplify]: Simplify (* (exp (* -4.0 (log a))) (+ (* (/ (pow 0 1) 1)))) into 0
1.310 * [taylor]: Taking taylor expansion of 0 in b
1.310 * [backup-simplify]: Simplify 0 into 0
1.310 * [backup-simplify]: Simplify 0 into 0
1.310 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow a 1)))) 1) into 0
1.311 * [backup-simplify]: Simplify (+ (* -4.0 0) (* 0 (log a))) into 0
1.312 * [backup-simplify]: Simplify (* (exp (* -4.0 (log a))) (+ (* (/ (pow 0 1) 1)))) into 0
1.312 * [backup-simplify]: Simplify 0 into 0
1.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.314 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2))
1.316 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1 (pow b 2))) 1)) (pow 1 1)))) 2) into (/ 1 (pow b 2))
1.317 * [backup-simplify]: Simplify (+ (* (- 2) (log a)) 0) into (- (* 2 (log a)))
1.318 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 (- (* 2 (log a)))))) into (* 2.0 (/ 1 (pow b 2)))
1.319 * [backup-simplify]: Simplify (* (exp (* -4.0 (log a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow (* 2.0 (/ 1 (pow b 2))) 1) 1)))) into (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))))
1.319 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b
1.319 * [taylor]: Taking taylor expansion of 2.0 in b
1.319 * [backup-simplify]: Simplify 2.0 into 2.0
1.319 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b
1.319 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b
1.319 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b
1.319 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b
1.319 * [taylor]: Taking taylor expansion of 1.0 in b
1.319 * [backup-simplify]: Simplify 1.0 into 1.0
1.319 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b
1.319 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b
1.319 * [taylor]: Taking taylor expansion of (pow a 4.0) in b
1.319 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b
1.319 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b
1.319 * [taylor]: Taking taylor expansion of 4.0 in b
1.319 * [backup-simplify]: Simplify 4.0 into 4.0
1.319 * [taylor]: Taking taylor expansion of (log a) in b
1.319 * [taylor]: Taking taylor expansion of a in b
1.319 * [backup-simplify]: Simplify a into a
1.319 * [backup-simplify]: Simplify (log a) into (log a)
1.319 * [backup-simplify]: Simplify (* 4.0 (log a)) into (* 4.0 (log a))
1.319 * [backup-simplify]: Simplify (exp (* 4.0 (log a))) into (pow a 4.0)
1.319 * [backup-simplify]: Simplify (/ 1 (pow a 4.0)) into (pow (/ 1 (pow a 4.0)) 1.0)
1.320 * [backup-simplify]: Simplify (log (pow (/ 1 (pow a 4.0)) 1.0)) into (log (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0))
1.320 * [backup-simplify]: Simplify (* 1.0 (log (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0))) into (* 1.0 (log (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0)))
1.320 * [backup-simplify]: Simplify (exp (* 1.0 (log (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0) 1.0) 1.0)
1.320 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.320 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.320 * [taylor]: Taking taylor expansion of b in b
1.320 * [backup-simplify]: Simplify 0 into 0
1.320 * [backup-simplify]: Simplify 1 into 1
1.320 * [backup-simplify]: Simplify (* 1 1) into 1
1.321 * [backup-simplify]: Simplify (/ 1 1) into 1
1.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.321 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.323 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow a 1)))) 1) into 0
1.323 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (log a))) into 0
1.324 * [backup-simplify]: Simplify (* (exp (* 4.0 (log a))) (+ (* (/ (pow 0 1) 1)))) into 0
1.324 * [backup-simplify]: Simplify (- (+ (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 0 (pow a 4.0))))) into 0
1.325 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (/ 1 (pow a 4.0)) 1.0) 1)))) 1) into 0
1.325 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0)))) into 0
1.326 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
1.327 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow a 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow a 1)))) 2) into 0
1.328 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (log a)))) into 0
1.328 * [backup-simplify]: Simplify (* (exp (* 4.0 (log a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.329 * [backup-simplify]: Simplify (- (+ (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 0 (pow a 4.0))) (* 0 (/ 0 (pow a 4.0))))) into 0
1.330 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (/ 1 (pow a 4.0)) 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (/ 1 (pow a 4.0)) 1.0) 1)))) 2) into 0
1.331 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0))))) into 0
1.332 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.332 * [backup-simplify]: Simplify (+ (* (pow (pow (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0) 1.0) 1.0) 0) (+ (* 0 0) (* 0 1))) into 0
1.333 * [backup-simplify]: Simplify (+ (* (pow (pow (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0) 1.0) 1.0) 0) (* 0 1)) into 0
1.333 * [backup-simplify]: Simplify (* (pow (pow (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0) 1.0) 1.0) 1) into (pow (/ 1 (pow a 4.0)) 1.0)
1.334 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 (pow (/ 1 (pow a 4.0)) 1.0)))) into 0
1.334 * [backup-simplify]: Simplify 0 into 0
1.334 * [backup-simplify]: Simplify 0 into 0
1.335 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow a 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow a 1)))) 2) into 0
1.336 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (* 0 (log a)))) into 0
1.337 * [backup-simplify]: Simplify (* (exp (* -4.0 (log a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.337 * [backup-simplify]: Simplify 0 into 0
1.337 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
1.337 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
1.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.339 * [backup-simplify]: Simplify (+ 0 0) into 0
1.341 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (/ 1 (pow b 2))) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1.342 * [backup-simplify]: Simplify (+ (* (- 2) (log a)) 0) into (- (* 2 (log a)))
1.343 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 (- (* 2 (log a))))))) into 0
1.344 * [backup-simplify]: Simplify (* (exp (* -4.0 (log a))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow (* 2.0 (/ 1 (pow b 2))) 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.344 * [taylor]: Taking taylor expansion of 0 in b
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify (pow (/ 1 a) -4.0) into (pow (/ 1 a) -4.0)
1.345 * [backup-simplify]: Simplify (pow (+ (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) 2.0) into (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0)
1.345 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0
1.345 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b
1.345 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b
1.345 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b
1.345 * [taylor]: Taking taylor expansion of 2.0 in b
1.345 * [backup-simplify]: Simplify 2.0 into 2.0
1.345 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b
1.345 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b
1.345 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.345 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.345 * [taylor]: Taking taylor expansion of b in b
1.345 * [backup-simplify]: Simplify 0 into 0
1.345 * [backup-simplify]: Simplify 1 into 1
1.345 * [backup-simplify]: Simplify (* 1 1) into 1
1.346 * [backup-simplify]: Simplify (/ 1 1) into 1
1.346 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b
1.346 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.346 * [taylor]: Taking taylor expansion of a in b
1.346 * [backup-simplify]: Simplify a into a
1.346 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.346 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1.346 * [backup-simplify]: Simplify (+ 1 0) into 1
1.346 * [backup-simplify]: Simplify (log 1) into 0
1.347 * [backup-simplify]: Simplify (+ (* (- 2) (log b)) 0) into (- (* 2 (log b)))
1.347 * [backup-simplify]: Simplify (* 2.0 (- (* 2 (log b)))) into (* -4.0 (log b))
1.347 * [backup-simplify]: Simplify (exp (* -4.0 (log b))) into (pow b -4.0)
1.347 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a
1.347 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a
1.347 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a
1.347 * [taylor]: Taking taylor expansion of 2.0 in a
1.347 * [backup-simplify]: Simplify 2.0 into 2.0
1.347 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a
1.347 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a
1.347 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.347 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.347 * [taylor]: Taking taylor expansion of b in a
1.347 * [backup-simplify]: Simplify b into b
1.347 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.347 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.347 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.347 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.347 * [taylor]: Taking taylor expansion of a in a
1.347 * [backup-simplify]: Simplify 0 into 0
1.347 * [backup-simplify]: Simplify 1 into 1
1.348 * [backup-simplify]: Simplify (* 1 1) into 1
1.348 * [backup-simplify]: Simplify (/ 1 1) into 1
1.348 * [backup-simplify]: Simplify (+ 0 1) into 1
1.348 * [backup-simplify]: Simplify (log 1) into 0
1.349 * [backup-simplify]: Simplify (+ (* (- 2) (log a)) 0) into (- (* 2 (log a)))
1.349 * [backup-simplify]: Simplify (* 2.0 (- (* 2 (log a)))) into (* -4.0 (log a))
1.349 * [backup-simplify]: Simplify (exp (* -4.0 (log a))) into (pow a -4.0)
1.349 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a
1.349 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a
1.349 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a
1.349 * [taylor]: Taking taylor expansion of 2.0 in a
1.349 * [backup-simplify]: Simplify 2.0 into 2.0
1.349 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a
1.349 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a
1.349 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.349 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.349 * [taylor]: Taking taylor expansion of b in a
1.349 * [backup-simplify]: Simplify b into b
1.349 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.349 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.349 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
1.349 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.349 * [taylor]: Taking taylor expansion of a in a
1.349 * [backup-simplify]: Simplify 0 into 0
1.349 * [backup-simplify]: Simplify 1 into 1
1.350 * [backup-simplify]: Simplify (* 1 1) into 1
1.350 * [backup-simplify]: Simplify (/ 1 1) into 1
1.350 * [backup-simplify]: Simplify (+ 0 1) into 1
1.350 * [backup-simplify]: Simplify (log 1) into 0
1.351 * [backup-simplify]: Simplify (+ (* (- 2) (log a)) 0) into (- (* 2 (log a)))
1.351 * [backup-simplify]: Simplify (* 2.0 (- (* 2 (log a)))) into (* -4.0 (log a))
1.351 * [backup-simplify]: Simplify (exp (* -4.0 (log a))) into (pow a -4.0)
1.351 * [taylor]: Taking taylor expansion of (pow a -4.0) in b
1.351 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b
1.351 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b
1.351 * [taylor]: Taking taylor expansion of -4.0 in b
1.351 * [backup-simplify]: Simplify -4.0 into -4.0
1.351 * [taylor]: Taking taylor expansion of (log a) in b
1.351 * [taylor]: Taking taylor expansion of a in b
1.351 * [backup-simplify]: Simplify a into a
1.351 * [backup-simplify]: Simplify (log a) into (log a)
1.351 * [backup-simplify]: Simplify (* -4.0 (log a)) into (* -4.0 (log a))
1.351 * [backup-simplify]: Simplify (exp (* -4.0 (log a))) into (pow a -4.0)
1.351 * [backup-simplify]: Simplify (pow a -4.0) into (pow a -4.0)
1.352 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.353 * [backup-simplify]: Simplify (+ 0 0) into 0
1.353 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
1.354 * [backup-simplify]: Simplify (+ (* (- 2) (log a)) 0) into (- (* 2 (log a)))
1.354 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (- (* 2 (log a))))) into 0
1.355 * [backup-simplify]: Simplify (* (exp (* -4.0 (log a))) (+ (* (/ (pow 0 1) 1)))) into 0
1.355 * [taylor]: Taking taylor expansion of 0 in b
1.355 * [backup-simplify]: Simplify 0 into 0
1.355 * [backup-simplify]: Simplify 0 into 0
1.355 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow a 1)))) 1) into 0
1.356 * [backup-simplify]: Simplify (+ (* -4.0 0) (* 0 (log a))) into 0
1.356 * [backup-simplify]: Simplify (* (exp (* -4.0 (log a))) (+ (* (/ (pow 0 1) 1)))) into 0
1.356 * [backup-simplify]: Simplify 0 into 0
1.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.357 * [backup-simplify]: Simplify (+ (/ 1 (pow b 2)) 0) into (/ 1 (pow b 2))
1.359 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1 (pow b 2))) 1)) (pow 1 1)))) 2) into (/ 1 (pow b 2))
1.359 * [backup-simplify]: Simplify (+ (* (- 2) (log a)) 0) into (- (* 2 (log a)))
1.359 * [backup-simplify]: Simplify (+ (* 2.0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 (- (* 2 (log a)))))) into (* 2.0 (/ 1 (pow b 2)))
1.360 * [backup-simplify]: Simplify (* (exp (* -4.0 (log a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow (* 2.0 (/ 1 (pow b 2))) 1) 1)))) into (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))))
1.360 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b
1.360 * [taylor]: Taking taylor expansion of 2.0 in b
1.360 * [backup-simplify]: Simplify 2.0 into 2.0
1.360 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b
1.360 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b
1.360 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b
1.360 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b
1.360 * [taylor]: Taking taylor expansion of 1.0 in b
1.360 * [backup-simplify]: Simplify 1.0 into 1.0
1.360 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b
1.360 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b
1.360 * [taylor]: Taking taylor expansion of (pow a 4.0) in b
1.360 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b
1.360 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b
1.360 * [taylor]: Taking taylor expansion of 4.0 in b
1.360 * [backup-simplify]: Simplify 4.0 into 4.0
1.360 * [taylor]: Taking taylor expansion of (log a) in b
1.360 * [taylor]: Taking taylor expansion of a in b
1.360 * [backup-simplify]: Simplify a into a
1.361 * [backup-simplify]: Simplify (log a) into (log a)
1.361 * [backup-simplify]: Simplify (* 4.0 (log a)) into (* 4.0 (log a))
1.361 * [backup-simplify]: Simplify (exp (* 4.0 (log a))) into (pow a 4.0)
1.361 * [backup-simplify]: Simplify (/ 1 (pow a 4.0)) into (pow (/ 1 (pow a 4.0)) 1.0)
1.361 * [backup-simplify]: Simplify (log (pow (/ 1 (pow a 4.0)) 1.0)) into (log (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0))
1.361 * [backup-simplify]: Simplify (* 1.0 (log (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0))) into (* 1.0 (log (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0)))
1.361 * [backup-simplify]: Simplify (exp (* 1.0 (log (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0)))) into (pow (pow (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0) 1.0) 1.0)
1.361 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.361 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.361 * [taylor]: Taking taylor expansion of b in b
1.361 * [backup-simplify]: Simplify 0 into 0
1.361 * [backup-simplify]: Simplify 1 into 1
1.362 * [backup-simplify]: Simplify (* 1 1) into 1
1.362 * [backup-simplify]: Simplify (/ 1 1) into 1
1.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.363 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.365 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow a 1)))) 1) into 0
1.366 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (log a))) into 0
1.367 * [backup-simplify]: Simplify (* (exp (* 4.0 (log a))) (+ (* (/ (pow 0 1) 1)))) into 0
1.368 * [backup-simplify]: Simplify (- (+ (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 0 (pow a 4.0))))) into 0
1.369 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (pow (/ 1 (pow a 4.0)) 1.0) 1)))) 1) into 0
1.370 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (log (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0)))) into 0
1.371 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
1.373 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow a 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow a 1)))) 2) into 0
1.374 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (log a)))) into 0
1.376 * [backup-simplify]: Simplify (* (exp (* 4.0 (log a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.376 * [backup-simplify]: Simplify (- (+ (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 0 (pow a 4.0))) (* 0 (/ 0 (pow a 4.0))))) into 0
1.378 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (pow (/ 1 (pow a 4.0)) 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (pow (/ 1 (pow a 4.0)) 1.0) 1)))) 2) into 0
1.380 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (log (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0))))) into 0
1.381 * [backup-simplify]: Simplify (* (exp (* 1.0 (log (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.383 * [backup-simplify]: Simplify (+ (* (pow (pow (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0) 1.0) 1.0) 0) (+ (* 0 0) (* 0 1))) into 0
1.384 * [backup-simplify]: Simplify (+ (* (pow (pow (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0) 1.0) 1.0) 0) (* 0 1)) into 0
1.384 * [backup-simplify]: Simplify (* (pow (pow (pow (pow (pow (/ 1 (pow a 4.0)) 1.0) 1.0) 1.0) 1.0) 1.0) 1) into (pow (/ 1 (pow a 4.0)) 1.0)
1.385 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 (pow (/ 1 (pow a 4.0)) 1.0)))) into 0
1.385 * [backup-simplify]: Simplify 0 into 0
1.385 * [backup-simplify]: Simplify 0 into 0
1.387 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow a 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow a 1)))) 2) into 0
1.388 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (* 0 (log a)))) into 0
1.390 * [backup-simplify]: Simplify (* (exp (* -4.0 (log a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.390 * [backup-simplify]: Simplify 0 into 0
1.390 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
1.390 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
1.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.393 * [backup-simplify]: Simplify (+ 0 0) into 0
1.397 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (/ 1 (pow b 2))) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
1.397 * [backup-simplify]: Simplify (+ (* (- 2) (log a)) 0) into (- (* 2 (log a)))
1.398 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 (/ 1 (pow b 2))) (+ (* 0 0) (* 0 (- (* 2 (log a))))))) into 0
1.401 * [backup-simplify]: Simplify (* (exp (* -4.0 (log a))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow (* 2.0 (/ 1 (pow b 2))) 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1.401 * [taylor]: Taking taylor expansion of 0 in b
1.401 * [backup-simplify]: Simplify 0 into 0
1.401 * [backup-simplify]: Simplify 0 into 0
1.401 * [backup-simplify]: Simplify (pow (/ 1 (- a)) -4.0) into (pow (/ -1 a) -4.0)
1.401 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
1.401 * [backup-simplify]: Simplify (* 4.0 (* b b)) into (* 4.0 (pow b 2))
1.401 * [approximate]: Taking taylor expansion of (* 4.0 (pow b 2)) in (b) around 0
1.401 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b
1.401 * [taylor]: Taking taylor expansion of 4.0 in b
1.401 * [backup-simplify]: Simplify 4.0 into 4.0
1.401 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.401 * [taylor]: Taking taylor expansion of b in b
1.401 * [backup-simplify]: Simplify 0 into 0
1.401 * [backup-simplify]: Simplify 1 into 1
1.401 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b
1.402 * [taylor]: Taking taylor expansion of 4.0 in b
1.402 * [backup-simplify]: Simplify 4.0 into 4.0
1.402 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.402 * [taylor]: Taking taylor expansion of b in b
1.402 * [backup-simplify]: Simplify 0 into 0
1.402 * [backup-simplify]: Simplify 1 into 1
1.402 * [backup-simplify]: Simplify (* 1 1) into 1
1.403 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
1.403 * [backup-simplify]: Simplify 4.0 into 4.0
1.403 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.404 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
1.404 * [backup-simplify]: Simplify 0 into 0
1.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.406 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
1.406 * [backup-simplify]: Simplify 0 into 0
1.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.408 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.408 * [backup-simplify]: Simplify 0 into 0
1.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.411 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.411 * [backup-simplify]: Simplify 0 into 0
1.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.417 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.418 * [backup-simplify]: Simplify 0 into 0
1.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.421 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.421 * [backup-simplify]: Simplify 0 into 0
1.421 * [backup-simplify]: Simplify (* 4.0 (pow b 2)) into (* 4.0 (pow b 2))
1.422 * [backup-simplify]: Simplify (* 4.0 (* (/ 1 b) (/ 1 b))) into (/ 4.0 (pow b 2))
1.422 * [approximate]: Taking taylor expansion of (/ 4.0 (pow b 2)) in (b) around 0
1.422 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b
1.422 * [taylor]: Taking taylor expansion of 4.0 in b
1.422 * [backup-simplify]: Simplify 4.0 into 4.0
1.422 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.422 * [taylor]: Taking taylor expansion of b in b
1.422 * [backup-simplify]: Simplify 0 into 0
1.422 * [backup-simplify]: Simplify 1 into 1
1.422 * [backup-simplify]: Simplify (* 1 1) into 1
1.423 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
1.423 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b
1.423 * [taylor]: Taking taylor expansion of 4.0 in b
1.423 * [backup-simplify]: Simplify 4.0 into 4.0
1.423 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.423 * [taylor]: Taking taylor expansion of b in b
1.423 * [backup-simplify]: Simplify 0 into 0
1.423 * [backup-simplify]: Simplify 1 into 1
1.423 * [backup-simplify]: Simplify (* 1 1) into 1
1.424 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
1.424 * [backup-simplify]: Simplify 4.0 into 4.0
1.425 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
1.426 * [backup-simplify]: Simplify 0 into 0
1.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.427 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.428 * [backup-simplify]: Simplify 0 into 0
1.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.430 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.430 * [backup-simplify]: Simplify 0 into 0
1.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.432 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.432 * [backup-simplify]: Simplify 0 into 0
1.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.434 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.435 * [backup-simplify]: Simplify 0 into 0
1.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.437 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.437 * [backup-simplify]: Simplify 0 into 0
1.438 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 (/ 1 b)) 2)) into (* 4.0 (pow b 2))
1.438 * [backup-simplify]: Simplify (* 4.0 (* (/ 1 (- b)) (/ 1 (- b)))) into (/ 4.0 (pow b 2))
1.438 * [approximate]: Taking taylor expansion of (/ 4.0 (pow b 2)) in (b) around 0
1.438 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b
1.438 * [taylor]: Taking taylor expansion of 4.0 in b
1.438 * [backup-simplify]: Simplify 4.0 into 4.0
1.438 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.438 * [taylor]: Taking taylor expansion of b in b
1.438 * [backup-simplify]: Simplify 0 into 0
1.438 * [backup-simplify]: Simplify 1 into 1
1.438 * [backup-simplify]: Simplify (* 1 1) into 1
1.439 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
1.439 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b
1.439 * [taylor]: Taking taylor expansion of 4.0 in b
1.439 * [backup-simplify]: Simplify 4.0 into 4.0
1.439 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.439 * [taylor]: Taking taylor expansion of b in b
1.439 * [backup-simplify]: Simplify 0 into 0
1.439 * [backup-simplify]: Simplify 1 into 1
1.439 * [backup-simplify]: Simplify (* 1 1) into 1
1.440 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
1.440 * [backup-simplify]: Simplify 4.0 into 4.0
1.441 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.442 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
1.442 * [backup-simplify]: Simplify 0 into 0
1.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.444 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.444 * [backup-simplify]: Simplify 0 into 0
1.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.446 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.446 * [backup-simplify]: Simplify 0 into 0
1.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.448 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.448 * [backup-simplify]: Simplify 0 into 0
1.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.451 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.451 * [backup-simplify]: Simplify 0 into 0
1.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.454 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.454 * [backup-simplify]: Simplify 0 into 0
1.454 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 (/ 1 (- b))) 2)) into (* 4.0 (pow b 2))
1.454 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.455 * [backup-simplify]: Simplify (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) into (+ (pow a 4) (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))))
1.455 * [approximate]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in (a b) around 0
1.455 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in b
1.455 * [taylor]: Taking taylor expansion of (pow a 4) in b
1.455 * [taylor]: Taking taylor expansion of a in b
1.455 * [backup-simplify]: Simplify a into a
1.455 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in b
1.455 * [taylor]: Taking taylor expansion of (pow b 4) in b
1.455 * [taylor]: Taking taylor expansion of b in b
1.455 * [backup-simplify]: Simplify 0 into 0
1.455 * [backup-simplify]: Simplify 1 into 1
1.455 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in b
1.455 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b
1.455 * [taylor]: Taking taylor expansion of 4.0 in b
1.455 * [backup-simplify]: Simplify 4.0 into 4.0
1.455 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.455 * [taylor]: Taking taylor expansion of b in b
1.455 * [backup-simplify]: Simplify 0 into 0
1.455 * [backup-simplify]: Simplify 1 into 1
1.455 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b
1.455 * [taylor]: Taking taylor expansion of 2 in b
1.455 * [backup-simplify]: Simplify 2 into 2
1.455 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
1.455 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.456 * [taylor]: Taking taylor expansion of a in b
1.456 * [backup-simplify]: Simplify a into a
1.456 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.456 * [taylor]: Taking taylor expansion of b in b
1.456 * [backup-simplify]: Simplify 0 into 0
1.456 * [backup-simplify]: Simplify 1 into 1
1.456 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in a
1.456 * [taylor]: Taking taylor expansion of (pow a 4) in a
1.456 * [taylor]: Taking taylor expansion of a in a
1.456 * [backup-simplify]: Simplify 0 into 0
1.456 * [backup-simplify]: Simplify 1 into 1
1.456 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in a
1.456 * [taylor]: Taking taylor expansion of (pow b 4) in a
1.456 * [taylor]: Taking taylor expansion of b in a
1.456 * [backup-simplify]: Simplify b into b
1.456 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in a
1.456 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in a
1.456 * [taylor]: Taking taylor expansion of 4.0 in a
1.456 * [backup-simplify]: Simplify 4.0 into 4.0
1.456 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.456 * [taylor]: Taking taylor expansion of b in a
1.456 * [backup-simplify]: Simplify b into b
1.456 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a
1.456 * [taylor]: Taking taylor expansion of 2 in a
1.456 * [backup-simplify]: Simplify 2 into 2
1.456 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
1.456 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.456 * [taylor]: Taking taylor expansion of a in a
1.456 * [backup-simplify]: Simplify 0 into 0
1.456 * [backup-simplify]: Simplify 1 into 1
1.456 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.456 * [taylor]: Taking taylor expansion of b in a
1.456 * [backup-simplify]: Simplify b into b
1.456 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in a
1.457 * [taylor]: Taking taylor expansion of (pow a 4) in a
1.457 * [taylor]: Taking taylor expansion of a in a
1.457 * [backup-simplify]: Simplify 0 into 0
1.457 * [backup-simplify]: Simplify 1 into 1
1.457 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in a
1.457 * [taylor]: Taking taylor expansion of (pow b 4) in a
1.457 * [taylor]: Taking taylor expansion of b in a
1.457 * [backup-simplify]: Simplify b into b
1.457 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in a
1.457 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in a
1.457 * [taylor]: Taking taylor expansion of 4.0 in a
1.457 * [backup-simplify]: Simplify 4.0 into 4.0
1.457 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.457 * [taylor]: Taking taylor expansion of b in a
1.457 * [backup-simplify]: Simplify b into b
1.457 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a
1.457 * [taylor]: Taking taylor expansion of 2 in a
1.457 * [backup-simplify]: Simplify 2 into 2
1.457 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
1.457 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.457 * [taylor]: Taking taylor expansion of a in a
1.457 * [backup-simplify]: Simplify 0 into 0
1.457 * [backup-simplify]: Simplify 1 into 1
1.457 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.457 * [taylor]: Taking taylor expansion of b in a
1.457 * [backup-simplify]: Simplify b into b
1.457 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.458 * [backup-simplify]: Simplify (* (pow b 2) (pow b 2)) into (pow b 4)
1.458 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.458 * [backup-simplify]: Simplify (* 4.0 (pow b 2)) into (* 4.0 (pow b 2))
1.458 * [backup-simplify]: Simplify (+ (* 4.0 (pow b 2)) 0) into (* 4.0 (pow b 2))
1.458 * [backup-simplify]: Simplify (+ (pow b 4) (* 4.0 (pow b 2))) into (+ (pow b 4) (* 4.0 (pow b 2)))
1.459 * [backup-simplify]: Simplify (+ 0 (+ (pow b 4) (* 4.0 (pow b 2)))) into (+ (pow b 4) (* 4.0 (pow b 2)))
1.459 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 4.0 (pow b 2))) in b
1.459 * [taylor]: Taking taylor expansion of (pow b 4) in b
1.459 * [taylor]: Taking taylor expansion of b in b
1.459 * [backup-simplify]: Simplify 0 into 0
1.459 * [backup-simplify]: Simplify 1 into 1
1.459 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b
1.459 * [taylor]: Taking taylor expansion of 4.0 in b
1.459 * [backup-simplify]: Simplify 4.0 into 4.0
1.459 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.459 * [taylor]: Taking taylor expansion of b in b
1.459 * [backup-simplify]: Simplify 0 into 0
1.459 * [backup-simplify]: Simplify 1 into 1
1.459 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
1.460 * [backup-simplify]: Simplify (+ (* (pow b 2) 0) (* 0 (pow b 2))) into 0
1.460 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
1.460 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (pow b 2))) into 0
1.461 * [backup-simplify]: Simplify (+ 0 0) into 0
1.461 * [backup-simplify]: Simplify (+ 0 0) into 0
1.461 * [backup-simplify]: Simplify (+ 0 0) into 0
1.462 * [taylor]: Taking taylor expansion of 0 in b
1.462 * [backup-simplify]: Simplify 0 into 0
1.462 * [backup-simplify]: Simplify 0 into 0
1.462 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
1.463 * [backup-simplify]: Simplify (+ (* (pow b 2) 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
1.463 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
1.464 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
1.464 * [backup-simplify]: Simplify (* 1 1) into 1
1.465 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.465 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
1.465 * [backup-simplify]: Simplify (* 2 (pow b 2)) into (* 2 (pow b 2))
1.465 * [backup-simplify]: Simplify (+ 0 (* 2 (pow b 2))) into (* 2 (pow b 2))
1.465 * [backup-simplify]: Simplify (+ 0 (* 2 (pow b 2))) into (* 2 (pow b 2))
1.465 * [backup-simplify]: Simplify (+ 0 (* 2 (pow b 2))) into (* 2 (pow b 2))
1.465 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b
1.466 * [taylor]: Taking taylor expansion of 2 in b
1.466 * [backup-simplify]: Simplify 2 into 2
1.466 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.466 * [taylor]: Taking taylor expansion of b in b
1.466 * [backup-simplify]: Simplify 0 into 0
1.466 * [backup-simplify]: Simplify 1 into 1
1.466 * [backup-simplify]: Simplify 0 into 0
1.466 * [backup-simplify]: Simplify (* 1 1) into 1
1.467 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
1.467 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
1.467 * [backup-simplify]: Simplify 4.0 into 4.0
1.468 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
1.469 * [backup-simplify]: Simplify (+ (* (pow b 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
1.470 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
1.471 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
1.471 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
1.472 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.472 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
1.473 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (pow b 2))) into 0
1.473 * [backup-simplify]: Simplify (+ 0 0) into 0
1.474 * [backup-simplify]: Simplify (+ 0 0) into 0
1.474 * [backup-simplify]: Simplify (+ 0 0) into 0
1.474 * [taylor]: Taking taylor expansion of 0 in b
1.474 * [backup-simplify]: Simplify 0 into 0
1.474 * [backup-simplify]: Simplify 0 into 0
1.474 * [backup-simplify]: Simplify 0 into 0
1.475 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.476 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
1.476 * [backup-simplify]: Simplify (+ 0 0) into 0
1.476 * [backup-simplify]: Simplify 0 into 0
1.476 * [backup-simplify]: Simplify (* 1 1) into 1
1.477 * [backup-simplify]: Simplify (* 1 1) into 1
1.478 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
1.479 * [backup-simplify]: Simplify (+ (* (pow b 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0
1.480 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
1.482 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0
1.483 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
1.483 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
1.485 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
1.486 * [backup-simplify]: Simplify (+ 0 0) into 0
1.486 * [backup-simplify]: Simplify (+ 0 0) into 0
1.487 * [backup-simplify]: Simplify (+ 1 0) into 1
1.487 * [taylor]: Taking taylor expansion of 1 in b
1.487 * [backup-simplify]: Simplify 1 into 1
1.487 * [backup-simplify]: Simplify 1 into 1
1.487 * [backup-simplify]: Simplify 0 into 0
1.487 * [backup-simplify]: Simplify (* 1 1) into 1
1.487 * [backup-simplify]: Simplify (* 2 1) into 2
1.487 * [backup-simplify]: Simplify 2 into 2
1.488 * [backup-simplify]: Simplify (+ (* 2 (pow (* b a) 2)) (+ (* 1 (pow (* 1 a) 4)) (* 4.0 (pow (* b 1) 2)))) into (+ (pow a 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))
1.488 * [backup-simplify]: Simplify (+ (pow (+ (* (/ 1 a) (/ 1 a)) (* (/ 1 b) (/ 1 b))) 2.0) (* 4.0 (* (/ 1 b) (/ 1 b)))) into (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))))
1.488 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in (a b) around 0
1.488 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in b
1.488 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b
1.488 * [taylor]: Taking taylor expansion of 2 in b
1.488 * [backup-simplify]: Simplify 2 into 2
1.488 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b
1.488 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
1.488 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.488 * [taylor]: Taking taylor expansion of a in b
1.488 * [backup-simplify]: Simplify a into a
1.488 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.488 * [taylor]: Taking taylor expansion of b in b
1.488 * [backup-simplify]: Simplify 0 into 0
1.488 * [backup-simplify]: Simplify 1 into 1
1.489 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.489 * [backup-simplify]: Simplify (* 1 1) into 1
1.489 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
1.489 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1.489 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b
1.489 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b
1.489 * [taylor]: Taking taylor expansion of 4.0 in b
1.489 * [backup-simplify]: Simplify 4.0 into 4.0
1.489 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.489 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.489 * [taylor]: Taking taylor expansion of b in b
1.489 * [backup-simplify]: Simplify 0 into 0
1.489 * [backup-simplify]: Simplify 1 into 1
1.489 * [backup-simplify]: Simplify (* 1 1) into 1
1.490 * [backup-simplify]: Simplify (/ 1 1) into 1
1.490 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b
1.490 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b
1.490 * [taylor]: Taking taylor expansion of (pow a 4) in b
1.490 * [taylor]: Taking taylor expansion of a in b
1.490 * [backup-simplify]: Simplify a into a
1.490 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.490 * [backup-simplify]: Simplify (* (pow a 2) (pow a 2)) into (pow a 4)
1.490 * [backup-simplify]: Simplify (/ 1 (pow a 4)) into (/ 1 (pow a 4))
1.490 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b
1.490 * [taylor]: Taking taylor expansion of (pow b 4) in b
1.490 * [taylor]: Taking taylor expansion of b in b
1.490 * [backup-simplify]: Simplify 0 into 0
1.490 * [backup-simplify]: Simplify 1 into 1
1.490 * [backup-simplify]: Simplify (* 1 1) into 1
1.491 * [backup-simplify]: Simplify (* 1 1) into 1
1.491 * [backup-simplify]: Simplify (/ 1 1) into 1
1.491 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a
1.491 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a
1.491 * [taylor]: Taking taylor expansion of 2 in a
1.491 * [backup-simplify]: Simplify 2 into 2
1.491 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
1.491 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
1.491 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.491 * [taylor]: Taking taylor expansion of a in a
1.491 * [backup-simplify]: Simplify 0 into 0
1.491 * [backup-simplify]: Simplify 1 into 1
1.491 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.491 * [taylor]: Taking taylor expansion of b in a
1.491 * [backup-simplify]: Simplify b into b
1.491 * [backup-simplify]: Simplify (* 1 1) into 1
1.491 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.491 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
1.492 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.492 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a
1.492 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a
1.492 * [taylor]: Taking taylor expansion of 4.0 in a
1.492 * [backup-simplify]: Simplify 4.0 into 4.0
1.492 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.492 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.492 * [taylor]: Taking taylor expansion of b in a
1.492 * [backup-simplify]: Simplify b into b
1.492 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.492 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.492 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a
1.492 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a
1.492 * [taylor]: Taking taylor expansion of (pow a 4) in a
1.492 * [taylor]: Taking taylor expansion of a in a
1.492 * [backup-simplify]: Simplify 0 into 0
1.492 * [backup-simplify]: Simplify 1 into 1
1.492 * [backup-simplify]: Simplify (* 1 1) into 1
1.492 * [backup-simplify]: Simplify (* 1 1) into 1
1.493 * [backup-simplify]: Simplify (/ 1 1) into 1
1.493 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a
1.493 * [taylor]: Taking taylor expansion of (pow b 4) in a
1.493 * [taylor]: Taking taylor expansion of b in a
1.493 * [backup-simplify]: Simplify b into b
1.493 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.493 * [backup-simplify]: Simplify (* (pow b 2) (pow b 2)) into (pow b 4)
1.493 * [backup-simplify]: Simplify (/ 1 (pow b 4)) into (/ 1 (pow b 4))
1.493 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a
1.493 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a
1.493 * [taylor]: Taking taylor expansion of 2 in a
1.493 * [backup-simplify]: Simplify 2 into 2
1.493 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
1.493 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
1.493 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.493 * [taylor]: Taking taylor expansion of a in a
1.493 * [backup-simplify]: Simplify 0 into 0
1.493 * [backup-simplify]: Simplify 1 into 1
1.493 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.493 * [taylor]: Taking taylor expansion of b in a
1.493 * [backup-simplify]: Simplify b into b
1.493 * [backup-simplify]: Simplify (* 1 1) into 1
1.494 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.494 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
1.494 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.494 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a
1.494 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a
1.494 * [taylor]: Taking taylor expansion of 4.0 in a
1.494 * [backup-simplify]: Simplify 4.0 into 4.0
1.494 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.494 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.494 * [taylor]: Taking taylor expansion of b in a
1.494 * [backup-simplify]: Simplify b into b
1.494 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.494 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.494 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a
1.494 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a
1.494 * [taylor]: Taking taylor expansion of (pow a 4) in a
1.494 * [taylor]: Taking taylor expansion of a in a
1.494 * [backup-simplify]: Simplify 0 into 0
1.494 * [backup-simplify]: Simplify 1 into 1
1.494 * [backup-simplify]: Simplify (* 1 1) into 1
1.495 * [backup-simplify]: Simplify (* 1 1) into 1
1.495 * [backup-simplify]: Simplify (/ 1 1) into 1
1.495 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a
1.495 * [taylor]: Taking taylor expansion of (pow b 4) in a
1.495 * [taylor]: Taking taylor expansion of b in a
1.495 * [backup-simplify]: Simplify b into b
1.495 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.495 * [backup-simplify]: Simplify (* (pow b 2) (pow b 2)) into (pow b 4)
1.495 * [backup-simplify]: Simplify (/ 1 (pow b 4)) into (/ 1 (pow b 4))
1.496 * [backup-simplify]: Simplify (+ 1 0) into 1
1.496 * [backup-simplify]: Simplify (+ 0 1) into 1
1.496 * [backup-simplify]: Simplify (+ 0 1) into 1
1.496 * [taylor]: Taking taylor expansion of 1 in b
1.496 * [backup-simplify]: Simplify 1 into 1
1.497 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.497 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.498 * [backup-simplify]: Simplify (+ 0 0) into 0
1.498 * [backup-simplify]: Simplify (+ 0 0) into 0
1.498 * [backup-simplify]: Simplify (+ 0 0) into 0
1.498 * [taylor]: Taking taylor expansion of 0 in b
1.498 * [backup-simplify]: Simplify 0 into 0
1.498 * [backup-simplify]: Simplify (* 2 (/ 1 (pow b 2))) into (/ 2 (pow b 2))
1.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.500 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.500 * [backup-simplify]: Simplify (+ 0 0) into 0
1.500 * [backup-simplify]: Simplify (+ 0 0) into 0
1.501 * [backup-simplify]: Simplify (+ (/ 2 (pow b 2)) 0) into (* 2 (/ 1 (pow b 2)))
1.501 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b
1.501 * [taylor]: Taking taylor expansion of 2 in b
1.501 * [backup-simplify]: Simplify 2 into 2
1.501 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.501 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.501 * [taylor]: Taking taylor expansion of b in b
1.501 * [backup-simplify]: Simplify 0 into 0
1.501 * [backup-simplify]: Simplify 1 into 1
1.501 * [backup-simplify]: Simplify (* 1 1) into 1
1.501 * [backup-simplify]: Simplify (/ 1 1) into 1
1.501 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
1.502 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.502 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
1.502 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
1.503 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 (pow b 2)))) into 0
1.503 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.505 * [backup-simplify]: Simplify (+ 0 0) into 0
1.505 * [backup-simplify]: Simplify (+ 0 0) into 0
1.505 * [backup-simplify]: Simplify (+ 0 0) into 0
1.505 * [taylor]: Taking taylor expansion of 0 in b
1.505 * [backup-simplify]: Simplify 0 into 0
1.506 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
1.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
1.507 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
1.508 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 (pow b 2))))) into 0
1.508 * [backup-simplify]: Simplify (* 4.0 (/ 1 (pow b 2))) into (/ 4.0 (pow b 2))
1.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.510 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 4))) into (/ 1 (pow b 4))
1.510 * [backup-simplify]: Simplify (+ (/ 4.0 (pow b 2)) (/ 1 (pow b 4))) into (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))
1.510 * [backup-simplify]: Simplify (+ 0 (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))) into (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))
1.510 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b
1.510 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b
1.510 * [taylor]: Taking taylor expansion of 4.0 in b
1.510 * [backup-simplify]: Simplify 4.0 into 4.0
1.510 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.510 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.510 * [taylor]: Taking taylor expansion of b in b
1.510 * [backup-simplify]: Simplify 0 into 0
1.511 * [backup-simplify]: Simplify 1 into 1
1.511 * [backup-simplify]: Simplify (* 1 1) into 1
1.511 * [backup-simplify]: Simplify (/ 1 1) into 1
1.511 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b
1.511 * [taylor]: Taking taylor expansion of (pow b 4) in b
1.511 * [taylor]: Taking taylor expansion of b in b
1.511 * [backup-simplify]: Simplify 0 into 0
1.511 * [backup-simplify]: Simplify 1 into 1
1.511 * [backup-simplify]: Simplify (* 1 1) into 1
1.512 * [backup-simplify]: Simplify (* 1 1) into 1
1.512 * [backup-simplify]: Simplify (/ 1 1) into 1
1.512 * [backup-simplify]: Simplify (+ 0 1) into 1
1.512 * [backup-simplify]: Simplify 1 into 1
1.512 * [backup-simplify]: Simplify (* 2 1) into 2
1.512 * [backup-simplify]: Simplify 2 into 2
1.512 * [backup-simplify]: Simplify 1 into 1
1.513 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 a))) 4)) (+ (* 2 (pow (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))) 2)) (* 1 (pow (* (/ 1 (/ 1 b)) 1) 4)))) into (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))
1.513 * [backup-simplify]: Simplify (+ (pow (+ (* (/ 1 (- a)) (/ 1 (- a))) (* (/ 1 (- b)) (/ 1 (- b)))) 2.0) (* 4.0 (* (/ 1 (- b)) (/ 1 (- b))))) into (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))))
1.513 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in (a b) around 0
1.514 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in b
1.514 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b
1.514 * [taylor]: Taking taylor expansion of 2 in b
1.514 * [backup-simplify]: Simplify 2 into 2
1.514 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b
1.514 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
1.514 * [taylor]: Taking taylor expansion of (pow a 2) in b
1.514 * [taylor]: Taking taylor expansion of a in b
1.514 * [backup-simplify]: Simplify a into a
1.514 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.514 * [taylor]: Taking taylor expansion of b in b
1.514 * [backup-simplify]: Simplify 0 into 0
1.514 * [backup-simplify]: Simplify 1 into 1
1.514 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.514 * [backup-simplify]: Simplify (* 1 1) into 1
1.514 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
1.514 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
1.514 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b
1.514 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b
1.514 * [taylor]: Taking taylor expansion of 4.0 in b
1.514 * [backup-simplify]: Simplify 4.0 into 4.0
1.514 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.514 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.514 * [taylor]: Taking taylor expansion of b in b
1.514 * [backup-simplify]: Simplify 0 into 0
1.514 * [backup-simplify]: Simplify 1 into 1
1.515 * [backup-simplify]: Simplify (* 1 1) into 1
1.515 * [backup-simplify]: Simplify (/ 1 1) into 1
1.515 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b
1.515 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b
1.515 * [taylor]: Taking taylor expansion of (pow a 4) in b
1.515 * [taylor]: Taking taylor expansion of a in b
1.515 * [backup-simplify]: Simplify a into a
1.515 * [backup-simplify]: Simplify (* a a) into (pow a 2)
1.515 * [backup-simplify]: Simplify (* (pow a 2) (pow a 2)) into (pow a 4)
1.515 * [backup-simplify]: Simplify (/ 1 (pow a 4)) into (/ 1 (pow a 4))
1.515 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b
1.515 * [taylor]: Taking taylor expansion of (pow b 4) in b
1.515 * [taylor]: Taking taylor expansion of b in b
1.515 * [backup-simplify]: Simplify 0 into 0
1.515 * [backup-simplify]: Simplify 1 into 1
1.516 * [backup-simplify]: Simplify (* 1 1) into 1
1.516 * [backup-simplify]: Simplify (* 1 1) into 1
1.516 * [backup-simplify]: Simplify (/ 1 1) into 1
1.516 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a
1.516 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a
1.516 * [taylor]: Taking taylor expansion of 2 in a
1.516 * [backup-simplify]: Simplify 2 into 2
1.516 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
1.516 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
1.516 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.516 * [taylor]: Taking taylor expansion of a in a
1.516 * [backup-simplify]: Simplify 0 into 0
1.516 * [backup-simplify]: Simplify 1 into 1
1.516 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.516 * [taylor]: Taking taylor expansion of b in a
1.516 * [backup-simplify]: Simplify b into b
1.517 * [backup-simplify]: Simplify (* 1 1) into 1
1.517 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.517 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
1.517 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.517 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a
1.517 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a
1.517 * [taylor]: Taking taylor expansion of 4.0 in a
1.517 * [backup-simplify]: Simplify 4.0 into 4.0
1.517 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.517 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.517 * [taylor]: Taking taylor expansion of b in a
1.517 * [backup-simplify]: Simplify b into b
1.517 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.517 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.517 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a
1.517 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a
1.517 * [taylor]: Taking taylor expansion of (pow a 4) in a
1.517 * [taylor]: Taking taylor expansion of a in a
1.517 * [backup-simplify]: Simplify 0 into 0
1.517 * [backup-simplify]: Simplify 1 into 1
1.517 * [backup-simplify]: Simplify (* 1 1) into 1
1.518 * [backup-simplify]: Simplify (* 1 1) into 1
1.518 * [backup-simplify]: Simplify (/ 1 1) into 1
1.518 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a
1.518 * [taylor]: Taking taylor expansion of (pow b 4) in a
1.518 * [taylor]: Taking taylor expansion of b in a
1.518 * [backup-simplify]: Simplify b into b
1.518 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.518 * [backup-simplify]: Simplify (* (pow b 2) (pow b 2)) into (pow b 4)
1.518 * [backup-simplify]: Simplify (/ 1 (pow b 4)) into (/ 1 (pow b 4))
1.518 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a
1.518 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a
1.518 * [taylor]: Taking taylor expansion of 2 in a
1.518 * [backup-simplify]: Simplify 2 into 2
1.518 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
1.518 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
1.518 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.518 * [taylor]: Taking taylor expansion of a in a
1.518 * [backup-simplify]: Simplify 0 into 0
1.518 * [backup-simplify]: Simplify 1 into 1
1.518 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.518 * [taylor]: Taking taylor expansion of b in a
1.518 * [backup-simplify]: Simplify b into b
1.519 * [backup-simplify]: Simplify (* 1 1) into 1
1.519 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.519 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
1.519 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.519 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a
1.519 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a
1.519 * [taylor]: Taking taylor expansion of 4.0 in a
1.519 * [backup-simplify]: Simplify 4.0 into 4.0
1.519 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
1.519 * [taylor]: Taking taylor expansion of (pow b 2) in a
1.519 * [taylor]: Taking taylor expansion of b in a
1.519 * [backup-simplify]: Simplify b into b
1.519 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.519 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
1.519 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a
1.519 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a
1.519 * [taylor]: Taking taylor expansion of (pow a 4) in a
1.519 * [taylor]: Taking taylor expansion of a in a
1.519 * [backup-simplify]: Simplify 0 into 0
1.519 * [backup-simplify]: Simplify 1 into 1
1.520 * [backup-simplify]: Simplify (* 1 1) into 1
1.520 * [backup-simplify]: Simplify (* 1 1) into 1
1.520 * [backup-simplify]: Simplify (/ 1 1) into 1
1.520 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a
1.520 * [taylor]: Taking taylor expansion of (pow b 4) in a
1.520 * [taylor]: Taking taylor expansion of b in a
1.520 * [backup-simplify]: Simplify b into b
1.520 * [backup-simplify]: Simplify (* b b) into (pow b 2)
1.520 * [backup-simplify]: Simplify (* (pow b 2) (pow b 2)) into (pow b 4)
1.520 * [backup-simplify]: Simplify (/ 1 (pow b 4)) into (/ 1 (pow b 4))
1.521 * [backup-simplify]: Simplify (+ 1 0) into 1
1.521 * [backup-simplify]: Simplify (+ 0 1) into 1
1.521 * [backup-simplify]: Simplify (+ 0 1) into 1
1.521 * [taylor]: Taking taylor expansion of 1 in b
1.521 * [backup-simplify]: Simplify 1 into 1
1.522 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.523 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.524 * [backup-simplify]: Simplify (+ 0 0) into 0
1.524 * [backup-simplify]: Simplify (+ 0 0) into 0
1.524 * [backup-simplify]: Simplify (+ 0 0) into 0
1.524 * [taylor]: Taking taylor expansion of 0 in b
1.524 * [backup-simplify]: Simplify 0 into 0
1.524 * [backup-simplify]: Simplify (* 2 (/ 1 (pow b 2))) into (/ 2 (pow b 2))
1.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.526 * [backup-simplify]: Simplify (+ 0 0) into 0
1.527 * [backup-simplify]: Simplify (+ 0 0) into 0
1.527 * [backup-simplify]: Simplify (+ (/ 2 (pow b 2)) 0) into (* 2 (/ 1 (pow b 2)))
1.527 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b
1.527 * [taylor]: Taking taylor expansion of 2 in b
1.527 * [backup-simplify]: Simplify 2 into 2
1.527 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.527 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.527 * [taylor]: Taking taylor expansion of b in b
1.527 * [backup-simplify]: Simplify 0 into 0
1.527 * [backup-simplify]: Simplify 1 into 1
1.527 * [backup-simplify]: Simplify (* 1 1) into 1
1.527 * [backup-simplify]: Simplify (/ 1 1) into 1
1.528 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
1.528 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.528 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
1.529 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
1.529 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 (pow b 2)))) into 0
1.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.531 * [backup-simplify]: Simplify (+ 0 0) into 0
1.531 * [backup-simplify]: Simplify (+ 0 0) into 0
1.531 * [backup-simplify]: Simplify (+ 0 0) into 0
1.531 * [taylor]: Taking taylor expansion of 0 in b
1.531 * [backup-simplify]: Simplify 0 into 0
1.532 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
1.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
1.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
1.534 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 (pow b 2))))) into 0
1.534 * [backup-simplify]: Simplify (* 4.0 (/ 1 (pow b 2))) into (/ 4.0 (pow b 2))
1.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.536 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow b 4))) into (/ 1 (pow b 4))
1.536 * [backup-simplify]: Simplify (+ (/ 4.0 (pow b 2)) (/ 1 (pow b 4))) into (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))
1.537 * [backup-simplify]: Simplify (+ 0 (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))) into (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))
1.537 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b
1.537 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b
1.537 * [taylor]: Taking taylor expansion of 4.0 in b
1.537 * [backup-simplify]: Simplify 4.0 into 4.0
1.537 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
1.537 * [taylor]: Taking taylor expansion of (pow b 2) in b
1.537 * [taylor]: Taking taylor expansion of b in b
1.537 * [backup-simplify]: Simplify 0 into 0
1.537 * [backup-simplify]: Simplify 1 into 1
1.537 * [backup-simplify]: Simplify (* 1 1) into 1
1.537 * [backup-simplify]: Simplify (/ 1 1) into 1
1.537 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b
1.537 * [taylor]: Taking taylor expansion of (pow b 4) in b
1.537 * [taylor]: Taking taylor expansion of b in b
1.537 * [backup-simplify]: Simplify 0 into 0
1.537 * [backup-simplify]: Simplify 1 into 1
1.538 * [backup-simplify]: Simplify (* 1 1) into 1
1.538 * [backup-simplify]: Simplify (* 1 1) into 1
1.538 * [backup-simplify]: Simplify (/ 1 1) into 1
1.538 * [backup-simplify]: Simplify (+ 0 1) into 1
1.538 * [backup-simplify]: Simplify 1 into 1
1.539 * [backup-simplify]: Simplify (* 2 1) into 2
1.539 * [backup-simplify]: Simplify 2 into 2
1.539 * [backup-simplify]: Simplify 1 into 1
1.539 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- a)))) 4)) (+ (* 2 (pow (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- b))) 1) 4)))) into (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))
1.539 * * * [progress]: simplifying candidates
1.540 * [simplify]: Simplifying:
  (* (log (+ (* a a) (* b b))) 2.0)
  (* (log (+ (* a a) (* b b))) 2.0)
  (* 1 2.0)
  (pow (+ (* a a) (* b b)) (* (cbrt 2.0) (cbrt 2.0)))
  (pow (+ (* a a) (* b b)) (sqrt 2.0))
  (pow (+ (* a a) (* b b)) 1)
  (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0)
  (pow (cbrt (+ (* a a) (* b b))) 2.0)
  (pow (sqrt (+ (* a a) (* b b))) 2.0)
  (pow (sqrt (+ (* a a) (* b b))) 2.0)
  (pow 1 2.0)
  (pow (+ (* a a) (* b b)) 2.0)
  (log (pow (+ (* a a) (* b b)) 2.0))
  (exp (pow (+ (* a a) (* b b)) 2.0))
  (* (cbrt (pow (+ (* a a) (* b b)) 2.0)) (cbrt (pow (+ (* a a) (* b b)) 2.0)))
  (cbrt (pow (+ (* a a) (* b b)) 2.0))
  (* (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) 2.0))
  (sqrt (pow (+ (* a a) (* b b)) 2.0))
  (sqrt (pow (+ (* a a) (* b b)) 2.0))
  (pow (+ (* a a) (* b b)) (/ 2.0 2))
  (pow (+ (* a a) (* b b)) (/ 2.0 2))
  (* 4.0 (* b b))
  (* 4.0 (* b b))
  (+ (log 4.0) (+ (log b) (log b)))
  (+ (log 4.0) (log (* b b)))
  (log (* 4.0 (* b b)))
  (exp (* 4.0 (* b b)))
  (* (* (* 4.0 4.0) 4.0) (* (* (* b b) b) (* (* b b) b)))
  (* (* (* 4.0 4.0) 4.0) (* (* (* b b) (* b b)) (* b b)))
  (* (cbrt (* 4.0 (* b b))) (cbrt (* 4.0 (* b b))))
  (cbrt (* 4.0 (* b b)))
  (* (* (* 4.0 (* b b)) (* 4.0 (* b b))) (* 4.0 (* b b)))
  (sqrt (* 4.0 (* b b)))
  (sqrt (* 4.0 (* b b)))
  (* (sqrt 4.0) b)
  (* (sqrt 4.0) b)
  (* 4.0 b)
  (* (cbrt 4.0) (* b b))
  (* (sqrt 4.0) (* b b))
  (* 4.0 (* b b))
  (* (exp (pow (+ (* a a) (* b b)) 2.0)) (exp (* 4.0 (* b b))))
  (log (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))
  (exp (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))
  (* (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))))
  (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))
  (* (* (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))
  (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))
  (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))
  (+ (pow (pow (+ (* a a) (* b b)) 2.0) 3) (pow (* 4.0 (* b b)) 3))
  (+ (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (- (* (* 4.0 (* b b)) (* 4.0 (* b b))) (* (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))))
  (- (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (* (* 4.0 (* b b)) (* 4.0 (* b b))))
  (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))
  (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2))))
  (pow (/ 1 a) -4.0)
  (pow (/ -1 a) -4.0)
  (* 4.0 (pow b 2))
  (* 4.0 (pow b 2))
  (* 4.0 (pow b 2))
  (+ (pow a 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))
  (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))
  (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))
3.231 * * * [progress]: adding candidates to table
3.455 * * [progress]: iteration 2 / 4
3.455 * * * [progress]: picking best candidate
3.461 * * * * [pick]: Picked  #<alt (λ (a b) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0))>
3.461 * * * [progress]: localizing error
3.476 * * * [progress]: generating rewritten candidates
3.476 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2 2 2)
3.494 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 2 2)
3.545 * * * [progress]: generating series expansions
3.545 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2 2 2)
3.546 * [backup-simplify]: Simplify (* (pow a 2) (pow b 2)) into (* (pow a 2) (pow b 2))
3.546 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in (a b) around 0
3.546 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
3.546 * [taylor]: Taking taylor expansion of (pow a 2) in b
3.546 * [taylor]: Taking taylor expansion of a in b
3.546 * [backup-simplify]: Simplify a into a
3.546 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.546 * [taylor]: Taking taylor expansion of b in b
3.546 * [backup-simplify]: Simplify 0 into 0
3.546 * [backup-simplify]: Simplify 1 into 1
3.546 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
3.546 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.546 * [taylor]: Taking taylor expansion of a in a
3.546 * [backup-simplify]: Simplify 0 into 0
3.546 * [backup-simplify]: Simplify 1 into 1
3.546 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.546 * [taylor]: Taking taylor expansion of b in a
3.546 * [backup-simplify]: Simplify b into b
3.546 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
3.546 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.546 * [taylor]: Taking taylor expansion of a in a
3.546 * [backup-simplify]: Simplify 0 into 0
3.546 * [backup-simplify]: Simplify 1 into 1
3.546 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.546 * [taylor]: Taking taylor expansion of b in a
3.546 * [backup-simplify]: Simplify b into b
3.547 * [backup-simplify]: Simplify (* 1 1) into 1
3.547 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.547 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
3.547 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.547 * [taylor]: Taking taylor expansion of b in b
3.548 * [backup-simplify]: Simplify 0 into 0
3.548 * [backup-simplify]: Simplify 1 into 1
3.548 * [backup-simplify]: Simplify (* 1 1) into 1
3.548 * [backup-simplify]: Simplify 1 into 1
3.548 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
3.549 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.549 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
3.549 * [taylor]: Taking taylor expansion of 0 in b
3.549 * [backup-simplify]: Simplify 0 into 0
3.549 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.550 * [backup-simplify]: Simplify 0 into 0
3.550 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
3.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
3.552 * [taylor]: Taking taylor expansion of 0 in b
3.552 * [backup-simplify]: Simplify 0 into 0
3.552 * [backup-simplify]: Simplify 0 into 0
3.552 * [backup-simplify]: Simplify 0 into 0
3.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.553 * [backup-simplify]: Simplify 0 into 0
3.554 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
3.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
3.557 * [taylor]: Taking taylor expansion of 0 in b
3.557 * [backup-simplify]: Simplify 0 into 0
3.557 * [backup-simplify]: Simplify 0 into 0
3.557 * [backup-simplify]: Simplify (* 1 (pow (* b a) 2)) into (* (pow a 2) (pow b 2))
3.557 * [backup-simplify]: Simplify (* (pow (/ 1 a) 2) (pow (/ 1 b) 2)) into (/ 1 (* (pow a 2) (pow b 2)))
3.557 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (a b) around 0
3.557 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b
3.557 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
3.557 * [taylor]: Taking taylor expansion of (pow a 2) in b
3.557 * [taylor]: Taking taylor expansion of a in b
3.557 * [backup-simplify]: Simplify a into a
3.557 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.557 * [taylor]: Taking taylor expansion of b in b
3.557 * [backup-simplify]: Simplify 0 into 0
3.557 * [backup-simplify]: Simplify 1 into 1
3.558 * [backup-simplify]: Simplify (* a a) into (pow a 2)
3.558 * [backup-simplify]: Simplify (* 1 1) into 1
3.558 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
3.558 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
3.558 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
3.559 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
3.559 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.559 * [taylor]: Taking taylor expansion of a in a
3.559 * [backup-simplify]: Simplify 0 into 0
3.559 * [backup-simplify]: Simplify 1 into 1
3.559 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.559 * [taylor]: Taking taylor expansion of b in a
3.559 * [backup-simplify]: Simplify b into b
3.559 * [backup-simplify]: Simplify (* 1 1) into 1
3.559 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.559 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
3.559 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
3.559 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
3.560 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
3.560 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.560 * [taylor]: Taking taylor expansion of a in a
3.560 * [backup-simplify]: Simplify 0 into 0
3.560 * [backup-simplify]: Simplify 1 into 1
3.560 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.560 * [taylor]: Taking taylor expansion of b in a
3.560 * [backup-simplify]: Simplify b into b
3.560 * [backup-simplify]: Simplify (* 1 1) into 1
3.560 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.560 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
3.560 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
3.561 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.561 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.561 * [taylor]: Taking taylor expansion of b in b
3.561 * [backup-simplify]: Simplify 0 into 0
3.561 * [backup-simplify]: Simplify 1 into 1
3.561 * [backup-simplify]: Simplify (* 1 1) into 1
3.561 * [backup-simplify]: Simplify (/ 1 1) into 1
3.562 * [backup-simplify]: Simplify 1 into 1
3.562 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
3.562 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.563 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
3.563 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
3.563 * [taylor]: Taking taylor expansion of 0 in b
3.563 * [backup-simplify]: Simplify 0 into 0
3.564 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.565 * [backup-simplify]: Simplify 0 into 0
3.565 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
3.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
3.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
3.568 * [taylor]: Taking taylor expansion of 0 in b
3.568 * [backup-simplify]: Simplify 0 into 0
3.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.570 * [backup-simplify]: Simplify 0 into 0
3.571 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
3.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
3.573 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
3.574 * [taylor]: Taking taylor expansion of 0 in b
3.574 * [backup-simplify]: Simplify 0 into 0
3.574 * [backup-simplify]: Simplify 0 into 0
3.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.576 * [backup-simplify]: Simplify 0 into 0
3.577 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
3.578 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0
3.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
3.581 * [taylor]: Taking taylor expansion of 0 in b
3.581 * [backup-simplify]: Simplify 0 into 0
3.581 * [backup-simplify]: Simplify 0 into 0
3.581 * [backup-simplify]: Simplify 0 into 0
3.581 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))) 2)) into (* (pow a 2) (pow b 2))
3.581 * [backup-simplify]: Simplify (* (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2)) into (/ 1 (* (pow a 2) (pow b 2)))
3.581 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (a b) around 0
3.582 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b
3.582 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
3.582 * [taylor]: Taking taylor expansion of (pow a 2) in b
3.582 * [taylor]: Taking taylor expansion of a in b
3.582 * [backup-simplify]: Simplify a into a
3.582 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.582 * [taylor]: Taking taylor expansion of b in b
3.582 * [backup-simplify]: Simplify 0 into 0
3.582 * [backup-simplify]: Simplify 1 into 1
3.582 * [backup-simplify]: Simplify (* a a) into (pow a 2)
3.582 * [backup-simplify]: Simplify (* 1 1) into 1
3.582 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
3.583 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
3.583 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
3.583 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
3.583 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.583 * [taylor]: Taking taylor expansion of a in a
3.583 * [backup-simplify]: Simplify 0 into 0
3.583 * [backup-simplify]: Simplify 1 into 1
3.583 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.583 * [taylor]: Taking taylor expansion of b in a
3.583 * [backup-simplify]: Simplify b into b
3.583 * [backup-simplify]: Simplify (* 1 1) into 1
3.583 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.584 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
3.584 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
3.584 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
3.584 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
3.584 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.584 * [taylor]: Taking taylor expansion of a in a
3.584 * [backup-simplify]: Simplify 0 into 0
3.584 * [backup-simplify]: Simplify 1 into 1
3.584 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.584 * [taylor]: Taking taylor expansion of b in a
3.584 * [backup-simplify]: Simplify b into b
3.584 * [backup-simplify]: Simplify (* 1 1) into 1
3.584 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.585 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
3.585 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
3.585 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
3.585 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.585 * [taylor]: Taking taylor expansion of b in b
3.585 * [backup-simplify]: Simplify 0 into 0
3.585 * [backup-simplify]: Simplify 1 into 1
3.585 * [backup-simplify]: Simplify (* 1 1) into 1
3.586 * [backup-simplify]: Simplify (/ 1 1) into 1
3.586 * [backup-simplify]: Simplify 1 into 1
3.586 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
3.587 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.587 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
3.588 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
3.588 * [taylor]: Taking taylor expansion of 0 in b
3.588 * [backup-simplify]: Simplify 0 into 0
3.588 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.589 * [backup-simplify]: Simplify 0 into 0
3.590 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
3.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
3.592 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
3.592 * [taylor]: Taking taylor expansion of 0 in b
3.592 * [backup-simplify]: Simplify 0 into 0
3.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.594 * [backup-simplify]: Simplify 0 into 0
3.595 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
3.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
3.598 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
3.598 * [taylor]: Taking taylor expansion of 0 in b
3.598 * [backup-simplify]: Simplify 0 into 0
3.598 * [backup-simplify]: Simplify 0 into 0
3.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.600 * [backup-simplify]: Simplify 0 into 0
3.601 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
3.603 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0
3.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
3.605 * [taylor]: Taking taylor expansion of 0 in b
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify 0 into 0
3.605 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))) 2)) into (* (pow a 2) (pow b 2))
3.605 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 2 2)
3.606 * [backup-simplify]: Simplify (* 2 (* (pow a 2) (pow b 2))) into (* 2 (* (pow a 2) (pow b 2)))
3.606 * [approximate]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in (a b) around 0
3.606 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b
3.606 * [taylor]: Taking taylor expansion of 2 in b
3.606 * [backup-simplify]: Simplify 2 into 2
3.606 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
3.606 * [taylor]: Taking taylor expansion of (pow a 2) in b
3.606 * [taylor]: Taking taylor expansion of a in b
3.606 * [backup-simplify]: Simplify a into a
3.606 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.606 * [taylor]: Taking taylor expansion of b in b
3.606 * [backup-simplify]: Simplify 0 into 0
3.606 * [backup-simplify]: Simplify 1 into 1
3.606 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a
3.606 * [taylor]: Taking taylor expansion of 2 in a
3.606 * [backup-simplify]: Simplify 2 into 2
3.606 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
3.606 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.606 * [taylor]: Taking taylor expansion of a in a
3.606 * [backup-simplify]: Simplify 0 into 0
3.606 * [backup-simplify]: Simplify 1 into 1
3.606 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.606 * [taylor]: Taking taylor expansion of b in a
3.606 * [backup-simplify]: Simplify b into b
3.607 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a
3.607 * [taylor]: Taking taylor expansion of 2 in a
3.607 * [backup-simplify]: Simplify 2 into 2
3.607 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
3.607 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.607 * [taylor]: Taking taylor expansion of a in a
3.607 * [backup-simplify]: Simplify 0 into 0
3.607 * [backup-simplify]: Simplify 1 into 1
3.607 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.607 * [taylor]: Taking taylor expansion of b in a
3.607 * [backup-simplify]: Simplify b into b
3.607 * [backup-simplify]: Simplify (* 1 1) into 1
3.607 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.608 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
3.608 * [backup-simplify]: Simplify (* 2 (pow b 2)) into (* 2 (pow b 2))
3.608 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b
3.608 * [taylor]: Taking taylor expansion of 2 in b
3.608 * [backup-simplify]: Simplify 2 into 2
3.608 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.608 * [taylor]: Taking taylor expansion of b in b
3.608 * [backup-simplify]: Simplify 0 into 0
3.608 * [backup-simplify]: Simplify 1 into 1
3.609 * [backup-simplify]: Simplify (* 1 1) into 1
3.609 * [backup-simplify]: Simplify (* 2 1) into 2
3.609 * [backup-simplify]: Simplify 2 into 2
3.609 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
3.610 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.610 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
3.611 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (pow b 2))) into 0
3.611 * [taylor]: Taking taylor expansion of 0 in b
3.611 * [backup-simplify]: Simplify 0 into 0
3.611 * [backup-simplify]: Simplify 0 into 0
3.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.612 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
3.612 * [backup-simplify]: Simplify 0 into 0
3.613 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
3.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
3.615 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
3.616 * [taylor]: Taking taylor expansion of 0 in b
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 0 into 0
3.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.618 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
3.618 * [backup-simplify]: Simplify 0 into 0
3.618 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
3.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
3.622 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
3.622 * [taylor]: Taking taylor expansion of 0 in b
3.622 * [backup-simplify]: Simplify 0 into 0
3.622 * [backup-simplify]: Simplify 0 into 0
3.622 * [backup-simplify]: Simplify (* 2 (pow (* b a) 2)) into (* 2 (* (pow a 2) (pow b 2)))
3.623 * [backup-simplify]: Simplify (* 2 (* (pow (/ 1 a) 2) (pow (/ 1 b) 2))) into (/ 2 (* (pow a 2) (pow b 2)))
3.623 * [approximate]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0
3.623 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b
3.623 * [taylor]: Taking taylor expansion of 2 in b
3.623 * [backup-simplify]: Simplify 2 into 2
3.623 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
3.623 * [taylor]: Taking taylor expansion of (pow a 2) in b
3.623 * [taylor]: Taking taylor expansion of a in b
3.623 * [backup-simplify]: Simplify a into a
3.623 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.623 * [taylor]: Taking taylor expansion of b in b
3.623 * [backup-simplify]: Simplify 0 into 0
3.623 * [backup-simplify]: Simplify 1 into 1
3.623 * [backup-simplify]: Simplify (* a a) into (pow a 2)
3.624 * [backup-simplify]: Simplify (* 1 1) into 1
3.624 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
3.624 * [backup-simplify]: Simplify (/ 2 (pow a 2)) into (/ 2 (pow a 2))
3.624 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a
3.624 * [taylor]: Taking taylor expansion of 2 in a
3.624 * [backup-simplify]: Simplify 2 into 2
3.624 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
3.624 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.624 * [taylor]: Taking taylor expansion of a in a
3.624 * [backup-simplify]: Simplify 0 into 0
3.624 * [backup-simplify]: Simplify 1 into 1
3.624 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.624 * [taylor]: Taking taylor expansion of b in a
3.624 * [backup-simplify]: Simplify b into b
3.625 * [backup-simplify]: Simplify (* 1 1) into 1
3.625 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.625 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
3.625 * [backup-simplify]: Simplify (/ 2 (pow b 2)) into (/ 2 (pow b 2))
3.625 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a
3.625 * [taylor]: Taking taylor expansion of 2 in a
3.625 * [backup-simplify]: Simplify 2 into 2
3.625 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
3.625 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.625 * [taylor]: Taking taylor expansion of a in a
3.625 * [backup-simplify]: Simplify 0 into 0
3.625 * [backup-simplify]: Simplify 1 into 1
3.625 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.625 * [taylor]: Taking taylor expansion of b in a
3.625 * [backup-simplify]: Simplify b into b
3.626 * [backup-simplify]: Simplify (* 1 1) into 1
3.626 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.626 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
3.626 * [backup-simplify]: Simplify (/ 2 (pow b 2)) into (/ 2 (pow b 2))
3.626 * [taylor]: Taking taylor expansion of (/ 2 (pow b 2)) in b
3.626 * [taylor]: Taking taylor expansion of 2 in b
3.626 * [backup-simplify]: Simplify 2 into 2
3.626 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.626 * [taylor]: Taking taylor expansion of b in b
3.626 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify 1 into 1
3.627 * [backup-simplify]: Simplify (* 1 1) into 1
3.627 * [backup-simplify]: Simplify (/ 2 1) into 2
3.627 * [backup-simplify]: Simplify 2 into 2
3.627 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
3.628 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.629 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
3.629 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))))) into 0
3.629 * [taylor]: Taking taylor expansion of 0 in b
3.629 * [backup-simplify]: Simplify 0 into 0
3.630 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.631 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
3.631 * [backup-simplify]: Simplify 0 into 0
3.631 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
3.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
3.633 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
3.634 * [taylor]: Taking taylor expansion of 0 in b
3.634 * [backup-simplify]: Simplify 0 into 0
3.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.640 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
3.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
3.642 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
3.642 * [taylor]: Taking taylor expansion of 0 in b
3.642 * [backup-simplify]: Simplify 0 into 0
3.642 * [backup-simplify]: Simplify 0 into 0
3.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.643 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.643 * [backup-simplify]: Simplify 0 into 0
3.644 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
3.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0
3.646 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
3.646 * [taylor]: Taking taylor expansion of 0 in b
3.646 * [backup-simplify]: Simplify 0 into 0
3.646 * [backup-simplify]: Simplify 0 into 0
3.646 * [backup-simplify]: Simplify 0 into 0
3.646 * [backup-simplify]: Simplify (* 2 (pow (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))) 2)) into (* 2 (* (pow a 2) (pow b 2)))
3.647 * [backup-simplify]: Simplify (* 2 (* (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))) into (/ 2 (* (pow a 2) (pow b 2)))
3.647 * [approximate]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0
3.647 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b
3.647 * [taylor]: Taking taylor expansion of 2 in b
3.647 * [backup-simplify]: Simplify 2 into 2
3.647 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
3.647 * [taylor]: Taking taylor expansion of (pow a 2) in b
3.647 * [taylor]: Taking taylor expansion of a in b
3.647 * [backup-simplify]: Simplify a into a
3.647 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.647 * [taylor]: Taking taylor expansion of b in b
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 1 into 1
3.647 * [backup-simplify]: Simplify (* a a) into (pow a 2)
3.647 * [backup-simplify]: Simplify (* 1 1) into 1
3.647 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
3.647 * [backup-simplify]: Simplify (/ 2 (pow a 2)) into (/ 2 (pow a 2))
3.647 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a
3.647 * [taylor]: Taking taylor expansion of 2 in a
3.647 * [backup-simplify]: Simplify 2 into 2
3.647 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
3.647 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.647 * [taylor]: Taking taylor expansion of a in a
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 1 into 1
3.647 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.647 * [taylor]: Taking taylor expansion of b in a
3.647 * [backup-simplify]: Simplify b into b
3.648 * [backup-simplify]: Simplify (* 1 1) into 1
3.648 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.648 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
3.648 * [backup-simplify]: Simplify (/ 2 (pow b 2)) into (/ 2 (pow b 2))
3.648 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a
3.648 * [taylor]: Taking taylor expansion of 2 in a
3.648 * [backup-simplify]: Simplify 2 into 2
3.648 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
3.648 * [taylor]: Taking taylor expansion of (pow a 2) in a
3.648 * [taylor]: Taking taylor expansion of a in a
3.648 * [backup-simplify]: Simplify 0 into 0
3.648 * [backup-simplify]: Simplify 1 into 1
3.648 * [taylor]: Taking taylor expansion of (pow b 2) in a
3.648 * [taylor]: Taking taylor expansion of b in a
3.648 * [backup-simplify]: Simplify b into b
3.648 * [backup-simplify]: Simplify (* 1 1) into 1
3.648 * [backup-simplify]: Simplify (* b b) into (pow b 2)
3.649 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
3.649 * [backup-simplify]: Simplify (/ 2 (pow b 2)) into (/ 2 (pow b 2))
3.649 * [taylor]: Taking taylor expansion of (/ 2 (pow b 2)) in b
3.649 * [taylor]: Taking taylor expansion of 2 in b
3.649 * [backup-simplify]: Simplify 2 into 2
3.649 * [taylor]: Taking taylor expansion of (pow b 2) in b
3.649 * [taylor]: Taking taylor expansion of b in b
3.649 * [backup-simplify]: Simplify 0 into 0
3.649 * [backup-simplify]: Simplify 1 into 1
3.649 * [backup-simplify]: Simplify (* 1 1) into 1
3.649 * [backup-simplify]: Simplify (/ 2 1) into 2
3.649 * [backup-simplify]: Simplify 2 into 2
3.649 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
3.650 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.650 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
3.650 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))))) into 0
3.650 * [taylor]: Taking taylor expansion of 0 in b
3.650 * [backup-simplify]: Simplify 0 into 0
3.651 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)))) into 0
3.651 * [backup-simplify]: Simplify 0 into 0
3.652 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
3.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
3.653 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
3.653 * [taylor]: Taking taylor expansion of 0 in b
3.653 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.654 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.654 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
3.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
3.657 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
3.657 * [taylor]: Taking taylor expansion of 0 in b
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.658 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.658 * [backup-simplify]: Simplify 0 into 0
3.659 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
3.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0
3.661 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
3.661 * [taylor]: Taking taylor expansion of 0 in b
3.661 * [backup-simplify]: Simplify 0 into 0
3.661 * [backup-simplify]: Simplify 0 into 0
3.661 * [backup-simplify]: Simplify 0 into 0
3.661 * [backup-simplify]: Simplify (* 2 (pow (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))) 2)) into (* 2 (* (pow a 2) (pow b 2)))
3.661 * * * [progress]: simplifying candidates
3.662 * [simplify]: Simplifying:
  (* a b)
  (+ (* (log a) 2) (* (log b) 2))
  (+ (* (log a) 2) (* (log b) 2))
  (+ (* (log a) 2) (log (pow b 2)))
  (+ (* (log a) 2) (* (log b) 2))
  (+ (* (log a) 2) (* (log b) 2))
  (+ (* (log a) 2) (log (pow b 2)))
  (+ (log (pow a 2)) (* (log b) 2))
  (+ (log (pow a 2)) (* (log b) 2))
  (+ (log (pow a 2)) (log (pow b 2)))
  (log (* (pow a 2) (pow b 2)))
  (exp (* (pow a 2) (pow b 2)))
  (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow b 2) (pow b 2)) (pow b 2)))
  (* (cbrt (* (pow a 2) (pow b 2))) (cbrt (* (pow a 2) (pow b 2))))
  (cbrt (* (pow a 2) (pow b 2)))
  (* (* (* (pow a 2) (pow b 2)) (* (pow a 2) (pow b 2))) (* (pow a 2) (pow b 2)))
  (sqrt (* (pow a 2) (pow b 2)))
  (sqrt (* (pow a 2) (pow b 2)))
  (* (pow (sqrt a) 2) (pow (sqrt b) 2))
  (* (pow (sqrt a) 2) (pow (sqrt b) 2))
  (* (pow (sqrt a) 2) b)
  (* (pow (sqrt a) 2) b)
  (* (pow (sqrt a) 2) (sqrt (pow b 2)))
  (* (pow (sqrt a) 2) (sqrt (pow b 2)))
  (* (pow (sqrt a) 2) (pow b (/ 2 2)))
  (* (pow (sqrt a) 2) (pow b (/ 2 2)))
  (* a (pow (sqrt b) 2))
  (* a (pow (sqrt b) 2))
  (* a b)
  (* a b)
  (* a (sqrt (pow b 2)))
  (* a (sqrt (pow b 2)))
  (* a (pow b (/ 2 2)))
  (* a (pow b (/ 2 2)))
  (* (sqrt (pow a 2)) (pow (sqrt b) 2))
  (* (sqrt (pow a 2)) (pow (sqrt b) 2))
  (* (sqrt (pow a 2)) b)
  (* (sqrt (pow a 2)) b)
  (* (sqrt (pow a 2)) (sqrt (pow b 2)))
  (* (sqrt (pow a 2)) (sqrt (pow b 2)))
  (* (sqrt (pow a 2)) (pow b (/ 2 2)))
  (* (sqrt (pow a 2)) (pow b (/ 2 2)))
  (* (pow a (/ 2 2)) (pow (sqrt b) 2))
  (* (pow a (/ 2 2)) (pow (sqrt b) 2))
  (* (pow a (/ 2 2)) b)
  (* (pow a (/ 2 2)) b)
  (* (pow a (/ 2 2)) (sqrt (pow b 2)))
  (* (pow a (/ 2 2)) (sqrt (pow b 2)))
  (* (pow a (/ 2 2)) (pow b (/ 2 2)))
  (* (pow a (/ 2 2)) (pow b (/ 2 2)))
  (* (pow a 2) (pow (* (cbrt b) (cbrt b)) 2))
  (* (pow a 2) (pow (sqrt b) 2))
  (* (pow a 2) (pow 1 2))
  (* (pow a 2) b)
  (* (pow a 2) (* (cbrt (pow b 2)) (cbrt (pow b 2))))
  (* (pow a 2) (sqrt (pow b 2)))
  (* (pow a 2) 1)
  (* (pow a 2) (pow b (/ 2 2)))
  (* (pow (cbrt a) 2) (pow b 2))
  (* (pow (sqrt a) 2) (pow b 2))
  (* (pow a 2) (pow b 2))
  (* a (pow b 2))
  (* (cbrt (pow a 2)) (pow b 2))
  (* (sqrt (pow a 2)) (pow b 2))
  (* (pow a 2) (pow b 2))
  (* (pow a (/ 2 2)) (pow b 2))
  (* 2 (* (pow a 2) (pow b 2)))
  (+ (log 2) (+ (* (log a) 2) (* (log b) 2)))
  (+ (log 2) (+ (* (log a) 2) (* (log b) 2)))
  (+ (log 2) (+ (* (log a) 2) (log (pow b 2))))
  (+ (log 2) (+ (* (log a) 2) (* (log b) 2)))
  (+ (log 2) (+ (* (log a) 2) (* (log b) 2)))
  (+ (log 2) (+ (* (log a) 2) (log (pow b 2))))
  (+ (log 2) (+ (log (pow a 2)) (* (log b) 2)))
  (+ (log 2) (+ (log (pow a 2)) (* (log b) 2)))
  (+ (log 2) (+ (log (pow a 2)) (log (pow b 2))))
  (+ (log 2) (log (* (pow a 2) (pow b 2))))
  (log (* 2 (* (pow a 2) (pow b 2))))
  (exp (* 2 (* (pow a 2) (pow b 2))))
  (* (* (* 2 2) 2) (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow b 2) (pow b 2)) (pow b 2))))
  (* (* (* 2 2) 2) (* (* (* (pow a 2) (pow b 2)) (* (pow a 2) (pow b 2))) (* (pow a 2) (pow b 2))))
  (* (cbrt (* 2 (* (pow a 2) (pow b 2)))) (cbrt (* 2 (* (pow a 2) (pow b 2)))))
  (cbrt (* 2 (* (pow a 2) (pow b 2))))
  (* (* (* 2 (* (pow a 2) (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))) (* 2 (* (pow a 2) (pow b 2))))
  (sqrt (* 2 (* (pow a 2) (pow b 2))))
  (sqrt (* 2 (* (pow a 2) (pow b 2))))
  (* 2 (pow a 2))
  (* (cbrt 2) (* (pow a 2) (pow b 2)))
  (* (sqrt 2) (* (pow a 2) (pow b 2)))
  (* 2 (* (pow a 2) (pow b 2)))
  (* (pow a 2) (pow b 2))
  (* (pow a 2) (pow b 2))
  (* (pow a 2) (pow b 2))
  (* 2 (* (pow a 2) (pow b 2)))
  (* 2 (* (pow a 2) (pow b 2)))
  (* 2 (* (pow a 2) (pow b 2)))
4.268 * * * [progress]: adding candidates to table
4.505 * * [progress]: iteration 3 / 4
4.505 * * * [progress]: picking best candidate
4.508 * * * * [pick]: Picked  #<alt (λ (a b) (- (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b))) 1.0))>
4.508 * * * [progress]: localizing error
4.532 * * * [progress]: generating rewritten candidates
4.532 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2)
4.556 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
4.573 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
4.613 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
4.693 * * * [progress]: generating series expansions
4.694 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2)
4.694 * [backup-simplify]: Simplify (* (pow a 2) (pow b 2)) into (* (pow a 2) (pow b 2))
4.694 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in (a b) around 0
4.694 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
4.694 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.694 * [taylor]: Taking taylor expansion of a in b
4.694 * [backup-simplify]: Simplify a into a
4.694 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.694 * [taylor]: Taking taylor expansion of b in b
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify 1 into 1
4.694 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.694 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.694 * [taylor]: Taking taylor expansion of a in a
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify 1 into 1
4.694 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.694 * [taylor]: Taking taylor expansion of b in a
4.694 * [backup-simplify]: Simplify b into b
4.694 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.695 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.695 * [taylor]: Taking taylor expansion of a in a
4.695 * [backup-simplify]: Simplify 0 into 0
4.695 * [backup-simplify]: Simplify 1 into 1
4.695 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.695 * [taylor]: Taking taylor expansion of b in a
4.695 * [backup-simplify]: Simplify b into b
4.696 * [backup-simplify]: Simplify (* 1 1) into 1
4.696 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.696 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
4.696 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.696 * [taylor]: Taking taylor expansion of b in b
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [backup-simplify]: Simplify 1 into 1
4.697 * [backup-simplify]: Simplify (* 1 1) into 1
4.697 * [backup-simplify]: Simplify 1 into 1
4.697 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
4.697 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.698 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
4.698 * [taylor]: Taking taylor expansion of 0 in b
4.698 * [backup-simplify]: Simplify 0 into 0
4.698 * [backup-simplify]: Simplify 0 into 0
4.699 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.699 * [backup-simplify]: Simplify 0 into 0
4.699 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
4.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
4.701 * [taylor]: Taking taylor expansion of 0 in b
4.701 * [backup-simplify]: Simplify 0 into 0
4.701 * [backup-simplify]: Simplify 0 into 0
4.701 * [backup-simplify]: Simplify 0 into 0
4.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.702 * [backup-simplify]: Simplify 0 into 0
4.703 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
4.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
4.705 * [taylor]: Taking taylor expansion of 0 in b
4.705 * [backup-simplify]: Simplify 0 into 0
4.705 * [backup-simplify]: Simplify 0 into 0
4.706 * [backup-simplify]: Simplify (* 1 (pow (* b a) 2)) into (* (pow a 2) (pow b 2))
4.706 * [backup-simplify]: Simplify (* (pow (/ 1 a) 2) (pow (/ 1 b) 2)) into (/ 1 (* (pow a 2) (pow b 2)))
4.706 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (a b) around 0
4.706 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b
4.706 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
4.706 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.706 * [taylor]: Taking taylor expansion of a in b
4.706 * [backup-simplify]: Simplify a into a
4.706 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.706 * [taylor]: Taking taylor expansion of b in b
4.706 * [backup-simplify]: Simplify 0 into 0
4.706 * [backup-simplify]: Simplify 1 into 1
4.706 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.707 * [backup-simplify]: Simplify (* 1 1) into 1
4.707 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
4.707 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
4.707 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
4.707 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.707 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.707 * [taylor]: Taking taylor expansion of a in a
4.707 * [backup-simplify]: Simplify 0 into 0
4.707 * [backup-simplify]: Simplify 1 into 1
4.707 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.707 * [taylor]: Taking taylor expansion of b in a
4.707 * [backup-simplify]: Simplify b into b
4.707 * [backup-simplify]: Simplify (* 1 1) into 1
4.707 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.708 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
4.708 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
4.708 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
4.708 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.708 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.708 * [taylor]: Taking taylor expansion of a in a
4.708 * [backup-simplify]: Simplify 0 into 0
4.708 * [backup-simplify]: Simplify 1 into 1
4.708 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.708 * [taylor]: Taking taylor expansion of b in a
4.708 * [backup-simplify]: Simplify b into b
4.708 * [backup-simplify]: Simplify (* 1 1) into 1
4.708 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.709 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
4.709 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
4.709 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
4.709 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.709 * [taylor]: Taking taylor expansion of b in b
4.709 * [backup-simplify]: Simplify 0 into 0
4.709 * [backup-simplify]: Simplify 1 into 1
4.709 * [backup-simplify]: Simplify (* 1 1) into 1
4.710 * [backup-simplify]: Simplify (/ 1 1) into 1
4.710 * [backup-simplify]: Simplify 1 into 1
4.710 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
4.710 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.711 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
4.711 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
4.711 * [taylor]: Taking taylor expansion of 0 in b
4.711 * [backup-simplify]: Simplify 0 into 0
4.712 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.713 * [backup-simplify]: Simplify 0 into 0
4.714 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
4.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
4.716 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
4.716 * [taylor]: Taking taylor expansion of 0 in b
4.716 * [backup-simplify]: Simplify 0 into 0
4.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.717 * [backup-simplify]: Simplify 0 into 0
4.717 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
4.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
4.719 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
4.719 * [taylor]: Taking taylor expansion of 0 in b
4.719 * [backup-simplify]: Simplify 0 into 0
4.719 * [backup-simplify]: Simplify 0 into 0
4.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.720 * [backup-simplify]: Simplify 0 into 0
4.721 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
4.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0
4.723 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
4.723 * [taylor]: Taking taylor expansion of 0 in b
4.723 * [backup-simplify]: Simplify 0 into 0
4.723 * [backup-simplify]: Simplify 0 into 0
4.723 * [backup-simplify]: Simplify 0 into 0
4.723 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))) 2)) into (* (pow a 2) (pow b 2))
4.723 * [backup-simplify]: Simplify (* (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2)) into (/ 1 (* (pow a 2) (pow b 2)))
4.723 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (a b) around 0
4.723 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b
4.723 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
4.723 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.724 * [taylor]: Taking taylor expansion of a in b
4.724 * [backup-simplify]: Simplify a into a
4.724 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.724 * [taylor]: Taking taylor expansion of b in b
4.724 * [backup-simplify]: Simplify 0 into 0
4.724 * [backup-simplify]: Simplify 1 into 1
4.724 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.724 * [backup-simplify]: Simplify (* 1 1) into 1
4.724 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
4.724 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
4.724 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
4.724 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.724 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.724 * [taylor]: Taking taylor expansion of a in a
4.724 * [backup-simplify]: Simplify 0 into 0
4.724 * [backup-simplify]: Simplify 1 into 1
4.724 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.724 * [taylor]: Taking taylor expansion of b in a
4.724 * [backup-simplify]: Simplify b into b
4.724 * [backup-simplify]: Simplify (* 1 1) into 1
4.725 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.725 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
4.725 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
4.725 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
4.725 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.725 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.725 * [taylor]: Taking taylor expansion of a in a
4.725 * [backup-simplify]: Simplify 0 into 0
4.725 * [backup-simplify]: Simplify 1 into 1
4.725 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.725 * [taylor]: Taking taylor expansion of b in a
4.725 * [backup-simplify]: Simplify b into b
4.725 * [backup-simplify]: Simplify (* 1 1) into 1
4.725 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.725 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
4.725 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
4.725 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
4.725 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.725 * [taylor]: Taking taylor expansion of b in b
4.725 * [backup-simplify]: Simplify 0 into 0
4.725 * [backup-simplify]: Simplify 1 into 1
4.726 * [backup-simplify]: Simplify (* 1 1) into 1
4.726 * [backup-simplify]: Simplify (/ 1 1) into 1
4.726 * [backup-simplify]: Simplify 1 into 1
4.726 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
4.726 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.727 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
4.727 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))))) into 0
4.727 * [taylor]: Taking taylor expansion of 0 in b
4.727 * [backup-simplify]: Simplify 0 into 0
4.727 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.728 * [backup-simplify]: Simplify 0 into 0
4.728 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
4.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
4.729 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
4.729 * [taylor]: Taking taylor expansion of 0 in b
4.730 * [backup-simplify]: Simplify 0 into 0
4.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.731 * [backup-simplify]: Simplify 0 into 0
4.731 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
4.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
4.733 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
4.733 * [taylor]: Taking taylor expansion of 0 in b
4.733 * [backup-simplify]: Simplify 0 into 0
4.733 * [backup-simplify]: Simplify 0 into 0
4.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.734 * [backup-simplify]: Simplify 0 into 0
4.735 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
4.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0
4.737 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
4.737 * [taylor]: Taking taylor expansion of 0 in b
4.737 * [backup-simplify]: Simplify 0 into 0
4.737 * [backup-simplify]: Simplify 0 into 0
4.737 * [backup-simplify]: Simplify 0 into 0
4.737 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))) 2)) into (* (pow a 2) (pow b 2))
4.737 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
4.737 * [backup-simplify]: Simplify (* 4.0 (* b b)) into (* 4.0 (pow b 2))
4.737 * [approximate]: Taking taylor expansion of (* 4.0 (pow b 2)) in (b) around 0
4.737 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b
4.737 * [taylor]: Taking taylor expansion of 4.0 in b
4.737 * [backup-simplify]: Simplify 4.0 into 4.0
4.737 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.737 * [taylor]: Taking taylor expansion of b in b
4.738 * [backup-simplify]: Simplify 0 into 0
4.738 * [backup-simplify]: Simplify 1 into 1
4.738 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b
4.738 * [taylor]: Taking taylor expansion of 4.0 in b
4.738 * [backup-simplify]: Simplify 4.0 into 4.0
4.738 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.738 * [taylor]: Taking taylor expansion of b in b
4.738 * [backup-simplify]: Simplify 0 into 0
4.738 * [backup-simplify]: Simplify 1 into 1
4.738 * [backup-simplify]: Simplify (* 1 1) into 1
4.738 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
4.738 * [backup-simplify]: Simplify 4.0 into 4.0
4.739 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.739 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
4.739 * [backup-simplify]: Simplify 0 into 0
4.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.740 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
4.740 * [backup-simplify]: Simplify 0 into 0
4.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.741 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.741 * [backup-simplify]: Simplify 0 into 0
4.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.743 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.743 * [backup-simplify]: Simplify 0 into 0
4.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.744 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.744 * [backup-simplify]: Simplify 0 into 0
4.745 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.746 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.746 * [backup-simplify]: Simplify 0 into 0
4.746 * [backup-simplify]: Simplify (* 4.0 (pow b 2)) into (* 4.0 (pow b 2))
4.746 * [backup-simplify]: Simplify (* 4.0 (* (/ 1 b) (/ 1 b))) into (/ 4.0 (pow b 2))
4.746 * [approximate]: Taking taylor expansion of (/ 4.0 (pow b 2)) in (b) around 0
4.746 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b
4.746 * [taylor]: Taking taylor expansion of 4.0 in b
4.746 * [backup-simplify]: Simplify 4.0 into 4.0
4.746 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.746 * [taylor]: Taking taylor expansion of b in b
4.746 * [backup-simplify]: Simplify 0 into 0
4.746 * [backup-simplify]: Simplify 1 into 1
4.747 * [backup-simplify]: Simplify (* 1 1) into 1
4.747 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
4.747 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b
4.747 * [taylor]: Taking taylor expansion of 4.0 in b
4.747 * [backup-simplify]: Simplify 4.0 into 4.0
4.747 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.747 * [taylor]: Taking taylor expansion of b in b
4.747 * [backup-simplify]: Simplify 0 into 0
4.747 * [backup-simplify]: Simplify 1 into 1
4.747 * [backup-simplify]: Simplify (* 1 1) into 1
4.748 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
4.748 * [backup-simplify]: Simplify 4.0 into 4.0
4.748 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
4.749 * [backup-simplify]: Simplify 0 into 0
4.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.750 * [backup-simplify]: Simplify 0 into 0
4.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.751 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.751 * [backup-simplify]: Simplify 0 into 0
4.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.752 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.752 * [backup-simplify]: Simplify 0 into 0
4.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.754 * [backup-simplify]: Simplify 0 into 0
4.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.755 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 (/ 1 b)) 2)) into (* 4.0 (pow b 2))
4.756 * [backup-simplify]: Simplify (* 4.0 (* (/ 1 (- b)) (/ 1 (- b)))) into (/ 4.0 (pow b 2))
4.756 * [approximate]: Taking taylor expansion of (/ 4.0 (pow b 2)) in (b) around 0
4.756 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b
4.756 * [taylor]: Taking taylor expansion of 4.0 in b
4.756 * [backup-simplify]: Simplify 4.0 into 4.0
4.756 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.756 * [taylor]: Taking taylor expansion of b in b
4.756 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify 1 into 1
4.756 * [backup-simplify]: Simplify (* 1 1) into 1
4.756 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
4.756 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b
4.756 * [taylor]: Taking taylor expansion of 4.0 in b
4.756 * [backup-simplify]: Simplify 4.0 into 4.0
4.756 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.756 * [taylor]: Taking taylor expansion of b in b
4.756 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify 1 into 1
4.757 * [backup-simplify]: Simplify (* 1 1) into 1
4.757 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
4.757 * [backup-simplify]: Simplify 4.0 into 4.0
4.758 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.758 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
4.758 * [backup-simplify]: Simplify 0 into 0
4.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.759 * [backup-simplify]: Simplify 0 into 0
4.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.760 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.760 * [backup-simplify]: Simplify 0 into 0
4.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.762 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.762 * [backup-simplify]: Simplify 0 into 0
4.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.763 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.763 * [backup-simplify]: Simplify 0 into 0
4.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.764 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.764 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 (/ 1 (- b))) 2)) into (* 4.0 (pow b 2))
4.765 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
4.765 * [backup-simplify]: Simplify (* 2.0 (* (pow a 2) (pow b 2))) into (* 2.0 (* (pow a 2) (pow b 2)))
4.765 * [approximate]: Taking taylor expansion of (* 2.0 (* (pow a 2) (pow b 2))) in (a b) around 0
4.765 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow a 2) (pow b 2))) in b
4.765 * [taylor]: Taking taylor expansion of 2.0 in b
4.765 * [backup-simplify]: Simplify 2.0 into 2.0
4.765 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
4.765 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.765 * [taylor]: Taking taylor expansion of a in b
4.765 * [backup-simplify]: Simplify a into a
4.765 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.765 * [taylor]: Taking taylor expansion of b in b
4.765 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify 1 into 1
4.765 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow a 2) (pow b 2))) in a
4.765 * [taylor]: Taking taylor expansion of 2.0 in a
4.765 * [backup-simplify]: Simplify 2.0 into 2.0
4.765 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.765 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.765 * [taylor]: Taking taylor expansion of a in a
4.765 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify 1 into 1
4.765 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.765 * [taylor]: Taking taylor expansion of b in a
4.765 * [backup-simplify]: Simplify b into b
4.765 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow a 2) (pow b 2))) in a
4.765 * [taylor]: Taking taylor expansion of 2.0 in a
4.765 * [backup-simplify]: Simplify 2.0 into 2.0
4.765 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.765 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.765 * [taylor]: Taking taylor expansion of a in a
4.765 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify 1 into 1
4.765 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.766 * [taylor]: Taking taylor expansion of b in a
4.766 * [backup-simplify]: Simplify b into b
4.766 * [backup-simplify]: Simplify (* 1 1) into 1
4.766 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.766 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
4.766 * [backup-simplify]: Simplify (* 2.0 (pow b 2)) into (* 2.0 (pow b 2))
4.766 * [taylor]: Taking taylor expansion of (* 2.0 (pow b 2)) in b
4.766 * [taylor]: Taking taylor expansion of 2.0 in b
4.766 * [backup-simplify]: Simplify 2.0 into 2.0
4.766 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.766 * [taylor]: Taking taylor expansion of b in b
4.766 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify 1 into 1
4.766 * [backup-simplify]: Simplify (* 1 1) into 1
4.767 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
4.767 * [backup-simplify]: Simplify 2.0 into 2.0
4.767 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
4.767 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.768 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
4.768 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (pow b 2))) into 0
4.768 * [taylor]: Taking taylor expansion of 0 in b
4.768 * [backup-simplify]: Simplify 0 into 0
4.768 * [backup-simplify]: Simplify 0 into 0
4.768 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.769 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
4.769 * [backup-simplify]: Simplify 0 into 0
4.769 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
4.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
4.775 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
4.775 * [taylor]: Taking taylor expansion of 0 in b
4.775 * [backup-simplify]: Simplify 0 into 0
4.775 * [backup-simplify]: Simplify 0 into 0
4.775 * [backup-simplify]: Simplify 0 into 0
4.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.777 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
4.777 * [backup-simplify]: Simplify 0 into 0
4.778 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
4.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
4.782 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
4.782 * [taylor]: Taking taylor expansion of 0 in b
4.782 * [backup-simplify]: Simplify 0 into 0
4.782 * [backup-simplify]: Simplify 0 into 0
4.782 * [backup-simplify]: Simplify (* 2.0 (pow (* b a) 2)) into (* 2.0 (* (pow a 2) (pow b 2)))
4.782 * [backup-simplify]: Simplify (* 2.0 (* (pow (/ 1 a) 2) (pow (/ 1 b) 2))) into (/ 2.0 (* (pow a 2) (pow b 2)))
4.783 * [approximate]: Taking taylor expansion of (/ 2.0 (* (pow a 2) (pow b 2))) in (a b) around 0
4.783 * [taylor]: Taking taylor expansion of (/ 2.0 (* (pow a 2) (pow b 2))) in b
4.783 * [taylor]: Taking taylor expansion of 2.0 in b
4.783 * [backup-simplify]: Simplify 2.0 into 2.0
4.783 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
4.783 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.783 * [taylor]: Taking taylor expansion of a in b
4.783 * [backup-simplify]: Simplify a into a
4.783 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.783 * [taylor]: Taking taylor expansion of b in b
4.783 * [backup-simplify]: Simplify 0 into 0
4.783 * [backup-simplify]: Simplify 1 into 1
4.783 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.783 * [backup-simplify]: Simplify (* 1 1) into 1
4.784 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
4.784 * [backup-simplify]: Simplify (/ 2.0 (pow a 2)) into (/ 2.0 (pow a 2))
4.784 * [taylor]: Taking taylor expansion of (/ 2.0 (* (pow a 2) (pow b 2))) in a
4.784 * [taylor]: Taking taylor expansion of 2.0 in a
4.784 * [backup-simplify]: Simplify 2.0 into 2.0
4.784 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.784 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.784 * [taylor]: Taking taylor expansion of a in a
4.784 * [backup-simplify]: Simplify 0 into 0
4.784 * [backup-simplify]: Simplify 1 into 1
4.784 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.784 * [taylor]: Taking taylor expansion of b in a
4.784 * [backup-simplify]: Simplify b into b
4.784 * [backup-simplify]: Simplify (* 1 1) into 1
4.785 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.785 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
4.785 * [backup-simplify]: Simplify (/ 2.0 (pow b 2)) into (/ 2.0 (pow b 2))
4.785 * [taylor]: Taking taylor expansion of (/ 2.0 (* (pow a 2) (pow b 2))) in a
4.785 * [taylor]: Taking taylor expansion of 2.0 in a
4.785 * [backup-simplify]: Simplify 2.0 into 2.0
4.785 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.785 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.785 * [taylor]: Taking taylor expansion of a in a
4.785 * [backup-simplify]: Simplify 0 into 0
4.785 * [backup-simplify]: Simplify 1 into 1
4.785 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.785 * [taylor]: Taking taylor expansion of b in a
4.785 * [backup-simplify]: Simplify b into b
4.786 * [backup-simplify]: Simplify (* 1 1) into 1
4.786 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.786 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
4.786 * [backup-simplify]: Simplify (/ 2.0 (pow b 2)) into (/ 2.0 (pow b 2))
4.786 * [taylor]: Taking taylor expansion of (/ 2.0 (pow b 2)) in b
4.786 * [taylor]: Taking taylor expansion of 2.0 in b
4.786 * [backup-simplify]: Simplify 2.0 into 2.0
4.786 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.786 * [taylor]: Taking taylor expansion of b in b
4.786 * [backup-simplify]: Simplify 0 into 0
4.786 * [backup-simplify]: Simplify 1 into 1
4.787 * [backup-simplify]: Simplify (* 1 1) into 1
4.787 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
4.787 * [backup-simplify]: Simplify 2.0 into 2.0
4.787 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
4.788 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.789 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
4.789 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2.0 (pow b 2)) (/ 0 (pow b 2))))) into 0
4.789 * [taylor]: Taking taylor expansion of 0 in b
4.789 * [backup-simplify]: Simplify 0 into 0
4.790 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)))) into 0
4.791 * [backup-simplify]: Simplify 0 into 0
4.791 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
4.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
4.794 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2.0 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
4.794 * [taylor]: Taking taylor expansion of 0 in b
4.794 * [backup-simplify]: Simplify 0 into 0
4.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.796 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.796 * [backup-simplify]: Simplify 0 into 0
4.797 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
4.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
4.800 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2.0 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
4.800 * [taylor]: Taking taylor expansion of 0 in b
4.800 * [backup-simplify]: Simplify 0 into 0
4.800 * [backup-simplify]: Simplify 0 into 0
4.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.801 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.801 * [backup-simplify]: Simplify 0 into 0
4.802 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
4.802 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0
4.804 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2.0 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
4.804 * [taylor]: Taking taylor expansion of 0 in b
4.804 * [backup-simplify]: Simplify 0 into 0
4.804 * [backup-simplify]: Simplify 0 into 0
4.804 * [backup-simplify]: Simplify 0 into 0
4.804 * [backup-simplify]: Simplify (* 2.0 (pow (* (/ 1 (/ 1 b)) (/ 1 (/ 1 a))) 2)) into (* 2.0 (* (pow a 2) (pow b 2)))
4.804 * [backup-simplify]: Simplify (* 2.0 (* (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2))) into (/ 2.0 (* (pow a 2) (pow b 2)))
4.804 * [approximate]: Taking taylor expansion of (/ 2.0 (* (pow a 2) (pow b 2))) in (a b) around 0
4.804 * [taylor]: Taking taylor expansion of (/ 2.0 (* (pow a 2) (pow b 2))) in b
4.804 * [taylor]: Taking taylor expansion of 2.0 in b
4.804 * [backup-simplify]: Simplify 2.0 into 2.0
4.804 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
4.804 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.804 * [taylor]: Taking taylor expansion of a in b
4.804 * [backup-simplify]: Simplify a into a
4.804 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.805 * [taylor]: Taking taylor expansion of b in b
4.805 * [backup-simplify]: Simplify 0 into 0
4.805 * [backup-simplify]: Simplify 1 into 1
4.805 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.805 * [backup-simplify]: Simplify (* 1 1) into 1
4.805 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
4.805 * [backup-simplify]: Simplify (/ 2.0 (pow a 2)) into (/ 2.0 (pow a 2))
4.805 * [taylor]: Taking taylor expansion of (/ 2.0 (* (pow a 2) (pow b 2))) in a
4.805 * [taylor]: Taking taylor expansion of 2.0 in a
4.805 * [backup-simplify]: Simplify 2.0 into 2.0
4.805 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.805 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.805 * [taylor]: Taking taylor expansion of a in a
4.805 * [backup-simplify]: Simplify 0 into 0
4.805 * [backup-simplify]: Simplify 1 into 1
4.805 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.805 * [taylor]: Taking taylor expansion of b in a
4.805 * [backup-simplify]: Simplify b into b
4.805 * [backup-simplify]: Simplify (* 1 1) into 1
4.806 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.806 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
4.806 * [backup-simplify]: Simplify (/ 2.0 (pow b 2)) into (/ 2.0 (pow b 2))
4.806 * [taylor]: Taking taylor expansion of (/ 2.0 (* (pow a 2) (pow b 2))) in a
4.806 * [taylor]: Taking taylor expansion of 2.0 in a
4.806 * [backup-simplify]: Simplify 2.0 into 2.0
4.806 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.806 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.806 * [taylor]: Taking taylor expansion of a in a
4.806 * [backup-simplify]: Simplify 0 into 0
4.806 * [backup-simplify]: Simplify 1 into 1
4.806 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.806 * [taylor]: Taking taylor expansion of b in a
4.806 * [backup-simplify]: Simplify b into b
4.806 * [backup-simplify]: Simplify (* 1 1) into 1
4.806 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.807 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
4.807 * [backup-simplify]: Simplify (/ 2.0 (pow b 2)) into (/ 2.0 (pow b 2))
4.807 * [taylor]: Taking taylor expansion of (/ 2.0 (pow b 2)) in b
4.807 * [taylor]: Taking taylor expansion of 2.0 in b
4.807 * [backup-simplify]: Simplify 2.0 into 2.0
4.807 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.807 * [taylor]: Taking taylor expansion of b in b
4.807 * [backup-simplify]: Simplify 0 into 0
4.807 * [backup-simplify]: Simplify 1 into 1
4.807 * [backup-simplify]: Simplify (* 1 1) into 1
4.807 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
4.807 * [backup-simplify]: Simplify 2.0 into 2.0
4.807 * [backup-simplify]: Simplify (+ (* b 0) (* 0 b)) into 0
4.808 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.808 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow b 2))) into 0
4.808 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2.0 (pow b 2)) (/ 0 (pow b 2))))) into 0
4.808 * [taylor]: Taking taylor expansion of 0 in b
4.808 * [backup-simplify]: Simplify 0 into 0
4.809 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.809 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)))) into 0
4.809 * [backup-simplify]: Simplify 0 into 0
4.810 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (* 0 b))) into 0
4.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow b 2)))) into 0
4.811 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2.0 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
4.811 * [taylor]: Taking taylor expansion of 0 in b
4.811 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.812 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.812 * [backup-simplify]: Simplify 0 into 0
4.813 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (* 0 b)))) into 0
4.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2))))) into 0
4.815 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2.0 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
4.815 * [taylor]: Taking taylor expansion of 0 in b
4.815 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.816 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify (+ (* b 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 b))))) into 0
4.817 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow b 2)))))) into 0
4.819 * [backup-simplify]: Simplify (- (/ 0 (pow b 2)) (+ (* (/ 2.0 (pow b 2)) (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))) (* 0 (/ 0 (pow b 2))))) into 0
4.819 * [taylor]: Taking taylor expansion of 0 in b
4.819 * [backup-simplify]: Simplify 0 into 0
4.819 * [backup-simplify]: Simplify 0 into 0
4.819 * [backup-simplify]: Simplify 0 into 0
4.819 * [backup-simplify]: Simplify (* 2.0 (pow (* (/ 1 (/ 1 (- b))) (/ 1 (/ 1 (- a)))) 2)) into (* 2.0 (* (pow a 2) (pow b 2)))
4.819 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
4.820 * [backup-simplify]: Simplify (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b))) into (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2)))))
4.820 * [approximate]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2))))) in (b a) around 0
4.820 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2))))) in a
4.820 * [taylor]: Taking taylor expansion of (pow b 4) in a
4.820 * [taylor]: Taking taylor expansion of b in a
4.820 * [backup-simplify]: Simplify b into b
4.820 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2)))) in a
4.820 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in a
4.820 * [taylor]: Taking taylor expansion of 4.0 in a
4.820 * [backup-simplify]: Simplify 4.0 into 4.0
4.820 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.820 * [taylor]: Taking taylor expansion of b in a
4.820 * [backup-simplify]: Simplify b into b
4.820 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow a 2) (pow b 2))) in a
4.820 * [taylor]: Taking taylor expansion of 2.0 in a
4.820 * [backup-simplify]: Simplify 2.0 into 2.0
4.820 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.820 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.820 * [taylor]: Taking taylor expansion of a in a
4.820 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify 1 into 1
4.820 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.820 * [taylor]: Taking taylor expansion of b in a
4.820 * [backup-simplify]: Simplify b into b
4.820 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2))))) in b
4.820 * [taylor]: Taking taylor expansion of (pow b 4) in b
4.820 * [taylor]: Taking taylor expansion of b in b
4.820 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify 1 into 1
4.820 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2)))) in b
4.820 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b
4.820 * [taylor]: Taking taylor expansion of 4.0 in b
4.820 * [backup-simplify]: Simplify 4.0 into 4.0
4.820 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.820 * [taylor]: Taking taylor expansion of b in b
4.820 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify 1 into 1
4.820 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow a 2) (pow b 2))) in b
4.820 * [taylor]: Taking taylor expansion of 2.0 in b
4.820 * [backup-simplify]: Simplify 2.0 into 2.0
4.820 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
4.820 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.820 * [taylor]: Taking taylor expansion of a in b
4.820 * [backup-simplify]: Simplify a into a
4.820 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.820 * [taylor]: Taking taylor expansion of b in b
4.820 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify 1 into 1
4.820 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2))))) in b
4.820 * [taylor]: Taking taylor expansion of (pow b 4) in b
4.820 * [taylor]: Taking taylor expansion of b in b
4.820 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify 1 into 1
4.820 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2)))) in b
4.820 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b
4.820 * [taylor]: Taking taylor expansion of 4.0 in b
4.820 * [backup-simplify]: Simplify 4.0 into 4.0
4.820 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.821 * [taylor]: Taking taylor expansion of b in b
4.821 * [backup-simplify]: Simplify 0 into 0
4.821 * [backup-simplify]: Simplify 1 into 1
4.821 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow a 2) (pow b 2))) in b
4.821 * [taylor]: Taking taylor expansion of 2.0 in b
4.821 * [backup-simplify]: Simplify 2.0 into 2.0
4.821 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
4.821 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.821 * [taylor]: Taking taylor expansion of a in b
4.821 * [backup-simplify]: Simplify a into a
4.821 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.821 * [taylor]: Taking taylor expansion of b in b
4.821 * [backup-simplify]: Simplify 0 into 0
4.821 * [backup-simplify]: Simplify 1 into 1
4.821 * [backup-simplify]: Simplify (* 1 1) into 1
4.821 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
4.821 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.822 * [backup-simplify]: Simplify (* 1 1) into 1
4.822 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
4.822 * [backup-simplify]: Simplify (* 2.0 (pow a 2)) into (* 2.0 (pow a 2))
4.822 * [backup-simplify]: Simplify (+ 4.0 (* 2.0 (pow a 2))) into (+ (* 2.0 (pow a 2)) 4.0)
4.822 * [backup-simplify]: Simplify (+ 0 (+ (* 2.0 (pow a 2)) 4.0)) into (+ (* 2.0 (pow a 2)) 4.0)
4.822 * [taylor]: Taking taylor expansion of (+ (* 2.0 (pow a 2)) 4.0) in a
4.822 * [taylor]: Taking taylor expansion of (* 2.0 (pow a 2)) in a
4.822 * [taylor]: Taking taylor expansion of 2.0 in a
4.822 * [backup-simplify]: Simplify 2.0 into 2.0
4.822 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.822 * [taylor]: Taking taylor expansion of a in a
4.822 * [backup-simplify]: Simplify 0 into 0
4.822 * [backup-simplify]: Simplify 1 into 1
4.822 * [taylor]: Taking taylor expansion of 4.0 in a
4.822 * [backup-simplify]: Simplify 4.0 into 4.0
4.823 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
4.823 * [backup-simplify]: Simplify 4.0 into 4.0
4.823 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.824 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
4.824 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.824 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
4.824 * [backup-simplify]: Simplify (+ (* (pow a 2) 0) (* 0 1)) into 0
4.825 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (pow a 2))) into 0
4.825 * [backup-simplify]: Simplify (+ 0 0) into 0
4.825 * [backup-simplify]: Simplify (+ 0 0) into 0
4.825 * [taylor]: Taking taylor expansion of 0 in a
4.825 * [backup-simplify]: Simplify 0 into 0
4.825 * [backup-simplify]: Simplify 0 into 0
4.825 * [backup-simplify]: Simplify (+ 0 0) into 0
4.826 * [backup-simplify]: Simplify 0 into 0
4.826 * [backup-simplify]: Simplify (* 1 1) into 1
4.826 * [backup-simplify]: Simplify (* 1 1) into 1
4.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.827 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
4.828 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.828 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
4.828 * [backup-simplify]: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (* 0 1))) into 0
4.829 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 (pow a 2)))) into 0
4.829 * [backup-simplify]: Simplify (+ 0 0) into 0
4.829 * [backup-simplify]: Simplify (+ 1 0) into 1
4.830 * [taylor]: Taking taylor expansion of 1 in a
4.830 * [backup-simplify]: Simplify 1 into 1
4.830 * [backup-simplify]: Simplify 1 into 1
4.830 * [backup-simplify]: Simplify 0 into 0
4.830 * [backup-simplify]: Simplify (* 1 1) into 1
4.830 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
4.830 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
4.830 * [backup-simplify]: Simplify 2.0 into 2.0
4.831 * [backup-simplify]: Simplify (+ (* 2.0 (pow (* a b) 2)) (+ (* 1 (pow (* 1 b) 4)) (* 4.0 (pow (* 1 b) 2)))) into (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2)))))
4.832 * [backup-simplify]: Simplify (+ (+ (pow (/ 1 b) 4) (* 2.0 (* (pow (/ 1 a) 2) (pow (/ 1 b) 2)))) (* 4.0 (* (/ 1 b) (/ 1 b)))) into (+ (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))))
4.832 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))) in (b a) around 0
4.832 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))) in a
4.832 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) in a
4.832 * [taylor]: Taking taylor expansion of 2.0 in a
4.832 * [backup-simplify]: Simplify 2.0 into 2.0
4.832 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
4.832 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.832 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.832 * [taylor]: Taking taylor expansion of a in a
4.832 * [backup-simplify]: Simplify 0 into 0
4.832 * [backup-simplify]: Simplify 1 into 1
4.832 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.832 * [taylor]: Taking taylor expansion of b in a
4.832 * [backup-simplify]: Simplify b into b
4.833 * [backup-simplify]: Simplify (* 1 1) into 1
4.833 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.833 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
4.833 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
4.833 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in a
4.833 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a
4.833 * [taylor]: Taking taylor expansion of 4.0 in a
4.833 * [backup-simplify]: Simplify 4.0 into 4.0
4.833 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
4.833 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.833 * [taylor]: Taking taylor expansion of b in a
4.833 * [backup-simplify]: Simplify b into b
4.833 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.833 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
4.833 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a
4.833 * [taylor]: Taking taylor expansion of (pow b 4) in a
4.833 * [taylor]: Taking taylor expansion of b in a
4.834 * [backup-simplify]: Simplify b into b
4.834 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.834 * [backup-simplify]: Simplify (* (pow b 2) (pow b 2)) into (pow b 4)
4.834 * [backup-simplify]: Simplify (/ 1 (pow b 4)) into (/ 1 (pow b 4))
4.834 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))) in b
4.834 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) in b
4.834 * [taylor]: Taking taylor expansion of 2.0 in b
4.834 * [backup-simplify]: Simplify 2.0 into 2.0
4.834 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b
4.834 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
4.834 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.834 * [taylor]: Taking taylor expansion of a in b
4.834 * [backup-simplify]: Simplify a into a
4.834 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.834 * [taylor]: Taking taylor expansion of b in b
4.834 * [backup-simplify]: Simplify 0 into 0
4.834 * [backup-simplify]: Simplify 1 into 1
4.834 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.835 * [backup-simplify]: Simplify (* 1 1) into 1
4.835 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
4.835 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
4.835 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b
4.835 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b
4.835 * [taylor]: Taking taylor expansion of 4.0 in b
4.835 * [backup-simplify]: Simplify 4.0 into 4.0
4.835 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
4.835 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.835 * [taylor]: Taking taylor expansion of b in b
4.836 * [backup-simplify]: Simplify 0 into 0
4.836 * [backup-simplify]: Simplify 1 into 1
4.836 * [backup-simplify]: Simplify (* 1 1) into 1
4.836 * [backup-simplify]: Simplify (/ 1 1) into 1
4.836 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b
4.836 * [taylor]: Taking taylor expansion of (pow b 4) in b
4.836 * [taylor]: Taking taylor expansion of b in b
4.836 * [backup-simplify]: Simplify 0 into 0
4.836 * [backup-simplify]: Simplify 1 into 1
4.837 * [backup-simplify]: Simplify (* 1 1) into 1
4.837 * [backup-simplify]: Simplify (* 1 1) into 1
4.838 * [backup-simplify]: Simplify (/ 1 1) into 1
4.838 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))) in b
4.838 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) in b
4.838 * [taylor]: Taking taylor expansion of 2.0 in b
4.838 * [backup-simplify]: Simplify 2.0 into 2.0
4.838 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b
4.838 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
4.838 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.838 * [taylor]: Taking taylor expansion of a in b
4.838 * [backup-simplify]: Simplify a into a
4.838 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.838 * [taylor]: Taking taylor expansion of b in b
4.838 * [backup-simplify]: Simplify 0 into 0
4.838 * [backup-simplify]: Simplify 1 into 1
4.838 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.838 * [backup-simplify]: Simplify (* 1 1) into 1
4.839 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
4.839 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
4.839 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b
4.839 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b
4.839 * [taylor]: Taking taylor expansion of 4.0 in b
4.839 * [backup-simplify]: Simplify 4.0 into 4.0
4.839 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
4.839 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.839 * [taylor]: Taking taylor expansion of b in b
4.839 * [backup-simplify]: Simplify 0 into 0
4.839 * [backup-simplify]: Simplify 1 into 1
4.840 * [backup-simplify]: Simplify (* 1 1) into 1
4.840 * [backup-simplify]: Simplify (/ 1 1) into 1
4.840 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b
4.840 * [taylor]: Taking taylor expansion of (pow b 4) in b
4.840 * [taylor]: Taking taylor expansion of b in b
4.840 * [backup-simplify]: Simplify 0 into 0
4.840 * [backup-simplify]: Simplify 1 into 1
4.840 * [backup-simplify]: Simplify (* 1 1) into 1
4.841 * [backup-simplify]: Simplify (* 1 1) into 1
4.841 * [backup-simplify]: Simplify (/ 1 1) into 1
4.842 * [backup-simplify]: Simplify (+ 0 1) into 1
4.842 * [backup-simplify]: Simplify (+ 0 1) into 1
4.842 * [taylor]: Taking taylor expansion of 1 in a
4.842 * [backup-simplify]: Simplify 1 into 1
4.843 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.843 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.845 * [backup-simplify]: Simplify (+ 0 0) into 0
4.845 * [backup-simplify]: Simplify (+ 0 0) into 0
4.845 * [taylor]: Taking taylor expansion of 0 in a
4.845 * [backup-simplify]: Simplify 0 into 0
4.845 * [backup-simplify]: Simplify (* 2.0 (/ 1 (pow a 2))) into (/ 2.0 (pow a 2))
4.846 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
4.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.849 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
4.849 * [backup-simplify]: Simplify (+ (/ 2.0 (pow a 2)) 4.0) into (+ (* 2.0 (/ 1 (pow a 2))) 4.0)
4.849 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow a 2))) 4.0) in a
4.849 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow a 2))) in a
4.849 * [taylor]: Taking taylor expansion of 2.0 in a
4.849 * [backup-simplify]: Simplify 2.0 into 2.0
4.849 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
4.849 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.849 * [taylor]: Taking taylor expansion of a in a
4.849 * [backup-simplify]: Simplify 0 into 0
4.849 * [backup-simplify]: Simplify 1 into 1
4.850 * [backup-simplify]: Simplify (* 1 1) into 1
4.850 * [backup-simplify]: Simplify (/ 1 1) into 1
4.850 * [taylor]: Taking taylor expansion of 4.0 in a
4.850 * [backup-simplify]: Simplify 4.0 into 4.0
4.850 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
4.851 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
4.851 * [backup-simplify]: Simplify 2.0 into 2.0
4.851 * [backup-simplify]: Simplify 1 into 1
4.852 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.852 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
4.852 * [backup-simplify]: Simplify (+ (* (pow a 2) 0) (* 0 1)) into 0
4.853 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
4.853 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (/ 1 (pow a 2)))) into 0
4.854 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.856 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
4.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.860 * [backup-simplify]: Simplify (+ 0 0) into 0
4.860 * [backup-simplify]: Simplify (+ 0 0) into 0
4.860 * [taylor]: Taking taylor expansion of 0 in a
4.860 * [backup-simplify]: Simplify 0 into 0
4.861 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.862 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
4.862 * [backup-simplify]: Simplify (+ 0 0) into 0
4.862 * [backup-simplify]: Simplify 0 into 0
4.863 * [backup-simplify]: Simplify 0 into 0
4.863 * [backup-simplify]: Simplify 0 into 0
4.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.864 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
4.865 * [backup-simplify]: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (* 0 1))) into 0
4.865 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
4.866 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2))))) into 0
4.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.869 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
4.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.873 * [backup-simplify]: Simplify (+ 0 0) into 0
4.874 * [backup-simplify]: Simplify (+ 0 0) into 0
4.874 * [taylor]: Taking taylor expansion of 0 in a
4.874 * [backup-simplify]: Simplify 0 into 0
4.875 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.876 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
4.877 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
4.877 * [backup-simplify]: Simplify 4.0 into 4.0
4.878 * [backup-simplify]: Simplify (+ (* 4.0 (pow (* 1 (/ 1 (/ 1 b))) 2)) (+ (* 1 (pow (* 1 (/ 1 (/ 1 b))) 4)) (* 2.0 (pow (* (/ 1 (/ 1 a)) (/ 1 (/ 1 b))) 2)))) into (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2)))))
4.879 * [backup-simplify]: Simplify (+ (+ (pow (/ 1 (- b)) 4) (* 2.0 (* (pow (/ 1 (- a)) 2) (pow (/ 1 (- b)) 2)))) (* 4.0 (* (/ 1 (- b)) (/ 1 (- b))))) into (+ (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))))
4.879 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))) in (b a) around 0
4.879 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))) in a
4.879 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) in a
4.879 * [taylor]: Taking taylor expansion of 2.0 in a
4.879 * [backup-simplify]: Simplify 2.0 into 2.0
4.879 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a
4.879 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a
4.879 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.879 * [taylor]: Taking taylor expansion of a in a
4.879 * [backup-simplify]: Simplify 0 into 0
4.879 * [backup-simplify]: Simplify 1 into 1
4.879 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.879 * [taylor]: Taking taylor expansion of b in a
4.879 * [backup-simplify]: Simplify b into b
4.880 * [backup-simplify]: Simplify (* 1 1) into 1
4.880 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.880 * [backup-simplify]: Simplify (* 1 (pow b 2)) into (pow b 2)
4.880 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
4.880 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in a
4.880 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a
4.880 * [taylor]: Taking taylor expansion of 4.0 in a
4.880 * [backup-simplify]: Simplify 4.0 into 4.0
4.880 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a
4.880 * [taylor]: Taking taylor expansion of (pow b 2) in a
4.880 * [taylor]: Taking taylor expansion of b in a
4.880 * [backup-simplify]: Simplify b into b
4.880 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.880 * [backup-simplify]: Simplify (/ 1 (pow b 2)) into (/ 1 (pow b 2))
4.880 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a
4.880 * [taylor]: Taking taylor expansion of (pow b 4) in a
4.880 * [taylor]: Taking taylor expansion of b in a
4.880 * [backup-simplify]: Simplify b into b
4.880 * [backup-simplify]: Simplify (* b b) into (pow b 2)
4.880 * [backup-simplify]: Simplify (* (pow b 2) (pow b 2)) into (pow b 4)
4.880 * [backup-simplify]: Simplify (/ 1 (pow b 4)) into (/ 1 (pow b 4))
4.881 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))) in b
4.881 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) in b
4.881 * [taylor]: Taking taylor expansion of 2.0 in b
4.881 * [backup-simplify]: Simplify 2.0 into 2.0
4.881 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b
4.881 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
4.881 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.881 * [taylor]: Taking taylor expansion of a in b
4.881 * [backup-simplify]: Simplify a into a
4.881 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.881 * [taylor]: Taking taylor expansion of b in b
4.881 * [backup-simplify]: Simplify 0 into 0
4.881 * [backup-simplify]: Simplify 1 into 1
4.881 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.881 * [backup-simplify]: Simplify (* 1 1) into 1
4.881 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
4.881 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
4.881 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b
4.881 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b
4.881 * [taylor]: Taking taylor expansion of 4.0 in b
4.881 * [backup-simplify]: Simplify 4.0 into 4.0
4.881 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
4.881 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.881 * [taylor]: Taking taylor expansion of b in b
4.881 * [backup-simplify]: Simplify 0 into 0
4.881 * [backup-simplify]: Simplify 1 into 1
4.882 * [backup-simplify]: Simplify (* 1 1) into 1
4.882 * [backup-simplify]: Simplify (/ 1 1) into 1
4.882 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b
4.882 * [taylor]: Taking taylor expansion of (pow b 4) in b
4.882 * [taylor]: Taking taylor expansion of b in b
4.882 * [backup-simplify]: Simplify 0 into 0
4.882 * [backup-simplify]: Simplify 1 into 1
4.882 * [backup-simplify]: Simplify (* 1 1) into 1
4.882 * [backup-simplify]: Simplify (* 1 1) into 1
4.883 * [backup-simplify]: Simplify (/ 1 1) into 1
4.883 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4)))) in b
4.883 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow a 2) (pow b 2)))) in b
4.883 * [taylor]: Taking taylor expansion of 2.0 in b
4.883 * [backup-simplify]: Simplify 2.0 into 2.0
4.883 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b
4.883 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b
4.883 * [taylor]: Taking taylor expansion of (pow a 2) in b
4.883 * [taylor]: Taking taylor expansion of a in b
4.883 * [backup-simplify]: Simplify a into a
4.883 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.883 * [taylor]: Taking taylor expansion of b in b
4.883 * [backup-simplify]: Simplify 0 into 0
4.883 * [backup-simplify]: Simplify 1 into 1
4.883 * [backup-simplify]: Simplify (* a a) into (pow a 2)
4.883 * [backup-simplify]: Simplify (* 1 1) into 1
4.883 * [backup-simplify]: Simplify (* (pow a 2) 1) into (pow a 2)
4.883 * [backup-simplify]: Simplify (/ 1 (pow a 2)) into (/ 1 (pow a 2))
4.883 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b
4.883 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b
4.883 * [taylor]: Taking taylor expansion of 4.0 in b
4.884 * [backup-simplify]: Simplify 4.0 into 4.0
4.884 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b
4.884 * [taylor]: Taking taylor expansion of (pow b 2) in b
4.884 * [taylor]: Taking taylor expansion of b in b
4.884 * [backup-simplify]: Simplify 0 into 0
4.884 * [backup-simplify]: Simplify 1 into 1
4.884 * [backup-simplify]: Simplify (* 1 1) into 1
4.884 * [backup-simplify]: Simplify (/ 1 1) into 1
4.884 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b
4.884 * [taylor]: Taking taylor expansion of (pow b 4) in b
4.884 * [taylor]: Taking taylor expansion of b in b
4.884 * [backup-simplify]: Simplify 0 into 0
4.884 * [backup-simplify]: Simplify 1 into 1
4.884 * [backup-simplify]: Simplify (* 1 1) into 1
4.885 * [backup-simplify]: Simplify (* 1 1) into 1
4.885 * [backup-simplify]: Simplify (/ 1 1) into 1
4.885 * [backup-simplify]: Simplify (+ 0 1) into 1
4.885 * [backup-simplify]: Simplify (+ 0 1) into 1
4.885 * [taylor]: Taking taylor expansion of 1 in a
4.885 * [backup-simplify]: Simplify 1 into 1
4.886 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.886 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.887 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.887 * [backup-simplify]: Simplify (+ 0 0) into 0
4.887 * [backup-simplify]: Simplify (+ 0 0) into 0
4.887 * [taylor]: Taking taylor expansion of 0 in a
4.887 * [backup-simplify]: Simplify 0 into 0
4.887 * [backup-simplify]: Simplify (* 2.0 (/ 1 (pow a 2))) into (/ 2.0 (pow a 2))
4.888 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
4.888 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.890 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
4.890 * [backup-simplify]: Simplify (+ (/ 2.0 (pow a 2)) 4.0) into (+ (* 2.0 (/ 1 (pow a 2))) 4.0)
4.890 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 (pow a 2))) 4.0) in a
4.890 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow a 2))) in a
4.890 * [taylor]: Taking taylor expansion of 2.0 in a
4.890 * [backup-simplify]: Simplify 2.0 into 2.0
4.890 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
4.890 * [taylor]: Taking taylor expansion of (pow a 2) in a
4.890 * [taylor]: Taking taylor expansion of a in a
4.890 * [backup-simplify]: Simplify 0 into 0
4.890 * [backup-simplify]: Simplify 1 into 1
4.890 * [backup-simplify]: Simplify (* 1 1) into 1
4.890 * [backup-simplify]: Simplify (/ 1 1) into 1
4.891 * [taylor]: Taking taylor expansion of 4.0 in a
4.891 * [backup-simplify]: Simplify 4.0 into 4.0
4.891 * [backup-simplify]: Simplify (* 2.0 1) into 2.0
4.891 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
4.891 * [backup-simplify]: Simplify 2.0 into 2.0
4.891 * [backup-simplify]: Simplify 1 into 1
4.892 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.892 * [backup-simplify]: Simplify (+ (* a 0) (* 0 a)) into 0
4.892 * [backup-simplify]: Simplify (+ (* (pow a 2) 0) (* 0 1)) into 0
4.892 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))))) into 0
4.893 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 (/ 1 (pow a 2)))) into 0
4.893 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.894 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
4.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.896 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.896 * [backup-simplify]: Simplify (+ 0 0) into 0
4.896 * [backup-simplify]: Simplify (+ 0 0) into 0
4.896 * [taylor]: Taking taylor expansion of 0 in a
4.896 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.897 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 1)) into 0
4.900 * [backup-simplify]: Simplify (+ 0 0) into 0
4.900 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify 0 into 0
4.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.901 * [backup-simplify]: Simplify (+ (* a 0) (+ (* 0 0) (* 0 a))) into 0
4.902 * [backup-simplify]: Simplify (+ (* (pow a 2) 0) (+ (* 0 0) (* 0 1))) into 0
4.902 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow a 2)) (/ 0 (pow a 2))) (* 0 (/ 0 (pow a 2))))) into 0
4.902 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 (/ 1 (pow a 2))))) into 0
4.903 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.904 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
4.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.906 * [backup-simplify]: Simplify (+ 0 0) into 0
4.907 * [backup-simplify]: Simplify (+ 0 0) into 0
4.907 * [taylor]: Taking taylor expansion of 0 in a
4.907 * [backup-simplify]: Simplify 0 into 0
4.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.908 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
4.908 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
4.909 * [backup-simplify]: Simplify 4.0 into 4.0
4.909 * [backup-simplify]: Simplify (+ (* 4.0 (pow (* 1 (/ 1 (/ 1 (- b)))) 2)) (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- b)))) 4)) (* 2.0 (pow (* (/ 1 (/ 1 (- a))) (/ 1 (/ 1 (- b)))) 2)))) into (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2)))))
4.909 * * * [progress]: simplifying candidates
4.911 * [simplify]: Simplifying:
  (* a b)
  (+ (* (log a) 2) (* (log b) 2))
  (+ (* (log a) 2) (* (log b) 2))
  (+ (* (log a) 2) (log (pow b 2)))
  (+ (* (log a) 2) (* (log b) 2))
  (+ (* (log a) 2) (* (log b) 2))
  (+ (* (log a) 2) (log (pow b 2)))
  (+ (log (pow a 2)) (* (log b) 2))
  (+ (log (pow a 2)) (* (log b) 2))
  (+ (log (pow a 2)) (log (pow b 2)))
  (log (* (pow a 2) (pow b 2)))
  (exp (* (pow a 2) (pow b 2)))
  (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow b 2) (pow b 2)) (pow b 2)))
  (* (cbrt (* (pow a 2) (pow b 2))) (cbrt (* (pow a 2) (pow b 2))))
  (cbrt (* (pow a 2) (pow b 2)))
  (* (* (* (pow a 2) (pow b 2)) (* (pow a 2) (pow b 2))) (* (pow a 2) (pow b 2)))
  (sqrt (* (pow a 2) (pow b 2)))
  (sqrt (* (pow a 2) (pow b 2)))
  (* (pow (sqrt a) 2) (pow (sqrt b) 2))
  (* (pow (sqrt a) 2) (pow (sqrt b) 2))
  (* (pow (sqrt a) 2) b)
  (* (pow (sqrt a) 2) b)
  (* (pow (sqrt a) 2) (sqrt (pow b 2)))
  (* (pow (sqrt a) 2) (sqrt (pow b 2)))
  (* (pow (sqrt a) 2) (pow b (/ 2 2)))
  (* (pow (sqrt a) 2) (pow b (/ 2 2)))
  (* a (pow (sqrt b) 2))
  (* a (pow (sqrt b) 2))
  (* a b)
  (* a b)
  (* a (sqrt (pow b 2)))
  (* a (sqrt (pow b 2)))
  (* a (pow b (/ 2 2)))
  (* a (pow b (/ 2 2)))
  (* (sqrt (pow a 2)) (pow (sqrt b) 2))
  (* (sqrt (pow a 2)) (pow (sqrt b) 2))
  (* (sqrt (pow a 2)) b)
  (* (sqrt (pow a 2)) b)
  (* (sqrt (pow a 2)) (sqrt (pow b 2)))
  (* (sqrt (pow a 2)) (sqrt (pow b 2)))
  (* (sqrt (pow a 2)) (pow b (/ 2 2)))
  (* (sqrt (pow a 2)) (pow b (/ 2 2)))
  (* (pow a (/ 2 2)) (pow (sqrt b) 2))
  (* (pow a (/ 2 2)) (pow (sqrt b) 2))
  (* (pow a (/ 2 2)) b)
  (* (pow a (/ 2 2)) b)
  (* (pow a (/ 2 2)) (sqrt (pow b 2)))
  (* (pow a (/ 2 2)) (sqrt (pow b 2)))
  (* (pow a (/ 2 2)) (pow b (/ 2 2)))
  (* (pow a (/ 2 2)) (pow b (/ 2 2)))
  (* (pow a 2) (pow (* (cbrt b) (cbrt b)) 2))
  (* (pow a 2) (pow (sqrt b) 2))
  (* (pow a 2) (pow 1 2))
  (* (pow a 2) b)
  (* (pow a 2) (* (cbrt (pow b 2)) (cbrt (pow b 2))))
  (* (pow a 2) (sqrt (pow b 2)))
  (* (pow a 2) 1)
  (* (pow a 2) (pow b (/ 2 2)))
  (* (pow (cbrt a) 2) (pow b 2))
  (* (pow (sqrt a) 2) (pow b 2))
  (* (pow a 2) (pow b 2))
  (* a (pow b 2))
  (* (cbrt (pow a 2)) (pow b 2))
  (* (sqrt (pow a 2)) (pow b 2))
  (* (pow a 2) (pow b 2))
  (* (pow a (/ 2 2)) (pow b 2))
  (* 4.0 (* b b))
  (* 4.0 (* b b))
  (+ (log 4.0) (+ (log b) (log b)))
  (+ (log 4.0) (log (* b b)))
  (log (* 4.0 (* b b)))
  (exp (* 4.0 (* b b)))
  (* (* (* 4.0 4.0) 4.0) (* (* (* b b) b) (* (* b b) b)))
  (* (* (* 4.0 4.0) 4.0) (* (* (* b b) (* b b)) (* b b)))
  (* (cbrt (* 4.0 (* b b))) (cbrt (* 4.0 (* b b))))
  (cbrt (* 4.0 (* b b)))
  (* (* (* 4.0 (* b b)) (* 4.0 (* b b))) (* 4.0 (* b b)))
  (sqrt (* 4.0 (* b b)))
  (sqrt (* 4.0 (* b b)))
  (* (sqrt 4.0) b)
  (* (sqrt 4.0) b)
  (* 4.0 b)
  (* (cbrt 4.0) (* b b))
  (* (sqrt 4.0) (* b b))
  (* 4.0 (* b b))
  (* 2.0 (* (pow a 2) (pow b 2)))
  (+ (log 2.0) (+ (* (log a) 2) (* (log b) 2)))
  (+ (log 2.0) (+ (* (log a) 2) (* (log b) 2)))
  (+ (log 2.0) (+ (* (log a) 2) (log (pow b 2))))
  (+ (log 2.0) (+ (* (log a) 2) (* (log b) 2)))
  (+ (log 2.0) (+ (* (log a) 2) (* (log b) 2)))
  (+ (log 2.0) (+ (* (log a) 2) (log (pow b 2))))
  (+ (log 2.0) (+ (log (pow a 2)) (* (log b) 2)))
  (+ (log 2.0) (+ (log (pow a 2)) (* (log b) 2)))
  (+ (log 2.0) (+ (log (pow a 2)) (log (pow b 2))))
  (+ (log 2.0) (log (* (pow a 2) (pow b 2))))
  (log (* 2.0 (* (pow a 2) (pow b 2))))
  (exp (* 2.0 (* (pow a 2) (pow b 2))))
  (* (* (* 2.0 2.0) 2.0) (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow b 2) (pow b 2)) (pow b 2))))
  (* (* (* 2.0 2.0) 2.0) (* (* (* (pow a 2) (pow b 2)) (* (pow a 2) (pow b 2))) (* (pow a 2) (pow b 2))))
  (* (cbrt (* 2.0 (* (pow a 2) (pow b 2)))) (cbrt (* 2.0 (* (pow a 2) (pow b 2)))))
  (cbrt (* 2.0 (* (pow a 2) (pow b 2))))
  (* (* (* 2.0 (* (pow a 2) (pow b 2))) (* 2.0 (* (pow a 2) (pow b 2)))) (* 2.0 (* (pow a 2) (pow b 2))))
  (sqrt (* 2.0 (* (pow a 2) (pow b 2))))
  (sqrt (* 2.0 (* (pow a 2) (pow b 2))))
  (* 2.0 (pow a 2))
  (* (cbrt 2.0) (* (pow a 2) (pow b 2)))
  (* (sqrt 2.0) (* (pow a 2) (pow b 2)))
  (* 2.0 (* (pow a 2) (pow b 2)))
  (* (* (exp (pow b 4)) (exp (* 2.0 (* (pow a 2) (pow b 2))))) (exp (* 4.0 (* b b))))
  (* (exp (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2))))) (exp (* 4.0 (* b b))))
  (log (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b))))
  (exp (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b))))
  (* (cbrt (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b)))) (cbrt (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b)))))
  (cbrt (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b))))
  (* (* (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b))) (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b)))) (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b))))
  (sqrt (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b))))
  (sqrt (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b))))
  (+ (pow (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) 3) (pow (* 4.0 (* b b)) 3))
  (+ (* (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2))))) (- (* (* 4.0 (* b b)) (* 4.0 (* b b))) (* (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b)))))
  (- (* (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2))))) (* (* 4.0 (* b b)) (* 4.0 (* b b))))
  (- (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b)))
  (+ (* 2.0 (* (pow a 2) (pow b 2))) (* 4.0 (* b b)))
  (* (pow a 2) (pow b 2))
  (* (pow a 2) (pow b 2))
  (* (pow a 2) (pow b 2))
  (* 4.0 (pow b 2))
  (* 4.0 (pow b 2))
  (* 4.0 (pow b 2))
  (* 2.0 (* (pow a 2) (pow b 2)))
  (* 2.0 (* (pow a 2) (pow b 2)))
  (* 2.0 (* (pow a 2) (pow b 2)))
  (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2)))))
  (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2)))))
  (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2)))))
5.816 * * * [progress]: adding candidates to table
6.153 * [progress]: [Phase 3 of 3] Extracting.
6.153 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (- (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b))) 1.0))> #<alt (λ (a b) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0))>)
6.154 * * * [regime-changes]: Trying 2 branch expressions: (b a)
6.154 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (- (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b))) 1.0))> #<alt (λ (a b) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0))>)
6.175 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (- (+ (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (* 4.0 (* b b))) 1.0))> #<alt (λ (a b) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0))>)
6.203 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
6.203 * [simplify]: Simplifying:
  (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)
10.152 * [regime-testing]: Baseline error score: 0.9671840724792874
10.155 * [regime-testing]: Oracle error score: 0.008437536329082344
10.161 * [regime-testing]: End program error score: 0.9671840724792874