12.788 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.145 * * * [progress]: [2/2] Setting up program. 0.148 * [progress]: [Phase 2 of 3] Improving. 0.148 * [simplify]: Simplifying using # : (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) 1) 0.193 * * [simplify]: iteration 0 : 5159 enodes (cost 29 ) 0.193 * [simplify]: Simplified to: (-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 a 3))))) 1) 0.196 * * [progress]: iteration 1 / 4 0.196 * * * [progress]: picking best candidate 0.199 * * * * [pick]: Picked # 0.199 * * * [progress]: localizing error 0.213 * * * [progress]: generating rewritten candidates 0.213 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 0.221 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 0.226 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1) 0.235 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.252 * * * [progress]: generating series expansions 0.252 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 0.252 * [approximate]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in (b a) around 0 0.252 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in a 0.252 * [taylor]: Taking taylor expansion of (+ a 3) in a 0.252 * [taylor]: Taking taylor expansion of a in a 0.252 * [taylor]: Taking taylor expansion of 3 in a 0.252 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.252 * [taylor]: Taking taylor expansion of b in a 0.252 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 0.252 * [taylor]: Taking taylor expansion of (+ a 3) in b 0.252 * [taylor]: Taking taylor expansion of a in b 0.252 * [taylor]: Taking taylor expansion of 3 in b 0.252 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.252 * [taylor]: Taking taylor expansion of b in b 0.252 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 0.253 * [taylor]: Taking taylor expansion of (+ a 3) in b 0.253 * [taylor]: Taking taylor expansion of a in b 0.253 * [taylor]: Taking taylor expansion of 3 in b 0.253 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.253 * [taylor]: Taking taylor expansion of b in b 0.253 * [taylor]: Taking taylor expansion of (+ a 3) in a 0.253 * [taylor]: Taking taylor expansion of a in a 0.253 * [taylor]: Taking taylor expansion of 3 in a 0.253 * [taylor]: Taking taylor expansion of 0 in a 0.253 * [taylor]: Taking taylor expansion of 0 in a 0.253 * [taylor]: Taking taylor expansion of 0 in a 0.254 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in (b a) around 0 0.254 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in a 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 0.254 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.254 * [taylor]: Taking taylor expansion of a in a 0.254 * [taylor]: Taking taylor expansion of 3 in a 0.254 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.254 * [taylor]: Taking taylor expansion of b in a 0.254 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in b 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 0.254 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.254 * [taylor]: Taking taylor expansion of a in b 0.254 * [taylor]: Taking taylor expansion of 3 in b 0.254 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.254 * [taylor]: Taking taylor expansion of b in b 0.254 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in b 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 0.254 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.254 * [taylor]: Taking taylor expansion of a in b 0.254 * [taylor]: Taking taylor expansion of 3 in b 0.254 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.254 * [taylor]: Taking taylor expansion of b in b 0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 0.254 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.254 * [taylor]: Taking taylor expansion of a in a 0.254 * [taylor]: Taking taylor expansion of 3 in a 0.255 * [taylor]: Taking taylor expansion of 0 in a 0.255 * [taylor]: Taking taylor expansion of 0 in a 0.255 * [taylor]: Taking taylor expansion of 0 in a 0.256 * [taylor]: Taking taylor expansion of 0 in a 0.256 * [approximate]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in (b a) around 0 0.256 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in a 0.256 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 0.256 * [taylor]: Taking taylor expansion of 3 in a 0.256 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.256 * [taylor]: Taking taylor expansion of a in a 0.256 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.256 * [taylor]: Taking taylor expansion of b in a 0.256 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 0.256 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 0.256 * [taylor]: Taking taylor expansion of 3 in b 0.256 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.256 * [taylor]: Taking taylor expansion of a in b 0.256 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.256 * [taylor]: Taking taylor expansion of b in b 0.257 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 0.257 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 0.257 * [taylor]: Taking taylor expansion of 3 in b 0.257 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.257 * [taylor]: Taking taylor expansion of a in b 0.257 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.257 * [taylor]: Taking taylor expansion of b in b 0.257 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 0.257 * [taylor]: Taking taylor expansion of 3 in a 0.257 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.257 * [taylor]: Taking taylor expansion of a in a 0.257 * [taylor]: Taking taylor expansion of 0 in a 0.257 * [taylor]: Taking taylor expansion of 0 in a 0.258 * [taylor]: Taking taylor expansion of 0 in a 0.258 * [taylor]: Taking taylor expansion of 0 in a 0.258 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 0.259 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in (a b) around 0 0.259 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 0.259 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.259 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.259 * [taylor]: Taking taylor expansion of a in b 0.259 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.259 * [taylor]: Taking taylor expansion of b in b 0.259 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.259 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.259 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.259 * [taylor]: Taking taylor expansion of a in a 0.259 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.259 * [taylor]: Taking taylor expansion of b in a 0.259 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.259 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.259 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.259 * [taylor]: Taking taylor expansion of a in a 0.259 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.259 * [taylor]: Taking taylor expansion of b in a 0.259 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.259 * [taylor]: Taking taylor expansion of b in b 0.260 * [taylor]: Taking taylor expansion of 0 in b 0.260 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 0.260 * [taylor]: Taking taylor expansion of 2 in b 0.260 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.260 * [taylor]: Taking taylor expansion of b in b 0.260 * [taylor]: Taking taylor expansion of 0 in b 0.260 * [taylor]: Taking taylor expansion of 1 in b 0.261 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in (a b) around 0 0.261 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.261 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.261 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.261 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.261 * [taylor]: Taking taylor expansion of b in b 0.261 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.261 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.261 * [taylor]: Taking taylor expansion of a in b 0.261 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.261 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.261 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.261 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.261 * [taylor]: Taking taylor expansion of b in a 0.261 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.262 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.262 * [taylor]: Taking taylor expansion of a in a 0.262 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.262 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.262 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.262 * [taylor]: Taking taylor expansion of b in a 0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.262 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.262 * [taylor]: Taking taylor expansion of a in a 0.262 * [taylor]: Taking taylor expansion of 1 in b 0.262 * [taylor]: Taking taylor expansion of 0 in b 0.262 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 0.262 * [taylor]: Taking taylor expansion of 2 in b 0.262 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.262 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.262 * [taylor]: Taking taylor expansion of b in b 0.263 * [taylor]: Taking taylor expansion of 0 in b 0.266 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.266 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.266 * [taylor]: Taking taylor expansion of b in b 0.266 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in (a b) around 0 0.266 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.267 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.267 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.267 * [taylor]: Taking taylor expansion of b in b 0.267 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.267 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.267 * [taylor]: Taking taylor expansion of a in b 0.267 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.267 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.267 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.267 * [taylor]: Taking taylor expansion of b in a 0.267 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.267 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.267 * [taylor]: Taking taylor expansion of a in a 0.267 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.267 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.267 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.267 * [taylor]: Taking taylor expansion of b in a 0.267 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.267 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.267 * [taylor]: Taking taylor expansion of a in a 0.267 * [taylor]: Taking taylor expansion of 1 in b 0.267 * [taylor]: Taking taylor expansion of 0 in b 0.268 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 0.268 * [taylor]: Taking taylor expansion of 2 in b 0.268 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.268 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.268 * [taylor]: Taking taylor expansion of b in b 0.268 * [taylor]: Taking taylor expansion of 0 in b 0.269 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.269 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.269 * [taylor]: Taking taylor expansion of b in b 0.270 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1) 0.270 * [approximate]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in (a) around 0 0.270 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in a 0.270 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.270 * [taylor]: Taking taylor expansion of a in a 0.270 * [taylor]: Taking taylor expansion of (- 1 a) in a 0.270 * [taylor]: Taking taylor expansion of 1 in a 0.270 * [taylor]: Taking taylor expansion of a in a 0.270 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in a 0.270 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.270 * [taylor]: Taking taylor expansion of a in a 0.270 * [taylor]: Taking taylor expansion of (- 1 a) in a 0.270 * [taylor]: Taking taylor expansion of 1 in a 0.270 * [taylor]: Taking taylor expansion of a in a 0.271 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in (a) around 0 0.271 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in a 0.271 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 0.271 * [taylor]: Taking taylor expansion of 1 in a 0.271 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.271 * [taylor]: Taking taylor expansion of a in a 0.271 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.271 * [taylor]: Taking taylor expansion of a in a 0.271 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in a 0.272 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 0.272 * [taylor]: Taking taylor expansion of 1 in a 0.272 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.272 * [taylor]: Taking taylor expansion of a in a 0.272 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.272 * [taylor]: Taking taylor expansion of a in a 0.274 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in (a) around 0 0.274 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in a 0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 0.274 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.274 * [taylor]: Taking taylor expansion of a in a 0.274 * [taylor]: Taking taylor expansion of 1 in a 0.274 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.274 * [taylor]: Taking taylor expansion of a in a 0.274 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in a 0.274 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 0.274 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.274 * [taylor]: Taking taylor expansion of a in a 0.274 * [taylor]: Taking taylor expansion of 1 in a 0.274 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.274 * [taylor]: Taking taylor expansion of a in a 0.276 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.276 * [approximate]: Taking taylor expansion of (* 4 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in (a b) around 0 0.276 * [taylor]: Taking taylor expansion of (* 4 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in b 0.276 * [taylor]: Taking taylor expansion of 4 in b 0.276 * [taylor]: Taking taylor expansion of (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3)) in b 0.276 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) in b 0.276 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.276 * [taylor]: Taking taylor expansion of a in b 0.276 * [taylor]: Taking taylor expansion of (+ (* a (pow b 2)) (* 3 (pow b 2))) in b 0.276 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 0.276 * [taylor]: Taking taylor expansion of a in b 0.276 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.276 * [taylor]: Taking taylor expansion of b in b 0.276 * [taylor]: Taking taylor expansion of (* 3 (pow b 2)) in b 0.276 * [taylor]: Taking taylor expansion of 3 in b 0.276 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.276 * [taylor]: Taking taylor expansion of b in b 0.276 * [taylor]: Taking taylor expansion of (pow a 3) in b 0.276 * [taylor]: Taking taylor expansion of a in b 0.276 * [taylor]: Taking taylor expansion of (* 4 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in a 0.276 * [taylor]: Taking taylor expansion of 4 in a 0.276 * [taylor]: Taking taylor expansion of (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3)) in a 0.276 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) in a 0.276 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.276 * [taylor]: Taking taylor expansion of a in a 0.276 * [taylor]: Taking taylor expansion of (+ (* a (pow b 2)) (* 3 (pow b 2))) in a 0.276 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.276 * [taylor]: Taking taylor expansion of a in a 0.276 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.276 * [taylor]: Taking taylor expansion of b in a 0.276 * [taylor]: Taking taylor expansion of (* 3 (pow b 2)) in a 0.277 * [taylor]: Taking taylor expansion of 3 in a 0.277 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.277 * [taylor]: Taking taylor expansion of b in a 0.277 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.277 * [taylor]: Taking taylor expansion of a in a 0.277 * [taylor]: Taking taylor expansion of (* 4 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in a 0.277 * [taylor]: Taking taylor expansion of 4 in a 0.277 * [taylor]: Taking taylor expansion of (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3)) in a 0.277 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) in a 0.277 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.277 * [taylor]: Taking taylor expansion of a in a 0.277 * [taylor]: Taking taylor expansion of (+ (* a (pow b 2)) (* 3 (pow b 2))) in a 0.277 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.277 * [taylor]: Taking taylor expansion of a in a 0.277 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.277 * [taylor]: Taking taylor expansion of b in a 0.277 * [taylor]: Taking taylor expansion of (* 3 (pow b 2)) in a 0.277 * [taylor]: Taking taylor expansion of 3 in a 0.277 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.277 * [taylor]: Taking taylor expansion of b in a 0.277 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.277 * [taylor]: Taking taylor expansion of a in a 0.277 * [taylor]: Taking taylor expansion of (* 12 (pow b 2)) in b 0.277 * [taylor]: Taking taylor expansion of 12 in b 0.277 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.277 * [taylor]: Taking taylor expansion of b in b 0.278 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b 0.278 * [taylor]: Taking taylor expansion of 4 in b 0.278 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.278 * [taylor]: Taking taylor expansion of b in b 0.278 * [taylor]: Taking taylor expansion of 4 in b 0.279 * [taylor]: Taking taylor expansion of -4 in b 0.280 * [approximate]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3)))) in (a b) around 0 0.280 * [taylor]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3)))) in b 0.280 * [taylor]: Taking taylor expansion of 4 in b 0.280 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3))) in b 0.280 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) in b 0.280 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in b 0.280 * [taylor]: Taking taylor expansion of 3 in b 0.280 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.280 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.280 * [taylor]: Taking taylor expansion of b in b 0.280 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2))) in b 0.280 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in b 0.280 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 0.280 * [taylor]: Taking taylor expansion of a in b 0.280 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.280 * [taylor]: Taking taylor expansion of b in b 0.280 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.280 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.280 * [taylor]: Taking taylor expansion of a in b 0.280 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 0.280 * [taylor]: Taking taylor expansion of (pow a 3) in b 0.280 * [taylor]: Taking taylor expansion of a in b 0.280 * [taylor]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3)))) in a 0.280 * [taylor]: Taking taylor expansion of 4 in a 0.280 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3))) in a 0.280 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) in a 0.280 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.280 * [taylor]: Taking taylor expansion of 3 in a 0.280 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.280 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.280 * [taylor]: Taking taylor expansion of b in a 0.281 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2))) in a 0.281 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.281 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.281 * [taylor]: Taking taylor expansion of a in a 0.281 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.281 * [taylor]: Taking taylor expansion of b in a 0.281 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.281 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.281 * [taylor]: Taking taylor expansion of a in a 0.281 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.281 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.281 * [taylor]: Taking taylor expansion of a in a 0.281 * [taylor]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3)))) in a 0.281 * [taylor]: Taking taylor expansion of 4 in a 0.281 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3))) in a 0.281 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) in a 0.281 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.281 * [taylor]: Taking taylor expansion of 3 in a 0.281 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.281 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.281 * [taylor]: Taking taylor expansion of b in a 0.281 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2))) in a 0.281 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.281 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.281 * [taylor]: Taking taylor expansion of a in a 0.281 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.281 * [taylor]: Taking taylor expansion of b in a 0.282 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.282 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.282 * [taylor]: Taking taylor expansion of a in a 0.282 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.282 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.282 * [taylor]: Taking taylor expansion of a in a 0.282 * [taylor]: Taking taylor expansion of -4 in b 0.282 * [taylor]: Taking taylor expansion of 4 in b 0.283 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.283 * [taylor]: Taking taylor expansion of 4 in b 0.283 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.283 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.283 * [taylor]: Taking taylor expansion of b in b 0.284 * [taylor]: Taking taylor expansion of (* 12 (/ 1 (pow b 2))) in b 0.284 * [taylor]: Taking taylor expansion of 12 in b 0.284 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.284 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.284 * [taylor]: Taking taylor expansion of b in b 0.284 * [approximate]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2))))) in (a b) around 0 0.284 * [taylor]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2))))) in b 0.285 * [taylor]: Taking taylor expansion of 4 in b 0.285 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in b 0.285 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) in b 0.285 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in b 0.285 * [taylor]: Taking taylor expansion of 3 in b 0.285 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.285 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.285 * [taylor]: Taking taylor expansion of b in b 0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow a 3))) in b 0.285 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.285 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.285 * [taylor]: Taking taylor expansion of a in b 0.285 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 0.285 * [taylor]: Taking taylor expansion of (pow a 3) in b 0.285 * [taylor]: Taking taylor expansion of a in b 0.285 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in b 0.285 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 0.285 * [taylor]: Taking taylor expansion of a in b 0.285 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.285 * [taylor]: Taking taylor expansion of b in b 0.285 * [taylor]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2))))) in a 0.285 * [taylor]: Taking taylor expansion of 4 in a 0.285 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in a 0.285 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) in a 0.285 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.285 * [taylor]: Taking taylor expansion of 3 in a 0.285 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.285 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.285 * [taylor]: Taking taylor expansion of b in a 0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow a 3))) in a 0.285 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.285 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.285 * [taylor]: Taking taylor expansion of a in a 0.286 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.286 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.286 * [taylor]: Taking taylor expansion of a in a 0.286 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.286 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.286 * [taylor]: Taking taylor expansion of a in a 0.286 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.286 * [taylor]: Taking taylor expansion of b in a 0.286 * [taylor]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2))))) in a 0.286 * [taylor]: Taking taylor expansion of 4 in a 0.286 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in a 0.286 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) in a 0.286 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.286 * [taylor]: Taking taylor expansion of 3 in a 0.286 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.286 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.286 * [taylor]: Taking taylor expansion of b in a 0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow a 3))) in a 0.286 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.286 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.286 * [taylor]: Taking taylor expansion of a in a 0.286 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.286 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.286 * [taylor]: Taking taylor expansion of a in a 0.286 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.286 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.286 * [taylor]: Taking taylor expansion of a in a 0.286 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.286 * [taylor]: Taking taylor expansion of b in a 0.287 * [taylor]: Taking taylor expansion of 4 in b 0.287 * [taylor]: Taking taylor expansion of 4 in b 0.287 * [taylor]: Taking taylor expansion of (neg (* 4 (/ 1 (pow b 2)))) in b 0.287 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.287 * [taylor]: Taking taylor expansion of 4 in b 0.287 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.287 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.287 * [taylor]: Taking taylor expansion of b in b 0.288 * [taylor]: Taking taylor expansion of (* 12 (/ 1 (pow b 2))) in b 0.288 * [taylor]: Taking taylor expansion of 12 in b 0.289 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.289 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.289 * [taylor]: Taking taylor expansion of b in b 0.289 * * * [progress]: simplifying candidates 0.290 * [simplify]: Simplifying using # : (*.f64 (*.f64 b b) (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 3 a)) (+.f64 (+.f64 (log.f64 b) (log.f64 b)) (log.f64 (+.f64 3 a))) (+.f64 (log.f64 (*.f64 b b)) (log.f64 (+.f64 3 a))) (log.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (exp.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 b b) b)) (*.f64 (*.f64 (+.f64 3 a) (+.f64 3 a)) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) (*.f64 b b)) (*.f64 b b)) (*.f64 (*.f64 (+.f64 3 a) (+.f64 3 a)) (+.f64 3 a))) (*.f64 (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a)))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 b b) (+.f64 3 a))) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 b (sqrt.f64 (+.f64 3 a))) (*.f64 b (sqrt.f64 (+.f64 3 a))) (*.f64 (*.f64 b b) 3) (*.f64 (*.f64 b b) a) (*.f64 3 (*.f64 b b)) (*.f64 a (*.f64 b b)) (*.f64 (*.f64 b b) (*.f64 (cbrt.f64 (+.f64 3 a)) (cbrt.f64 (+.f64 3 a)))) (*.f64 (*.f64 b b) (sqrt.f64 (+.f64 3 a))) (*.f64 (*.f64 b b) 1) (*.f64 (*.f64 b b) 1) (*.f64 b (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 (pow.f64 3 3) (pow.f64 a 3))) (*.f64 (*.f64 b b) (-.f64 (*.f64 3 3) (*.f64 a a))) (*.f64 (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (*.f64 (log.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (*.f64 1 2) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (sqrt.f64 2)) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 1) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b)))) 2) (pow.f64 (cbrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 (sqrt.f64 (+.f64 (*.f64 a a) (*.f64 b b))) 2) (pow.f64 1 2) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (log.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (exp.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) 2)) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)) (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) (/.f64 2 2)) (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 1 a)) (+.f64 (+.f64 (log.f64 a) (log.f64 a)) (log.f64 (-.f64 1 a))) (+.f64 (log.f64 (*.f64 a a)) (log.f64 (-.f64 1 a))) (log.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (exp.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 a a) a)) (*.f64 (*.f64 (-.f64 1 a) (-.f64 1 a)) (-.f64 1 a))) (*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 a a)) (*.f64 (*.f64 (-.f64 1 a) (-.f64 1 a)) (-.f64 1 a))) (*.f64 (cbrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (cbrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a)))) (cbrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 (*.f64 a a) (-.f64 1 a))) (sqrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (sqrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 a (sqrt.f64 (-.f64 1 a))) (*.f64 a (sqrt.f64 (-.f64 1 a))) (*.f64 (*.f64 a a) 1) (*.f64 (*.f64 a a) (neg.f64 a)) (*.f64 1 (*.f64 a a)) (*.f64 (neg.f64 a) (*.f64 a a)) (*.f64 (*.f64 a a) (*.f64 (cbrt.f64 (-.f64 1 a)) (cbrt.f64 (-.f64 1 a)))) (*.f64 (*.f64 a a) (sqrt.f64 (-.f64 1 a))) (*.f64 (*.f64 a a) 1) (*.f64 (*.f64 a a) (+.f64 (sqrt.f64 1) (sqrt.f64 a))) (*.f64 (*.f64 a a) (+.f64 1 (sqrt.f64 a))) (*.f64 (*.f64 a a) 1) (*.f64 a (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 (pow.f64 1 3) (pow.f64 a 3))) (*.f64 (*.f64 a a) (-.f64 (*.f64 1 1) (*.f64 a a))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (+.f64 (log.f64 4) (log.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (log.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (exp.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))) (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 (cbrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (cbrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))))) (cbrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 (*.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (sqrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (sqrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 (sqrt.f64 4) (sqrt.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 (sqrt.f64 4) (sqrt.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 4 (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 4 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) 4) (*.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) 4) (*.f64 4 (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (cbrt.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))))) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 4 1) (*.f64 (cbrt.f64 4) (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (*.f64 (sqrt.f64 4) (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (*.f64 4 (+.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 (pow.f64 1 3) (pow.f64 a 3))) (+.f64 (*.f64 3 3) (-.f64 (*.f64 a a) (*.f64 3 a)))) (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 a a) (*.f64 1 a))) (*.f64 (*.f64 b b) (+.f64 (pow.f64 3 3) (pow.f64 a 3)))))) (*.f64 4 (+.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 (pow.f64 1 3) (pow.f64 a 3))) (-.f64 3 a)) (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 a a) (*.f64 1 a))) (*.f64 (*.f64 b b) (-.f64 (*.f64 3 3) (*.f64 a a)))))) (*.f64 4 (+.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 (*.f64 1 1) (*.f64 a a))) (+.f64 (*.f64 3 3) (-.f64 (*.f64 a a) (*.f64 3 a)))) (*.f64 (+.f64 1 a) (*.f64 (*.f64 b b) (+.f64 (pow.f64 3 3) (pow.f64 a 3)))))) (*.f64 4 (+.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 (*.f64 1 1) (*.f64 a a))) (-.f64 3 a)) (*.f64 (+.f64 1 a) (*.f64 (*.f64 b b) (-.f64 (*.f64 3 3) (*.f64 a a)))))) (*.f64 4 (+.f64 (pow.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) 3) (pow.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) 3))) (*.f64 4 (-.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (+.f64 (*.f64 a (pow.f64 b 2)) (*.f64 3 (pow.f64 b 2))) (+.f64 (*.f64 a (pow.f64 b 2)) (*.f64 3 (pow.f64 b 2))) (+.f64 (*.f64 a (pow.f64 b 2)) (*.f64 3 (pow.f64 b 2))) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (-.f64 (pow.f64 a 2) (pow.f64 a 3)) (-.f64 (pow.f64 a 2) (pow.f64 a 3)) (-.f64 (pow.f64 a 2) (pow.f64 a 3)) (-.f64 (+.f64 (*.f64 4 (pow.f64 a 2)) (*.f64 12 (pow.f64 b 2))) (*.f64 4 (pow.f64 a 3))) (-.f64 (+.f64 (*.f64 4 (*.f64 a (pow.f64 b 2))) (*.f64 12 (pow.f64 b 2))) (*.f64 4 (pow.f64 a 3))) (-.f64 (+.f64 (*.f64 4 (*.f64 a (pow.f64 b 2))) (*.f64 12 (pow.f64 b 2))) (*.f64 4 (pow.f64 a 3))) 0.335 * * [simplify]: iteration 0 : 5170 enodes (cost 1267 ) 0.343 * [simplify]: Simplified to: (*.f64 (*.f64 b b) (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 3 a)) (log.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (log.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (log.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (exp.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (pow.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) 3) (pow.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a)))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (pow.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) 3) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 b (sqrt.f64 (+.f64 3 a))) (*.f64 b (sqrt.f64 (+.f64 3 a))) (*.f64 (*.f64 b b) 3) (*.f64 (*.f64 b b) a) (*.f64 (*.f64 b b) 3) (*.f64 (*.f64 b b) a) (*.f64 (*.f64 b b) (*.f64 (cbrt.f64 (+.f64 3 a)) (cbrt.f64 (+.f64 3 a)))) (*.f64 b (*.f64 b (sqrt.f64 (+.f64 3 a)))) (*.f64 b b) (*.f64 b b) (*.f64 b (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 27 (pow.f64 a 3))) (*.f64 (*.f64 b b) (-.f64 9 (*.f64 a a))) (*.f64 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 2) (*.f64 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 2) 2 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (sqrt.f64 2)) (+.f64 (*.f64 b b) (*.f64 a a)) (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4) (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 2) (+.f64 (*.f64 b b) (*.f64 a a)) (+.f64 (*.f64 b b) (*.f64 a a)) 1 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (*.f64 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 2) (exp.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6) (fabs.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (fabs.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (+.f64 (*.f64 b b) (*.f64 a a)) (+.f64 (*.f64 b b) (*.f64 a a)) (-.f64 (*.f64 a a) (pow.f64 a 3)) (-.f64 (*.f64 a a) (pow.f64 a 3)) (log.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (log.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (log.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (exp.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3) (pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3) (*.f64 (cbrt.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (cbrt.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)))) (cbrt.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3) (sqrt.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (sqrt.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (*.f64 a (sqrt.f64 (-.f64 1 a))) (*.f64 a (sqrt.f64 (-.f64 1 a))) (*.f64 a a) (neg.f64 (pow.f64 a 3)) (*.f64 a a) (neg.f64 (pow.f64 a 3)) (*.f64 (*.f64 a a) (*.f64 (cbrt.f64 (-.f64 1 a)) (cbrt.f64 (-.f64 1 a)))) (*.f64 a (*.f64 a (sqrt.f64 (-.f64 1 a)))) (*.f64 a a) (*.f64 a (+.f64 a (pow.f64 a 3/2))) (*.f64 a (+.f64 a (pow.f64 a 3/2))) (*.f64 a a) (-.f64 a (*.f64 a a)) (-.f64 (*.f64 a a) (pow.f64 a 5)) (-.f64 (*.f64 a a) (pow.f64 a 4)) (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3)))) (log.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3))))) (log.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3))))) (exp.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3))))) (*.f64 64 (pow.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3))) 3)) (*.f64 (cbrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3))))) (cbrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3)))))) (cbrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3))))) (*.f64 64 (pow.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3))) 3)) (sqrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3))))) (sqrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3))))) (*.f64 2 (sqrt.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3))))) (*.f64 2 (sqrt.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3))))) (*.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 4) (*.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) 4) (*.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 4) (*.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) 4) (*.f64 4 (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3)))) (cbrt.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3)))))) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3))))) 4 (*.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3))) (cbrt.f64 4)) (*.f64 2 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3)))) (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (-.f64 (*.f64 a a) (pow.f64 a 3)))) (*.f64 4 (+.f64 (*.f64 a (*.f64 (-.f64 a (pow.f64 a 4)) (+.f64 9 (*.f64 a (-.f64 a 3))))) (*.f64 (*.f64 (*.f64 b b) (+.f64 27 (pow.f64 a 3))) (+.f64 1 (+.f64 a (*.f64 a a)))))) (*.f64 4 (+.f64 (*.f64 a (*.f64 (-.f64 a (pow.f64 a 4)) (-.f64 3 a))) (*.f64 (*.f64 (*.f64 b b) (-.f64 9 (*.f64 a a))) (+.f64 1 (+.f64 a (*.f64 a a)))))) (*.f64 4 (+.f64 (*.f64 (-.f64 (*.f64 a a) (pow.f64 a 4)) (+.f64 9 (*.f64 a (-.f64 a 3)))) (*.f64 (*.f64 (*.f64 b b) (+.f64 27 (pow.f64 a 3))) (+.f64 a 1)))) (*.f64 4 (+.f64 (*.f64 a (*.f64 (-.f64 a (pow.f64 a 3)) (-.f64 3 a))) (*.f64 (*.f64 (*.f64 b b) (-.f64 9 (*.f64 a a))) (+.f64 a 1)))) (*.f64 4 (+.f64 (pow.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) 3) (pow.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 3))) (*.f64 4 (-.f64 (*.f64 (*.f64 (-.f64 1 a) (-.f64 1 a)) (pow.f64 a 4)) (*.f64 (*.f64 (+.f64 3 a) (+.f64 3 a)) (pow.f64 b 4)))) (*.f64 (*.f64 b b) (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 3 a)) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a))))) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a))))) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a))))) (-.f64 (*.f64 a a) (pow.f64 a 3)) (-.f64 (*.f64 a a) (pow.f64 a 3)) (-.f64 (*.f64 a a) (pow.f64 a 3)) (+.f64 (*.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)) 4) (*.f64 (*.f64 b b) 12)) (-.f64 (*.f64 (*.f64 b b) (+.f64 12 (*.f64 a 4))) (*.f64 (pow.f64 a 3) 4)) (-.f64 (*.f64 (*.f64 b b) (+.f64 12 (*.f64 a 4))) (*.f64 (pow.f64 a 3) 4)) 0.344 * * * [progress]: adding candidates to table 0.468 * * [progress]: iteration 2 / 4 0.468 * * * [progress]: picking best candidate 0.474 * * * * [pick]: Picked # 0.474 * * * [progress]: localizing error 0.495 * * * [progress]: generating rewritten candidates 0.495 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2) 0.504 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2) 0.513 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1) 0.522 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.539 * * * [progress]: generating series expansions 0.540 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2) 0.540 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in (b a) around 0 0.540 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.540 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.540 * [taylor]: Taking taylor expansion of a in a 0.540 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.540 * [taylor]: Taking taylor expansion of b in a 0.540 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.540 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.540 * [taylor]: Taking taylor expansion of a in b 0.540 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.540 * [taylor]: Taking taylor expansion of b in b 0.540 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.540 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.540 * [taylor]: Taking taylor expansion of a in b 0.540 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.540 * [taylor]: Taking taylor expansion of b in b 0.540 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.540 * [taylor]: Taking taylor expansion of a in a 0.540 * [taylor]: Taking taylor expansion of 0 in a 0.541 * [taylor]: Taking taylor expansion of 0 in a 0.541 * [taylor]: Taking taylor expansion of 0 in a 0.541 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (b a) around 0 0.541 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.541 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.541 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.541 * [taylor]: Taking taylor expansion of a in a 0.541 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.541 * [taylor]: Taking taylor expansion of b in a 0.541 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.541 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.541 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.541 * [taylor]: Taking taylor expansion of a in b 0.542 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.542 * [taylor]: Taking taylor expansion of b in b 0.542 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.542 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.542 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.542 * [taylor]: Taking taylor expansion of a in b 0.542 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.542 * [taylor]: Taking taylor expansion of b in b 0.542 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.542 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.542 * [taylor]: Taking taylor expansion of a in a 0.542 * [taylor]: Taking taylor expansion of 0 in a 0.543 * [taylor]: Taking taylor expansion of 0 in a 0.543 * [taylor]: Taking taylor expansion of 0 in a 0.544 * [taylor]: Taking taylor expansion of 0 in a 0.544 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (b a) around 0 0.544 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.544 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.544 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.544 * [taylor]: Taking taylor expansion of a in a 0.544 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.544 * [taylor]: Taking taylor expansion of b in a 0.545 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.545 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.545 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.545 * [taylor]: Taking taylor expansion of a in b 0.545 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.545 * [taylor]: Taking taylor expansion of b in b 0.545 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.545 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.545 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.545 * [taylor]: Taking taylor expansion of a in b 0.545 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.545 * [taylor]: Taking taylor expansion of b in b 0.545 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.545 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.545 * [taylor]: Taking taylor expansion of a in a 0.545 * [taylor]: Taking taylor expansion of 0 in a 0.546 * [taylor]: Taking taylor expansion of 0 in a 0.546 * [taylor]: Taking taylor expansion of 0 in a 0.547 * [taylor]: Taking taylor expansion of 0 in a 0.547 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2) 0.547 * [approximate]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in (b a) around 0 0.547 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in a 0.548 * [taylor]: Taking taylor expansion of (+ a 3) in a 0.548 * [taylor]: Taking taylor expansion of a in a 0.548 * [taylor]: Taking taylor expansion of 3 in a 0.548 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.548 * [taylor]: Taking taylor expansion of b in a 0.548 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 0.548 * [taylor]: Taking taylor expansion of (+ a 3) in b 0.548 * [taylor]: Taking taylor expansion of a in b 0.548 * [taylor]: Taking taylor expansion of 3 in b 0.548 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.548 * [taylor]: Taking taylor expansion of b in b 0.548 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 0.548 * [taylor]: Taking taylor expansion of (+ a 3) in b 0.548 * [taylor]: Taking taylor expansion of a in b 0.548 * [taylor]: Taking taylor expansion of 3 in b 0.548 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.548 * [taylor]: Taking taylor expansion of b in b 0.548 * [taylor]: Taking taylor expansion of (+ a 3) in a 0.548 * [taylor]: Taking taylor expansion of a in a 0.548 * [taylor]: Taking taylor expansion of 3 in a 0.548 * [taylor]: Taking taylor expansion of 0 in a 0.548 * [taylor]: Taking taylor expansion of 0 in a 0.548 * [taylor]: Taking taylor expansion of 0 in a 0.549 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in (b a) around 0 0.549 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in a 0.549 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 0.549 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.549 * [taylor]: Taking taylor expansion of a in a 0.549 * [taylor]: Taking taylor expansion of 3 in a 0.549 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.549 * [taylor]: Taking taylor expansion of b in a 0.549 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in b 0.549 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 0.549 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.549 * [taylor]: Taking taylor expansion of a in b 0.549 * [taylor]: Taking taylor expansion of 3 in b 0.549 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.549 * [taylor]: Taking taylor expansion of b in b 0.549 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in b 0.549 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 0.549 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.549 * [taylor]: Taking taylor expansion of a in b 0.549 * [taylor]: Taking taylor expansion of 3 in b 0.549 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.549 * [taylor]: Taking taylor expansion of b in b 0.549 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 0.550 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.550 * [taylor]: Taking taylor expansion of a in a 0.550 * [taylor]: Taking taylor expansion of 3 in a 0.550 * [taylor]: Taking taylor expansion of 0 in a 0.550 * [taylor]: Taking taylor expansion of 0 in a 0.550 * [taylor]: Taking taylor expansion of 0 in a 0.551 * [taylor]: Taking taylor expansion of 0 in a 0.551 * [approximate]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in (b a) around 0 0.551 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in a 0.551 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 0.551 * [taylor]: Taking taylor expansion of 3 in a 0.551 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.551 * [taylor]: Taking taylor expansion of a in a 0.551 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.551 * [taylor]: Taking taylor expansion of b in a 0.551 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 0.551 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 0.551 * [taylor]: Taking taylor expansion of 3 in b 0.551 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.551 * [taylor]: Taking taylor expansion of a in b 0.552 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.552 * [taylor]: Taking taylor expansion of b in b 0.552 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 0.552 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 0.552 * [taylor]: Taking taylor expansion of 3 in b 0.552 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.552 * [taylor]: Taking taylor expansion of a in b 0.552 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.552 * [taylor]: Taking taylor expansion of b in b 0.552 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 0.552 * [taylor]: Taking taylor expansion of 3 in a 0.552 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.552 * [taylor]: Taking taylor expansion of a in a 0.552 * [taylor]: Taking taylor expansion of 0 in a 0.553 * [taylor]: Taking taylor expansion of 0 in a 0.553 * [taylor]: Taking taylor expansion of 0 in a 0.553 * [taylor]: Taking taylor expansion of 0 in a 0.554 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1) 0.554 * [approximate]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in (a) around 0 0.554 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in a 0.554 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.554 * [taylor]: Taking taylor expansion of a in a 0.554 * [taylor]: Taking taylor expansion of (- 1 a) in a 0.554 * [taylor]: Taking taylor expansion of 1 in a 0.554 * [taylor]: Taking taylor expansion of a in a 0.554 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in a 0.554 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.554 * [taylor]: Taking taylor expansion of a in a 0.554 * [taylor]: Taking taylor expansion of (- 1 a) in a 0.554 * [taylor]: Taking taylor expansion of 1 in a 0.554 * [taylor]: Taking taylor expansion of a in a 0.555 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in (a) around 0 0.555 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in a 0.555 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 0.555 * [taylor]: Taking taylor expansion of 1 in a 0.555 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.555 * [taylor]: Taking taylor expansion of a in a 0.555 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.555 * [taylor]: Taking taylor expansion of a in a 0.555 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in a 0.555 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 0.555 * [taylor]: Taking taylor expansion of 1 in a 0.555 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.555 * [taylor]: Taking taylor expansion of a in a 0.556 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.556 * [taylor]: Taking taylor expansion of a in a 0.558 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in (a) around 0 0.558 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in a 0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 0.558 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.558 * [taylor]: Taking taylor expansion of a in a 0.558 * [taylor]: Taking taylor expansion of 1 in a 0.558 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.558 * [taylor]: Taking taylor expansion of a in a 0.558 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in a 0.558 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 0.558 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.558 * [taylor]: Taking taylor expansion of a in a 0.558 * [taylor]: Taking taylor expansion of 1 in a 0.558 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.558 * [taylor]: Taking taylor expansion of a in a 0.560 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.560 * [approximate]: Taking taylor expansion of (* 4 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in (a b) around 0 0.560 * [taylor]: Taking taylor expansion of (* 4 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in b 0.560 * [taylor]: Taking taylor expansion of 4 in b 0.560 * [taylor]: Taking taylor expansion of (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3)) in b 0.560 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) in b 0.560 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.560 * [taylor]: Taking taylor expansion of a in b 0.560 * [taylor]: Taking taylor expansion of (+ (* a (pow b 2)) (* 3 (pow b 2))) in b 0.560 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 0.560 * [taylor]: Taking taylor expansion of a in b 0.560 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.560 * [taylor]: Taking taylor expansion of b in b 0.560 * [taylor]: Taking taylor expansion of (* 3 (pow b 2)) in b 0.560 * [taylor]: Taking taylor expansion of 3 in b 0.560 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.560 * [taylor]: Taking taylor expansion of b in b 0.560 * [taylor]: Taking taylor expansion of (pow a 3) in b 0.560 * [taylor]: Taking taylor expansion of a in b 0.560 * [taylor]: Taking taylor expansion of (* 4 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in a 0.560 * [taylor]: Taking taylor expansion of 4 in a 0.560 * [taylor]: Taking taylor expansion of (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3)) in a 0.560 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) in a 0.560 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.560 * [taylor]: Taking taylor expansion of a in a 0.560 * [taylor]: Taking taylor expansion of (+ (* a (pow b 2)) (* 3 (pow b 2))) in a 0.560 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.560 * [taylor]: Taking taylor expansion of a in a 0.561 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.561 * [taylor]: Taking taylor expansion of b in a 0.561 * [taylor]: Taking taylor expansion of (* 3 (pow b 2)) in a 0.561 * [taylor]: Taking taylor expansion of 3 in a 0.561 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.561 * [taylor]: Taking taylor expansion of b in a 0.561 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.561 * [taylor]: Taking taylor expansion of a in a 0.561 * [taylor]: Taking taylor expansion of (* 4 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in a 0.561 * [taylor]: Taking taylor expansion of 4 in a 0.561 * [taylor]: Taking taylor expansion of (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3)) in a 0.561 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) in a 0.561 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.561 * [taylor]: Taking taylor expansion of a in a 0.561 * [taylor]: Taking taylor expansion of (+ (* a (pow b 2)) (* 3 (pow b 2))) in a 0.561 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.561 * [taylor]: Taking taylor expansion of a in a 0.561 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.561 * [taylor]: Taking taylor expansion of b in a 0.561 * [taylor]: Taking taylor expansion of (* 3 (pow b 2)) in a 0.561 * [taylor]: Taking taylor expansion of 3 in a 0.561 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.561 * [taylor]: Taking taylor expansion of b in a 0.561 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.561 * [taylor]: Taking taylor expansion of a in a 0.561 * [taylor]: Taking taylor expansion of (* 12 (pow b 2)) in b 0.561 * [taylor]: Taking taylor expansion of 12 in b 0.561 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.561 * [taylor]: Taking taylor expansion of b in b 0.562 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b 0.562 * [taylor]: Taking taylor expansion of 4 in b 0.562 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.562 * [taylor]: Taking taylor expansion of b in b 0.562 * [taylor]: Taking taylor expansion of 4 in b 0.563 * [taylor]: Taking taylor expansion of -4 in b 0.564 * [approximate]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3)))) in (a b) around 0 0.564 * [taylor]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3)))) in b 0.564 * [taylor]: Taking taylor expansion of 4 in b 0.564 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3))) in b 0.564 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) in b 0.564 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in b 0.564 * [taylor]: Taking taylor expansion of 3 in b 0.564 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.564 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.564 * [taylor]: Taking taylor expansion of b in b 0.564 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2))) in b 0.564 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in b 0.564 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 0.564 * [taylor]: Taking taylor expansion of a in b 0.564 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.564 * [taylor]: Taking taylor expansion of b in b 0.564 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.564 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.564 * [taylor]: Taking taylor expansion of a in b 0.564 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 0.564 * [taylor]: Taking taylor expansion of (pow a 3) in b 0.564 * [taylor]: Taking taylor expansion of a in b 0.564 * [taylor]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3)))) in a 0.564 * [taylor]: Taking taylor expansion of 4 in a 0.564 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3))) in a 0.564 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) in a 0.564 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.564 * [taylor]: Taking taylor expansion of 3 in a 0.564 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.564 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.564 * [taylor]: Taking taylor expansion of b in a 0.565 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2))) in a 0.565 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.565 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.565 * [taylor]: Taking taylor expansion of a in a 0.565 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.565 * [taylor]: Taking taylor expansion of b in a 0.565 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.565 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.565 * [taylor]: Taking taylor expansion of a in a 0.565 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.565 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.565 * [taylor]: Taking taylor expansion of a in a 0.565 * [taylor]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3)))) in a 0.565 * [taylor]: Taking taylor expansion of 4 in a 0.565 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3))) in a 0.565 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) in a 0.565 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.565 * [taylor]: Taking taylor expansion of 3 in a 0.565 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.565 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.565 * [taylor]: Taking taylor expansion of b in a 0.565 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2))) in a 0.565 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.565 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.565 * [taylor]: Taking taylor expansion of a in a 0.565 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.565 * [taylor]: Taking taylor expansion of b in a 0.566 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.566 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.566 * [taylor]: Taking taylor expansion of a in a 0.566 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.566 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.566 * [taylor]: Taking taylor expansion of a in a 0.566 * [taylor]: Taking taylor expansion of -4 in b 0.566 * [taylor]: Taking taylor expansion of 4 in b 0.567 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.567 * [taylor]: Taking taylor expansion of 4 in b 0.567 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.567 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.567 * [taylor]: Taking taylor expansion of b in b 0.568 * [taylor]: Taking taylor expansion of (* 12 (/ 1 (pow b 2))) in b 0.568 * [taylor]: Taking taylor expansion of 12 in b 0.568 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.568 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.568 * [taylor]: Taking taylor expansion of b in b 0.568 * [approximate]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2))))) in (a b) around 0 0.569 * [taylor]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2))))) in b 0.569 * [taylor]: Taking taylor expansion of 4 in b 0.569 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in b 0.569 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) in b 0.569 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in b 0.569 * [taylor]: Taking taylor expansion of 3 in b 0.569 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.569 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.569 * [taylor]: Taking taylor expansion of b in b 0.569 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow a 3))) in b 0.569 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.569 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.569 * [taylor]: Taking taylor expansion of a in b 0.569 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 0.569 * [taylor]: Taking taylor expansion of (pow a 3) in b 0.569 * [taylor]: Taking taylor expansion of a in b 0.569 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in b 0.569 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 0.569 * [taylor]: Taking taylor expansion of a in b 0.569 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.569 * [taylor]: Taking taylor expansion of b in b 0.569 * [taylor]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2))))) in a 0.569 * [taylor]: Taking taylor expansion of 4 in a 0.569 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in a 0.569 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) in a 0.569 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.569 * [taylor]: Taking taylor expansion of 3 in a 0.569 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.569 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.569 * [taylor]: Taking taylor expansion of b in a 0.569 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow a 3))) in a 0.569 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.569 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.569 * [taylor]: Taking taylor expansion of a in a 0.570 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.570 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.570 * [taylor]: Taking taylor expansion of a in a 0.570 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.570 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.570 * [taylor]: Taking taylor expansion of a in a 0.570 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.570 * [taylor]: Taking taylor expansion of b in a 0.570 * [taylor]: Taking taylor expansion of (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2))))) in a 0.570 * [taylor]: Taking taylor expansion of 4 in a 0.570 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2)))) in a 0.570 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) in a 0.570 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.570 * [taylor]: Taking taylor expansion of 3 in a 0.570 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.570 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.570 * [taylor]: Taking taylor expansion of b in a 0.570 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow a 3))) in a 0.570 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.570 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.570 * [taylor]: Taking taylor expansion of a in a 0.570 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.570 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.570 * [taylor]: Taking taylor expansion of a in a 0.570 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.570 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.570 * [taylor]: Taking taylor expansion of a in a 0.570 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.570 * [taylor]: Taking taylor expansion of b in a 0.571 * [taylor]: Taking taylor expansion of 4 in b 0.571 * [taylor]: Taking taylor expansion of 4 in b 0.571 * [taylor]: Taking taylor expansion of (neg (* 4 (/ 1 (pow b 2)))) in b 0.571 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.571 * [taylor]: Taking taylor expansion of 4 in b 0.571 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.571 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.572 * [taylor]: Taking taylor expansion of b in b 0.573 * [taylor]: Taking taylor expansion of (* 12 (/ 1 (pow b 2))) in b 0.573 * [taylor]: Taking taylor expansion of 12 in b 0.573 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.573 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.573 * [taylor]: Taking taylor expansion of b in b 0.573 * * * [progress]: simplifying candidates 0.575 * [simplify]: Simplifying using # : (*.f64 b a) (*.f64 b a) (*.f64 (*.f64 b b) (*.f64 a a)) (*.f64 (*.f64 b b) (*.f64 a a)) (*.f64 b a) (*.f64 b a) (*.f64 b a) (*.f64 (*.f64 b b) (*.f64 a a)) (*.f64 (*.f64 b b) (*.f64 a a)) (*.f64 b a) (+.f64 (+.f64 (log.f64 b) (log.f64 b)) (+.f64 (log.f64 a) (log.f64 a))) (+.f64 (+.f64 (log.f64 b) (log.f64 b)) (log.f64 (*.f64 a a))) (+.f64 (log.f64 (*.f64 b b)) (+.f64 (log.f64 a) (log.f64 a))) (+.f64 (log.f64 (*.f64 b b)) (log.f64 (*.f64 a a))) (log.f64 (*.f64 (*.f64 b b) (*.f64 a a))) (exp.f64 (*.f64 (*.f64 b b) (*.f64 a a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 b b) b)) (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 a a) a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 b b) b)) (*.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 a a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) (*.f64 b b)) (*.f64 b b)) (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 a a) a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) (*.f64 b b)) (*.f64 b b)) (*.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 a a))) (*.f64 (cbrt.f64 (*.f64 (*.f64 b b) (*.f64 a a))) (cbrt.f64 (*.f64 (*.f64 b b) (*.f64 a a)))) (cbrt.f64 (*.f64 (*.f64 b b) (*.f64 a a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) (*.f64 a a)) (*.f64 (*.f64 b b) (*.f64 a a))) (*.f64 (*.f64 b b) (*.f64 a a))) (sqrt.f64 (*.f64 (*.f64 b b) (*.f64 a a))) (sqrt.f64 (*.f64 (*.f64 b b) (*.f64 a a))) (*.f64 b a) (*.f64 b a) (*.f64 (*.f64 b b) a) (*.f64 b (*.f64 a a)) (*.f64 (*.f64 b b) (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 3 a)) (+.f64 (+.f64 (log.f64 b) (log.f64 b)) (log.f64 (+.f64 3 a))) (+.f64 (log.f64 (*.f64 b b)) (log.f64 (+.f64 3 a))) (log.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (exp.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 b b) b)) (*.f64 (*.f64 (+.f64 3 a) (+.f64 3 a)) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) (*.f64 b b)) (*.f64 b b)) (*.f64 (*.f64 (+.f64 3 a) (+.f64 3 a)) (+.f64 3 a))) (*.f64 (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a)))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 b b) (+.f64 3 a))) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 b (sqrt.f64 (+.f64 3 a))) (*.f64 b (sqrt.f64 (+.f64 3 a))) (*.f64 (*.f64 b b) 3) (*.f64 (*.f64 b b) a) (*.f64 3 (*.f64 b b)) (*.f64 a (*.f64 b b)) (*.f64 (*.f64 b b) (*.f64 (cbrt.f64 (+.f64 3 a)) (cbrt.f64 (+.f64 3 a)))) (*.f64 (*.f64 b b) (sqrt.f64 (+.f64 3 a))) (*.f64 (*.f64 b b) 1) (*.f64 (*.f64 b b) 1) (*.f64 b (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 (pow.f64 3 3) (pow.f64 a 3))) (*.f64 (*.f64 b b) (-.f64 (*.f64 3 3) (*.f64 a a))) (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 1 a)) (+.f64 (+.f64 (log.f64 a) (log.f64 a)) (log.f64 (-.f64 1 a))) (+.f64 (log.f64 (*.f64 a a)) (log.f64 (-.f64 1 a))) (log.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (exp.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 a a) a)) (*.f64 (*.f64 (-.f64 1 a) (-.f64 1 a)) (-.f64 1 a))) (*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 a a)) (*.f64 (*.f64 (-.f64 1 a) (-.f64 1 a)) (-.f64 1 a))) (*.f64 (cbrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (cbrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a)))) (cbrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 (*.f64 a a) (-.f64 1 a))) (sqrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (sqrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 a (sqrt.f64 (-.f64 1 a))) (*.f64 a (sqrt.f64 (-.f64 1 a))) (*.f64 (*.f64 a a) 1) (*.f64 (*.f64 a a) (neg.f64 a)) (*.f64 1 (*.f64 a a)) (*.f64 (neg.f64 a) (*.f64 a a)) (*.f64 (*.f64 a a) (*.f64 (cbrt.f64 (-.f64 1 a)) (cbrt.f64 (-.f64 1 a)))) (*.f64 (*.f64 a a) (sqrt.f64 (-.f64 1 a))) (*.f64 (*.f64 a a) 1) (*.f64 (*.f64 a a) (+.f64 (sqrt.f64 1) (sqrt.f64 a))) (*.f64 (*.f64 a a) (+.f64 1 (sqrt.f64 a))) (*.f64 (*.f64 a a) 1) (*.f64 a (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 (pow.f64 1 3) (pow.f64 a 3))) (*.f64 (*.f64 a a) (-.f64 (*.f64 1 1) (*.f64 a a))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (+.f64 (log.f64 4) (log.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (log.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (exp.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))) (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 (cbrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (cbrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))))) (cbrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 (*.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (sqrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (sqrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 (sqrt.f64 4) (sqrt.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 (sqrt.f64 4) (sqrt.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 4 (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 4 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) 4) (*.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) 4) (*.f64 4 (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (cbrt.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))))) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 4 1) (*.f64 (cbrt.f64 4) (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (*.f64 (sqrt.f64 4) (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (*.f64 4 (+.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 b b) (+.f64 3 a)))) (*.f64 4 (+.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 (pow.f64 1 3) (pow.f64 a 3))) (+.f64 (*.f64 3 3) (-.f64 (*.f64 a a) (*.f64 3 a)))) (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 a a) (*.f64 1 a))) (*.f64 (*.f64 b b) (+.f64 (pow.f64 3 3) (pow.f64 a 3)))))) (*.f64 4 (+.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 (pow.f64 1 3) (pow.f64 a 3))) (-.f64 3 a)) (*.f64 (+.f64 (*.f64 1 1) (+.f64 (*.f64 a a) (*.f64 1 a))) (*.f64 (*.f64 b b) (-.f64 (*.f64 3 3) (*.f64 a a)))))) (*.f64 4 (+.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 (*.f64 1 1) (*.f64 a a))) (+.f64 (*.f64 3 3) (-.f64 (*.f64 a a) (*.f64 3 a)))) (*.f64 (+.f64 1 a) (*.f64 (*.f64 b b) (+.f64 (pow.f64 3 3) (pow.f64 a 3)))))) (*.f64 4 (+.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 (*.f64 1 1) (*.f64 a a))) (-.f64 3 a)) (*.f64 (+.f64 1 a) (*.f64 (*.f64 b b) (-.f64 (*.f64 3 3) (*.f64 a a)))))) (*.f64 4 (+.f64 (pow.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) 3) (pow.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) 3))) (*.f64 4 (-.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 3 a))))) (*.f64 (pow.f64 a 2) (pow.f64 b 2)) (*.f64 (pow.f64 a 2) (pow.f64 b 2)) (*.f64 (pow.f64 a 2) (pow.f64 b 2)) (+.f64 (*.f64 a (pow.f64 b 2)) (*.f64 3 (pow.f64 b 2))) (+.f64 (*.f64 a (pow.f64 b 2)) (*.f64 3 (pow.f64 b 2))) (+.f64 (*.f64 a (pow.f64 b 2)) (*.f64 3 (pow.f64 b 2))) (-.f64 (pow.f64 a 2) (pow.f64 a 3)) (-.f64 (pow.f64 a 2) (pow.f64 a 3)) (-.f64 (pow.f64 a 2) (pow.f64 a 3)) (-.f64 (+.f64 (*.f64 4 (pow.f64 a 2)) (*.f64 12 (pow.f64 b 2))) (*.f64 4 (pow.f64 a 3))) (-.f64 (+.f64 (*.f64 4 (*.f64 a (pow.f64 b 2))) (*.f64 12 (pow.f64 b 2))) (*.f64 4 (pow.f64 a 3))) (-.f64 (+.f64 (*.f64 4 (*.f64 a (pow.f64 b 2))) (*.f64 12 (pow.f64 b 2))) (*.f64 4 (pow.f64 a 3))) 0.633 * * [simplify]: iteration 0 : 4942 enodes (cost 1210 ) 0.633 * * [simplify]: iteration 1 : 4942 enodes (cost 1210 ) 0.641 * [simplify]: Simplified to: (*.f64 b a) (*.f64 b a) (*.f64 (*.f64 b a) (*.f64 b a)) (*.f64 (*.f64 b a) (*.f64 b a)) (*.f64 b a) (*.f64 b a) (*.f64 b a) (*.f64 (*.f64 b a) (*.f64 b a)) (*.f64 (*.f64 b a) (*.f64 b a)) (*.f64 b a) (*.f64 2 (log.f64 (*.f64 b a))) (*.f64 2 (log.f64 (*.f64 b a))) (*.f64 2 (log.f64 (*.f64 b a))) (*.f64 2 (log.f64 (*.f64 b a))) (*.f64 2 (log.f64 (*.f64 b a))) (exp.f64 (*.f64 (*.f64 b a) (*.f64 b a))) (pow.f64 (*.f64 b a) 6) (pow.f64 (*.f64 b a) 6) (pow.f64 (*.f64 b a) 6) (pow.f64 (*.f64 b a) 6) (*.f64 (cbrt.f64 (*.f64 (*.f64 b a) (*.f64 b a))) (cbrt.f64 (*.f64 (*.f64 b a) (*.f64 b a)))) (cbrt.f64 (*.f64 (*.f64 b a) (*.f64 b a))) (pow.f64 (*.f64 b a) 6) (fabs.f64 (*.f64 b a)) (fabs.f64 (*.f64 b a)) (*.f64 b a) (*.f64 b a) (*.f64 b (*.f64 b a)) (*.f64 b (*.f64 a a)) (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 b b) (+.f64 a 3)) (log.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (log.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (log.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (exp.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (pow.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) 3) (pow.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3)))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (pow.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) 3) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (*.f64 b (sqrt.f64 (+.f64 a 3))) (*.f64 b (sqrt.f64 (+.f64 a 3))) (*.f64 (*.f64 b b) 3) (*.f64 b (*.f64 b a)) (*.f64 (*.f64 b b) 3) (*.f64 b (*.f64 b a)) (*.f64 (*.f64 b b) (*.f64 (cbrt.f64 (+.f64 a 3)) (cbrt.f64 (+.f64 a 3)))) (*.f64 b (*.f64 b (sqrt.f64 (+.f64 a 3)))) (*.f64 b b) (*.f64 b b) (*.f64 b (+.f64 a 3)) (*.f64 (*.f64 b b) (+.f64 (pow.f64 a 3) 27)) (*.f64 (*.f64 b b) (-.f64 9 (*.f64 a a))) (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 1 a)) (log.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (log.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (log.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (exp.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (pow.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) 3) (pow.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (cbrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a)))) (cbrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (pow.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) 3) (sqrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (sqrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 a (sqrt.f64 (-.f64 1 a))) (*.f64 a (sqrt.f64 (-.f64 1 a))) (*.f64 a a) (neg.f64 (pow.f64 a 3)) (*.f64 a a) (neg.f64 (pow.f64 a 3)) (*.f64 (*.f64 a a) (*.f64 (cbrt.f64 (-.f64 1 a)) (cbrt.f64 (-.f64 1 a)))) (*.f64 a (*.f64 a (sqrt.f64 (-.f64 1 a)))) (*.f64 a a) (*.f64 a (+.f64 a (pow.f64 a 3/2))) (*.f64 a (+.f64 a (pow.f64 a 3/2))) (*.f64 a a) (-.f64 a (*.f64 a a)) (-.f64 (*.f64 a a) (pow.f64 a 5)) (-.f64 (*.f64 a a) (pow.f64 a 4)) (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a)))) (log.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))))) (log.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))))) (exp.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))))) (*.f64 64 (pow.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))) 3)) (*.f64 (cbrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))))) (cbrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a)))))) (cbrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))))) (*.f64 64 (pow.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))) 3)) (sqrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))))) (sqrt.f64 (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))))) (*.f64 2 (sqrt.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))))) (*.f64 2 (sqrt.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))))) (*.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) 4) (*.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) 4) (*.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) 4) (*.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) 4) (*.f64 4 (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a)))) (cbrt.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a)))))) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))))) 4 (*.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))) (cbrt.f64 4)) (*.f64 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a))) 2) (*.f64 4 (+.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a)))) (*.f64 4 (+.f64 (*.f64 a (*.f64 (-.f64 a (pow.f64 a 4)) (+.f64 9 (*.f64 a (-.f64 a 3))))) (*.f64 (+.f64 (pow.f64 a 3) 27) (*.f64 (*.f64 b b) (+.f64 1 (+.f64 a (*.f64 a a))))))) (*.f64 4 (+.f64 (*.f64 a (*.f64 (-.f64 a (pow.f64 a 4)) (-.f64 3 a))) (*.f64 (*.f64 (*.f64 b b) (-.f64 9 (*.f64 a a))) (+.f64 1 (+.f64 a (*.f64 a a)))))) (*.f64 4 (+.f64 (*.f64 (-.f64 (*.f64 a a) (pow.f64 a 4)) (+.f64 9 (*.f64 a (-.f64 a 3)))) (*.f64 (+.f64 (pow.f64 a 3) 27) (*.f64 (*.f64 b b) (+.f64 a 1))))) (*.f64 4 (+.f64 (*.f64 (-.f64 (*.f64 a a) (pow.f64 a 4)) (-.f64 3 a)) (*.f64 (*.f64 (*.f64 b b) (-.f64 9 (*.f64 a a))) (+.f64 a 1)))) (*.f64 4 (+.f64 (pow.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) 3) (pow.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) 3))) (*.f64 4 (-.f64 (*.f64 (pow.f64 a 4) (*.f64 (-.f64 1 a) (-.f64 1 a))) (*.f64 (pow.f64 b 4) (*.f64 (+.f64 a 3) (+.f64 a 3))))) (*.f64 (*.f64 b a) (*.f64 b a)) (*.f64 (*.f64 b a) (*.f64 b a)) (*.f64 (*.f64 b a) (*.f64 b a)) (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 1 a)) (+.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) 4) (*.f64 (*.f64 b b) 12)) (-.f64 (*.f64 (*.f64 b b) (+.f64 12 (*.f64 a 4))) (*.f64 (pow.f64 a 3) 4)) (-.f64 (*.f64 (*.f64 b b) (+.f64 12 (*.f64 a 4))) (*.f64 (pow.f64 a 3) 4)) 0.642 * * * [progress]: adding candidates to table 0.766 * * [progress]: iteration 3 / 4 0.766 * * * [progress]: picking best candidate 0.769 * * * * [pick]: Picked # 0.769 * * * [progress]: localizing error 0.784 * * * [progress]: generating rewritten candidates 0.785 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.789 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2) 0.798 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.803 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1) 0.816 * * * [progress]: generating series expansions 0.816 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.817 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in (b a) around 0 0.817 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.817 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.817 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.817 * [taylor]: Taking taylor expansion of a in a 0.817 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.817 * [taylor]: Taking taylor expansion of b in a 0.817 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 0.817 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.817 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.817 * [taylor]: Taking taylor expansion of a in b 0.817 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.817 * [taylor]: Taking taylor expansion of b in b 0.817 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 0.817 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.817 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.817 * [taylor]: Taking taylor expansion of a in b 0.817 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.817 * [taylor]: Taking taylor expansion of b in b 0.818 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.818 * [taylor]: Taking taylor expansion of a in a 0.818 * [taylor]: Taking taylor expansion of 0 in a 0.818 * [taylor]: Taking taylor expansion of (* 2 (pow a 2)) in a 0.818 * [taylor]: Taking taylor expansion of 2 in a 0.818 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.818 * [taylor]: Taking taylor expansion of a in a 0.818 * [taylor]: Taking taylor expansion of 0 in a 0.819 * [taylor]: Taking taylor expansion of 1 in a 0.819 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in (b a) around 0 0.819 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.819 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.819 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.819 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.819 * [taylor]: Taking taylor expansion of b in a 0.820 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.820 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.820 * [taylor]: Taking taylor expansion of a in a 0.820 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.820 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.820 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.820 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.820 * [taylor]: Taking taylor expansion of b in b 0.820 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.820 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.820 * [taylor]: Taking taylor expansion of a in b 0.820 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.820 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.820 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.820 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.820 * [taylor]: Taking taylor expansion of b in b 0.820 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.820 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.820 * [taylor]: Taking taylor expansion of a in b 0.820 * [taylor]: Taking taylor expansion of 1 in a 0.820 * [taylor]: Taking taylor expansion of 0 in a 0.821 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 0.821 * [taylor]: Taking taylor expansion of 2 in a 0.821 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.821 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.821 * [taylor]: Taking taylor expansion of a in a 0.821 * [taylor]: Taking taylor expansion of 0 in a 0.822 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.822 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.822 * [taylor]: Taking taylor expansion of a in a 0.823 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in (b a) around 0 0.823 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.823 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.823 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.823 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.823 * [taylor]: Taking taylor expansion of b in a 0.823 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.823 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.823 * [taylor]: Taking taylor expansion of a in a 0.823 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.823 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.823 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.823 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.823 * [taylor]: Taking taylor expansion of b in b 0.823 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.823 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.823 * [taylor]: Taking taylor expansion of a in b 0.823 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.823 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.823 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.823 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.823 * [taylor]: Taking taylor expansion of b in b 0.823 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.823 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.823 * [taylor]: Taking taylor expansion of a in b 0.824 * [taylor]: Taking taylor expansion of 1 in a 0.824 * [taylor]: Taking taylor expansion of 0 in a 0.824 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 0.824 * [taylor]: Taking taylor expansion of 2 in a 0.824 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.824 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.824 * [taylor]: Taking taylor expansion of a in a 0.825 * [taylor]: Taking taylor expansion of 0 in a 0.825 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.825 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.825 * [taylor]: Taking taylor expansion of a in a 0.826 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2) 0.826 * [approximate]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in (b a) around 0 0.826 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in a 0.826 * [taylor]: Taking taylor expansion of (+ a 3) in a 0.826 * [taylor]: Taking taylor expansion of a in a 0.826 * [taylor]: Taking taylor expansion of 3 in a 0.826 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.826 * [taylor]: Taking taylor expansion of b in a 0.826 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 0.826 * [taylor]: Taking taylor expansion of (+ a 3) in b 0.826 * [taylor]: Taking taylor expansion of a in b 0.826 * [taylor]: Taking taylor expansion of 3 in b 0.826 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.826 * [taylor]: Taking taylor expansion of b in b 0.826 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 0.826 * [taylor]: Taking taylor expansion of (+ a 3) in b 0.826 * [taylor]: Taking taylor expansion of a in b 0.826 * [taylor]: Taking taylor expansion of 3 in b 0.826 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.826 * [taylor]: Taking taylor expansion of b in b 0.826 * [taylor]: Taking taylor expansion of (+ a 3) in a 0.826 * [taylor]: Taking taylor expansion of a in a 0.827 * [taylor]: Taking taylor expansion of 3 in a 0.827 * [taylor]: Taking taylor expansion of 0 in a 0.827 * [taylor]: Taking taylor expansion of 0 in a 0.827 * [taylor]: Taking taylor expansion of 0 in a 0.827 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in (b a) around 0 0.827 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in a 0.827 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 0.827 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.827 * [taylor]: Taking taylor expansion of a in a 0.827 * [taylor]: Taking taylor expansion of 3 in a 0.827 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.827 * [taylor]: Taking taylor expansion of b in a 0.828 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in b 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 0.828 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.828 * [taylor]: Taking taylor expansion of a in b 0.828 * [taylor]: Taking taylor expansion of 3 in b 0.828 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.828 * [taylor]: Taking taylor expansion of b in b 0.828 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in b 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 0.828 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.828 * [taylor]: Taking taylor expansion of a in b 0.828 * [taylor]: Taking taylor expansion of 3 in b 0.828 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.828 * [taylor]: Taking taylor expansion of b in b 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 0.828 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.828 * [taylor]: Taking taylor expansion of a in a 0.828 * [taylor]: Taking taylor expansion of 3 in a 0.828 * [taylor]: Taking taylor expansion of 0 in a 0.829 * [taylor]: Taking taylor expansion of 0 in a 0.829 * [taylor]: Taking taylor expansion of 0 in a 0.829 * [taylor]: Taking taylor expansion of 0 in a 0.830 * [approximate]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in (b a) around 0 0.830 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in a 0.830 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 0.830 * [taylor]: Taking taylor expansion of 3 in a 0.830 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.830 * [taylor]: Taking taylor expansion of a in a 0.830 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.830 * [taylor]: Taking taylor expansion of b in a 0.830 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 0.830 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 0.830 * [taylor]: Taking taylor expansion of 3 in b 0.830 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.830 * [taylor]: Taking taylor expansion of a in b 0.830 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.830 * [taylor]: Taking taylor expansion of b in b 0.830 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 0.830 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 0.830 * [taylor]: Taking taylor expansion of 3 in b 0.830 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.830 * [taylor]: Taking taylor expansion of a in b 0.830 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.830 * [taylor]: Taking taylor expansion of b in b 0.831 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 0.831 * [taylor]: Taking taylor expansion of 3 in a 0.831 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.831 * [taylor]: Taking taylor expansion of a in a 0.831 * [taylor]: Taking taylor expansion of 0 in a 0.831 * [taylor]: Taking taylor expansion of 0 in a 0.831 * [taylor]: Taking taylor expansion of 0 in a 0.832 * [taylor]: Taking taylor expansion of 0 in a 0.832 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 0.832 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 6) in (b a) around 0 0.832 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 6) in a 0.832 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.832 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.832 * [taylor]: Taking taylor expansion of a in a 0.832 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.832 * [taylor]: Taking taylor expansion of b in a 0.833 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 6) in b 0.833 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.833 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.833 * [taylor]: Taking taylor expansion of a in b 0.833 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.833 * [taylor]: Taking taylor expansion of b in b 0.833 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 6) in b 0.833 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.833 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.833 * [taylor]: Taking taylor expansion of a in b 0.833 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.833 * [taylor]: Taking taylor expansion of b in b 0.833 * [taylor]: Taking taylor expansion of (pow a 12) in a 0.833 * [taylor]: Taking taylor expansion of a in a 0.834 * [taylor]: Taking taylor expansion of 0 in a 0.835 * [taylor]: Taking taylor expansion of (* 6 (pow a 10)) in a 0.835 * [taylor]: Taking taylor expansion of 6 in a 0.835 * [taylor]: Taking taylor expansion of (pow a 10) in a 0.835 * [taylor]: Taking taylor expansion of a in a 0.835 * [taylor]: Taking taylor expansion of 0 in a 0.836 * [taylor]: Taking taylor expansion of (* 15 (pow a 8)) in a 0.836 * [taylor]: Taking taylor expansion of 15 in a 0.836 * [taylor]: Taking taylor expansion of (pow a 8) in a 0.836 * [taylor]: Taking taylor expansion of a in a 0.837 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in (b a) around 0 0.837 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in a 0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.837 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.837 * [taylor]: Taking taylor expansion of b in a 0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.837 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.837 * [taylor]: Taking taylor expansion of a in a 0.837 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in b 0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.837 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.837 * [taylor]: Taking taylor expansion of b in b 0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.837 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.837 * [taylor]: Taking taylor expansion of a in b 0.837 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in b 0.837 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.837 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.837 * [taylor]: Taking taylor expansion of b in b 0.837 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.837 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.837 * [taylor]: Taking taylor expansion of a in b 0.838 * [taylor]: Taking taylor expansion of 1 in a 0.838 * [taylor]: Taking taylor expansion of 0 in a 0.839 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow a 2))) in a 0.839 * [taylor]: Taking taylor expansion of 6 in a 0.839 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.839 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.839 * [taylor]: Taking taylor expansion of a in a 0.839 * [taylor]: Taking taylor expansion of 0 in a 0.841 * [taylor]: Taking taylor expansion of (* 15 (/ 1 (pow a 4))) in a 0.841 * [taylor]: Taking taylor expansion of 15 in a 0.841 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.841 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.841 * [taylor]: Taking taylor expansion of a in a 0.842 * [taylor]: Taking taylor expansion of 0 in a 0.844 * [taylor]: Taking taylor expansion of (* 20 (/ 1 (pow a 6))) in a 0.844 * [taylor]: Taking taylor expansion of 20 in a 0.844 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a 0.844 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.844 * [taylor]: Taking taylor expansion of a in a 0.846 * [taylor]: Taking taylor expansion of 0 in a 0.848 * [taylor]: Taking taylor expansion of (* 15 (/ 1 (pow a 8))) in a 0.848 * [taylor]: Taking taylor expansion of 15 in a 0.848 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 0.848 * [taylor]: Taking taylor expansion of (pow a 8) in a 0.848 * [taylor]: Taking taylor expansion of a in a 0.850 * [taylor]: Taking taylor expansion of 0 in a 0.852 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow a 10))) in a 0.852 * [taylor]: Taking taylor expansion of 6 in a 0.852 * [taylor]: Taking taylor expansion of (/ 1 (pow a 10)) in a 0.852 * [taylor]: Taking taylor expansion of (pow a 10) in a 0.852 * [taylor]: Taking taylor expansion of a in a 0.855 * [taylor]: Taking taylor expansion of 0 in a 0.857 * [taylor]: Taking taylor expansion of (/ 1 (pow a 12)) in a 0.857 * [taylor]: Taking taylor expansion of (pow a 12) in a 0.857 * [taylor]: Taking taylor expansion of a in a 0.858 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in (b a) around 0 0.858 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in a 0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.858 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.858 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.858 * [taylor]: Taking taylor expansion of b in a 0.858 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.858 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.859 * [taylor]: Taking taylor expansion of a in a 0.859 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in b 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.859 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.859 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.859 * [taylor]: Taking taylor expansion of b in b 0.859 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.859 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.859 * [taylor]: Taking taylor expansion of a in b 0.859 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in b 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.859 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.859 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.859 * [taylor]: Taking taylor expansion of b in b 0.859 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.859 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.859 * [taylor]: Taking taylor expansion of a in b 0.859 * [taylor]: Taking taylor expansion of 1 in a 0.859 * [taylor]: Taking taylor expansion of 0 in a 0.860 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow a 2))) in a 0.860 * [taylor]: Taking taylor expansion of 6 in a 0.860 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.860 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.860 * [taylor]: Taking taylor expansion of a in a 0.861 * [taylor]: Taking taylor expansion of 0 in a 0.862 * [taylor]: Taking taylor expansion of (* 15 (/ 1 (pow a 4))) in a 0.862 * [taylor]: Taking taylor expansion of 15 in a 0.862 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.862 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.862 * [taylor]: Taking taylor expansion of a in a 0.864 * [taylor]: Taking taylor expansion of 0 in a 0.866 * [taylor]: Taking taylor expansion of (* 20 (/ 1 (pow a 6))) in a 0.866 * [taylor]: Taking taylor expansion of 20 in a 0.866 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a 0.866 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.866 * [taylor]: Taking taylor expansion of a in a 0.867 * [taylor]: Taking taylor expansion of 0 in a 0.869 * [taylor]: Taking taylor expansion of (* 15 (/ 1 (pow a 8))) in a 0.869 * [taylor]: Taking taylor expansion of 15 in a 0.869 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 0.869 * [taylor]: Taking taylor expansion of (pow a 8) in a 0.869 * [taylor]: Taking taylor expansion of a in a 0.871 * [taylor]: Taking taylor expansion of 0 in a 0.874 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow a 10))) in a 0.874 * [taylor]: Taking taylor expansion of 6 in a 0.874 * [taylor]: Taking taylor expansion of (/ 1 (pow a 10)) in a 0.874 * [taylor]: Taking taylor expansion of (pow a 10) in a 0.874 * [taylor]: Taking taylor expansion of a in a 0.876 * [taylor]: Taking taylor expansion of 0 in a 0.879 * [taylor]: Taking taylor expansion of (/ 1 (pow a 12)) in a 0.879 * [taylor]: Taking taylor expansion of (pow a 12) in a 0.879 * [taylor]: Taking taylor expansion of a in a 0.880 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1) 0.880 * [approximate]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in (a) around 0 0.880 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in a 0.880 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.880 * [taylor]: Taking taylor expansion of a in a 0.880 * [taylor]: Taking taylor expansion of (- 1 a) in a 0.880 * [taylor]: Taking taylor expansion of 1 in a 0.880 * [taylor]: Taking taylor expansion of a in a 0.880 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in a 0.880 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.880 * [taylor]: Taking taylor expansion of a in a 0.880 * [taylor]: Taking taylor expansion of (- 1 a) in a 0.880 * [taylor]: Taking taylor expansion of 1 in a 0.880 * [taylor]: Taking taylor expansion of a in a 0.881 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in (a) around 0 0.881 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in a 0.881 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 0.881 * [taylor]: Taking taylor expansion of 1 in a 0.881 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.881 * [taylor]: Taking taylor expansion of a in a 0.881 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.881 * [taylor]: Taking taylor expansion of a in a 0.881 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in a 0.881 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 0.881 * [taylor]: Taking taylor expansion of 1 in a 0.881 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.881 * [taylor]: Taking taylor expansion of a in a 0.882 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.882 * [taylor]: Taking taylor expansion of a in a 0.884 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in (a) around 0 0.884 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in a 0.884 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 0.884 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.884 * [taylor]: Taking taylor expansion of a in a 0.884 * [taylor]: Taking taylor expansion of 1 in a 0.884 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.884 * [taylor]: Taking taylor expansion of a in a 0.884 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in a 0.884 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 0.884 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.884 * [taylor]: Taking taylor expansion of a in a 0.884 * [taylor]: Taking taylor expansion of 1 in a 0.884 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.884 * [taylor]: Taking taylor expansion of a in a 0.886 * * * [progress]: simplifying candidates 0.887 * [simplify]: Simplifying using # : (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (exp.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) 6)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 6)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 6)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 6)) (cbrt.f64 (pow.f64 1 6)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (/.f64 6 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (/.f64 6 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (*.f64 (*.f64 b b) (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 3 a)) (+.f64 (+.f64 (log.f64 b) (log.f64 b)) (log.f64 (+.f64 3 a))) (+.f64 (log.f64 (*.f64 b b)) (log.f64 (+.f64 3 a))) (log.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (exp.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 b b) b)) (*.f64 (*.f64 (+.f64 3 a) (+.f64 3 a)) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) (*.f64 b b)) (*.f64 b b)) (*.f64 (*.f64 (+.f64 3 a) (+.f64 3 a)) (+.f64 3 a))) (*.f64 (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a)))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 b b) (+.f64 3 a))) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 b (sqrt.f64 (+.f64 3 a))) (*.f64 b (sqrt.f64 (+.f64 3 a))) (*.f64 (*.f64 b b) 3) (*.f64 (*.f64 b b) a) (*.f64 3 (*.f64 b b)) (*.f64 a (*.f64 b b)) (*.f64 (*.f64 b b) (*.f64 (cbrt.f64 (+.f64 3 a)) (cbrt.f64 (+.f64 3 a)))) (*.f64 (*.f64 b b) (sqrt.f64 (+.f64 3 a))) (*.f64 (*.f64 b b) 1) (*.f64 (*.f64 b b) 1) (*.f64 b (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 (pow.f64 3 3) (pow.f64 a 3))) (*.f64 (*.f64 b b) (-.f64 (*.f64 3 3) (*.f64 a a))) (*.f64 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 6) (*.f64 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 6) (*.f64 1 6) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (*.f64 (cbrt.f64 6) (cbrt.f64 6))) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (sqrt.f64 6)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 1) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) 6) (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 6) (pow.f64 (sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 6) (pow.f64 (sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 6) (pow.f64 1 6) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6) (log.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (exp.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (/.f64 6 2)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (/.f64 6 2)) (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 1 a)) (+.f64 (+.f64 (log.f64 a) (log.f64 a)) (log.f64 (-.f64 1 a))) (+.f64 (log.f64 (*.f64 a a)) (log.f64 (-.f64 1 a))) (log.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (exp.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 a a) a)) (*.f64 (*.f64 (-.f64 1 a) (-.f64 1 a)) (-.f64 1 a))) (*.f64 (*.f64 (*.f64 (*.f64 a a) (*.f64 a a)) (*.f64 a a)) (*.f64 (*.f64 (-.f64 1 a) (-.f64 1 a)) (-.f64 1 a))) (*.f64 (cbrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (cbrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a)))) (cbrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 (*.f64 (*.f64 (*.f64 a a) (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 (*.f64 a a) (-.f64 1 a))) (sqrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (sqrt.f64 (*.f64 (*.f64 a a) (-.f64 1 a))) (*.f64 a (sqrt.f64 (-.f64 1 a))) (*.f64 a (sqrt.f64 (-.f64 1 a))) (*.f64 (*.f64 a a) 1) (*.f64 (*.f64 a a) (neg.f64 a)) (*.f64 1 (*.f64 a a)) (*.f64 (neg.f64 a) (*.f64 a a)) (*.f64 (*.f64 a a) (*.f64 (cbrt.f64 (-.f64 1 a)) (cbrt.f64 (-.f64 1 a)))) (*.f64 (*.f64 a a) (sqrt.f64 (-.f64 1 a))) (*.f64 (*.f64 a a) 1) (*.f64 (*.f64 a a) (+.f64 (sqrt.f64 1) (sqrt.f64 a))) (*.f64 (*.f64 a a) (+.f64 1 (sqrt.f64 a))) (*.f64 (*.f64 a a) 1) (*.f64 a (-.f64 1 a)) (*.f64 (*.f64 a a) (-.f64 (pow.f64 1 3) (pow.f64 a 3))) (*.f64 (*.f64 a a) (-.f64 (*.f64 1 1) (*.f64 a a))) (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 b 2))))) (+.f64 (*.f64 a (pow.f64 b 2)) (*.f64 3 (pow.f64 b 2))) (+.f64 (*.f64 a (pow.f64 b 2)) (*.f64 3 (pow.f64 b 2))) (+.f64 (*.f64 a (pow.f64 b 2)) (*.f64 3 (pow.f64 b 2))) 0 (+.f64 (*.f64 15 (*.f64 (pow.f64 a 8) (pow.f64 b 4))) (+.f64 (pow.f64 a 12) (*.f64 6 (*.f64 (pow.f64 a 10) (pow.f64 b 2))))) (+.f64 (*.f64 15 (*.f64 (pow.f64 a 8) (pow.f64 b 4))) (+.f64 (pow.f64 a 12) (*.f64 6 (*.f64 (pow.f64 a 10) (pow.f64 b 2))))) (-.f64 (pow.f64 a 2) (pow.f64 a 3)) (-.f64 (pow.f64 a 2) (pow.f64 a 3)) (-.f64 (pow.f64 a 2) (pow.f64 a 3)) 0.917 * * [simplify]: iteration 0 : 5369 enodes (cost 912 ) 0.921 * [simplify]: Simplified to: (*.f64 2 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) (exp.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (+.f64 (*.f64 b b) (*.f64 a a)) (+.f64 (*.f64 b b) (*.f64 a a)) (cbrt.f64 1) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6))) (cbrt.f64 1) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (+.f64 (*.f64 b b) (*.f64 a a)) (+.f64 (*.f64 b b) (*.f64 a a)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6) (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 b b) (+.f64 a 3)) (log.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (log.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (log.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (exp.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (*.f64 (pow.f64 b 6) (pow.f64 (+.f64 a 3) 3)) (*.f64 (pow.f64 b 6) (pow.f64 (+.f64 a 3) 3)) (*.f64 (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3)))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (*.f64 (pow.f64 b 6) (pow.f64 (+.f64 a 3) 3)) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (*.f64 b (sqrt.f64 (+.f64 a 3))) (*.f64 b (sqrt.f64 (+.f64 a 3))) (*.f64 (*.f64 b b) 3) (*.f64 (*.f64 b b) a) (*.f64 (*.f64 b b) 3) (*.f64 (*.f64 b b) a) (*.f64 (*.f64 b b) (*.f64 (cbrt.f64 (+.f64 a 3)) (cbrt.f64 (+.f64 a 3)))) (*.f64 b (*.f64 b (sqrt.f64 (+.f64 a 3)))) (*.f64 b b) (*.f64 b b) (*.f64 b (+.f64 a 3)) (*.f64 (*.f64 b b) (+.f64 27 (pow.f64 a 3))) (*.f64 (*.f64 b b) (-.f64 9 (*.f64 a a))) (*.f64 6 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) (*.f64 6 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) 6 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (*.f64 (cbrt.f64 6) (cbrt.f64 6))) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (sqrt.f64 6)) (+.f64 (*.f64 b b) (*.f64 a a)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 3) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 3) 1 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6) (*.f64 6 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) (exp.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (pow.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6) 3) (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 6)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 3) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 3) (-.f64 (*.f64 a a) (pow.f64 a 3)) (-.f64 (*.f64 a a) (pow.f64 a 3)) (log.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (log.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (log.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (exp.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (*.f64 (pow.f64 a 6) (pow.f64 (-.f64 1 a) 3)) (*.f64 (pow.f64 a 6) (pow.f64 (-.f64 1 a) 3)) (*.f64 (cbrt.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (cbrt.f64 (-.f64 (*.f64 a a) (pow.f64 a 3)))) (cbrt.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (*.f64 (pow.f64 a 6) (pow.f64 (-.f64 1 a) 3)) (sqrt.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (sqrt.f64 (-.f64 (*.f64 a a) (pow.f64 a 3))) (*.f64 a (sqrt.f64 (-.f64 1 a))) (*.f64 a (sqrt.f64 (-.f64 1 a))) (*.f64 a a) (neg.f64 (pow.f64 a 3)) (*.f64 a a) (neg.f64 (pow.f64 a 3)) (*.f64 (*.f64 a a) (*.f64 (cbrt.f64 (-.f64 1 a)) (cbrt.f64 (-.f64 1 a)))) (*.f64 a (*.f64 a (sqrt.f64 (-.f64 1 a)))) (*.f64 a a) (*.f64 a (+.f64 a (pow.f64 a 3/2))) (*.f64 a (+.f64 a (pow.f64 a 3/2))) (*.f64 a a) (-.f64 a (*.f64 a a)) (-.f64 (*.f64 a a) (pow.f64 a 5)) (-.f64 (*.f64 a a) (pow.f64 a 4)) (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a))))) (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a))))) (+.f64 (pow.f64 a 4) (+.f64 (pow.f64 b 4) (*.f64 2 (*.f64 (*.f64 b b) (*.f64 a a))))) (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 b b) (+.f64 a 3)) 0 (+.f64 (*.f64 (pow.f64 b 4) (*.f64 15 (pow.f64 a 8))) (+.f64 (pow.f64 a 12) (*.f64 6 (*.f64 (*.f64 b b) (pow.f64 a 10))))) (+.f64 (*.f64 (pow.f64 b 4) (*.f64 15 (pow.f64 a 8))) (+.f64 (pow.f64 a 12) (*.f64 6 (*.f64 (*.f64 b b) (pow.f64 a 10))))) (-.f64 (*.f64 a a) (pow.f64 a 3)) (-.f64 (*.f64 a a) (pow.f64 a 3)) (-.f64 (*.f64 a a) (pow.f64 a 3)) 0.922 * * * [progress]: adding candidates to table 1.009 * * [progress]: iteration 4 / 4 1.009 * * * [progress]: picking best candidate 1.012 * * * * [pick]: Picked # 1.012 * * * [progress]: localizing error 1.034 * * * [progress]: generating rewritten candidates 1.034 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 1.039 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.044 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2) 1.053 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1.060 * * * [progress]: generating series expansions 1.060 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 1.060 * [approximate]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 4) 1/3) in (b a) around 0 1.060 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 4) 1/3) in a 1.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4)))) in a 1.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4))) in a 1.060 * [taylor]: Taking taylor expansion of 1/3 in a 1.060 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 4)) in a 1.060 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in a 1.060 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 1.060 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.060 * [taylor]: Taking taylor expansion of a in a 1.061 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.061 * [taylor]: Taking taylor expansion of b in a 1.061 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 4) 1/3) in b 1.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4)))) in b 1.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4))) in b 1.061 * [taylor]: Taking taylor expansion of 1/3 in b 1.061 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 4)) in b 1.061 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in b 1.061 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.061 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.061 * [taylor]: Taking taylor expansion of a in b 1.061 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.061 * [taylor]: Taking taylor expansion of b in b 1.062 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 4) 1/3) in b 1.062 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4)))) in b 1.062 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4))) in b 1.062 * [taylor]: Taking taylor expansion of 1/3 in b 1.062 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 4)) in b 1.062 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in b 1.062 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.062 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.062 * [taylor]: Taking taylor expansion of a in b 1.062 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.062 * [taylor]: Taking taylor expansion of b in b 1.062 * [taylor]: Taking taylor expansion of (pow (pow a 8) 1/3) in a 1.062 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 8)))) in a 1.062 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 8))) in a 1.062 * [taylor]: Taking taylor expansion of 1/3 in a 1.062 * [taylor]: Taking taylor expansion of (log (pow a 8)) in a 1.062 * [taylor]: Taking taylor expansion of (pow a 8) in a 1.062 * [taylor]: Taking taylor expansion of a in a 1.063 * [taylor]: Taking taylor expansion of 0 in a 1.065 * [taylor]: Taking taylor expansion of (* 4/3 (pow (pow a 2) 1/3)) in a 1.065 * [taylor]: Taking taylor expansion of 4/3 in a 1.065 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in a 1.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in a 1.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in a 1.065 * [taylor]: Taking taylor expansion of 1/3 in a 1.065 * [taylor]: Taking taylor expansion of (log (pow a 2)) in a 1.065 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.065 * [taylor]: Taking taylor expansion of a in a 1.067 * [taylor]: Taking taylor expansion of 0 in a 1.068 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in (b a) around 0 1.068 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in a 1.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in a 1.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in a 1.068 * [taylor]: Taking taylor expansion of 1/3 in a 1.068 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in a 1.068 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in a 1.068 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.068 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.068 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.068 * [taylor]: Taking taylor expansion of b in a 1.069 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.069 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.069 * [taylor]: Taking taylor expansion of a in a 1.069 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in b 1.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in b 1.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in b 1.069 * [taylor]: Taking taylor expansion of 1/3 in b 1.069 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in b 1.069 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.069 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.069 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.069 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.069 * [taylor]: Taking taylor expansion of b in b 1.069 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.069 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.069 * [taylor]: Taking taylor expansion of a in b 1.069 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in b 1.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in b 1.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in b 1.069 * [taylor]: Taking taylor expansion of 1/3 in b 1.069 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in b 1.069 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.069 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.069 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.070 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.070 * [taylor]: Taking taylor expansion of b in b 1.070 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.070 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.070 * [taylor]: Taking taylor expansion of a in b 1.070 * [taylor]: Taking taylor expansion of (pow b -8/3) in a 1.070 * [taylor]: Taking taylor expansion of (exp (* -8/3 (log b))) in a 1.070 * [taylor]: Taking taylor expansion of (* -8/3 (log b)) in a 1.070 * [taylor]: Taking taylor expansion of -8/3 in a 1.070 * [taylor]: Taking taylor expansion of (log b) in a 1.070 * [taylor]: Taking taylor expansion of b in a 1.070 * [taylor]: Taking taylor expansion of 0 in a 1.072 * [taylor]: Taking taylor expansion of (* 4/3 (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 8)) 1/3))) in a 1.072 * [taylor]: Taking taylor expansion of 4/3 in a 1.072 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 8)) 1/3)) in a 1.072 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.072 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.072 * [taylor]: Taking taylor expansion of a in a 1.072 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 8)) 1/3) in a 1.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 8))))) in a 1.072 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 8)))) in a 1.072 * [taylor]: Taking taylor expansion of 1/3 in a 1.072 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 8))) in a 1.072 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in a 1.072 * [taylor]: Taking taylor expansion of (pow b 8) in a 1.072 * [taylor]: Taking taylor expansion of b in a 1.077 * [taylor]: Taking taylor expansion of 0 in a 1.077 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in (b a) around 0 1.077 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in a 1.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in a 1.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in a 1.077 * [taylor]: Taking taylor expansion of 1/3 in a 1.077 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in a 1.077 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in a 1.077 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.077 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.077 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.077 * [taylor]: Taking taylor expansion of b in a 1.077 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.077 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.077 * [taylor]: Taking taylor expansion of a in a 1.077 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in b 1.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in b 1.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in b 1.077 * [taylor]: Taking taylor expansion of 1/3 in b 1.077 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in b 1.078 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.078 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.078 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.078 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.078 * [taylor]: Taking taylor expansion of b in b 1.078 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.078 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.078 * [taylor]: Taking taylor expansion of a in b 1.078 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in b 1.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in b 1.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in b 1.078 * [taylor]: Taking taylor expansion of 1/3 in b 1.078 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in b 1.078 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.078 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.078 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.078 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.078 * [taylor]: Taking taylor expansion of b in b 1.078 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.078 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.078 * [taylor]: Taking taylor expansion of a in b 1.078 * [taylor]: Taking taylor expansion of (pow b -8/3) in a 1.079 * [taylor]: Taking taylor expansion of (exp (* -8/3 (log b))) in a 1.079 * [taylor]: Taking taylor expansion of (* -8/3 (log b)) in a 1.079 * [taylor]: Taking taylor expansion of -8/3 in a 1.079 * [taylor]: Taking taylor expansion of (log b) in a 1.079 * [taylor]: Taking taylor expansion of b in a 1.079 * [taylor]: Taking taylor expansion of 0 in a 1.080 * [taylor]: Taking taylor expansion of (* 4/3 (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 8)) 1/3))) in a 1.081 * [taylor]: Taking taylor expansion of 4/3 in a 1.081 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 8)) 1/3)) in a 1.081 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.081 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.081 * [taylor]: Taking taylor expansion of a in a 1.081 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 8)) 1/3) in a 1.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 8))))) in a 1.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 8)))) in a 1.081 * [taylor]: Taking taylor expansion of 1/3 in a 1.081 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 8))) in a 1.081 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in a 1.081 * [taylor]: Taking taylor expansion of (pow b 8) in a 1.081 * [taylor]: Taking taylor expansion of b in a 1.085 * [taylor]: Taking taylor expansion of 0 in a 1.085 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.085 * [approximate]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in (b a) around 0 1.085 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in a 1.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in a 1.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in a 1.086 * [taylor]: Taking taylor expansion of 1/3 in a 1.086 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in a 1.086 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 1.086 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 1.086 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.086 * [taylor]: Taking taylor expansion of a in a 1.086 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.086 * [taylor]: Taking taylor expansion of b in a 1.086 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in b 1.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in b 1.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in b 1.086 * [taylor]: Taking taylor expansion of 1/3 in b 1.086 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in b 1.086 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 1.086 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.086 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.086 * [taylor]: Taking taylor expansion of a in b 1.086 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.086 * [taylor]: Taking taylor expansion of b in b 1.087 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in b 1.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in b 1.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in b 1.087 * [taylor]: Taking taylor expansion of 1/3 in b 1.087 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in b 1.087 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 1.087 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.087 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.087 * [taylor]: Taking taylor expansion of a in b 1.087 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.087 * [taylor]: Taking taylor expansion of b in b 1.087 * [taylor]: Taking taylor expansion of (pow (pow a 4) 1/3) in a 1.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 4)))) in a 1.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 4))) in a 1.087 * [taylor]: Taking taylor expansion of 1/3 in a 1.087 * [taylor]: Taking taylor expansion of (log (pow a 4)) in a 1.087 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.087 * [taylor]: Taking taylor expansion of a in a 1.088 * [taylor]: Taking taylor expansion of 0 in a 1.089 * [taylor]: Taking taylor expansion of (* 2/3 (pow (/ 1 (pow a 2)) 1/3)) in a 1.089 * [taylor]: Taking taylor expansion of 2/3 in a 1.089 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in a 1.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in a 1.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in a 1.089 * [taylor]: Taking taylor expansion of 1/3 in a 1.089 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in a 1.089 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.089 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.089 * [taylor]: Taking taylor expansion of a in a 1.091 * [taylor]: Taking taylor expansion of 0 in a 1.092 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in (b a) around 0 1.092 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 1.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 1.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 1.093 * [taylor]: Taking taylor expansion of 1/3 in a 1.093 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 1.093 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 1.093 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.093 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.093 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.093 * [taylor]: Taking taylor expansion of b in a 1.093 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.093 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.093 * [taylor]: Taking taylor expansion of a in a 1.093 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in b 1.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 1.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in b 1.093 * [taylor]: Taking taylor expansion of 1/3 in b 1.093 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in b 1.093 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 1.093 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.093 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.093 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.093 * [taylor]: Taking taylor expansion of b in b 1.093 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.093 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.093 * [taylor]: Taking taylor expansion of a in b 1.093 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in b 1.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 1.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in b 1.094 * [taylor]: Taking taylor expansion of 1/3 in b 1.094 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in b 1.094 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 1.094 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.094 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.094 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.094 * [taylor]: Taking taylor expansion of b in b 1.094 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.094 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.094 * [taylor]: Taking taylor expansion of a in b 1.094 * [taylor]: Taking taylor expansion of (pow b -4/3) in a 1.094 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log b))) in a 1.094 * [taylor]: Taking taylor expansion of (* -4/3 (log b)) in a 1.094 * [taylor]: Taking taylor expansion of -4/3 in a 1.094 * [taylor]: Taking taylor expansion of (log b) in a 1.094 * [taylor]: Taking taylor expansion of b in a 1.095 * [taylor]: Taking taylor expansion of 0 in a 1.096 * [taylor]: Taking taylor expansion of (* 2/3 (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 4)) 1/3))) in a 1.096 * [taylor]: Taking taylor expansion of 2/3 in a 1.096 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 4)) 1/3)) in a 1.096 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.096 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.096 * [taylor]: Taking taylor expansion of a in a 1.096 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 4)) 1/3) in a 1.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 4))))) in a 1.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 4)))) in a 1.096 * [taylor]: Taking taylor expansion of 1/3 in a 1.096 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 4))) in a 1.096 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 1.096 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.096 * [taylor]: Taking taylor expansion of b in a 1.100 * [taylor]: Taking taylor expansion of 0 in a 1.101 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in (b a) around 0 1.101 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 1.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 1.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 1.101 * [taylor]: Taking taylor expansion of 1/3 in a 1.101 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 1.101 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 1.101 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.101 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.101 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.101 * [taylor]: Taking taylor expansion of b in a 1.101 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.101 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.101 * [taylor]: Taking taylor expansion of a in a 1.101 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in b 1.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 1.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in b 1.101 * [taylor]: Taking taylor expansion of 1/3 in b 1.101 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in b 1.101 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 1.101 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.101 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.101 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.101 * [taylor]: Taking taylor expansion of b in b 1.101 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.101 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.101 * [taylor]: Taking taylor expansion of a in b 1.102 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in b 1.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 1.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in b 1.102 * [taylor]: Taking taylor expansion of 1/3 in b 1.102 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in b 1.102 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 1.102 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.102 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.102 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.102 * [taylor]: Taking taylor expansion of b in b 1.102 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.102 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.102 * [taylor]: Taking taylor expansion of a in b 1.102 * [taylor]: Taking taylor expansion of (pow b -4/3) in a 1.102 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log b))) in a 1.102 * [taylor]: Taking taylor expansion of (* -4/3 (log b)) in a 1.102 * [taylor]: Taking taylor expansion of -4/3 in a 1.102 * [taylor]: Taking taylor expansion of (log b) in a 1.102 * [taylor]: Taking taylor expansion of b in a 1.103 * [taylor]: Taking taylor expansion of 0 in a 1.104 * [taylor]: Taking taylor expansion of (* 2/3 (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 4)) 1/3))) in a 1.104 * [taylor]: Taking taylor expansion of 2/3 in a 1.104 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 4)) 1/3)) in a 1.104 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.104 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.104 * [taylor]: Taking taylor expansion of a in a 1.104 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 4)) 1/3) in a 1.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 4))))) in a 1.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 4)))) in a 1.104 * [taylor]: Taking taylor expansion of 1/3 in a 1.104 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 4))) in a 1.104 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 1.104 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.104 * [taylor]: Taking taylor expansion of b in a 1.108 * [taylor]: Taking taylor expansion of 0 in a 1.108 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2) 1.108 * [approximate]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in (b a) around 0 1.108 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in a 1.108 * [taylor]: Taking taylor expansion of (+ a 3) in a 1.108 * [taylor]: Taking taylor expansion of a in a 1.108 * [taylor]: Taking taylor expansion of 3 in a 1.108 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.108 * [taylor]: Taking taylor expansion of b in a 1.108 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 1.108 * [taylor]: Taking taylor expansion of (+ a 3) in b 1.108 * [taylor]: Taking taylor expansion of a in b 1.108 * [taylor]: Taking taylor expansion of 3 in b 1.108 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.108 * [taylor]: Taking taylor expansion of b in b 1.108 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 1.108 * [taylor]: Taking taylor expansion of (+ a 3) in b 1.109 * [taylor]: Taking taylor expansion of a in b 1.109 * [taylor]: Taking taylor expansion of 3 in b 1.109 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.109 * [taylor]: Taking taylor expansion of b in b 1.109 * [taylor]: Taking taylor expansion of (+ a 3) in a 1.109 * [taylor]: Taking taylor expansion of a in a 1.109 * [taylor]: Taking taylor expansion of 3 in a 1.109 * [taylor]: Taking taylor expansion of 0 in a 1.109 * [taylor]: Taking taylor expansion of 0 in a 1.109 * [taylor]: Taking taylor expansion of 0 in a 1.109 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in (b a) around 0 1.110 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in a 1.110 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 1.110 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.110 * [taylor]: Taking taylor expansion of a in a 1.110 * [taylor]: Taking taylor expansion of 3 in a 1.110 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.110 * [taylor]: Taking taylor expansion of b in a 1.110 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in b 1.110 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 1.110 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.110 * [taylor]: Taking taylor expansion of a in b 1.110 * [taylor]: Taking taylor expansion of 3 in b 1.110 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.110 * [taylor]: Taking taylor expansion of b in b 1.110 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in b 1.110 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 1.110 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.110 * [taylor]: Taking taylor expansion of a in b 1.110 * [taylor]: Taking taylor expansion of 3 in b 1.110 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.110 * [taylor]: Taking taylor expansion of b in b 1.110 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 1.110 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.110 * [taylor]: Taking taylor expansion of a in a 1.110 * [taylor]: Taking taylor expansion of 3 in a 1.111 * [taylor]: Taking taylor expansion of 0 in a 1.111 * [taylor]: Taking taylor expansion of 0 in a 1.111 * [taylor]: Taking taylor expansion of 0 in a 1.112 * [taylor]: Taking taylor expansion of 0 in a 1.112 * [approximate]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in (b a) around 0 1.112 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in a 1.112 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 1.112 * [taylor]: Taking taylor expansion of 3 in a 1.112 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.112 * [taylor]: Taking taylor expansion of a in a 1.112 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.112 * [taylor]: Taking taylor expansion of b in a 1.112 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 1.112 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 1.112 * [taylor]: Taking taylor expansion of 3 in b 1.112 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.112 * [taylor]: Taking taylor expansion of a in b 1.112 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.112 * [taylor]: Taking taylor expansion of b in b 1.112 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 1.112 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 1.113 * [taylor]: Taking taylor expansion of 3 in b 1.113 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.113 * [taylor]: Taking taylor expansion of a in b 1.113 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.113 * [taylor]: Taking taylor expansion of b in b 1.113 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 1.113 * [taylor]: Taking taylor expansion of 3 in a 1.113 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.113 * [taylor]: Taking taylor expansion of a in a 1.113 * [taylor]: Taking taylor expansion of 0 in a 1.113 * [taylor]: Taking taylor expansion of 0 in a 1.114 * [taylor]: Taking taylor expansion of 0 in a 1.114 * [taylor]: Taking taylor expansion of 0 in a 1.114 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 1.115 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in (b a) around 0 1.115 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in a 1.115 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 1.115 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.115 * [taylor]: Taking taylor expansion of a in a 1.115 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.115 * [taylor]: Taking taylor expansion of b in a 1.115 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in b 1.115 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.115 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.115 * [taylor]: Taking taylor expansion of a in b 1.115 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.115 * [taylor]: Taking taylor expansion of b in b 1.115 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in b 1.115 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.115 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.115 * [taylor]: Taking taylor expansion of a in b 1.115 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.115 * [taylor]: Taking taylor expansion of b in b 1.115 * [taylor]: Taking taylor expansion of (pow a 8) in a 1.115 * [taylor]: Taking taylor expansion of a in a 1.116 * [taylor]: Taking taylor expansion of 0 in a 1.116 * [taylor]: Taking taylor expansion of (* 4 (pow a 6)) in a 1.116 * [taylor]: Taking taylor expansion of 4 in a 1.116 * [taylor]: Taking taylor expansion of (pow a 6) in a 1.116 * [taylor]: Taking taylor expansion of a in a 1.117 * [taylor]: Taking taylor expansion of 0 in a 1.117 * [taylor]: Taking taylor expansion of (* 6 (pow a 4)) in a 1.117 * [taylor]: Taking taylor expansion of 6 in a 1.117 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.117 * [taylor]: Taking taylor expansion of a in a 1.118 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in (b a) around 0 1.118 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in a 1.118 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.118 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.118 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.118 * [taylor]: Taking taylor expansion of b in a 1.118 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.118 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.118 * [taylor]: Taking taylor expansion of a in a 1.118 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.118 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.118 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.118 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.118 * [taylor]: Taking taylor expansion of b in b 1.118 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.118 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.118 * [taylor]: Taking taylor expansion of a in b 1.118 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.118 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.118 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.118 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.118 * [taylor]: Taking taylor expansion of b in b 1.118 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.118 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.118 * [taylor]: Taking taylor expansion of a in b 1.119 * [taylor]: Taking taylor expansion of 1 in a 1.119 * [taylor]: Taking taylor expansion of 0 in a 1.119 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 2))) in a 1.119 * [taylor]: Taking taylor expansion of 4 in a 1.119 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.119 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.119 * [taylor]: Taking taylor expansion of a in a 1.120 * [taylor]: Taking taylor expansion of 0 in a 1.121 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow a 4))) in a 1.121 * [taylor]: Taking taylor expansion of 6 in a 1.121 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 1.121 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.121 * [taylor]: Taking taylor expansion of a in a 1.122 * [taylor]: Taking taylor expansion of 0 in a 1.123 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 6))) in a 1.124 * [taylor]: Taking taylor expansion of 4 in a 1.124 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a 1.124 * [taylor]: Taking taylor expansion of (pow a 6) in a 1.124 * [taylor]: Taking taylor expansion of a in a 1.125 * [taylor]: Taking taylor expansion of 0 in a 1.126 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 1.126 * [taylor]: Taking taylor expansion of (pow a 8) in a 1.126 * [taylor]: Taking taylor expansion of a in a 1.127 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in (b a) around 0 1.127 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in a 1.127 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.127 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.127 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.127 * [taylor]: Taking taylor expansion of b in a 1.128 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.128 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.128 * [taylor]: Taking taylor expansion of a in a 1.128 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.128 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.128 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.128 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.128 * [taylor]: Taking taylor expansion of b in b 1.128 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.128 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.128 * [taylor]: Taking taylor expansion of a in b 1.128 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.128 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.128 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.128 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.128 * [taylor]: Taking taylor expansion of b in b 1.128 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.128 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.128 * [taylor]: Taking taylor expansion of a in b 1.128 * [taylor]: Taking taylor expansion of 1 in a 1.128 * [taylor]: Taking taylor expansion of 0 in a 1.129 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 2))) in a 1.129 * [taylor]: Taking taylor expansion of 4 in a 1.129 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.129 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.129 * [taylor]: Taking taylor expansion of a in a 1.130 * [taylor]: Taking taylor expansion of 0 in a 1.131 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow a 4))) in a 1.131 * [taylor]: Taking taylor expansion of 6 in a 1.131 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 1.131 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.131 * [taylor]: Taking taylor expansion of a in a 1.132 * [taylor]: Taking taylor expansion of 0 in a 1.133 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 6))) in a 1.133 * [taylor]: Taking taylor expansion of 4 in a 1.133 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a 1.133 * [taylor]: Taking taylor expansion of (pow a 6) in a 1.133 * [taylor]: Taking taylor expansion of a in a 1.135 * [taylor]: Taking taylor expansion of 0 in a 1.138 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 1.138 * [taylor]: Taking taylor expansion of (pow a 8) in a 1.138 * [taylor]: Taking taylor expansion of a in a 1.139 * * * [progress]: simplifying candidates 1.140 * [simplify]: Simplifying using # : (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (exp.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4)) (cbrt.f64 (pow.f64 1 4)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (/.f64 4 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (/.f64 4 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (exp.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 2)) (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 2)) (cbrt.f64 (pow.f64 1 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (/.f64 2 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (/.f64 2 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (*.f64 (*.f64 b b) (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 3 a)) (+.f64 (+.f64 (log.f64 b) (log.f64 b)) (log.f64 (+.f64 3 a))) (+.f64 (log.f64 (*.f64 b b)) (log.f64 (+.f64 3 a))) (log.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (exp.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) b) (*.f64 (*.f64 b b) b)) (*.f64 (*.f64 (+.f64 3 a) (+.f64 3 a)) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) (*.f64 b b)) (*.f64 b b)) (*.f64 (*.f64 (+.f64 3 a) (+.f64 3 a)) (+.f64 3 a))) (*.f64 (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a)))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 (*.f64 (*.f64 b b) (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 (*.f64 b b) (+.f64 3 a))) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 3 a))) (*.f64 b (sqrt.f64 (+.f64 3 a))) (*.f64 b (sqrt.f64 (+.f64 3 a))) (*.f64 (*.f64 b b) 3) (*.f64 (*.f64 b b) a) (*.f64 3 (*.f64 b b)) (*.f64 a (*.f64 b b)) (*.f64 (*.f64 b b) (*.f64 (cbrt.f64 (+.f64 3 a)) (cbrt.f64 (+.f64 3 a)))) (*.f64 (*.f64 b b) (sqrt.f64 (+.f64 3 a))) (*.f64 (*.f64 b b) 1) (*.f64 (*.f64 b b) 1) (*.f64 b (+.f64 3 a)) (*.f64 (*.f64 b b) (+.f64 (pow.f64 3 3) (pow.f64 a 3))) (*.f64 (*.f64 b b) (-.f64 (*.f64 3 3) (*.f64 a a))) (*.f64 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4) (*.f64 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4) (*.f64 1 4) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (sqrt.f64 4)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 1) (pow.f64 (*.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) 4) (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4) (pow.f64 (sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4) (pow.f64 (sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4) (pow.f64 1 4) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) (log.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (exp.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (*.f64 (*.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (/.f64 4 2)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (/.f64 4 2)) (+.f64 (pow.f64 a 8/3) (*.f64 4/3 (*.f64 (pow.f64 (pow.f64 a 2) 1/3) (pow.f64 b 2)))) (pow.f64 (/.f64 1 b) -8/3) (pow.f64 (/.f64 -1 b) -8/3) (+.f64 (pow.f64 a 4/3) (*.f64 2/3 (*.f64 (pow.f64 (/.f64 1 (pow.f64 a 2)) 1/3) (pow.f64 b 2)))) (pow.f64 (/.f64 1 b) -4/3) (pow.f64 (/.f64 -1 b) -4/3) (+.f64 (*.f64 a (pow.f64 b 2)) (*.f64 3 (pow.f64 b 2))) (+.f64 (*.f64 a (pow.f64 b 2)) (*.f64 3 (pow.f64 b 2))) (+.f64 (*.f64 a (pow.f64 b 2)) (*.f64 3 (pow.f64 b 2))) 0 (+.f64 (pow.f64 a 8) (+.f64 (*.f64 6 (*.f64 (pow.f64 a 4) (pow.f64 b 4))) (*.f64 4 (*.f64 (pow.f64 a 6) (pow.f64 b 2))))) (+.f64 (pow.f64 a 8) (+.f64 (*.f64 6 (*.f64 (pow.f64 a 4) (pow.f64 b 4))) (*.f64 4 (*.f64 (pow.f64 a 6) (pow.f64 b 2))))) 1.198 * * [simplify]: iteration 0 : 4909 enodes (cost 972 ) 1.198 * * [simplify]: iteration 1 : 4909 enodes (cost 972 ) 1.203 * [simplify]: Simplified to: (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (exp.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 8)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (log.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (exp.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 2)) (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) (cbrt.f64 (fabs.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) (cbrt.f64 1) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)) (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2)))) (cbrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2))) (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 b b) (+.f64 a 3)) (log.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (log.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (log.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (exp.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (pow.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) 3) (pow.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3)))) (cbrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (pow.f64 (*.f64 (*.f64 b b) (+.f64 a 3)) 3) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (sqrt.f64 (*.f64 (*.f64 b b) (+.f64 a 3))) (*.f64 b (sqrt.f64 (+.f64 a 3))) (*.f64 b (sqrt.f64 (+.f64 a 3))) (*.f64 (*.f64 b b) 3) (*.f64 (*.f64 b b) a) (*.f64 (*.f64 b b) 3) (*.f64 (*.f64 b b) a) (*.f64 (*.f64 b b) (*.f64 (cbrt.f64 (+.f64 a 3)) (cbrt.f64 (+.f64 a 3)))) (*.f64 b (*.f64 b (sqrt.f64 (+.f64 a 3)))) (*.f64 b b) (*.f64 b b) (*.f64 b (+.f64 a 3)) (*.f64 (*.f64 b b) (+.f64 27 (pow.f64 a 3))) (*.f64 (*.f64 b b) (-.f64 9 (*.f64 a a))) (*.f64 4 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) (*.f64 4 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) 4 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (+.f64 (*.f64 b b) (*.f64 a a)) (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 8) (pow.f64 (cbrt.f64 (+.f64 (*.f64 b b) (*.f64 a a))) 4) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) 1 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) (*.f64 4 (log.f64 (+.f64 (*.f64 b b) (*.f64 a a)))) (exp.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4))) (cbrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (pow.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4) 3) (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 4)) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (pow.f64 (+.f64 (*.f64 b b) (*.f64 a a)) 2) (+.f64 (pow.f64 a 8/3) (*.f64 4/3 (*.f64 (*.f64 b b) (cbrt.f64 (*.f64 a a))))) (pow.f64 (/.f64 1 b) -8/3) (pow.f64 (/.f64 -1 b) -8/3) (+.f64 (pow.f64 a 4/3) (*.f64 2/3 (*.f64 (*.f64 b b) (cbrt.f64 (/.f64 1 (*.f64 a a)))))) (pow.f64 (/.f64 1 b) -4/3) (pow.f64 (/.f64 -1 b) -4/3) (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 b b) (+.f64 a 3)) (*.f64 (*.f64 b b) (+.f64 a 3)) 0 (+.f64 (pow.f64 a 8) (+.f64 (*.f64 6 (*.f64 (pow.f64 b 4) (pow.f64 a 4))) (*.f64 4 (*.f64 (*.f64 b b) (pow.f64 a 6))))) (+.f64 (pow.f64 a 8) (+.f64 (*.f64 6 (*.f64 (pow.f64 b 4) (pow.f64 a 4))) (*.f64 4 (*.f64 (*.f64 b b) (pow.f64 a 6))))) 1.203 * * * [progress]: adding candidates to table 1.300 * [progress]: [Phase 3 of 3] Extracting. 1.300 * * [regime]: Finding splitpoints for: (# # #) 1.302 * * * [regime-changes]: Trying 3 branch expressions: ((*.f64 b b) b a) 1.302 * * * * [regimes]: Trying to branch on (*.f64 b b) from (# # #) 1.336 * * * * [regimes]: Trying to branch on (*.f64 b b) from (# #) 1.368 * * * * [regimes]: Trying to branch on b from (# # #) 1.404 * * * * [regimes]: Trying to branch on a from (# # #) 1.441 * * * [regime]: Found split indices: #