18.178 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.148 * * * [progress]: [2/2] Setting up program. 0.151 * [progress]: [Phase 2 of 3] Improving. 0.152 * [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.197 * * [simplify]: iteration 0 : 5159 enodes (cost 29 ) 0.197 * [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.200 * * [progress]: iteration 1 / 4 0.200 * * * [progress]: picking best candidate 0.203 * * * * [pick]: Picked # 0.203 * * * [progress]: localizing error 0.218 * * * [progress]: generating rewritten candidates 0.219 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 0.227 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 0.232 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1) 0.241 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.257 * * * [progress]: generating series expansions 0.257 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 0.258 * [approximate]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in (b a) around 0 0.258 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in a 0.258 * [taylor]: Taking taylor expansion of (+ a 3) in a 0.258 * [taylor]: Taking taylor expansion of a in a 0.258 * [taylor]: Taking taylor expansion of 3 in a 0.258 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.258 * [taylor]: Taking taylor expansion of b in a 0.258 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 0.258 * [taylor]: Taking taylor expansion of (+ a 3) in b 0.258 * [taylor]: Taking taylor expansion of a in b 0.258 * [taylor]: Taking taylor expansion of 3 in b 0.258 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.258 * [taylor]: Taking taylor expansion of b in b 0.258 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 0.258 * [taylor]: Taking taylor expansion of (+ a 3) in b 0.258 * [taylor]: Taking taylor expansion of a in b 0.258 * [taylor]: Taking taylor expansion of 3 in b 0.258 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.258 * [taylor]: Taking taylor expansion of b in b 0.258 * [taylor]: Taking taylor expansion of (+ a 3) in a 0.258 * [taylor]: Taking taylor expansion of a in a 0.258 * [taylor]: Taking taylor expansion of 3 in a 0.258 * [taylor]: Taking taylor expansion of 0 in a 0.258 * [taylor]: Taking taylor expansion of 0 in a 0.259 * [taylor]: Taking taylor expansion of 0 in a 0.259 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in (b a) around 0 0.259 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in a 0.259 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 0.259 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.259 * [taylor]: Taking taylor expansion of a in a 0.259 * [taylor]: Taking taylor expansion of 3 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 (/ (+ (/ 1 a) 3) (pow b 2)) in b 0.259 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 0.259 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.259 * [taylor]: Taking taylor expansion of a in b 0.259 * [taylor]: Taking taylor expansion of 3 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 (/ (+ (/ 1 a) 3) (pow b 2)) in b 0.260 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 0.260 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.260 * [taylor]: Taking taylor expansion of a in b 0.260 * [taylor]: Taking taylor expansion of 3 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 (+ (/ 1 a) 3) in a 0.260 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.260 * [taylor]: Taking taylor expansion of a in a 0.260 * [taylor]: Taking taylor expansion of 3 in a 0.260 * [taylor]: Taking taylor expansion of 0 in a 0.260 * [taylor]: Taking taylor expansion of 0 in a 0.261 * [taylor]: Taking taylor expansion of 0 in a 0.261 * [taylor]: Taking taylor expansion of 0 in a 0.261 * [approximate]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in (b a) around 0 0.261 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in a 0.261 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 0.261 * [taylor]: Taking taylor expansion of 3 in a 0.261 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.262 * [taylor]: Taking taylor expansion of a 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 (/ (- 3 (/ 1 a)) (pow b 2)) in b 0.262 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 0.262 * [taylor]: Taking taylor expansion of 3 in b 0.262 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.262 * [taylor]: Taking taylor expansion of a 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.262 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 0.262 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 0.262 * [taylor]: Taking taylor expansion of 3 in b 0.262 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.262 * [taylor]: Taking taylor expansion of a 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.262 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 0.262 * [taylor]: Taking taylor expansion of 3 in a 0.262 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.262 * [taylor]: Taking taylor expansion of a in a 0.262 * [taylor]: Taking taylor expansion of 0 in a 0.263 * [taylor]: Taking taylor expansion of 0 in a 0.263 * [taylor]: Taking taylor expansion of 0 in a 0.264 * [taylor]: Taking taylor expansion of 0 in a 0.264 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 0.264 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in (a b) around 0 0.264 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 0.264 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.264 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.264 * [taylor]: Taking taylor expansion of a in b 0.264 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.264 * [taylor]: Taking taylor expansion of b in b 0.264 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.264 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.264 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.264 * [taylor]: Taking taylor expansion of a in a 0.264 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.264 * [taylor]: Taking taylor expansion of b in a 0.264 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.264 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.264 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.264 * [taylor]: Taking taylor expansion of a in a 0.264 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.265 * [taylor]: Taking taylor expansion of b in a 0.265 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.265 * [taylor]: Taking taylor expansion of b in b 0.265 * [taylor]: Taking taylor expansion of 0 in b 0.265 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 0.265 * [taylor]: Taking taylor expansion of 2 in b 0.265 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.265 * [taylor]: Taking taylor expansion of b in b 0.265 * [taylor]: Taking taylor expansion of 0 in b 0.266 * [taylor]: Taking taylor expansion of 1 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.266 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.266 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.266 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.266 * [taylor]: Taking taylor expansion of b in b 0.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 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in (a b) around 0 0.270 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.270 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.270 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.270 * [taylor]: Taking taylor expansion of b in b 0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.270 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.270 * [taylor]: Taking taylor expansion of a in b 0.270 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.270 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.270 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.270 * [taylor]: Taking taylor expansion of b in a 0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) 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 (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.270 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.270 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.270 * [taylor]: Taking taylor expansion of b in a 0.270 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) 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 in b 0.271 * [taylor]: Taking taylor expansion of 0 in b 0.271 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 0.271 * [taylor]: Taking taylor expansion of 2 in b 0.271 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.271 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.271 * [taylor]: Taking taylor expansion of b in b 0.274 * [taylor]: Taking taylor expansion of 0 in b 0.274 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 0.274 * [taylor]: Taking taylor expansion of (pow b 4) in b 0.274 * [taylor]: Taking taylor expansion of b in b 0.275 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1) 0.275 * [approximate]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in (a) around 0 0.275 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in a 0.275 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.275 * [taylor]: Taking taylor expansion of a in a 0.275 * [taylor]: Taking taylor expansion of (- 1 a) in a 0.275 * [taylor]: Taking taylor expansion of 1 in a 0.275 * [taylor]: Taking taylor expansion of a in a 0.275 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in a 0.275 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.275 * [taylor]: Taking taylor expansion of a in a 0.275 * [taylor]: Taking taylor expansion of (- 1 a) in a 0.275 * [taylor]: Taking taylor expansion of 1 in a 0.275 * [taylor]: Taking taylor expansion of a in a 0.277 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in (a) around 0 0.277 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in a 0.277 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 0.277 * [taylor]: Taking taylor expansion of 1 in a 0.277 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.277 * [taylor]: Taking taylor expansion of a 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 (/ (- 1 (/ 1 a)) (pow a 2)) in a 0.277 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 0.277 * [taylor]: Taking taylor expansion of 1 in a 0.277 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.277 * [taylor]: Taking taylor expansion of a 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.279 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in (a) around 0 0.279 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in a 0.279 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 0.279 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.279 * [taylor]: Taking taylor expansion of a in a 0.279 * [taylor]: Taking taylor expansion of 1 in a 0.279 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.279 * [taylor]: Taking taylor expansion of a in a 0.279 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in a 0.279 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 0.279 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.279 * [taylor]: Taking taylor expansion of a in a 0.279 * [taylor]: Taking taylor expansion of 1 in a 0.279 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.279 * [taylor]: Taking taylor expansion of a in a 0.281 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.281 * [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.281 * [taylor]: Taking taylor expansion of (* 4 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in b 0.282 * [taylor]: Taking taylor expansion of 4 in b 0.282 * [taylor]: Taking taylor expansion of (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3)) in b 0.282 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) in b 0.282 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.282 * [taylor]: Taking taylor expansion of a in b 0.282 * [taylor]: Taking taylor expansion of (+ (* a (pow b 2)) (* 3 (pow b 2))) in b 0.282 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 0.282 * [taylor]: Taking taylor expansion of a in b 0.282 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.282 * [taylor]: Taking taylor expansion of b in b 0.282 * [taylor]: Taking taylor expansion of (* 3 (pow b 2)) in b 0.282 * [taylor]: Taking taylor expansion of 3 in b 0.282 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.282 * [taylor]: Taking taylor expansion of b in b 0.282 * [taylor]: Taking taylor expansion of (pow a 3) in b 0.282 * [taylor]: Taking taylor expansion of a in b 0.282 * [taylor]: Taking taylor expansion of (* 4 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in a 0.282 * [taylor]: Taking taylor expansion of 4 in a 0.282 * [taylor]: Taking taylor expansion of (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3)) in a 0.282 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 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 (+ (* a (pow b 2)) (* 3 (pow b 2))) in a 0.282 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.282 * [taylor]: Taking taylor expansion of a in a 0.282 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.282 * [taylor]: Taking taylor expansion of b in a 0.282 * [taylor]: Taking taylor expansion of (* 3 (pow b 2)) in a 0.282 * [taylor]: Taking taylor expansion of 3 in a 0.282 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.282 * [taylor]: Taking taylor expansion of b 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 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in a 0.282 * [taylor]: Taking taylor expansion of 4 in a 0.282 * [taylor]: Taking taylor expansion of (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3)) in a 0.282 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 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 (+ (* a (pow b 2)) (* 3 (pow b 2))) in a 0.282 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.282 * [taylor]: Taking taylor expansion of a in a 0.282 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.282 * [taylor]: Taking taylor expansion of b in a 0.282 * [taylor]: Taking taylor expansion of (* 3 (pow b 2)) in a 0.282 * [taylor]: Taking taylor expansion of 3 in a 0.282 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.282 * [taylor]: Taking taylor expansion of b 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.283 * [taylor]: Taking taylor expansion of (* 12 (pow b 2)) in b 0.283 * [taylor]: Taking taylor expansion of 12 in b 0.283 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.283 * [taylor]: Taking taylor expansion of b in b 0.283 * [taylor]: Taking taylor expansion of (* 4 (pow b 2)) in b 0.283 * [taylor]: Taking taylor expansion of 4 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 4 in b 0.284 * [taylor]: Taking taylor expansion of -4 in b 0.285 * [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.285 * [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.285 * [taylor]: Taking taylor expansion of 4 in b 0.285 * [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.285 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) 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 (* a (pow b 2))) (/ 1 (pow a 2))) 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 (/ 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.286 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 0.286 * [taylor]: Taking taylor expansion of (pow a 3) in b 0.286 * [taylor]: Taking taylor expansion of a in b 0.286 * [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.286 * [taylor]: Taking taylor expansion of 4 in a 0.286 * [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.286 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) 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 (* a (pow b 2))) (/ 1 (pow a 2))) 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 (/ 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 (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) (/ 1 (pow a 3)))) 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 (* a (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))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) in a 0.287 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.287 * [taylor]: Taking taylor expansion of 3 in a 0.287 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.287 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.287 * [taylor]: Taking taylor expansion of b in a 0.287 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2))) in a 0.287 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.287 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.287 * [taylor]: Taking taylor expansion of a in a 0.287 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.287 * [taylor]: Taking taylor expansion of b in a 0.287 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.287 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.287 * [taylor]: Taking taylor expansion of a in a 0.287 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.287 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.287 * [taylor]: Taking taylor expansion of a in a 0.287 * [taylor]: Taking taylor expansion of -4 in b 0.287 * [taylor]: Taking taylor expansion of 4 in b 0.288 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.288 * [taylor]: Taking taylor expansion of 4 in b 0.288 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.288 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.288 * [taylor]: Taking taylor expansion of b in b 0.289 * [taylor]: Taking taylor expansion of (* 12 (/ 1 (pow b 2))) in b 0.289 * [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.290 * [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.290 * [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.290 * [taylor]: Taking taylor expansion of 4 in b 0.290 * [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.290 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) in b 0.290 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in b 0.290 * [taylor]: Taking taylor expansion of 3 in b 0.290 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.290 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.290 * [taylor]: Taking taylor expansion of b in b 0.290 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow a 3))) in b 0.290 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.290 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.290 * [taylor]: Taking taylor expansion of a in b 0.290 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 0.290 * [taylor]: Taking taylor expansion of (pow a 3) in b 0.290 * [taylor]: Taking taylor expansion of a in b 0.290 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in b 0.290 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 0.290 * [taylor]: Taking taylor expansion of a in b 0.290 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.290 * [taylor]: Taking taylor expansion of b in b 0.290 * [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.290 * [taylor]: Taking taylor expansion of 4 in a 0.290 * [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.291 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) in a 0.291 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.291 * [taylor]: Taking taylor expansion of 3 in a 0.291 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.291 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.291 * [taylor]: Taking taylor expansion of b in a 0.291 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow a 3))) in a 0.291 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.291 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.291 * [taylor]: Taking taylor expansion of a in a 0.291 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.291 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.291 * [taylor]: Taking taylor expansion of a in a 0.291 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.291 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.291 * [taylor]: Taking taylor expansion of a in a 0.291 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.291 * [taylor]: Taking taylor expansion of b in a 0.291 * [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.291 * [taylor]: Taking taylor expansion of 4 in a 0.291 * [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.291 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) in a 0.291 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.291 * [taylor]: Taking taylor expansion of 3 in a 0.291 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.291 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.291 * [taylor]: Taking taylor expansion of b in a 0.291 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow a 3))) in a 0.291 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.291 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.291 * [taylor]: Taking taylor expansion of a in a 0.292 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.292 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.292 * [taylor]: Taking taylor expansion of a in a 0.292 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.292 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.292 * [taylor]: Taking taylor expansion of a in a 0.292 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.292 * [taylor]: Taking taylor expansion of b in a 0.292 * [taylor]: Taking taylor expansion of 4 in b 0.292 * [taylor]: Taking taylor expansion of 4 in b 0.293 * [taylor]: Taking taylor expansion of (neg (* 4 (/ 1 (pow b 2)))) in b 0.293 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.293 * [taylor]: Taking taylor expansion of 4 in b 0.293 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.293 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.293 * [taylor]: Taking taylor expansion of b in b 0.294 * [taylor]: Taking taylor expansion of (* 12 (/ 1 (pow b 2))) in b 0.294 * [taylor]: Taking taylor expansion of 12 in b 0.294 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.294 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.294 * [taylor]: Taking taylor expansion of b in b 0.294 * * * [progress]: simplifying candidates 0.296 * [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.333 * * [simplify]: iteration 0 : 5170 enodes (cost 1267 ) 0.338 * [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.339 * * * [progress]: adding candidates to table 0.448 * * [progress]: iteration 2 / 4 0.448 * * * [progress]: picking best candidate 0.453 * * * * [pick]: Picked # 0.453 * * * [progress]: localizing error 0.476 * * * [progress]: generating rewritten candidates 0.476 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 2) 0.485 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2) 0.494 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1) 0.503 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.520 * * * [progress]: generating series expansions 0.520 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 2) 0.520 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in (b a) around 0 0.520 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.520 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.520 * [taylor]: Taking taylor expansion of a in a 0.520 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.520 * [taylor]: Taking taylor expansion of b in a 0.520 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.520 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.520 * [taylor]: Taking taylor expansion of a in b 0.520 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.520 * [taylor]: Taking taylor expansion of b in b 0.520 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.520 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.520 * [taylor]: Taking taylor expansion of a in b 0.520 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.520 * [taylor]: Taking taylor expansion of b in b 0.521 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.521 * [taylor]: Taking taylor expansion of a in a 0.521 * [taylor]: Taking taylor expansion of 0 in a 0.521 * [taylor]: Taking taylor expansion of 0 in a 0.521 * [taylor]: Taking taylor expansion of 0 in a 0.521 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (b a) around 0 0.521 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.522 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.522 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.522 * [taylor]: Taking taylor expansion of a in a 0.522 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.522 * [taylor]: Taking taylor expansion of b in a 0.522 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.522 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.522 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.522 * [taylor]: Taking taylor expansion of a in b 0.522 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.522 * [taylor]: Taking taylor expansion of b in b 0.522 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.522 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.522 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.522 * [taylor]: Taking taylor expansion of a in b 0.522 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.522 * [taylor]: Taking taylor expansion of b in b 0.522 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.522 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.522 * [taylor]: Taking taylor expansion of a in a 0.523 * [taylor]: Taking taylor expansion of 0 in a 0.523 * [taylor]: Taking taylor expansion of 0 in a 0.524 * [taylor]: Taking taylor expansion of 0 in a 0.524 * [taylor]: Taking taylor expansion of 0 in a 0.525 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (b a) around 0 0.525 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 0.525 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 0.525 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.525 * [taylor]: Taking taylor expansion of a in a 0.525 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.525 * [taylor]: Taking taylor expansion of b in a 0.525 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.525 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.525 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.525 * [taylor]: Taking taylor expansion of a in b 0.525 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.525 * [taylor]: Taking taylor expansion of b in b 0.525 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 0.525 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 0.525 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.525 * [taylor]: Taking taylor expansion of a in b 0.525 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.525 * [taylor]: Taking taylor expansion of b in b 0.525 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.525 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.525 * [taylor]: Taking taylor expansion of a in a 0.526 * [taylor]: Taking taylor expansion of 0 in a 0.526 * [taylor]: Taking taylor expansion of 0 in a 0.527 * [taylor]: Taking taylor expansion of 0 in a 0.527 * [taylor]: Taking taylor expansion of 0 in a 0.528 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2) 0.528 * [approximate]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in (b a) around 0 0.528 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in a 0.528 * [taylor]: Taking taylor expansion of (+ a 3) in a 0.528 * [taylor]: Taking taylor expansion of a in a 0.528 * [taylor]: Taking taylor expansion of 3 in a 0.528 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.528 * [taylor]: Taking taylor expansion of b in a 0.528 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 0.528 * [taylor]: Taking taylor expansion of (+ a 3) in b 0.528 * [taylor]: Taking taylor expansion of a in b 0.528 * [taylor]: Taking taylor expansion of 3 in b 0.528 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.528 * [taylor]: Taking taylor expansion of b in b 0.528 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 0.528 * [taylor]: Taking taylor expansion of (+ a 3) in b 0.528 * [taylor]: Taking taylor expansion of a in b 0.528 * [taylor]: Taking taylor expansion of 3 in b 0.528 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.528 * [taylor]: Taking taylor expansion of b in b 0.528 * [taylor]: Taking taylor expansion of (+ a 3) in a 0.528 * [taylor]: Taking taylor expansion of a in a 0.528 * [taylor]: Taking taylor expansion of 3 in a 0.528 * [taylor]: Taking taylor expansion of 0 in a 0.528 * [taylor]: Taking taylor expansion of 0 in a 0.529 * [taylor]: Taking taylor expansion of 0 in a 0.529 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in (b a) around 0 0.529 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in a 0.529 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 0.529 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.529 * [taylor]: Taking taylor expansion of a in a 0.529 * [taylor]: Taking taylor expansion of 3 in a 0.529 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.529 * [taylor]: Taking taylor expansion of b in a 0.529 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in b 0.529 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 0.529 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.529 * [taylor]: Taking taylor expansion of a in b 0.529 * [taylor]: Taking taylor expansion of 3 in b 0.529 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.529 * [taylor]: Taking taylor expansion of b in b 0.529 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in b 0.529 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 0.529 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.529 * [taylor]: Taking taylor expansion of a in b 0.529 * [taylor]: Taking taylor expansion of 3 in b 0.529 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.529 * [taylor]: Taking taylor expansion of b in b 0.530 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 0.530 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.530 * [taylor]: Taking taylor expansion of a in a 0.530 * [taylor]: Taking taylor expansion of 3 in a 0.530 * [taylor]: Taking taylor expansion of 0 in a 0.530 * [taylor]: Taking taylor expansion of 0 in a 0.530 * [taylor]: Taking taylor expansion of 0 in a 0.531 * [taylor]: Taking taylor expansion of 0 in a 0.531 * [approximate]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in (b a) around 0 0.531 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in a 0.531 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 0.531 * [taylor]: Taking taylor expansion of 3 in a 0.531 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.531 * [taylor]: Taking taylor expansion of a in a 0.531 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.531 * [taylor]: Taking taylor expansion of b in a 0.532 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 0.532 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 0.532 * [taylor]: Taking taylor expansion of 3 in b 0.532 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.532 * [taylor]: Taking taylor expansion of a in b 0.532 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.532 * [taylor]: Taking taylor expansion of b in b 0.532 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 0.532 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 0.532 * [taylor]: Taking taylor expansion of 3 in b 0.532 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.532 * [taylor]: Taking taylor expansion of a in b 0.532 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.532 * [taylor]: Taking taylor expansion of b in b 0.532 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 0.532 * [taylor]: Taking taylor expansion of 3 in a 0.532 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.532 * [taylor]: Taking taylor expansion of a in a 0.532 * [taylor]: Taking taylor expansion of 0 in a 0.533 * [taylor]: Taking taylor expansion of 0 in a 0.533 * [taylor]: Taking taylor expansion of 0 in a 0.533 * [taylor]: Taking taylor expansion of 0 in a 0.534 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1) 0.534 * [approximate]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in (a) around 0 0.534 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in a 0.534 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.534 * [taylor]: Taking taylor expansion of a in a 0.534 * [taylor]: Taking taylor expansion of (- 1 a) in a 0.534 * [taylor]: Taking taylor expansion of 1 in a 0.534 * [taylor]: Taking taylor expansion of a in a 0.534 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in a 0.534 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.534 * [taylor]: Taking taylor expansion of a in a 0.534 * [taylor]: Taking taylor expansion of (- 1 a) in a 0.534 * [taylor]: Taking taylor expansion of 1 in a 0.534 * [taylor]: Taking taylor expansion of a in a 0.535 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in (a) around 0 0.535 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in a 0.535 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 0.535 * [taylor]: Taking taylor expansion of 1 in a 0.535 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.535 * [taylor]: Taking taylor expansion of a in a 0.536 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.536 * [taylor]: Taking taylor expansion of a in a 0.536 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in a 0.536 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 0.536 * [taylor]: Taking taylor expansion of 1 in a 0.536 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.536 * [taylor]: Taking taylor expansion of a in a 0.536 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.536 * [taylor]: Taking taylor expansion of a in a 0.538 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in (a) around 0 0.538 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in a 0.538 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 0.538 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.538 * [taylor]: Taking taylor expansion of a in a 0.538 * [taylor]: Taking taylor expansion of 1 in a 0.538 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.538 * [taylor]: Taking taylor expansion of a in a 0.538 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in a 0.538 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 0.538 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.538 * [taylor]: Taking taylor expansion of a in a 0.538 * [taylor]: Taking taylor expansion of 1 in a 0.538 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.538 * [taylor]: Taking taylor expansion of a in a 0.540 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.540 * [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.540 * [taylor]: Taking taylor expansion of (* 4 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in b 0.540 * [taylor]: Taking taylor expansion of 4 in b 0.540 * [taylor]: Taking taylor expansion of (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3)) in b 0.540 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (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 (+ (* a (pow b 2)) (* 3 (pow b 2))) in b 0.540 * [taylor]: Taking taylor expansion of (* a (pow b 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 (* 3 (pow b 2)) in b 0.540 * [taylor]: Taking taylor expansion of 3 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 3) in b 0.540 * [taylor]: Taking taylor expansion of a in b 0.540 * [taylor]: Taking taylor expansion of (* 4 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in a 0.541 * [taylor]: Taking taylor expansion of 4 in a 0.541 * [taylor]: Taking taylor expansion of (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3)) in a 0.541 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (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 (+ (* a (pow b 2)) (* 3 (pow b 2))) in a 0.541 * [taylor]: Taking taylor expansion of (* a (pow b 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 (* 3 (pow b 2)) in a 0.541 * [taylor]: Taking taylor expansion of 3 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 (pow a 3) in a 0.541 * [taylor]: Taking taylor expansion of a in a 0.541 * [taylor]: Taking taylor expansion of (* 4 (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3))) in a 0.541 * [taylor]: Taking taylor expansion of 4 in a 0.541 * [taylor]: Taking taylor expansion of (- (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (pow b 2)))) (pow a 3)) in a 0.541 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* a (pow b 2)) (* 3 (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 (+ (* a (pow b 2)) (* 3 (pow b 2))) in a 0.541 * [taylor]: Taking taylor expansion of (* a (pow b 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 (* 3 (pow b 2)) in a 0.541 * [taylor]: Taking taylor expansion of 3 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 (pow a 3) in a 0.541 * [taylor]: Taking taylor expansion of a in a 0.542 * [taylor]: Taking taylor expansion of (* 12 (pow b 2)) in b 0.542 * [taylor]: Taking taylor expansion of 12 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 (* 4 (pow b 2)) in b 0.542 * [taylor]: Taking taylor expansion of 4 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.543 * [taylor]: Taking taylor expansion of 4 in b 0.543 * [taylor]: Taking taylor expansion of -4 in b 0.544 * [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.544 * [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.544 * [taylor]: Taking taylor expansion of 4 in b 0.544 * [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.544 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) in b 0.544 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in b 0.544 * [taylor]: Taking taylor expansion of 3 in b 0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.544 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.544 * [taylor]: Taking taylor expansion of b in b 0.544 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2))) in b 0.544 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in b 0.544 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 0.544 * [taylor]: Taking taylor expansion of a in b 0.544 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.544 * [taylor]: Taking taylor expansion of b in b 0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.544 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.544 * [taylor]: Taking taylor expansion of a in b 0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 0.544 * [taylor]: Taking taylor expansion of (pow a 3) in b 0.544 * [taylor]: Taking taylor expansion of a in b 0.544 * [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.544 * [taylor]: Taking taylor expansion of 4 in a 0.544 * [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.544 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) in a 0.544 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.544 * [taylor]: Taking taylor expansion of 3 in a 0.545 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.545 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.545 * [taylor]: Taking taylor expansion of b in a 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2))) in a 0.545 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.545 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.545 * [taylor]: Taking taylor expansion of a in a 0.545 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.545 * [taylor]: Taking taylor expansion of b in a 0.545 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) 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 (/ 1 (pow a 3)) in a 0.545 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.545 * [taylor]: Taking taylor expansion of a in a 0.545 * [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.545 * [taylor]: Taking taylor expansion of 4 in a 0.545 * [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.545 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2)))) in a 0.545 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.545 * [taylor]: Taking taylor expansion of 3 in a 0.545 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.545 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.545 * [taylor]: Taking taylor expansion of b in a 0.545 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a (pow b 2))) (/ 1 (pow a 2))) in a 0.545 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.545 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.545 * [taylor]: Taking taylor expansion of a in a 0.545 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.545 * [taylor]: Taking taylor expansion of b in a 0.546 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.546 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.546 * [taylor]: Taking taylor expansion of a in a 0.546 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.546 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.546 * [taylor]: Taking taylor expansion of a in a 0.546 * [taylor]: Taking taylor expansion of -4 in b 0.546 * [taylor]: Taking taylor expansion of 4 in b 0.547 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.547 * [taylor]: Taking taylor expansion of 4 in b 0.547 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.547 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.547 * [taylor]: Taking taylor expansion of b in b 0.548 * [taylor]: Taking taylor expansion of (* 12 (/ 1 (pow b 2))) in b 0.548 * [taylor]: Taking taylor expansion of 12 in b 0.548 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) 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 * [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.549 * [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.549 * [taylor]: Taking taylor expansion of 4 in b 0.549 * [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.549 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) in b 0.549 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in b 0.549 * [taylor]: Taking taylor expansion of 3 in b 0.549 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) 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 (pow a 2)) (/ 1 (pow a 3))) in b 0.549 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.549 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.549 * [taylor]: Taking taylor expansion of a in b 0.549 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in b 0.549 * [taylor]: Taking taylor expansion of (pow a 3) in b 0.549 * [taylor]: Taking taylor expansion of a in b 0.549 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in b 0.549 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in b 0.549 * [taylor]: Taking taylor expansion of a 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 (* 4 (- (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) (/ 1 (* a (pow b 2))))) in a 0.549 * [taylor]: Taking taylor expansion of 4 in a 0.549 * [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.549 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) in a 0.549 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.549 * [taylor]: Taking taylor expansion of 3 in a 0.549 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) 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 (pow a 2)) (/ 1 (pow a 3))) in a 0.549 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.549 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.549 * [taylor]: Taking taylor expansion of a in a 0.550 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.550 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.550 * [taylor]: Taking taylor expansion of a in a 0.550 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.550 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.550 * [taylor]: Taking taylor expansion of a in a 0.550 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.550 * [taylor]: Taking taylor expansion of b in a 0.550 * [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.550 * [taylor]: Taking taylor expansion of 4 in a 0.550 * [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.550 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (pow b 2))) (+ (/ 1 (pow a 2)) (/ 1 (pow a 3)))) in a 0.550 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow b 2))) in a 0.550 * [taylor]: Taking taylor expansion of 3 in a 0.550 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.550 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.550 * [taylor]: Taking taylor expansion of b in a 0.550 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 2)) (/ 1 (pow a 3))) in a 0.550 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.550 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.550 * [taylor]: Taking taylor expansion of a in a 0.550 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 0.550 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.550 * [taylor]: Taking taylor expansion of a in a 0.550 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 2))) in a 0.550 * [taylor]: Taking taylor expansion of (* a (pow b 2)) in a 0.550 * [taylor]: Taking taylor expansion of a in a 0.550 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.550 * [taylor]: Taking taylor expansion of b in a 0.551 * [taylor]: Taking taylor expansion of 4 in b 0.551 * [taylor]: Taking taylor expansion of 4 in b 0.551 * [taylor]: Taking taylor expansion of (neg (* 4 (/ 1 (pow b 2)))) in b 0.551 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow b 2))) in b 0.551 * [taylor]: Taking taylor expansion of 4 in b 0.551 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.551 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.551 * [taylor]: Taking taylor expansion of b in b 0.552 * [taylor]: Taking taylor expansion of (* 12 (/ 1 (pow b 2))) in b 0.552 * [taylor]: Taking taylor expansion of 12 in b 0.552 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.552 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.553 * [taylor]: Taking taylor expansion of b in b 0.553 * * * [progress]: simplifying candidates 0.555 * [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.605 * * [simplify]: iteration 0 : 4942 enodes (cost 1210 ) 0.606 * * [simplify]: iteration 1 : 4942 enodes (cost 1210 ) 0.613 * [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.614 * * * [progress]: adding candidates to table 0.740 * * [progress]: iteration 3 / 4 0.740 * * * [progress]: picking best candidate 0.743 * * * * [pick]: Picked # 0.743 * * * [progress]: localizing error 0.760 * * * [progress]: generating rewritten candidates 0.760 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.765 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2) 0.774 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.779 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1) 0.793 * * * [progress]: generating series expansions 0.793 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.793 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in (b a) around 0 0.793 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 0.793 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.793 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.794 * [taylor]: Taking taylor expansion of a in a 0.794 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.794 * [taylor]: Taking taylor expansion of b in a 0.794 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 0.794 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.794 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.794 * [taylor]: Taking taylor expansion of a in b 0.794 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.794 * [taylor]: Taking taylor expansion of b in b 0.794 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 0.794 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.794 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.794 * [taylor]: Taking taylor expansion of a in b 0.794 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.794 * [taylor]: Taking taylor expansion of b in b 0.794 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.794 * [taylor]: Taking taylor expansion of a in a 0.794 * [taylor]: Taking taylor expansion of 0 in a 0.795 * [taylor]: Taking taylor expansion of (* 2 (pow a 2)) in a 0.795 * [taylor]: Taking taylor expansion of 2 in a 0.795 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.795 * [taylor]: Taking taylor expansion of a in a 0.795 * [taylor]: Taking taylor expansion of 0 in a 0.795 * [taylor]: Taking taylor expansion of 1 in a 0.796 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in (b a) around 0 0.796 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.796 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.796 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.796 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.796 * [taylor]: Taking taylor expansion of b in a 0.796 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.796 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.796 * [taylor]: Taking taylor expansion of a in a 0.796 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.796 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.796 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.796 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.796 * [taylor]: Taking taylor expansion of b in b 0.796 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.796 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.796 * [taylor]: Taking taylor expansion of a in b 0.797 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.797 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.797 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.797 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.797 * [taylor]: Taking taylor expansion of b in b 0.797 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.797 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.797 * [taylor]: Taking taylor expansion of a in b 0.797 * [taylor]: Taking taylor expansion of 1 in a 0.797 * [taylor]: Taking taylor expansion of 0 in a 0.797 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 0.797 * [taylor]: Taking taylor expansion of 2 in a 0.797 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.797 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.797 * [taylor]: Taking taylor expansion of a in a 0.798 * [taylor]: Taking taylor expansion of 0 in a 0.799 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.799 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.799 * [taylor]: Taking taylor expansion of a in a 0.800 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in (b a) around 0 0.800 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.800 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.800 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.800 * [taylor]: Taking taylor expansion of b in a 0.800 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.800 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.800 * [taylor]: Taking taylor expansion of a in a 0.800 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.800 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.800 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.800 * [taylor]: Taking taylor expansion of b in b 0.800 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.800 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.800 * [taylor]: Taking taylor expansion of a in b 0.800 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.800 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.800 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.800 * [taylor]: Taking taylor expansion of b in b 0.800 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.800 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.800 * [taylor]: Taking taylor expansion of a in b 0.800 * [taylor]: Taking taylor expansion of 1 in a 0.801 * [taylor]: Taking taylor expansion of 0 in a 0.801 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow a 2))) in a 0.801 * [taylor]: Taking taylor expansion of 2 in a 0.801 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.801 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.801 * [taylor]: Taking taylor expansion of a in a 0.802 * [taylor]: Taking taylor expansion of 0 in a 0.803 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.803 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.803 * [taylor]: Taking taylor expansion of a in a 0.803 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2) 0.803 * [approximate]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in (b a) around 0 0.803 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in a 0.803 * [taylor]: Taking taylor expansion of (+ a 3) in a 0.803 * [taylor]: Taking taylor expansion of a in a 0.803 * [taylor]: Taking taylor expansion of 3 in a 0.803 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.803 * [taylor]: Taking taylor expansion of b in a 0.803 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 0.803 * [taylor]: Taking taylor expansion of (+ a 3) in b 0.804 * [taylor]: Taking taylor expansion of a in b 0.804 * [taylor]: Taking taylor expansion of 3 in b 0.804 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.804 * [taylor]: Taking taylor expansion of b in b 0.804 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 0.804 * [taylor]: Taking taylor expansion of (+ a 3) in b 0.804 * [taylor]: Taking taylor expansion of a in b 0.804 * [taylor]: Taking taylor expansion of 3 in b 0.804 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.804 * [taylor]: Taking taylor expansion of b in b 0.804 * [taylor]: Taking taylor expansion of (+ a 3) in a 0.804 * [taylor]: Taking taylor expansion of a in a 0.804 * [taylor]: Taking taylor expansion of 3 in a 0.804 * [taylor]: Taking taylor expansion of 0 in a 0.804 * [taylor]: Taking taylor expansion of 0 in a 0.804 * [taylor]: Taking taylor expansion of 0 in a 0.805 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in (b a) around 0 0.805 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in a 0.805 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 0.805 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.805 * [taylor]: Taking taylor expansion of a in a 0.805 * [taylor]: Taking taylor expansion of 3 in a 0.805 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.805 * [taylor]: Taking taylor expansion of b in a 0.805 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in b 0.805 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 0.805 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.805 * [taylor]: Taking taylor expansion of a in b 0.805 * [taylor]: Taking taylor expansion of 3 in b 0.805 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.805 * [taylor]: Taking taylor expansion of b in b 0.805 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in b 0.805 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 0.805 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.805 * [taylor]: Taking taylor expansion of a in b 0.805 * [taylor]: Taking taylor expansion of 3 in b 0.805 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.805 * [taylor]: Taking taylor expansion of b in b 0.805 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 0.805 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.805 * [taylor]: Taking taylor expansion of a in a 0.805 * [taylor]: Taking taylor expansion of 3 in a 0.806 * [taylor]: Taking taylor expansion of 0 in a 0.806 * [taylor]: Taking taylor expansion of 0 in a 0.806 * [taylor]: Taking taylor expansion of 0 in a 0.807 * [taylor]: Taking taylor expansion of 0 in a 0.807 * [approximate]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in (b a) around 0 0.807 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in a 0.807 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 0.807 * [taylor]: Taking taylor expansion of 3 in a 0.807 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.807 * [taylor]: Taking taylor expansion of a in a 0.807 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.807 * [taylor]: Taking taylor expansion of b in a 0.807 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 0.807 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 0.807 * [taylor]: Taking taylor expansion of 3 in b 0.807 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.807 * [taylor]: Taking taylor expansion of a in b 0.807 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.807 * [taylor]: Taking taylor expansion of b in b 0.808 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 0.808 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 0.808 * [taylor]: Taking taylor expansion of 3 in b 0.808 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.808 * [taylor]: Taking taylor expansion of a in b 0.808 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.808 * [taylor]: Taking taylor expansion of b in b 0.808 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 0.808 * [taylor]: Taking taylor expansion of 3 in a 0.808 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.808 * [taylor]: Taking taylor expansion of a in a 0.808 * [taylor]: Taking taylor expansion of 0 in a 0.808 * [taylor]: Taking taylor expansion of 0 in a 0.809 * [taylor]: Taking taylor expansion of 0 in a 0.809 * [taylor]: Taking taylor expansion of 0 in a 0.809 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 0.810 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 6) in (b a) around 0 0.810 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 6) in a 0.810 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 0.810 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.810 * [taylor]: Taking taylor expansion of a in a 0.810 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.810 * [taylor]: Taking taylor expansion of b in a 0.810 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 6) in b 0.810 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.810 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.810 * [taylor]: Taking taylor expansion of a in b 0.810 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.810 * [taylor]: Taking taylor expansion of b in b 0.810 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 6) in b 0.810 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 0.810 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.810 * [taylor]: Taking taylor expansion of a in b 0.810 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.810 * [taylor]: Taking taylor expansion of b in b 0.810 * [taylor]: Taking taylor expansion of (pow a 12) in a 0.810 * [taylor]: Taking taylor expansion of a in a 0.811 * [taylor]: Taking taylor expansion of 0 in a 0.812 * [taylor]: Taking taylor expansion of (* 6 (pow a 10)) in a 0.812 * [taylor]: Taking taylor expansion of 6 in a 0.812 * [taylor]: Taking taylor expansion of (pow a 10) in a 0.812 * [taylor]: Taking taylor expansion of a in a 0.812 * [taylor]: Taking taylor expansion of 0 in a 0.813 * [taylor]: Taking taylor expansion of (* 15 (pow a 8)) in a 0.813 * [taylor]: Taking taylor expansion of 15 in a 0.813 * [taylor]: Taking taylor expansion of (pow a 8) in a 0.813 * [taylor]: Taking taylor expansion of a in a 0.814 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in (b a) around 0 0.814 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in a 0.814 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.814 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.814 * [taylor]: Taking taylor expansion of b in a 0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.814 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.814 * [taylor]: Taking taylor expansion of a in a 0.814 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in b 0.814 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.814 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.814 * [taylor]: Taking taylor expansion of b in b 0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.814 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.814 * [taylor]: Taking taylor expansion of a in b 0.814 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in b 0.814 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.814 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.814 * [taylor]: Taking taylor expansion of b in b 0.814 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.814 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.814 * [taylor]: Taking taylor expansion of a in b 0.815 * [taylor]: Taking taylor expansion of 1 in a 0.815 * [taylor]: Taking taylor expansion of 0 in a 0.815 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow a 2))) in a 0.815 * [taylor]: Taking taylor expansion of 6 in a 0.815 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.816 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.816 * [taylor]: Taking taylor expansion of a in a 0.817 * [taylor]: Taking taylor expansion of 0 in a 0.818 * [taylor]: Taking taylor expansion of (* 15 (/ 1 (pow a 4))) in a 0.818 * [taylor]: Taking taylor expansion of 15 in a 0.818 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.818 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.818 * [taylor]: Taking taylor expansion of a in a 0.819 * [taylor]: Taking taylor expansion of 0 in a 0.821 * [taylor]: Taking taylor expansion of (* 20 (/ 1 (pow a 6))) in a 0.821 * [taylor]: Taking taylor expansion of 20 in a 0.821 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a 0.821 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.821 * [taylor]: Taking taylor expansion of a in a 0.823 * [taylor]: Taking taylor expansion of 0 in a 0.825 * [taylor]: Taking taylor expansion of (* 15 (/ 1 (pow a 8))) in a 0.825 * [taylor]: Taking taylor expansion of 15 in a 0.825 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 0.825 * [taylor]: Taking taylor expansion of (pow a 8) in a 0.825 * [taylor]: Taking taylor expansion of a in a 0.827 * [taylor]: Taking taylor expansion of 0 in a 0.829 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow a 10))) in a 0.829 * [taylor]: Taking taylor expansion of 6 in a 0.830 * [taylor]: Taking taylor expansion of (/ 1 (pow a 10)) in a 0.830 * [taylor]: Taking taylor expansion of (pow a 10) in a 0.830 * [taylor]: Taking taylor expansion of a in a 0.832 * [taylor]: Taking taylor expansion of 0 in a 0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow a 12)) in a 0.835 * [taylor]: Taking taylor expansion of (pow a 12) in a 0.835 * [taylor]: Taking taylor expansion of a in a 0.836 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in (b a) around 0 0.836 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in a 0.836 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 0.836 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 0.836 * [taylor]: Taking taylor expansion of (pow b 2) in a 0.836 * [taylor]: Taking taylor expansion of b in a 0.836 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.836 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.836 * [taylor]: Taking taylor expansion of a in a 0.836 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 6) in b 0.836 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 0.836 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.836 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.836 * [taylor]: Taking taylor expansion of b in b 0.836 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 0.836 * [taylor]: Taking taylor expansion of (pow a 2) in b 0.836 * [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.837 * [taylor]: Taking taylor expansion of 1 in a 0.837 * [taylor]: Taking taylor expansion of 0 in a 0.838 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow a 2))) in a 0.838 * [taylor]: Taking taylor expansion of 6 in a 0.838 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.838 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.838 * [taylor]: Taking taylor expansion of a in a 0.839 * [taylor]: Taking taylor expansion of 0 in a 0.840 * [taylor]: Taking taylor expansion of (* 15 (/ 1 (pow a 4))) in a 0.840 * [taylor]: Taking taylor expansion of 15 in a 0.840 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 0.840 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.840 * [taylor]: Taking taylor expansion of a in a 0.842 * [taylor]: Taking taylor expansion of 0 in a 0.843 * [taylor]: Taking taylor expansion of (* 20 (/ 1 (pow a 6))) in a 0.843 * [taylor]: Taking taylor expansion of 20 in a 0.843 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a 0.843 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.843 * [taylor]: Taking taylor expansion of a in a 0.845 * [taylor]: Taking taylor expansion of 0 in a 0.847 * [taylor]: Taking taylor expansion of (* 15 (/ 1 (pow a 8))) in a 0.847 * [taylor]: Taking taylor expansion of 15 in a 0.847 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 0.847 * [taylor]: Taking taylor expansion of (pow a 8) in a 0.847 * [taylor]: Taking taylor expansion of a in a 0.849 * [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.854 * [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 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1) 0.858 * [approximate]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in (a) around 0 0.858 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in a 0.858 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.858 * [taylor]: Taking taylor expansion of a in a 0.858 * [taylor]: Taking taylor expansion of (- 1 a) in a 0.858 * [taylor]: Taking taylor expansion of 1 in a 0.858 * [taylor]: Taking taylor expansion of a in a 0.858 * [taylor]: Taking taylor expansion of (* (pow a 2) (- 1 a)) in a 0.858 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.858 * [taylor]: Taking taylor expansion of a in a 0.858 * [taylor]: Taking taylor expansion of (- 1 a) in a 0.858 * [taylor]: Taking taylor expansion of 1 in a 0.858 * [taylor]: Taking taylor expansion of a in a 0.860 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in (a) around 0 0.860 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in a 0.860 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 0.860 * [taylor]: Taking taylor expansion of 1 in a 0.860 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.860 * [taylor]: Taking taylor expansion of a 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.860 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 a)) (pow a 2)) in a 0.860 * [taylor]: Taking taylor expansion of (- 1 (/ 1 a)) in a 0.860 * [taylor]: Taking taylor expansion of 1 in a 0.860 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.860 * [taylor]: Taking taylor expansion of a 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.862 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in (a) around 0 0.862 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in a 0.862 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 0.862 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.862 * [taylor]: Taking taylor expansion of a in a 0.862 * [taylor]: Taking taylor expansion of 1 in a 0.862 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.862 * [taylor]: Taking taylor expansion of a in a 0.862 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 1) (pow a 2)) in a 0.862 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 1) in a 0.862 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.862 * [taylor]: Taking taylor expansion of a in a 0.862 * [taylor]: Taking taylor expansion of 1 in a 0.862 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.862 * [taylor]: Taking taylor expansion of a in a 0.864 * * * [progress]: simplifying candidates 0.865 * [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.897 * * [simplify]: iteration 0 : 5369 enodes (cost 912 ) 0.901 * [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.902 * * * [progress]: adding candidates to table 0.988 * * [progress]: iteration 4 / 4 0.988 * * * [progress]: picking best candidate 0.991 * * * * [pick]: Picked # 0.991 * * * [progress]: localizing error 1.013 * * * [progress]: generating rewritten candidates 1.013 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 1.018 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 1.023 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2) 1.031 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 1.038 * * * [progress]: generating series expansions 1.038 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 1.038 * [approximate]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 4) 1/3) in (b a) around 0 1.038 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 4) 1/3) in a 1.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4)))) in a 1.038 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4))) in a 1.038 * [taylor]: Taking taylor expansion of 1/3 in a 1.038 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 4)) in a 1.038 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in a 1.038 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 1.038 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.038 * [taylor]: Taking taylor expansion of a in a 1.039 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.039 * [taylor]: Taking taylor expansion of b in a 1.039 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 4) 1/3) in b 1.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4)))) in b 1.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4))) in b 1.039 * [taylor]: Taking taylor expansion of 1/3 in b 1.039 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 4)) in b 1.039 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in b 1.039 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.039 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.039 * [taylor]: Taking taylor expansion of a in b 1.039 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.039 * [taylor]: Taking taylor expansion of b in b 1.040 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 4) 1/3) in b 1.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4)))) in b 1.040 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 4))) in b 1.040 * [taylor]: Taking taylor expansion of 1/3 in b 1.040 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 4)) in b 1.040 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in b 1.040 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.040 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.040 * [taylor]: Taking taylor expansion of a in b 1.040 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.040 * [taylor]: Taking taylor expansion of b in b 1.040 * [taylor]: Taking taylor expansion of (pow (pow a 8) 1/3) in a 1.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 8)))) in a 1.040 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 8))) in a 1.040 * [taylor]: Taking taylor expansion of 1/3 in a 1.040 * [taylor]: Taking taylor expansion of (log (pow a 8)) in a 1.040 * [taylor]: Taking taylor expansion of (pow a 8) in a 1.040 * [taylor]: Taking taylor expansion of a in a 1.041 * [taylor]: Taking taylor expansion of 0 in a 1.042 * [taylor]: Taking taylor expansion of (* 4/3 (pow (pow a 2) 1/3)) in a 1.042 * [taylor]: Taking taylor expansion of 4/3 in a 1.043 * [taylor]: Taking taylor expansion of (pow (pow a 2) 1/3) in a 1.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 2)))) in a 1.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 2))) in a 1.043 * [taylor]: Taking taylor expansion of 1/3 in a 1.043 * [taylor]: Taking taylor expansion of (log (pow a 2)) in a 1.043 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.043 * [taylor]: Taking taylor expansion of a in a 1.045 * [taylor]: Taking taylor expansion of 0 in a 1.046 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in (b a) around 0 1.046 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in a 1.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in a 1.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in a 1.046 * [taylor]: Taking taylor expansion of 1/3 in a 1.046 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in a 1.046 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in a 1.046 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.046 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.046 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.046 * [taylor]: Taking taylor expansion of b in a 1.046 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.046 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.046 * [taylor]: Taking taylor expansion of a in a 1.046 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in b 1.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in b 1.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in b 1.047 * [taylor]: Taking taylor expansion of 1/3 in b 1.047 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in b 1.047 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.047 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.047 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.047 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.047 * [taylor]: Taking taylor expansion of b in b 1.047 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.047 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.047 * [taylor]: Taking taylor expansion of a in b 1.047 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in b 1.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in b 1.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in b 1.047 * [taylor]: Taking taylor expansion of 1/3 in b 1.047 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in b 1.047 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.047 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.047 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.047 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.047 * [taylor]: Taking taylor expansion of b in b 1.047 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.047 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.047 * [taylor]: Taking taylor expansion of a in b 1.047 * [taylor]: Taking taylor expansion of (pow b -8/3) in a 1.047 * [taylor]: Taking taylor expansion of (exp (* -8/3 (log b))) in a 1.048 * [taylor]: Taking taylor expansion of (* -8/3 (log b)) in a 1.048 * [taylor]: Taking taylor expansion of -8/3 in a 1.048 * [taylor]: Taking taylor expansion of (log b) in a 1.048 * [taylor]: Taking taylor expansion of b in a 1.048 * [taylor]: Taking taylor expansion of 0 in a 1.049 * [taylor]: Taking taylor expansion of (* 4/3 (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 8)) 1/3))) in a 1.049 * [taylor]: Taking taylor expansion of 4/3 in a 1.049 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 8)) 1/3)) in a 1.049 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.050 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.050 * [taylor]: Taking taylor expansion of a in a 1.050 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 8)) 1/3) in a 1.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 8))))) in a 1.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 8)))) in a 1.050 * [taylor]: Taking taylor expansion of 1/3 in a 1.050 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 8))) in a 1.050 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in a 1.050 * [taylor]: Taking taylor expansion of (pow b 8) in a 1.050 * [taylor]: Taking taylor expansion of b in a 1.054 * [taylor]: Taking taylor expansion of 0 in a 1.054 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in (b a) around 0 1.054 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in a 1.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in a 1.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in a 1.054 * [taylor]: Taking taylor expansion of 1/3 in a 1.054 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in a 1.054 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in a 1.054 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.054 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.054 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.054 * [taylor]: Taking taylor expansion of b in a 1.054 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.054 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.055 * [taylor]: Taking taylor expansion of a in a 1.055 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in b 1.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in b 1.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in b 1.055 * [taylor]: Taking taylor expansion of 1/3 in b 1.055 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in b 1.055 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.055 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.055 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.055 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.055 * [taylor]: Taking taylor expansion of b in b 1.055 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.055 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.055 * [taylor]: Taking taylor expansion of a in b 1.055 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 1/3) in b 1.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)))) in b 1.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4))) in b 1.055 * [taylor]: Taking taylor expansion of 1/3 in b 1.055 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4)) in b 1.055 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.055 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.055 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.055 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.055 * [taylor]: Taking taylor expansion of b in b 1.055 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.055 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.056 * [taylor]: Taking taylor expansion of a in b 1.056 * [taylor]: Taking taylor expansion of (pow b -8/3) in a 1.056 * [taylor]: Taking taylor expansion of (exp (* -8/3 (log b))) in a 1.056 * [taylor]: Taking taylor expansion of (* -8/3 (log b)) in a 1.056 * [taylor]: Taking taylor expansion of -8/3 in a 1.056 * [taylor]: Taking taylor expansion of (log b) in a 1.056 * [taylor]: Taking taylor expansion of b in a 1.056 * [taylor]: Taking taylor expansion of 0 in a 1.058 * [taylor]: Taking taylor expansion of (* 4/3 (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 8)) 1/3))) in a 1.058 * [taylor]: Taking taylor expansion of 4/3 in a 1.058 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 8)) 1/3)) in a 1.058 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.058 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.058 * [taylor]: Taking taylor expansion of a in a 1.058 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 8)) 1/3) in a 1.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 8))))) in a 1.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 8)))) in a 1.058 * [taylor]: Taking taylor expansion of 1/3 in a 1.058 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 8))) in a 1.058 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in a 1.058 * [taylor]: Taking taylor expansion of (pow b 8) in a 1.058 * [taylor]: Taking taylor expansion of b in a 1.062 * [taylor]: Taking taylor expansion of 0 in a 1.062 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 1.062 * [approximate]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in (b a) around 0 1.062 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in a 1.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in a 1.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in a 1.063 * [taylor]: Taking taylor expansion of 1/3 in a 1.063 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in a 1.063 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in a 1.063 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 1.063 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.063 * [taylor]: Taking taylor expansion of a in a 1.063 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.063 * [taylor]: Taking taylor expansion of b in a 1.063 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in b 1.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in b 1.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in b 1.063 * [taylor]: Taking taylor expansion of 1/3 in b 1.063 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in b 1.063 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 1.063 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.063 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.063 * [taylor]: Taking taylor expansion of a in b 1.063 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.063 * [taylor]: Taking taylor expansion of b in b 1.063 * [taylor]: Taking taylor expansion of (pow (pow (+ (pow a 2) (pow b 2)) 2) 1/3) in b 1.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2)))) in b 1.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (pow a 2) (pow b 2)) 2))) in b 1.064 * [taylor]: Taking taylor expansion of 1/3 in b 1.064 * [taylor]: Taking taylor expansion of (log (pow (+ (pow a 2) (pow b 2)) 2)) in b 1.064 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2) in b 1.064 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.064 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.064 * [taylor]: Taking taylor expansion of a in b 1.064 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.064 * [taylor]: Taking taylor expansion of b in b 1.064 * [taylor]: Taking taylor expansion of (pow (pow a 4) 1/3) in a 1.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow a 4)))) in a 1.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow a 4))) in a 1.064 * [taylor]: Taking taylor expansion of 1/3 in a 1.064 * [taylor]: Taking taylor expansion of (log (pow a 4)) in a 1.064 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.064 * [taylor]: Taking taylor expansion of a in a 1.065 * [taylor]: Taking taylor expansion of 0 in a 1.066 * [taylor]: Taking taylor expansion of (* 2/3 (pow (/ 1 (pow a 2)) 1/3)) in a 1.066 * [taylor]: Taking taylor expansion of 2/3 in a 1.066 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 2)) 1/3) in a 1.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow a 2))))) in a 1.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow a 2)))) in a 1.066 * [taylor]: Taking taylor expansion of 1/3 in a 1.066 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 2))) in a 1.066 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.066 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.066 * [taylor]: Taking taylor expansion of a in a 1.068 * [taylor]: Taking taylor expansion of 0 in a 1.069 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in (b a) around 0 1.069 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 1.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 1.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in a 1.069 * [taylor]: Taking taylor expansion of 1/3 in a 1.069 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in a 1.069 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in a 1.069 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.069 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.069 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.069 * [taylor]: Taking taylor expansion of b in a 1.070 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.070 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.070 * [taylor]: Taking taylor expansion of a in a 1.070 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in b 1.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 1.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in b 1.070 * [taylor]: Taking taylor expansion of 1/3 in b 1.070 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in b 1.070 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 1.070 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.070 * [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 (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in b 1.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 1.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) in b 1.070 * [taylor]: Taking taylor expansion of 1/3 in b 1.070 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)) in b 1.070 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 1.070 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.070 * [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.071 * [taylor]: Taking taylor expansion of (pow b -4/3) in a 1.071 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log b))) in a 1.071 * [taylor]: Taking taylor expansion of (* -4/3 (log b)) in a 1.071 * [taylor]: Taking taylor expansion of -4/3 in a 1.071 * [taylor]: Taking taylor expansion of (log b) in a 1.071 * [taylor]: Taking taylor expansion of b in a 1.071 * [taylor]: Taking taylor expansion of 0 in a 1.072 * [taylor]: Taking taylor expansion of (* 2/3 (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 4)) 1/3))) in a 1.072 * [taylor]: Taking taylor expansion of 2/3 in a 1.072 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 4)) 1/3)) in a 1.073 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.073 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.073 * [taylor]: Taking taylor expansion of a in a 1.073 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 4)) 1/3) in a 1.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 4))))) in a 1.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 4)))) in a 1.073 * [taylor]: Taking taylor expansion of 1/3 in a 1.073 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 4))) in a 1.073 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 1.073 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.073 * [taylor]: Taking taylor expansion of b in a 1.076 * [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))) 2) 1/3) in (b a) around 0 1.077 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 1/3) in a 1.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in a 1.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) 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))) 2)) in a 1.077 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 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))) 2) 1/3) in b 1.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 1.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) 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))) 2)) in b 1.077 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) in b 1.077 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.077 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.077 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.077 * [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))) 2) 1/3) in b 1.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2)))) in b 1.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2))) 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))) 2)) in b 1.078 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2) 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 -4/3) in a 1.079 * [taylor]: Taking taylor expansion of (exp (* -4/3 (log b))) in a 1.079 * [taylor]: Taking taylor expansion of (* -4/3 (log b)) in a 1.079 * [taylor]: Taking taylor expansion of -4/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 (* 2/3 (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 4)) 1/3))) in a 1.080 * [taylor]: Taking taylor expansion of 2/3 in a 1.080 * [taylor]: Taking taylor expansion of (* (/ 1 (pow a 2)) (pow (/ 1 (pow b 4)) 1/3)) in a 1.080 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.080 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.080 * [taylor]: Taking taylor expansion of a in a 1.080 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 4)) 1/3) in a 1.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 4))))) in a 1.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 4)))) in a 1.080 * [taylor]: Taking taylor expansion of 1/3 in a 1.080 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 4))) in a 1.080 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 1.080 * [taylor]: Taking taylor expansion of (pow b 4) in a 1.080 * [taylor]: Taking taylor expansion of b in a 1.084 * [taylor]: Taking taylor expansion of 0 in a 1.084 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2) 1.084 * [approximate]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in (b a) around 0 1.084 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in a 1.084 * [taylor]: Taking taylor expansion of (+ a 3) in a 1.084 * [taylor]: Taking taylor expansion of a in a 1.085 * [taylor]: Taking taylor expansion of 3 in a 1.085 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.085 * [taylor]: Taking taylor expansion of b in a 1.085 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 1.085 * [taylor]: Taking taylor expansion of (+ a 3) in b 1.085 * [taylor]: Taking taylor expansion of a in b 1.085 * [taylor]: Taking taylor expansion of 3 in b 1.085 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.085 * [taylor]: Taking taylor expansion of b in b 1.085 * [taylor]: Taking taylor expansion of (* (+ a 3) (pow b 2)) in b 1.085 * [taylor]: Taking taylor expansion of (+ a 3) in b 1.085 * [taylor]: Taking taylor expansion of a in b 1.085 * [taylor]: Taking taylor expansion of 3 in b 1.085 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.085 * [taylor]: Taking taylor expansion of b in b 1.085 * [taylor]: Taking taylor expansion of (+ a 3) in a 1.085 * [taylor]: Taking taylor expansion of a in a 1.085 * [taylor]: Taking taylor expansion of 3 in a 1.085 * [taylor]: Taking taylor expansion of 0 in a 1.085 * [taylor]: Taking taylor expansion of 0 in a 1.085 * [taylor]: Taking taylor expansion of 0 in a 1.086 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in (b a) around 0 1.086 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in a 1.086 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 1.086 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.086 * [taylor]: Taking taylor expansion of a in a 1.086 * [taylor]: Taking taylor expansion of 3 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 (/ (+ (/ 1 a) 3) (pow b 2)) in b 1.086 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 1.086 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.086 * [taylor]: Taking taylor expansion of a in b 1.086 * [taylor]: Taking taylor expansion of 3 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.086 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 a) 3) (pow b 2)) in b 1.086 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in b 1.086 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.086 * [taylor]: Taking taylor expansion of a in b 1.086 * [taylor]: Taking taylor expansion of 3 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.086 * [taylor]: Taking taylor expansion of (+ (/ 1 a) 3) in a 1.086 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.086 * [taylor]: Taking taylor expansion of a in a 1.086 * [taylor]: Taking taylor expansion of 3 in a 1.087 * [taylor]: Taking taylor expansion of 0 in a 1.087 * [taylor]: Taking taylor expansion of 0 in a 1.087 * [taylor]: Taking taylor expansion of 0 in a 1.088 * [taylor]: Taking taylor expansion of 0 in a 1.088 * [approximate]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in (b a) around 0 1.088 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in a 1.088 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 1.088 * [taylor]: Taking taylor expansion of 3 in a 1.088 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.088 * [taylor]: Taking taylor expansion of a in a 1.088 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.088 * [taylor]: Taking taylor expansion of b in a 1.088 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 1.088 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 1.088 * [taylor]: Taking taylor expansion of 3 in b 1.088 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.088 * [taylor]: Taking taylor expansion of a in b 1.088 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.088 * [taylor]: Taking taylor expansion of b in b 1.089 * [taylor]: Taking taylor expansion of (/ (- 3 (/ 1 a)) (pow b 2)) in b 1.089 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in b 1.089 * [taylor]: Taking taylor expansion of 3 in b 1.089 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.089 * [taylor]: Taking taylor expansion of a in b 1.089 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.089 * [taylor]: Taking taylor expansion of b in b 1.089 * [taylor]: Taking taylor expansion of (- 3 (/ 1 a)) in a 1.089 * [taylor]: Taking taylor expansion of 3 in a 1.089 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.089 * [taylor]: Taking taylor expansion of a in a 1.089 * [taylor]: Taking taylor expansion of 0 in a 1.089 * [taylor]: Taking taylor expansion of 0 in a 1.090 * [taylor]: Taking taylor expansion of 0 in a 1.090 * [taylor]: Taking taylor expansion of 0 in a 1.090 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 1.091 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in (b a) around 0 1.091 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in a 1.091 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 1.091 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.091 * [taylor]: Taking taylor expansion of a in a 1.091 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.091 * [taylor]: Taking taylor expansion of b in a 1.091 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in b 1.091 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.091 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.091 * [taylor]: Taking taylor expansion of a in b 1.091 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.091 * [taylor]: Taking taylor expansion of b in b 1.091 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4) in b 1.091 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 1.091 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.091 * [taylor]: Taking taylor expansion of a in b 1.091 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.091 * [taylor]: Taking taylor expansion of b in b 1.091 * [taylor]: Taking taylor expansion of (pow a 8) in a 1.091 * [taylor]: Taking taylor expansion of a in a 1.092 * [taylor]: Taking taylor expansion of 0 in a 1.092 * [taylor]: Taking taylor expansion of (* 4 (pow a 6)) in a 1.092 * [taylor]: Taking taylor expansion of 4 in a 1.092 * [taylor]: Taking taylor expansion of (pow a 6) in a 1.092 * [taylor]: Taking taylor expansion of a in a 1.093 * [taylor]: Taking taylor expansion of 0 in a 1.093 * [taylor]: Taking taylor expansion of (* 6 (pow a 4)) in a 1.093 * [taylor]: Taking taylor expansion of 6 in a 1.093 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.093 * [taylor]: Taking taylor expansion of a in a 1.094 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in (b a) around 0 1.094 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in a 1.094 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.094 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.094 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.094 * [taylor]: Taking taylor expansion of b in a 1.094 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.094 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.094 * [taylor]: Taking taylor expansion of a in a 1.094 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 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 (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) 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 1 in a 1.095 * [taylor]: Taking taylor expansion of 0 in a 1.095 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 2))) in a 1.095 * [taylor]: Taking taylor expansion of 4 in a 1.095 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.095 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.095 * [taylor]: Taking taylor expansion of a in a 1.096 * [taylor]: Taking taylor expansion of 0 in a 1.097 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow a 4))) in a 1.097 * [taylor]: Taking taylor expansion of 6 in a 1.097 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 1.097 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.097 * [taylor]: Taking taylor expansion of a in a 1.098 * [taylor]: Taking taylor expansion of 0 in a 1.099 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 6))) in a 1.099 * [taylor]: Taking taylor expansion of 4 in a 1.099 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a 1.099 * [taylor]: Taking taylor expansion of (pow a 6) in a 1.099 * [taylor]: Taking taylor expansion of a in a 1.101 * [taylor]: Taking taylor expansion of 0 in a 1.102 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 1.102 * [taylor]: Taking taylor expansion of (pow a 8) in a 1.102 * [taylor]: Taking taylor expansion of a in a 1.103 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in (b a) around 0 1.103 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in a 1.103 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 1.103 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 1.103 * [taylor]: Taking taylor expansion of (pow b 2) in a 1.103 * [taylor]: Taking taylor expansion of b in a 1.103 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 1.103 * [taylor]: Taking taylor expansion of (pow a 2) in a 1.103 * [taylor]: Taking taylor expansion of a in a 1.103 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.103 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.103 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.103 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.103 * [taylor]: Taking taylor expansion of b in b 1.103 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.103 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.103 * [taylor]: Taking taylor expansion of a in b 1.103 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4) in b 1.103 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 1.103 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 1.103 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.103 * [taylor]: Taking taylor expansion of b in b 1.103 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 1.104 * [taylor]: Taking taylor expansion of (pow a 2) in b 1.104 * [taylor]: Taking taylor expansion of a in b 1.104 * [taylor]: Taking taylor expansion of 1 in a 1.104 * [taylor]: Taking taylor expansion of 0 in a 1.104 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 2))) in a 1.104 * [taylor]: Taking taylor expansion of 4 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.105 * [taylor]: Taking taylor expansion of 0 in a 1.106 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow a 4))) in a 1.106 * [taylor]: Taking taylor expansion of 6 in a 1.106 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 1.106 * [taylor]: Taking taylor expansion of (pow a 4) in a 1.106 * [taylor]: Taking taylor expansion of a in a 1.107 * [taylor]: Taking taylor expansion of 0 in a 1.108 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 6))) in a 1.109 * [taylor]: Taking taylor expansion of 4 in a 1.109 * [taylor]: Taking taylor expansion of (/ 1 (pow a 6)) in a 1.109 * [taylor]: Taking taylor expansion of (pow a 6) in a 1.109 * [taylor]: Taking taylor expansion of a in a 1.110 * [taylor]: Taking taylor expansion of 0 in a 1.111 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 1.111 * [taylor]: Taking taylor expansion of (pow a 8) in a 1.111 * [taylor]: Taking taylor expansion of a in a 1.112 * * * [progress]: simplifying candidates 1.115 * [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.170 * * [simplify]: iteration 0 : 4909 enodes (cost 972 ) 1.170 * * [simplify]: iteration 1 : 4909 enodes (cost 972 ) 1.174 * [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.175 * * * [progress]: adding candidates to table 1.268 * [progress]: [Phase 3 of 3] Extracting. 1.268 * * [regime]: Finding splitpoints for: (# # #) 1.270 * * * [regime-changes]: Trying 3 branch expressions: ((*.f64 b b) b a) 1.270 * * * * [regimes]: Trying to branch on (*.f64 b b) from (# # #) 1.303 * * * * [regimes]: Trying to branch on (*.f64 b b) from (# #) 1.334 * * * * [regimes]: Trying to branch on b from (# # #) 1.367 * * * * [regimes]: Trying to branch on a from (# # #) 1.402 * * * [regime]: Found split indices: #