5.891 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.040 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.042 * [simplify]: Simplifying using # : (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0) 0.044 * * [simplify]: iteration 0 : 25 enodes (cost 8 ) 0.045 * * [simplify]: iteration 1 : 41 enodes (cost 8 ) 0.047 * * [simplify]: iteration 2 : 67 enodes (cost 8 ) 0.049 * * [simplify]: iteration 3 : 119 enodes (cost 8 ) 0.051 * * [simplify]: iteration 4 : 309 enodes (cost 8 ) 0.059 * * [simplify]: iteration 5 : 1485 enodes (cost 8 ) 0.097 * * [simplify]: iteration 6 : 5002 enodes (cost 8 ) 0.097 * [simplify]: Simplified to: (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0) 0.097 * * [progress]: iteration 1 / 4 0.097 * * * [progress]: picking best candidate 0.099 * * * * [pick]: Picked # 0.099 * * * [progress]: localizing error 0.109 * * * [progress]: generating rewritten candidates 0.109 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.113 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.116 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.120 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.127 * * * [progress]: generating series expansions 0.127 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.128 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in (a b) around 0 0.128 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in b 0.128 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in b 0.128 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in b 0.128 * [taylor]: Taking taylor expansion of 2.0 in b 0.128 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in b 0.128 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.128 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.128 * [taylor]: Taking taylor expansion of a in b 0.128 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.128 * [taylor]: Taking taylor expansion of b in b 0.128 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 0.128 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 0.128 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 0.128 * [taylor]: Taking taylor expansion of 2.0 in a 0.128 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 0.128 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.128 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.128 * [taylor]: Taking taylor expansion of a in a 0.128 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.128 * [taylor]: Taking taylor expansion of b in a 0.128 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 0.129 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 0.129 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 0.129 * [taylor]: Taking taylor expansion of 2.0 in a 0.129 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 0.129 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.129 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.129 * [taylor]: Taking taylor expansion of a in a 0.129 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.129 * [taylor]: Taking taylor expansion of b in a 0.129 * [taylor]: Taking taylor expansion of (pow (pow b 2) 2.0) in b 0.129 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow b 2)))) in b 0.129 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow b 2))) in b 0.129 * [taylor]: Taking taylor expansion of 2.0 in b 0.129 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 0.129 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.129 * [taylor]: Taking taylor expansion of b in b 0.132 * [taylor]: Taking taylor expansion of 0 in b 0.137 * [taylor]: Taking taylor expansion of (* 2.0 (pow (pow b 2.0) 1.0)) in b 0.137 * [taylor]: Taking taylor expansion of 2.0 in b 0.137 * [taylor]: Taking taylor expansion of (pow (pow b 2.0) 1.0) in b 0.137 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow b 2.0)))) in b 0.137 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow b 2.0))) in b 0.137 * [taylor]: Taking taylor expansion of 1.0 in b 0.137 * [taylor]: Taking taylor expansion of (log (pow b 2.0)) in b 0.137 * [taylor]: Taking taylor expansion of (pow b 2.0) in b 0.137 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log b))) in b 0.137 * [taylor]: Taking taylor expansion of (* 2.0 (log b)) in b 0.137 * [taylor]: Taking taylor expansion of 2.0 in b 0.137 * [taylor]: Taking taylor expansion of (log b) in b 0.137 * [taylor]: Taking taylor expansion of b in b 0.147 * [taylor]: Taking taylor expansion of 0 in b 0.160 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 0.160 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 0.160 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 0.160 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 0.160 * [taylor]: Taking taylor expansion of 2.0 in b 0.160 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 0.160 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.160 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.160 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.160 * [taylor]: Taking taylor expansion of b in b 0.160 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.160 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.160 * [taylor]: Taking taylor expansion of a in b 0.161 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 0.161 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 0.161 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 0.162 * [taylor]: Taking taylor expansion of 2.0 in a 0.162 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 0.162 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.162 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.162 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.162 * [taylor]: Taking taylor expansion of b in a 0.162 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.162 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.162 * [taylor]: Taking taylor expansion of a in a 0.163 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 0.163 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 0.163 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 0.163 * [taylor]: Taking taylor expansion of 2.0 in a 0.163 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 0.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.163 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.163 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.163 * [taylor]: Taking taylor expansion of b in a 0.163 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.163 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.163 * [taylor]: Taking taylor expansion of a in a 0.165 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 0.165 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 0.165 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 0.165 * [taylor]: Taking taylor expansion of -4.0 in b 0.165 * [taylor]: Taking taylor expansion of (log a) in b 0.165 * [taylor]: Taking taylor expansion of a in b 0.168 * [taylor]: Taking taylor expansion of 0 in b 0.173 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 0.173 * [taylor]: Taking taylor expansion of 2.0 in b 0.173 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 0.173 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 0.173 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 0.173 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 0.173 * [taylor]: Taking taylor expansion of 1.0 in b 0.173 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 0.173 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 0.173 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 0.173 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 0.173 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 0.173 * [taylor]: Taking taylor expansion of 4.0 in b 0.173 * [taylor]: Taking taylor expansion of (log a) in b 0.173 * [taylor]: Taking taylor expansion of a in b 0.173 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.173 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.173 * [taylor]: Taking taylor expansion of b in b 0.194 * [taylor]: Taking taylor expansion of 0 in b 0.194 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 0.194 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 0.194 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 0.194 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 0.194 * [taylor]: Taking taylor expansion of 2.0 in b 0.194 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 0.194 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.194 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.194 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.194 * [taylor]: Taking taylor expansion of b in b 0.195 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.195 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.195 * [taylor]: Taking taylor expansion of a in b 0.196 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 0.196 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 0.196 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 0.196 * [taylor]: Taking taylor expansion of 2.0 in a 0.196 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 0.196 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.196 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.196 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.196 * [taylor]: Taking taylor expansion of b in a 0.196 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.196 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.196 * [taylor]: Taking taylor expansion of a in a 0.198 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 0.198 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 0.198 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 0.198 * [taylor]: Taking taylor expansion of 2.0 in a 0.198 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 0.198 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.198 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.198 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.198 * [taylor]: Taking taylor expansion of b in a 0.198 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.198 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.198 * [taylor]: Taking taylor expansion of a in a 0.199 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 0.199 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 0.199 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 0.199 * [taylor]: Taking taylor expansion of -4.0 in b 0.199 * [taylor]: Taking taylor expansion of (log a) in b 0.199 * [taylor]: Taking taylor expansion of a in b 0.202 * [taylor]: Taking taylor expansion of 0 in b 0.207 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 0.207 * [taylor]: Taking taylor expansion of 2.0 in b 0.207 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 0.207 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 0.207 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 0.207 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 0.207 * [taylor]: Taking taylor expansion of 1.0 in b 0.207 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 0.207 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 0.207 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 0.207 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 0.207 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 0.207 * [taylor]: Taking taylor expansion of 4.0 in b 0.207 * [taylor]: Taking taylor expansion of (log a) in b 0.207 * [taylor]: Taking taylor expansion of a in b 0.208 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.208 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.208 * [taylor]: Taking taylor expansion of b in b 0.228 * [taylor]: Taking taylor expansion of 0 in b 0.228 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.228 * [approximate]: Taking taylor expansion of (* 4.0 (pow b 2)) in (b) around 0 0.228 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 0.228 * [taylor]: Taking taylor expansion of 4.0 in b 0.228 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.228 * [taylor]: Taking taylor expansion of b in b 0.228 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 0.228 * [taylor]: Taking taylor expansion of 4.0 in b 0.228 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.228 * [taylor]: Taking taylor expansion of b in b 0.236 * [approximate]: Taking taylor expansion of (/ 4.0 (pow b 2)) in (b) around 0 0.236 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b 0.236 * [taylor]: Taking taylor expansion of 4.0 in b 0.236 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.236 * [taylor]: Taking taylor expansion of b in b 0.237 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b 0.237 * [taylor]: Taking taylor expansion of 4.0 in b 0.237 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.237 * [taylor]: Taking taylor expansion of b in b 0.247 * [approximate]: Taking taylor expansion of (/ 4.0 (pow b 2)) in (b) around 0 0.247 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b 0.247 * [taylor]: Taking taylor expansion of 4.0 in b 0.247 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.247 * [taylor]: Taking taylor expansion of b in b 0.248 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b 0.248 * [taylor]: Taking taylor expansion of 4.0 in b 0.248 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.248 * [taylor]: Taking taylor expansion of b in b 0.256 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 0.256 * [approximate]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in (a b) around 0 0.256 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.256 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.256 * [taylor]: Taking taylor expansion of a in b 0.256 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.256 * [taylor]: Taking taylor expansion of b in b 0.256 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.256 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.256 * [taylor]: Taking taylor expansion of a in a 0.256 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.256 * [taylor]: Taking taylor expansion of b in a 0.256 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.256 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.256 * [taylor]: Taking taylor expansion of a in a 0.256 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.256 * [taylor]: Taking taylor expansion of b in a 0.256 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.256 * [taylor]: Taking taylor expansion of b in b 0.257 * [taylor]: Taking taylor expansion of 0 in b 0.257 * [taylor]: Taking taylor expansion of 1 in b 0.259 * [taylor]: Taking taylor expansion of 0 in b 0.261 * [taylor]: Taking taylor expansion of 0 in b 0.261 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in (a b) around 0 0.261 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.261 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.261 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.261 * [taylor]: Taking taylor expansion of b in b 0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.262 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.262 * [taylor]: Taking taylor expansion of a in b 0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.262 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.262 * [taylor]: Taking taylor expansion of b in a 0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.262 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.262 * [taylor]: Taking taylor expansion of a in a 0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.263 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.263 * [taylor]: Taking taylor expansion of b in a 0.263 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.263 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.263 * [taylor]: Taking taylor expansion of a in a 0.263 * [taylor]: Taking taylor expansion of 1 in b 0.264 * [taylor]: Taking taylor expansion of 0 in b 0.266 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.266 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.266 * [taylor]: Taking taylor expansion of b in b 0.268 * [taylor]: Taking taylor expansion of 0 in b 0.270 * [taylor]: Taking taylor expansion of 0 in b 0.272 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in (a b) around 0 0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.272 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.272 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.272 * [taylor]: Taking taylor expansion of b in b 0.272 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.272 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.272 * [taylor]: Taking taylor expansion of a in b 0.272 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.272 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.272 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.272 * [taylor]: Taking taylor expansion of b in a 0.273 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.273 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.273 * [taylor]: Taking taylor expansion of a in a 0.273 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.273 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.273 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.273 * [taylor]: Taking taylor expansion of b in a 0.273 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.273 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.273 * [taylor]: Taking taylor expansion of a in a 0.274 * [taylor]: Taking taylor expansion of 1 in b 0.275 * [taylor]: Taking taylor expansion of 0 in b 0.276 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.276 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.276 * [taylor]: Taking taylor expansion of b in b 0.278 * [taylor]: Taking taylor expansion of 0 in b 0.281 * [taylor]: Taking taylor expansion of 0 in b 0.282 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.282 * [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 0.282 * [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 0.282 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.283 * [taylor]: Taking taylor expansion of a in b 0.283 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in b 0.283 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.283 * [taylor]: Taking taylor expansion of b in b 0.283 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in b 0.283 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 0.283 * [taylor]: Taking taylor expansion of 4.0 in b 0.283 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.283 * [taylor]: Taking taylor expansion of b in b 0.283 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 0.283 * [taylor]: Taking taylor expansion of 2 in b 0.283 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.283 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.283 * [taylor]: Taking taylor expansion of a in b 0.283 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.283 * [taylor]: Taking taylor expansion of b in b 0.283 * [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 0.283 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.283 * [taylor]: Taking taylor expansion of a in a 0.283 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in a 0.283 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.283 * [taylor]: Taking taylor expansion of b in a 0.283 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in a 0.283 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in a 0.283 * [taylor]: Taking taylor expansion of 4.0 in a 0.283 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.283 * [taylor]: Taking taylor expansion of b in a 0.283 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.283 * [taylor]: Taking taylor expansion of 2 in a 0.283 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.283 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.283 * [taylor]: Taking taylor expansion of a in a 0.283 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.283 * [taylor]: Taking taylor expansion of b in a 0.283 * [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 0.283 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.283 * [taylor]: Taking taylor expansion of a in a 0.283 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in a 0.283 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.283 * [taylor]: Taking taylor expansion of b in a 0.283 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in a 0.283 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in a 0.283 * [taylor]: Taking taylor expansion of 4.0 in a 0.283 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.283 * [taylor]: Taking taylor expansion of b in a 0.283 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.283 * [taylor]: Taking taylor expansion of 2 in a 0.283 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.283 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.283 * [taylor]: Taking taylor expansion of a in a 0.283 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.283 * [taylor]: Taking taylor expansion of b in a 0.284 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 4.0 (pow b 2))) in b 0.284 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.284 * [taylor]: Taking taylor expansion of b in b 0.284 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 0.284 * [taylor]: Taking taylor expansion of 4.0 in b 0.284 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.284 * [taylor]: Taking taylor expansion of b in b 0.285 * [taylor]: Taking taylor expansion of 0 in b 0.288 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 0.288 * [taylor]: Taking taylor expansion of 2 in b 0.288 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.288 * [taylor]: Taking taylor expansion of b in b 0.292 * [taylor]: Taking taylor expansion of 0 in b 0.300 * [taylor]: Taking taylor expansion of 1 in b 0.301 * [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 0.301 * [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 0.301 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.301 * [taylor]: Taking taylor expansion of 2 in b 0.301 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.301 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.301 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.302 * [taylor]: Taking taylor expansion of a in b 0.302 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.302 * [taylor]: Taking taylor expansion of b in b 0.302 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 0.302 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 0.302 * [taylor]: Taking taylor expansion of 4.0 in b 0.302 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.302 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.302 * [taylor]: Taking taylor expansion of b in b 0.303 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 0.303 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.303 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.303 * [taylor]: Taking taylor expansion of a in b 0.303 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.303 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.303 * [taylor]: Taking taylor expansion of b in b 0.304 * [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 0.304 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.304 * [taylor]: Taking taylor expansion of 2 in a 0.304 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.304 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.304 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.304 * [taylor]: Taking taylor expansion of a in a 0.304 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.304 * [taylor]: Taking taylor expansion of b in a 0.304 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.304 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 0.304 * [taylor]: Taking taylor expansion of 4.0 in a 0.304 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.304 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.304 * [taylor]: Taking taylor expansion of b in a 0.304 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.304 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.304 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.304 * [taylor]: Taking taylor expansion of a in a 0.305 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.305 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.305 * [taylor]: Taking taylor expansion of b in a 0.305 * [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 0.305 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.305 * [taylor]: Taking taylor expansion of 2 in a 0.305 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.305 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.305 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.305 * [taylor]: Taking taylor expansion of a in a 0.305 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.306 * [taylor]: Taking taylor expansion of b in a 0.306 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.306 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 0.306 * [taylor]: Taking taylor expansion of 4.0 in a 0.306 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.306 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.306 * [taylor]: Taking taylor expansion of b in a 0.306 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.306 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.306 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.306 * [taylor]: Taking taylor expansion of a in a 0.307 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.307 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.307 * [taylor]: Taking taylor expansion of b in a 0.308 * [taylor]: Taking taylor expansion of 1 in b 0.310 * [taylor]: Taking taylor expansion of 0 in b 0.312 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 0.312 * [taylor]: Taking taylor expansion of 2 in b 0.312 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.312 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.312 * [taylor]: Taking taylor expansion of b in b 0.316 * [taylor]: Taking taylor expansion of 0 in b 0.320 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b 0.320 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 0.320 * [taylor]: Taking taylor expansion of 4.0 in b 0.320 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.320 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.320 * [taylor]: Taking taylor expansion of b in b 0.321 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.321 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.321 * [taylor]: Taking taylor expansion of b in b 0.323 * [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 0.323 * [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 0.323 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.323 * [taylor]: Taking taylor expansion of 2 in b 0.323 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.323 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.323 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.323 * [taylor]: Taking taylor expansion of a in b 0.323 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.323 * [taylor]: Taking taylor expansion of b in b 0.324 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 0.324 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 0.324 * [taylor]: Taking taylor expansion of 4.0 in b 0.324 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.324 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.324 * [taylor]: Taking taylor expansion of b in b 0.324 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 0.324 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.324 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.324 * [taylor]: Taking taylor expansion of a in b 0.324 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.324 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.324 * [taylor]: Taking taylor expansion of b in b 0.325 * [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 0.325 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.325 * [taylor]: Taking taylor expansion of 2 in a 0.325 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.325 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.325 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.325 * [taylor]: Taking taylor expansion of a in a 0.325 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.325 * [taylor]: Taking taylor expansion of b in a 0.329 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.329 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 0.329 * [taylor]: Taking taylor expansion of 4.0 in a 0.329 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.329 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.329 * [taylor]: Taking taylor expansion of b in a 0.329 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.329 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.329 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.329 * [taylor]: Taking taylor expansion of a in a 0.330 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.330 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.330 * [taylor]: Taking taylor expansion of b in a 0.330 * [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 0.330 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.330 * [taylor]: Taking taylor expansion of 2 in a 0.330 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.330 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.330 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.330 * [taylor]: Taking taylor expansion of a in a 0.330 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.330 * [taylor]: Taking taylor expansion of b in a 0.330 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.330 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 0.330 * [taylor]: Taking taylor expansion of 4.0 in a 0.330 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.331 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.331 * [taylor]: Taking taylor expansion of b in a 0.331 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.331 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.331 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.331 * [taylor]: Taking taylor expansion of a in a 0.331 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.331 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.331 * [taylor]: Taking taylor expansion of b in a 0.333 * [taylor]: Taking taylor expansion of 1 in b 0.334 * [taylor]: Taking taylor expansion of 0 in b 0.336 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 0.337 * [taylor]: Taking taylor expansion of 2 in b 0.337 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.337 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.337 * [taylor]: Taking taylor expansion of b in b 0.340 * [taylor]: Taking taylor expansion of 0 in b 0.345 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b 0.345 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 0.345 * [taylor]: Taking taylor expansion of 4.0 in b 0.345 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.345 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.345 * [taylor]: Taking taylor expansion of b in b 0.346 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.346 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.346 * [taylor]: Taking taylor expansion of b in b 0.348 * * * [progress]: simplifying candidates 0.348 * [simplify]: Simplifying using # : (* (log (+ (* 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) (* 4.0 b) (+ (pow (* a a) 3) (pow (* b b) 3)) (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) (- (* (* a a) (* a a)) (* (* b b) (* b b))) (- (* a a) (* 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 2) (pow b 2)) (+ (pow a 2) (pow b 2)) (+ (pow a 2) (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))))) 0.352 * * [simplify]: iteration 0 : 173 enodes (cost 135 ) 0.356 * * [simplify]: iteration 1 : 695 enodes (cost 127 ) 0.368 * * [simplify]: iteration 2 : 2430 enodes (cost 127 ) 0.421 * * [simplify]: iteration 3 : 5001 enodes (cost 127 ) 0.422 * [simplify]: Simplified to: (* (log (+ (* 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) (* 4.0 b) (+ (pow (* a a) 3) (pow (* b b) 3)) (- (pow b 4) (- (* (* a a) (* b b)) (pow a 4))) (+ (* (- (pow b 3)) b) (pow a 4)) (- (* a a) (* b b)) (+ (pow (pow (+ (* a a) (* b b)) 2.0) 3) (pow (* 4.0 (* b b)) 3)) (+ (* (* 4.0 (* b b)) (- (* 4.0 (* b b)) (pow (+ (* a a) (* b b)) 2.0))) (pow (+ (* a a) (* b b)) (* 2 2.0))) (+ (* (- (* 4.0 4.0)) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0))) (- (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 (* b b)) (* 4.0 (* b b)) (* 4.0 (* b b)) (+ (pow a 2) (pow b 2)) (+ (pow a 2) (pow b 2)) (+ (pow a 2) (pow b 2)) (+ (* (pow b 2) (+ (* 2 (pow a 2)) 4.0)) (pow a 4)) (+ (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))))) 0.422 * * * [progress]: adding candidates to table 0.473 * * [progress]: iteration 2 / 4 0.473 * * * [progress]: picking best candidate 0.481 * * * * [pick]: Picked # 0.482 * * * [progress]: localizing error 0.495 * * * [progress]: generating rewritten candidates 0.495 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 0.499 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 0.505 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 0.511 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.522 * * * [progress]: generating series expansions 0.522 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 0.522 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in (a b) around 0 0.522 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.522 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.522 * [taylor]: Taking taylor expansion of a in b 0.522 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.522 * [taylor]: Taking taylor expansion of b in b 0.522 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.522 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.522 * [taylor]: Taking taylor expansion of a in a 0.522 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.522 * [taylor]: Taking taylor expansion of b in a 0.522 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.522 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.522 * [taylor]: Taking taylor expansion of a in a 0.522 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.522 * [taylor]: Taking taylor expansion of b in a 0.523 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.523 * [taylor]: Taking taylor expansion of b in b 0.524 * [taylor]: Taking taylor expansion of 0 in b 0.526 * [taylor]: Taking taylor expansion of 0 in b 0.528 * [taylor]: Taking taylor expansion of 0 in b 0.529 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (a b) around 0 0.529 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.529 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.529 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.529 * [taylor]: Taking taylor expansion of a in b 0.529 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.529 * [taylor]: Taking taylor expansion of b in b 0.529 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.529 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.529 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.529 * [taylor]: Taking taylor expansion of a in a 0.529 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.529 * [taylor]: Taking taylor expansion of b in a 0.530 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.530 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.530 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.530 * [taylor]: Taking taylor expansion of a in a 0.530 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.530 * [taylor]: Taking taylor expansion of b in a 0.530 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.530 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.530 * [taylor]: Taking taylor expansion of b in b 0.532 * [taylor]: Taking taylor expansion of 0 in b 0.534 * [taylor]: Taking taylor expansion of 0 in b 0.537 * [taylor]: Taking taylor expansion of 0 in b 0.544 * [taylor]: Taking taylor expansion of 0 in b 0.544 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (a b) around 0 0.544 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.544 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.544 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.544 * [taylor]: Taking taylor expansion of a in b 0.544 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.544 * [taylor]: Taking taylor expansion of b in b 0.545 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.545 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.545 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.545 * [taylor]: Taking taylor expansion of a in a 0.545 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.545 * [taylor]: Taking taylor expansion of b in a 0.545 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.545 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.545 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.545 * [taylor]: Taking taylor expansion of a in a 0.545 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.545 * [taylor]: Taking taylor expansion of b in a 0.546 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.546 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.546 * [taylor]: Taking taylor expansion of b in b 0.547 * [taylor]: Taking taylor expansion of 0 in b 0.550 * [taylor]: Taking taylor expansion of 0 in b 0.553 * [taylor]: Taking taylor expansion of 0 in b 0.556 * [taylor]: Taking taylor expansion of 0 in b 0.557 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 0.557 * [approximate]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in (a b) around 0 0.557 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 0.557 * [taylor]: Taking taylor expansion of 2 in b 0.557 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.557 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.557 * [taylor]: Taking taylor expansion of a in b 0.557 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.557 * [taylor]: Taking taylor expansion of b in b 0.557 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.557 * [taylor]: Taking taylor expansion of 2 in a 0.557 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.557 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.557 * [taylor]: Taking taylor expansion of a in a 0.557 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.557 * [taylor]: Taking taylor expansion of b in a 0.557 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.557 * [taylor]: Taking taylor expansion of 2 in a 0.557 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.557 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.557 * [taylor]: Taking taylor expansion of a in a 0.557 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.557 * [taylor]: Taking taylor expansion of b in a 0.558 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 0.558 * [taylor]: Taking taylor expansion of 2 in b 0.558 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.558 * [taylor]: Taking taylor expansion of b in b 0.559 * [taylor]: Taking taylor expansion of 0 in b 0.562 * [taylor]: Taking taylor expansion of 0 in b 0.566 * [taylor]: Taking taylor expansion of 0 in b 0.566 * [approximate]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0 0.566 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b 0.566 * [taylor]: Taking taylor expansion of 2 in b 0.566 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.566 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.566 * [taylor]: Taking taylor expansion of a in b 0.566 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.566 * [taylor]: Taking taylor expansion of b in b 0.567 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 0.567 * [taylor]: Taking taylor expansion of 2 in a 0.567 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.567 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.567 * [taylor]: Taking taylor expansion of a in a 0.567 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.567 * [taylor]: Taking taylor expansion of b in a 0.567 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 0.567 * [taylor]: Taking taylor expansion of 2 in a 0.567 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.567 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.567 * [taylor]: Taking taylor expansion of a in a 0.567 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.567 * [taylor]: Taking taylor expansion of b in a 0.568 * [taylor]: Taking taylor expansion of (/ 2 (pow b 2)) in b 0.568 * [taylor]: Taking taylor expansion of 2 in b 0.568 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.568 * [taylor]: Taking taylor expansion of b in b 0.569 * [taylor]: Taking taylor expansion of 0 in b 0.572 * [taylor]: Taking taylor expansion of 0 in b 0.575 * [taylor]: Taking taylor expansion of 0 in b 0.579 * [taylor]: Taking taylor expansion of 0 in b 0.579 * [approximate]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0 0.579 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b 0.579 * [taylor]: Taking taylor expansion of 2 in b 0.579 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.579 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.579 * [taylor]: Taking taylor expansion of a in b 0.580 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.580 * [taylor]: Taking taylor expansion of b in b 0.580 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 0.580 * [taylor]: Taking taylor expansion of 2 in a 0.580 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.580 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.580 * [taylor]: Taking taylor expansion of a in a 0.580 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.580 * [taylor]: Taking taylor expansion of b in a 0.580 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 0.580 * [taylor]: Taking taylor expansion of 2 in a 0.581 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.581 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.581 * [taylor]: Taking taylor expansion of a in a 0.581 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.581 * [taylor]: Taking taylor expansion of b in a 0.581 * [taylor]: Taking taylor expansion of (/ 2 (pow b 2)) in b 0.581 * [taylor]: Taking taylor expansion of 2 in b 0.581 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.581 * [taylor]: Taking taylor expansion of b in b 0.583 * [taylor]: Taking taylor expansion of 0 in b 0.585 * [taylor]: Taking taylor expansion of 0 in b 0.588 * [taylor]: Taking taylor expansion of 0 in b 0.592 * [taylor]: Taking taylor expansion of 0 in b 0.592 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 0.593 * [approximate]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in (b a) around 0 0.593 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in a 0.593 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.593 * [taylor]: Taking taylor expansion of b in a 0.593 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.593 * [taylor]: Taking taylor expansion of 2 in a 0.593 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.593 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.593 * [taylor]: Taking taylor expansion of a in a 0.593 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.593 * [taylor]: Taking taylor expansion of b in a 0.593 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in b 0.593 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.593 * [taylor]: Taking taylor expansion of b in b 0.593 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 0.593 * [taylor]: Taking taylor expansion of 2 in b 0.593 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.593 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.593 * [taylor]: Taking taylor expansion of a in b 0.593 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.593 * [taylor]: Taking taylor expansion of b in b 0.593 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in b 0.593 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.593 * [taylor]: Taking taylor expansion of b in b 0.593 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 0.593 * [taylor]: Taking taylor expansion of 2 in b 0.593 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.593 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.593 * [taylor]: Taking taylor expansion of a in b 0.593 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.593 * [taylor]: Taking taylor expansion of b in b 0.594 * [taylor]: Taking taylor expansion of (* 2 (pow a 2)) in a 0.594 * [taylor]: Taking taylor expansion of 2 in a 0.594 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.594 * [taylor]: Taking taylor expansion of a in a 0.595 * [taylor]: Taking taylor expansion of 0 in a 0.597 * [taylor]: Taking taylor expansion of 1 in a 0.601 * [taylor]: Taking taylor expansion of 0 in a 0.606 * [taylor]: Taking taylor expansion of 0 in a 0.607 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in (b a) around 0 0.607 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in a 0.607 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.607 * [taylor]: Taking taylor expansion of 2 in a 0.607 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.607 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.607 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.607 * [taylor]: Taking taylor expansion of a in a 0.607 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.607 * [taylor]: Taking taylor expansion of b in a 0.607 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.607 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.607 * [taylor]: Taking taylor expansion of b in a 0.608 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in b 0.608 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.608 * [taylor]: Taking taylor expansion of 2 in b 0.608 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.608 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.608 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.608 * [taylor]: Taking taylor expansion of a in b 0.608 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.608 * [taylor]: Taking taylor expansion of b in b 0.608 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.608 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.608 * [taylor]: Taking taylor expansion of b in b 0.609 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in b 0.609 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.609 * [taylor]: Taking taylor expansion of 2 in b 0.609 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.609 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.609 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.609 * [taylor]: Taking taylor expansion of a in b 0.609 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.609 * [taylor]: Taking taylor expansion of b in b 0.609 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.609 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.609 * [taylor]: Taking taylor expansion of b in b 0.610 * [taylor]: Taking taylor expansion of 1 in a 0.612 * [taylor]: Taking taylor expansion of 0 in a 0.613 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 0.614 * [taylor]: Taking taylor expansion of 2 in a 0.614 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.614 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.614 * [taylor]: Taking taylor expansion of a in a 0.617 * [taylor]: Taking taylor expansion of 0 in a 0.623 * [taylor]: Taking taylor expansion of 0 in a 0.625 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in (b a) around 0 0.625 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in a 0.625 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.625 * [taylor]: Taking taylor expansion of 2 in a 0.625 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.625 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.625 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.625 * [taylor]: Taking taylor expansion of a in a 0.625 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.625 * [taylor]: Taking taylor expansion of b in a 0.628 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.628 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.628 * [taylor]: Taking taylor expansion of b in a 0.628 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in b 0.628 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.628 * [taylor]: Taking taylor expansion of 2 in b 0.628 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.628 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.628 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.628 * [taylor]: Taking taylor expansion of a in b 0.628 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.628 * [taylor]: Taking taylor expansion of b in b 0.629 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.629 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.629 * [taylor]: Taking taylor expansion of b in b 0.629 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in b 0.629 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.629 * [taylor]: Taking taylor expansion of 2 in b 0.629 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.629 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.629 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.629 * [taylor]: Taking taylor expansion of a in b 0.629 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.629 * [taylor]: Taking taylor expansion of b in b 0.630 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.630 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.630 * [taylor]: Taking taylor expansion of b in b 0.631 * [taylor]: Taking taylor expansion of 1 in a 0.632 * [taylor]: Taking taylor expansion of 0 in a 0.634 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 0.634 * [taylor]: Taking taylor expansion of 2 in a 0.634 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.634 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.634 * [taylor]: Taking taylor expansion of a in a 0.638 * [taylor]: Taking taylor expansion of 0 in a 0.643 * [taylor]: Taking taylor expansion of 0 in a 0.645 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.645 * [approximate]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in (a b) around 0 0.645 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in b 0.645 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.645 * [taylor]: Taking taylor expansion of a in b 0.645 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in b 0.645 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.645 * [taylor]: Taking taylor expansion of b in b 0.645 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 0.645 * [taylor]: Taking taylor expansion of 2 in b 0.645 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.645 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.645 * [taylor]: Taking taylor expansion of a in b 0.645 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.645 * [taylor]: Taking taylor expansion of b in b 0.646 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in a 0.646 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.646 * [taylor]: Taking taylor expansion of a in a 0.646 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in a 0.646 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.646 * [taylor]: Taking taylor expansion of b in a 0.646 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.646 * [taylor]: Taking taylor expansion of 2 in a 0.646 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.646 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.646 * [taylor]: Taking taylor expansion of a in a 0.646 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.646 * [taylor]: Taking taylor expansion of b in a 0.646 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in a 0.646 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.646 * [taylor]: Taking taylor expansion of a in a 0.646 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in a 0.646 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.646 * [taylor]: Taking taylor expansion of b in a 0.646 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 0.646 * [taylor]: Taking taylor expansion of 2 in a 0.646 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.646 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.646 * [taylor]: Taking taylor expansion of a in a 0.646 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.646 * [taylor]: Taking taylor expansion of b in a 0.646 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.646 * [taylor]: Taking taylor expansion of b in b 0.647 * [taylor]: Taking taylor expansion of 0 in b 0.648 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 0.648 * [taylor]: Taking taylor expansion of 2 in b 0.648 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.648 * [taylor]: Taking taylor expansion of b in b 0.651 * [taylor]: Taking taylor expansion of 0 in b 0.655 * [taylor]: Taking taylor expansion of 1 in b 0.657 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in (a b) around 0 0.657 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 0.657 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.657 * [taylor]: Taking taylor expansion of 2 in b 0.657 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.657 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.657 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.657 * [taylor]: Taking taylor expansion of a in b 0.657 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.657 * [taylor]: Taking taylor expansion of b in b 0.658 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 0.658 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.658 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.658 * [taylor]: Taking taylor expansion of a in b 0.658 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.658 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.658 * [taylor]: Taking taylor expansion of b in b 0.659 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.659 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.659 * [taylor]: Taking taylor expansion of 2 in a 0.659 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.659 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.659 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.659 * [taylor]: Taking taylor expansion of a in a 0.659 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.659 * [taylor]: Taking taylor expansion of b in a 0.659 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.659 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.659 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.659 * [taylor]: Taking taylor expansion of a in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.660 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.660 * [taylor]: Taking taylor expansion of b in a 0.660 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.660 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.660 * [taylor]: Taking taylor expansion of 2 in a 0.660 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.660 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.660 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.660 * [taylor]: Taking taylor expansion of a in a 0.660 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.660 * [taylor]: Taking taylor expansion of b in a 0.661 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.661 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.661 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.661 * [taylor]: Taking taylor expansion of a in a 0.661 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.662 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.662 * [taylor]: Taking taylor expansion of b in a 0.662 * [taylor]: Taking taylor expansion of 1 in b 0.664 * [taylor]: Taking taylor expansion of 0 in b 0.666 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 0.666 * [taylor]: Taking taylor expansion of 2 in b 0.666 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.666 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.666 * [taylor]: Taking taylor expansion of b in b 0.670 * [taylor]: Taking taylor expansion of 0 in b 0.674 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.674 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.674 * [taylor]: Taking taylor expansion of b in b 0.676 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in (a b) around 0 0.676 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 0.676 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 0.676 * [taylor]: Taking taylor expansion of 2 in b 0.676 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.676 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.676 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.676 * [taylor]: Taking taylor expansion of a in b 0.676 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.676 * [taylor]: Taking taylor expansion of b in b 0.676 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 0.676 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 0.677 * [taylor]: Taking taylor expansion of (pow a 4) in b 0.677 * [taylor]: Taking taylor expansion of a in b 0.677 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.677 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.677 * [taylor]: Taking taylor expansion of b in b 0.677 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.678 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.678 * [taylor]: Taking taylor expansion of 2 in a 0.678 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.678 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.678 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.678 * [taylor]: Taking taylor expansion of a in a 0.678 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.678 * [taylor]: Taking taylor expansion of b in a 0.678 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.678 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.678 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.678 * [taylor]: Taking taylor expansion of a in a 0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.679 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.679 * [taylor]: Taking taylor expansion of b in a 0.679 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 0.679 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 0.679 * [taylor]: Taking taylor expansion of 2 in a 0.679 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.679 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.679 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.679 * [taylor]: Taking taylor expansion of a in a 0.679 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.679 * [taylor]: Taking taylor expansion of b in a 0.680 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 0.680 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.680 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.680 * [taylor]: Taking taylor expansion of a in a 0.680 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 0.680 * [taylor]: Taking taylor expansion of (pow b 4) in a 0.680 * [taylor]: Taking taylor expansion of b in a 0.681 * [taylor]: Taking taylor expansion of 1 in b 0.683 * [taylor]: Taking taylor expansion of 0 in b 0.685 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 0.685 * [taylor]: Taking taylor expansion of 2 in b 0.685 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.685 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.685 * [taylor]: Taking taylor expansion of b in b 0.688 * [taylor]: Taking taylor expansion of 0 in b 0.692 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.692 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.692 * [taylor]: Taking taylor expansion of b in b 0.694 * * * [progress]: simplifying candidates 0.695 * [simplify]: Simplifying using # : (* a b) (+ (* (log a) 2) (* (log b) 2)) (* a b) (* a b) (* a (pow b (/ 2 2))) (* a (pow b (/ 2 2))) (* (pow a (/ 2 2)) b) (* (pow a (/ 2 2)) b) (* (pow a (/ 2 2)) (pow b (/ 2 2))) (* (pow a (/ 2 2)) (pow b (/ 2 2))) (* (pow a 2) b) (* (pow a 2) (pow b (/ 2 2))) (* a (pow b 2)) (* (pow a (/ 2 2)) (pow b 2)) (* 2 (pow a 2)) (* 2 (* a b)) (* 2 (* a (pow b (/ 2 2)))) (* 2 (* (pow a (/ 2 2)) b)) (* 2 (* (pow a (/ 2 2)) (pow b (/ 2 2)))) (* 2 (* (pow a 2) b)) (* 2 (* (pow a 2) (pow b (/ 2 2)))) (* 2 a) (* 2 (pow a (/ 2 2))) (* 2 (pow b 2)) (+ (pow (pow b 4) 3) (pow (* 2 (* (pow a 2) (pow b 2))) 3)) (+ (* (pow b 4) (pow b 4)) (- (* (* 2 (* (pow a 2) (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))) (* (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (- (* (pow b 4) (pow b 4)) (* (* 2 (* (pow a 2) (pow b 2))) (* 2 (* (pow a 2) (pow b 2))))) (- (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (+ (pow (pow a 4) 3) (pow (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) 3)) (+ (* (pow a 4) (pow a 4)) (- (* (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))))) (- (* (pow a 4) (pow a 4)) (* (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (+ (pow b 4) (* 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)) (+ (pow a 4) (* 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))) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (+ (pow b 4) (+ (pow a 4) (* 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))))) 0.698 * * [simplify]: iteration 0 : 183 enodes (cost 234 ) 0.703 * * [simplify]: iteration 1 : 813 enodes (cost 198 ) 0.723 * * [simplify]: iteration 2 : 4764 enodes (cost 197 ) 0.988 * * [simplify]: iteration 3 : 5001 enodes (cost 197 ) 0.990 * [simplify]: Simplified to: (* a b) (* 2 (+ (log a) (log b))) (* a b) (* a b) (* a b) (* a b) (* a b) (* a b) (* a b) (* a b) (* (pow a 2) b) (* (pow a 2) b) (* a (pow b 2)) (* a (pow b 2)) (* 2 (pow a 2)) (* (* 2 b) a) (* (* 2 b) a) (* (* 2 b) a) (* (* 2 b) a) (* (* 2 b) (pow a 2)) (* (* 2 b) (pow a 2)) (* 2 a) (* 2 a) (* 2 (pow b 2)) (+ (pow (pow b 4) 3) (pow (* 2 (* (pow a 2) (pow b 2))) 3)) (+ (* (* 2 (* (pow a 2) (pow b 2))) (- (* 2 (* (pow a 2) (pow b 2))) (pow b 4))) (pow b 8)) (* (pow b 4) (- (pow b 4) (* (pow a 4) 4))) (- (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (+ (pow (pow a 4) 3) (pow (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) 3)) (+ (* (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (- (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (pow a 4))) (pow a 8)) (+ (pow a 8) (- (* (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (+ (pow b 4) (* 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)) (+ (pow a 4) (* 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))) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (+ (pow b 4) (* 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))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 0.990 * * * [progress]: adding candidates to table 1.085 * * [progress]: iteration 3 / 4 1.085 * * * [progress]: picking best candidate 1.091 * * * * [pick]: Picked # 1.091 * * * [progress]: localizing error 1.111 * * * [progress]: generating rewritten candidates 1.112 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 1.122 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.128 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1) 1.132 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1.136 * * * [progress]: generating series expansions 1.136 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 1.136 * [approximate]: Taking taylor expansion of (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))) in (b a) around 0 1.136 * [taylor]: Taking taylor expansion of (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))) in a 1.136 * [taylor]: Taking taylor expansion of (- (pow a 4) (pow b 4)) in a 1.136 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.136 * [taylor]: Taking taylor expansion of a in a 1.136 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.136 * [taylor]: Taking taylor expansion of b in a 1.136 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 1.136 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.136 * [taylor]: Taking taylor expansion of a in a 1.136 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.136 * [taylor]: Taking taylor expansion of b in a 1.137 * [taylor]: Taking taylor expansion of (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))) in b 1.137 * [taylor]: Taking taylor expansion of (- (pow a 4) (pow b 4)) in b 1.137 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.137 * [taylor]: Taking taylor expansion of a in b 1.137 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.137 * [taylor]: Taking taylor expansion of b in b 1.137 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 1.137 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.137 * [taylor]: Taking taylor expansion of a in b 1.137 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.137 * [taylor]: Taking taylor expansion of b in b 1.137 * [taylor]: Taking taylor expansion of (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))) in b 1.137 * [taylor]: Taking taylor expansion of (- (pow a 4) (pow b 4)) in b 1.137 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.137 * [taylor]: Taking taylor expansion of a in b 1.137 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.137 * [taylor]: Taking taylor expansion of b in b 1.137 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 1.137 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.137 * [taylor]: Taking taylor expansion of a in b 1.137 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.138 * [taylor]: Taking taylor expansion of b in b 1.138 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.138 * [taylor]: Taking taylor expansion of a in a 1.139 * [taylor]: Taking taylor expansion of 0 in a 1.141 * [taylor]: Taking taylor expansion of 1 in a 1.145 * [taylor]: Taking taylor expansion of 0 in a 1.150 * [taylor]: Taking taylor expansion of 0 in a 1.150 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in (b a) around 0 1.150 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a 1.150 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 1.150 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 1.150 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.150 * [taylor]: Taking taylor expansion of a in a 1.151 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 1.151 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.151 * [taylor]: Taking taylor expansion of b in a 1.151 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 1.151 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.151 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.151 * [taylor]: Taking taylor expansion of a in a 1.152 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.152 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.152 * [taylor]: Taking taylor expansion of b in a 1.153 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b 1.153 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1.153 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 1.153 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.153 * [taylor]: Taking taylor expansion of a in b 1.153 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.153 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.153 * [taylor]: Taking taylor expansion of b in b 1.154 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 1.154 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.154 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.154 * [taylor]: Taking taylor expansion of a in b 1.154 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.154 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.154 * [taylor]: Taking taylor expansion of b in b 1.156 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b 1.156 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1.156 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 1.156 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.156 * [taylor]: Taking taylor expansion of a in b 1.156 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.156 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.156 * [taylor]: Taking taylor expansion of b in b 1.157 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 1.157 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.157 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.157 * [taylor]: Taking taylor expansion of a in b 1.157 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.157 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.157 * [taylor]: Taking taylor expansion of b in b 1.159 * [taylor]: Taking taylor expansion of 1 in a 1.162 * [taylor]: Taking taylor expansion of 0 in a 1.166 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.166 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.166 * [taylor]: Taking taylor expansion of a in a 1.171 * [taylor]: Taking taylor expansion of 0 in a 1.177 * [taylor]: Taking taylor expansion of 0 in a 1.178 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in (b a) around 0 1.179 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a 1.179 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 1.179 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 1.179 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.179 * [taylor]: Taking taylor expansion of a in a 1.179 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 1.179 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.179 * [taylor]: Taking taylor expansion of b in a 1.180 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 1.180 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.180 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.180 * [taylor]: Taking taylor expansion of a in a 1.180 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.180 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.180 * [taylor]: Taking taylor expansion of b in a 1.181 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b 1.181 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1.181 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 1.181 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.181 * [taylor]: Taking taylor expansion of a in b 1.181 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.181 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.181 * [taylor]: Taking taylor expansion of b in b 1.182 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 1.182 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.182 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.182 * [taylor]: Taking taylor expansion of a in b 1.182 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.182 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.182 * [taylor]: Taking taylor expansion of b in b 1.184 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b 1.184 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1.184 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 1.184 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.184 * [taylor]: Taking taylor expansion of a in b 1.184 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.184 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.184 * [taylor]: Taking taylor expansion of b in b 1.185 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 1.185 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.185 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.185 * [taylor]: Taking taylor expansion of a in b 1.185 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.185 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.185 * [taylor]: Taking taylor expansion of b in b 1.187 * [taylor]: Taking taylor expansion of 1 in a 1.190 * [taylor]: Taking taylor expansion of 0 in a 1.197 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.197 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.197 * [taylor]: Taking taylor expansion of a in a 1.203 * [taylor]: Taking taylor expansion of 0 in a 1.209 * [taylor]: Taking taylor expansion of 0 in a 1.210 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.211 * [approximate]: Taking taylor expansion of (pow (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))) 2.0) in (b a) around 0 1.211 * [taylor]: Taking taylor expansion of (pow (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))) 2.0) in a 1.211 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2)))))) in a 1.211 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))))) in a 1.211 * [taylor]: Taking taylor expansion of 2.0 in a 1.211 * [taylor]: Taking taylor expansion of (log (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2)))) in a 1.211 * [taylor]: Taking taylor expansion of (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))) in a 1.211 * [taylor]: Taking taylor expansion of (- (pow a 4) (pow b 4)) in a 1.211 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.211 * [taylor]: Taking taylor expansion of a in a 1.211 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.211 * [taylor]: Taking taylor expansion of b in a 1.211 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in a 1.211 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.211 * [taylor]: Taking taylor expansion of a in a 1.211 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.211 * [taylor]: Taking taylor expansion of b in a 1.212 * [taylor]: Taking taylor expansion of (pow (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))) 2.0) in b 1.212 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2)))))) in b 1.212 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))))) in b 1.212 * [taylor]: Taking taylor expansion of 2.0 in b 1.212 * [taylor]: Taking taylor expansion of (log (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2)))) in b 1.212 * [taylor]: Taking taylor expansion of (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))) in b 1.212 * [taylor]: Taking taylor expansion of (- (pow a 4) (pow b 4)) in b 1.212 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.212 * [taylor]: Taking taylor expansion of a in b 1.212 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.212 * [taylor]: Taking taylor expansion of b in b 1.212 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 1.212 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.212 * [taylor]: Taking taylor expansion of a in b 1.212 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.212 * [taylor]: Taking taylor expansion of b in b 1.212 * [taylor]: Taking taylor expansion of (pow (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))) 2.0) in b 1.212 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2)))))) in b 1.212 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))))) in b 1.212 * [taylor]: Taking taylor expansion of 2.0 in b 1.212 * [taylor]: Taking taylor expansion of (log (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2)))) in b 1.212 * [taylor]: Taking taylor expansion of (/ (- (pow a 4) (pow b 4)) (- (pow a 2) (pow b 2))) in b 1.213 * [taylor]: Taking taylor expansion of (- (pow a 4) (pow b 4)) in b 1.213 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.213 * [taylor]: Taking taylor expansion of a in b 1.213 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.213 * [taylor]: Taking taylor expansion of b in b 1.213 * [taylor]: Taking taylor expansion of (- (pow a 2) (pow b 2)) in b 1.213 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.213 * [taylor]: Taking taylor expansion of a in b 1.213 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.213 * [taylor]: Taking taylor expansion of b in b 1.213 * [taylor]: Taking taylor expansion of (pow (pow a 2) 2.0) in a 1.213 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow a 2)))) in a 1.213 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow a 2))) in a 1.213 * [taylor]: Taking taylor expansion of 2.0 in a 1.213 * [taylor]: Taking taylor expansion of (log (pow a 2)) in a 1.213 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.213 * [taylor]: Taking taylor expansion of a in a 1.217 * [taylor]: Taking taylor expansion of 0 in a 1.223 * [taylor]: Taking taylor expansion of (* 2.0 (pow (pow a 2.0) 1.0)) in a 1.223 * [taylor]: Taking taylor expansion of 2.0 in a 1.223 * [taylor]: Taking taylor expansion of (pow (pow a 2.0) 1.0) in a 1.223 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow a 2.0)))) in a 1.223 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow a 2.0))) in a 1.223 * [taylor]: Taking taylor expansion of 1.0 in a 1.223 * [taylor]: Taking taylor expansion of (log (pow a 2.0)) in a 1.223 * [taylor]: Taking taylor expansion of (pow a 2.0) in a 1.223 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log a))) in a 1.223 * [taylor]: Taking taylor expansion of (* 2.0 (log a)) in a 1.223 * [taylor]: Taking taylor expansion of 2.0 in a 1.223 * [taylor]: Taking taylor expansion of (log a) in a 1.223 * [taylor]: Taking taylor expansion of a in a 1.235 * [taylor]: Taking taylor expansion of 0 in a 1.244 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) 2.0) in (b a) around 0 1.244 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) 2.0) in a 1.244 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))) in a 1.244 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a 1.244 * [taylor]: Taking taylor expansion of 2.0 in a 1.244 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a 1.244 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a 1.244 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 1.245 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 1.245 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.245 * [taylor]: Taking taylor expansion of a in a 1.245 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 1.245 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.245 * [taylor]: Taking taylor expansion of b in a 1.246 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 1.246 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.246 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.246 * [taylor]: Taking taylor expansion of a in a 1.246 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.246 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.246 * [taylor]: Taking taylor expansion of b in a 1.248 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) 2.0) in b 1.248 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))) in b 1.248 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b 1.248 * [taylor]: Taking taylor expansion of 2.0 in b 1.248 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b 1.248 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b 1.248 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1.248 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 1.248 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.248 * [taylor]: Taking taylor expansion of a in b 1.248 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.248 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.248 * [taylor]: Taking taylor expansion of b in b 1.249 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 1.249 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.249 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.249 * [taylor]: Taking taylor expansion of a in b 1.249 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.249 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.249 * [taylor]: Taking taylor expansion of b in b 1.251 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) 2.0) in b 1.251 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))) in b 1.251 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b 1.251 * [taylor]: Taking taylor expansion of 2.0 in b 1.251 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b 1.251 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b 1.251 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1.251 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 1.251 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.251 * [taylor]: Taking taylor expansion of a in b 1.251 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.252 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.252 * [taylor]: Taking taylor expansion of b in b 1.252 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 1.252 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.252 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.252 * [taylor]: Taking taylor expansion of a in b 1.253 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.253 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.253 * [taylor]: Taking taylor expansion of b in b 1.255 * [taylor]: Taking taylor expansion of (pow b -4.0) in a 1.255 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log b))) in a 1.255 * [taylor]: Taking taylor expansion of (* -4.0 (log b)) in a 1.255 * [taylor]: Taking taylor expansion of -4.0 in a 1.255 * [taylor]: Taking taylor expansion of (log b) in a 1.255 * [taylor]: Taking taylor expansion of b in a 1.260 * [taylor]: Taking taylor expansion of 0 in a 1.268 * [taylor]: Taking taylor expansion of (* 2.0 (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 4.0)) 1.0))) in a 1.268 * [taylor]: Taking taylor expansion of 2.0 in a 1.268 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 4.0)) 1.0)) in a 1.268 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.268 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.268 * [taylor]: Taking taylor expansion of a in a 1.268 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 4.0)) 1.0) in a 1.268 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow b 4.0))))) in a 1.268 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow b 4.0)))) in a 1.268 * [taylor]: Taking taylor expansion of 1.0 in a 1.268 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 4.0))) in a 1.268 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4.0)) in a 1.268 * [taylor]: Taking taylor expansion of (pow b 4.0) in a 1.268 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log b))) in a 1.268 * [taylor]: Taking taylor expansion of (* 4.0 (log b)) in a 1.268 * [taylor]: Taking taylor expansion of 4.0 in a 1.268 * [taylor]: Taking taylor expansion of (log b) in a 1.268 * [taylor]: Taking taylor expansion of b in a 1.296 * [taylor]: Taking taylor expansion of 0 in a 1.297 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) 2.0) in (b a) around 0 1.297 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) 2.0) in a 1.297 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))) in a 1.297 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in a 1.297 * [taylor]: Taking taylor expansion of 2.0 in a 1.297 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in a 1.297 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in a 1.297 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 1.297 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 1.297 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.297 * [taylor]: Taking taylor expansion of a in a 1.297 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 1.298 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.298 * [taylor]: Taking taylor expansion of b in a 1.298 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in a 1.298 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.298 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.298 * [taylor]: Taking taylor expansion of a in a 1.298 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.298 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.298 * [taylor]: Taking taylor expansion of b in a 1.300 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) 2.0) in b 1.300 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))) in b 1.300 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b 1.300 * [taylor]: Taking taylor expansion of 2.0 in b 1.300 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b 1.300 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b 1.300 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1.300 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 1.300 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.300 * [taylor]: Taking taylor expansion of a in b 1.300 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.300 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.300 * [taylor]: Taking taylor expansion of b in b 1.301 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 1.301 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.301 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.301 * [taylor]: Taking taylor expansion of a in b 1.301 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.301 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.301 * [taylor]: Taking taylor expansion of b in b 1.303 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) 2.0) in b 1.303 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))))) in b 1.303 * [taylor]: Taking taylor expansion of (* 2.0 (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))))) in b 1.303 * [taylor]: Taking taylor expansion of 2.0 in b 1.303 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2))))) in b 1.303 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) (- (/ 1 (pow a 2)) (/ 1 (pow b 2)))) in b 1.303 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1.303 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 1.303 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.303 * [taylor]: Taking taylor expansion of a in b 1.304 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.304 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.304 * [taylor]: Taking taylor expansion of b in b 1.304 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2)) (/ 1 (pow b 2))) in b 1.305 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.305 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.305 * [taylor]: Taking taylor expansion of a in b 1.305 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.305 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.305 * [taylor]: Taking taylor expansion of b in b 1.307 * [taylor]: Taking taylor expansion of (pow b -4.0) in a 1.307 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log b))) in a 1.307 * [taylor]: Taking taylor expansion of (* -4.0 (log b)) in a 1.307 * [taylor]: Taking taylor expansion of -4.0 in a 1.307 * [taylor]: Taking taylor expansion of (log b) in a 1.307 * [taylor]: Taking taylor expansion of b in a 1.312 * [taylor]: Taking taylor expansion of 0 in a 1.320 * [taylor]: Taking taylor expansion of (* 2.0 (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 4.0)) 1.0))) in a 1.320 * [taylor]: Taking taylor expansion of 2.0 in a 1.320 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 4.0)) 1.0)) in a 1.320 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.320 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.320 * [taylor]: Taking taylor expansion of a in a 1.320 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 4.0)) 1.0) in a 1.320 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow b 4.0))))) in a 1.320 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow b 4.0)))) in a 1.320 * [taylor]: Taking taylor expansion of 1.0 in a 1.320 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 4.0))) in a 1.320 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4.0)) in a 1.320 * [taylor]: Taking taylor expansion of (pow b 4.0) in a 1.320 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log b))) in a 1.320 * [taylor]: Taking taylor expansion of (* 4.0 (log b)) in a 1.320 * [taylor]: Taking taylor expansion of 4.0 in a 1.320 * [taylor]: Taking taylor expansion of (log b) in a 1.320 * [taylor]: Taking taylor expansion of b in a 1.345 * [taylor]: Taking taylor expansion of 0 in a 1.345 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1) 1.345 * [approximate]: Taking taylor expansion of (* -1 (pow b 4)) in (b) around 0 1.345 * [taylor]: Taking taylor expansion of (* -1 (pow b 4)) in b 1.345 * [taylor]: Taking taylor expansion of -1 in b 1.345 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.345 * [taylor]: Taking taylor expansion of b in b 1.345 * [taylor]: Taking taylor expansion of (* -1 (pow b 4)) in b 1.345 * [taylor]: Taking taylor expansion of -1 in b 1.345 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.345 * [taylor]: Taking taylor expansion of b in b 1.357 * [approximate]: Taking taylor expansion of (/ -1 (pow b 4)) in (b) around 0 1.357 * [taylor]: Taking taylor expansion of (/ -1 (pow b 4)) in b 1.357 * [taylor]: Taking taylor expansion of -1 in b 1.357 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.357 * [taylor]: Taking taylor expansion of b in b 1.357 * [taylor]: Taking taylor expansion of (/ -1 (pow b 4)) in b 1.357 * [taylor]: Taking taylor expansion of -1 in b 1.357 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.357 * [taylor]: Taking taylor expansion of b in b 1.371 * [approximate]: Taking taylor expansion of (/ -1 (pow b 4)) in (b) around 0 1.371 * [taylor]: Taking taylor expansion of (/ -1 (pow b 4)) in b 1.371 * [taylor]: Taking taylor expansion of -1 in b 1.371 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.371 * [taylor]: Taking taylor expansion of b in b 1.372 * [taylor]: Taking taylor expansion of (/ -1 (pow b 4)) in b 1.372 * [taylor]: Taking taylor expansion of -1 in b 1.372 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.372 * [taylor]: Taking taylor expansion of b in b 1.383 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 1.383 * [approximate]: Taking taylor expansion of (* 4.0 (pow b 2)) in (b) around 0 1.383 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 1.383 * [taylor]: Taking taylor expansion of 4.0 in b 1.383 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.383 * [taylor]: Taking taylor expansion of b in b 1.383 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 1.383 * [taylor]: Taking taylor expansion of 4.0 in b 1.383 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.383 * [taylor]: Taking taylor expansion of b in b 1.392 * [approximate]: Taking taylor expansion of (/ 4.0 (pow b 2)) in (b) around 0 1.392 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b 1.392 * [taylor]: Taking taylor expansion of 4.0 in b 1.392 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.392 * [taylor]: Taking taylor expansion of b in b 1.392 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b 1.392 * [taylor]: Taking taylor expansion of 4.0 in b 1.392 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.392 * [taylor]: Taking taylor expansion of b in b 1.400 * [approximate]: Taking taylor expansion of (/ 4.0 (pow b 2)) in (b) around 0 1.400 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b 1.400 * [taylor]: Taking taylor expansion of 4.0 in b 1.400 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.400 * [taylor]: Taking taylor expansion of b in b 1.400 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b 1.400 * [taylor]: Taking taylor expansion of 4.0 in b 1.400 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.400 * [taylor]: Taking taylor expansion of b in b 1.408 * * * [progress]: simplifying candidates 1.408 * [simplify]: Simplifying using # : (- (+ (* (- (pow b 3)) b) (pow a 4))) (- (- (* a a) (* b b))) (/ 1 (- (* a a) (* b b))) (/ (- (* a a) (* b b)) (+ (* (- (pow b 3)) b) (pow a 4))) (/ (+ (* (- (pow b 3)) b) (pow a 4)) (+ a b)) (/ (+ (* (- (pow b 3)) b) (pow a 4)) (+ a b)) (/ (+ (* (- (pow b 3)) b) (pow a 4)) (+ a b)) (/ (+ (* (- (pow b 3)) b) (pow a 4)) (+ a b)) (/ (+ (* (- (pow b 3)) b) (pow a 4)) (- (pow (* a a) 3) (pow (* b b) 3))) (/ (+ (* (- (pow b 3)) b) (pow a 4)) (- (* (* a a) (* a a)) (* (* b b) (* b b)))) (* (- (* a a) (* b b)) (+ (* (* (- (pow b 3)) b) (* (- (pow b 3)) b)) (- (* (pow a 4) (pow a 4)) (* (* (- (pow b 3)) b) (pow a 4))))) (* (- (* a a) (* b b)) (- (* (- (pow b 3)) b) (pow a 4))) (* (log (/ (+ (* (- (pow b 3)) b) (pow a 4)) (- (* a a) (* b b)))) 2.0) (pow (+ (* (- (pow b 3)) b) (pow a 4)) 2.0) (pow (/ 1 (- (* a a) (* b b))) 2.0) (pow (/ (+ (* (- (pow b 3)) b) (pow a 4)) (- (pow (* a a) 3) (pow (* b b) 3))) 2.0) (pow (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b)))) 2.0) (pow (/ (+ (* (- (pow b 3)) b) (pow a 4)) (- (* (* a a) (* a a)) (* (* b b) (* b b)))) 2.0) (pow (+ (* a a) (* b b)) 2.0) (pow (/ (+ (* (- (pow b 3)) b) (pow a 4)) (- (* a a) (* b b))) (/ 2.0 2)) (pow (/ (+ (* (- (pow b 3)) b) (pow a 4)) (- (* a a) (* b b))) (/ 2.0 2)) (* (pow b 3) b) (* (pow b 3) b) (* b b) (* (pow b (/ 3 2)) b) (* (- b) b) (* (- (pow b (/ 3 2))) b) (* 4.0 b) (* 4.0 b) (+ (pow a 2) (pow b 2)) (+ (pow a 2) (pow b 2)) (+ (pow a 2) (pow b 2)) (+ (pow a 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 b) -4.0) (pow (/ -1 b) -4.0) (* -1 (pow b 4)) (* -1 (pow b 4)) (* -1 (pow b 4)) (* 4.0 (pow b 2)) (* 4.0 (pow b 2)) (* 4.0 (pow b 2)) 1.412 * * [simplify]: iteration 0 : 213 enodes (cost 228 ) 1.416 * * [simplify]: iteration 1 : 893 enodes (cost 192 ) 1.438 * * [simplify]: iteration 2 : 5001 enodes (cost 182 ) 1.439 * [simplify]: Simplified to: (- (pow b 4) (pow a 4)) (- (- (* a a) (* b b))) (/ 1 (- (* a a) (* b b))) (/ 1 (+ (pow a 2) (pow b 2))) (/ (+ (pow a 4) (- (pow b 4))) (+ a b)) (/ (+ (pow a 4) (- (pow b 4))) (+ a b)) (/ (+ (pow a 4) (- (pow b 4))) (+ a b)) (/ (+ (pow a 4) (- (pow b 4))) (+ a b)) (/ (+ (* (- (pow b 3)) b) (pow a 4)) (- (pow (* a a) 3) (pow (* b b) 3))) 1 (* (* (+ (+ (pow b 8) (* (pow b 4) (pow a 4))) (pow a 8)) (- a b)) (+ a b)) (* (* (- (+ (pow b 4) (pow a 4))) (+ a b)) (- a b)) (* (log (/ (+ (* (- (pow b 3)) b) (pow a 4)) (- (* a a) (* b b)))) 2.0) (pow (+ (* (- (pow b 3)) b) (pow a 4)) 2.0) (pow (/ 1 (- (* a a) (* b b))) 2.0) (pow (/ (+ (* (- (pow b 3)) b) (pow a 4)) (- (pow (* a a) 3) (pow (* b b) 3))) 2.0) (pow (+ (* (* a a) (* a a)) (+ (* (* b b) (* b b)) (* (* a a) (* b b)))) 2.0) 1 (pow (+ (* a a) (* b b)) 2.0) (pow (/ (+ (* (- (pow b 3)) b) (pow a 4)) (- (* a a) (* b b))) (/ 2.0 2)) (pow (/ (+ (* (- (pow b 3)) b) (pow a 4)) (- (* a a) (* b b))) (/ 2.0 2)) (pow b 4) (pow b 4) (pow b 2) (pow b 5/2) (* (- b) b) (- (pow b 5/2)) (* 4.0 b) (* 4.0 b) (+ (pow a 2) (pow b 2)) (+ (pow a 2) (pow b 2)) (+ (pow a 2) (pow b 2)) (+ (pow a 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 b) -4.0) (pow (/ -1 b) -4.0) (* -1 (pow b 4)) (* -1 (pow b 4)) (* -1 (pow b 4)) (* 4.0 (pow b 2)) (* 4.0 (pow b 2)) (* 4.0 (pow b 2)) 1.439 * * * [progress]: adding candidates to table 1.542 * * [progress]: iteration 4 / 4 1.542 * * * [progress]: picking best candidate 1.545 * * * * [pick]: Picked # 1.545 * * * [progress]: localizing error 1.565 * * * [progress]: generating rewritten candidates 1.566 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.583 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 1.587 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.591 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1.604 * * * [progress]: generating series expansions 1.604 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.606 * [approximate]: Taking taylor expansion of (/ (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2)))) in (b a) around 0 1.606 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2)))) in a 1.606 * [taylor]: Taking taylor expansion of (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) in a 1.606 * [taylor]: Taking taylor expansion of (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) in a 1.606 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 6))) in a 1.606 * [taylor]: Taking taylor expansion of 4 in a 1.606 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in a 1.606 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.606 * [taylor]: Taking taylor expansion of a in a 1.606 * [taylor]: Taking taylor expansion of (pow b 6) in a 1.606 * [taylor]: Taking taylor expansion of b in a 1.606 * [taylor]: Taking taylor expansion of (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))))) in a 1.606 * [taylor]: Taking taylor expansion of (pow a 8) in a 1.606 * [taylor]: Taking taylor expansion of a in a 1.606 * [taylor]: Taking taylor expansion of (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))) in a 1.606 * [taylor]: Taking taylor expansion of (pow b 8) in a 1.606 * [taylor]: Taking taylor expansion of b in a 1.606 * [taylor]: Taking taylor expansion of (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))) in a 1.606 * [taylor]: Taking taylor expansion of (* 6 (* (pow a 4) (pow b 4))) in a 1.606 * [taylor]: Taking taylor expansion of 6 in a 1.606 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in a 1.606 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.606 * [taylor]: Taking taylor expansion of a in a 1.606 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.606 * [taylor]: Taking taylor expansion of b in a 1.606 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 6) (pow b 2))) in a 1.606 * [taylor]: Taking taylor expansion of 4 in a 1.606 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in a 1.606 * [taylor]: Taking taylor expansion of (pow a 6) in a 1.606 * [taylor]: Taking taylor expansion of a in a 1.606 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.606 * [taylor]: Taking taylor expansion of b in a 1.606 * [taylor]: Taking taylor expansion of (* 16.0 (pow b 4)) in a 1.606 * [taylor]: Taking taylor expansion of 16.0 in a 1.606 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.606 * [taylor]: Taking taylor expansion of b in a 1.607 * [taylor]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2))) in a 1.607 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in a 1.607 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.607 * [taylor]: Taking taylor expansion of a in a 1.607 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in a 1.607 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.607 * [taylor]: Taking taylor expansion of b in a 1.607 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 1.607 * [taylor]: Taking taylor expansion of 2 in a 1.607 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1.607 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.607 * [taylor]: Taking taylor expansion of a in a 1.607 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.607 * [taylor]: Taking taylor expansion of b in a 1.607 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in a 1.607 * [taylor]: Taking taylor expansion of 4.0 in a 1.607 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.607 * [taylor]: Taking taylor expansion of b in a 1.608 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2)))) in b 1.608 * [taylor]: Taking taylor expansion of (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) in b 1.608 * [taylor]: Taking taylor expansion of (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) in b 1.608 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 6))) in b 1.608 * [taylor]: Taking taylor expansion of 4 in b 1.608 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 1.608 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.608 * [taylor]: Taking taylor expansion of a in b 1.609 * [taylor]: Taking taylor expansion of (pow b 6) in b 1.609 * [taylor]: Taking taylor expansion of b in b 1.609 * [taylor]: Taking taylor expansion of (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))))) in b 1.609 * [taylor]: Taking taylor expansion of (pow a 8) in b 1.609 * [taylor]: Taking taylor expansion of a in b 1.609 * [taylor]: Taking taylor expansion of (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))) in b 1.609 * [taylor]: Taking taylor expansion of (pow b 8) in b 1.609 * [taylor]: Taking taylor expansion of b in b 1.609 * [taylor]: Taking taylor expansion of (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))) in b 1.609 * [taylor]: Taking taylor expansion of (* 6 (* (pow a 4) (pow b 4))) in b 1.609 * [taylor]: Taking taylor expansion of 6 in b 1.609 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 1.609 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.609 * [taylor]: Taking taylor expansion of a in b 1.609 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.609 * [taylor]: Taking taylor expansion of b in b 1.609 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 6) (pow b 2))) in b 1.609 * [taylor]: Taking taylor expansion of 4 in b 1.609 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 1.609 * [taylor]: Taking taylor expansion of (pow a 6) in b 1.609 * [taylor]: Taking taylor expansion of a in b 1.609 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.609 * [taylor]: Taking taylor expansion of b in b 1.609 * [taylor]: Taking taylor expansion of (* 16.0 (pow b 4)) in b 1.609 * [taylor]: Taking taylor expansion of 16.0 in b 1.609 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.609 * [taylor]: Taking taylor expansion of b in b 1.609 * [taylor]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2))) in b 1.609 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in b 1.609 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.609 * [taylor]: Taking taylor expansion of a in b 1.609 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in b 1.609 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.609 * [taylor]: Taking taylor expansion of b in b 1.609 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 1.609 * [taylor]: Taking taylor expansion of 2 in b 1.609 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1.609 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.609 * [taylor]: Taking taylor expansion of a in b 1.609 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.609 * [taylor]: Taking taylor expansion of b in b 1.609 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 1.609 * [taylor]: Taking taylor expansion of 4.0 in b 1.609 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.609 * [taylor]: Taking taylor expansion of b in b 1.610 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2)))) in b 1.610 * [taylor]: Taking taylor expansion of (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) in b 1.610 * [taylor]: Taking taylor expansion of (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) in b 1.610 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 6))) in b 1.610 * [taylor]: Taking taylor expansion of 4 in b 1.610 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 1.610 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.610 * [taylor]: Taking taylor expansion of a in b 1.610 * [taylor]: Taking taylor expansion of (pow b 6) in b 1.610 * [taylor]: Taking taylor expansion of b in b 1.610 * [taylor]: Taking taylor expansion of (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))))) in b 1.610 * [taylor]: Taking taylor expansion of (pow a 8) in b 1.610 * [taylor]: Taking taylor expansion of a in b 1.610 * [taylor]: Taking taylor expansion of (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))) in b 1.610 * [taylor]: Taking taylor expansion of (pow b 8) in b 1.610 * [taylor]: Taking taylor expansion of b in b 1.610 * [taylor]: Taking taylor expansion of (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))) in b 1.610 * [taylor]: Taking taylor expansion of (* 6 (* (pow a 4) (pow b 4))) in b 1.610 * [taylor]: Taking taylor expansion of 6 in b 1.610 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 1.610 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.610 * [taylor]: Taking taylor expansion of a in b 1.610 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.610 * [taylor]: Taking taylor expansion of b in b 1.610 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 6) (pow b 2))) in b 1.610 * [taylor]: Taking taylor expansion of 4 in b 1.611 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 1.611 * [taylor]: Taking taylor expansion of (pow a 6) in b 1.611 * [taylor]: Taking taylor expansion of a in b 1.611 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.611 * [taylor]: Taking taylor expansion of b in b 1.611 * [taylor]: Taking taylor expansion of (* 16.0 (pow b 4)) in b 1.611 * [taylor]: Taking taylor expansion of 16.0 in b 1.611 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.611 * [taylor]: Taking taylor expansion of b in b 1.611 * [taylor]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2))) in b 1.611 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in b 1.611 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.611 * [taylor]: Taking taylor expansion of a in b 1.611 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in b 1.611 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.611 * [taylor]: Taking taylor expansion of b in b 1.611 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 1.611 * [taylor]: Taking taylor expansion of 2 in b 1.611 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1.611 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.611 * [taylor]: Taking taylor expansion of a in b 1.611 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.611 * [taylor]: Taking taylor expansion of b in b 1.611 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 1.611 * [taylor]: Taking taylor expansion of 4.0 in b 1.611 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.611 * [taylor]: Taking taylor expansion of b in b 1.612 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.612 * [taylor]: Taking taylor expansion of a in a 1.614 * [taylor]: Taking taylor expansion of 0 in a 1.618 * [taylor]: Taking taylor expansion of (+ (* 2 (pow a 2)) 4.0) in a 1.619 * [taylor]: Taking taylor expansion of (* 2 (pow a 2)) in a 1.619 * [taylor]: Taking taylor expansion of 2 in a 1.619 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.619 * [taylor]: Taking taylor expansion of a in a 1.619 * [taylor]: Taking taylor expansion of 4.0 in a 1.627 * [taylor]: Taking taylor expansion of 0 in a 1.641 * [taylor]: Taking taylor expansion of 1 in a 1.644 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in (b a) around 0 1.644 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in a 1.644 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in a 1.644 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) in a 1.644 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in a 1.644 * [taylor]: Taking taylor expansion of (pow b 8) in a 1.644 * [taylor]: Taking taylor expansion of b in a 1.645 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))))) in a 1.645 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in a 1.645 * [taylor]: Taking taylor expansion of 4 in a 1.645 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in a 1.645 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in a 1.645 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.645 * [taylor]: Taking taylor expansion of a in a 1.645 * [taylor]: Taking taylor expansion of (pow b 6) in a 1.645 * [taylor]: Taking taylor expansion of b in a 1.645 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))) in a 1.645 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in a 1.645 * [taylor]: Taking taylor expansion of 4 in a 1.645 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in a 1.645 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in a 1.645 * [taylor]: Taking taylor expansion of (pow a 6) in a 1.645 * [taylor]: Taking taylor expansion of a in a 1.645 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.645 * [taylor]: Taking taylor expansion of b in a 1.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))) in a 1.646 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 1.646 * [taylor]: Taking taylor expansion of (pow a 8) in a 1.646 * [taylor]: Taking taylor expansion of a in a 1.647 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in a 1.647 * [taylor]: Taking taylor expansion of 6 in a 1.647 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in a 1.647 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in a 1.647 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.647 * [taylor]: Taking taylor expansion of a in a 1.647 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.647 * [taylor]: Taking taylor expansion of b in a 1.648 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in a 1.648 * [taylor]: Taking taylor expansion of 16.0 in a 1.648 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 1.648 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.648 * [taylor]: Taking taylor expansion of b in a 1.648 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in a 1.648 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 1.648 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 1.648 * [taylor]: Taking taylor expansion of 2 in a 1.648 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 1.648 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1.648 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.648 * [taylor]: Taking taylor expansion of a in a 1.649 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.649 * [taylor]: Taking taylor expansion of b in a 1.649 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 1.649 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 1.649 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.649 * [taylor]: Taking taylor expansion of a in a 1.650 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 1.650 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.650 * [taylor]: Taking taylor expansion of b in a 1.650 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 1.650 * [taylor]: Taking taylor expansion of 4.0 in a 1.650 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.650 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.650 * [taylor]: Taking taylor expansion of b in a 1.652 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in b 1.653 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in b 1.653 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) in b 1.653 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in b 1.653 * [taylor]: Taking taylor expansion of (pow b 8) in b 1.653 * [taylor]: Taking taylor expansion of b in b 1.654 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))))) in b 1.654 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in b 1.654 * [taylor]: Taking taylor expansion of 4 in b 1.654 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in b 1.654 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 1.654 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.654 * [taylor]: Taking taylor expansion of a in b 1.654 * [taylor]: Taking taylor expansion of (pow b 6) in b 1.654 * [taylor]: Taking taylor expansion of b in b 1.655 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))) in b 1.655 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in b 1.655 * [taylor]: Taking taylor expansion of 4 in b 1.655 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in b 1.655 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 1.655 * [taylor]: Taking taylor expansion of (pow a 6) in b 1.655 * [taylor]: Taking taylor expansion of a in b 1.655 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.655 * [taylor]: Taking taylor expansion of b in b 1.655 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))) in b 1.655 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in b 1.655 * [taylor]: Taking taylor expansion of (pow a 8) in b 1.655 * [taylor]: Taking taylor expansion of a in b 1.656 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in b 1.656 * [taylor]: Taking taylor expansion of 6 in b 1.656 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in b 1.656 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 1.656 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.656 * [taylor]: Taking taylor expansion of a in b 1.656 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.656 * [taylor]: Taking taylor expansion of b in b 1.656 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in b 1.657 * [taylor]: Taking taylor expansion of 16.0 in b 1.657 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.657 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.657 * [taylor]: Taking taylor expansion of b in b 1.657 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in b 1.657 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 1.657 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 1.657 * [taylor]: Taking taylor expansion of 2 in b 1.657 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 1.657 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1.657 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.657 * [taylor]: Taking taylor expansion of a in b 1.657 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.657 * [taylor]: Taking taylor expansion of b in b 1.658 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1.658 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 1.658 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.658 * [taylor]: Taking taylor expansion of a in b 1.658 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.658 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.658 * [taylor]: Taking taylor expansion of b in b 1.659 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 1.659 * [taylor]: Taking taylor expansion of 4.0 in b 1.659 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.659 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.659 * [taylor]: Taking taylor expansion of b in b 1.661 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in b 1.661 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in b 1.661 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) in b 1.661 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in b 1.661 * [taylor]: Taking taylor expansion of (pow b 8) in b 1.661 * [taylor]: Taking taylor expansion of b in b 1.662 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))))) in b 1.662 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in b 1.662 * [taylor]: Taking taylor expansion of 4 in b 1.662 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in b 1.662 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 1.662 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.662 * [taylor]: Taking taylor expansion of a in b 1.662 * [taylor]: Taking taylor expansion of (pow b 6) in b 1.662 * [taylor]: Taking taylor expansion of b in b 1.663 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))) in b 1.663 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in b 1.663 * [taylor]: Taking taylor expansion of 4 in b 1.663 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in b 1.663 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 1.663 * [taylor]: Taking taylor expansion of (pow a 6) in b 1.663 * [taylor]: Taking taylor expansion of a in b 1.663 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.663 * [taylor]: Taking taylor expansion of b in b 1.664 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))) in b 1.664 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in b 1.664 * [taylor]: Taking taylor expansion of (pow a 8) in b 1.664 * [taylor]: Taking taylor expansion of a in b 1.664 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in b 1.664 * [taylor]: Taking taylor expansion of 6 in b 1.664 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in b 1.664 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 1.664 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.664 * [taylor]: Taking taylor expansion of a in b 1.664 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.664 * [taylor]: Taking taylor expansion of b in b 1.665 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in b 1.665 * [taylor]: Taking taylor expansion of 16.0 in b 1.665 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.665 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.665 * [taylor]: Taking taylor expansion of b in b 1.666 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in b 1.666 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 1.666 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 1.666 * [taylor]: Taking taylor expansion of 2 in b 1.666 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 1.666 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1.666 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.666 * [taylor]: Taking taylor expansion of a in b 1.666 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.666 * [taylor]: Taking taylor expansion of b in b 1.666 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1.666 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 1.666 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.666 * [taylor]: Taking taylor expansion of a in b 1.666 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.666 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.666 * [taylor]: Taking taylor expansion of b in b 1.667 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 1.667 * [taylor]: Taking taylor expansion of 4.0 in b 1.667 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.667 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.667 * [taylor]: Taking taylor expansion of b in b 1.669 * [taylor]: Taking taylor expansion of 1 in a 1.673 * [taylor]: Taking taylor expansion of 0 in a 1.679 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow a 2))) 4.0) in a 1.679 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 1.679 * [taylor]: Taking taylor expansion of 2 in a 1.679 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.679 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.679 * [taylor]: Taking taylor expansion of a in a 1.679 * [taylor]: Taking taylor expansion of 4.0 in a 1.693 * [taylor]: Taking taylor expansion of 0 in a 1.707 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 1.707 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.707 * [taylor]: Taking taylor expansion of a in a 1.711 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in (b a) around 0 1.711 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in a 1.711 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in a 1.711 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) in a 1.711 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in a 1.711 * [taylor]: Taking taylor expansion of (pow b 8) in a 1.711 * [taylor]: Taking taylor expansion of b in a 1.711 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))))) in a 1.711 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in a 1.711 * [taylor]: Taking taylor expansion of 4 in a 1.711 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in a 1.711 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in a 1.711 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.711 * [taylor]: Taking taylor expansion of a in a 1.711 * [taylor]: Taking taylor expansion of (pow b 6) in a 1.711 * [taylor]: Taking taylor expansion of b in a 1.712 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))) in a 1.712 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in a 1.712 * [taylor]: Taking taylor expansion of 4 in a 1.712 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in a 1.712 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in a 1.712 * [taylor]: Taking taylor expansion of (pow a 6) in a 1.712 * [taylor]: Taking taylor expansion of a in a 1.712 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.712 * [taylor]: Taking taylor expansion of b in a 1.713 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))) in a 1.713 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 1.713 * [taylor]: Taking taylor expansion of (pow a 8) in a 1.713 * [taylor]: Taking taylor expansion of a in a 1.714 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in a 1.714 * [taylor]: Taking taylor expansion of 6 in a 1.714 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in a 1.714 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in a 1.714 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.714 * [taylor]: Taking taylor expansion of a in a 1.714 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.714 * [taylor]: Taking taylor expansion of b in a 1.715 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in a 1.715 * [taylor]: Taking taylor expansion of 16.0 in a 1.715 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 1.715 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.715 * [taylor]: Taking taylor expansion of b in a 1.715 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in a 1.715 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 1.715 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 1.715 * [taylor]: Taking taylor expansion of 2 in a 1.715 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 1.715 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 1.715 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.715 * [taylor]: Taking taylor expansion of a in a 1.715 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.715 * [taylor]: Taking taylor expansion of b in a 1.715 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 1.715 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 1.716 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.716 * [taylor]: Taking taylor expansion of a in a 1.716 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 1.716 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.716 * [taylor]: Taking taylor expansion of b in a 1.716 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 1.716 * [taylor]: Taking taylor expansion of 4.0 in a 1.717 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.717 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.717 * [taylor]: Taking taylor expansion of b in a 1.719 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in b 1.719 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in b 1.719 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) in b 1.719 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in b 1.719 * [taylor]: Taking taylor expansion of (pow b 8) in b 1.719 * [taylor]: Taking taylor expansion of b in b 1.720 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))))) in b 1.720 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in b 1.720 * [taylor]: Taking taylor expansion of 4 in b 1.720 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in b 1.720 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 1.720 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.720 * [taylor]: Taking taylor expansion of a in b 1.720 * [taylor]: Taking taylor expansion of (pow b 6) in b 1.720 * [taylor]: Taking taylor expansion of b in b 1.721 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))) in b 1.721 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in b 1.721 * [taylor]: Taking taylor expansion of 4 in b 1.721 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in b 1.721 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 1.721 * [taylor]: Taking taylor expansion of (pow a 6) in b 1.721 * [taylor]: Taking taylor expansion of a in b 1.721 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.721 * [taylor]: Taking taylor expansion of b in b 1.722 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))) in b 1.722 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in b 1.722 * [taylor]: Taking taylor expansion of (pow a 8) in b 1.722 * [taylor]: Taking taylor expansion of a in b 1.722 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in b 1.722 * [taylor]: Taking taylor expansion of 6 in b 1.722 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in b 1.722 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 1.722 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.722 * [taylor]: Taking taylor expansion of a in b 1.722 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.722 * [taylor]: Taking taylor expansion of b in b 1.723 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in b 1.723 * [taylor]: Taking taylor expansion of 16.0 in b 1.723 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.723 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.723 * [taylor]: Taking taylor expansion of b in b 1.724 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in b 1.724 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 1.724 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 1.724 * [taylor]: Taking taylor expansion of 2 in b 1.724 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 1.724 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1.724 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.724 * [taylor]: Taking taylor expansion of a in b 1.724 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.724 * [taylor]: Taking taylor expansion of b in b 1.724 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1.724 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 1.724 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.724 * [taylor]: Taking taylor expansion of a in b 1.724 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.724 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.724 * [taylor]: Taking taylor expansion of b in b 1.725 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 1.725 * [taylor]: Taking taylor expansion of 4.0 in b 1.725 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.725 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.725 * [taylor]: Taking taylor expansion of b in b 1.727 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in b 1.727 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in b 1.727 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) in b 1.727 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in b 1.727 * [taylor]: Taking taylor expansion of (pow b 8) in b 1.727 * [taylor]: Taking taylor expansion of b in b 1.728 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))))) in b 1.728 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in b 1.728 * [taylor]: Taking taylor expansion of 4 in b 1.728 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in b 1.728 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 1.728 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.728 * [taylor]: Taking taylor expansion of a in b 1.728 * [taylor]: Taking taylor expansion of (pow b 6) in b 1.728 * [taylor]: Taking taylor expansion of b in b 1.729 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))) in b 1.729 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in b 1.729 * [taylor]: Taking taylor expansion of 4 in b 1.729 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in b 1.729 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 1.729 * [taylor]: Taking taylor expansion of (pow a 6) in b 1.729 * [taylor]: Taking taylor expansion of a in b 1.729 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.729 * [taylor]: Taking taylor expansion of b in b 1.730 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))) in b 1.730 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in b 1.730 * [taylor]: Taking taylor expansion of (pow a 8) in b 1.730 * [taylor]: Taking taylor expansion of a in b 1.730 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in b 1.730 * [taylor]: Taking taylor expansion of 6 in b 1.730 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in b 1.730 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 1.730 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.730 * [taylor]: Taking taylor expansion of a in b 1.730 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.730 * [taylor]: Taking taylor expansion of b in b 1.731 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in b 1.731 * [taylor]: Taking taylor expansion of 16.0 in b 1.731 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.731 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.731 * [taylor]: Taking taylor expansion of b in b 1.732 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in b 1.732 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 1.732 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 1.732 * [taylor]: Taking taylor expansion of 2 in b 1.732 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 1.732 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 1.732 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.732 * [taylor]: Taking taylor expansion of a in b 1.732 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.732 * [taylor]: Taking taylor expansion of b in b 1.732 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 1.732 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 1.732 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.733 * [taylor]: Taking taylor expansion of a in b 1.733 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 1.733 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.733 * [taylor]: Taking taylor expansion of b in b 1.733 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 1.734 * [taylor]: Taking taylor expansion of 4.0 in b 1.734 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.734 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.734 * [taylor]: Taking taylor expansion of b in b 1.736 * [taylor]: Taking taylor expansion of 1 in a 1.740 * [taylor]: Taking taylor expansion of 0 in a 1.745 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow a 2))) 4.0) in a 1.745 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 1.745 * [taylor]: Taking taylor expansion of 2 in a 1.745 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.745 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.745 * [taylor]: Taking taylor expansion of a in a 1.746 * [taylor]: Taking taylor expansion of 4.0 in a 1.757 * [taylor]: Taking taylor expansion of 0 in a 1.770 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 1.770 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.770 * [taylor]: Taking taylor expansion of a in a 1.772 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 1.772 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in (a b) around 0 1.772 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in b 1.772 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in b 1.772 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in b 1.772 * [taylor]: Taking taylor expansion of 2.0 in b 1.772 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in b 1.772 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.772 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.772 * [taylor]: Taking taylor expansion of a in b 1.772 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.772 * [taylor]: Taking taylor expansion of b in b 1.772 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 1.772 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 1.772 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 1.772 * [taylor]: Taking taylor expansion of 2.0 in a 1.772 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 1.772 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 1.772 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.773 * [taylor]: Taking taylor expansion of a in a 1.773 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.773 * [taylor]: Taking taylor expansion of b in a 1.773 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 1.773 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 1.773 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 1.773 * [taylor]: Taking taylor expansion of 2.0 in a 1.773 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 1.773 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 1.773 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.773 * [taylor]: Taking taylor expansion of a in a 1.773 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.773 * [taylor]: Taking taylor expansion of b in a 1.773 * [taylor]: Taking taylor expansion of (pow (pow b 2) 2.0) in b 1.773 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow b 2)))) in b 1.773 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow b 2))) in b 1.773 * [taylor]: Taking taylor expansion of 2.0 in b 1.773 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 1.773 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.773 * [taylor]: Taking taylor expansion of b in b 1.778 * [taylor]: Taking taylor expansion of 0 in b 1.783 * [taylor]: Taking taylor expansion of (* 2.0 (pow (pow b 2.0) 1.0)) in b 1.783 * [taylor]: Taking taylor expansion of 2.0 in b 1.783 * [taylor]: Taking taylor expansion of (pow (pow b 2.0) 1.0) in b 1.784 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow b 2.0)))) in b 1.784 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow b 2.0))) in b 1.784 * [taylor]: Taking taylor expansion of 1.0 in b 1.784 * [taylor]: Taking taylor expansion of (log (pow b 2.0)) in b 1.784 * [taylor]: Taking taylor expansion of (pow b 2.0) in b 1.784 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log b))) in b 1.784 * [taylor]: Taking taylor expansion of (* 2.0 (log b)) in b 1.784 * [taylor]: Taking taylor expansion of 2.0 in b 1.784 * [taylor]: Taking taylor expansion of (log b) in b 1.784 * [taylor]: Taking taylor expansion of b in b 1.793 * [taylor]: Taking taylor expansion of 0 in b 1.802 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 1.802 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 1.802 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 1.802 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 1.802 * [taylor]: Taking taylor expansion of 2.0 in b 1.802 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 1.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.802 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.802 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.802 * [taylor]: Taking taylor expansion of b in b 1.803 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.803 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.803 * [taylor]: Taking taylor expansion of a in b 1.804 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 1.804 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 1.804 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 1.804 * [taylor]: Taking taylor expansion of 2.0 in a 1.804 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 1.804 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.804 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.804 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.804 * [taylor]: Taking taylor expansion of b in a 1.804 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.804 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.804 * [taylor]: Taking taylor expansion of a in a 1.805 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 1.805 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 1.805 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 1.805 * [taylor]: Taking taylor expansion of 2.0 in a 1.805 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 1.805 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.805 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.805 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.806 * [taylor]: Taking taylor expansion of b in a 1.806 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.806 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.806 * [taylor]: Taking taylor expansion of a in a 1.807 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 1.807 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 1.807 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 1.807 * [taylor]: Taking taylor expansion of -4.0 in b 1.807 * [taylor]: Taking taylor expansion of (log a) in b 1.807 * [taylor]: Taking taylor expansion of a in b 1.810 * [taylor]: Taking taylor expansion of 0 in b 1.815 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 1.815 * [taylor]: Taking taylor expansion of 2.0 in b 1.815 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 1.815 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 1.815 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 1.815 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 1.815 * [taylor]: Taking taylor expansion of 1.0 in b 1.815 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 1.815 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 1.815 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 1.815 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 1.815 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 1.815 * [taylor]: Taking taylor expansion of 4.0 in b 1.815 * [taylor]: Taking taylor expansion of (log a) in b 1.815 * [taylor]: Taking taylor expansion of a in b 1.816 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.816 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.816 * [taylor]: Taking taylor expansion of b in b 1.837 * [taylor]: Taking taylor expansion of 0 in b 1.837 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 1.837 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 1.837 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 1.837 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 1.837 * [taylor]: Taking taylor expansion of 2.0 in b 1.837 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 1.837 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.837 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.837 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.837 * [taylor]: Taking taylor expansion of b in b 1.838 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.838 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.838 * [taylor]: Taking taylor expansion of a in b 1.839 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 1.839 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 1.839 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 1.839 * [taylor]: Taking taylor expansion of 2.0 in a 1.839 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 1.839 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.839 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.839 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.839 * [taylor]: Taking taylor expansion of b in a 1.839 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.839 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.839 * [taylor]: Taking taylor expansion of a in a 1.840 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 1.841 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 1.841 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 1.841 * [taylor]: Taking taylor expansion of 2.0 in a 1.841 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 1.841 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.841 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.841 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.841 * [taylor]: Taking taylor expansion of b in a 1.841 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.841 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.841 * [taylor]: Taking taylor expansion of a in a 1.842 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 1.842 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 1.842 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 1.842 * [taylor]: Taking taylor expansion of -4.0 in b 1.842 * [taylor]: Taking taylor expansion of (log a) in b 1.842 * [taylor]: Taking taylor expansion of a in b 1.845 * [taylor]: Taking taylor expansion of 0 in b 1.851 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 1.851 * [taylor]: Taking taylor expansion of 2.0 in b 1.851 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 1.851 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 1.851 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 1.851 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 1.851 * [taylor]: Taking taylor expansion of 1.0 in b 1.851 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 1.851 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 1.851 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 1.851 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 1.851 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 1.851 * [taylor]: Taking taylor expansion of 4.0 in b 1.851 * [taylor]: Taking taylor expansion of (log a) in b 1.851 * [taylor]: Taking taylor expansion of a in b 1.852 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.852 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.852 * [taylor]: Taking taylor expansion of b in b 1.877 * [taylor]: Taking taylor expansion of 0 in b 1.877 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.877 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4.0) in (a b) around 0 1.877 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4.0) in b 1.877 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (pow a 2) (pow b 2))))) in b 1.878 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (pow a 2) (pow b 2)))) in b 1.878 * [taylor]: Taking taylor expansion of 4.0 in b 1.878 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in b 1.878 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.878 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.878 * [taylor]: Taking taylor expansion of a in b 1.878 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.878 * [taylor]: Taking taylor expansion of b in b 1.878 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4.0) in a 1.878 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (pow a 2) (pow b 2))))) in a 1.878 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (pow a 2) (pow b 2)))) in a 1.878 * [taylor]: Taking taylor expansion of 4.0 in a 1.878 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 1.878 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 1.878 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.878 * [taylor]: Taking taylor expansion of a in a 1.878 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.878 * [taylor]: Taking taylor expansion of b in a 1.879 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4.0) in a 1.879 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (pow a 2) (pow b 2))))) in a 1.879 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (pow a 2) (pow b 2)))) in a 1.879 * [taylor]: Taking taylor expansion of 4.0 in a 1.879 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 1.879 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 1.879 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.879 * [taylor]: Taking taylor expansion of a in a 1.879 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.879 * [taylor]: Taking taylor expansion of b in a 1.879 * [taylor]: Taking taylor expansion of (pow (pow b 2) 4.0) in b 1.879 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (pow b 2)))) in b 1.879 * [taylor]: Taking taylor expansion of (* 4.0 (log (pow b 2))) in b 1.879 * [taylor]: Taking taylor expansion of 4.0 in b 1.879 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 1.879 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.879 * [taylor]: Taking taylor expansion of b in b 1.882 * [taylor]: Taking taylor expansion of 0 in b 1.887 * [taylor]: Taking taylor expansion of (* 4.0 (pow (pow b 6.0) 1.0)) in b 1.887 * [taylor]: Taking taylor expansion of 4.0 in b 1.887 * [taylor]: Taking taylor expansion of (pow (pow b 6.0) 1.0) in b 1.887 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow b 6.0)))) in b 1.887 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow b 6.0))) in b 1.887 * [taylor]: Taking taylor expansion of 1.0 in b 1.887 * [taylor]: Taking taylor expansion of (log (pow b 6.0)) in b 1.887 * [taylor]: Taking taylor expansion of (pow b 6.0) in b 1.887 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log b))) in b 1.887 * [taylor]: Taking taylor expansion of (* 6.0 (log b)) in b 1.887 * [taylor]: Taking taylor expansion of 6.0 in b 1.887 * [taylor]: Taking taylor expansion of (log b) in b 1.887 * [taylor]: Taking taylor expansion of b in b 1.896 * [taylor]: Taking taylor expansion of 0 in b 1.906 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in (a b) around 0 1.906 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in b 1.906 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 1.906 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 1.906 * [taylor]: Taking taylor expansion of 4.0 in b 1.906 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 1.906 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.906 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.906 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.906 * [taylor]: Taking taylor expansion of b in b 1.907 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.907 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.907 * [taylor]: Taking taylor expansion of a in b 1.908 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in a 1.908 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 1.908 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 1.908 * [taylor]: Taking taylor expansion of 4.0 in a 1.908 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 1.908 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.908 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.908 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.908 * [taylor]: Taking taylor expansion of b in a 1.908 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.908 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.908 * [taylor]: Taking taylor expansion of a in a 1.910 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in a 1.910 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 1.910 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 1.910 * [taylor]: Taking taylor expansion of 4.0 in a 1.910 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 1.910 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.910 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.910 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.910 * [taylor]: Taking taylor expansion of b in a 1.910 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.910 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.910 * [taylor]: Taking taylor expansion of a in a 1.911 * [taylor]: Taking taylor expansion of (pow a -8.0) in b 1.911 * [taylor]: Taking taylor expansion of (exp (* -8.0 (log a))) in b 1.911 * [taylor]: Taking taylor expansion of (* -8.0 (log a)) in b 1.911 * [taylor]: Taking taylor expansion of -8.0 in b 1.911 * [taylor]: Taking taylor expansion of (log a) in b 1.911 * [taylor]: Taking taylor expansion of a in b 1.914 * [taylor]: Taking taylor expansion of 0 in b 1.919 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 (pow a 8.0)) 1.0) (/ 1 (pow b 2)))) in b 1.919 * [taylor]: Taking taylor expansion of 4.0 in b 1.919 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 8.0)) 1.0) (/ 1 (pow b 2))) in b 1.919 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 8.0)) 1.0) in b 1.920 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 8.0))))) in b 1.920 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 8.0)))) in b 1.920 * [taylor]: Taking taylor expansion of 1.0 in b 1.920 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 8.0))) in b 1.920 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8.0)) in b 1.920 * [taylor]: Taking taylor expansion of (pow a 8.0) in b 1.920 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log a))) in b 1.920 * [taylor]: Taking taylor expansion of (* 8.0 (log a)) in b 1.920 * [taylor]: Taking taylor expansion of 8.0 in b 1.920 * [taylor]: Taking taylor expansion of (log a) in b 1.920 * [taylor]: Taking taylor expansion of a in b 1.920 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.920 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.920 * [taylor]: Taking taylor expansion of b in b 1.941 * [taylor]: Taking taylor expansion of 0 in b 1.942 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in (a b) around 0 1.942 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in b 1.942 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 1.942 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 1.942 * [taylor]: Taking taylor expansion of 4.0 in b 1.942 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 1.942 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.942 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.942 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.942 * [taylor]: Taking taylor expansion of b in b 1.943 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.943 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.943 * [taylor]: Taking taylor expansion of a in b 1.944 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in a 1.944 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 1.944 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 1.944 * [taylor]: Taking taylor expansion of 4.0 in a 1.944 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 1.944 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.944 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.944 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.944 * [taylor]: Taking taylor expansion of b in a 1.944 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.944 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.944 * [taylor]: Taking taylor expansion of a in a 1.945 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in a 1.945 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 1.945 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 1.945 * [taylor]: Taking taylor expansion of 4.0 in a 1.945 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 1.945 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.945 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.945 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.945 * [taylor]: Taking taylor expansion of b in a 1.946 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.946 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.946 * [taylor]: Taking taylor expansion of a in a 1.947 * [taylor]: Taking taylor expansion of (pow a -8.0) in b 1.947 * [taylor]: Taking taylor expansion of (exp (* -8.0 (log a))) in b 1.947 * [taylor]: Taking taylor expansion of (* -8.0 (log a)) in b 1.947 * [taylor]: Taking taylor expansion of -8.0 in b 1.947 * [taylor]: Taking taylor expansion of (log a) in b 1.947 * [taylor]: Taking taylor expansion of a in b 1.950 * [taylor]: Taking taylor expansion of 0 in b 1.958 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 (pow a 8.0)) 1.0) (/ 1 (pow b 2)))) in b 1.958 * [taylor]: Taking taylor expansion of 4.0 in b 1.958 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 8.0)) 1.0) (/ 1 (pow b 2))) in b 1.958 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 8.0)) 1.0) in b 1.958 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 8.0))))) in b 1.958 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 8.0)))) in b 1.958 * [taylor]: Taking taylor expansion of 1.0 in b 1.958 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 8.0))) in b 1.958 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8.0)) in b 1.958 * [taylor]: Taking taylor expansion of (pow a 8.0) in b 1.958 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log a))) in b 1.958 * [taylor]: Taking taylor expansion of (* 8.0 (log a)) in b 1.958 * [taylor]: Taking taylor expansion of 8.0 in b 1.958 * [taylor]: Taking taylor expansion of (log a) in b 1.958 * [taylor]: Taking taylor expansion of a in b 1.959 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.959 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.959 * [taylor]: Taking taylor expansion of b in b 1.980 * [taylor]: Taking taylor expansion of 0 in b 1.980 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1.981 * [approximate]: Taking taylor expansion of (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) in (b a) around 0 1.981 * [taylor]: Taking taylor expansion of (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) in a 1.981 * [taylor]: Taking taylor expansion of (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) in a 1.981 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 6))) in a 1.981 * [taylor]: Taking taylor expansion of 4 in a 1.981 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in a 1.981 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.981 * [taylor]: Taking taylor expansion of a in a 1.981 * [taylor]: Taking taylor expansion of (pow b 6) in a 1.981 * [taylor]: Taking taylor expansion of b in a 1.981 * [taylor]: Taking taylor expansion of (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))))) in a 1.981 * [taylor]: Taking taylor expansion of (pow a 8) in a 1.981 * [taylor]: Taking taylor expansion of a in a 1.982 * [taylor]: Taking taylor expansion of (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))) in a 1.982 * [taylor]: Taking taylor expansion of (pow b 8) in a 1.982 * [taylor]: Taking taylor expansion of b in a 1.982 * [taylor]: Taking taylor expansion of (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))) in a 1.982 * [taylor]: Taking taylor expansion of (* 6 (* (pow a 4) (pow b 4))) in a 1.982 * [taylor]: Taking taylor expansion of 6 in a 1.982 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in a 1.982 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.982 * [taylor]: Taking taylor expansion of a in a 1.982 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.982 * [taylor]: Taking taylor expansion of b in a 1.982 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 6) (pow b 2))) in a 1.982 * [taylor]: Taking taylor expansion of 4 in a 1.982 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in a 1.982 * [taylor]: Taking taylor expansion of (pow a 6) in a 1.982 * [taylor]: Taking taylor expansion of a in a 1.982 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.982 * [taylor]: Taking taylor expansion of b in a 1.982 * [taylor]: Taking taylor expansion of (* 16.0 (pow b 4)) in a 1.982 * [taylor]: Taking taylor expansion of 16.0 in a 1.982 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.982 * [taylor]: Taking taylor expansion of b in a 1.982 * [taylor]: Taking taylor expansion of (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) in b 1.982 * [taylor]: Taking taylor expansion of (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) in b 1.982 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 6))) in b 1.982 * [taylor]: Taking taylor expansion of 4 in b 1.982 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 1.982 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.982 * [taylor]: Taking taylor expansion of a in b 1.982 * [taylor]: Taking taylor expansion of (pow b 6) in b 1.982 * [taylor]: Taking taylor expansion of b in b 1.982 * [taylor]: Taking taylor expansion of (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))))) in b 1.982 * [taylor]: Taking taylor expansion of (pow a 8) in b 1.982 * [taylor]: Taking taylor expansion of a in b 1.982 * [taylor]: Taking taylor expansion of (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))) in b 1.982 * [taylor]: Taking taylor expansion of (pow b 8) in b 1.982 * [taylor]: Taking taylor expansion of b in b 1.982 * [taylor]: Taking taylor expansion of (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))) in b 1.982 * [taylor]: Taking taylor expansion of (* 6 (* (pow a 4) (pow b 4))) in b 1.982 * [taylor]: Taking taylor expansion of 6 in b 1.982 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 1.982 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.982 * [taylor]: Taking taylor expansion of a in b 1.982 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.982 * [taylor]: Taking taylor expansion of b in b 1.982 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 6) (pow b 2))) in b 1.982 * [taylor]: Taking taylor expansion of 4 in b 1.982 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 1.982 * [taylor]: Taking taylor expansion of (pow a 6) in b 1.982 * [taylor]: Taking taylor expansion of a in b 1.982 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.982 * [taylor]: Taking taylor expansion of b in b 1.982 * [taylor]: Taking taylor expansion of (* 16.0 (pow b 4)) in b 1.982 * [taylor]: Taking taylor expansion of 16.0 in b 1.982 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.983 * [taylor]: Taking taylor expansion of b in b 1.983 * [taylor]: Taking taylor expansion of (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) in b 1.983 * [taylor]: Taking taylor expansion of (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) in b 1.983 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 6))) in b 1.983 * [taylor]: Taking taylor expansion of 4 in b 1.983 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 1.983 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.983 * [taylor]: Taking taylor expansion of a in b 1.983 * [taylor]: Taking taylor expansion of (pow b 6) in b 1.983 * [taylor]: Taking taylor expansion of b in b 1.983 * [taylor]: Taking taylor expansion of (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))))) in b 1.983 * [taylor]: Taking taylor expansion of (pow a 8) in b 1.983 * [taylor]: Taking taylor expansion of a in b 1.983 * [taylor]: Taking taylor expansion of (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))) in b 1.983 * [taylor]: Taking taylor expansion of (pow b 8) in b 1.983 * [taylor]: Taking taylor expansion of b in b 1.983 * [taylor]: Taking taylor expansion of (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))) in b 1.983 * [taylor]: Taking taylor expansion of (* 6 (* (pow a 4) (pow b 4))) in b 1.983 * [taylor]: Taking taylor expansion of 6 in b 1.983 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 1.983 * [taylor]: Taking taylor expansion of (pow a 4) in b 1.983 * [taylor]: Taking taylor expansion of a in b 1.983 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.983 * [taylor]: Taking taylor expansion of b in b 1.983 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 6) (pow b 2))) in b 1.983 * [taylor]: Taking taylor expansion of 4 in b 1.983 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 1.983 * [taylor]: Taking taylor expansion of (pow a 6) in b 1.983 * [taylor]: Taking taylor expansion of a in b 1.983 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.983 * [taylor]: Taking taylor expansion of b in b 1.983 * [taylor]: Taking taylor expansion of (* 16.0 (pow b 4)) in b 1.983 * [taylor]: Taking taylor expansion of 16.0 in b 1.983 * [taylor]: Taking taylor expansion of (pow b 4) in b 1.983 * [taylor]: Taking taylor expansion of b in b 1.984 * [taylor]: Taking taylor expansion of (pow a 8) in a 1.984 * [taylor]: Taking taylor expansion of a in a 1.985 * [taylor]: Taking taylor expansion of 0 in a 1.987 * [taylor]: Taking taylor expansion of (* 4 (pow a 6)) in a 1.987 * [taylor]: Taking taylor expansion of 4 in a 1.987 * [taylor]: Taking taylor expansion of (pow a 6) in a 1.987 * [taylor]: Taking taylor expansion of a in a 1.991 * [taylor]: Taking taylor expansion of 0 in a 1.998 * [taylor]: Taking taylor expansion of (- (* 6 (pow a 4)) 16.0) in a 1.998 * [taylor]: Taking taylor expansion of (* 6 (pow a 4)) in a 1.998 * [taylor]: Taking taylor expansion of 6 in a 1.998 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.998 * [taylor]: Taking taylor expansion of a in a 1.998 * [taylor]: Taking taylor expansion of 16.0 in a 2.010 * [taylor]: Taking taylor expansion of 0 in a 2.012 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in (b a) around 0 2.012 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in a 2.012 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) in a 2.012 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in a 2.012 * [taylor]: Taking taylor expansion of (pow b 8) in a 2.012 * [taylor]: Taking taylor expansion of b in a 2.013 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))))) in a 2.013 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in a 2.013 * [taylor]: Taking taylor expansion of 4 in a 2.013 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in a 2.013 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in a 2.013 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.013 * [taylor]: Taking taylor expansion of a in a 2.013 * [taylor]: Taking taylor expansion of (pow b 6) in a 2.013 * [taylor]: Taking taylor expansion of b in a 2.013 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))) in a 2.013 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in a 2.013 * [taylor]: Taking taylor expansion of 4 in a 2.013 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in a 2.013 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in a 2.014 * [taylor]: Taking taylor expansion of (pow a 6) in a 2.014 * [taylor]: Taking taylor expansion of a in a 2.014 * [taylor]: Taking taylor expansion of (pow b 2) in a 2.014 * [taylor]: Taking taylor expansion of b in a 2.014 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))) in a 2.014 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 2.014 * [taylor]: Taking taylor expansion of (pow a 8) in a 2.014 * [taylor]: Taking taylor expansion of a in a 2.015 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in a 2.015 * [taylor]: Taking taylor expansion of 6 in a 2.015 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in a 2.015 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in a 2.015 * [taylor]: Taking taylor expansion of (pow a 4) in a 2.015 * [taylor]: Taking taylor expansion of a in a 2.016 * [taylor]: Taking taylor expansion of (pow b 4) in a 2.016 * [taylor]: Taking taylor expansion of b in a 2.016 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in a 2.016 * [taylor]: Taking taylor expansion of 16.0 in a 2.016 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 2.016 * [taylor]: Taking taylor expansion of (pow b 4) in a 2.016 * [taylor]: Taking taylor expansion of b in a 2.017 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in b 2.017 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) in b 2.017 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in b 2.017 * [taylor]: Taking taylor expansion of (pow b 8) in b 2.017 * [taylor]: Taking taylor expansion of b in b 2.018 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))))) in b 2.018 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in b 2.018 * [taylor]: Taking taylor expansion of 4 in b 2.018 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in b 2.018 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 2.018 * [taylor]: Taking taylor expansion of (pow a 2) in b 2.018 * [taylor]: Taking taylor expansion of a in b 2.018 * [taylor]: Taking taylor expansion of (pow b 6) in b 2.018 * [taylor]: Taking taylor expansion of b in b 2.019 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))) in b 2.019 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in b 2.019 * [taylor]: Taking taylor expansion of 4 in b 2.019 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in b 2.019 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 2.019 * [taylor]: Taking taylor expansion of (pow a 6) in b 2.019 * [taylor]: Taking taylor expansion of a in b 2.019 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.019 * [taylor]: Taking taylor expansion of b in b 2.019 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))) in b 2.019 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in b 2.019 * [taylor]: Taking taylor expansion of (pow a 8) in b 2.019 * [taylor]: Taking taylor expansion of a in b 2.020 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in b 2.020 * [taylor]: Taking taylor expansion of 6 in b 2.020 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in b 2.020 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 2.020 * [taylor]: Taking taylor expansion of (pow a 4) in b 2.020 * [taylor]: Taking taylor expansion of a in b 2.020 * [taylor]: Taking taylor expansion of (pow b 4) in b 2.020 * [taylor]: Taking taylor expansion of b in b 2.020 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in b 2.020 * [taylor]: Taking taylor expansion of 16.0 in b 2.020 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 2.020 * [taylor]: Taking taylor expansion of (pow b 4) in b 2.020 * [taylor]: Taking taylor expansion of b in b 2.021 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in b 2.021 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) in b 2.021 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in b 2.021 * [taylor]: Taking taylor expansion of (pow b 8) in b 2.021 * [taylor]: Taking taylor expansion of b in b 2.022 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))))) in b 2.022 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in b 2.022 * [taylor]: Taking taylor expansion of 4 in b 2.022 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in b 2.022 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 2.022 * [taylor]: Taking taylor expansion of (pow a 2) in b 2.022 * [taylor]: Taking taylor expansion of a in b 2.022 * [taylor]: Taking taylor expansion of (pow b 6) in b 2.022 * [taylor]: Taking taylor expansion of b in b 2.023 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))) in b 2.023 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in b 2.023 * [taylor]: Taking taylor expansion of 4 in b 2.023 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in b 2.023 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 2.023 * [taylor]: Taking taylor expansion of (pow a 6) in b 2.023 * [taylor]: Taking taylor expansion of a in b 2.023 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.024 * [taylor]: Taking taylor expansion of b in b 2.024 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))) in b 2.024 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in b 2.024 * [taylor]: Taking taylor expansion of (pow a 8) in b 2.024 * [taylor]: Taking taylor expansion of a in b 2.024 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in b 2.024 * [taylor]: Taking taylor expansion of 6 in b 2.024 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in b 2.024 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 2.024 * [taylor]: Taking taylor expansion of (pow a 4) in b 2.024 * [taylor]: Taking taylor expansion of a in b 2.024 * [taylor]: Taking taylor expansion of (pow b 4) in b 2.025 * [taylor]: Taking taylor expansion of b in b 2.025 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in b 2.025 * [taylor]: Taking taylor expansion of 16.0 in b 2.025 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 2.026 * [taylor]: Taking taylor expansion of (pow b 4) in b 2.026 * [taylor]: Taking taylor expansion of b in b 2.027 * [taylor]: Taking taylor expansion of 1 in a 2.029 * [taylor]: Taking taylor expansion of 0 in a 2.031 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 2))) in a 2.031 * [taylor]: Taking taylor expansion of 4 in a 2.031 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 2.031 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.031 * [taylor]: Taking taylor expansion of a in a 2.036 * [taylor]: Taking taylor expansion of 0 in a 2.043 * [taylor]: Taking taylor expansion of (- (* 6 (/ 1 (pow a 4))) 16.0) in a 2.043 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow a 4))) in a 2.043 * [taylor]: Taking taylor expansion of 6 in a 2.043 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 2.043 * [taylor]: Taking taylor expansion of (pow a 4) in a 2.043 * [taylor]: Taking taylor expansion of a in a 2.048 * [taylor]: Taking taylor expansion of 16.0 in a 2.060 * [taylor]: Taking taylor expansion of 0 in a 2.073 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 6))) in a 2.073 * [taylor]: Taking taylor expansion of 4 in a 2.073 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a 2.073 * [taylor]: Taking taylor expansion of (pow a 6) in a 2.073 * [taylor]: Taking taylor expansion of a in a 2.091 * [taylor]: Taking taylor expansion of 0 in a 2.111 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 2.111 * [taylor]: Taking taylor expansion of (pow a 8) in a 2.111 * [taylor]: Taking taylor expansion of a in a 2.115 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in (b a) around 0 2.115 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in a 2.115 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) in a 2.115 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in a 2.115 * [taylor]: Taking taylor expansion of (pow b 8) in a 2.115 * [taylor]: Taking taylor expansion of b in a 2.115 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))))) in a 2.115 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in a 2.115 * [taylor]: Taking taylor expansion of 4 in a 2.115 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in a 2.115 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in a 2.116 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.116 * [taylor]: Taking taylor expansion of a in a 2.116 * [taylor]: Taking taylor expansion of (pow b 6) in a 2.116 * [taylor]: Taking taylor expansion of b in a 2.116 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))) in a 2.116 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in a 2.116 * [taylor]: Taking taylor expansion of 4 in a 2.116 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in a 2.116 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in a 2.116 * [taylor]: Taking taylor expansion of (pow a 6) in a 2.116 * [taylor]: Taking taylor expansion of a in a 2.116 * [taylor]: Taking taylor expansion of (pow b 2) in a 2.116 * [taylor]: Taking taylor expansion of b in a 2.117 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))) in a 2.117 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 2.117 * [taylor]: Taking taylor expansion of (pow a 8) in a 2.117 * [taylor]: Taking taylor expansion of a in a 2.118 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in a 2.118 * [taylor]: Taking taylor expansion of 6 in a 2.118 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in a 2.118 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in a 2.118 * [taylor]: Taking taylor expansion of (pow a 4) in a 2.118 * [taylor]: Taking taylor expansion of a in a 2.118 * [taylor]: Taking taylor expansion of (pow b 4) in a 2.118 * [taylor]: Taking taylor expansion of b in a 2.119 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in a 2.119 * [taylor]: Taking taylor expansion of 16.0 in a 2.119 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 2.119 * [taylor]: Taking taylor expansion of (pow b 4) in a 2.119 * [taylor]: Taking taylor expansion of b in a 2.119 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in b 2.119 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) in b 2.119 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in b 2.119 * [taylor]: Taking taylor expansion of (pow b 8) in b 2.119 * [taylor]: Taking taylor expansion of b in b 2.120 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))))) in b 2.120 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in b 2.120 * [taylor]: Taking taylor expansion of 4 in b 2.120 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in b 2.120 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 2.120 * [taylor]: Taking taylor expansion of (pow a 2) in b 2.120 * [taylor]: Taking taylor expansion of a in b 2.120 * [taylor]: Taking taylor expansion of (pow b 6) in b 2.120 * [taylor]: Taking taylor expansion of b in b 2.121 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))) in b 2.121 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in b 2.121 * [taylor]: Taking taylor expansion of 4 in b 2.121 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in b 2.121 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 2.121 * [taylor]: Taking taylor expansion of (pow a 6) in b 2.121 * [taylor]: Taking taylor expansion of a in b 2.121 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.121 * [taylor]: Taking taylor expansion of b in b 2.122 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))) in b 2.122 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in b 2.122 * [taylor]: Taking taylor expansion of (pow a 8) in b 2.122 * [taylor]: Taking taylor expansion of a in b 2.122 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in b 2.122 * [taylor]: Taking taylor expansion of 6 in b 2.122 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in b 2.122 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 2.122 * [taylor]: Taking taylor expansion of (pow a 4) in b 2.122 * [taylor]: Taking taylor expansion of a in b 2.122 * [taylor]: Taking taylor expansion of (pow b 4) in b 2.122 * [taylor]: Taking taylor expansion of b in b 2.123 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in b 2.123 * [taylor]: Taking taylor expansion of 16.0 in b 2.123 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 2.123 * [taylor]: Taking taylor expansion of (pow b 4) in b 2.123 * [taylor]: Taking taylor expansion of b in b 2.124 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) (* 16.0 (/ 1 (pow b 4)))) in b 2.124 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))))) in b 2.124 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in b 2.124 * [taylor]: Taking taylor expansion of (pow b 8) in b 2.124 * [taylor]: Taking taylor expansion of b in b 2.125 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))))) in b 2.125 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in b 2.125 * [taylor]: Taking taylor expansion of 4 in b 2.125 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in b 2.125 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 2.125 * [taylor]: Taking taylor expansion of (pow a 2) in b 2.125 * [taylor]: Taking taylor expansion of a in b 2.125 * [taylor]: Taking taylor expansion of (pow b 6) in b 2.125 * [taylor]: Taking taylor expansion of b in b 2.126 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 6) (pow b 2)))) (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4)))))) in b 2.126 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in b 2.126 * [taylor]: Taking taylor expansion of 4 in b 2.126 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in b 2.126 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 2.126 * [taylor]: Taking taylor expansion of (pow a 6) in b 2.126 * [taylor]: Taking taylor expansion of a in b 2.126 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.126 * [taylor]: Taking taylor expansion of b in b 2.127 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (* 6 (/ 1 (* (pow a 4) (pow b 4))))) in b 2.127 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in b 2.127 * [taylor]: Taking taylor expansion of (pow a 8) in b 2.127 * [taylor]: Taking taylor expansion of a in b 2.127 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in b 2.127 * [taylor]: Taking taylor expansion of 6 in b 2.127 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in b 2.127 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 2.127 * [taylor]: Taking taylor expansion of (pow a 4) in b 2.127 * [taylor]: Taking taylor expansion of a in b 2.127 * [taylor]: Taking taylor expansion of (pow b 4) in b 2.127 * [taylor]: Taking taylor expansion of b in b 2.128 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in b 2.128 * [taylor]: Taking taylor expansion of 16.0 in b 2.128 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 2.128 * [taylor]: Taking taylor expansion of (pow b 4) in b 2.128 * [taylor]: Taking taylor expansion of b in b 2.129 * [taylor]: Taking taylor expansion of 1 in a 2.136 * [taylor]: Taking taylor expansion of 0 in a 2.138 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 2))) in a 2.138 * [taylor]: Taking taylor expansion of 4 in a 2.138 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 2.138 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.138 * [taylor]: Taking taylor expansion of a in a 2.143 * [taylor]: Taking taylor expansion of 0 in a 2.150 * [taylor]: Taking taylor expansion of (- (* 6 (/ 1 (pow a 4))) 16.0) in a 2.150 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow a 4))) in a 2.150 * [taylor]: Taking taylor expansion of 6 in a 2.150 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 2.150 * [taylor]: Taking taylor expansion of (pow a 4) in a 2.150 * [taylor]: Taking taylor expansion of a in a 2.150 * [taylor]: Taking taylor expansion of 16.0 in a 2.161 * [taylor]: Taking taylor expansion of 0 in a 2.174 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 6))) in a 2.174 * [taylor]: Taking taylor expansion of 4 in a 2.174 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a 2.174 * [taylor]: Taking taylor expansion of (pow a 6) in a 2.174 * [taylor]: Taking taylor expansion of a in a 2.192 * [taylor]: Taking taylor expansion of 0 in a 2.216 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 2.216 * [taylor]: Taking taylor expansion of (pow a 8) in a 2.216 * [taylor]: Taking taylor expansion of a in a 2.218 * * * [progress]: simplifying candidates 2.219 * [simplify]: Simplifying using # : (- (+ (* (- (* 4.0 4.0)) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0)))) (- (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ 1 (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (+ (* (- (* 4.0 4.0)) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0)))) (/ (+ (* (- (* 4.0 4.0)) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0))) (- (pow (pow (+ (* a a) (* b b)) 2.0) 3) (pow (* 4.0 (* b b)) 3))) (/ (+ (* (- (* 4.0 4.0)) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0))) (- (* (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))) (+ (* (* (- (* 4.0 4.0)) (pow b 4)) (* (- (* 4.0 4.0)) (pow b 4))) (- (* (pow (+ (* a a) (* b b)) (* 2 2.0)) (pow (+ (* a a) (* b b)) (* 2 2.0))) (* (* (- (* 4.0 4.0)) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0)))))) (* (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (- (* (- (* 4.0 4.0)) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0)))) (* (log (+ (* a a) (* b b))) 2.0) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (* (log (+ (* a a) (* b b))) (* 2 2.0)) (pow (+ (* a a) (* b b)) 2) (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) (/ (* 2 2.0) 2)) (pow (+ (* a a) (* b b)) (/ (* 2 2.0) 2)) (+ (pow (* (- (* 4.0 4.0)) (pow b 4)) 3) (pow (pow (+ (* a a) (* b b)) (* 2 2.0)) 3)) (+ (* (* (- (* 4.0 4.0)) (pow b 4)) (* (- (* 4.0 4.0)) (pow b 4))) (- (* (pow (+ (* a a) (* b b)) (* 2 2.0)) (pow (+ (* a a) (* b b)) (* 2 2.0))) (* (* (- (* 4.0 4.0)) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0))))) (- (* (* (- (* 4.0 4.0)) (pow b 4)) (* (- (* 4.0 4.0)) (pow b 4))) (* (pow (+ (* a a) (* b b)) (* 2 2.0)) (pow (+ (* a a) (* b b)) (* 2 2.0)))) (- (* (- (* 4.0 4.0)) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0))) (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 a) -4.0) (pow (/ -1 a) -4.0) (+ (* 4.0 (* (pow a 2) (pow b 6))) (pow b 8)) (pow (/ 1 a) -8.0) (pow (/ -1 a) -8.0) (* -16.0 (pow b 4)) (+ (pow a 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))) (+ (pow a 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))) 2.223 * * [simplify]: iteration 0 : 252 enodes (cost 318 ) 2.228 * * [simplify]: iteration 1 : 1089 enodes (cost 282 ) 2.255 * * [simplify]: iteration 2 : 5001 enodes (cost 275 ) 2.257 * [simplify]: Simplified to: (- (* (* 4.0 4.0) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0))) (- (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ 1 (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (+ (* (- (* 4.0 4.0)) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0)))) (/ (+ (* (- (* 4.0 4.0)) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0))) (- (pow (pow (+ (* a a) (* b b)) 2.0) 3) (pow (* 4.0 (* b b)) 3))) 1 (* (+ (* (pow (+ (* a a) (* b b)) (* 2 2.0)) (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (- (* 4.0 4.0)) (pow b 4)))) (* (* (- (* 4.0 4.0)) (pow b 4)) (* (- (* 4.0 4.0)) (pow b 4)))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (* (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (- (* (- (* 4.0 4.0)) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0)))) (* (log (+ (* a a) (* b b))) 2.0) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (* (log (+ (* a a) (* b b))) (* 2 2.0)) (pow (+ (* a a) (* b b)) 2) (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0) (+ (pow (* (- (* 4.0 4.0)) (pow b 4)) 3) (pow (pow (+ (* a a) (* b b)) (* 2 2.0)) 3)) (+ (+ (* (* (* 4.0 4.0) (* 4.0 4.0)) (pow b 8)) (* (* (* 4.0 4.0) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0)))) (pow (pow (+ (* a a) (* b b)) 2.0) 4)) (+ (- (pow (+ (* a a) (* b b)) (* 2 (* 2 2.0)))) (* (* (* 4.0 4.0) (* 4.0 4.0)) (pow b 8))) (- (* (- (* 4.0 4.0)) (pow b 4)) (pow (+ (* a a) (* b b)) (* 2 2.0))) (* (pow b 2) (+ (+ (pow b 2) 4.0) (* 2 (pow a 2)))) (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 a) -4.0) (pow (/ -1 a) -4.0) (+ (* 4.0 (* (pow a 2) (pow b 6))) (pow b 8)) (pow (/ 1 a) -8.0) (pow (/ -1 a) -8.0) (* -16.0 (pow b 4)) (+ (pow a 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))) (+ (pow a 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))) 2.257 * * * [progress]: adding candidates to table 2.366 * [progress]: [Phase 3 of 3] Extracting. 2.366 * * [regime]: Finding splitpoints for: (# # #) 2.367 * * * [regime-changes]: Trying 3 branch expressions: ((* a a) b a) 2.367 * * * * [regimes]: Trying to branch on (* a a) from (# # #) 2.383 * * * * [regimes]: Trying to branch on b from (# # #) 2.400 * * * * [regimes]: Trying to branch on a from (# # #) 2.421 * * * [regime]: Found split indices: #