15.831 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.056 * * * [progress]: [2/2] Setting up program. 0.058 * [progress]: [Phase 2 of 3] Improving. 0.059 * [simplify]: Simplifying using # : (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))) 1.0) 0.060 * * [simplify]: iteration 0 : 18 enodes (cost 29 ) 0.062 * * [simplify]: iteration 1 : 51 enodes (cost 29 ) 0.070 * * [simplify]: iteration 2 : 134 enodes (cost 29 ) 0.096 * * [simplify]: iteration 3 : 317 enodes (cost 29 ) 0.187 * * [simplify]: iteration 4 : 694 enodes (cost 29 ) 0.504 * * [simplify]: iteration 5 : 1481 enodes (cost 29 ) 1.860 * * [simplify]: iteration 6 : 3202 enodes (cost 29 ) 3.012 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 3.012 * [simplify]: Simplified to: (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))) 1.0) 3.012 * * [progress]: iteration 1 / 4 3.012 * * * [progress]: picking best candidate 3.015 * * * * [pick]: Picked # 3.015 * * * [progress]: localizing error 3.030 * * * [progress]: generating rewritten candidates 3.030 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 3.045 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 3.049 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1) 3.064 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 3.080 * * * [progress]: generating series expansions 3.080 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 3.080 * [approximate]: Taking taylor expansion of (* (+ a 3.0) (pow b 2)) in (b a) around 0 3.080 * [taylor]: Taking taylor expansion of (* (+ a 3.0) (pow b 2)) in a 3.080 * [taylor]: Taking taylor expansion of (+ a 3.0) in a 3.080 * [taylor]: Taking taylor expansion of a in a 3.080 * [taylor]: Taking taylor expansion of 3.0 in a 3.080 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.080 * [taylor]: Taking taylor expansion of b in a 3.080 * [taylor]: Taking taylor expansion of (* (+ a 3.0) (pow b 2)) in b 3.080 * [taylor]: Taking taylor expansion of (+ a 3.0) in b 3.080 * [taylor]: Taking taylor expansion of a in b 3.080 * [taylor]: Taking taylor expansion of 3.0 in b 3.080 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.080 * [taylor]: Taking taylor expansion of b in b 3.080 * [taylor]: Taking taylor expansion of (* (+ a 3.0) (pow b 2)) in b 3.080 * [taylor]: Taking taylor expansion of (+ a 3.0) in b 3.080 * [taylor]: Taking taylor expansion of a in b 3.080 * [taylor]: Taking taylor expansion of 3.0 in b 3.080 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.080 * [taylor]: Taking taylor expansion of b in b 3.081 * [taylor]: Taking taylor expansion of (+ a 3.0) in a 3.081 * [taylor]: Taking taylor expansion of a in a 3.081 * [taylor]: Taking taylor expansion of 3.0 in a 3.082 * [taylor]: Taking taylor expansion of 0 in a 3.084 * [taylor]: Taking taylor expansion of 0 in a 3.085 * [taylor]: Taking taylor expansion of 0 in a 3.086 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 3.0) (pow b 2)) in (b a) around 0 3.086 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3.0) (pow b 2)) in a 3.086 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3.0) in a 3.086 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.086 * [taylor]: Taking taylor expansion of a in a 3.086 * [taylor]: Taking taylor expansion of 3.0 in a 3.086 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.086 * [taylor]: Taking taylor expansion of b in a 3.086 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3.0) (pow b 2)) in b 3.086 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3.0) in b 3.086 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.086 * [taylor]: Taking taylor expansion of a in b 3.087 * [taylor]: Taking taylor expansion of 3.0 in b 3.087 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.087 * [taylor]: Taking taylor expansion of b in b 3.087 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3.0) (pow b 2)) in b 3.087 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3.0) in b 3.087 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.087 * [taylor]: Taking taylor expansion of a in b 3.087 * [taylor]: Taking taylor expansion of 3.0 in b 3.087 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.087 * [taylor]: Taking taylor expansion of b in b 3.087 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3.0) in a 3.087 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.087 * [taylor]: Taking taylor expansion of a in a 3.088 * [taylor]: Taking taylor expansion of 3.0 in a 3.089 * [taylor]: Taking taylor expansion of 0 in a 3.091 * [taylor]: Taking taylor expansion of 0 in a 3.094 * [taylor]: Taking taylor expansion of 0 in a 3.097 * [taylor]: Taking taylor expansion of 0 in a 3.098 * [approximate]: Taking taylor expansion of (/ (- 3.0 (/ 1 a)) (pow b 2)) in (b a) around 0 3.098 * [taylor]: Taking taylor expansion of (/ (- 3.0 (/ 1 a)) (pow b 2)) in a 3.098 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 a)) in a 3.098 * [taylor]: Taking taylor expansion of 3.0 in a 3.098 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.098 * [taylor]: Taking taylor expansion of a in a 3.098 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.098 * [taylor]: Taking taylor expansion of b in a 3.099 * [taylor]: Taking taylor expansion of (/ (- 3.0 (/ 1 a)) (pow b 2)) in b 3.099 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 a)) in b 3.099 * [taylor]: Taking taylor expansion of 3.0 in b 3.099 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.099 * [taylor]: Taking taylor expansion of a in b 3.099 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.099 * [taylor]: Taking taylor expansion of b in b 3.099 * [taylor]: Taking taylor expansion of (/ (- 3.0 (/ 1 a)) (pow b 2)) in b 3.099 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 a)) in b 3.099 * [taylor]: Taking taylor expansion of 3.0 in b 3.099 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.099 * [taylor]: Taking taylor expansion of a in b 3.099 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.099 * [taylor]: Taking taylor expansion of b in b 3.100 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 a)) in a 3.100 * [taylor]: Taking taylor expansion of 3.0 in a 3.100 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.100 * [taylor]: Taking taylor expansion of a in a 3.102 * [taylor]: Taking taylor expansion of 0 in a 3.105 * [taylor]: Taking taylor expansion of 0 in a 3.108 * [taylor]: Taking taylor expansion of 0 in a 3.111 * [taylor]: Taking taylor expansion of 0 in a 3.112 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 3.112 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in (a b) around 0 3.112 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in b 3.112 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in b 3.112 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in b 3.112 * [taylor]: Taking taylor expansion of 2.0 in b 3.112 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in b 3.112 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 3.112 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.112 * [taylor]: Taking taylor expansion of a in b 3.112 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.112 * [taylor]: Taking taylor expansion of b in b 3.112 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 3.112 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 3.112 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 3.112 * [taylor]: Taking taylor expansion of 2.0 in a 3.113 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 3.113 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 3.113 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.113 * [taylor]: Taking taylor expansion of a in a 3.113 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.113 * [taylor]: Taking taylor expansion of b in a 3.113 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 3.113 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 3.113 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 3.113 * [taylor]: Taking taylor expansion of 2.0 in a 3.113 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 3.113 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 3.113 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.113 * [taylor]: Taking taylor expansion of a in a 3.113 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.113 * [taylor]: Taking taylor expansion of b in a 3.113 * [taylor]: Taking taylor expansion of (pow (pow b 2) 2.0) in b 3.113 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow b 2)))) in b 3.113 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow b 2))) in b 3.113 * [taylor]: Taking taylor expansion of 2.0 in b 3.113 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 3.113 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.113 * [taylor]: Taking taylor expansion of b in b 3.116 * [taylor]: Taking taylor expansion of 0 in b 3.121 * [taylor]: Taking taylor expansion of (* 2.0 (pow (pow b 2.0) 1.0)) in b 3.121 * [taylor]: Taking taylor expansion of 2.0 in b 3.121 * [taylor]: Taking taylor expansion of (pow (pow b 2.0) 1.0) in b 3.121 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow b 2.0)))) in b 3.121 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow b 2.0))) in b 3.121 * [taylor]: Taking taylor expansion of 1.0 in b 3.121 * [taylor]: Taking taylor expansion of (log (pow b 2.0)) in b 3.121 * [taylor]: Taking taylor expansion of (pow b 2.0) in b 3.121 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log b))) in b 3.122 * [taylor]: Taking taylor expansion of (* 2.0 (log b)) in b 3.122 * [taylor]: Taking taylor expansion of 2.0 in b 3.122 * [taylor]: Taking taylor expansion of (log b) in b 3.122 * [taylor]: Taking taylor expansion of b in b 3.131 * [taylor]: Taking taylor expansion of 0 in b 3.140 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 3.140 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 3.140 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 3.140 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 3.140 * [taylor]: Taking taylor expansion of 2.0 in b 3.140 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 3.140 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 3.140 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.140 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.140 * [taylor]: Taking taylor expansion of b in b 3.140 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.140 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.140 * [taylor]: Taking taylor expansion of a in b 3.141 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 3.141 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 3.141 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 3.141 * [taylor]: Taking taylor expansion of 2.0 in a 3.141 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 3.141 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 3.141 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.141 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.141 * [taylor]: Taking taylor expansion of b in a 3.142 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.142 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.142 * [taylor]: Taking taylor expansion of a in a 3.143 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 3.143 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 3.143 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 3.143 * [taylor]: Taking taylor expansion of 2.0 in a 3.143 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 3.143 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 3.143 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.143 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.143 * [taylor]: Taking taylor expansion of b in a 3.143 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.143 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.143 * [taylor]: Taking taylor expansion of a in a 3.144 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 3.144 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 3.145 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 3.145 * [taylor]: Taking taylor expansion of -4.0 in b 3.145 * [taylor]: Taking taylor expansion of (log a) in b 3.145 * [taylor]: Taking taylor expansion of a in b 3.147 * [taylor]: Taking taylor expansion of 0 in b 3.152 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 3.152 * [taylor]: Taking taylor expansion of 2.0 in b 3.152 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 3.152 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 3.152 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 3.152 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 3.152 * [taylor]: Taking taylor expansion of 1.0 in b 3.152 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 3.152 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 3.152 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 3.152 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 3.152 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 3.152 * [taylor]: Taking taylor expansion of 4.0 in b 3.152 * [taylor]: Taking taylor expansion of (log a) in b 3.152 * [taylor]: Taking taylor expansion of a in b 3.153 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.153 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.153 * [taylor]: Taking taylor expansion of b in b 3.179 * [taylor]: Taking taylor expansion of 0 in b 3.179 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 3.179 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 3.179 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 3.179 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 3.179 * [taylor]: Taking taylor expansion of 2.0 in b 3.179 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 3.179 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 3.179 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.179 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.179 * [taylor]: Taking taylor expansion of b in b 3.180 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.180 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.180 * [taylor]: Taking taylor expansion of a in b 3.181 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 3.181 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 3.181 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 3.181 * [taylor]: Taking taylor expansion of 2.0 in a 3.181 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 3.181 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 3.181 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.181 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.181 * [taylor]: Taking taylor expansion of b in a 3.181 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.181 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.181 * [taylor]: Taking taylor expansion of a in a 3.182 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 3.182 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 3.183 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 3.183 * [taylor]: Taking taylor expansion of 2.0 in a 3.183 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 3.183 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 3.183 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.183 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.183 * [taylor]: Taking taylor expansion of b in a 3.183 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.183 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.183 * [taylor]: Taking taylor expansion of a in a 3.184 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 3.185 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 3.185 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 3.185 * [taylor]: Taking taylor expansion of -4.0 in b 3.185 * [taylor]: Taking taylor expansion of (log a) in b 3.185 * [taylor]: Taking taylor expansion of a in b 3.187 * [taylor]: Taking taylor expansion of 0 in b 3.192 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 3.192 * [taylor]: Taking taylor expansion of 2.0 in b 3.192 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 3.192 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 3.192 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 3.192 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 3.192 * [taylor]: Taking taylor expansion of 1.0 in b 3.192 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 3.192 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 3.192 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 3.192 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 3.192 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 3.192 * [taylor]: Taking taylor expansion of 4.0 in b 3.192 * [taylor]: Taking taylor expansion of (log a) in b 3.192 * [taylor]: Taking taylor expansion of a in b 3.193 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.193 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.193 * [taylor]: Taking taylor expansion of b in b 3.214 * [taylor]: Taking taylor expansion of 0 in b 3.214 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1) 3.215 * [approximate]: Taking taylor expansion of (* (pow a 2) (- 1.0 a)) in (a) around 0 3.215 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1.0 a)) in a 3.215 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.215 * [taylor]: Taking taylor expansion of a in a 3.215 * [taylor]: Taking taylor expansion of (- 1.0 a) in a 3.215 * [taylor]: Taking taylor expansion of 1.0 in a 3.215 * [taylor]: Taking taylor expansion of a in a 3.215 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1.0 a)) in a 3.215 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.215 * [taylor]: Taking taylor expansion of a in a 3.215 * [taylor]: Taking taylor expansion of (- 1.0 a) in a 3.215 * [taylor]: Taking taylor expansion of 1.0 in a 3.215 * [taylor]: Taking taylor expansion of a in a 3.229 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 a)) (pow a 2)) in (a) around 0 3.229 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 a)) (pow a 2)) in a 3.229 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 a)) in a 3.229 * [taylor]: Taking taylor expansion of 1.0 in a 3.229 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.229 * [taylor]: Taking taylor expansion of a in a 3.229 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.229 * [taylor]: Taking taylor expansion of a in a 3.230 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 a)) (pow a 2)) in a 3.230 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 a)) in a 3.230 * [taylor]: Taking taylor expansion of 1.0 in a 3.230 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.230 * [taylor]: Taking taylor expansion of a in a 3.231 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.231 * [taylor]: Taking taylor expansion of a in a 3.254 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 1.0) (pow a 2)) in (a) around 0 3.254 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1.0) (pow a 2)) in a 3.254 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1.0) in a 3.254 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.254 * [taylor]: Taking taylor expansion of a in a 3.254 * [taylor]: Taking taylor expansion of 1.0 in a 3.254 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.254 * [taylor]: Taking taylor expansion of a in a 3.255 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1.0) (pow a 2)) in a 3.255 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1.0) in a 3.255 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.255 * [taylor]: Taking taylor expansion of a in a 3.255 * [taylor]: Taking taylor expansion of 1.0 in a 3.255 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.255 * [taylor]: Taking taylor expansion of a in a 3.270 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 3.270 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) (pow a 3)) in (a b) around 0 3.270 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) (pow a 3)) in b 3.271 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) in b 3.271 * [taylor]: Taking taylor expansion of (* 1.0 (pow a 2)) in b 3.271 * [taylor]: Taking taylor expansion of 1.0 in b 3.271 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.271 * [taylor]: Taking taylor expansion of a in b 3.271 * [taylor]: Taking taylor expansion of (+ (* a (pow b 2)) (* 3.0 (pow b 2))) in b 3.271 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 3.271 * [taylor]: Taking taylor expansion of a in b 3.271 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.271 * [taylor]: Taking taylor expansion of b in b 3.271 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in b 3.271 * [taylor]: Taking taylor expansion of 3.0 in b 3.271 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.271 * [taylor]: Taking taylor expansion of b in b 3.271 * [taylor]: Taking taylor expansion of (pow a 3) in b 3.271 * [taylor]: Taking taylor expansion of a in b 3.271 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) (pow a 3)) in a 3.271 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) in a 3.271 * [taylor]: Taking taylor expansion of (* 1.0 (pow a 2)) in a 3.271 * [taylor]: Taking taylor expansion of 1.0 in a 3.271 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.271 * [taylor]: Taking taylor expansion of a in a 3.271 * [taylor]: Taking taylor expansion of (+ (* a (pow b 2)) (* 3.0 (pow b 2))) in a 3.271 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 3.271 * [taylor]: Taking taylor expansion of a in a 3.271 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.271 * [taylor]: Taking taylor expansion of b in a 3.271 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in a 3.271 * [taylor]: Taking taylor expansion of 3.0 in a 3.271 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.271 * [taylor]: Taking taylor expansion of b in a 3.271 * [taylor]: Taking taylor expansion of (pow a 3) in a 3.271 * [taylor]: Taking taylor expansion of a in a 3.271 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) (pow a 3)) in a 3.271 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) in a 3.271 * [taylor]: Taking taylor expansion of (* 1.0 (pow a 2)) in a 3.271 * [taylor]: Taking taylor expansion of 1.0 in a 3.271 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.271 * [taylor]: Taking taylor expansion of a in a 3.271 * [taylor]: Taking taylor expansion of (+ (* a (pow b 2)) (* 3.0 (pow b 2))) in a 3.271 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 3.271 * [taylor]: Taking taylor expansion of a in a 3.271 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.271 * [taylor]: Taking taylor expansion of b in a 3.271 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in a 3.271 * [taylor]: Taking taylor expansion of 3.0 in a 3.271 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.271 * [taylor]: Taking taylor expansion of b in a 3.271 * [taylor]: Taking taylor expansion of (pow a 3) in a 3.271 * [taylor]: Taking taylor expansion of a in a 3.272 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in b 3.272 * [taylor]: Taking taylor expansion of 3.0 in b 3.272 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.272 * [taylor]: Taking taylor expansion of b in b 3.273 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.273 * [taylor]: Taking taylor expansion of b in b 3.276 * [taylor]: Taking taylor expansion of 1.0 in b 3.281 * [taylor]: Taking taylor expansion of -1 in b 3.282 * [approximate]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) (/ 1 (pow a 3))) in (a b) around 0 3.282 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) (/ 1 (pow a 3))) in b 3.282 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) in b 3.282 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in b 3.282 * [taylor]: Taking taylor expansion of 3.0 in b 3.282 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.282 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.282 * [taylor]: Taking taylor expansion of b in b 3.283 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2)))) in b 3.283 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in b 3.283 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 3.283 * [taylor]: Taking taylor expansion of a in b 3.283 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.283 * [taylor]: Taking taylor expansion of b in b 3.283 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in b 3.283 * [taylor]: Taking taylor expansion of 1.0 in b 3.283 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.283 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.283 * [taylor]: Taking taylor expansion of a in b 3.283 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 3.283 * [taylor]: Taking taylor expansion of (pow a 3) in b 3.283 * [taylor]: Taking taylor expansion of a in b 3.284 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) (/ 1 (pow a 3))) in a 3.284 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) in a 3.284 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in a 3.284 * [taylor]: Taking taylor expansion of 3.0 in a 3.284 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.284 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.284 * [taylor]: Taking taylor expansion of b in a 3.284 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2)))) in a 3.284 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 3.284 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 3.284 * [taylor]: Taking taylor expansion of a in a 3.284 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.284 * [taylor]: Taking taylor expansion of b in a 3.284 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in a 3.284 * [taylor]: Taking taylor expansion of 1.0 in a 3.284 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.285 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.285 * [taylor]: Taking taylor expansion of a in a 3.285 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 3.285 * [taylor]: Taking taylor expansion of (pow a 3) in a 3.285 * [taylor]: Taking taylor expansion of a in a 3.286 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) (/ 1 (pow a 3))) in a 3.286 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) in a 3.286 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in a 3.286 * [taylor]: Taking taylor expansion of 3.0 in a 3.286 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.286 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.286 * [taylor]: Taking taylor expansion of b in a 3.286 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2)))) in a 3.286 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 3.286 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 3.286 * [taylor]: Taking taylor expansion of a in a 3.286 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.286 * [taylor]: Taking taylor expansion of b in a 3.287 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in a 3.287 * [taylor]: Taking taylor expansion of 1.0 in a 3.287 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.287 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.287 * [taylor]: Taking taylor expansion of a in a 3.287 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 3.287 * [taylor]: Taking taylor expansion of (pow a 3) in a 3.287 * [taylor]: Taking taylor expansion of a in a 3.288 * [taylor]: Taking taylor expansion of -1 in b 3.291 * [taylor]: Taking taylor expansion of 1.0 in b 3.294 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.294 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.294 * [taylor]: Taking taylor expansion of b in b 3.299 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in b 3.300 * [taylor]: Taking taylor expansion of 3.0 in b 3.300 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.300 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.300 * [taylor]: Taking taylor expansion of b in b 3.301 * [approximate]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in (a b) around 0 3.301 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in b 3.301 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) in b 3.301 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in b 3.301 * [taylor]: Taking taylor expansion of 3.0 in b 3.301 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.301 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.301 * [taylor]: Taking taylor expansion of b in b 3.302 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3))) in b 3.302 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in b 3.302 * [taylor]: Taking taylor expansion of 1.0 in b 3.302 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.302 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.302 * [taylor]: Taking taylor expansion of a in b 3.302 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 3.302 * [taylor]: Taking taylor expansion of (pow a 3) in b 3.302 * [taylor]: Taking taylor expansion of a in b 3.302 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in b 3.302 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 3.302 * [taylor]: Taking taylor expansion of a in b 3.302 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.302 * [taylor]: Taking taylor expansion of b in b 3.302 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in a 3.302 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) in a 3.303 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in a 3.303 * [taylor]: Taking taylor expansion of 3.0 in a 3.303 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.303 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.303 * [taylor]: Taking taylor expansion of b in a 3.303 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3))) in a 3.303 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in a 3.303 * [taylor]: Taking taylor expansion of 1.0 in a 3.303 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.303 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.303 * [taylor]: Taking taylor expansion of a in a 3.303 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 3.303 * [taylor]: Taking taylor expansion of (pow a 3) in a 3.303 * [taylor]: Taking taylor expansion of a in a 3.304 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 3.304 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 3.304 * [taylor]: Taking taylor expansion of a in a 3.304 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.304 * [taylor]: Taking taylor expansion of b in a 3.305 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in a 3.305 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) in a 3.305 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in a 3.305 * [taylor]: Taking taylor expansion of 3.0 in a 3.305 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.305 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.305 * [taylor]: Taking taylor expansion of b in a 3.305 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3))) in a 3.305 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in a 3.305 * [taylor]: Taking taylor expansion of 1.0 in a 3.305 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.305 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.305 * [taylor]: Taking taylor expansion of a in a 3.305 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 3.305 * [taylor]: Taking taylor expansion of (pow a 3) in a 3.305 * [taylor]: Taking taylor expansion of a in a 3.306 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 3.306 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 3.306 * [taylor]: Taking taylor expansion of a in a 3.306 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.306 * [taylor]: Taking taylor expansion of b in a 3.307 * [taylor]: Taking taylor expansion of 1 in b 3.310 * [taylor]: Taking taylor expansion of 1.0 in b 3.313 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 3.313 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.313 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.313 * [taylor]: Taking taylor expansion of b in b 3.318 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in b 3.318 * [taylor]: Taking taylor expansion of 3.0 in b 3.318 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.318 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.318 * [taylor]: Taking taylor expansion of b in b 3.319 * * * [progress]: simplifying candidates 3.321 * [simplify]: Simplifying using # : (* (* b b) (+ 3.0 a)) (* (* b b) (+ 3.0 a)) (+ (+ (log b) (log b)) (log (+ 3.0 a))) (+ (log (* b b)) (log (+ 3.0 a))) (log (* (* b b) (+ 3.0 a))) (exp (* (* b b) (+ 3.0 a))) (* (* (* (* b b) b) (* (* b b) b)) (* (* (+ 3.0 a) (+ 3.0 a)) (+ 3.0 a))) (* (* (* (* b b) (* b b)) (* b b)) (* (* (+ 3.0 a) (+ 3.0 a)) (+ 3.0 a))) (* (cbrt (* (* b b) (+ 3.0 a))) (cbrt (* (* b b) (+ 3.0 a)))) (cbrt (* (* b b) (+ 3.0 a))) (* (* (* (* b b) (+ 3.0 a)) (* (* b b) (+ 3.0 a))) (* (* b b) (+ 3.0 a))) (sqrt (* (* b b) (+ 3.0 a))) (sqrt (* (* b b) (+ 3.0 a))) (* b (sqrt (+ 3.0 a))) (* b (sqrt (+ 3.0 a))) (* (* b b) 3.0) (* (* b b) a) (* 3.0 (* b b)) (* a (* b b)) (* (* b b) (* (cbrt (+ 3.0 a)) (cbrt (+ 3.0 a)))) (* (* b b) (sqrt (+ 3.0 a))) (* (* b b) 1) (* (* b b) 1) (* b (+ 3.0 a)) (* (* b b) (+ (pow 3.0 3) (pow a 3))) (* (* b b) (- (* 3.0 3.0) (* a a))) (* (log (+ (* a a) (* b b))) 2.0) (* (log (+ (* a a) (* b b))) 2.0) (* 1 2.0) (pow (+ (* a a) (* b b)) (* (cbrt 2.0) (cbrt 2.0))) (pow (+ (* a a) (* b b)) (sqrt 2.0)) (pow (+ (* a a) (* b b)) 1) (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0) (pow (cbrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow 1 2.0) (pow (+ (* a a) (* b b)) 2.0) (log (pow (+ (* a a) (* b b)) 2.0)) (exp (pow (+ (* a a) (* b b)) 2.0)) (* (cbrt (pow (+ (* a a) (* b b)) 2.0)) (cbrt (pow (+ (* a a) (* b b)) 2.0))) (cbrt (pow (+ (* a a) (* b b)) 2.0)) (* (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (* (* a a) (- 1.0 a)) (* (* a a) (- 1.0 a)) (+ (+ (log a) (log a)) (log (- 1.0 a))) (+ (log (* a a)) (log (- 1.0 a))) (log (* (* a a) (- 1.0 a))) (exp (* (* a a) (- 1.0 a))) (* (* (* (* a a) a) (* (* a a) a)) (* (* (- 1.0 a) (- 1.0 a)) (- 1.0 a))) (* (* (* (* a a) (* a a)) (* a a)) (* (* (- 1.0 a) (- 1.0 a)) (- 1.0 a))) (* (cbrt (* (* a a) (- 1.0 a))) (cbrt (* (* a a) (- 1.0 a)))) (cbrt (* (* a a) (- 1.0 a))) (* (* (* (* a a) (- 1.0 a)) (* (* a a) (- 1.0 a))) (* (* a a) (- 1.0 a))) (sqrt (* (* a a) (- 1.0 a))) (sqrt (* (* a a) (- 1.0 a))) (* a (sqrt (- 1.0 a))) (* a (sqrt (- 1.0 a))) (* (* a a) 1.0) (* (* a a) (- a)) (* (* a a) 1.0) (* (* a a) (- a)) (* 1.0 (* a a)) (* (- a) (* a a)) (* 1.0 (* a a)) (* (- a) (* a a)) (* (* a a) (* (cbrt (- 1.0 a)) (cbrt (- 1.0 a)))) (* (* a a) (sqrt (- 1.0 a))) (* (* a a) 1) (* (* a a) (+ (sqrt 1.0) (sqrt a))) (* (* a a) 1) (* a (- 1.0 a)) (* (* a a) (- (pow 1.0 3) (pow a 3))) (* (* a a) (- (* 1.0 1.0) (* a a))) (* (exp (* (* a a) (- 1.0 a))) (exp (* (* b b) (+ 3.0 a)))) (log (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (exp (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (* (cbrt (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (cbrt (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))) (cbrt (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (* (* (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))) (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (sqrt (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (sqrt (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (+ (* (* (* a a) (- (pow 1.0 3) (pow a 3))) (+ (* 3.0 3.0) (- (* a a) (* 3.0 a)))) (* (+ (* 1.0 1.0) (+ (* a a) (* 1.0 a))) (* (* b b) (+ (pow 3.0 3) (pow a 3))))) (* (+ (* 1.0 1.0) (+ (* a a) (* 1.0 a))) (+ (* 3.0 3.0) (- (* a a) (* 3.0 a)))) (+ (* (* (* a a) (- (pow 1.0 3) (pow a 3))) (- 3.0 a)) (* (+ (* 1.0 1.0) (+ (* a a) (* 1.0 a))) (* (* b b) (- (* 3.0 3.0) (* a a))))) (* (+ (* 1.0 1.0) (+ (* a a) (* 1.0 a))) (- 3.0 a)) (+ (* (* (* a a) (- (* 1.0 1.0) (* a a))) (+ (* 3.0 3.0) (- (* a a) (* 3.0 a)))) (* (+ 1.0 a) (* (* b b) (+ (pow 3.0 3) (pow a 3))))) (* (+ 1.0 a) (+ (* 3.0 3.0) (- (* a a) (* 3.0 a)))) (+ (* (* (* a a) (- (* 1.0 1.0) (* a a))) (- 3.0 a)) (* (+ 1.0 a) (* (* b b) (- (* 3.0 3.0) (* a a))))) (* (+ 1.0 a) (- 3.0 a)) (+ (pow (* (* a a) (- 1.0 a)) 3) (pow (* (* b b) (+ 3.0 a)) 3)) (+ (* (* (* a a) (- 1.0 a)) (* (* a a) (- 1.0 a))) (- (* (* (* b b) (+ 3.0 a)) (* (* b b) (+ 3.0 a))) (* (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))) (- (* (* (* a a) (- 1.0 a)) (* (* a a) (- 1.0 a))) (* (* (* b b) (+ 3.0 a)) (* (* b b) (+ 3.0 a)))) (- (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))) (+ (* (* a a) (- 1.0 a)) (* (* b b) 3.0)) (+ (* (* a a) (- 1.0 a)) (* 3.0 (* b b))) (+ (* (* a a) (- a)) (* (* b b) (+ 3.0 a))) (+ (* (* a a) (- a)) (* (* b b) (+ 3.0 a))) (+ (* (- a) (* a a)) (* (* b b) (+ 3.0 a))) (+ (* (- a) (* a a)) (* (* b b) (+ 3.0 a))) (+ (* a (pow b 2)) (* 3.0 (pow b 2))) (+ (* a (pow b 2)) (* 3.0 (pow b 2))) (+ (* a (pow b 2)) (* 3.0 (pow b 2))) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 a) -4.0) (pow (/ -1 a) -4.0) (- (* 1.0 (pow a 2)) (pow a 3)) (- (* 1.0 (pow a 2)) (pow a 3)) (- (* 1.0 (pow a 2)) (pow a 3)) (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)) (- (+ (* a (pow b 2)) (* 3.0 (pow b 2))) (pow a 3)) (- (+ (* a (pow b 2)) (* 3.0 (pow b 2))) (pow a 3)) 3.325 * * [simplify]: iteration 0 : 191 enodes (cost 1484 ) 3.378 * * [simplify]: iteration 1 : 543 enodes (cost 1351 ) 3.939 * * [simplify]: iteration 2 : 2394 enodes (cost 1247 ) 4.691 * * [simplify]: iteration done : 5000 enodes (cost 1247 ) 4.691 * [simplify]: Simplified to: (* b (* b (+ 3.0 a))) (* b (* b (+ 3.0 a))) (log (* (* b b) (+ 3.0 a))) (log (* (* b b) (+ 3.0 a))) (log (* (* b b) (+ 3.0 a))) (exp (* (* b b) (+ 3.0 a))) (pow (* b (* b (+ 3.0 a))) 3) (pow (* b (* b (+ 3.0 a))) 3) (* (cbrt (* (* b b) (+ 3.0 a))) (cbrt (* (* b b) (+ 3.0 a)))) (cbrt (* (* b b) (+ 3.0 a))) (pow (* b (* b (+ 3.0 a))) 3) (sqrt (* (* b b) (+ 3.0 a))) (sqrt (* (* b b) (+ 3.0 a))) (* b (sqrt (+ 3.0 a))) (* b (sqrt (+ 3.0 a))) (* 3.0 (pow b 2)) (* a (* b b)) (* 3.0 (pow b 2)) (* a (* b b)) (* (* b b) (* (cbrt (+ 3.0 a)) (cbrt (+ 3.0 a)))) (* (* b b) (sqrt (+ 3.0 a))) (pow b 2) (pow b 2) (* b (+ 3.0 a)) (* (* b b) (+ (pow 3.0 3) (pow a 3))) (* (* b b) (- (* 3.0 3.0) (* a a))) (log (pow (+ (* a a) (* b b)) 2.0)) (log (pow (+ (* a a) (* b b)) 2.0)) 2.0 (pow (+ (* a a) (* b b)) (* (cbrt 2.0) (cbrt 2.0))) (pow (+ (* a a) (* b b)) (sqrt 2.0)) (+ (* a a) (* b b)) (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0) (pow (cbrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) 1 (pow (+ (* a a) (* b b)) 2.0) (log (pow (+ (* a a) (* b b)) 2.0)) (exp (pow (+ (* a a) (* b b)) 2.0)) (* (cbrt (pow (+ (* a a) (* b b)) 2.0)) (cbrt (pow (+ (* a a) (* b b)) 2.0))) (cbrt (pow (+ (* a a) (* b b)) 2.0)) (pow (pow (+ (* a a) (* b b)) 2.0) 3) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (* (pow a 2) (- 1.0 a)) (* (pow a 2) (- 1.0 a)) (log (* (* a a) (- 1.0 a))) (log (* (* a a) (- 1.0 a))) (log (* (* a a) (- 1.0 a))) (exp (* (* a a) (- 1.0 a))) (pow (* (* a a) (- 1.0 a)) 3) (pow (* (* a a) (- 1.0 a)) 3) (* (cbrt (* (* a a) (- 1.0 a))) (cbrt (* (* a a) (- 1.0 a)))) (cbrt (* (* a a) (- 1.0 a))) (pow (* (* a a) (- 1.0 a)) 3) (sqrt (* (* a a) (- 1.0 a))) (sqrt (* (* a a) (- 1.0 a))) (* a (sqrt (- 1.0 a))) (* a (sqrt (- 1.0 a))) (* (* a a) 1.0) (- (pow a 3)) (* (* a a) 1.0) (- (pow a 3)) (* (* a a) 1.0) (- (pow a 3)) (* (* a a) 1.0) (- (pow a 3)) (* (* a a) (* (cbrt (- 1.0 a)) (cbrt (- 1.0 a)))) (* (* a a) (sqrt (- 1.0 a))) (pow a 2) (* (* a a) (+ (sqrt 1.0) (sqrt a))) (pow a 2) (* a (- 1.0 a)) (* (* a a) (- (pow 1.0 3) (pow a 3))) (* (* a a) (- (* 1.0 1.0) (* a a))) (exp (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (log (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (exp (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (* (cbrt (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (cbrt (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))) (cbrt (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (pow (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))) 3) (sqrt (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (sqrt (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))) (+ (* (* (* a a) (- (pow 1.0 3) (pow a 3))) (+ (* a (- a 3.0)) (* 3.0 3.0))) (* (+ (* a (+ 1.0 a)) (* 1.0 1.0)) (* (* b b) (+ (pow 3.0 3) (pow a 3))))) (* (+ (* a (+ 1.0 a)) (* 1.0 1.0)) (+ (* a (- a 3.0)) (* 3.0 3.0))) (+ (* (* (* a a) (- (pow 1.0 3) (pow a 3))) (- 3.0 a)) (* (+ (* a (+ 1.0 a)) (* 1.0 1.0)) (* (* b b) (- (* 3.0 3.0) (* a a))))) (* (- 3.0 a) (+ (* a (+ 1.0 a)) (* 1.0 1.0))) (+ (* (+ 1.0 a) (* (* b b) (+ (pow 3.0 3) (pow a 3)))) (* (* (* a a) (- (* 1.0 1.0) (* a a))) (+ (* a (- a 3.0)) (* 3.0 3.0)))) (* (+ 1.0 a) (+ (* a (- a 3.0)) (* 3.0 3.0))) (+ (* (* (* a a) (- (* 1.0 1.0) (* a a))) (- 3.0 a)) (* (+ 1.0 a) (* (* b b) (- (* 3.0 3.0) (* a a))))) (* (+ 1.0 a) (- 3.0 a)) (+ (pow (* (* a a) (- 1.0 a)) 3) (pow (* (* b b) (+ 3.0 a)) 3)) (+ (* (* b (* b (+ 3.0 a))) (- (* b (* b (+ 3.0 a))) (* (* a a) (- 1.0 a)))) (* (* (- 1.0 a) (- 1.0 a)) (pow a 4))) (- (* (* (- 1.0 a) (- 1.0 a)) (pow a 4)) (* (+ 3.0 a) (* (+ 3.0 a) (pow b 4)))) (- (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))) (+ (* (* a a) (- 1.0 a)) (* (* b b) 3.0)) (+ (* (* a a) (- 1.0 a)) (* (* b b) 3.0)) (- (* b (* b (+ 3.0 a))) (pow a 3)) (- (* b (* b (+ 3.0 a))) (pow a 3)) (- (* b (* b (+ 3.0 a))) (pow a 3)) (- (* b (* b (+ 3.0 a))) (pow a 3)) (* b (* b (+ 3.0 a))) (* b (* b (+ 3.0 a))) (* b (* b (+ 3.0 a))) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 a) -4.0) (pow (/ -1 a) -4.0) (* (pow a 2) (- 1.0 a)) (* (pow a 2) (- 1.0 a)) (* (pow a 2) (- 1.0 a)) (+ (* (* a a) (- 1.0 a)) (* (* b b) 3.0)) (- (* b (* b (+ 3.0 a))) (pow a 3)) (- (* b (* b (+ 3.0 a))) (pow a 3)) 4.692 * * * [progress]: adding candidates to table 4.960 * * [progress]: iteration 2 / 4 4.960 * * * [progress]: picking best candidate 4.976 * * * * [pick]: Picked # 4.977 * * * [progress]: localizing error 4.995 * * * [progress]: generating rewritten candidates 4.995 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 5.000 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2 1) 5.012 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 5.055 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 5.082 * * * [progress]: generating series expansions 5.082 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 5.082 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in (a b) around 0 5.082 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in b 5.082 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in b 5.082 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in b 5.082 * [taylor]: Taking taylor expansion of 2.0 in b 5.082 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in b 5.082 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 5.082 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.082 * [taylor]: Taking taylor expansion of a in b 5.082 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.082 * [taylor]: Taking taylor expansion of b in b 5.082 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 5.082 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 5.082 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 5.083 * [taylor]: Taking taylor expansion of 2.0 in a 5.083 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 5.083 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 5.083 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.083 * [taylor]: Taking taylor expansion of a in a 5.083 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.083 * [taylor]: Taking taylor expansion of b in a 5.083 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 5.083 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 5.083 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 5.083 * [taylor]: Taking taylor expansion of 2.0 in a 5.083 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 5.083 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 5.083 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.083 * [taylor]: Taking taylor expansion of a in a 5.083 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.083 * [taylor]: Taking taylor expansion of b in a 5.083 * [taylor]: Taking taylor expansion of (pow (pow b 2) 2.0) in b 5.083 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow b 2)))) in b 5.083 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow b 2))) in b 5.083 * [taylor]: Taking taylor expansion of 2.0 in b 5.083 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 5.083 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.083 * [taylor]: Taking taylor expansion of b in b 5.087 * [taylor]: Taking taylor expansion of 0 in b 5.092 * [taylor]: Taking taylor expansion of (* 2.0 (pow (pow b 2.0) 1.0)) in b 5.092 * [taylor]: Taking taylor expansion of 2.0 in b 5.092 * [taylor]: Taking taylor expansion of (pow (pow b 2.0) 1.0) in b 5.092 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow b 2.0)))) in b 5.092 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow b 2.0))) in b 5.092 * [taylor]: Taking taylor expansion of 1.0 in b 5.092 * [taylor]: Taking taylor expansion of (log (pow b 2.0)) in b 5.092 * [taylor]: Taking taylor expansion of (pow b 2.0) in b 5.092 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log b))) in b 5.092 * [taylor]: Taking taylor expansion of (* 2.0 (log b)) in b 5.092 * [taylor]: Taking taylor expansion of 2.0 in b 5.092 * [taylor]: Taking taylor expansion of (log b) in b 5.092 * [taylor]: Taking taylor expansion of b in b 5.101 * [taylor]: Taking taylor expansion of 0 in b 5.110 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 5.110 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 5.110 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 5.110 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 5.110 * [taylor]: Taking taylor expansion of 2.0 in b 5.110 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 5.110 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 5.110 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.110 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.110 * [taylor]: Taking taylor expansion of b in b 5.111 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 5.111 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.111 * [taylor]: Taking taylor expansion of a in b 5.112 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 5.112 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 5.112 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 5.112 * [taylor]: Taking taylor expansion of 2.0 in a 5.112 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 5.112 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 5.112 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.112 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.112 * [taylor]: Taking taylor expansion of b in a 5.112 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.112 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.112 * [taylor]: Taking taylor expansion of a in a 5.113 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 5.113 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 5.113 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 5.113 * [taylor]: Taking taylor expansion of 2.0 in a 5.113 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 5.113 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 5.113 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.113 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.114 * [taylor]: Taking taylor expansion of b in a 5.114 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.114 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.114 * [taylor]: Taking taylor expansion of a in a 5.115 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 5.115 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 5.115 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 5.115 * [taylor]: Taking taylor expansion of -4.0 in b 5.115 * [taylor]: Taking taylor expansion of (log a) in b 5.115 * [taylor]: Taking taylor expansion of a in b 5.118 * [taylor]: Taking taylor expansion of 0 in b 5.123 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 5.123 * [taylor]: Taking taylor expansion of 2.0 in b 5.123 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 5.123 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 5.123 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 5.123 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 5.123 * [taylor]: Taking taylor expansion of 1.0 in b 5.124 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 5.124 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 5.124 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 5.124 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 5.124 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 5.124 * [taylor]: Taking taylor expansion of 4.0 in b 5.124 * [taylor]: Taking taylor expansion of (log a) in b 5.124 * [taylor]: Taking taylor expansion of a in b 5.124 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.124 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.124 * [taylor]: Taking taylor expansion of b in b 5.149 * [taylor]: Taking taylor expansion of 0 in b 5.149 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 5.149 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 5.149 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 5.149 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 5.149 * [taylor]: Taking taylor expansion of 2.0 in b 5.149 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 5.149 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 5.149 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.149 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.149 * [taylor]: Taking taylor expansion of b in b 5.150 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 5.150 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.150 * [taylor]: Taking taylor expansion of a in b 5.151 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 5.151 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 5.151 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 5.151 * [taylor]: Taking taylor expansion of 2.0 in a 5.151 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 5.151 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 5.151 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.151 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.151 * [taylor]: Taking taylor expansion of b in a 5.151 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.151 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.151 * [taylor]: Taking taylor expansion of a in a 5.152 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 5.152 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 5.152 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 5.152 * [taylor]: Taking taylor expansion of 2.0 in a 5.152 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 5.152 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 5.152 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.152 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.152 * [taylor]: Taking taylor expansion of b in a 5.152 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.152 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.152 * [taylor]: Taking taylor expansion of a in a 5.154 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 5.154 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 5.154 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 5.154 * [taylor]: Taking taylor expansion of -4.0 in b 5.154 * [taylor]: Taking taylor expansion of (log a) in b 5.154 * [taylor]: Taking taylor expansion of a in b 5.157 * [taylor]: Taking taylor expansion of 0 in b 5.162 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 5.162 * [taylor]: Taking taylor expansion of 2.0 in b 5.162 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 5.162 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 5.162 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 5.162 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 5.162 * [taylor]: Taking taylor expansion of 1.0 in b 5.162 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 5.162 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 5.162 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 5.162 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 5.162 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 5.162 * [taylor]: Taking taylor expansion of 4.0 in b 5.162 * [taylor]: Taking taylor expansion of (log a) in b 5.162 * [taylor]: Taking taylor expansion of a in b 5.162 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.162 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.163 * [taylor]: Taking taylor expansion of b in b 5.184 * [taylor]: Taking taylor expansion of 0 in b 5.184 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2 1) 5.184 * [approximate]: Taking taylor expansion of (* (+ a 3.0) (pow b 2)) in (b a) around 0 5.184 * [taylor]: Taking taylor expansion of (* (+ a 3.0) (pow b 2)) in a 5.184 * [taylor]: Taking taylor expansion of (+ a 3.0) in a 5.184 * [taylor]: Taking taylor expansion of a in a 5.184 * [taylor]: Taking taylor expansion of 3.0 in a 5.184 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.184 * [taylor]: Taking taylor expansion of b in a 5.184 * [taylor]: Taking taylor expansion of (* (+ a 3.0) (pow b 2)) in b 5.184 * [taylor]: Taking taylor expansion of (+ a 3.0) in b 5.184 * [taylor]: Taking taylor expansion of a in b 5.184 * [taylor]: Taking taylor expansion of 3.0 in b 5.184 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.184 * [taylor]: Taking taylor expansion of b in b 5.184 * [taylor]: Taking taylor expansion of (* (+ a 3.0) (pow b 2)) in b 5.184 * [taylor]: Taking taylor expansion of (+ a 3.0) in b 5.184 * [taylor]: Taking taylor expansion of a in b 5.184 * [taylor]: Taking taylor expansion of 3.0 in b 5.184 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.184 * [taylor]: Taking taylor expansion of b in b 5.184 * [taylor]: Taking taylor expansion of (+ a 3.0) in a 5.185 * [taylor]: Taking taylor expansion of a in a 5.185 * [taylor]: Taking taylor expansion of 3.0 in a 5.186 * [taylor]: Taking taylor expansion of 0 in a 5.187 * [taylor]: Taking taylor expansion of 0 in a 5.189 * [taylor]: Taking taylor expansion of 0 in a 5.189 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 3.0) (pow b 2)) in (b a) around 0 5.189 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3.0) (pow b 2)) in a 5.189 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3.0) in a 5.189 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.189 * [taylor]: Taking taylor expansion of a in a 5.190 * [taylor]: Taking taylor expansion of 3.0 in a 5.190 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.190 * [taylor]: Taking taylor expansion of b in a 5.190 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3.0) (pow b 2)) in b 5.190 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3.0) in b 5.190 * [taylor]: Taking taylor expansion of (/ 1 a) in b 5.190 * [taylor]: Taking taylor expansion of a in b 5.190 * [taylor]: Taking taylor expansion of 3.0 in b 5.190 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.190 * [taylor]: Taking taylor expansion of b in b 5.190 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3.0) (pow b 2)) in b 5.190 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3.0) in b 5.190 * [taylor]: Taking taylor expansion of (/ 1 a) in b 5.190 * [taylor]: Taking taylor expansion of a in b 5.190 * [taylor]: Taking taylor expansion of 3.0 in b 5.191 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.191 * [taylor]: Taking taylor expansion of b in b 5.191 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3.0) in a 5.191 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.191 * [taylor]: Taking taylor expansion of a in a 5.191 * [taylor]: Taking taylor expansion of 3.0 in a 5.193 * [taylor]: Taking taylor expansion of 0 in a 5.195 * [taylor]: Taking taylor expansion of 0 in a 5.198 * [taylor]: Taking taylor expansion of 0 in a 5.201 * [taylor]: Taking taylor expansion of 0 in a 5.202 * [approximate]: Taking taylor expansion of (/ (- 3.0 (/ 1 a)) (pow b 2)) in (b a) around 0 5.202 * [taylor]: Taking taylor expansion of (/ (- 3.0 (/ 1 a)) (pow b 2)) in a 5.202 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 a)) in a 5.202 * [taylor]: Taking taylor expansion of 3.0 in a 5.202 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.202 * [taylor]: Taking taylor expansion of a in a 5.202 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.202 * [taylor]: Taking taylor expansion of b in a 5.203 * [taylor]: Taking taylor expansion of (/ (- 3.0 (/ 1 a)) (pow b 2)) in b 5.203 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 a)) in b 5.203 * [taylor]: Taking taylor expansion of 3.0 in b 5.203 * [taylor]: Taking taylor expansion of (/ 1 a) in b 5.203 * [taylor]: Taking taylor expansion of a in b 5.203 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.203 * [taylor]: Taking taylor expansion of b in b 5.203 * [taylor]: Taking taylor expansion of (/ (- 3.0 (/ 1 a)) (pow b 2)) in b 5.203 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 a)) in b 5.203 * [taylor]: Taking taylor expansion of 3.0 in b 5.203 * [taylor]: Taking taylor expansion of (/ 1 a) in b 5.203 * [taylor]: Taking taylor expansion of a in b 5.203 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.203 * [taylor]: Taking taylor expansion of b in b 5.204 * [taylor]: Taking taylor expansion of (- 3.0 (/ 1 a)) in a 5.204 * [taylor]: Taking taylor expansion of 3.0 in a 5.204 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.204 * [taylor]: Taking taylor expansion of a in a 5.206 * [taylor]: Taking taylor expansion of 0 in a 5.209 * [taylor]: Taking taylor expansion of 0 in a 5.212 * [taylor]: Taking taylor expansion of 0 in a 5.215 * [taylor]: Taking taylor expansion of 0 in a 5.216 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 5.216 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) (pow a 3)) in (a b) around 0 5.216 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) (pow a 3)) in b 5.216 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) in b 5.216 * [taylor]: Taking taylor expansion of (* 1.0 (pow a 2)) in b 5.216 * [taylor]: Taking taylor expansion of 1.0 in b 5.216 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.216 * [taylor]: Taking taylor expansion of a in b 5.216 * [taylor]: Taking taylor expansion of (+ (* a (pow b 2)) (* 3.0 (pow b 2))) in b 5.216 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 5.216 * [taylor]: Taking taylor expansion of a in b 5.216 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.216 * [taylor]: Taking taylor expansion of b in b 5.216 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in b 5.216 * [taylor]: Taking taylor expansion of 3.0 in b 5.216 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.216 * [taylor]: Taking taylor expansion of b in b 5.216 * [taylor]: Taking taylor expansion of (pow a 3) in b 5.216 * [taylor]: Taking taylor expansion of a in b 5.217 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) (pow a 3)) in a 5.217 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) in a 5.217 * [taylor]: Taking taylor expansion of (* 1.0 (pow a 2)) in a 5.217 * [taylor]: Taking taylor expansion of 1.0 in a 5.217 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.217 * [taylor]: Taking taylor expansion of a in a 5.217 * [taylor]: Taking taylor expansion of (+ (* a (pow b 2)) (* 3.0 (pow b 2))) in a 5.217 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 5.217 * [taylor]: Taking taylor expansion of a in a 5.217 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.217 * [taylor]: Taking taylor expansion of b in a 5.217 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in a 5.217 * [taylor]: Taking taylor expansion of 3.0 in a 5.217 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.217 * [taylor]: Taking taylor expansion of b in a 5.217 * [taylor]: Taking taylor expansion of (pow a 3) in a 5.217 * [taylor]: Taking taylor expansion of a in a 5.217 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) (pow a 3)) in a 5.217 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow a 2)) (+ (* a (pow b 2)) (* 3.0 (pow b 2)))) in a 5.217 * [taylor]: Taking taylor expansion of (* 1.0 (pow a 2)) in a 5.217 * [taylor]: Taking taylor expansion of 1.0 in a 5.217 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.217 * [taylor]: Taking taylor expansion of a in a 5.217 * [taylor]: Taking taylor expansion of (+ (* a (pow b 2)) (* 3.0 (pow b 2))) in a 5.217 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 5.217 * [taylor]: Taking taylor expansion of a in a 5.217 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.217 * [taylor]: Taking taylor expansion of b in a 5.217 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in a 5.217 * [taylor]: Taking taylor expansion of 3.0 in a 5.217 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.217 * [taylor]: Taking taylor expansion of b in a 5.217 * [taylor]: Taking taylor expansion of (pow a 3) in a 5.217 * [taylor]: Taking taylor expansion of a in a 5.218 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in b 5.218 * [taylor]: Taking taylor expansion of 3.0 in b 5.218 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.218 * [taylor]: Taking taylor expansion of b in b 5.219 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.219 * [taylor]: Taking taylor expansion of b in b 5.221 * [taylor]: Taking taylor expansion of 1.0 in b 5.232 * [taylor]: Taking taylor expansion of -1 in b 5.232 * [approximate]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) (/ 1 (pow a 3))) in (a b) around 0 5.233 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) (/ 1 (pow a 3))) in b 5.233 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) in b 5.233 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in b 5.233 * [taylor]: Taking taylor expansion of 3.0 in b 5.233 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.233 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.233 * [taylor]: Taking taylor expansion of b in b 5.233 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2)))) in b 5.233 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in b 5.233 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 5.233 * [taylor]: Taking taylor expansion of a in b 5.233 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.233 * [taylor]: Taking taylor expansion of b in b 5.234 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in b 5.234 * [taylor]: Taking taylor expansion of 1.0 in b 5.234 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 5.234 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.234 * [taylor]: Taking taylor expansion of a in b 5.234 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 5.234 * [taylor]: Taking taylor expansion of (pow a 3) in b 5.234 * [taylor]: Taking taylor expansion of a in b 5.234 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) (/ 1 (pow a 3))) in a 5.234 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) in a 5.234 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in a 5.234 * [taylor]: Taking taylor expansion of 3.0 in a 5.234 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.234 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.234 * [taylor]: Taking taylor expansion of b in a 5.234 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2)))) in a 5.234 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 5.234 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 5.234 * [taylor]: Taking taylor expansion of a in a 5.234 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.234 * [taylor]: Taking taylor expansion of b in a 5.235 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in a 5.235 * [taylor]: Taking taylor expansion of 1.0 in a 5.235 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.235 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.235 * [taylor]: Taking taylor expansion of a in a 5.235 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 5.235 * [taylor]: Taking taylor expansion of (pow a 3) in a 5.235 * [taylor]: Taking taylor expansion of a in a 5.236 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) (/ 1 (pow a 3))) in a 5.236 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2))))) in a 5.236 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in a 5.236 * [taylor]: Taking taylor expansion of 3.0 in a 5.236 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.236 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.236 * [taylor]: Taking taylor expansion of b in a 5.236 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (* 1.0 (/ 1 (pow a 2)))) in a 5.236 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 5.236 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 5.236 * [taylor]: Taking taylor expansion of a in a 5.236 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.237 * [taylor]: Taking taylor expansion of b in a 5.237 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in a 5.237 * [taylor]: Taking taylor expansion of 1.0 in a 5.237 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.237 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.237 * [taylor]: Taking taylor expansion of a in a 5.238 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 5.238 * [taylor]: Taking taylor expansion of (pow a 3) in a 5.238 * [taylor]: Taking taylor expansion of a in a 5.239 * [taylor]: Taking taylor expansion of -1 in b 5.242 * [taylor]: Taking taylor expansion of 1.0 in b 5.245 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.245 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.245 * [taylor]: Taking taylor expansion of b in b 5.250 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in b 5.250 * [taylor]: Taking taylor expansion of 3.0 in b 5.250 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.250 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.250 * [taylor]: Taking taylor expansion of b in b 5.252 * [approximate]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in (a b) around 0 5.252 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in b 5.252 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) in b 5.252 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in b 5.252 * [taylor]: Taking taylor expansion of 3.0 in b 5.252 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.252 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.252 * [taylor]: Taking taylor expansion of b in b 5.252 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3))) in b 5.252 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in b 5.252 * [taylor]: Taking taylor expansion of 1.0 in b 5.252 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 5.252 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.252 * [taylor]: Taking taylor expansion of a in b 5.252 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 5.252 * [taylor]: Taking taylor expansion of (pow a 3) in b 5.252 * [taylor]: Taking taylor expansion of a in b 5.253 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in b 5.253 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 5.253 * [taylor]: Taking taylor expansion of a in b 5.253 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.253 * [taylor]: Taking taylor expansion of b in b 5.253 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in a 5.253 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) in a 5.253 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in a 5.253 * [taylor]: Taking taylor expansion of 3.0 in a 5.253 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.253 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.253 * [taylor]: Taking taylor expansion of b in a 5.253 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3))) in a 5.253 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in a 5.253 * [taylor]: Taking taylor expansion of 1.0 in a 5.253 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.253 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.253 * [taylor]: Taking taylor expansion of a in a 5.254 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 5.254 * [taylor]: Taking taylor expansion of (pow a 3) in a 5.254 * [taylor]: Taking taylor expansion of a in a 5.255 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 5.255 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 5.255 * [taylor]: Taking taylor expansion of a in a 5.255 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.255 * [taylor]: Taking taylor expansion of b in a 5.255 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in a 5.255 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) in a 5.255 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in a 5.255 * [taylor]: Taking taylor expansion of 3.0 in a 5.255 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.255 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.255 * [taylor]: Taking taylor expansion of b in a 5.255 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3))) in a 5.255 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in a 5.255 * [taylor]: Taking taylor expansion of 1.0 in a 5.255 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.255 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.255 * [taylor]: Taking taylor expansion of a in a 5.256 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 5.256 * [taylor]: Taking taylor expansion of (pow a 3) in a 5.256 * [taylor]: Taking taylor expansion of a in a 5.257 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 5.257 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 5.257 * [taylor]: Taking taylor expansion of a in a 5.257 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.257 * [taylor]: Taking taylor expansion of b in a 5.258 * [taylor]: Taking taylor expansion of 1 in b 5.260 * [taylor]: Taking taylor expansion of 1.0 in b 5.264 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 2))) in b 5.264 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.264 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.264 * [taylor]: Taking taylor expansion of b in b 5.269 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in b 5.269 * [taylor]: Taking taylor expansion of 3.0 in b 5.269 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.269 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.269 * [taylor]: Taking taylor expansion of b in b 5.271 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 5.271 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (* 12.0 (pow b 2)) (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))))))) (* 4.0 (pow a 3))) in (a b) around 0 5.271 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (* 12.0 (pow b 2)) (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))))))) (* 4.0 (pow a 3))) in b 5.271 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (* 12.0 (pow b 2)) (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))))))) in b 5.271 * [taylor]: Taking taylor expansion of (* 4.0 (pow a 2)) in b 5.271 * [taylor]: Taking taylor expansion of 4.0 in b 5.271 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.271 * [taylor]: Taking taylor expansion of a in b 5.271 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (* 12.0 (pow b 2)) (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2))))))) in b 5.271 * [taylor]: Taking taylor expansion of (pow a 4) in b 5.271 * [taylor]: Taking taylor expansion of a in b 5.271 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow b 2)) (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))))) in b 5.271 * [taylor]: Taking taylor expansion of (* 12.0 (pow b 2)) in b 5.271 * [taylor]: Taking taylor expansion of 12.0 in b 5.271 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.271 * [taylor]: Taking taylor expansion of b in b 5.271 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2))))) in b 5.271 * [taylor]: Taking taylor expansion of (pow b 4) in b 5.271 * [taylor]: Taking taylor expansion of b in b 5.272 * [taylor]: Taking taylor expansion of (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))) in b 5.272 * [taylor]: Taking taylor expansion of (* 4.0 (* a (pow b 2))) in b 5.272 * [taylor]: Taking taylor expansion of 4.0 in b 5.272 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 5.272 * [taylor]: Taking taylor expansion of a in b 5.272 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.272 * [taylor]: Taking taylor expansion of b in b 5.272 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 5.272 * [taylor]: Taking taylor expansion of 2 in b 5.272 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 5.272 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.272 * [taylor]: Taking taylor expansion of a in b 5.272 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.272 * [taylor]: Taking taylor expansion of b in b 5.272 * [taylor]: Taking taylor expansion of (* 4.0 (pow a 3)) in b 5.272 * [taylor]: Taking taylor expansion of 4.0 in b 5.272 * [taylor]: Taking taylor expansion of (pow a 3) in b 5.272 * [taylor]: Taking taylor expansion of a in b 5.272 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (* 12.0 (pow b 2)) (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))))))) (* 4.0 (pow a 3))) in a 5.272 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (* 12.0 (pow b 2)) (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))))))) in a 5.272 * [taylor]: Taking taylor expansion of (* 4.0 (pow a 2)) in a 5.272 * [taylor]: Taking taylor expansion of 4.0 in a 5.272 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.272 * [taylor]: Taking taylor expansion of a in a 5.272 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (* 12.0 (pow b 2)) (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2))))))) in a 5.272 * [taylor]: Taking taylor expansion of (pow a 4) in a 5.272 * [taylor]: Taking taylor expansion of a in a 5.272 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow b 2)) (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))))) in a 5.272 * [taylor]: Taking taylor expansion of (* 12.0 (pow b 2)) in a 5.272 * [taylor]: Taking taylor expansion of 12.0 in a 5.272 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.272 * [taylor]: Taking taylor expansion of b in a 5.272 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2))))) in a 5.272 * [taylor]: Taking taylor expansion of (pow b 4) in a 5.272 * [taylor]: Taking taylor expansion of b in a 5.272 * [taylor]: Taking taylor expansion of (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))) in a 5.272 * [taylor]: Taking taylor expansion of (* 4.0 (* a (pow b 2))) in a 5.272 * [taylor]: Taking taylor expansion of 4.0 in a 5.272 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 5.272 * [taylor]: Taking taylor expansion of a in a 5.272 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.272 * [taylor]: Taking taylor expansion of b in a 5.272 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 5.272 * [taylor]: Taking taylor expansion of 2 in a 5.272 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.272 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.272 * [taylor]: Taking taylor expansion of a in a 5.272 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.272 * [taylor]: Taking taylor expansion of b in a 5.272 * [taylor]: Taking taylor expansion of (* 4.0 (pow a 3)) in a 5.272 * [taylor]: Taking taylor expansion of 4.0 in a 5.272 * [taylor]: Taking taylor expansion of (pow a 3) in a 5.272 * [taylor]: Taking taylor expansion of a in a 5.272 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (* 12.0 (pow b 2)) (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))))))) (* 4.0 (pow a 3))) in a 5.272 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (* 12.0 (pow b 2)) (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))))))) in a 5.272 * [taylor]: Taking taylor expansion of (* 4.0 (pow a 2)) in a 5.272 * [taylor]: Taking taylor expansion of 4.0 in a 5.273 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.273 * [taylor]: Taking taylor expansion of a in a 5.273 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (* 12.0 (pow b 2)) (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2))))))) in a 5.273 * [taylor]: Taking taylor expansion of (pow a 4) in a 5.273 * [taylor]: Taking taylor expansion of a in a 5.273 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow b 2)) (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))))) in a 5.273 * [taylor]: Taking taylor expansion of (* 12.0 (pow b 2)) in a 5.273 * [taylor]: Taking taylor expansion of 12.0 in a 5.273 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.273 * [taylor]: Taking taylor expansion of b in a 5.273 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2))))) in a 5.273 * [taylor]: Taking taylor expansion of (pow b 4) in a 5.273 * [taylor]: Taking taylor expansion of b in a 5.273 * [taylor]: Taking taylor expansion of (+ (* 4.0 (* a (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))) in a 5.273 * [taylor]: Taking taylor expansion of (* 4.0 (* a (pow b 2))) in a 5.273 * [taylor]: Taking taylor expansion of 4.0 in a 5.273 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 5.273 * [taylor]: Taking taylor expansion of a in a 5.273 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.273 * [taylor]: Taking taylor expansion of b in a 5.273 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 5.273 * [taylor]: Taking taylor expansion of 2 in a 5.273 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.273 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.273 * [taylor]: Taking taylor expansion of a in a 5.273 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.273 * [taylor]: Taking taylor expansion of b in a 5.273 * [taylor]: Taking taylor expansion of (* 4.0 (pow a 3)) in a 5.273 * [taylor]: Taking taylor expansion of 4.0 in a 5.273 * [taylor]: Taking taylor expansion of (pow a 3) in a 5.273 * [taylor]: Taking taylor expansion of a in a 5.275 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 12.0 (pow b 2))) in b 5.275 * [taylor]: Taking taylor expansion of (pow b 4) in b 5.275 * [taylor]: Taking taylor expansion of b in b 5.275 * [taylor]: Taking taylor expansion of (* 12.0 (pow b 2)) in b 5.275 * [taylor]: Taking taylor expansion of 12.0 in b 5.275 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.275 * [taylor]: Taking taylor expansion of b in b 5.277 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 5.277 * [taylor]: Taking taylor expansion of 4.0 in b 5.277 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.277 * [taylor]: Taking taylor expansion of b in b 5.281 * [taylor]: Taking taylor expansion of (+ (* 2 (pow b 2)) 4.0) in b 5.281 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 5.281 * [taylor]: Taking taylor expansion of 2 in b 5.281 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.281 * [taylor]: Taking taylor expansion of b in b 5.282 * [taylor]: Taking taylor expansion of 4.0 in b 5.292 * [taylor]: Taking taylor expansion of (- 4.0) in b 5.292 * [taylor]: Taking taylor expansion of 4.0 in b 5.294 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* a (pow b 2)))) (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))))) (* 4.0 (/ 1 (pow a 3)))) in (a b) around 0 5.294 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* a (pow b 2)))) (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))))) (* 4.0 (/ 1 (pow a 3)))) in b 5.294 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* a (pow b 2)))) (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))))) in b 5.294 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* a (pow b 2)))) in b 5.294 * [taylor]: Taking taylor expansion of 4.0 in b 5.294 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in b 5.294 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 5.294 * [taylor]: Taking taylor expansion of a in b 5.294 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.294 * [taylor]: Taking taylor expansion of b in b 5.294 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))))) in b 5.294 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 5.294 * [taylor]: Taking taylor expansion of (pow a 4) in b 5.294 * [taylor]: Taking taylor expansion of a in b 5.294 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))) in b 5.294 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in b 5.294 * [taylor]: Taking taylor expansion of 12.0 in b 5.294 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.294 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.294 * [taylor]: Taking taylor expansion of b in b 5.295 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))) in b 5.295 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 5.295 * [taylor]: Taking taylor expansion of 2 in b 5.295 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 5.295 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 5.295 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.295 * [taylor]: Taking taylor expansion of a in b 5.295 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.295 * [taylor]: Taking taylor expansion of b in b 5.295 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))) in b 5.295 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 2))) in b 5.296 * [taylor]: Taking taylor expansion of 4.0 in b 5.296 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 5.296 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.296 * [taylor]: Taking taylor expansion of a in b 5.296 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 5.296 * [taylor]: Taking taylor expansion of (pow b 4) in b 5.296 * [taylor]: Taking taylor expansion of b in b 5.296 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 3))) in b 5.296 * [taylor]: Taking taylor expansion of 4.0 in b 5.296 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 5.296 * [taylor]: Taking taylor expansion of (pow a 3) in b 5.296 * [taylor]: Taking taylor expansion of a in b 5.297 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* a (pow b 2)))) (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))))) (* 4.0 (/ 1 (pow a 3)))) in a 5.297 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* a (pow b 2)))) (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))))) in a 5.297 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* a (pow b 2)))) in a 5.297 * [taylor]: Taking taylor expansion of 4.0 in a 5.297 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 5.297 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 5.297 * [taylor]: Taking taylor expansion of a in a 5.297 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.297 * [taylor]: Taking taylor expansion of b in a 5.297 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))))) in a 5.297 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 5.297 * [taylor]: Taking taylor expansion of (pow a 4) in a 5.297 * [taylor]: Taking taylor expansion of a in a 5.298 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))) in a 5.298 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in a 5.298 * [taylor]: Taking taylor expansion of 12.0 in a 5.298 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.298 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.298 * [taylor]: Taking taylor expansion of b in a 5.298 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))) in a 5.298 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 5.298 * [taylor]: Taking taylor expansion of 2 in a 5.298 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 5.298 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.298 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.298 * [taylor]: Taking taylor expansion of a in a 5.298 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.298 * [taylor]: Taking taylor expansion of b in a 5.299 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))) in a 5.299 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 2))) in a 5.299 * [taylor]: Taking taylor expansion of 4.0 in a 5.299 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.299 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.299 * [taylor]: Taking taylor expansion of a in a 5.299 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 5.299 * [taylor]: Taking taylor expansion of (pow b 4) in a 5.299 * [taylor]: Taking taylor expansion of b in a 5.300 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 3))) in a 5.300 * [taylor]: Taking taylor expansion of 4.0 in a 5.300 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 5.300 * [taylor]: Taking taylor expansion of (pow a 3) in a 5.300 * [taylor]: Taking taylor expansion of a in a 5.300 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* a (pow b 2)))) (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))))) (* 4.0 (/ 1 (pow a 3)))) in a 5.300 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* a (pow b 2)))) (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))))) in a 5.300 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* a (pow b 2)))) in a 5.301 * [taylor]: Taking taylor expansion of 4.0 in a 5.301 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 5.301 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 5.301 * [taylor]: Taking taylor expansion of a in a 5.301 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.301 * [taylor]: Taking taylor expansion of b in a 5.301 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))))) in a 5.301 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 5.301 * [taylor]: Taking taylor expansion of (pow a 4) in a 5.301 * [taylor]: Taking taylor expansion of a in a 5.302 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))) in a 5.302 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in a 5.302 * [taylor]: Taking taylor expansion of 12.0 in a 5.302 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.302 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.302 * [taylor]: Taking taylor expansion of b in a 5.302 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))) in a 5.302 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 5.302 * [taylor]: Taking taylor expansion of 2 in a 5.302 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 5.302 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.302 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.302 * [taylor]: Taking taylor expansion of a in a 5.302 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.302 * [taylor]: Taking taylor expansion of b in a 5.303 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))) in a 5.303 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 2))) in a 5.303 * [taylor]: Taking taylor expansion of 4.0 in a 5.303 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.303 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.303 * [taylor]: Taking taylor expansion of a in a 5.303 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 5.303 * [taylor]: Taking taylor expansion of (pow b 4) in a 5.303 * [taylor]: Taking taylor expansion of b in a 5.303 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 3))) in a 5.304 * [taylor]: Taking taylor expansion of 4.0 in a 5.304 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 5.304 * [taylor]: Taking taylor expansion of (pow a 3) in a 5.304 * [taylor]: Taking taylor expansion of a in a 5.305 * [taylor]: Taking taylor expansion of 1 in b 5.308 * [taylor]: Taking taylor expansion of (- 4.0) in b 5.308 * [taylor]: Taking taylor expansion of 4.0 in b 5.312 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow b 2))) 4.0) in b 5.312 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 5.312 * [taylor]: Taking taylor expansion of 2 in b 5.312 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.312 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.312 * [taylor]: Taking taylor expansion of b in b 5.313 * [taylor]: Taking taylor expansion of 4.0 in b 5.326 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 5.326 * [taylor]: Taking taylor expansion of 4.0 in b 5.326 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.326 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.326 * [taylor]: Taking taylor expansion of b in b 5.337 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b 5.337 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in b 5.337 * [taylor]: Taking taylor expansion of 12.0 in b 5.337 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.337 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.337 * [taylor]: Taking taylor expansion of b in b 5.337 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 5.337 * [taylor]: Taking taylor expansion of (pow b 4) in b 5.337 * [taylor]: Taking taylor expansion of b in b 5.340 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4))))))) (* 4.0 (/ 1 (* a (pow b 2))))) in (a b) around 0 5.341 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4))))))) (* 4.0 (/ 1 (* a (pow b 2))))) in b 5.341 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4))))))) in b 5.341 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 5.341 * [taylor]: Taking taylor expansion of (pow a 4) in b 5.341 * [taylor]: Taking taylor expansion of a in b 5.341 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4)))))) in b 5.341 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in b 5.341 * [taylor]: Taking taylor expansion of 12.0 in b 5.341 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.341 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.341 * [taylor]: Taking taylor expansion of b in b 5.341 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4))))) in b 5.341 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 5.341 * [taylor]: Taking taylor expansion of 2 in b 5.342 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 5.342 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 5.342 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.342 * [taylor]: Taking taylor expansion of a in b 5.342 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.342 * [taylor]: Taking taylor expansion of b in b 5.342 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4)))) in b 5.342 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 2))) in b 5.342 * [taylor]: Taking taylor expansion of 4.0 in b 5.342 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 5.342 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.342 * [taylor]: Taking taylor expansion of a in b 5.342 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4))) in b 5.342 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 3))) in b 5.342 * [taylor]: Taking taylor expansion of 4.0 in b 5.342 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 5.342 * [taylor]: Taking taylor expansion of (pow a 3) in b 5.342 * [taylor]: Taking taylor expansion of a in b 5.342 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 5.342 * [taylor]: Taking taylor expansion of (pow b 4) in b 5.342 * [taylor]: Taking taylor expansion of b in b 5.343 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* a (pow b 2)))) in b 5.343 * [taylor]: Taking taylor expansion of 4.0 in b 5.343 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in b 5.343 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 5.343 * [taylor]: Taking taylor expansion of a in b 5.343 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.343 * [taylor]: Taking taylor expansion of b in b 5.344 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4))))))) (* 4.0 (/ 1 (* a (pow b 2))))) in a 5.344 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4))))))) in a 5.344 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 5.344 * [taylor]: Taking taylor expansion of (pow a 4) in a 5.344 * [taylor]: Taking taylor expansion of a in a 5.344 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4)))))) in a 5.344 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in a 5.344 * [taylor]: Taking taylor expansion of 12.0 in a 5.344 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.344 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.344 * [taylor]: Taking taylor expansion of b in a 5.345 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4))))) in a 5.345 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 5.345 * [taylor]: Taking taylor expansion of 2 in a 5.345 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 5.345 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.345 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.345 * [taylor]: Taking taylor expansion of a in a 5.345 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.345 * [taylor]: Taking taylor expansion of b in a 5.345 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4)))) in a 5.345 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 2))) in a 5.345 * [taylor]: Taking taylor expansion of 4.0 in a 5.345 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.345 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.345 * [taylor]: Taking taylor expansion of a in a 5.346 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4))) in a 5.346 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 3))) in a 5.346 * [taylor]: Taking taylor expansion of 4.0 in a 5.346 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 5.346 * [taylor]: Taking taylor expansion of (pow a 3) in a 5.346 * [taylor]: Taking taylor expansion of a in a 5.347 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 5.347 * [taylor]: Taking taylor expansion of (pow b 4) in a 5.347 * [taylor]: Taking taylor expansion of b in a 5.347 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* a (pow b 2)))) in a 5.347 * [taylor]: Taking taylor expansion of 4.0 in a 5.347 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 5.347 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 5.347 * [taylor]: Taking taylor expansion of a in a 5.347 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.347 * [taylor]: Taking taylor expansion of b in a 5.347 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4))))))) (* 4.0 (/ 1 (* a (pow b 2))))) in a 5.347 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4))))))) in a 5.347 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 5.347 * [taylor]: Taking taylor expansion of (pow a 4) in a 5.348 * [taylor]: Taking taylor expansion of a in a 5.348 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4)))))) in a 5.348 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in a 5.348 * [taylor]: Taking taylor expansion of 12.0 in a 5.348 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 5.348 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.348 * [taylor]: Taking taylor expansion of b in a 5.348 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4))))) in a 5.348 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 5.348 * [taylor]: Taking taylor expansion of 2 in a 5.348 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 5.349 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.349 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.349 * [taylor]: Taking taylor expansion of a in a 5.349 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.349 * [taylor]: Taking taylor expansion of b in a 5.349 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 2))) (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4)))) in a 5.349 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 2))) in a 5.349 * [taylor]: Taking taylor expansion of 4.0 in a 5.349 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 5.349 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.349 * [taylor]: Taking taylor expansion of a in a 5.350 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 3))) (/ 1 (pow b 4))) in a 5.350 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 3))) in a 5.350 * [taylor]: Taking taylor expansion of 4.0 in a 5.350 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 5.350 * [taylor]: Taking taylor expansion of (pow a 3) in a 5.350 * [taylor]: Taking taylor expansion of a in a 5.350 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 5.350 * [taylor]: Taking taylor expansion of (pow b 4) in a 5.350 * [taylor]: Taking taylor expansion of b in a 5.351 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* a (pow b 2)))) in a 5.351 * [taylor]: Taking taylor expansion of 4.0 in a 5.351 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 5.351 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 5.351 * [taylor]: Taking taylor expansion of a in a 5.351 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.351 * [taylor]: Taking taylor expansion of b in a 5.352 * [taylor]: Taking taylor expansion of 1 in b 5.355 * [taylor]: Taking taylor expansion of 4.0 in b 5.359 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow b 2))) 4.0) in b 5.359 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 5.359 * [taylor]: Taking taylor expansion of 2 in b 5.359 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.359 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.359 * [taylor]: Taking taylor expansion of b in b 5.360 * [taylor]: Taking taylor expansion of 4.0 in b 5.367 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow b 2)))) in b 5.367 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 5.367 * [taylor]: Taking taylor expansion of 4.0 in b 5.367 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.367 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.367 * [taylor]: Taking taylor expansion of b in b 5.378 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b 5.378 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in b 5.378 * [taylor]: Taking taylor expansion of 12.0 in b 5.378 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.378 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.378 * [taylor]: Taking taylor expansion of b in b 5.378 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 5.378 * [taylor]: Taking taylor expansion of (pow b 4) in b 5.378 * [taylor]: Taking taylor expansion of b in b 5.380 * * * [progress]: simplifying candidates 5.382 * [simplify]: Simplifying using # : (* (log (+ (* a a) (* b b))) 2.0) (* (log (+ (* a a) (* b b))) 2.0) (* 1 2.0) (pow (+ (* a a) (* b b)) (* (cbrt 2.0) (cbrt 2.0))) (pow (+ (* a a) (* b b)) (sqrt 2.0)) (pow (+ (* a a) (* b b)) 1) (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0) (pow (cbrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow 1 2.0) (pow (+ (* a a) (* b b)) 2.0) (log (pow (+ (* a a) (* b b)) 2.0)) (exp (pow (+ (* a a) (* b b)) 2.0)) (* (cbrt (pow (+ (* a a) (* b b)) 2.0)) (cbrt (pow (+ (* a a) (* b b)) 2.0))) (cbrt (pow (+ (* a a) (* b b)) 2.0)) (* (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (* b (* b (+ 3.0 a))) (* b (* b (+ 3.0 a))) (+ (log b) (+ (log b) (log (+ 3.0 a)))) (+ (log b) (log (* b (+ 3.0 a)))) (log (* b (* b (+ 3.0 a)))) (exp (* b (* b (+ 3.0 a)))) (* (* (* b b) b) (* (* (* b b) b) (* (* (+ 3.0 a) (+ 3.0 a)) (+ 3.0 a)))) (* (* (* b b) b) (* (* (* b (+ 3.0 a)) (* b (+ 3.0 a))) (* b (+ 3.0 a)))) (* (cbrt (* b (* b (+ 3.0 a)))) (cbrt (* b (* b (+ 3.0 a))))) (cbrt (* b (* b (+ 3.0 a)))) (* (* (* b (* b (+ 3.0 a))) (* b (* b (+ 3.0 a)))) (* b (* b (+ 3.0 a)))) (sqrt (* b (* b (+ 3.0 a)))) (sqrt (* b (* b (+ 3.0 a)))) (* b (* b 3.0)) (* b (* b a)) (* b (* 3.0 b)) (* b (* a b)) (* (* b 3.0) b) (* (* b a) b) (* (* 3.0 b) b) (* (* a b) b) (* b b) (* (cbrt b) (* b (+ 3.0 a))) (* (sqrt b) (* b (+ 3.0 a))) (* b (* b (+ 3.0 a))) (* b (* b (+ (pow 3.0 3) (pow a 3)))) (* b (* b (- (* 3.0 3.0) (* a a)))) (* (exp (* 1.0 (* a a))) (/ (exp (* b (* b (+ 3.0 a)))) (exp (pow a 3)))) (* (exp (* 1.0 (* a a))) (exp (- (* b (* b (+ 3.0 a))) (pow a 3)))) (log (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (exp (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (* (cbrt (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (cbrt (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))))) (cbrt (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (* (* (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))) (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (sqrt (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (sqrt (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (+ (pow (* 1.0 (* a a)) 3) (pow (- (* b (* b (+ 3.0 a))) (pow a 3)) 3)) (+ (* (* 1.0 (* a a)) (* 1.0 (* a a))) (- (* (- (* b (* b (+ 3.0 a))) (pow a 3)) (- (* b (* b (+ 3.0 a))) (pow a 3))) (* (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))))) (- (* (* 1.0 (* a a)) (* 1.0 (* a a))) (* (- (* b (* b (+ 3.0 a))) (pow a 3)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (- (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))) (+ (* 1.0 (* a a)) (* b (* b (+ 3.0 a)))) (+ (* 1.0 (* a a)) (* b (* b 3.0))) (+ (* 1.0 (* a a)) (* b (* 3.0 b))) (+ (* 1.0 (* a a)) (* (* b 3.0) b)) (+ (* 1.0 (* a a)) (* (* 3.0 b) b)) (+ (* 1.0 (* a a)) (* b (* b (+ 3.0 a)))) (+ (* 1.0 (* a a)) (* b (* b (+ 3.0 a)))) (* (exp (pow (+ (* a a) (* b b)) 2.0)) (exp (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (log (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (exp (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (* (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))))))) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (* (* (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (+ (pow (pow (+ (* a a) (* b b)) 2.0) 3) (pow (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) 3)) (+ (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (- (* (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))))) (* (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))))))) (- (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (* (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* 1.0 (* a a)))) (+ (pow (+ (* a a) (* b b)) 2.0) (* (* 1.0 (* a a)) 4.0)) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 a) -4.0) (pow (/ -1 a) -4.0) (+ (* a (pow b 2)) (* 3.0 (pow b 2))) (+ (* a (pow b 2)) (* 3.0 (pow b 2))) (+ (* a (pow b 2)) (* 3.0 (pow b 2))) (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)) (- (+ (* a (pow b 2)) (* 3.0 (pow b 2))) (pow a 3)) (- (+ (* a (pow b 2)) (* 3.0 (pow b 2))) (pow a 3)) (- (+ (* 4.0 (pow a 2)) (* 12.0 (pow b 2))) (* 4.0 (pow a 3))) (+ (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))))) 5.387 * * [simplify]: iteration 0 : 172 enodes (cost 1640 ) 5.425 * * [simplify]: iteration 1 : 463 enodes (cost 1541 ) 5.545 * * [simplify]: iteration 2 : 1635 enodes (cost 1399 ) 6.131 * * [simplify]: iteration done : 5000 enodes (cost 1399 ) 6.132 * [simplify]: Simplified to: (log (pow (+ (* a a) (* b b)) 2.0)) (log (pow (+ (* a a) (* b b)) 2.0)) 2.0 (pow (+ (* a a) (* b b)) (* (cbrt 2.0) (cbrt 2.0))) (pow (+ (* a a) (* b b)) (sqrt 2.0)) (+ (* a a) (* b b)) (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0) (pow (cbrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) 1 (pow (+ (* a a) (* b b)) 2.0) (log (pow (+ (* a a) (* b b)) 2.0)) (exp (pow (+ (* a a) (* b b)) 2.0)) (* (cbrt (pow (+ (* a a) (* b b)) 2.0)) (cbrt (pow (+ (* a a) (* b b)) 2.0))) (cbrt (pow (+ (* a a) (* b b)) 2.0)) (pow (pow (+ (* a a) (* b b)) 2.0) 3) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (* b (* b (+ 3.0 a))) (* b (* b (+ 3.0 a))) (log (* b (* b (+ 3.0 a)))) (log (* b (* b (+ 3.0 a)))) (log (* b (* b (+ 3.0 a)))) (exp (* b (* b (+ 3.0 a)))) (pow (* b (* b (+ 3.0 a))) 3) (pow (* b (* b (+ 3.0 a))) 3) (* (cbrt (* b (* b (+ 3.0 a)))) (cbrt (* b (* b (+ 3.0 a))))) (cbrt (* b (* b (+ 3.0 a)))) (pow (* b (* b (+ 3.0 a))) 3) (sqrt (* b (* b (+ 3.0 a)))) (sqrt (* b (* b (+ 3.0 a)))) (* 3.0 (pow b 2)) (* a (pow b 2)) (* 3.0 (pow b 2)) (* a (pow b 2)) (* 3.0 (pow b 2)) (* a (pow b 2)) (* 3.0 (pow b 2)) (* a (pow b 2)) (pow b 2) (* (cbrt b) (* b (+ 3.0 a))) (* (sqrt b) (* b (+ 3.0 a))) (* b (* b (+ 3.0 a))) (* b (* b (+ (pow 3.0 3) (pow a 3)))) (* b (* b (- (* 3.0 3.0) (* a a)))) (exp (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (exp (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (log (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (exp (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (* (cbrt (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (cbrt (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))))) (cbrt (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (pow (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))) 3) (sqrt (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (sqrt (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (+ (pow (* 1.0 (* a a)) 3) (pow (- (* b (* b (+ 3.0 a))) (pow a 3)) 3)) (+ (* (* (pow a 4) 1.0) 1.0) (* (- (* b (* b (+ 3.0 a))) (pow a 3)) (- (- (* b (* b (+ 3.0 a))) (pow a 3)) (* 1.0 (pow a 2))))) (- (* (* (pow a 4) 1.0) 1.0) (* (- (* b (* b (+ 3.0 a))) (pow a 3)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (- (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))) (+ (* 1.0 (* a a)) (* b (* b (+ 3.0 a)))) (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (+ (* 1.0 (* a a)) (* b (* b (+ 3.0 a)))) (+ (* 1.0 (* a a)) (* b (* b (+ 3.0 a)))) (exp (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (log (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (exp (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (* (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))))))) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (pow (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))))) 3) (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (+ (pow (pow (+ (* a a) (* b b)) 2.0) 3) (pow (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) 3)) (+ (* (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (- (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (pow (+ (* a a) (* b b)) 2.0))) (pow (+ (* a a) (* b b)) (* 2 2.0))) (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3)))))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (* a a)) (- (* b (* b (+ 3.0 a))) (pow a 3))))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* 1.0 (* a a)))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* 1.0 (* a a)))) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 a) -4.0) (pow (/ -1 a) -4.0) (* b (* b (+ 3.0 a))) (* b (* b (+ 3.0 a))) (* b (* b (+ 3.0 a))) (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)) (- (* b (* b (+ 3.0 a))) (pow a 3)) (- (* b (* b (+ 3.0 a))) (pow a 3)) (- (+ (* 4.0 (pow a 2)) (* 12.0 (pow b 2))) (* 4.0 (pow a 3))) (+ (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))))) 6.133 * * * [progress]: adding candidates to table 6.405 * * [progress]: iteration 3 / 4 6.405 * * * [progress]: picking best candidate 6.420 * * * * [pick]: Picked # 6.420 * * * [progress]: localizing error 6.439 * * * [progress]: generating rewritten candidates 6.439 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 6.443 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 2) 6.449 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 6.473 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 6.509 * * * [progress]: generating series expansions 6.509 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 6.509 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in (a b) around 0 6.509 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in b 6.509 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in b 6.509 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in b 6.509 * [taylor]: Taking taylor expansion of 2.0 in b 6.509 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in b 6.509 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 6.509 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.509 * [taylor]: Taking taylor expansion of a in b 6.509 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.509 * [taylor]: Taking taylor expansion of b in b 6.510 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 6.510 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 6.510 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 6.510 * [taylor]: Taking taylor expansion of 2.0 in a 6.510 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 6.510 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 6.510 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.510 * [taylor]: Taking taylor expansion of a in a 6.510 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.510 * [taylor]: Taking taylor expansion of b in a 6.510 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 6.510 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 6.510 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 6.510 * [taylor]: Taking taylor expansion of 2.0 in a 6.510 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 6.510 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 6.510 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.510 * [taylor]: Taking taylor expansion of a in a 6.510 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.510 * [taylor]: Taking taylor expansion of b in a 6.511 * [taylor]: Taking taylor expansion of (pow (pow b 2) 2.0) in b 6.511 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow b 2)))) in b 6.511 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow b 2))) in b 6.511 * [taylor]: Taking taylor expansion of 2.0 in b 6.511 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 6.511 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.511 * [taylor]: Taking taylor expansion of b in b 6.514 * [taylor]: Taking taylor expansion of 0 in b 6.519 * [taylor]: Taking taylor expansion of (* 2.0 (pow (pow b 2.0) 1.0)) in b 6.519 * [taylor]: Taking taylor expansion of 2.0 in b 6.519 * [taylor]: Taking taylor expansion of (pow (pow b 2.0) 1.0) in b 6.519 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow b 2.0)))) in b 6.519 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow b 2.0))) in b 6.519 * [taylor]: Taking taylor expansion of 1.0 in b 6.519 * [taylor]: Taking taylor expansion of (log (pow b 2.0)) in b 6.519 * [taylor]: Taking taylor expansion of (pow b 2.0) in b 6.519 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log b))) in b 6.519 * [taylor]: Taking taylor expansion of (* 2.0 (log b)) in b 6.519 * [taylor]: Taking taylor expansion of 2.0 in b 6.519 * [taylor]: Taking taylor expansion of (log b) in b 6.519 * [taylor]: Taking taylor expansion of b in b 6.528 * [taylor]: Taking taylor expansion of 0 in b 6.537 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 6.537 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 6.537 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 6.537 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 6.537 * [taylor]: Taking taylor expansion of 2.0 in b 6.537 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 6.537 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 6.537 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.537 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.537 * [taylor]: Taking taylor expansion of b in b 6.538 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 6.538 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.538 * [taylor]: Taking taylor expansion of a in b 6.539 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 6.539 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 6.539 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 6.539 * [taylor]: Taking taylor expansion of 2.0 in a 6.539 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 6.539 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 6.539 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.539 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.539 * [taylor]: Taking taylor expansion of b in a 6.539 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.539 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.539 * [taylor]: Taking taylor expansion of a in a 6.540 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 6.540 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 6.540 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 6.540 * [taylor]: Taking taylor expansion of 2.0 in a 6.540 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 6.540 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 6.540 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.540 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.541 * [taylor]: Taking taylor expansion of b in a 6.541 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.541 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.541 * [taylor]: Taking taylor expansion of a in a 6.542 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 6.542 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 6.542 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 6.542 * [taylor]: Taking taylor expansion of -4.0 in b 6.542 * [taylor]: Taking taylor expansion of (log a) in b 6.542 * [taylor]: Taking taylor expansion of a in b 6.545 * [taylor]: Taking taylor expansion of 0 in b 6.550 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 6.550 * [taylor]: Taking taylor expansion of 2.0 in b 6.550 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 6.550 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 6.550 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 6.550 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 6.550 * [taylor]: Taking taylor expansion of 1.0 in b 6.550 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 6.550 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 6.550 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 6.550 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 6.550 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 6.550 * [taylor]: Taking taylor expansion of 4.0 in b 6.550 * [taylor]: Taking taylor expansion of (log a) in b 6.550 * [taylor]: Taking taylor expansion of a in b 6.551 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.551 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.551 * [taylor]: Taking taylor expansion of b in b 6.571 * [taylor]: Taking taylor expansion of 0 in b 6.571 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 6.571 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 6.571 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 6.571 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 6.571 * [taylor]: Taking taylor expansion of 2.0 in b 6.571 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 6.571 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 6.571 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.571 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.571 * [taylor]: Taking taylor expansion of b in b 6.572 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 6.572 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.572 * [taylor]: Taking taylor expansion of a in b 6.573 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 6.573 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 6.573 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 6.573 * [taylor]: Taking taylor expansion of 2.0 in a 6.573 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 6.573 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 6.573 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.573 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.573 * [taylor]: Taking taylor expansion of b in a 6.573 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.573 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.573 * [taylor]: Taking taylor expansion of a in a 6.574 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 6.574 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 6.574 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 6.574 * [taylor]: Taking taylor expansion of 2.0 in a 6.574 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 6.574 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 6.574 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.574 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.574 * [taylor]: Taking taylor expansion of b in a 6.575 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.575 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.575 * [taylor]: Taking taylor expansion of a in a 6.576 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 6.576 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 6.576 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 6.576 * [taylor]: Taking taylor expansion of -4.0 in b 6.576 * [taylor]: Taking taylor expansion of (log a) in b 6.576 * [taylor]: Taking taylor expansion of a in b 6.579 * [taylor]: Taking taylor expansion of 0 in b 6.583 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 6.584 * [taylor]: Taking taylor expansion of 2.0 in b 6.584 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 6.584 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 6.584 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 6.584 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 6.584 * [taylor]: Taking taylor expansion of 1.0 in b 6.584 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 6.584 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 6.584 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 6.584 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 6.584 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 6.584 * [taylor]: Taking taylor expansion of 4.0 in b 6.584 * [taylor]: Taking taylor expansion of (log a) in b 6.584 * [taylor]: Taking taylor expansion of a in b 6.584 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.584 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.584 * [taylor]: Taking taylor expansion of b in b 6.610 * [taylor]: Taking taylor expansion of 0 in b 6.611 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 2) 6.611 * [approximate]: Taking taylor expansion of (* 3.0 (pow b 2)) in (b) around 0 6.611 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in b 6.611 * [taylor]: Taking taylor expansion of 3.0 in b 6.611 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.611 * [taylor]: Taking taylor expansion of b in b 6.611 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in b 6.611 * [taylor]: Taking taylor expansion of 3.0 in b 6.611 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.611 * [taylor]: Taking taylor expansion of b in b 6.618 * [approximate]: Taking taylor expansion of (/ 3.0 (pow b 2)) in (b) around 0 6.619 * [taylor]: Taking taylor expansion of (/ 3.0 (pow b 2)) in b 6.619 * [taylor]: Taking taylor expansion of 3.0 in b 6.619 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.619 * [taylor]: Taking taylor expansion of b in b 6.619 * [taylor]: Taking taylor expansion of (/ 3.0 (pow b 2)) in b 6.619 * [taylor]: Taking taylor expansion of 3.0 in b 6.619 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.619 * [taylor]: Taking taylor expansion of b in b 6.626 * [approximate]: Taking taylor expansion of (/ 3.0 (pow b 2)) in (b) around 0 6.626 * [taylor]: Taking taylor expansion of (/ 3.0 (pow b 2)) in b 6.626 * [taylor]: Taking taylor expansion of 3.0 in b 6.626 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.626 * [taylor]: Taking taylor expansion of b in b 6.627 * [taylor]: Taking taylor expansion of (/ 3.0 (pow b 2)) in b 6.627 * [taylor]: Taking taylor expansion of 3.0 in b 6.627 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.627 * [taylor]: Taking taylor expansion of b in b 6.634 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 6.634 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)) in (a b) around 0 6.634 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)) in b 6.634 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) in b 6.634 * [taylor]: Taking taylor expansion of (* 1.0 (pow a 2)) in b 6.634 * [taylor]: Taking taylor expansion of 1.0 in b 6.635 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.635 * [taylor]: Taking taylor expansion of a in b 6.635 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in b 6.635 * [taylor]: Taking taylor expansion of 3.0 in b 6.635 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.635 * [taylor]: Taking taylor expansion of b in b 6.635 * [taylor]: Taking taylor expansion of (pow a 3) in b 6.635 * [taylor]: Taking taylor expansion of a in b 6.635 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)) in a 6.635 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) in a 6.635 * [taylor]: Taking taylor expansion of (* 1.0 (pow a 2)) in a 6.635 * [taylor]: Taking taylor expansion of 1.0 in a 6.635 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.635 * [taylor]: Taking taylor expansion of a in a 6.635 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in a 6.635 * [taylor]: Taking taylor expansion of 3.0 in a 6.635 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.635 * [taylor]: Taking taylor expansion of b in a 6.635 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.635 * [taylor]: Taking taylor expansion of a in a 6.635 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)) in a 6.635 * [taylor]: Taking taylor expansion of (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) in a 6.635 * [taylor]: Taking taylor expansion of (* 1.0 (pow a 2)) in a 6.635 * [taylor]: Taking taylor expansion of 1.0 in a 6.635 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.635 * [taylor]: Taking taylor expansion of a in a 6.635 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in a 6.635 * [taylor]: Taking taylor expansion of 3.0 in a 6.635 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.635 * [taylor]: Taking taylor expansion of b in a 6.635 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.635 * [taylor]: Taking taylor expansion of a in a 6.635 * [taylor]: Taking taylor expansion of (* 3.0 (pow b 2)) in b 6.635 * [taylor]: Taking taylor expansion of 3.0 in b 6.635 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.635 * [taylor]: Taking taylor expansion of b in b 6.636 * [taylor]: Taking taylor expansion of 0 in b 6.638 * [taylor]: Taking taylor expansion of 1.0 in b 6.642 * [taylor]: Taking taylor expansion of -1 in b 6.642 * [approximate]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (* 1.0 (/ 1 (pow a 2)))) (/ 1 (pow a 3))) in (a b) around 0 6.642 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (* 1.0 (/ 1 (pow a 2)))) (/ 1 (pow a 3))) in b 6.642 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (* 1.0 (/ 1 (pow a 2)))) in b 6.642 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in b 6.642 * [taylor]: Taking taylor expansion of 3.0 in b 6.642 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.643 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.643 * [taylor]: Taking taylor expansion of b in b 6.643 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in b 6.643 * [taylor]: Taking taylor expansion of 1.0 in b 6.643 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 6.643 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.643 * [taylor]: Taking taylor expansion of a in b 6.643 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 6.643 * [taylor]: Taking taylor expansion of (pow a 3) in b 6.643 * [taylor]: Taking taylor expansion of a in b 6.643 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (* 1.0 (/ 1 (pow a 2)))) (/ 1 (pow a 3))) in a 6.643 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (* 1.0 (/ 1 (pow a 2)))) in a 6.643 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in a 6.643 * [taylor]: Taking taylor expansion of 3.0 in a 6.643 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.643 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.644 * [taylor]: Taking taylor expansion of b in a 6.644 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in a 6.644 * [taylor]: Taking taylor expansion of 1.0 in a 6.644 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.644 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.644 * [taylor]: Taking taylor expansion of a in a 6.644 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 6.644 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.644 * [taylor]: Taking taylor expansion of a in a 6.645 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow b 2))) (* 1.0 (/ 1 (pow a 2)))) (/ 1 (pow a 3))) in a 6.645 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (* 1.0 (/ 1 (pow a 2)))) in a 6.645 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in a 6.645 * [taylor]: Taking taylor expansion of 3.0 in a 6.645 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.645 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.645 * [taylor]: Taking taylor expansion of b in a 6.645 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in a 6.645 * [taylor]: Taking taylor expansion of 1.0 in a 6.645 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.645 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.645 * [taylor]: Taking taylor expansion of a in a 6.646 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 6.646 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.646 * [taylor]: Taking taylor expansion of a in a 6.647 * [taylor]: Taking taylor expansion of -1 in b 6.649 * [taylor]: Taking taylor expansion of 1.0 in b 6.652 * [taylor]: Taking taylor expansion of 0 in b 6.656 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in b 6.656 * [taylor]: Taking taylor expansion of 3.0 in b 6.656 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.656 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.656 * [taylor]: Taking taylor expansion of b in b 6.658 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) in (a b) around 0 6.658 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) in b 6.658 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in b 6.658 * [taylor]: Taking taylor expansion of 3.0 in b 6.658 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.658 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.658 * [taylor]: Taking taylor expansion of b in b 6.658 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3))) in b 6.658 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in b 6.658 * [taylor]: Taking taylor expansion of 1.0 in b 6.658 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 6.658 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.658 * [taylor]: Taking taylor expansion of a in b 6.659 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 6.659 * [taylor]: Taking taylor expansion of (pow a 3) in b 6.659 * [taylor]: Taking taylor expansion of a in b 6.659 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) in a 6.659 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in a 6.659 * [taylor]: Taking taylor expansion of 3.0 in a 6.659 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.659 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.659 * [taylor]: Taking taylor expansion of b in a 6.659 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3))) in a 6.659 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in a 6.659 * [taylor]: Taking taylor expansion of 1.0 in a 6.659 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.659 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.659 * [taylor]: Taking taylor expansion of a in a 6.659 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 6.659 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.660 * [taylor]: Taking taylor expansion of a in a 6.660 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow b 2))) (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3)))) in a 6.660 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in a 6.660 * [taylor]: Taking taylor expansion of 3.0 in a 6.660 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.660 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.660 * [taylor]: Taking taylor expansion of b in a 6.660 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (pow a 2))) (/ 1 (pow a 3))) in a 6.660 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow a 2))) in a 6.660 * [taylor]: Taking taylor expansion of 1.0 in a 6.660 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.660 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.661 * [taylor]: Taking taylor expansion of a in a 6.661 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 6.661 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.661 * [taylor]: Taking taylor expansion of a in a 6.662 * [taylor]: Taking taylor expansion of 1 in b 6.664 * [taylor]: Taking taylor expansion of 1.0 in b 6.667 * [taylor]: Taking taylor expansion of 0 in b 6.671 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow b 2))) in b 6.671 * [taylor]: Taking taylor expansion of 3.0 in b 6.671 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.671 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.671 * [taylor]: Taking taylor expansion of b in b 6.672 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 6.678 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (pow b 4) (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))))) (* 4.0 (pow a 3))) in (a b) around 0 6.678 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (pow b 4) (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))))) (* 4.0 (pow a 3))) in b 6.678 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (pow b 4) (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))))) in b 6.678 * [taylor]: Taking taylor expansion of (* 4.0 (pow a 2)) in b 6.678 * [taylor]: Taking taylor expansion of 4.0 in b 6.678 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.678 * [taylor]: Taking taylor expansion of a in b 6.678 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in b 6.678 * [taylor]: Taking taylor expansion of (pow a 4) in b 6.678 * [taylor]: Taking taylor expansion of a in b 6.678 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in b 6.678 * [taylor]: Taking taylor expansion of (pow b 4) in b 6.678 * [taylor]: Taking taylor expansion of b in b 6.678 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in b 6.678 * [taylor]: Taking taylor expansion of (* 12.0 (pow b 2)) in b 6.678 * [taylor]: Taking taylor expansion of 12.0 in b 6.678 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.678 * [taylor]: Taking taylor expansion of b in b 6.678 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 6.678 * [taylor]: Taking taylor expansion of 2 in b 6.678 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 6.678 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.678 * [taylor]: Taking taylor expansion of a in b 6.678 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.679 * [taylor]: Taking taylor expansion of b in b 6.679 * [taylor]: Taking taylor expansion of (* 4.0 (pow a 3)) in b 6.679 * [taylor]: Taking taylor expansion of 4.0 in b 6.679 * [taylor]: Taking taylor expansion of (pow a 3) in b 6.679 * [taylor]: Taking taylor expansion of a in b 6.679 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (pow b 4) (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))))) (* 4.0 (pow a 3))) in a 6.679 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (pow b 4) (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))))) in a 6.679 * [taylor]: Taking taylor expansion of (* 4.0 (pow a 2)) in a 6.679 * [taylor]: Taking taylor expansion of 4.0 in a 6.679 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.679 * [taylor]: Taking taylor expansion of a in a 6.679 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in a 6.679 * [taylor]: Taking taylor expansion of (pow a 4) in a 6.679 * [taylor]: Taking taylor expansion of a in a 6.679 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in a 6.679 * [taylor]: Taking taylor expansion of (pow b 4) in a 6.679 * [taylor]: Taking taylor expansion of b in a 6.679 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in a 6.679 * [taylor]: Taking taylor expansion of (* 12.0 (pow b 2)) in a 6.679 * [taylor]: Taking taylor expansion of 12.0 in a 6.679 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.679 * [taylor]: Taking taylor expansion of b in a 6.679 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 6.679 * [taylor]: Taking taylor expansion of 2 in a 6.679 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.679 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.679 * [taylor]: Taking taylor expansion of a in a 6.679 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.679 * [taylor]: Taking taylor expansion of b in a 6.679 * [taylor]: Taking taylor expansion of (* 4.0 (pow a 3)) in a 6.679 * [taylor]: Taking taylor expansion of 4.0 in a 6.679 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.679 * [taylor]: Taking taylor expansion of a in a 6.679 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (pow b 4) (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))))) (* 4.0 (pow a 3))) in a 6.679 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow a 2)) (+ (pow a 4) (+ (pow b 4) (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))))) in a 6.679 * [taylor]: Taking taylor expansion of (* 4.0 (pow a 2)) in a 6.679 * [taylor]: Taking taylor expansion of 4.0 in a 6.679 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.679 * [taylor]: Taking taylor expansion of a in a 6.679 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in a 6.679 * [taylor]: Taking taylor expansion of (pow a 4) in a 6.679 * [taylor]: Taking taylor expansion of a in a 6.679 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in a 6.679 * [taylor]: Taking taylor expansion of (pow b 4) in a 6.679 * [taylor]: Taking taylor expansion of b in a 6.679 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in a 6.679 * [taylor]: Taking taylor expansion of (* 12.0 (pow b 2)) in a 6.679 * [taylor]: Taking taylor expansion of 12.0 in a 6.679 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.679 * [taylor]: Taking taylor expansion of b in a 6.679 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 6.679 * [taylor]: Taking taylor expansion of 2 in a 6.679 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.679 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.679 * [taylor]: Taking taylor expansion of a in a 6.679 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.679 * [taylor]: Taking taylor expansion of b in a 6.680 * [taylor]: Taking taylor expansion of (* 4.0 (pow a 3)) in a 6.680 * [taylor]: Taking taylor expansion of 4.0 in a 6.680 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.680 * [taylor]: Taking taylor expansion of a in a 6.680 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 12.0 (pow b 2))) in b 6.681 * [taylor]: Taking taylor expansion of (pow b 4) in b 6.681 * [taylor]: Taking taylor expansion of b in b 6.681 * [taylor]: Taking taylor expansion of (* 12.0 (pow b 2)) in b 6.681 * [taylor]: Taking taylor expansion of 12.0 in b 6.681 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.681 * [taylor]: Taking taylor expansion of b in b 6.683 * [taylor]: Taking taylor expansion of 0 in b 6.685 * [taylor]: Taking taylor expansion of (+ (* 2 (pow b 2)) 4.0) in b 6.685 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 6.685 * [taylor]: Taking taylor expansion of 2 in b 6.685 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.685 * [taylor]: Taking taylor expansion of b in b 6.685 * [taylor]: Taking taylor expansion of 4.0 in b 6.693 * [taylor]: Taking taylor expansion of (- 4.0) in b 6.693 * [taylor]: Taking taylor expansion of 4.0 in b 6.694 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 12.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))))) (* 4.0 (/ 1 (pow a 3)))) in (a b) around 0 6.694 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 12.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))))) (* 4.0 (/ 1 (pow a 3)))) in b 6.694 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 12.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))))) in b 6.694 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 6.695 * [taylor]: Taking taylor expansion of 2 in b 6.695 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 6.695 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 6.695 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.695 * [taylor]: Taking taylor expansion of a in b 6.695 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.695 * [taylor]: Taking taylor expansion of b in b 6.695 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))) in b 6.695 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in b 6.695 * [taylor]: Taking taylor expansion of 12.0 in b 6.695 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.695 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.695 * [taylor]: Taking taylor expansion of b in b 6.696 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))) in b 6.696 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 6.696 * [taylor]: Taking taylor expansion of (pow a 4) in b 6.696 * [taylor]: Taking taylor expansion of a in b 6.696 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))) in b 6.696 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 2))) in b 6.696 * [taylor]: Taking taylor expansion of 4.0 in b 6.696 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 6.696 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.696 * [taylor]: Taking taylor expansion of a in b 6.696 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 6.696 * [taylor]: Taking taylor expansion of (pow b 4) in b 6.696 * [taylor]: Taking taylor expansion of b in b 6.697 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 3))) in b 6.697 * [taylor]: Taking taylor expansion of 4.0 in b 6.697 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 6.697 * [taylor]: Taking taylor expansion of (pow a 3) in b 6.697 * [taylor]: Taking taylor expansion of a in b 6.697 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 12.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))))) (* 4.0 (/ 1 (pow a 3)))) in a 6.697 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 12.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))))) in a 6.697 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 6.697 * [taylor]: Taking taylor expansion of 2 in a 6.697 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 6.697 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.697 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.697 * [taylor]: Taking taylor expansion of a in a 6.697 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.697 * [taylor]: Taking taylor expansion of b in a 6.698 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))) in a 6.698 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in a 6.698 * [taylor]: Taking taylor expansion of 12.0 in a 6.698 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.698 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.698 * [taylor]: Taking taylor expansion of b in a 6.698 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))) in a 6.698 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 6.698 * [taylor]: Taking taylor expansion of (pow a 4) in a 6.698 * [taylor]: Taking taylor expansion of a in a 6.699 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))) in a 6.699 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 2))) in a 6.699 * [taylor]: Taking taylor expansion of 4.0 in a 6.699 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.699 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.699 * [taylor]: Taking taylor expansion of a in a 6.699 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 6.699 * [taylor]: Taking taylor expansion of (pow b 4) in a 6.699 * [taylor]: Taking taylor expansion of b in a 6.700 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 3))) in a 6.700 * [taylor]: Taking taylor expansion of 4.0 in a 6.700 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 6.700 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.700 * [taylor]: Taking taylor expansion of a in a 6.700 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 12.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))))) (* 4.0 (/ 1 (pow a 3)))) in a 6.700 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 12.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))))) in a 6.700 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 6.700 * [taylor]: Taking taylor expansion of 2 in a 6.700 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 6.700 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.700 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.700 * [taylor]: Taking taylor expansion of a in a 6.701 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.701 * [taylor]: Taking taylor expansion of b in a 6.701 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))) in a 6.701 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in a 6.701 * [taylor]: Taking taylor expansion of 12.0 in a 6.701 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.701 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.701 * [taylor]: Taking taylor expansion of b in a 6.701 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))) in a 6.701 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 6.701 * [taylor]: Taking taylor expansion of (pow a 4) in a 6.701 * [taylor]: Taking taylor expansion of a in a 6.702 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))) in a 6.702 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 2))) in a 6.702 * [taylor]: Taking taylor expansion of 4.0 in a 6.702 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.702 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.702 * [taylor]: Taking taylor expansion of a in a 6.702 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 6.702 * [taylor]: Taking taylor expansion of (pow b 4) in a 6.702 * [taylor]: Taking taylor expansion of b in a 6.703 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 3))) in a 6.703 * [taylor]: Taking taylor expansion of 4.0 in a 6.703 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 6.703 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.703 * [taylor]: Taking taylor expansion of a in a 6.704 * [taylor]: Taking taylor expansion of 1 in b 6.707 * [taylor]: Taking taylor expansion of (- 4.0) in b 6.707 * [taylor]: Taking taylor expansion of 4.0 in b 6.712 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow b 2))) 4.0) in b 6.712 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 6.712 * [taylor]: Taking taylor expansion of 2 in b 6.712 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.712 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.712 * [taylor]: Taking taylor expansion of b in b 6.712 * [taylor]: Taking taylor expansion of 4.0 in b 6.719 * [taylor]: Taking taylor expansion of 0 in b 6.728 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b 6.728 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in b 6.728 * [taylor]: Taking taylor expansion of 12.0 in b 6.728 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.728 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.728 * [taylor]: Taking taylor expansion of b in b 6.728 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 6.728 * [taylor]: Taking taylor expansion of (pow b 4) in b 6.728 * [taylor]: Taking taylor expansion of b in b 6.731 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 4.0 (/ 1 (pow a 3))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))))) in (a b) around 0 6.731 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 4.0 (/ 1 (pow a 3))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))))) in b 6.731 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 6.731 * [taylor]: Taking taylor expansion of 2 in b 6.731 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 6.731 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 6.731 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.731 * [taylor]: Taking taylor expansion of a in b 6.731 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.731 * [taylor]: Taking taylor expansion of b in b 6.732 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 4.0 (/ 1 (pow a 3))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))))) in b 6.732 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in b 6.732 * [taylor]: Taking taylor expansion of 12.0 in b 6.732 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.732 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.732 * [taylor]: Taking taylor expansion of b in b 6.732 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 3))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))) in b 6.732 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 3))) in b 6.732 * [taylor]: Taking taylor expansion of 4.0 in b 6.732 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 6.732 * [taylor]: Taking taylor expansion of (pow a 3) in b 6.732 * [taylor]: Taking taylor expansion of a in b 6.733 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))) in b 6.733 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 6.733 * [taylor]: Taking taylor expansion of (pow a 4) in b 6.733 * [taylor]: Taking taylor expansion of a in b 6.733 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))) in b 6.733 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 2))) in b 6.733 * [taylor]: Taking taylor expansion of 4.0 in b 6.733 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 6.733 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.733 * [taylor]: Taking taylor expansion of a in b 6.733 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 6.733 * [taylor]: Taking taylor expansion of (pow b 4) in b 6.733 * [taylor]: Taking taylor expansion of b in b 6.734 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 4.0 (/ 1 (pow a 3))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))))) in a 6.734 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 6.734 * [taylor]: Taking taylor expansion of 2 in a 6.734 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 6.734 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.734 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.734 * [taylor]: Taking taylor expansion of a in a 6.734 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.734 * [taylor]: Taking taylor expansion of b in a 6.734 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 4.0 (/ 1 (pow a 3))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))))) in a 6.734 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in a 6.734 * [taylor]: Taking taylor expansion of 12.0 in a 6.734 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.734 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.734 * [taylor]: Taking taylor expansion of b in a 6.734 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 3))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))) in a 6.734 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 3))) in a 6.735 * [taylor]: Taking taylor expansion of 4.0 in a 6.735 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 6.735 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.735 * [taylor]: Taking taylor expansion of a in a 6.735 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))) in a 6.735 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 6.735 * [taylor]: Taking taylor expansion of (pow a 4) in a 6.735 * [taylor]: Taking taylor expansion of a in a 6.736 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))) in a 6.736 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 2))) in a 6.736 * [taylor]: Taking taylor expansion of 4.0 in a 6.736 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.736 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.736 * [taylor]: Taking taylor expansion of a in a 6.737 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 6.737 * [taylor]: Taking taylor expansion of (pow b 4) in a 6.737 * [taylor]: Taking taylor expansion of b in a 6.737 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 4.0 (/ 1 (pow a 3))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))))) in a 6.737 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 6.737 * [taylor]: Taking taylor expansion of 2 in a 6.737 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 6.737 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.737 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.737 * [taylor]: Taking taylor expansion of a in a 6.737 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.737 * [taylor]: Taking taylor expansion of b in a 6.737 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (+ (* 4.0 (/ 1 (pow a 3))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))))) in a 6.737 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in a 6.737 * [taylor]: Taking taylor expansion of 12.0 in a 6.737 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 6.737 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.737 * [taylor]: Taking taylor expansion of b in a 6.738 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 3))) (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))))) in a 6.738 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 3))) in a 6.738 * [taylor]: Taking taylor expansion of 4.0 in a 6.738 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 6.738 * [taylor]: Taking taylor expansion of (pow a 3) in a 6.738 * [taylor]: Taking taylor expansion of a in a 6.738 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4)))) in a 6.738 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 6.738 * [taylor]: Taking taylor expansion of (pow a 4) in a 6.738 * [taylor]: Taking taylor expansion of a in a 6.739 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow a 2))) (/ 1 (pow b 4))) in a 6.739 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow a 2))) in a 6.739 * [taylor]: Taking taylor expansion of 4.0 in a 6.739 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 6.739 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.739 * [taylor]: Taking taylor expansion of a in a 6.740 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 6.740 * [taylor]: Taking taylor expansion of (pow b 4) in a 6.740 * [taylor]: Taking taylor expansion of b in a 6.741 * [taylor]: Taking taylor expansion of 1 in b 6.743 * [taylor]: Taking taylor expansion of 4.0 in b 6.748 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (pow b 2))) 4.0) in b 6.748 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 6.748 * [taylor]: Taking taylor expansion of 2 in b 6.748 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.748 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.748 * [taylor]: Taking taylor expansion of b in b 6.749 * [taylor]: Taking taylor expansion of 4.0 in b 6.756 * [taylor]: Taking taylor expansion of 0 in b 6.769 * [taylor]: Taking taylor expansion of (+ (* 12.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b 6.769 * [taylor]: Taking taylor expansion of (* 12.0 (/ 1 (pow b 2))) in b 6.769 * [taylor]: Taking taylor expansion of 12.0 in b 6.769 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.769 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.769 * [taylor]: Taking taylor expansion of b in b 6.770 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 6.770 * [taylor]: Taking taylor expansion of (pow b 4) in b 6.770 * [taylor]: Taking taylor expansion of b in b 6.772 * * * [progress]: simplifying candidates 6.773 * [simplify]: Simplifying using # : (* (log (+ (* a a) (* b b))) 2.0) (* (log (+ (* a a) (* b b))) 2.0) (* 1 2.0) (pow (+ (* a a) (* b b)) (* (cbrt 2.0) (cbrt 2.0))) (pow (+ (* a a) (* b b)) (sqrt 2.0)) (pow (+ (* a a) (* b b)) 1) (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0) (pow (cbrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow 1 2.0) (pow (+ (* a a) (* b b)) 2.0) (log (pow (+ (* a a) (* b b)) 2.0)) (exp (pow (+ (* a a) (* b b)) 2.0)) (* (cbrt (pow (+ (* a a) (* b b)) 2.0)) (cbrt (pow (+ (* a a) (* b b)) 2.0))) (cbrt (pow (+ (* a a) (* b b)) 2.0)) (* (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (+ (log 3.0) (* (log b) 2)) (+ (log 3.0) (* (log b) 2)) (+ (log 3.0) (log (pow b 2))) (log (* 3.0 (pow b 2))) (exp (* 3.0 (pow b 2))) (* (* (* 3.0 3.0) 3.0) (* (* (pow b 2) (pow b 2)) (pow b 2))) (* (cbrt (* 3.0 (pow b 2))) (cbrt (* 3.0 (pow b 2)))) (cbrt (* 3.0 (pow b 2))) (* (* (* 3.0 (pow b 2)) (* 3.0 (pow b 2))) (* 3.0 (pow b 2))) (sqrt (* 3.0 (pow b 2))) (sqrt (* 3.0 (pow b 2))) (* (sqrt 3.0) (pow (sqrt b) 2)) (* (sqrt 3.0) (pow (sqrt b) 2)) (* (sqrt 3.0) b) (* (sqrt 3.0) b) (* (sqrt 3.0) (sqrt (pow b 2))) (* (sqrt 3.0) (sqrt (pow b 2))) (* (sqrt 3.0) (pow b (/ 2 2))) (* (sqrt 3.0) (pow b (/ 2 2))) (* 3.0 (pow (* (cbrt b) (cbrt b)) 2)) (* 3.0 (pow (sqrt b) 2)) (* 3.0 (pow 1 2)) (* 3.0 b) (* 3.0 (* (cbrt (pow b 2)) (cbrt (pow b 2)))) (* 3.0 (sqrt (pow b 2))) (* 3.0 1) (* 3.0 (pow b (/ 2 2))) (* (cbrt 3.0) (pow b 2)) (* (sqrt 3.0) (pow b 2)) (* 3.0 (pow b 2)) (/ (* (exp (* 1.0 (pow a 2))) (exp (* 3.0 (pow b 2)))) (exp (pow a 3))) (/ (exp (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (exp (pow a 3))) (log (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))) (exp (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))) (* (cbrt (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))) (cbrt (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)))) (cbrt (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))) (* (* (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)) (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))) (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))) (sqrt (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))) (sqrt (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))) (- (pow (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) 3) (pow (pow a 3) 3)) (+ (* (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (+ (* (pow a 3) (pow a 3)) (* (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)))) (- (pow a 3)) (- (* (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (* (pow a 3) (pow a 3))) (+ (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)) (+ (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (pow (sqrt a) 3)) (- (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (pow (sqrt a) 3)) (+ (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (pow (sqrt a) 3)) (- (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (pow (sqrt a) 3)) (+ (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (sqrt (pow a 3))) (- (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (sqrt (pow a 3))) (+ (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (pow a (/ 3 2))) (- (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (pow a (/ 3 2))) (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)) (- (* 3.0 (pow b 2)) (pow a 3)) (- (pow a 3)) (* (exp (pow (+ (* a a) (* b b)) 2.0)) (exp (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))))) (log (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))))) (exp (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))))) (* (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))))) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)))))) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))))) (* (* (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))))) (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))))) (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))))) (+ (pow (pow (+ (* a a) (* b b)) 2.0) 3) (pow (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))) 3)) (+ (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (- (* (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)))) (* (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)))))) (- (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (* (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3))))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* 1.0 (pow a 2)))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))))) (+ (pow (+ (* a a) (* b b)) 2.0) (* (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) 4.0)) (+ (pow (+ (* a a) (* b b)) 2.0) (* (* 1.0 (pow a 2)) 4.0)) (+ (pow (+ (* a a) (* b b)) 2.0) (* (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) 4.0)) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 a) -4.0) (pow (/ -1 a) -4.0) (* 3.0 (pow b 2)) (* 3.0 (pow b 2)) (* 3.0 (pow b 2)) (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)) (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)) (- (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (pow a 3)) (- (+ (* 4.0 (pow a 2)) (* 12.0 (pow b 2))) (* 4.0 (pow a 3))) (+ (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))))) 6.778 * * [simplify]: iteration 0 : 176 enodes (cost 1697 ) 6.815 * * [simplify]: iteration 1 : 412 enodes (cost 1600 ) 6.942 * * [simplify]: iteration 2 : 1220 enodes (cost 1483 ) 7.431 * * [simplify]: iteration 3 : 4803 enodes (cost 1407 ) 8.552 * * [simplify]: iteration done : 5000 enodes (cost 1407 ) 8.553 * [simplify]: Simplified to: (log (pow (+ (* a a) (* b b)) 2.0)) (log (pow (+ (* a a) (* b b)) 2.0)) 2.0 (pow (+ (* a a) (* b b)) (* (cbrt 2.0) (cbrt 2.0))) (pow (+ (* a a) (* b b)) (sqrt 2.0)) (+ (* a a) (* b b)) (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0) (pow (cbrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) 1 (pow (+ (* a a) (* b b)) 2.0) (log (pow (+ (* a a) (* b b)) 2.0)) (exp (pow (+ (* a a) (* b b)) 2.0)) (* (cbrt (pow (+ (* a a) (* b b)) 2.0)) (cbrt (pow (+ (* a a) (* b b)) 2.0))) (cbrt (pow (+ (* a a) (* b b)) 2.0)) (pow (pow (+ (* a a) (* b b)) 2.0) 3) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (log (* 3.0 (pow b 2))) (log (* 3.0 (pow b 2))) (log (* 3.0 (pow b 2))) (log (* 3.0 (pow b 2))) (exp (* 3.0 (pow b 2))) (pow (* 3.0 (pow b 2)) 3) (* (cbrt (* 3.0 (pow b 2))) (cbrt (* 3.0 (pow b 2)))) (cbrt (* 3.0 (pow b 2))) (pow (* 3.0 (pow b 2)) 3) (sqrt (* 3.0 (pow b 2))) (sqrt (* 3.0 (pow b 2))) (* b (sqrt 3.0)) (* b (sqrt 3.0)) (* b (sqrt 3.0)) (* b (sqrt 3.0)) (* (sqrt 3.0) (fabs b)) (* (sqrt 3.0) (fabs b)) (* b (sqrt 3.0)) (* b (sqrt 3.0)) (* 3.0 (pow (* (cbrt b) (cbrt b)) 2)) (* 3.0 b) 3.0 (* 3.0 b) (* 3.0 (* (cbrt (pow b 2)) (cbrt (pow b 2)))) (* (fabs b) 3.0) 3.0 (* 3.0 b) (* (cbrt 3.0) (pow b 2)) (* (sqrt 3.0) (pow b 2)) (* 3.0 (pow b 2)) (exp (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a)))) (exp (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a)))) (log (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a)))) (exp (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a)))) (* (cbrt (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a)))) (cbrt (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))))) (cbrt (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a)))) (pow (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 3) (sqrt (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a)))) (sqrt (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a)))) (- (pow (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) 3) (pow (pow a 3) 3)) (+ (pow a 6) (* (+ (* (pow a 2) (+ 1.0 a)) (* 3.0 (pow b 2))) (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))))) (- (pow a 3)) (- (* (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))) (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (pow a 6)) (+ (* (pow a 2) (+ 1.0 a)) (* 3.0 (pow b 2))) (+ (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (pow (sqrt a) 3)) (- (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (pow (sqrt a) 3)) (+ (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (pow (sqrt a) 3)) (- (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (pow (sqrt a) 3)) (+ (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (sqrt (pow a 3))) (- (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (sqrt (pow a 3))) (+ (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (pow a 3/2)) (- (sqrt (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2)))) (pow a 3/2)) (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) (- (* 3.0 (pow b 2)) (pow a 3)) (- (pow a 3)) (exp (+ (pow (+ (* a a) (* b b)) 2.0) (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 4.0))) (log (+ (pow (+ (* a a) (* b b)) 2.0) (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 4.0))) (exp (+ (pow (+ (* a a) (* b b)) 2.0) (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 4.0))) (* (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 4.0))) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 4.0)))) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 4.0))) (pow (+ (pow (+ (* a a) (* b b)) 2.0) (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 4.0)) 3) (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 4.0))) (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 4.0))) (+ (pow (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 4.0) 3) (pow (pow (+ (* a a) (* b b)) 2.0) 3)) (+ (* (- (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 4.0) (pow (+ (* a a) (* b b)) 2.0)) (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 4.0)) (pow (+ (* a a) (* b b)) (* 2 2.0))) (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a)))))) (- (pow (+ (* a a) (* b b)) 2.0) (* (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) 4.0)) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* 1.0 (pow a 2)))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* 1.0 (pow a 2)))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* 1.0 (pow a 2)) (* 3.0 (pow b 2))))) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 a) -4.0) (pow (/ -1 a) -4.0) (* 3.0 (pow b 2)) (* 3.0 (pow b 2)) (* 3.0 (pow b 2)) (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) (+ (* 3.0 (pow b 2)) (* (pow a 2) (- 1.0 a))) (+ (* 12.0 (pow b 2)) (* 4.0 (- (pow a 2) (pow a 3)))) (+ (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))))) 8.553 * * * [progress]: adding candidates to table 8.845 * * [progress]: iteration 4 / 4 8.845 * * * [progress]: picking best candidate 8.854 * * * * [pick]: Picked # 8.854 * * * [progress]: localizing error 8.871 * * * [progress]: generating rewritten candidates 8.871 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 8.880 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 9.031 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 9.042 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 9.051 * * * [progress]: generating series expansions 9.051 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 9.051 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in (a b) around 0 9.051 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.051 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.051 * [taylor]: Taking taylor expansion of a in b 9.051 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.052 * [taylor]: Taking taylor expansion of b in b 9.052 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.052 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.052 * [taylor]: Taking taylor expansion of a in a 9.052 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.052 * [taylor]: Taking taylor expansion of b in a 9.052 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.052 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.052 * [taylor]: Taking taylor expansion of a in a 9.052 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.052 * [taylor]: Taking taylor expansion of b in a 9.052 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.052 * [taylor]: Taking taylor expansion of b in b 9.054 * [taylor]: Taking taylor expansion of 0 in b 9.055 * [taylor]: Taking taylor expansion of 0 in b 9.058 * [taylor]: Taking taylor expansion of 0 in b 9.058 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (a b) around 0 9.058 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 9.058 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.058 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.058 * [taylor]: Taking taylor expansion of a in b 9.058 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.058 * [taylor]: Taking taylor expansion of b in b 9.059 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 9.059 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.059 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.059 * [taylor]: Taking taylor expansion of a in a 9.059 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.059 * [taylor]: Taking taylor expansion of b in a 9.059 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 9.059 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.059 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.059 * [taylor]: Taking taylor expansion of a in a 9.059 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.059 * [taylor]: Taking taylor expansion of b in a 9.060 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 9.060 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.060 * [taylor]: Taking taylor expansion of b in b 9.061 * [taylor]: Taking taylor expansion of 0 in b 9.063 * [taylor]: Taking taylor expansion of 0 in b 9.066 * [taylor]: Taking taylor expansion of 0 in b 9.070 * [taylor]: Taking taylor expansion of 0 in b 9.070 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (a b) around 0 9.070 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 9.070 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.070 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.071 * [taylor]: Taking taylor expansion of a in b 9.071 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.071 * [taylor]: Taking taylor expansion of b in b 9.071 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 9.071 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.071 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.071 * [taylor]: Taking taylor expansion of a in a 9.071 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.071 * [taylor]: Taking taylor expansion of b in a 9.071 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 9.071 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.071 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.072 * [taylor]: Taking taylor expansion of a in a 9.072 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.072 * [taylor]: Taking taylor expansion of b in a 9.072 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 9.072 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.072 * [taylor]: Taking taylor expansion of b in b 9.073 * [taylor]: Taking taylor expansion of 0 in b 9.076 * [taylor]: Taking taylor expansion of 0 in b 9.079 * [taylor]: Taking taylor expansion of 0 in b 9.082 * [taylor]: Taking taylor expansion of 0 in b 9.083 * * * * [progress]: [ 2 / 4 ] generating series at (2) 9.083 * [approximate]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0) in (a b) around 0 9.084 * [taylor]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0) in b 9.084 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in b 9.084 * [taylor]: Taking taylor expansion of (pow a 4) in b 9.084 * [taylor]: Taking taylor expansion of a in b 9.084 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in b 9.084 * [taylor]: Taking taylor expansion of (pow b 4) in b 9.084 * [taylor]: Taking taylor expansion of b in b 9.084 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 9.084 * [taylor]: Taking taylor expansion of 2 in b 9.084 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.084 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.084 * [taylor]: Taking taylor expansion of a in b 9.084 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.084 * [taylor]: Taking taylor expansion of b in b 9.084 * [taylor]: Taking taylor expansion of 1.0 in b 9.084 * [taylor]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0) in a 9.084 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in a 9.084 * [taylor]: Taking taylor expansion of (pow a 4) in a 9.084 * [taylor]: Taking taylor expansion of a in a 9.084 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in a 9.084 * [taylor]: Taking taylor expansion of (pow b 4) in a 9.084 * [taylor]: Taking taylor expansion of b in a 9.084 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 9.084 * [taylor]: Taking taylor expansion of 2 in a 9.084 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.084 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.084 * [taylor]: Taking taylor expansion of a in a 9.084 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.084 * [taylor]: Taking taylor expansion of b in a 9.084 * [taylor]: Taking taylor expansion of 1.0 in a 9.084 * [taylor]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0) in a 9.084 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in a 9.084 * [taylor]: Taking taylor expansion of (pow a 4) in a 9.084 * [taylor]: Taking taylor expansion of a in a 9.084 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in a 9.084 * [taylor]: Taking taylor expansion of (pow b 4) in a 9.084 * [taylor]: Taking taylor expansion of b in a 9.084 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 9.084 * [taylor]: Taking taylor expansion of 2 in a 9.084 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.084 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.084 * [taylor]: Taking taylor expansion of a in a 9.084 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.084 * [taylor]: Taking taylor expansion of b in a 9.084 * [taylor]: Taking taylor expansion of 1.0 in a 9.085 * [taylor]: Taking taylor expansion of (- (pow b 4) 1.0) in b 9.085 * [taylor]: Taking taylor expansion of (pow b 4) in b 9.085 * [taylor]: Taking taylor expansion of b in b 9.085 * [taylor]: Taking taylor expansion of 1.0 in b 9.087 * [taylor]: Taking taylor expansion of 0 in b 9.089 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 9.089 * [taylor]: Taking taylor expansion of 2 in b 9.089 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.089 * [taylor]: Taking taylor expansion of b in b 9.093 * [taylor]: Taking taylor expansion of 0 in b 9.094 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) 1.0) in (a b) around 0 9.094 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) 1.0) in b 9.094 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 9.094 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 9.094 * [taylor]: Taking taylor expansion of 2 in b 9.094 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 9.094 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.094 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.094 * [taylor]: Taking taylor expansion of a in b 9.094 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.094 * [taylor]: Taking taylor expansion of b in b 9.094 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 9.094 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 9.094 * [taylor]: Taking taylor expansion of (pow a 4) in b 9.094 * [taylor]: Taking taylor expansion of a in b 9.094 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 9.094 * [taylor]: Taking taylor expansion of (pow b 4) in b 9.094 * [taylor]: Taking taylor expansion of b in b 9.095 * [taylor]: Taking taylor expansion of 1.0 in b 9.095 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) 1.0) in a 9.095 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 9.095 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 9.095 * [taylor]: Taking taylor expansion of 2 in a 9.095 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 9.095 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.095 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.095 * [taylor]: Taking taylor expansion of a in a 9.095 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.095 * [taylor]: Taking taylor expansion of b in a 9.096 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 9.096 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 9.096 * [taylor]: Taking taylor expansion of (pow a 4) in a 9.096 * [taylor]: Taking taylor expansion of a in a 9.096 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 9.097 * [taylor]: Taking taylor expansion of (pow b 4) in a 9.097 * [taylor]: Taking taylor expansion of b in a 9.097 * [taylor]: Taking taylor expansion of 1.0 in a 9.097 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) 1.0) in a 9.097 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 9.097 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 9.097 * [taylor]: Taking taylor expansion of 2 in a 9.097 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 9.097 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.097 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.097 * [taylor]: Taking taylor expansion of a in a 9.097 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.097 * [taylor]: Taking taylor expansion of b in a 9.097 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 9.097 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 9.097 * [taylor]: Taking taylor expansion of (pow a 4) in a 9.097 * [taylor]: Taking taylor expansion of a in a 9.098 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 9.098 * [taylor]: Taking taylor expansion of (pow b 4) in a 9.098 * [taylor]: Taking taylor expansion of b in a 9.098 * [taylor]: Taking taylor expansion of 1.0 in a 9.103 * [taylor]: Taking taylor expansion of 1 in b 9.105 * [taylor]: Taking taylor expansion of 0 in b 9.107 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 9.107 * [taylor]: Taking taylor expansion of 2 in b 9.107 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 9.107 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.107 * [taylor]: Taking taylor expansion of b in b 9.111 * [taylor]: Taking taylor expansion of 0 in b 9.116 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 4)) 1.0) in b 9.116 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 9.116 * [taylor]: Taking taylor expansion of (pow b 4) in b 9.116 * [taylor]: Taking taylor expansion of b in b 9.117 * [taylor]: Taking taylor expansion of 1.0 in b 9.118 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) 1.0) in (a b) around 0 9.118 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) 1.0) in b 9.118 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 9.118 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 9.118 * [taylor]: Taking taylor expansion of 2 in b 9.119 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 9.119 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.119 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.119 * [taylor]: Taking taylor expansion of a in b 9.119 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.119 * [taylor]: Taking taylor expansion of b in b 9.119 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 9.119 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 9.119 * [taylor]: Taking taylor expansion of (pow a 4) in b 9.119 * [taylor]: Taking taylor expansion of a in b 9.119 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 9.119 * [taylor]: Taking taylor expansion of (pow b 4) in b 9.119 * [taylor]: Taking taylor expansion of b in b 9.120 * [taylor]: Taking taylor expansion of 1.0 in b 9.120 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) 1.0) in a 9.120 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 9.120 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 9.120 * [taylor]: Taking taylor expansion of 2 in a 9.120 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 9.120 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.120 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.120 * [taylor]: Taking taylor expansion of a in a 9.120 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.120 * [taylor]: Taking taylor expansion of b in a 9.121 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 9.121 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 9.121 * [taylor]: Taking taylor expansion of (pow a 4) in a 9.121 * [taylor]: Taking taylor expansion of a in a 9.122 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 9.122 * [taylor]: Taking taylor expansion of (pow b 4) in a 9.122 * [taylor]: Taking taylor expansion of b in a 9.122 * [taylor]: Taking taylor expansion of 1.0 in a 9.122 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) 1.0) in a 9.122 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 9.122 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 9.122 * [taylor]: Taking taylor expansion of 2 in a 9.122 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 9.122 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.122 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.122 * [taylor]: Taking taylor expansion of a in a 9.122 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.122 * [taylor]: Taking taylor expansion of b in a 9.123 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 9.123 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 9.123 * [taylor]: Taking taylor expansion of (pow a 4) in a 9.123 * [taylor]: Taking taylor expansion of a in a 9.124 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 9.124 * [taylor]: Taking taylor expansion of (pow b 4) in a 9.124 * [taylor]: Taking taylor expansion of b in a 9.124 * [taylor]: Taking taylor expansion of 1.0 in a 9.125 * [taylor]: Taking taylor expansion of 1 in b 9.126 * [taylor]: Taking taylor expansion of 0 in b 9.128 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 9.128 * [taylor]: Taking taylor expansion of 2 in b 9.128 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 9.128 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.128 * [taylor]: Taking taylor expansion of b in b 9.132 * [taylor]: Taking taylor expansion of 0 in b 9.137 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 4)) 1.0) in b 9.137 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 9.137 * [taylor]: Taking taylor expansion of (pow b 4) in b 9.137 * [taylor]: Taking taylor expansion of b in b 9.138 * [taylor]: Taking taylor expansion of 1.0 in b 9.139 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 9.139 * [approximate]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in (a b) around 0 9.139 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 9.139 * [taylor]: Taking taylor expansion of 2 in b 9.139 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.139 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.139 * [taylor]: Taking taylor expansion of a in b 9.139 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.139 * [taylor]: Taking taylor expansion of b in b 9.139 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 9.139 * [taylor]: Taking taylor expansion of 2 in a 9.139 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.139 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.139 * [taylor]: Taking taylor expansion of a in a 9.139 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.139 * [taylor]: Taking taylor expansion of b in a 9.139 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 9.139 * [taylor]: Taking taylor expansion of 2 in a 9.139 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.139 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.139 * [taylor]: Taking taylor expansion of a in a 9.139 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.139 * [taylor]: Taking taylor expansion of b in a 9.140 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 9.140 * [taylor]: Taking taylor expansion of 2 in b 9.140 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.140 * [taylor]: Taking taylor expansion of b in b 9.141 * [taylor]: Taking taylor expansion of 0 in b 9.144 * [taylor]: Taking taylor expansion of 0 in b 9.147 * [taylor]: Taking taylor expansion of 0 in b 9.148 * [approximate]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0 9.148 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b 9.148 * [taylor]: Taking taylor expansion of 2 in b 9.148 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.148 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.148 * [taylor]: Taking taylor expansion of a in b 9.148 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.148 * [taylor]: Taking taylor expansion of b in b 9.148 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 9.148 * [taylor]: Taking taylor expansion of 2 in a 9.148 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.148 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.148 * [taylor]: Taking taylor expansion of a in a 9.148 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.148 * [taylor]: Taking taylor expansion of b in a 9.149 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 9.149 * [taylor]: Taking taylor expansion of 2 in a 9.149 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.149 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.149 * [taylor]: Taking taylor expansion of a in a 9.149 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.149 * [taylor]: Taking taylor expansion of b in a 9.149 * [taylor]: Taking taylor expansion of (/ 2 (pow b 2)) in b 9.149 * [taylor]: Taking taylor expansion of 2 in b 9.149 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.149 * [taylor]: Taking taylor expansion of b in b 9.151 * [taylor]: Taking taylor expansion of 0 in b 9.153 * [taylor]: Taking taylor expansion of 0 in b 9.156 * [taylor]: Taking taylor expansion of 0 in b 9.160 * [taylor]: Taking taylor expansion of 0 in b 9.161 * [approximate]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0 9.161 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b 9.161 * [taylor]: Taking taylor expansion of 2 in b 9.161 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.161 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.161 * [taylor]: Taking taylor expansion of a in b 9.161 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.161 * [taylor]: Taking taylor expansion of b in b 9.161 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 9.161 * [taylor]: Taking taylor expansion of 2 in a 9.161 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.161 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.161 * [taylor]: Taking taylor expansion of a in a 9.161 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.161 * [taylor]: Taking taylor expansion of b in a 9.162 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 9.162 * [taylor]: Taking taylor expansion of 2 in a 9.162 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.162 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.162 * [taylor]: Taking taylor expansion of a in a 9.162 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.162 * [taylor]: Taking taylor expansion of b in a 9.162 * [taylor]: Taking taylor expansion of (/ 2 (pow b 2)) in b 9.162 * [taylor]: Taking taylor expansion of 2 in b 9.162 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.162 * [taylor]: Taking taylor expansion of b in b 9.164 * [taylor]: Taking taylor expansion of 0 in b 9.166 * [taylor]: Taking taylor expansion of 0 in b 9.170 * [taylor]: Taking taylor expansion of 0 in b 9.174 * [taylor]: Taking taylor expansion of 0 in b 9.174 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 9.174 * [approximate]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in (b a) around 0 9.175 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in a 9.175 * [taylor]: Taking taylor expansion of (pow b 4) in a 9.175 * [taylor]: Taking taylor expansion of b in a 9.175 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 9.175 * [taylor]: Taking taylor expansion of 2 in a 9.175 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.175 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.175 * [taylor]: Taking taylor expansion of a in a 9.175 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.175 * [taylor]: Taking taylor expansion of b in a 9.175 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in b 9.175 * [taylor]: Taking taylor expansion of (pow b 4) in b 9.175 * [taylor]: Taking taylor expansion of b in b 9.175 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 9.175 * [taylor]: Taking taylor expansion of 2 in b 9.175 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.175 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.175 * [taylor]: Taking taylor expansion of a in b 9.175 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.175 * [taylor]: Taking taylor expansion of b in b 9.175 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in b 9.175 * [taylor]: Taking taylor expansion of (pow b 4) in b 9.175 * [taylor]: Taking taylor expansion of b in b 9.175 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 9.175 * [taylor]: Taking taylor expansion of 2 in b 9.175 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.175 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.175 * [taylor]: Taking taylor expansion of a in b 9.175 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.175 * [taylor]: Taking taylor expansion of b in b 9.176 * [taylor]: Taking taylor expansion of (* 2 (pow a 2)) in a 9.176 * [taylor]: Taking taylor expansion of 2 in a 9.176 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.176 * [taylor]: Taking taylor expansion of a in a 9.177 * [taylor]: Taking taylor expansion of 0 in a 9.179 * [taylor]: Taking taylor expansion of 1 in a 9.183 * [taylor]: Taking taylor expansion of 0 in a 9.193 * [taylor]: Taking taylor expansion of 0 in a 9.194 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in (b a) around 0 9.194 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in a 9.194 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 9.194 * [taylor]: Taking taylor expansion of 2 in a 9.194 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 9.194 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.194 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.194 * [taylor]: Taking taylor expansion of a in a 9.194 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.194 * [taylor]: Taking taylor expansion of b in a 9.194 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 9.194 * [taylor]: Taking taylor expansion of (pow b 4) in a 9.194 * [taylor]: Taking taylor expansion of b in a 9.194 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in b 9.194 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 9.194 * [taylor]: Taking taylor expansion of 2 in b 9.194 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 9.194 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.194 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.195 * [taylor]: Taking taylor expansion of a in b 9.195 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.195 * [taylor]: Taking taylor expansion of b in b 9.195 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 9.195 * [taylor]: Taking taylor expansion of (pow b 4) in b 9.195 * [taylor]: Taking taylor expansion of b in b 9.196 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in b 9.196 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 9.196 * [taylor]: Taking taylor expansion of 2 in b 9.196 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 9.196 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.196 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.196 * [taylor]: Taking taylor expansion of a in b 9.196 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.196 * [taylor]: Taking taylor expansion of b in b 9.196 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 9.196 * [taylor]: Taking taylor expansion of (pow b 4) in b 9.196 * [taylor]: Taking taylor expansion of b in b 9.197 * [taylor]: Taking taylor expansion of 1 in a 9.199 * [taylor]: Taking taylor expansion of 0 in a 9.200 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 9.200 * [taylor]: Taking taylor expansion of 2 in a 9.200 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 9.200 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.200 * [taylor]: Taking taylor expansion of a in a 9.204 * [taylor]: Taking taylor expansion of 0 in a 9.210 * [taylor]: Taking taylor expansion of 0 in a 9.212 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in (b a) around 0 9.212 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in a 9.212 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 9.212 * [taylor]: Taking taylor expansion of 2 in a 9.212 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 9.212 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 9.212 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.212 * [taylor]: Taking taylor expansion of a in a 9.213 * [taylor]: Taking taylor expansion of (pow b 2) in a 9.213 * [taylor]: Taking taylor expansion of b in a 9.213 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 9.213 * [taylor]: Taking taylor expansion of (pow b 4) in a 9.213 * [taylor]: Taking taylor expansion of b in a 9.213 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in b 9.213 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 9.213 * [taylor]: Taking taylor expansion of 2 in b 9.213 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 9.213 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.213 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.213 * [taylor]: Taking taylor expansion of a in b 9.213 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.213 * [taylor]: Taking taylor expansion of b in b 9.214 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 9.214 * [taylor]: Taking taylor expansion of (pow b 4) in b 9.214 * [taylor]: Taking taylor expansion of b in b 9.214 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (/ 1 (pow b 4))) in b 9.215 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 9.215 * [taylor]: Taking taylor expansion of 2 in b 9.215 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 9.215 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 9.215 * [taylor]: Taking taylor expansion of (pow a 2) in b 9.215 * [taylor]: Taking taylor expansion of a in b 9.215 * [taylor]: Taking taylor expansion of (pow b 2) in b 9.215 * [taylor]: Taking taylor expansion of b in b 9.215 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 9.215 * [taylor]: Taking taylor expansion of (pow b 4) in b 9.215 * [taylor]: Taking taylor expansion of b in b 9.216 * [taylor]: Taking taylor expansion of 1 in a 9.217 * [taylor]: Taking taylor expansion of 0 in a 9.219 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 9.219 * [taylor]: Taking taylor expansion of 2 in a 9.219 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 9.219 * [taylor]: Taking taylor expansion of (pow a 2) in a 9.219 * [taylor]: Taking taylor expansion of a in a 9.223 * [taylor]: Taking taylor expansion of 0 in a 9.228 * [taylor]: Taking taylor expansion of 0 in a 9.230 * * * [progress]: simplifying candidates 9.232 * [simplify]: Simplifying using # : (* a b) (+ (* (log a) 2) (* (log b) 2)) (+ (* (log a) 2) (* (log b) 2)) (+ (* (log a) 2) (log (pow b 2))) (+ (* (log a) 2) (* (log b) 2)) (+ (* (log a) 2) (* (log b) 2)) (+ (* (log a) 2) (log (pow b 2))) (+ (log (pow a 2)) (* (log b) 2)) (+ (log (pow a 2)) (* (log b) 2)) (+ (log (pow a 2)) (log (pow b 2))) (log (* (pow a 2) (pow b 2))) (exp (* (pow a 2) (pow b 2))) (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow b 2) (pow b 2)) (pow b 2))) (* (cbrt (* (pow a 2) (pow b 2))) (cbrt (* (pow a 2) (pow b 2)))) (cbrt (* (pow a 2) (pow b 2))) (* (* (* (pow a 2) (pow b 2)) (* (pow a 2) (pow b 2))) (* (pow a 2) (pow b 2))) (sqrt (* (pow a 2) (pow b 2))) (sqrt (* (pow a 2) (pow b 2))) (* (pow (sqrt a) 2) (pow (sqrt b) 2)) (* (pow (sqrt a) 2) (pow (sqrt b) 2)) (* (pow (sqrt a) 2) b) (* (pow (sqrt a) 2) b) (* (pow (sqrt a) 2) (sqrt (pow b 2))) (* (pow (sqrt a) 2) (sqrt (pow b 2))) (* (pow (sqrt a) 2) (pow b (/ 2 2))) (* (pow (sqrt a) 2) (pow b (/ 2 2))) (* a (pow (sqrt b) 2)) (* a (pow (sqrt b) 2)) (* a b) (* a b) (* a (sqrt (pow b 2))) (* a (sqrt (pow b 2))) (* a (pow b (/ 2 2))) (* a (pow b (/ 2 2))) (* (sqrt (pow a 2)) (pow (sqrt b) 2)) (* (sqrt (pow a 2)) (pow (sqrt b) 2)) (* (sqrt (pow a 2)) b) (* (sqrt (pow a 2)) b) (* (sqrt (pow a 2)) (sqrt (pow b 2))) (* (sqrt (pow a 2)) (sqrt (pow b 2))) (* (sqrt (pow a 2)) (pow b (/ 2 2))) (* (sqrt (pow a 2)) (pow b (/ 2 2))) (* (pow a (/ 2 2)) (pow (sqrt b) 2)) (* (pow a (/ 2 2)) (pow (sqrt b) 2)) (* (pow a (/ 2 2)) b) (* (pow a (/ 2 2)) b) (* (pow a (/ 2 2)) (sqrt (pow b 2))) (* (pow a (/ 2 2)) (sqrt (pow b 2))) (* (pow a (/ 2 2)) (pow b (/ 2 2))) (* (pow a (/ 2 2)) (pow b (/ 2 2))) (* (pow a 2) (pow (* (cbrt b) (cbrt b)) 2)) (* (pow a 2) (pow (sqrt b) 2)) (* (pow a 2) (pow 1 2)) (* (pow a 2) b) (* (pow a 2) (* (cbrt (pow b 2)) (cbrt (pow b 2)))) (* (pow a 2) (sqrt (pow b 2))) (* (pow a 2) 1) (* (pow a 2) (pow b (/ 2 2))) (* (pow (cbrt a) 2) (pow b 2)) (* (pow (sqrt a) 2) (pow b 2)) (* (pow a 2) (pow b 2)) (* a (pow b 2)) (* (cbrt (pow a 2)) (pow b 2)) (* (sqrt (pow a 2)) (pow b 2)) (* (pow a 2) (pow b 2)) (* (pow a (/ 2 2)) (pow b 2)) (/ (* (exp (pow a 4)) (* (exp (pow b 4)) (exp (* 2 (* (pow a 2) (pow b 2)))))) (exp 1.0)) (/ (* (exp (pow a 4)) (exp (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (exp 1.0)) (/ (exp (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (exp 1.0)) (log (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (exp (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (* (cbrt (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (cbrt (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0))) (cbrt (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (* (* (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (sqrt (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (sqrt (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (- (pow (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 3) (pow 1.0 3)) (+ (* (+ (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)))))) (+ (* 1.0 1.0) (* (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0))) (- 1.0) (- (* (+ (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)))))) (* 1.0 1.0)) (+ (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0) (+ (sqrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (sqrt 1.0)) (- (sqrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (sqrt 1.0)) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0) (- (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) 1.0) (- 1.0) (* 2 (* (pow a 2) (pow b 2))) (+ (log 2) (+ (* (log a) 2) (* (log b) 2))) (+ (log 2) (+ (* (log a) 2) (* (log b) 2))) (+ (log 2) (+ (* (log a) 2) (log (pow b 2)))) (+ (log 2) (+ (* (log a) 2) (* (log b) 2))) (+ (log 2) (+ (* (log a) 2) (* (log b) 2))) (+ (log 2) (+ (* (log a) 2) (log (pow b 2)))) (+ (log 2) (+ (log (pow a 2)) (* (log b) 2))) (+ (log 2) (+ (log (pow a 2)) (* (log b) 2))) (+ (log 2) (+ (log (pow a 2)) (log (pow b 2)))) (+ (log 2) (log (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (exp (* 2 (* (pow a 2) (pow b 2)))) (* (* (* 2 2) 2) (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow b 2) (pow b 2)) (pow b 2)))) (* (* (* 2 2) 2) (* (* (* (pow a 2) (pow b 2)) (* (pow a 2) (pow b 2))) (* (pow a 2) (pow b 2)))) (* (cbrt (* 2 (* (pow a 2) (pow b 2)))) (cbrt (* 2 (* (pow a 2) (pow b 2))))) (cbrt (* 2 (* (pow a 2) (pow b 2)))) (* (* (* 2 (* (pow a 2) (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))) (* 2 (* (pow a 2) (pow b 2)))) (sqrt (* 2 (* (pow a 2) (pow b 2)))) (sqrt (* 2 (* (pow a 2) (pow b 2)))) (* 2 (pow a 2)) (* (cbrt 2) (* (pow a 2) (pow b 2))) (* (sqrt 2) (* (pow a 2) (pow b 2))) (* 2 (* (pow a 2) (pow b 2))) (* (exp (pow b 4)) (exp (* 2 (* (pow a 2) (pow b 2))))) (log (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (exp (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* (cbrt (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (cbrt (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (cbrt (+ (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) (* 2 (* (pow a 2) (pow b 2))))) (sqrt (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (sqrt (+ (pow b 4) (* 2 (* (pow a 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 a 2) (pow b 2)) (* (pow a 2) (pow b 2)) (* (pow a 2) (pow b 2)) (- 1.0) (+ (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))))) (* 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)))) 9.237 * * [simplify]: iteration 0 : 157 enodes (cost 1770 ) 9.276 * * [simplify]: iteration 1 : 383 enodes (cost 1595 ) 9.473 * * [simplify]: iteration 2 : 1505 enodes (cost 1379 ) 10.204 * * [simplify]: iteration done : 5000 enodes (cost 1379 ) 10.204 * [simplify]: Simplified to: (* b a) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (exp (* (pow a 2) (pow b 2))) (pow (* (pow a 2) (pow b 2)) 3) (* (cbrt (* (pow a 2) (pow b 2))) (cbrt (* (pow a 2) (pow b 2)))) (cbrt (* (pow a 2) (pow b 2))) (pow (* (pow a 2) (pow b 2)) 3) (sqrt (* (pow a 2) (pow b 2))) (sqrt (* (pow a 2) (pow b 2))) (* b a) (* b a) (* b a) (* b a) (* a (fabs b)) (* a (fabs b)) (* b a) (* b a) (* b a) (* b a) (* b a) (* b a) (* a (fabs b)) (* a (fabs b)) (* b a) (* b a) (* (fabs a) b) (* (fabs a) b) (* (fabs a) b) (* (fabs a) b) (* (fabs a) (fabs b)) (* (fabs a) (fabs b)) (* (fabs a) b) (* (fabs a) b) (* b a) (* b a) (* b a) (* b a) (* a (fabs b)) (* a (fabs b)) (* b a) (* b a) (* (pow a 2) (pow (* (cbrt b) (cbrt b)) 2)) (* (* b a) a) (pow a 2) (* (* b a) a) (* (pow a 2) (* (cbrt (pow b 2)) (cbrt (pow b 2)))) (* (* a a) (fabs b)) (pow a 2) (* (* b a) a) (* (pow (cbrt a) 2) (pow b 2)) (* a (pow b 2)) (* (pow a 2) (pow b 2)) (* a (pow b 2)) (* (cbrt (pow a 2)) (pow b 2)) (* (pow b 2) (fabs a)) (* (pow a 2) (pow b 2)) (* a (pow b 2)) (exp (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (exp (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (exp (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (log (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (exp (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (* (cbrt (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (cbrt (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0))) (cbrt (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (pow (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0) 3) (sqrt (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (sqrt (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0)) (- (pow (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 3) (pow 1.0 3)) (+ (* (+ (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)))))) (* 1.0 (+ (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0))) (- 1.0) (- (* (+ (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)))))) (* 1.0 1.0)) (+ (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0) (+ (sqrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (sqrt 1.0)) (- (sqrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (sqrt 1.0)) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 1.0) (- (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) 1.0) (- 1.0) (* 2 (* (pow a 2) (pow b 2))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (exp (* 2 (* (pow a 2) (pow b 2)))) (* (pow (* (pow a 2) (pow b 2)) 3) 8) (* (pow (* (pow a 2) (pow b 2)) 3) 8) (* (cbrt (* 2 (* (pow a 2) (pow b 2)))) (cbrt (* 2 (* (pow a 2) (pow b 2))))) (cbrt (* 2 (* (pow a 2) (pow b 2)))) (* (pow (* (pow a 2) (pow b 2)) 3) 8) (sqrt (* 2 (* (pow a 2) (pow b 2)))) (sqrt (* 2 (* (pow a 2) (pow b 2)))) (* 2 (pow a 2)) (* (cbrt 2) (* (pow a 2) (pow b 2))) (* (sqrt 2) (* (pow a 2) (pow b 2))) (* 2 (* (pow a 2) (pow b 2))) (exp (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (log (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (exp (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* (cbrt (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (cbrt (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (cbrt (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (pow (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) 3) (sqrt (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (sqrt (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow (pow b 4) 3) (pow (* 2 (* (pow a 2) (pow b 2))) 3)) (- (+ (pow b 8) (* 4 (* (pow a 4) (pow b 4)))) (* (* 2 (pow a 2)) (pow (pow b 2) 3))) (- (pow b 8) (* 4 (* (pow a 4) (pow b 4)))) (- (pow b 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)) (- 1.0) (+ (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))))) (* 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)))) 10.205 * * * [progress]: adding candidates to table 10.448 * [progress]: [Phase 3 of 3] Extracting. 10.448 * * [regime]: Finding splitpoints for: (# # # #) 10.450 * * * [regime-changes]: Trying 2 branch expressions: (b a) 10.450 * * * * [regimes]: Trying to branch on b from (# # # #) 10.471 * * * * [regimes]: Trying to branch on a from (# # # #) 10.495 * * * [regime]: Found split indices: #