25.412 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying using # : (+ (+ (+ (+ e d) c) b) a) 0.025 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 0.026 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 0.029 * * [simplify]: iteration 2 : 55 enodes (cost 9 ) 0.043 * * [simplify]: iteration 3 : 154 enodes (cost 9 ) 0.093 * * [simplify]: iteration 4 : 231 enodes (cost 9 ) 0.161 * * [simplify]: iteration 5 : 233 enodes (cost 9 ) 0.227 * * [simplify]: iteration done : 233 enodes (cost 9 ) 0.227 * [simplify]: Simplified to: (+ (+ (+ (+ e d) c) b) a) 0.227 * * [progress]: iteration 1 / 4 0.227 * * * [progress]: picking best candidate 0.229 * * * * [pick]: Picked # 0.229 * * * [progress]: localizing error 0.236 * * * [progress]: generating rewritten candidates 0.236 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.525 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.595 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 0.614 * * * [progress]: generating series expansions 0.614 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.614 * [approximate]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in (e d c b a) around 0 0.614 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in a 0.614 * [taylor]: Taking taylor expansion of d in a 0.614 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in a 0.614 * [taylor]: Taking taylor expansion of e in a 0.614 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 0.614 * [taylor]: Taking taylor expansion of a in a 0.614 * [taylor]: Taking taylor expansion of (+ b c) in a 0.614 * [taylor]: Taking taylor expansion of b in a 0.614 * [taylor]: Taking taylor expansion of c in a 0.614 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in b 0.614 * [taylor]: Taking taylor expansion of d in b 0.614 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in b 0.614 * [taylor]: Taking taylor expansion of e in b 0.614 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 0.614 * [taylor]: Taking taylor expansion of a in b 0.615 * [taylor]: Taking taylor expansion of (+ b c) in b 0.615 * [taylor]: Taking taylor expansion of b in b 0.615 * [taylor]: Taking taylor expansion of c in b 0.615 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in c 0.615 * [taylor]: Taking taylor expansion of d in c 0.615 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in c 0.615 * [taylor]: Taking taylor expansion of e in c 0.615 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 0.615 * [taylor]: Taking taylor expansion of a in c 0.615 * [taylor]: Taking taylor expansion of (+ b c) in c 0.615 * [taylor]: Taking taylor expansion of b in c 0.615 * [taylor]: Taking taylor expansion of c in c 0.615 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in d 0.615 * [taylor]: Taking taylor expansion of d in d 0.615 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in d 0.615 * [taylor]: Taking taylor expansion of e in d 0.615 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.615 * [taylor]: Taking taylor expansion of a in d 0.615 * [taylor]: Taking taylor expansion of (+ b c) in d 0.615 * [taylor]: Taking taylor expansion of b in d 0.615 * [taylor]: Taking taylor expansion of c in d 0.615 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in e 0.615 * [taylor]: Taking taylor expansion of d in e 0.615 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in e 0.615 * [taylor]: Taking taylor expansion of e in e 0.615 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in e 0.615 * [taylor]: Taking taylor expansion of a in e 0.615 * [taylor]: Taking taylor expansion of (+ b c) in e 0.615 * [taylor]: Taking taylor expansion of b in e 0.615 * [taylor]: Taking taylor expansion of c in e 0.615 * [taylor]: Taking taylor expansion of (+ d (+ e (+ a (+ b c)))) in e 0.615 * [taylor]: Taking taylor expansion of d in e 0.615 * [taylor]: Taking taylor expansion of (+ e (+ a (+ b c))) in e 0.615 * [taylor]: Taking taylor expansion of e in e 0.615 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in e 0.615 * [taylor]: Taking taylor expansion of a in e 0.615 * [taylor]: Taking taylor expansion of (+ b c) in e 0.615 * [taylor]: Taking taylor expansion of b in e 0.615 * [taylor]: Taking taylor expansion of c in e 0.615 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 0.615 * [taylor]: Taking taylor expansion of d in d 0.615 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 0.615 * [taylor]: Taking taylor expansion of a in d 0.615 * [taylor]: Taking taylor expansion of (+ b c) in d 0.616 * [taylor]: Taking taylor expansion of b in d 0.616 * [taylor]: Taking taylor expansion of c in d 0.616 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 0.616 * [taylor]: Taking taylor expansion of a in c 0.616 * [taylor]: Taking taylor expansion of (+ c b) in c 0.616 * [taylor]: Taking taylor expansion of c in c 0.616 * [taylor]: Taking taylor expansion of b in c 0.616 * [taylor]: Taking taylor expansion of (+ a b) in b 0.616 * [taylor]: Taking taylor expansion of a in b 0.616 * [taylor]: Taking taylor expansion of b in b 0.616 * [taylor]: Taking taylor expansion of a in a 0.617 * [taylor]: Taking taylor expansion of 1 in d 0.617 * [taylor]: Taking taylor expansion of 1 in c 0.618 * [taylor]: Taking taylor expansion of 1 in b 0.618 * [taylor]: Taking taylor expansion of 1 in a 0.618 * [taylor]: Taking taylor expansion of 1 in c 0.619 * [taylor]: Taking taylor expansion of 1 in b 0.619 * [taylor]: Taking taylor expansion of 1 in a 0.619 * [taylor]: Taking taylor expansion of 1 in b 0.619 * [taylor]: Taking taylor expansion of 1 in a 0.620 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in (e d c b a) around 0 0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.620 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.620 * [taylor]: Taking taylor expansion of a in a 0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.620 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.620 * [taylor]: Taking taylor expansion of e in a 0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.620 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.620 * [taylor]: Taking taylor expansion of c in a 0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.620 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.620 * [taylor]: Taking taylor expansion of d in a 0.620 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.620 * [taylor]: Taking taylor expansion of b in a 0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.620 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.620 * [taylor]: Taking taylor expansion of a in b 0.620 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.621 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.621 * [taylor]: Taking taylor expansion of e in b 0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.621 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.621 * [taylor]: Taking taylor expansion of c in b 0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.621 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.621 * [taylor]: Taking taylor expansion of d in b 0.621 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.621 * [taylor]: Taking taylor expansion of b in b 0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.621 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.621 * [taylor]: Taking taylor expansion of a in c 0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.621 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.621 * [taylor]: Taking taylor expansion of e in c 0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.621 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.621 * [taylor]: Taking taylor expansion of c in c 0.621 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.621 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.621 * [taylor]: Taking taylor expansion of d in c 0.622 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.622 * [taylor]: Taking taylor expansion of b in c 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.622 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.622 * [taylor]: Taking taylor expansion of a in d 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.622 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.622 * [taylor]: Taking taylor expansion of e in d 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.622 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.622 * [taylor]: Taking taylor expansion of c in d 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.622 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.622 * [taylor]: Taking taylor expansion of d in d 0.622 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.622 * [taylor]: Taking taylor expansion of b in d 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.622 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.622 * [taylor]: Taking taylor expansion of a in e 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.622 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.622 * [taylor]: Taking taylor expansion of e in e 0.622 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.623 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.623 * [taylor]: Taking taylor expansion of c in e 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.623 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.623 * [taylor]: Taking taylor expansion of d in e 0.623 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.623 * [taylor]: Taking taylor expansion of b in e 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.623 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.623 * [taylor]: Taking taylor expansion of a in e 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.623 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.623 * [taylor]: Taking taylor expansion of e in e 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.623 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.623 * [taylor]: Taking taylor expansion of c in e 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.623 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.623 * [taylor]: Taking taylor expansion of d in e 0.623 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.623 * [taylor]: Taking taylor expansion of b in e 0.624 * [taylor]: Taking taylor expansion of 1 in d 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 0.625 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.625 * [taylor]: Taking taylor expansion of b in d 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 0.625 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.625 * [taylor]: Taking taylor expansion of d in d 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 0.625 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.625 * [taylor]: Taking taylor expansion of c in d 0.625 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.625 * [taylor]: Taking taylor expansion of a in d 0.626 * [taylor]: Taking taylor expansion of 1 in c 0.626 * [taylor]: Taking taylor expansion of 1 in c 0.627 * [taylor]: Taking taylor expansion of 0 in d 0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.628 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.628 * [taylor]: Taking taylor expansion of a in c 0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.628 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.628 * [taylor]: Taking taylor expansion of c in c 0.628 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.628 * [taylor]: Taking taylor expansion of b in c 0.629 * [taylor]: Taking taylor expansion of 1 in b 0.629 * [taylor]: Taking taylor expansion of 0 in c 0.629 * [taylor]: Taking taylor expansion of 1 in b 0.629 * [taylor]: Taking taylor expansion of 1 in b 0.631 * [taylor]: Taking taylor expansion of 0 in d 0.631 * [taylor]: Taking taylor expansion of 0 in c 0.632 * [taylor]: Taking taylor expansion of 0 in c 0.632 * [taylor]: Taking taylor expansion of 0 in c 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.633 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.633 * [taylor]: Taking taylor expansion of b in b 0.633 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.633 * [taylor]: Taking taylor expansion of a in b 0.633 * [taylor]: Taking taylor expansion of 1 in a 0.633 * [taylor]: Taking taylor expansion of 0 in b 0.633 * [taylor]: Taking taylor expansion of 0 in b 0.633 * [taylor]: Taking taylor expansion of 0 in b 0.634 * [taylor]: Taking taylor expansion of 1 in a 0.634 * [taylor]: Taking taylor expansion of 1 in a 0.634 * [taylor]: Taking taylor expansion of 1 in a 0.635 * [taylor]: Taking taylor expansion of 0 in d 0.635 * [taylor]: Taking taylor expansion of 0 in c 0.636 * [taylor]: Taking taylor expansion of 0 in c 0.637 * [taylor]: Taking taylor expansion of 0 in c 0.637 * [taylor]: Taking taylor expansion of 0 in c 0.637 * [taylor]: Taking taylor expansion of 0 in b 0.637 * [taylor]: Taking taylor expansion of 0 in b 0.637 * [taylor]: Taking taylor expansion of 0 in b 0.638 * [taylor]: Taking taylor expansion of 0 in b 0.638 * [taylor]: Taking taylor expansion of 0 in b 0.638 * [taylor]: Taking taylor expansion of 0 in b 0.638 * [taylor]: Taking taylor expansion of 0 in b 0.639 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.639 * [taylor]: Taking taylor expansion of a in a 0.639 * [taylor]: Taking taylor expansion of 0 in a 0.639 * [taylor]: Taking taylor expansion of 0 in a 0.639 * [taylor]: Taking taylor expansion of 0 in a 0.639 * [taylor]: Taking taylor expansion of 0 in a 0.639 * [taylor]: Taking taylor expansion of 0 in a 0.639 * [taylor]: Taking taylor expansion of 0 in a 0.641 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in (e d c b a) around 0 0.641 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in a 0.641 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in a 0.641 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.641 * [taylor]: Taking taylor expansion of a in a 0.641 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in a 0.641 * [taylor]: Taking taylor expansion of (/ 1 e) in a 0.641 * [taylor]: Taking taylor expansion of e in a 0.641 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in a 0.641 * [taylor]: Taking taylor expansion of (/ 1 c) in a 0.641 * [taylor]: Taking taylor expansion of c in a 0.641 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in a 0.641 * [taylor]: Taking taylor expansion of (/ 1 d) in a 0.641 * [taylor]: Taking taylor expansion of d in a 0.641 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.641 * [taylor]: Taking taylor expansion of b in a 0.641 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in b 0.641 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in b 0.641 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.641 * [taylor]: Taking taylor expansion of a in b 0.641 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in b 0.642 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.642 * [taylor]: Taking taylor expansion of e in b 0.642 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in b 0.642 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.642 * [taylor]: Taking taylor expansion of c in b 0.642 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in b 0.642 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.642 * [taylor]: Taking taylor expansion of d in b 0.642 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.642 * [taylor]: Taking taylor expansion of b in b 0.642 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in c 0.642 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in c 0.642 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.642 * [taylor]: Taking taylor expansion of a in c 0.642 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in c 0.642 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.642 * [taylor]: Taking taylor expansion of e in c 0.642 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in c 0.642 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.642 * [taylor]: Taking taylor expansion of c in c 0.642 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in c 0.642 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.642 * [taylor]: Taking taylor expansion of d in c 0.643 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.643 * [taylor]: Taking taylor expansion of b in c 0.643 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in d 0.643 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in d 0.643 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.643 * [taylor]: Taking taylor expansion of a in d 0.643 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.643 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.643 * [taylor]: Taking taylor expansion of e in d 0.643 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.643 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.643 * [taylor]: Taking taylor expansion of c in d 0.643 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.643 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.643 * [taylor]: Taking taylor expansion of d in d 0.643 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.643 * [taylor]: Taking taylor expansion of b in d 0.643 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in e 0.643 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.643 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.643 * [taylor]: Taking taylor expansion of a in e 0.643 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.643 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.643 * [taylor]: Taking taylor expansion of e in e 0.644 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.644 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.644 * [taylor]: Taking taylor expansion of c in e 0.644 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.644 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.644 * [taylor]: Taking taylor expansion of d in e 0.644 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.644 * [taylor]: Taking taylor expansion of b in e 0.644 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))))) in e 0.644 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))))) in e 0.644 * [taylor]: Taking taylor expansion of (/ 1 a) in e 0.644 * [taylor]: Taking taylor expansion of a in e 0.644 * [taylor]: Taking taylor expansion of (+ (/ 1 e) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in e 0.644 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.644 * [taylor]: Taking taylor expansion of e in e 0.644 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in e 0.644 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.644 * [taylor]: Taking taylor expansion of c in e 0.644 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in e 0.644 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.644 * [taylor]: Taking taylor expansion of d in e 0.644 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.644 * [taylor]: Taking taylor expansion of b in e 0.645 * [taylor]: Taking taylor expansion of -1 in d 0.646 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 0.646 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.646 * [taylor]: Taking taylor expansion of b in d 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 0.646 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.646 * [taylor]: Taking taylor expansion of c in d 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 0.646 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.646 * [taylor]: Taking taylor expansion of d in d 0.647 * [taylor]: Taking taylor expansion of (/ 1 a) in d 0.647 * [taylor]: Taking taylor expansion of a in d 0.648 * [taylor]: Taking taylor expansion of -1 in c 0.648 * [taylor]: Taking taylor expansion of -1 in c 0.650 * [taylor]: Taking taylor expansion of 0 in d 0.650 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c 0.650 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 0.650 * [taylor]: Taking taylor expansion of (/ 1 a) in c 0.650 * [taylor]: Taking taylor expansion of a in c 0.650 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.650 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.650 * [taylor]: Taking taylor expansion of c in c 0.651 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.651 * [taylor]: Taking taylor expansion of b in c 0.652 * [taylor]: Taking taylor expansion of -1 in b 0.652 * [taylor]: Taking taylor expansion of 0 in c 0.652 * [taylor]: Taking taylor expansion of -1 in b 0.652 * [taylor]: Taking taylor expansion of -1 in b 0.654 * [taylor]: Taking taylor expansion of 0 in d 0.654 * [taylor]: Taking taylor expansion of 0 in c 0.655 * [taylor]: Taking taylor expansion of 0 in c 0.655 * [taylor]: Taking taylor expansion of 0 in c 0.656 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a))) in b 0.656 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.656 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.656 * [taylor]: Taking taylor expansion of b in b 0.656 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.656 * [taylor]: Taking taylor expansion of a in b 0.657 * [taylor]: Taking taylor expansion of -1 in a 0.657 * [taylor]: Taking taylor expansion of 0 in b 0.657 * [taylor]: Taking taylor expansion of 0 in b 0.657 * [taylor]: Taking taylor expansion of 0 in b 0.657 * [taylor]: Taking taylor expansion of -1 in a 0.657 * [taylor]: Taking taylor expansion of -1 in a 0.657 * [taylor]: Taking taylor expansion of -1 in a 0.659 * [taylor]: Taking taylor expansion of 0 in d 0.659 * [taylor]: Taking taylor expansion of 0 in c 0.659 * [taylor]: Taking taylor expansion of 0 in c 0.661 * [taylor]: Taking taylor expansion of 0 in c 0.661 * [taylor]: Taking taylor expansion of 0 in c 0.661 * [taylor]: Taking taylor expansion of 0 in b 0.661 * [taylor]: Taking taylor expansion of 0 in b 0.661 * [taylor]: Taking taylor expansion of 0 in b 0.662 * [taylor]: Taking taylor expansion of 0 in b 0.662 * [taylor]: Taking taylor expansion of 0 in b 0.662 * [taylor]: Taking taylor expansion of 0 in b 0.662 * [taylor]: Taking taylor expansion of 0 in b 0.663 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 0.663 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.663 * [taylor]: Taking taylor expansion of a in a 0.663 * [taylor]: Taking taylor expansion of 0 in a 0.663 * [taylor]: Taking taylor expansion of 0 in a 0.663 * [taylor]: Taking taylor expansion of 0 in a 0.663 * [taylor]: Taking taylor expansion of 0 in a 0.664 * [taylor]: Taking taylor expansion of 0 in a 0.664 * [taylor]: Taking taylor expansion of 0 in a 0.665 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.665 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b c))) in (e d c b) around 0 0.665 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in b 0.665 * [taylor]: Taking taylor expansion of d in b 0.665 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in b 0.665 * [taylor]: Taking taylor expansion of e in b 0.665 * [taylor]: Taking taylor expansion of (+ b c) in b 0.665 * [taylor]: Taking taylor expansion of b in b 0.665 * [taylor]: Taking taylor expansion of c in b 0.665 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in c 0.665 * [taylor]: Taking taylor expansion of d in c 0.665 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in c 0.665 * [taylor]: Taking taylor expansion of e in c 0.665 * [taylor]: Taking taylor expansion of (+ b c) in c 0.665 * [taylor]: Taking taylor expansion of b in c 0.665 * [taylor]: Taking taylor expansion of c in c 0.665 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in d 0.665 * [taylor]: Taking taylor expansion of d in d 0.665 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in d 0.665 * [taylor]: Taking taylor expansion of e in d 0.665 * [taylor]: Taking taylor expansion of (+ b c) in d 0.665 * [taylor]: Taking taylor expansion of b in d 0.665 * [taylor]: Taking taylor expansion of c in d 0.665 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in e 0.665 * [taylor]: Taking taylor expansion of d in e 0.665 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in e 0.665 * [taylor]: Taking taylor expansion of e in e 0.665 * [taylor]: Taking taylor expansion of (+ b c) in e 0.665 * [taylor]: Taking taylor expansion of b in e 0.665 * [taylor]: Taking taylor expansion of c in e 0.665 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b c))) in e 0.665 * [taylor]: Taking taylor expansion of d in e 0.665 * [taylor]: Taking taylor expansion of (+ e (+ b c)) in e 0.665 * [taylor]: Taking taylor expansion of e in e 0.665 * [taylor]: Taking taylor expansion of (+ b c) in e 0.665 * [taylor]: Taking taylor expansion of b in e 0.665 * [taylor]: Taking taylor expansion of c in e 0.666 * [taylor]: Taking taylor expansion of (+ d (+ b c)) in d 0.666 * [taylor]: Taking taylor expansion of d in d 0.666 * [taylor]: Taking taylor expansion of (+ b c) in d 0.666 * [taylor]: Taking taylor expansion of b in d 0.666 * [taylor]: Taking taylor expansion of c in d 0.666 * [taylor]: Taking taylor expansion of (+ c b) in c 0.666 * [taylor]: Taking taylor expansion of c in c 0.666 * [taylor]: Taking taylor expansion of b in c 0.666 * [taylor]: Taking taylor expansion of b in b 0.667 * [taylor]: Taking taylor expansion of 1 in d 0.667 * [taylor]: Taking taylor expansion of 1 in c 0.667 * [taylor]: Taking taylor expansion of 1 in b 0.667 * [taylor]: Taking taylor expansion of 1 in c 0.667 * [taylor]: Taking taylor expansion of 1 in b 0.668 * [taylor]: Taking taylor expansion of 1 in b 0.668 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in (e d c b) around 0 0.668 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in b 0.668 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.668 * [taylor]: Taking taylor expansion of b in b 0.669 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in b 0.669 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.669 * [taylor]: Taking taylor expansion of d in b 0.669 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in b 0.669 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.669 * [taylor]: Taking taylor expansion of c in b 0.669 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.669 * [taylor]: Taking taylor expansion of e in b 0.669 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in c 0.669 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.669 * [taylor]: Taking taylor expansion of b in c 0.669 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in c 0.669 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.669 * [taylor]: Taking taylor expansion of d in c 0.669 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 0.669 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.669 * [taylor]: Taking taylor expansion of c in c 0.669 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.669 * [taylor]: Taking taylor expansion of e in c 0.669 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 0.669 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.669 * [taylor]: Taking taylor expansion of b in d 0.669 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 0.669 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.669 * [taylor]: Taking taylor expansion of d in d 0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 0.670 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.670 * [taylor]: Taking taylor expansion of c in d 0.670 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.670 * [taylor]: Taking taylor expansion of e in d 0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 0.670 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.670 * [taylor]: Taking taylor expansion of b in e 0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 0.670 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.670 * [taylor]: Taking taylor expansion of d in e 0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 0.670 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.670 * [taylor]: Taking taylor expansion of c in e 0.670 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.670 * [taylor]: Taking taylor expansion of e in e 0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 0.670 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.670 * [taylor]: Taking taylor expansion of b in e 0.670 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 0.670 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.670 * [taylor]: Taking taylor expansion of d in e 0.671 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 0.671 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.671 * [taylor]: Taking taylor expansion of c in e 0.671 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.671 * [taylor]: Taking taylor expansion of e in e 0.672 * [taylor]: Taking taylor expansion of 1 in d 0.672 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.672 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.672 * [taylor]: Taking taylor expansion of c in d 0.672 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.672 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.672 * [taylor]: Taking taylor expansion of d in d 0.673 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.673 * [taylor]: Taking taylor expansion of b in d 0.673 * [taylor]: Taking taylor expansion of 1 in c 0.674 * [taylor]: Taking taylor expansion of 1 in c 0.675 * [taylor]: Taking taylor expansion of 0 in d 0.675 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.675 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.675 * [taylor]: Taking taylor expansion of c in c 0.676 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.676 * [taylor]: Taking taylor expansion of b in c 0.676 * [taylor]: Taking taylor expansion of 1 in b 0.676 * [taylor]: Taking taylor expansion of 0 in c 0.676 * [taylor]: Taking taylor expansion of 1 in b 0.676 * [taylor]: Taking taylor expansion of 1 in b 0.678 * [taylor]: Taking taylor expansion of 0 in d 0.678 * [taylor]: Taking taylor expansion of 0 in c 0.679 * [taylor]: Taking taylor expansion of 0 in c 0.679 * [taylor]: Taking taylor expansion of 0 in c 0.679 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.679 * [taylor]: Taking taylor expansion of b in b 0.680 * [taylor]: Taking taylor expansion of 0 in b 0.680 * [taylor]: Taking taylor expansion of 0 in b 0.680 * [taylor]: Taking taylor expansion of 0 in b 0.681 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in (e d c b) around 0 0.681 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in b 0.681 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in b 0.681 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.681 * [taylor]: Taking taylor expansion of b in b 0.681 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in b 0.681 * [taylor]: Taking taylor expansion of (/ 1 d) in b 0.681 * [taylor]: Taking taylor expansion of d in b 0.681 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in b 0.681 * [taylor]: Taking taylor expansion of (/ 1 c) in b 0.681 * [taylor]: Taking taylor expansion of c in b 0.681 * [taylor]: Taking taylor expansion of (/ 1 e) in b 0.681 * [taylor]: Taking taylor expansion of e in b 0.681 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in c 0.681 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in c 0.681 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.681 * [taylor]: Taking taylor expansion of b in c 0.681 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in c 0.681 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.681 * [taylor]: Taking taylor expansion of d in c 0.681 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 0.681 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.681 * [taylor]: Taking taylor expansion of c in c 0.682 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.682 * [taylor]: Taking taylor expansion of e in c 0.682 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in d 0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 0.682 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.682 * [taylor]: Taking taylor expansion of b in d 0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 0.682 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.682 * [taylor]: Taking taylor expansion of d in d 0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 0.682 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.682 * [taylor]: Taking taylor expansion of c in d 0.682 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.682 * [taylor]: Taking taylor expansion of e in d 0.682 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in e 0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 0.682 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.682 * [taylor]: Taking taylor expansion of b in e 0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 0.682 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.682 * [taylor]: Taking taylor expansion of d in e 0.682 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 0.682 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.682 * [taylor]: Taking taylor expansion of c in e 0.683 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.683 * [taylor]: Taking taylor expansion of e in e 0.683 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in e 0.683 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 0.683 * [taylor]: Taking taylor expansion of (/ 1 b) in e 0.683 * [taylor]: Taking taylor expansion of b in e 0.683 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 0.683 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.683 * [taylor]: Taking taylor expansion of d in e 0.683 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 0.683 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.683 * [taylor]: Taking taylor expansion of c in e 0.683 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.683 * [taylor]: Taking taylor expansion of e in e 0.684 * [taylor]: Taking taylor expansion of -1 in d 0.685 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 0.685 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.685 * [taylor]: Taking taylor expansion of c in d 0.685 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 0.685 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.685 * [taylor]: Taking taylor expansion of d in d 0.686 * [taylor]: Taking taylor expansion of (/ 1 b) in d 0.686 * [taylor]: Taking taylor expansion of b in d 0.686 * [taylor]: Taking taylor expansion of -1 in c 0.686 * [taylor]: Taking taylor expansion of -1 in c 0.688 * [taylor]: Taking taylor expansion of 0 in d 0.689 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (/ 1 b))) in c 0.689 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 0.689 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.689 * [taylor]: Taking taylor expansion of c in c 0.689 * [taylor]: Taking taylor expansion of (/ 1 b) in c 0.689 * [taylor]: Taking taylor expansion of b in c 0.689 * [taylor]: Taking taylor expansion of -1 in b 0.689 * [taylor]: Taking taylor expansion of 0 in c 0.689 * [taylor]: Taking taylor expansion of -1 in b 0.690 * [taylor]: Taking taylor expansion of -1 in b 0.691 * [taylor]: Taking taylor expansion of 0 in d 0.691 * [taylor]: Taking taylor expansion of 0 in c 0.692 * [taylor]: Taking taylor expansion of 0 in c 0.692 * [taylor]: Taking taylor expansion of 0 in c 0.693 * [taylor]: Taking taylor expansion of (- (/ 1 b)) in b 0.693 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.693 * [taylor]: Taking taylor expansion of b in b 0.694 * [taylor]: Taking taylor expansion of 0 in b 0.694 * [taylor]: Taking taylor expansion of 0 in b 0.694 * [taylor]: Taking taylor expansion of 0 in b 0.694 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 0.695 * [approximate]: Taking taylor expansion of (+ d (+ e c)) in (e d c) around 0 0.695 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in c 0.695 * [taylor]: Taking taylor expansion of d in c 0.695 * [taylor]: Taking taylor expansion of (+ e c) in c 0.695 * [taylor]: Taking taylor expansion of e in c 0.695 * [taylor]: Taking taylor expansion of c in c 0.695 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in d 0.695 * [taylor]: Taking taylor expansion of d in d 0.695 * [taylor]: Taking taylor expansion of (+ e c) in d 0.695 * [taylor]: Taking taylor expansion of e in d 0.695 * [taylor]: Taking taylor expansion of c in d 0.695 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in e 0.695 * [taylor]: Taking taylor expansion of d in e 0.695 * [taylor]: Taking taylor expansion of (+ e c) in e 0.695 * [taylor]: Taking taylor expansion of e in e 0.695 * [taylor]: Taking taylor expansion of c in e 0.695 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in e 0.695 * [taylor]: Taking taylor expansion of d in e 0.695 * [taylor]: Taking taylor expansion of (+ e c) in e 0.695 * [taylor]: Taking taylor expansion of e in e 0.695 * [taylor]: Taking taylor expansion of c in e 0.695 * [taylor]: Taking taylor expansion of (+ d c) in d 0.695 * [taylor]: Taking taylor expansion of d in d 0.695 * [taylor]: Taking taylor expansion of c in d 0.695 * [taylor]: Taking taylor expansion of c in c 0.696 * [taylor]: Taking taylor expansion of 1 in d 0.696 * [taylor]: Taking taylor expansion of 1 in c 0.696 * [taylor]: Taking taylor expansion of 1 in c 0.701 * [approximate]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in (e d c) around 0 0.701 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in c 0.701 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.701 * [taylor]: Taking taylor expansion of c in c 0.701 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.702 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.702 * [taylor]: Taking taylor expansion of d in c 0.702 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.702 * [taylor]: Taking taylor expansion of e in c 0.702 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 0.702 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.702 * [taylor]: Taking taylor expansion of c in d 0.702 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.702 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.702 * [taylor]: Taking taylor expansion of d in d 0.702 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.702 * [taylor]: Taking taylor expansion of e in d 0.702 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 0.702 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.702 * [taylor]: Taking taylor expansion of c in e 0.702 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.702 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.702 * [taylor]: Taking taylor expansion of d in e 0.702 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.702 * [taylor]: Taking taylor expansion of e in e 0.703 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 0.703 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.703 * [taylor]: Taking taylor expansion of c in e 0.703 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.703 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.703 * [taylor]: Taking taylor expansion of d in e 0.703 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.703 * [taylor]: Taking taylor expansion of e in e 0.704 * [taylor]: Taking taylor expansion of 1 in d 0.704 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 0.704 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.704 * [taylor]: Taking taylor expansion of d in d 0.704 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.704 * [taylor]: Taking taylor expansion of c in d 0.705 * [taylor]: Taking taylor expansion of 1 in c 0.705 * [taylor]: Taking taylor expansion of 1 in c 0.706 * [taylor]: Taking taylor expansion of 0 in d 0.706 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.706 * [taylor]: Taking taylor expansion of c in c 0.707 * [taylor]: Taking taylor expansion of 0 in c 0.707 * [approximate]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in (e d c) around 0 0.707 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in c 0.707 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in c 0.707 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.707 * [taylor]: Taking taylor expansion of c in c 0.708 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 0.708 * [taylor]: Taking taylor expansion of (/ 1 d) in c 0.708 * [taylor]: Taking taylor expansion of d in c 0.708 * [taylor]: Taking taylor expansion of (/ 1 e) in c 0.708 * [taylor]: Taking taylor expansion of e in c 0.708 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in d 0.708 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 0.708 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.708 * [taylor]: Taking taylor expansion of c in d 0.708 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 0.708 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.708 * [taylor]: Taking taylor expansion of d in d 0.708 * [taylor]: Taking taylor expansion of (/ 1 e) in d 0.708 * [taylor]: Taking taylor expansion of e in d 0.708 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in e 0.708 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 0.708 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.708 * [taylor]: Taking taylor expansion of c in e 0.708 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.708 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.708 * [taylor]: Taking taylor expansion of d in e 0.708 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.708 * [taylor]: Taking taylor expansion of e in e 0.709 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in e 0.709 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 0.709 * [taylor]: Taking taylor expansion of (/ 1 c) in e 0.709 * [taylor]: Taking taylor expansion of c in e 0.709 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 0.709 * [taylor]: Taking taylor expansion of (/ 1 d) in e 0.709 * [taylor]: Taking taylor expansion of d in e 0.709 * [taylor]: Taking taylor expansion of (/ 1 e) in e 0.709 * [taylor]: Taking taylor expansion of e in e 0.710 * [taylor]: Taking taylor expansion of -1 in d 0.710 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 c))) in d 0.710 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 0.710 * [taylor]: Taking taylor expansion of (/ 1 d) in d 0.710 * [taylor]: Taking taylor expansion of d in d 0.711 * [taylor]: Taking taylor expansion of (/ 1 c) in d 0.711 * [taylor]: Taking taylor expansion of c in d 0.711 * [taylor]: Taking taylor expansion of -1 in c 0.711 * [taylor]: Taking taylor expansion of -1 in c 0.713 * [taylor]: Taking taylor expansion of 0 in d 0.713 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 0.713 * [taylor]: Taking taylor expansion of (/ 1 c) in c 0.713 * [taylor]: Taking taylor expansion of c in c 0.714 * [taylor]: Taking taylor expansion of 0 in c 0.714 * * * [progress]: simplifying candidates 0.715 * [simplify]: Simplifying using # : (expm1 (+ (+ (+ (+ e d) c) b) a)) (log1p (+ (+ (+ (+ e d) c) b) a)) (* (* (* (* (exp e) (exp d)) (exp c)) (exp b)) (exp a)) (* (* (* (exp (+ e d)) (exp c)) (exp b)) (exp a)) (* (* (exp (+ (+ e d) c)) (exp b)) (exp a)) (* (exp (+ (+ (+ e d) c) b)) (exp a)) (log (+ (+ (+ (+ e d) c) b) a)) (exp (+ (+ (+ (+ e d) c) b) a)) (* (cbrt (+ (+ (+ (+ e d) c) b) a)) (cbrt (+ (+ (+ (+ e d) c) b) a))) (cbrt (+ (+ (+ (+ e d) c) b) a)) (* (* (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a)) (+ (+ (+ (+ e d) c) b) a)) (sqrt (+ (+ (+ (+ e d) c) b) a)) (sqrt (+ (+ (+ (+ e d) c) b) a)) (+ (pow (+ (+ (+ e d) c) b) 3) (pow a 3)) (+ (* (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b)) (- (* a a) (* (+ (+ (+ e d) c) b) a))) (- (* (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b)) (* a a)) (- (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ b a) (expm1 (+ (+ (+ e d) c) b)) (log1p (+ (+ (+ e d) c) b)) (* (* (* (exp e) (exp d)) (exp c)) (exp b)) (* (* (exp (+ e d)) (exp c)) (exp b)) (* (exp (+ (+ e d) c)) (exp b)) (log (+ (+ (+ e d) c) b)) (exp (+ (+ (+ e d) c) b)) (* (cbrt (+ (+ (+ e d) c) b)) (cbrt (+ (+ (+ e d) c) b))) (cbrt (+ (+ (+ e d) c) b)) (* (* (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b)) (+ (+ (+ e d) c) b)) (sqrt (+ (+ (+ e d) c) b)) (sqrt (+ (+ (+ e d) c) b)) (+ (pow (+ (+ e d) c) 3) (pow b 3)) (+ (* (+ (+ e d) c) (+ (+ e d) c)) (- (* b b) (* (+ (+ e d) c) b))) (- (* (+ (+ e d) c) (+ (+ e d) c)) (* b b)) (- (+ (+ e d) c) b) (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b) (+ c b) (expm1 (+ (+ e d) c)) (log1p (+ (+ e d) c)) (* (* (exp e) (exp d)) (exp c)) (* (exp (+ e d)) (exp c)) (log (+ (+ e d) c)) (exp (+ (+ e d) c)) (* (cbrt (+ (+ e d) c)) (cbrt (+ (+ e d) c))) (cbrt (+ (+ e d) c)) (* (* (+ (+ e d) c) (+ (+ e d) c)) (+ (+ e d) c)) (sqrt (+ (+ e d) c)) (sqrt (+ (+ e d) c)) (+ (pow (+ e d) 3) (pow c 3)) (+ (* (+ e d) (+ e d)) (- (* c c) (* (+ e d) c))) (- (* (+ e d) (+ e d)) (* c c)) (- (+ e d) c) (+ (+ e d) c) (+ (+ e d) c) (+ d c) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ e c)) (+ d (+ b c)) (+ d (+ b c)) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) 0.718 * * [simplify]: iteration 0 : 89 enodes (cost 672 ) 0.733 * * [simplify]: iteration 1 : 249 enodes (cost 620 ) 0.783 * * [simplify]: iteration 2 : 884 enodes (cost 602 ) 1.167 * * [simplify]: iteration done : 5000 enodes (cost 591 ) 1.168 * [simplify]: Simplified to: (expm1 (+ (+ (+ (+ e d) c) b) a)) (log1p (+ (+ (+ (+ e d) c) b) a)) (exp (+ (+ (+ (+ e d) c) b) a)) (exp (+ (+ (+ (+ e d) c) b) a)) (exp (+ (+ (+ (+ e d) c) b) a)) (exp (+ (+ (+ (+ e d) c) b) a)) (log (+ (+ (+ (+ e d) c) b) a)) (exp (+ (+ (+ (+ e d) c) b) a)) (* (cbrt (+ (+ (+ (+ e d) c) b) a)) (cbrt (+ (+ (+ (+ e d) c) b) a))) (cbrt (+ (+ (+ (+ e d) c) b) a)) (pow (+ (+ (+ (+ e d) c) b) a) 3) (sqrt (+ (+ (+ (+ e d) c) b) a)) (sqrt (+ (+ (+ (+ e d) c) b) a)) (+ (pow (+ (+ (+ e d) c) b) 3) (pow a 3)) (fma a a (* (+ (+ (+ e d) c) b) (- (+ (+ (+ e d) c) b) a))) (- (* (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b)) (* a a)) (- (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ (+ (+ (+ e d) c) b) a) (+ b a) (expm1 (+ (+ (+ e d) c) b)) (log1p (+ (+ (+ e d) c) b)) (exp (+ (+ (+ e d) c) b)) (exp (+ (+ (+ e d) c) b)) (exp (+ (+ (+ e d) c) b)) (log (+ (+ (+ e d) c) b)) (exp (+ (+ (+ e d) c) b)) (* (cbrt (+ (+ (+ e d) c) b)) (cbrt (+ (+ (+ e d) c) b))) (cbrt (+ (+ (+ e d) c) b)) (pow (+ (+ (+ e d) c) b) 3) (sqrt (+ (+ (+ e d) c) b)) (sqrt (+ (+ (+ e d) c) b)) (+ (pow (+ (+ e d) c) 3) (pow b 3)) (+ (* b b) (* (+ (+ e d) c) (- (+ (+ e d) c) b))) (- (* (+ (+ e d) c) (+ (+ e d) c)) (* b b)) (- (+ (+ e d) c) b) (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b) (+ (+ (+ e d) c) b) (+ b c) (expm1 (+ (+ e d) c)) (log1p (+ (+ e d) c)) (exp (+ (+ e d) c)) (exp (+ (+ e d) c)) (log (+ (+ e d) c)) (exp (+ (+ e d) c)) (* (cbrt (+ (+ e d) c)) (cbrt (+ (+ e d) c))) (cbrt (+ (+ e d) c)) (pow (+ d (+ e c)) 3) (sqrt (+ (+ e d) c)) (sqrt (+ (+ e d) c)) (+ (pow (+ e d) 3) (pow c 3)) (fma c c (* (+ e d) (- (+ e d) c))) (- (* (+ e d) (+ e d)) (* c c)) (- (+ e d) c) (+ (+ e d) c) (+ (+ e d) c) (+ d c) (+ (+ e d) c) (+ a (+ b c)) (+ a (+ b c)) (+ (+ e d) c) (+ d (+ b c)) (+ d (+ b c)) (+ (+ e d) c) (+ (+ e d) c) (+ (+ e d) c) 1.168 * * * [progress]: adding candidates to table 1.319 * * [progress]: iteration 2 / 4 1.319 * * * [progress]: picking best candidate 1.337 * * * * [pick]: Picked # 1.337 * * * [progress]: localizing error 1.343 * * * [progress]: generating rewritten candidates 1.344 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.420 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1.439 * * * [progress]: generating series expansions 1.439 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.439 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0 1.439 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 1.439 * [taylor]: Taking taylor expansion of d in a 1.439 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 1.439 * [taylor]: Taking taylor expansion of e in a 1.439 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 1.439 * [taylor]: Taking taylor expansion of b in a 1.439 * [taylor]: Taking taylor expansion of (+ a c) in a 1.439 * [taylor]: Taking taylor expansion of a in a 1.439 * [taylor]: Taking taylor expansion of c in a 1.439 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 1.439 * [taylor]: Taking taylor expansion of d in b 1.439 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 1.439 * [taylor]: Taking taylor expansion of e in b 1.439 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 1.439 * [taylor]: Taking taylor expansion of b in b 1.439 * [taylor]: Taking taylor expansion of (+ a c) in b 1.439 * [taylor]: Taking taylor expansion of a in b 1.439 * [taylor]: Taking taylor expansion of c in b 1.439 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 1.439 * [taylor]: Taking taylor expansion of d in c 1.439 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 1.439 * [taylor]: Taking taylor expansion of e in c 1.439 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 1.439 * [taylor]: Taking taylor expansion of b in c 1.439 * [taylor]: Taking taylor expansion of (+ a c) in c 1.439 * [taylor]: Taking taylor expansion of a in c 1.439 * [taylor]: Taking taylor expansion of c in c 1.439 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 1.439 * [taylor]: Taking taylor expansion of d in d 1.439 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 1.439 * [taylor]: Taking taylor expansion of e in d 1.439 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 1.439 * [taylor]: Taking taylor expansion of b in d 1.439 * [taylor]: Taking taylor expansion of (+ a c) in d 1.439 * [taylor]: Taking taylor expansion of a in d 1.439 * [taylor]: Taking taylor expansion of c in d 1.439 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 1.440 * [taylor]: Taking taylor expansion of d in e 1.440 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 1.440 * [taylor]: Taking taylor expansion of e in e 1.440 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 1.440 * [taylor]: Taking taylor expansion of b in e 1.440 * [taylor]: Taking taylor expansion of (+ a c) in e 1.440 * [taylor]: Taking taylor expansion of a in e 1.440 * [taylor]: Taking taylor expansion of c in e 1.440 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 1.440 * [taylor]: Taking taylor expansion of d in e 1.440 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 1.440 * [taylor]: Taking taylor expansion of e in e 1.440 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 1.440 * [taylor]: Taking taylor expansion of b in e 1.440 * [taylor]: Taking taylor expansion of (+ a c) in e 1.440 * [taylor]: Taking taylor expansion of a in e 1.440 * [taylor]: Taking taylor expansion of c in e 1.440 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 1.440 * [taylor]: Taking taylor expansion of d in d 1.440 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 1.440 * [taylor]: Taking taylor expansion of a in d 1.440 * [taylor]: Taking taylor expansion of (+ b c) in d 1.440 * [taylor]: Taking taylor expansion of b in d 1.440 * [taylor]: Taking taylor expansion of c in d 1.440 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 1.440 * [taylor]: Taking taylor expansion of a in c 1.440 * [taylor]: Taking taylor expansion of (+ c b) in c 1.440 * [taylor]: Taking taylor expansion of c in c 1.440 * [taylor]: Taking taylor expansion of b in c 1.440 * [taylor]: Taking taylor expansion of (+ a b) in b 1.440 * [taylor]: Taking taylor expansion of a in b 1.440 * [taylor]: Taking taylor expansion of b in b 1.440 * [taylor]: Taking taylor expansion of a in a 1.442 * [taylor]: Taking taylor expansion of 1 in d 1.442 * [taylor]: Taking taylor expansion of 1 in c 1.442 * [taylor]: Taking taylor expansion of 1 in b 1.442 * [taylor]: Taking taylor expansion of 1 in a 1.443 * [taylor]: Taking taylor expansion of 1 in c 1.443 * [taylor]: Taking taylor expansion of 1 in b 1.443 * [taylor]: Taking taylor expansion of 1 in a 1.443 * [taylor]: Taking taylor expansion of 1 in b 1.443 * [taylor]: Taking taylor expansion of 1 in a 1.444 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in (e d c b a) around 0 1.444 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in a 1.444 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.444 * [taylor]: Taking taylor expansion of b in a 1.444 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in a 1.444 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.444 * [taylor]: Taking taylor expansion of a in a 1.444 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in a 1.444 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.444 * [taylor]: Taking taylor expansion of d in a 1.444 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in a 1.444 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.444 * [taylor]: Taking taylor expansion of c in a 1.444 * [taylor]: Taking taylor expansion of (/ 1 e) in a 1.444 * [taylor]: Taking taylor expansion of e in a 1.444 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in b 1.445 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.445 * [taylor]: Taking taylor expansion of b in b 1.445 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in b 1.445 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.445 * [taylor]: Taking taylor expansion of a in b 1.445 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in b 1.445 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.445 * [taylor]: Taking taylor expansion of d in b 1.445 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in b 1.445 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.445 * [taylor]: Taking taylor expansion of c in b 1.445 * [taylor]: Taking taylor expansion of (/ 1 e) in b 1.445 * [taylor]: Taking taylor expansion of e in b 1.445 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in c 1.445 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.445 * [taylor]: Taking taylor expansion of b in c 1.445 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in c 1.445 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.445 * [taylor]: Taking taylor expansion of a in c 1.445 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in c 1.445 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.445 * [taylor]: Taking taylor expansion of d in c 1.445 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 1.445 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.445 * [taylor]: Taking taylor expansion of c in c 1.446 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.446 * [taylor]: Taking taylor expansion of e in c 1.446 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in d 1.446 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.446 * [taylor]: Taking taylor expansion of b in d 1.446 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 1.446 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.446 * [taylor]: Taking taylor expansion of a in d 1.446 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 1.446 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.446 * [taylor]: Taking taylor expansion of d in d 1.446 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.446 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.446 * [taylor]: Taking taylor expansion of c in d 1.446 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.446 * [taylor]: Taking taylor expansion of e in d 1.446 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in e 1.446 * [taylor]: Taking taylor expansion of (/ 1 b) in e 1.446 * [taylor]: Taking taylor expansion of b in e 1.446 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 1.446 * [taylor]: Taking taylor expansion of (/ 1 a) in e 1.446 * [taylor]: Taking taylor expansion of a in e 1.446 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 1.446 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.446 * [taylor]: Taking taylor expansion of d in e 1.446 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.446 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.446 * [taylor]: Taking taylor expansion of c in e 1.446 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.446 * [taylor]: Taking taylor expansion of e in e 1.447 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in e 1.447 * [taylor]: Taking taylor expansion of (/ 1 b) in e 1.447 * [taylor]: Taking taylor expansion of b in e 1.447 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 1.447 * [taylor]: Taking taylor expansion of (/ 1 a) in e 1.447 * [taylor]: Taking taylor expansion of a in e 1.447 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 1.447 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.447 * [taylor]: Taking taylor expansion of d in e 1.447 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.447 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.447 * [taylor]: Taking taylor expansion of c in e 1.447 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.447 * [taylor]: Taking taylor expansion of e in e 1.448 * [taylor]: Taking taylor expansion of 1 in d 1.449 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 d) (/ 1 b)))) in d 1.449 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.449 * [taylor]: Taking taylor expansion of a in d 1.449 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 b))) in d 1.449 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.449 * [taylor]: Taking taylor expansion of c in d 1.449 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 b)) in d 1.449 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.449 * [taylor]: Taking taylor expansion of d in d 1.450 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.450 * [taylor]: Taking taylor expansion of b in d 1.451 * [taylor]: Taking taylor expansion of 1 in c 1.451 * [taylor]: Taking taylor expansion of 1 in c 1.452 * [taylor]: Taking taylor expansion of 0 in d 1.453 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 1.453 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.453 * [taylor]: Taking taylor expansion of b in c 1.453 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 1.453 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.453 * [taylor]: Taking taylor expansion of c in c 1.453 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.453 * [taylor]: Taking taylor expansion of a in c 1.454 * [taylor]: Taking taylor expansion of 1 in b 1.454 * [taylor]: Taking taylor expansion of 0 in c 1.454 * [taylor]: Taking taylor expansion of 1 in b 1.454 * [taylor]: Taking taylor expansion of 1 in b 1.456 * [taylor]: Taking taylor expansion of 0 in d 1.456 * [taylor]: Taking taylor expansion of 0 in c 1.458 * [taylor]: Taking taylor expansion of 0 in c 1.458 * [taylor]: Taking taylor expansion of 0 in c 1.458 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1.458 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.458 * [taylor]: Taking taylor expansion of a in b 1.458 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.458 * [taylor]: Taking taylor expansion of b in b 1.459 * [taylor]: Taking taylor expansion of 1 in a 1.459 * [taylor]: Taking taylor expansion of 0 in b 1.459 * [taylor]: Taking taylor expansion of 0 in b 1.459 * [taylor]: Taking taylor expansion of 0 in b 1.459 * [taylor]: Taking taylor expansion of 1 in a 1.459 * [taylor]: Taking taylor expansion of 1 in a 1.459 * [taylor]: Taking taylor expansion of 1 in a 1.461 * [taylor]: Taking taylor expansion of 0 in d 1.461 * [taylor]: Taking taylor expansion of 0 in c 1.461 * [taylor]: Taking taylor expansion of 0 in c 1.462 * [taylor]: Taking taylor expansion of 0 in c 1.462 * [taylor]: Taking taylor expansion of 0 in c 1.463 * [taylor]: Taking taylor expansion of 0 in b 1.463 * [taylor]: Taking taylor expansion of 0 in b 1.463 * [taylor]: Taking taylor expansion of 0 in b 1.464 * [taylor]: Taking taylor expansion of 0 in b 1.464 * [taylor]: Taking taylor expansion of 0 in b 1.464 * [taylor]: Taking taylor expansion of 0 in b 1.464 * [taylor]: Taking taylor expansion of 0 in b 1.464 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.464 * [taylor]: Taking taylor expansion of a in a 1.465 * [taylor]: Taking taylor expansion of 0 in a 1.465 * [taylor]: Taking taylor expansion of 0 in a 1.465 * [taylor]: Taking taylor expansion of 0 in a 1.465 * [taylor]: Taking taylor expansion of 0 in a 1.465 * [taylor]: Taking taylor expansion of 0 in a 1.465 * [taylor]: Taking taylor expansion of 0 in a 1.466 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in (e d c b a) around 0 1.466 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in a 1.466 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in a 1.466 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.466 * [taylor]: Taking taylor expansion of b in a 1.466 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in a 1.466 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.466 * [taylor]: Taking taylor expansion of a in a 1.467 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in a 1.467 * [taylor]: Taking taylor expansion of (/ 1 d) in a 1.467 * [taylor]: Taking taylor expansion of d in a 1.467 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in a 1.467 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.467 * [taylor]: Taking taylor expansion of c in a 1.467 * [taylor]: Taking taylor expansion of (/ 1 e) in a 1.467 * [taylor]: Taking taylor expansion of e in a 1.467 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in b 1.467 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in b 1.467 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.467 * [taylor]: Taking taylor expansion of b in b 1.467 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in b 1.467 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.467 * [taylor]: Taking taylor expansion of a in b 1.467 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in b 1.467 * [taylor]: Taking taylor expansion of (/ 1 d) in b 1.467 * [taylor]: Taking taylor expansion of d in b 1.467 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in b 1.467 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.467 * [taylor]: Taking taylor expansion of c in b 1.467 * [taylor]: Taking taylor expansion of (/ 1 e) in b 1.467 * [taylor]: Taking taylor expansion of e in b 1.467 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in c 1.468 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in c 1.468 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.468 * [taylor]: Taking taylor expansion of b in c 1.468 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in c 1.468 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.468 * [taylor]: Taking taylor expansion of a in c 1.468 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in c 1.468 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.468 * [taylor]: Taking taylor expansion of d in c 1.468 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in c 1.468 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.468 * [taylor]: Taking taylor expansion of c in c 1.468 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.468 * [taylor]: Taking taylor expansion of e in c 1.468 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in d 1.468 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in d 1.468 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.468 * [taylor]: Taking taylor expansion of b in d 1.468 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in d 1.468 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.468 * [taylor]: Taking taylor expansion of a in d 1.468 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in d 1.468 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.468 * [taylor]: Taking taylor expansion of d in d 1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in d 1.469 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.469 * [taylor]: Taking taylor expansion of c in d 1.469 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.469 * [taylor]: Taking taylor expansion of e in d 1.469 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in e 1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in e 1.469 * [taylor]: Taking taylor expansion of (/ 1 b) in e 1.469 * [taylor]: Taking taylor expansion of b in e 1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 1.469 * [taylor]: Taking taylor expansion of (/ 1 a) in e 1.469 * [taylor]: Taking taylor expansion of a in e 1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 1.469 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.469 * [taylor]: Taking taylor expansion of d in e 1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.469 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.469 * [taylor]: Taking taylor expansion of c in e 1.469 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.469 * [taylor]: Taking taylor expansion of e in e 1.469 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))))) in e 1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))))) in e 1.469 * [taylor]: Taking taylor expansion of (/ 1 b) in e 1.469 * [taylor]: Taking taylor expansion of b in e 1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 e)))) in e 1.469 * [taylor]: Taking taylor expansion of (/ 1 a) in e 1.469 * [taylor]: Taking taylor expansion of a in e 1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 e))) in e 1.469 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.469 * [taylor]: Taking taylor expansion of d in e 1.469 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 e)) in e 1.469 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.470 * [taylor]: Taking taylor expansion of c in e 1.470 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.470 * [taylor]: Taking taylor expansion of e in e 1.471 * [taylor]: Taking taylor expansion of -1 in d 1.472 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))))) in d 1.472 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 d) (+ (/ 1 c) (/ 1 b)))) in d 1.472 * [taylor]: Taking taylor expansion of (/ 1 a) in d 1.472 * [taylor]: Taking taylor expansion of a in d 1.472 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 b))) in d 1.472 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.472 * [taylor]: Taking taylor expansion of d in d 1.472 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in d 1.472 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.472 * [taylor]: Taking taylor expansion of c in d 1.472 * [taylor]: Taking taylor expansion of (/ 1 b) in d 1.472 * [taylor]: Taking taylor expansion of b in d 1.473 * [taylor]: Taking taylor expansion of -1 in c 1.473 * [taylor]: Taking taylor expansion of -1 in c 1.475 * [taylor]: Taking taylor expansion of 0 in d 1.476 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 1.476 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 1.476 * [taylor]: Taking taylor expansion of (/ 1 b) in c 1.476 * [taylor]: Taking taylor expansion of b in c 1.476 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 1.476 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.476 * [taylor]: Taking taylor expansion of c in c 1.476 * [taylor]: Taking taylor expansion of (/ 1 a) in c 1.476 * [taylor]: Taking taylor expansion of a in c 1.477 * [taylor]: Taking taylor expansion of -1 in b 1.477 * [taylor]: Taking taylor expansion of 0 in c 1.477 * [taylor]: Taking taylor expansion of -1 in b 1.477 * [taylor]: Taking taylor expansion of -1 in b 1.479 * [taylor]: Taking taylor expansion of 0 in d 1.479 * [taylor]: Taking taylor expansion of 0 in c 1.481 * [taylor]: Taking taylor expansion of 0 in c 1.481 * [taylor]: Taking taylor expansion of 0 in c 1.481 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 b))) in b 1.481 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 1.481 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.481 * [taylor]: Taking taylor expansion of a in b 1.481 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.481 * [taylor]: Taking taylor expansion of b in b 1.482 * [taylor]: Taking taylor expansion of -1 in a 1.482 * [taylor]: Taking taylor expansion of 0 in b 1.482 * [taylor]: Taking taylor expansion of 0 in b 1.482 * [taylor]: Taking taylor expansion of 0 in b 1.482 * [taylor]: Taking taylor expansion of -1 in a 1.483 * [taylor]: Taking taylor expansion of -1 in a 1.483 * [taylor]: Taking taylor expansion of -1 in a 1.485 * [taylor]: Taking taylor expansion of 0 in d 1.485 * [taylor]: Taking taylor expansion of 0 in c 1.485 * [taylor]: Taking taylor expansion of 0 in c 1.486 * [taylor]: Taking taylor expansion of 0 in c 1.486 * [taylor]: Taking taylor expansion of 0 in c 1.486 * [taylor]: Taking taylor expansion of 0 in b 1.486 * [taylor]: Taking taylor expansion of 0 in b 1.486 * [taylor]: Taking taylor expansion of 0 in b 1.488 * [taylor]: Taking taylor expansion of 0 in b 1.488 * [taylor]: Taking taylor expansion of 0 in b 1.488 * [taylor]: Taking taylor expansion of 0 in b 1.488 * [taylor]: Taking taylor expansion of 0 in b 1.488 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 1.488 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.488 * [taylor]: Taking taylor expansion of a in a 1.489 * [taylor]: Taking taylor expansion of 0 in a 1.489 * [taylor]: Taking taylor expansion of 0 in a 1.489 * [taylor]: Taking taylor expansion of 0 in a 1.489 * [taylor]: Taking taylor expansion of 0 in a 1.489 * [taylor]: Taking taylor expansion of 0 in a 1.489 * [taylor]: Taking taylor expansion of 0 in a 1.490 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1.490 * [approximate]: Taking taylor expansion of (+ d (+ e c)) in (e d c) around 0 1.490 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in c 1.490 * [taylor]: Taking taylor expansion of d in c 1.490 * [taylor]: Taking taylor expansion of (+ e c) in c 1.490 * [taylor]: Taking taylor expansion of e in c 1.490 * [taylor]: Taking taylor expansion of c in c 1.490 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in d 1.490 * [taylor]: Taking taylor expansion of d in d 1.490 * [taylor]: Taking taylor expansion of (+ e c) in d 1.490 * [taylor]: Taking taylor expansion of e in d 1.490 * [taylor]: Taking taylor expansion of c in d 1.491 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in e 1.491 * [taylor]: Taking taylor expansion of d in e 1.491 * [taylor]: Taking taylor expansion of (+ e c) in e 1.491 * [taylor]: Taking taylor expansion of e in e 1.491 * [taylor]: Taking taylor expansion of c in e 1.491 * [taylor]: Taking taylor expansion of (+ d (+ e c)) in e 1.491 * [taylor]: Taking taylor expansion of d in e 1.491 * [taylor]: Taking taylor expansion of (+ e c) in e 1.491 * [taylor]: Taking taylor expansion of e in e 1.491 * [taylor]: Taking taylor expansion of c in e 1.491 * [taylor]: Taking taylor expansion of (+ d c) in d 1.491 * [taylor]: Taking taylor expansion of d in d 1.491 * [taylor]: Taking taylor expansion of c in d 1.491 * [taylor]: Taking taylor expansion of c in c 1.491 * [taylor]: Taking taylor expansion of 1 in d 1.491 * [taylor]: Taking taylor expansion of 1 in c 1.492 * [taylor]: Taking taylor expansion of 1 in c 1.492 * [approximate]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in (e d c) around 0 1.492 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in c 1.492 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.492 * [taylor]: Taking taylor expansion of c in c 1.493 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 1.493 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.493 * [taylor]: Taking taylor expansion of d in c 1.493 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.493 * [taylor]: Taking taylor expansion of e in c 1.493 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 1.493 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.493 * [taylor]: Taking taylor expansion of c in d 1.493 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 1.493 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.493 * [taylor]: Taking taylor expansion of d in d 1.493 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.493 * [taylor]: Taking taylor expansion of e in d 1.493 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 1.493 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.493 * [taylor]: Taking taylor expansion of c in e 1.493 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 1.493 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.493 * [taylor]: Taking taylor expansion of d in e 1.493 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.493 * [taylor]: Taking taylor expansion of e in e 1.494 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 1.494 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.494 * [taylor]: Taking taylor expansion of c in e 1.494 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 1.494 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.494 * [taylor]: Taking taylor expansion of d in e 1.494 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.494 * [taylor]: Taking taylor expansion of e in e 1.495 * [taylor]: Taking taylor expansion of 1 in d 1.495 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 1.495 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.495 * [taylor]: Taking taylor expansion of d in d 1.496 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.496 * [taylor]: Taking taylor expansion of c in d 1.496 * [taylor]: Taking taylor expansion of 1 in c 1.496 * [taylor]: Taking taylor expansion of 1 in c 1.497 * [taylor]: Taking taylor expansion of 0 in d 1.498 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.498 * [taylor]: Taking taylor expansion of c in c 1.498 * [taylor]: Taking taylor expansion of 0 in c 1.499 * [approximate]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in (e d c) around 0 1.499 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in c 1.499 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in c 1.499 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.499 * [taylor]: Taking taylor expansion of c in c 1.499 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 1.499 * [taylor]: Taking taylor expansion of (/ 1 d) in c 1.499 * [taylor]: Taking taylor expansion of d in c 1.499 * [taylor]: Taking taylor expansion of (/ 1 e) in c 1.499 * [taylor]: Taking taylor expansion of e in c 1.499 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in d 1.499 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in d 1.499 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.499 * [taylor]: Taking taylor expansion of c in d 1.499 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 1.499 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.499 * [taylor]: Taking taylor expansion of d in d 1.500 * [taylor]: Taking taylor expansion of (/ 1 e) in d 1.500 * [taylor]: Taking taylor expansion of e in d 1.500 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in e 1.500 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 1.500 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.500 * [taylor]: Taking taylor expansion of c in e 1.500 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 1.500 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.500 * [taylor]: Taking taylor expansion of d in e 1.500 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.500 * [taylor]: Taking taylor expansion of e in e 1.500 * [taylor]: Taking taylor expansion of (- (+ (/ 1 c) (+ (/ 1 d) (/ 1 e)))) in e 1.500 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 e))) in e 1.500 * [taylor]: Taking taylor expansion of (/ 1 c) in e 1.500 * [taylor]: Taking taylor expansion of c in e 1.500 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 1.500 * [taylor]: Taking taylor expansion of (/ 1 d) in e 1.500 * [taylor]: Taking taylor expansion of d in e 1.500 * [taylor]: Taking taylor expansion of (/ 1 e) in e 1.500 * [taylor]: Taking taylor expansion of e in e 1.501 * [taylor]: Taking taylor expansion of -1 in d 1.502 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 c))) in d 1.502 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 c)) in d 1.502 * [taylor]: Taking taylor expansion of (/ 1 d) in d 1.502 * [taylor]: Taking taylor expansion of d in d 1.502 * [taylor]: Taking taylor expansion of (/ 1 c) in d 1.502 * [taylor]: Taking taylor expansion of c in d 1.503 * [taylor]: Taking taylor expansion of -1 in c 1.503 * [taylor]: Taking taylor expansion of -1 in c 1.504 * [taylor]: Taking taylor expansion of 0 in d 1.505 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 1.505 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.505 * [taylor]: Taking taylor expansion of c in c 1.505 * [taylor]: Taking taylor expansion of 0 in c 1.506 * * * [progress]: simplifying candidates 1.506 * [simplify]: Simplifying using # : (expm1 (+ (+ (+ e d) c) (+ b a))) (log1p (+ (+ (+ e d) c) (+ b a))) (* (* (* (exp e) (exp d)) (exp c)) (* (exp b) (exp a))) (* (* (* (exp e) (exp d)) (exp c)) (exp (+ b a))) (* (* (exp (+ e d)) (exp c)) (* (exp b) (exp a))) (* (* (exp (+ e d)) (exp c)) (exp (+ b a))) (* (exp (+ (+ e d) c)) (* (exp b) (exp a))) (* (exp (+ (+ e d) c)) (exp (+ b a))) (log (+ (+ (+ e d) c) (+ b a))) (exp (+ (+ (+ e d) c) (+ b a))) (* (cbrt (+ (+ (+ e d) c) (+ b a))) (cbrt (+ (+ (+ e d) c) (+ b a)))) (cbrt (+ (+ (+ e d) c) (+ b a))) (* (* (+ (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) (+ b a))) (+ (+ (+ e d) c) (+ b a))) (sqrt (+ (+ (+ e d) c) (+ b a))) (sqrt (+ (+ (+ e d) c) (+ b a))) (+ (* (+ (pow (+ e d) 3) (pow c 3)) (+ (* b b) (- (* a a) (* b a)))) (* (+ (* (+ e d) (+ e d)) (- (* c c) (* (+ e d) c))) (+ (pow b 3) (pow a 3)))) (* (+ (* (+ e d) (+ e d)) (- (* c c) (* (+ e d) c))) (+ (* b b) (- (* a a) (* b a)))) (+ (* (+ (pow (+ e d) 3) (pow c 3)) (- b a)) (* (+ (* (+ e d) (+ e d)) (- (* c c) (* (+ e d) c))) (- (* b b) (* a a)))) (* (+ (* (+ e d) (+ e d)) (- (* c c) (* (+ e d) c))) (- b a)) (+ (* (- (* (+ e d) (+ e d)) (* c c)) (+ (* b b) (- (* a a) (* b a)))) (* (- (+ e d) c) (+ (pow b 3) (pow a 3)))) (* (- (+ e d) c) (+ (* b b) (- (* a a) (* b a)))) (+ (* (- (* (+ e d) (+ e d)) (* c c)) (- b a)) (* (- (+ e d) c) (- (* b b) (* a a)))) (* (- (+ e d) c) (- b a)) (+ (pow (+ (+ e d) c) 3) (pow (+ b a) 3)) (+ (* (+ (+ e d) c) (+ (+ e d) c)) (- (* (+ b a) (+ b a)) (* (+ (+ e d) c) (+ b a)))) (- (* (+ (+ e d) c) (+ (+ e d) c)) (* (+ b a) (+ b a))) (- (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) b) (+ c (+ b a)) (expm1 (+ (+ e d) c)) (log1p (+ (+ e d) c)) (* (* (exp e) (exp d)) (exp c)) (* (exp (+ e d)) (exp c)) (log (+ (+ e d) c)) (exp (+ (+ e d) c)) (* (cbrt (+ (+ e d) c)) (cbrt (+ (+ e d) c))) (cbrt (+ (+ e d) c)) (* (* (+ (+ e d) c) (+ (+ e d) c)) (+ (+ e d) c)) (sqrt (+ (+ e d) c)) (sqrt (+ (+ e d) c)) (+ (pow (+ e d) 3) (pow c 3)) (+ (* (+ e d) (+ e d)) (- (* c c) (* (+ e d) c))) (- (* (+ e d) (+ e d)) (* c c)) (- (+ e d) c) (+ (+ e d) c) (+ (+ e d) c) (+ d c) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ d (+ e c)) (+ d (+ e c)) (+ d (+ e c)) 1.509 * * [simplify]: iteration 0 : 97 enodes (cost 731 ) 1.531 * * [simplify]: iteration 1 : 318 enodes (cost 667 ) 1.602 * * [simplify]: iteration 2 : 1364 enodes (cost 649 ) 2.007 * * [simplify]: iteration done : 5000 enodes (cost 626 ) 2.008 * [simplify]: Simplified to: (expm1 (+ (+ (+ e d) c) (+ b a))) (log1p (+ (+ (+ e d) c) (+ b a))) (exp (+ (+ (+ e d) c) (+ b a))) (exp (+ (+ (+ e d) c) (+ b a))) (exp (+ (+ (+ e d) c) (+ b a))) (exp (+ (+ (+ e d) c) (+ b a))) (exp (+ (+ (+ e d) c) (+ b a))) (exp (+ (+ (+ e d) c) (+ b a))) (log (+ (+ (+ e d) c) (+ b a))) (exp (+ (+ (+ e d) c) (+ b a))) (* (cbrt (+ (+ (+ e d) c) (+ b a))) (cbrt (+ (+ (+ e d) c) (+ b a)))) (cbrt (+ (+ (+ e d) c) (+ b a))) (pow (+ (+ (+ e d) c) (+ b a)) 3) (sqrt (+ (+ (+ e d) c) (+ b a))) (sqrt (+ (+ (+ e d) c) (+ b a))) (fma (+ (* (+ e d) (- (+ e d) c)) (* c c)) (+ (pow b 3) (pow a 3)) (* (+ (pow (+ e d) 3) (pow c 3)) (fma b b (* a (- a b))))) (* (fma b b (* a (- a b))) (+ (* (+ e d) (- (+ e d) c)) (* c c))) (* (- b a) (+ (+ (pow (+ e d) 3) (pow c 3)) (* (+ b a) (+ (* (+ e d) (- (+ e d) c)) (* c c))))) (* (- b a) (+ (* (+ e d) (- (+ e d) c)) (* c c))) (* (- (+ e d) c) (+ (+ (pow b 3) (pow a 3)) (* (fma b b (* a (- a b))) (+ (+ e d) c)))) (* (- (+ e d) c) (fma b b (* a (- a b)))) (* (* (- (+ e d) c) (- b a)) (+ (+ (+ e d) c) (+ b a))) (* (- (+ e d) c) (- b a)) (+ (pow (+ (+ e d) c) 3) (pow (+ b a) 3)) (- (* (+ b a) (+ b a)) (* (+ (+ e d) c) (- (+ b a) (+ (+ e d) c)))) (- (* (+ (+ e d) c) (+ (+ e d) c)) (* (+ b a) (+ b a))) (- (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) (+ b a)) (+ (+ (+ e d) c) b) (+ c (+ b a)) (expm1 (+ (+ e d) c)) (log1p (+ (+ e d) c)) (exp (+ (+ e d) c)) (exp (+ (+ e d) c)) (log (+ (+ e d) c)) (exp (+ (+ e d) c)) (* (cbrt (+ (+ e d) c)) (cbrt (+ (+ e d) c))) (cbrt (+ (+ e d) c)) (pow (+ d (+ e c)) 3) (sqrt (+ (+ e d) c)) (sqrt (+ (+ e d) c)) (+ (pow (+ e d) 3) (pow c 3)) (+ (* (+ e d) (- (+ e d) c)) (* c c)) (- (* (+ e d) (+ e d)) (* c c)) (- (+ e d) c) (+ (+ e d) c) (+ (+ e d) c) (+ d c) (+ (+ e d) c) (+ c (+ b a)) (+ c (+ b a)) (+ (+ e d) c) (+ (+ e d) c) (+ (+ e d) c) 2.008 * * * [progress]: adding candidates to table 2.132 * * [progress]: iteration 3 / 4 2.132 * * * [progress]: picking best candidate 2.147 * * * * [pick]: Picked # 2.147 * * * [progress]: localizing error 2.154 * * * [progress]: generating rewritten candidates 2.154 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.193 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 2.202 * * * [progress]: generating series expansions 2.202 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.203 * [approximate]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in (e d c b a) around 0 2.203 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in a 2.203 * [taylor]: Taking taylor expansion of d in a 2.203 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in a 2.203 * [taylor]: Taking taylor expansion of e in a 2.203 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in a 2.203 * [taylor]: Taking taylor expansion of b in a 2.203 * [taylor]: Taking taylor expansion of (+ a c) in a 2.203 * [taylor]: Taking taylor expansion of a in a 2.203 * [taylor]: Taking taylor expansion of c in a 2.203 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in b 2.203 * [taylor]: Taking taylor expansion of d in b 2.203 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in b 2.203 * [taylor]: Taking taylor expansion of e in b 2.203 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in b 2.203 * [taylor]: Taking taylor expansion of b in b 2.203 * [taylor]: Taking taylor expansion of (+ a c) in b 2.203 * [taylor]: Taking taylor expansion of a in b 2.203 * [taylor]: Taking taylor expansion of c in b 2.203 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in c 2.203 * [taylor]: Taking taylor expansion of d in c 2.203 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in c 2.203 * [taylor]: Taking taylor expansion of e in c 2.203 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in c 2.203 * [taylor]: Taking taylor expansion of b in c 2.203 * [taylor]: Taking taylor expansion of (+ a c) in c 2.203 * [taylor]: Taking taylor expansion of a in c 2.203 * [taylor]: Taking taylor expansion of c in c 2.203 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in d 2.203 * [taylor]: Taking taylor expansion of d in d 2.203 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in d 2.203 * [taylor]: Taking taylor expansion of e in d 2.203 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in d 2.203 * [taylor]: Taking taylor expansion of b in d 2.203 * [taylor]: Taking taylor expansion of (+ a c) in d 2.203 * [taylor]: Taking taylor expansion of a in d 2.203 * [taylor]: Taking taylor expansion of c in d 2.203 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 2.203 * [taylor]: Taking taylor expansion of d in e 2.203 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 2.203 * [taylor]: Taking taylor expansion of e in e 2.203 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 2.203 * [taylor]: Taking taylor expansion of b in e 2.203 * [taylor]: Taking taylor expansion of (+ a c) in e 2.203 * [taylor]: Taking taylor expansion of a in e 2.203 * [taylor]: Taking taylor expansion of c in e 2.203 * [taylor]: Taking taylor expansion of (+ d (+ e (+ b (+ a c)))) in e 2.203 * [taylor]: Taking taylor expansion of d in e 2.203 * [taylor]: Taking taylor expansion of (+ e (+ b (+ a c))) in e 2.203 * [taylor]: Taking taylor expansion of e in e 2.203 * [taylor]: Taking taylor expansion of (+ b (+ a c)) in e 2.203 * [taylor]: Taking taylor expansion of b in e 2.203 * [taylor]: Taking taylor expansion of (+ a c) in e 2.204 * [taylor]: Taking taylor expansion of a in e 2.204 * [taylor]: Taking taylor expansion of c in e 2.204 * [taylor]: Taking taylor expansion of (+ d (+ a (+ b c))) in d 2.204 * [taylor]: Taking taylor expansion of d in d 2.204 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in d 2.204 * [taylor]: Taking taylor expansion of a in d 2.204 * [taylor]: Taking taylor expansion of (+ b c) in d 2.204 * [taylor]: Taking taylor expansion of b in d 2.204 * [taylor]: Taking taylor expansion of c in d 2.204 * [taylor]: Taking taylor expansion of (+ a (+ c b)) in c 2.204 * [taylor]: Taking taylor expansion of a in c 2.204 * [taylor]: Taking taylor expansion of (+ c b) in c 2.204 * [taylor]: Taking taylor expansion of c in c 2.204 * [taylor]: Taking taylor expansion of b in c 2.204 * [taylor]: Taking taylor expansion of (+ a b) in b 2.204 * [taylor]: Taking taylor expansion of a in b 2.204 * [taylor]: Taking taylor expansion of b in b 2.204 * [taylor]: Taking taylor expansion of a in a 2.206 * [taylor]: Taking taylor expansion of 1 in d 2.206 * [taylor]: Taking taylor expansion of 1 in c 2.206 * [taylor]: Taking taylor expansion of 1 in b 2.206 * [taylor]: Taking taylor expansion of 1 in a 2.206 * [taylor]: Taking taylor expansion of 1 in c 2.206 * [taylor]: Taking taylor expansion of 1 in b 2.207 * [taylor]: Taking taylor expansion of 1 in a 2.207 * [taylor]: Taking taylor expansion of 1 in b 2.207 * [taylor]: Taking taylor expansion of 1 in a 2.208 * [approximate]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in (e d c b a) around 0 2.208 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in a 2.208 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.208 * [taylor]: Taking taylor expansion of a in a 2.208 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in a 2.208 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.208 * [taylor]: Taking taylor expansion of c in a 2.208 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in a 2.208 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.208 * [taylor]: Taking taylor expansion of b in a 2.208 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 2.208 * [taylor]: Taking taylor expansion of (/ 1 d) in a 2.208 * [taylor]: Taking taylor expansion of d in a 2.208 * [taylor]: Taking taylor expansion of (/ 1 e) in a 2.208 * [taylor]: Taking taylor expansion of e in a 2.208 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in b 2.208 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.208 * [taylor]: Taking taylor expansion of a in b 2.208 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in b 2.209 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.209 * [taylor]: Taking taylor expansion of c in b 2.209 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in b 2.209 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.209 * [taylor]: Taking taylor expansion of b in b 2.209 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 2.209 * [taylor]: Taking taylor expansion of (/ 1 d) in b 2.209 * [taylor]: Taking taylor expansion of d in b 2.209 * [taylor]: Taking taylor expansion of (/ 1 e) in b 2.209 * [taylor]: Taking taylor expansion of e in b 2.209 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in c 2.209 * [taylor]: Taking taylor expansion of (/ 1 a) in c 2.209 * [taylor]: Taking taylor expansion of a in c 2.209 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in c 2.209 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.209 * [taylor]: Taking taylor expansion of c in c 2.209 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in c 2.209 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.209 * [taylor]: Taking taylor expansion of b in c 2.209 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 2.209 * [taylor]: Taking taylor expansion of (/ 1 d) in c 2.209 * [taylor]: Taking taylor expansion of d in c 2.210 * [taylor]: Taking taylor expansion of (/ 1 e) in c 2.210 * [taylor]: Taking taylor expansion of e in c 2.210 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in d 2.210 * [taylor]: Taking taylor expansion of (/ 1 a) in d 2.210 * [taylor]: Taking taylor expansion of a in d 2.210 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in d 2.210 * [taylor]: Taking taylor expansion of (/ 1 c) in d 2.210 * [taylor]: Taking taylor expansion of c in d 2.210 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in d 2.210 * [taylor]: Taking taylor expansion of (/ 1 b) in d 2.210 * [taylor]: Taking taylor expansion of b in d 2.210 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 2.210 * [taylor]: Taking taylor expansion of (/ 1 d) in d 2.210 * [taylor]: Taking taylor expansion of d in d 2.210 * [taylor]: Taking taylor expansion of (/ 1 e) in d 2.210 * [taylor]: Taking taylor expansion of e in d 2.210 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 2.210 * [taylor]: Taking taylor expansion of (/ 1 a) in e 2.210 * [taylor]: Taking taylor expansion of a in e 2.210 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 2.210 * [taylor]: Taking taylor expansion of (/ 1 c) in e 2.210 * [taylor]: Taking taylor expansion of c in e 2.210 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 2.210 * [taylor]: Taking taylor expansion of (/ 1 b) in e 2.210 * [taylor]: Taking taylor expansion of b in e 2.210 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 2.210 * [taylor]: Taking taylor expansion of (/ 1 d) in e 2.210 * [taylor]: Taking taylor expansion of d in e 2.210 * [taylor]: Taking taylor expansion of (/ 1 e) in e 2.210 * [taylor]: Taking taylor expansion of e in e 2.211 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 2.211 * [taylor]: Taking taylor expansion of (/ 1 a) in e 2.211 * [taylor]: Taking taylor expansion of a in e 2.211 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 2.211 * [taylor]: Taking taylor expansion of (/ 1 c) in e 2.211 * [taylor]: Taking taylor expansion of c in e 2.211 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 2.211 * [taylor]: Taking taylor expansion of (/ 1 b) in e 2.211 * [taylor]: Taking taylor expansion of b in e 2.211 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 2.211 * [taylor]: Taking taylor expansion of (/ 1 d) in e 2.211 * [taylor]: Taking taylor expansion of d in e 2.211 * [taylor]: Taking taylor expansion of (/ 1 e) in e 2.211 * [taylor]: Taking taylor expansion of e in e 2.212 * [taylor]: Taking taylor expansion of 1 in d 2.213 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (+ (/ 1 c) (/ 1 a)))) in d 2.213 * [taylor]: Taking taylor expansion of (/ 1 b) in d 2.213 * [taylor]: Taking taylor expansion of b in d 2.213 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (+ (/ 1 c) (/ 1 a))) in d 2.213 * [taylor]: Taking taylor expansion of (/ 1 d) in d 2.213 * [taylor]: Taking taylor expansion of d in d 2.214 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in d 2.214 * [taylor]: Taking taylor expansion of (/ 1 c) in d 2.214 * [taylor]: Taking taylor expansion of c in d 2.214 * [taylor]: Taking taylor expansion of (/ 1 a) in d 2.214 * [taylor]: Taking taylor expansion of a in d 2.214 * [taylor]: Taking taylor expansion of 1 in c 2.215 * [taylor]: Taking taylor expansion of 1 in c 2.216 * [taylor]: Taking taylor expansion of 0 in d 2.217 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 2.217 * [taylor]: Taking taylor expansion of (/ 1 a) in c 2.217 * [taylor]: Taking taylor expansion of a in c 2.217 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 2.217 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.217 * [taylor]: Taking taylor expansion of c in c 2.217 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.217 * [taylor]: Taking taylor expansion of b in c 2.218 * [taylor]: Taking taylor expansion of 1 in b 2.218 * [taylor]: Taking taylor expansion of 0 in c 2.218 * [taylor]: Taking taylor expansion of 1 in b 2.218 * [taylor]: Taking taylor expansion of 1 in b 2.220 * [taylor]: Taking taylor expansion of 0 in d 2.220 * [taylor]: Taking taylor expansion of 0 in c 2.221 * [taylor]: Taking taylor expansion of 0 in c 2.221 * [taylor]: Taking taylor expansion of 0 in c 2.222 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.222 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.222 * [taylor]: Taking taylor expansion of b in b 2.222 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.222 * [taylor]: Taking taylor expansion of a in b 2.222 * [taylor]: Taking taylor expansion of 1 in a 2.222 * [taylor]: Taking taylor expansion of 0 in b 2.222 * [taylor]: Taking taylor expansion of 0 in b 2.223 * [taylor]: Taking taylor expansion of 0 in b 2.223 * [taylor]: Taking taylor expansion of 1 in a 2.223 * [taylor]: Taking taylor expansion of 1 in a 2.223 * [taylor]: Taking taylor expansion of 1 in a 2.225 * [taylor]: Taking taylor expansion of 0 in d 2.225 * [taylor]: Taking taylor expansion of 0 in c 2.225 * [taylor]: Taking taylor expansion of 0 in c 2.226 * [taylor]: Taking taylor expansion of 0 in c 2.226 * [taylor]: Taking taylor expansion of 0 in c 2.226 * [taylor]: Taking taylor expansion of 0 in b 2.226 * [taylor]: Taking taylor expansion of 0 in b 2.226 * [taylor]: Taking taylor expansion of 0 in b 2.228 * [taylor]: Taking taylor expansion of 0 in b 2.228 * [taylor]: Taking taylor expansion of 0 in b 2.228 * [taylor]: Taking taylor expansion of 0 in b 2.228 * [taylor]: Taking taylor expansion of 0 in b 2.228 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.228 * [taylor]: Taking taylor expansion of a in a 2.229 * [taylor]: Taking taylor expansion of 0 in a 2.229 * [taylor]: Taking taylor expansion of 0 in a 2.229 * [taylor]: Taking taylor expansion of 0 in a 2.229 * [taylor]: Taking taylor expansion of 0 in a 2.229 * [taylor]: Taking taylor expansion of 0 in a 2.229 * [taylor]: Taking taylor expansion of 0 in a 2.230 * [approximate]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in (e d c b a) around 0 2.230 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in a 2.230 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in a 2.230 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.230 * [taylor]: Taking taylor expansion of a in a 2.230 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in a 2.230 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.231 * [taylor]: Taking taylor expansion of c in a 2.231 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in a 2.231 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.231 * [taylor]: Taking taylor expansion of b in a 2.231 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 2.231 * [taylor]: Taking taylor expansion of (/ 1 d) in a 2.231 * [taylor]: Taking taylor expansion of d in a 2.231 * [taylor]: Taking taylor expansion of (/ 1 e) in a 2.231 * [taylor]: Taking taylor expansion of e in a 2.231 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in b 2.231 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in b 2.231 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.231 * [taylor]: Taking taylor expansion of a in b 2.231 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in b 2.231 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.231 * [taylor]: Taking taylor expansion of c in b 2.231 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in b 2.231 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.231 * [taylor]: Taking taylor expansion of b in b 2.231 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 2.231 * [taylor]: Taking taylor expansion of (/ 1 d) in b 2.231 * [taylor]: Taking taylor expansion of d in b 2.231 * [taylor]: Taking taylor expansion of (/ 1 e) in b 2.231 * [taylor]: Taking taylor expansion of e in b 2.231 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in c 2.231 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in c 2.231 * [taylor]: Taking taylor expansion of (/ 1 a) in c 2.231 * [taylor]: Taking taylor expansion of a in c 2.231 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in c 2.231 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.231 * [taylor]: Taking taylor expansion of c in c 2.232 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in c 2.232 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.232 * [taylor]: Taking taylor expansion of b in c 2.232 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 2.232 * [taylor]: Taking taylor expansion of (/ 1 d) in c 2.232 * [taylor]: Taking taylor expansion of d in c 2.232 * [taylor]: Taking taylor expansion of (/ 1 e) in c 2.232 * [taylor]: Taking taylor expansion of e in c 2.232 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in d 2.232 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in d 2.232 * [taylor]: Taking taylor expansion of (/ 1 a) in d 2.232 * [taylor]: Taking taylor expansion of a in d 2.232 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in d 2.232 * [taylor]: Taking taylor expansion of (/ 1 c) in d 2.232 * [taylor]: Taking taylor expansion of c in d 2.232 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in d 2.232 * [taylor]: Taking taylor expansion of (/ 1 b) in d 2.232 * [taylor]: Taking taylor expansion of b in d 2.232 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 2.232 * [taylor]: Taking taylor expansion of (/ 1 d) in d 2.232 * [taylor]: Taking taylor expansion of d in d 2.232 * [taylor]: Taking taylor expansion of (/ 1 e) in d 2.232 * [taylor]: Taking taylor expansion of e in d 2.232 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in e 2.233 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 2.233 * [taylor]: Taking taylor expansion of (/ 1 a) in e 2.233 * [taylor]: Taking taylor expansion of a in e 2.233 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 2.233 * [taylor]: Taking taylor expansion of (/ 1 c) in e 2.233 * [taylor]: Taking taylor expansion of c in e 2.233 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 2.233 * [taylor]: Taking taylor expansion of (/ 1 b) in e 2.233 * [taylor]: Taking taylor expansion of b in e 2.233 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 2.233 * [taylor]: Taking taylor expansion of (/ 1 d) in e 2.233 * [taylor]: Taking taylor expansion of d in e 2.233 * [taylor]: Taking taylor expansion of (/ 1 e) in e 2.233 * [taylor]: Taking taylor expansion of e in e 2.233 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))))) in e 2.233 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))))) in e 2.233 * [taylor]: Taking taylor expansion of (/ 1 a) in e 2.233 * [taylor]: Taking taylor expansion of a in e 2.233 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 b) (+ (/ 1 d) (/ 1 e)))) in e 2.233 * [taylor]: Taking taylor expansion of (/ 1 c) in e 2.233 * [taylor]: Taking taylor expansion of c in e 2.233 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 d) (/ 1 e))) in e 2.233 * [taylor]: Taking taylor expansion of (/ 1 b) in e 2.233 * [taylor]: Taking taylor expansion of b in e 2.233 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 2.233 * [taylor]: Taking taylor expansion of (/ 1 d) in e 2.233 * [taylor]: Taking taylor expansion of d in e 2.233 * [taylor]: Taking taylor expansion of (/ 1 e) in e 2.233 * [taylor]: Taking taylor expansion of e in e 2.235 * [taylor]: Taking taylor expansion of -1 in d 2.236 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))))) in d 2.236 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (+ (/ 1 d) (/ 1 a)))) in d 2.236 * [taylor]: Taking taylor expansion of (/ 1 b) in d 2.236 * [taylor]: Taking taylor expansion of b in d 2.236 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (+ (/ 1 d) (/ 1 a))) in d 2.236 * [taylor]: Taking taylor expansion of (/ 1 c) in d 2.236 * [taylor]: Taking taylor expansion of c in d 2.236 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 a)) in d 2.236 * [taylor]: Taking taylor expansion of (/ 1 d) in d 2.236 * [taylor]: Taking taylor expansion of d in d 2.236 * [taylor]: Taking taylor expansion of (/ 1 a) in d 2.236 * [taylor]: Taking taylor expansion of a in d 2.238 * [taylor]: Taking taylor expansion of -1 in c 2.238 * [taylor]: Taking taylor expansion of -1 in c 2.240 * [taylor]: Taking taylor expansion of 0 in d 2.240 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (+ (/ 1 c) (/ 1 b)))) in c 2.240 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (+ (/ 1 c) (/ 1 b))) in c 2.240 * [taylor]: Taking taylor expansion of (/ 1 a) in c 2.240 * [taylor]: Taking taylor expansion of a in c 2.240 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 b)) in c 2.240 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.240 * [taylor]: Taking taylor expansion of c in c 2.241 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.241 * [taylor]: Taking taylor expansion of b in c 2.241 * [taylor]: Taking taylor expansion of -1 in b 2.241 * [taylor]: Taking taylor expansion of 0 in c 2.242 * [taylor]: Taking taylor expansion of -1 in b 2.242 * [taylor]: Taking taylor expansion of -1 in b 2.243 * [taylor]: Taking taylor expansion of 0 in d 2.244 * [taylor]: Taking taylor expansion of 0 in c 2.245 * [taylor]: Taking taylor expansion of 0 in c 2.245 * [taylor]: Taking taylor expansion of 0 in c 2.246 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a))) in b 2.246 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.246 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.246 * [taylor]: Taking taylor expansion of b in b 2.246 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.246 * [taylor]: Taking taylor expansion of a in b 2.247 * [taylor]: Taking taylor expansion of -1 in a 2.247 * [taylor]: Taking taylor expansion of 0 in b 2.247 * [taylor]: Taking taylor expansion of 0 in b 2.247 * [taylor]: Taking taylor expansion of 0 in b 2.247 * [taylor]: Taking taylor expansion of -1 in a 2.247 * [taylor]: Taking taylor expansion of -1 in a 2.247 * [taylor]: Taking taylor expansion of -1 in a 2.249 * [taylor]: Taking taylor expansion of 0 in d 2.249 * [taylor]: Taking taylor expansion of 0 in c 2.249 * [taylor]: Taking taylor expansion of 0 in c 2.251 * [taylor]: Taking taylor expansion of 0 in c 2.251 * [taylor]: Taking taylor expansion of 0 in c 2.251 * [taylor]: Taking taylor expansion of 0 in b 2.251 * [taylor]: Taking taylor expansion of 0 in b 2.251 * [taylor]: Taking taylor expansion of 0 in b 2.252 * [taylor]: Taking taylor expansion of 0 in b 2.252 * [taylor]: Taking taylor expansion of 0 in b 2.252 * [taylor]: Taking taylor expansion of 0 in b 2.252 * [taylor]: Taking taylor expansion of 0 in b 2.253 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 2.253 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.253 * [taylor]: Taking taylor expansion of a in a 2.253 * [taylor]: Taking taylor expansion of 0 in a 2.253 * [taylor]: Taking taylor expansion of 0 in a 2.253 * [taylor]: Taking taylor expansion of 0 in a 2.253 * [taylor]: Taking taylor expansion of 0 in a 2.253 * [taylor]: Taking taylor expansion of 0 in a 2.253 * [taylor]: Taking taylor expansion of 0 in a 2.255 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 2.255 * [approximate]: Taking taylor expansion of (+ a (+ b c)) in (c b a) around 0 2.255 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in a 2.255 * [taylor]: Taking taylor expansion of a in a 2.255 * [taylor]: Taking taylor expansion of (+ b c) in a 2.255 * [taylor]: Taking taylor expansion of b in a 2.255 * [taylor]: Taking taylor expansion of c in a 2.255 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in b 2.255 * [taylor]: Taking taylor expansion of a in b 2.255 * [taylor]: Taking taylor expansion of (+ b c) in b 2.255 * [taylor]: Taking taylor expansion of b in b 2.255 * [taylor]: Taking taylor expansion of c in b 2.255 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 2.255 * [taylor]: Taking taylor expansion of a in c 2.255 * [taylor]: Taking taylor expansion of (+ b c) in c 2.255 * [taylor]: Taking taylor expansion of b in c 2.255 * [taylor]: Taking taylor expansion of c in c 2.255 * [taylor]: Taking taylor expansion of (+ a (+ b c)) in c 2.255 * [taylor]: Taking taylor expansion of a in c 2.255 * [taylor]: Taking taylor expansion of (+ b c) in c 2.255 * [taylor]: Taking taylor expansion of b in c 2.255 * [taylor]: Taking taylor expansion of c in c 2.255 * [taylor]: Taking taylor expansion of (+ a b) in b 2.255 * [taylor]: Taking taylor expansion of a in b 2.255 * [taylor]: Taking taylor expansion of b in b 2.255 * [taylor]: Taking taylor expansion of a in a 2.256 * [taylor]: Taking taylor expansion of 1 in b 2.256 * [taylor]: Taking taylor expansion of 1 in a 2.257 * [taylor]: Taking taylor expansion of 1 in a 2.257 * [approximate]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in (c b a) around 0 2.257 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 2.257 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.257 * [taylor]: Taking taylor expansion of b in a 2.257 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 2.257 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.257 * [taylor]: Taking taylor expansion of c in a 2.257 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.257 * [taylor]: Taking taylor expansion of a in a 2.258 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 2.258 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.258 * [taylor]: Taking taylor expansion of b in b 2.258 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 2.258 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.258 * [taylor]: Taking taylor expansion of c in b 2.258 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.258 * [taylor]: Taking taylor expansion of a in b 2.258 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 2.258 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.258 * [taylor]: Taking taylor expansion of b in c 2.258 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 2.258 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.258 * [taylor]: Taking taylor expansion of c in c 2.258 * [taylor]: Taking taylor expansion of (/ 1 a) in c 2.258 * [taylor]: Taking taylor expansion of a in c 2.258 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 2.258 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.258 * [taylor]: Taking taylor expansion of b in c 2.259 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 2.259 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.259 * [taylor]: Taking taylor expansion of c in c 2.259 * [taylor]: Taking taylor expansion of (/ 1 a) in c 2.259 * [taylor]: Taking taylor expansion of a in c 2.260 * [taylor]: Taking taylor expansion of 1 in b 2.260 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 2.260 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.260 * [taylor]: Taking taylor expansion of a in b 2.260 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.260 * [taylor]: Taking taylor expansion of b in b 2.265 * [taylor]: Taking taylor expansion of 1 in a 2.265 * [taylor]: Taking taylor expansion of 1 in a 2.266 * [taylor]: Taking taylor expansion of 0 in b 2.267 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.267 * [taylor]: Taking taylor expansion of a in a 2.267 * [taylor]: Taking taylor expansion of 0 in a 2.268 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in (c b a) around 0 2.268 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in a 2.268 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in a 2.268 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.268 * [taylor]: Taking taylor expansion of b in a 2.268 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in a 2.268 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.268 * [taylor]: Taking taylor expansion of c in a 2.268 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.268 * [taylor]: Taking taylor expansion of a in a 2.268 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in b 2.268 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in b 2.268 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.268 * [taylor]: Taking taylor expansion of b in b 2.268 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in b 2.269 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.269 * [taylor]: Taking taylor expansion of c in b 2.269 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.269 * [taylor]: Taking taylor expansion of a in b 2.269 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 2.269 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 2.269 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.269 * [taylor]: Taking taylor expansion of b in c 2.269 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 2.269 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.269 * [taylor]: Taking taylor expansion of c in c 2.269 * [taylor]: Taking taylor expansion of (/ 1 a) in c 2.269 * [taylor]: Taking taylor expansion of a in c 2.269 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (+ (/ 1 c) (/ 1 a)))) in c 2.269 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (+ (/ 1 c) (/ 1 a))) in c 2.269 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.269 * [taylor]: Taking taylor expansion of b in c 2.269 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 a)) in c 2.269 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.269 * [taylor]: Taking taylor expansion of c in c 2.269 * [taylor]: Taking taylor expansion of (/ 1 a) in c 2.270 * [taylor]: Taking taylor expansion of a in c 2.271 * [taylor]: Taking taylor expansion of -1 in b 2.271 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 b))) in b 2.271 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 2.271 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.271 * [taylor]: Taking taylor expansion of a in b 2.271 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.271 * [taylor]: Taking taylor expansion of b in b 2.272 * [taylor]: Taking taylor expansion of -1 in a 2.272 * [taylor]: Taking taylor expansion of -1 in a 2.274 * [taylor]: Taking taylor expansion of 0 in b 2.274 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 2.274 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.274 * [taylor]: Taking taylor expansion of a in a 2.275 * [taylor]: Taking taylor expansion of 0 in a 2.275 * * * [progress]: simplifying candidates 2.276 * [simplify]: Simplifying using # : (expm1 (+ (+ e d) (+ c (+ b a)))) (log1p (+ (+ e d) (+ c (+ b a)))) (* (* (exp e) (exp d)) (* (exp c) (* (exp b) (exp a)))) (* (* (exp e) (exp d)) (* (exp c) (exp (+ b a)))) (* (* (exp e) (exp d)) (exp (+ c (+ b a)))) (* (exp (+ e d)) (* (exp c) (* (exp b) (exp a)))) (* (exp (+ e d)) (* (exp c) (exp (+ b a)))) (* (exp (+ e d)) (exp (+ c (+ b a)))) (log (+ (+ e d) (+ c (+ b a)))) (exp (+ (+ e d) (+ c (+ b a)))) (* (cbrt (+ (+ e d) (+ c (+ b a)))) (cbrt (+ (+ e d) (+ c (+ b a))))) (cbrt (+ (+ e d) (+ c (+ b a)))) (* (* (+ (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a)))) (+ (+ e d) (+ c (+ b a)))) (sqrt (+ (+ e d) (+ c (+ b a)))) (sqrt (+ (+ e d) (+ c (+ b a)))) (+ (* (+ (pow e 3) (pow d 3)) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a))))) (* (+ (* e e) (- (* d d) (* e d))) (+ (pow c 3) (pow (+ b a) 3)))) (* (+ (* e e) (- (* d d) (* e d))) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a))))) (+ (* (+ (pow e 3) (pow d 3)) (- c (+ b a))) (* (+ (* e e) (- (* d d) (* e d))) (- (* c c) (* (+ b a) (+ b a))))) (* (+ (* e e) (- (* d d) (* e d))) (- c (+ b a))) (+ (* (- (* e e) (* d d)) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a))))) (* (- e d) (+ (pow c 3) (pow (+ b a) 3)))) (* (- e d) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a))))) (+ (* (- (* e e) (* d d)) (- c (+ b a))) (* (- e d) (- (* c c) (* (+ b a) (+ b a))))) (* (- e d) (- c (+ b a))) (+ (pow (+ e d) 3) (pow (+ c (+ b a)) 3)) (+ (* (+ e d) (+ e d)) (- (* (+ c (+ b a)) (+ c (+ b a))) (* (+ e d) (+ c (+ b a))))) (- (* (+ e d) (+ e d)) (* (+ c (+ b a)) (+ c (+ b a)))) (- (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) c) (+ d (+ c (+ b a))) (expm1 (+ c (+ b a))) (log1p (+ c (+ b a))) (* (exp c) (* (exp b) (exp a))) (* (exp c) (exp (+ b a))) (log (+ c (+ b a))) (exp (+ c (+ b a))) (* (cbrt (+ c (+ b a))) (cbrt (+ c (+ b a)))) (cbrt (+ c (+ b a))) (* (* (+ c (+ b a)) (+ c (+ b a))) (+ c (+ b a))) (sqrt (+ c (+ b a))) (sqrt (+ c (+ b a))) (+ (pow c 3) (pow (+ b a) 3)) (+ (* c c) (- (* (+ b a) (+ b a)) (* c (+ b a)))) (- (* c c) (* (+ b a) (+ b a))) (- c (+ b a)) (+ c (+ b a)) (+ c (+ b a)) (+ c b) (+ d (+ e c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) 2.279 * * [simplify]: iteration 0 : 97 enodes (cost 731 ) 2.296 * * [simplify]: iteration 1 : 323 enodes (cost 655 ) 2.364 * * [simplify]: iteration 2 : 1248 enodes (cost 637 ) 2.743 * * [simplify]: iteration done : 5000 enodes (cost 620 ) 2.744 * [simplify]: Simplified to: (expm1 (+ (+ e d) (+ c (+ b a)))) (log1p (+ (+ e d) (+ c (+ b a)))) (exp (+ (+ e d) (+ c (+ b a)))) (exp (+ (+ e d) (+ c (+ b a)))) (exp (+ (+ e d) (+ c (+ b a)))) (exp (+ (+ e d) (+ c (+ b a)))) (exp (+ (+ e d) (+ c (+ b a)))) (exp (+ (+ e d) (+ c (+ b a)))) (log (+ (+ e d) (+ c (+ b a)))) (exp (+ (+ e d) (+ c (+ b a)))) (* (cbrt (+ (+ e d) (+ c (+ b a)))) (cbrt (+ (+ e d) (+ c (+ b a))))) (cbrt (+ (+ e d) (+ c (+ b a)))) (pow (+ (+ e d) (+ c (+ b a))) 3) (sqrt (+ (+ e d) (+ c (+ b a)))) (sqrt (+ (+ e d) (+ c (+ b a)))) (fma (+ (pow e 3) (pow d 3)) (fma c c (* (+ b a) (- (+ b a) c))) (* (fma e e (* d (- d e))) (+ (pow c 3) (pow (+ b a) 3)))) (* (fma c c (* (+ b a) (- (+ b a) c))) (fma e e (* d (- d e)))) (* (- c (+ b a)) (+ (* (fma e e (* d (- d e))) (+ a (+ b c))) (+ (pow e 3) (pow d 3)))) (* (- c (+ b a)) (fma e e (* d (- d e)))) (* (- e d) (+ (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d)) (+ (pow c 3) (pow (+ b a) 3)))) (* (- e d) (fma c c (* (+ b a) (- (+ b a) c)))) (* (* (- e d) (- c (+ b a))) (+ (+ e d) (+ c (+ b a)))) (* (- e d) (- c (+ b a))) (+ (pow (+ e d) 3) (pow (+ c (+ b a)) 3)) (fma (+ e d) (+ e d) (* (+ a (+ b c)) (- (+ a (+ b c)) (+ e d)))) (- (* (+ e d) (+ e d)) (* (+ c (+ b a)) (+ c (+ b a)))) (- (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) (+ c (+ b a))) (+ (+ e d) c) (+ d (+ c (+ b a))) (expm1 (+ c (+ b a))) (log1p (+ c (+ b a))) (exp (+ c (+ b a))) (exp (+ c (+ b a))) (log (+ c (+ b a))) (exp (+ c (+ b a))) (* (cbrt (+ c (+ b a))) (cbrt (+ c (+ b a)))) (cbrt (+ c (+ b a))) (pow (+ c (+ b a)) 3) (sqrt (+ c (+ b a))) (sqrt (+ c (+ b a))) (+ (pow c 3) (pow (+ b a) 3)) (fma c c (* (+ b a) (- (+ b a) c))) (- (* c c) (* (+ b a) (+ b a))) (- c (+ b a)) (+ a (+ b c)) (+ a (+ b c)) (+ b c) (+ (+ e d) c) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) (+ a (+ b c)) 2.744 * * * [progress]: adding candidates to table 2.882 * * [progress]: iteration 4 / 4 2.882 * * * [progress]: picking best candidate 2.898 * * * * [pick]: Picked # 2.898 * * * [progress]: localizing error 2.920 * * * [progress]: generating rewritten candidates 2.920 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 3 2) 2.943 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 3 2) 2.969 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 2) 2.973 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 2.987 * * * [progress]: generating series expansions 2.987 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 3 2) 2.987 * [approximate]: Taking taylor expansion of (- (+ a b) c) in (b a c) around 0 2.987 * [taylor]: Taking taylor expansion of (- (+ a b) c) in c 2.987 * [taylor]: Taking taylor expansion of (+ a b) in c 2.987 * [taylor]: Taking taylor expansion of a in c 2.987 * [taylor]: Taking taylor expansion of b in c 2.987 * [taylor]: Taking taylor expansion of c in c 2.987 * [taylor]: Taking taylor expansion of (- (+ a b) c) in a 2.987 * [taylor]: Taking taylor expansion of (+ a b) in a 2.987 * [taylor]: Taking taylor expansion of a in a 2.987 * [taylor]: Taking taylor expansion of b in a 2.987 * [taylor]: Taking taylor expansion of c in a 2.987 * [taylor]: Taking taylor expansion of (- (+ a b) c) in b 2.987 * [taylor]: Taking taylor expansion of (+ a b) in b 2.987 * [taylor]: Taking taylor expansion of a in b 2.987 * [taylor]: Taking taylor expansion of b in b 2.987 * [taylor]: Taking taylor expansion of c in b 2.987 * [taylor]: Taking taylor expansion of (- (+ a b) c) in b 2.987 * [taylor]: Taking taylor expansion of (+ a b) in b 2.987 * [taylor]: Taking taylor expansion of a in b 2.987 * [taylor]: Taking taylor expansion of b in b 2.987 * [taylor]: Taking taylor expansion of c in b 2.987 * [taylor]: Taking taylor expansion of (- a c) in a 2.987 * [taylor]: Taking taylor expansion of a in a 2.987 * [taylor]: Taking taylor expansion of c in a 2.987 * [taylor]: Taking taylor expansion of (- c) in c 2.988 * [taylor]: Taking taylor expansion of c in c 2.989 * [taylor]: Taking taylor expansion of 1 in a 2.989 * [taylor]: Taking taylor expansion of 1 in c 2.990 * [taylor]: Taking taylor expansion of 1 in c 2.991 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in (b a c) around 0 2.991 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in c 2.991 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in c 2.991 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.991 * [taylor]: Taking taylor expansion of b in c 2.991 * [taylor]: Taking taylor expansion of (/ 1 a) in c 2.991 * [taylor]: Taking taylor expansion of a in c 2.991 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.991 * [taylor]: Taking taylor expansion of c in c 2.992 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in a 2.992 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.992 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.992 * [taylor]: Taking taylor expansion of b in a 2.992 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.992 * [taylor]: Taking taylor expansion of a in a 2.992 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.992 * [taylor]: Taking taylor expansion of c in a 2.992 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in b 2.992 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.992 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.992 * [taylor]: Taking taylor expansion of b in b 2.992 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.992 * [taylor]: Taking taylor expansion of a in b 2.992 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.992 * [taylor]: Taking taylor expansion of c in b 2.993 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in b 2.993 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.993 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.993 * [taylor]: Taking taylor expansion of b in b 2.993 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.993 * [taylor]: Taking taylor expansion of a in b 2.993 * [taylor]: Taking taylor expansion of (/ 1 c) in b 2.993 * [taylor]: Taking taylor expansion of c in b 2.994 * [taylor]: Taking taylor expansion of 1 in a 2.994 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 c)) in a 2.994 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.994 * [taylor]: Taking taylor expansion of a in a 2.995 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.995 * [taylor]: Taking taylor expansion of c in a 2.995 * [taylor]: Taking taylor expansion of 1 in c 2.996 * [taylor]: Taking taylor expansion of 1 in c 2.997 * [taylor]: Taking taylor expansion of 0 in a 2.997 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 2.998 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.998 * [taylor]: Taking taylor expansion of c in c 2.998 * [taylor]: Taking taylor expansion of 0 in c 2.999 * [approximate]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in (b a c) around 0 2.999 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in c 2.999 * [taylor]: Taking taylor expansion of (/ 1 c) in c 2.999 * [taylor]: Taking taylor expansion of c in c 2.999 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in c 2.999 * [taylor]: Taking taylor expansion of (/ 1 b) in c 2.999 * [taylor]: Taking taylor expansion of b in c 2.999 * [taylor]: Taking taylor expansion of (/ 1 a) in c 2.999 * [taylor]: Taking taylor expansion of a in c 2.999 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in a 2.999 * [taylor]: Taking taylor expansion of (/ 1 c) in a 2.999 * [taylor]: Taking taylor expansion of c in a 2.999 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.999 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.999 * [taylor]: Taking taylor expansion of b in a 2.999 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.999 * [taylor]: Taking taylor expansion of a in a 3.000 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in b 3.000 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.000 * [taylor]: Taking taylor expansion of c in b 3.000 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.000 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.000 * [taylor]: Taking taylor expansion of b in b 3.000 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.000 * [taylor]: Taking taylor expansion of a in b 3.000 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in b 3.000 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.000 * [taylor]: Taking taylor expansion of c in b 3.000 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.000 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.000 * [taylor]: Taking taylor expansion of b in b 3.000 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.000 * [taylor]: Taking taylor expansion of a in b 3.001 * [taylor]: Taking taylor expansion of -1 in a 3.002 * [taylor]: Taking taylor expansion of (- (/ 1 c) (/ 1 a)) in a 3.002 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.002 * [taylor]: Taking taylor expansion of c in a 3.002 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.002 * [taylor]: Taking taylor expansion of a in a 3.003 * [taylor]: Taking taylor expansion of -1 in c 3.003 * [taylor]: Taking taylor expansion of -1 in c 3.004 * [taylor]: Taking taylor expansion of 0 in a 3.005 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.005 * [taylor]: Taking taylor expansion of c in c 3.005 * [taylor]: Taking taylor expansion of 0 in c 3.006 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 3 2) 3.006 * [approximate]: Taking taylor expansion of (- (+ a b) c) in (b a c) around 0 3.006 * [taylor]: Taking taylor expansion of (- (+ a b) c) in c 3.006 * [taylor]: Taking taylor expansion of (+ a b) in c 3.006 * [taylor]: Taking taylor expansion of a in c 3.006 * [taylor]: Taking taylor expansion of b in c 3.006 * [taylor]: Taking taylor expansion of c in c 3.006 * [taylor]: Taking taylor expansion of (- (+ a b) c) in a 3.006 * [taylor]: Taking taylor expansion of (+ a b) in a 3.006 * [taylor]: Taking taylor expansion of a in a 3.006 * [taylor]: Taking taylor expansion of b in a 3.006 * [taylor]: Taking taylor expansion of c in a 3.006 * [taylor]: Taking taylor expansion of (- (+ a b) c) in b 3.006 * [taylor]: Taking taylor expansion of (+ a b) in b 3.006 * [taylor]: Taking taylor expansion of a in b 3.006 * [taylor]: Taking taylor expansion of b in b 3.006 * [taylor]: Taking taylor expansion of c in b 3.006 * [taylor]: Taking taylor expansion of (- (+ a b) c) in b 3.006 * [taylor]: Taking taylor expansion of (+ a b) in b 3.006 * [taylor]: Taking taylor expansion of a in b 3.006 * [taylor]: Taking taylor expansion of b in b 3.006 * [taylor]: Taking taylor expansion of c in b 3.006 * [taylor]: Taking taylor expansion of (- a c) in a 3.006 * [taylor]: Taking taylor expansion of a in a 3.006 * [taylor]: Taking taylor expansion of c in a 3.006 * [taylor]: Taking taylor expansion of (- c) in c 3.006 * [taylor]: Taking taylor expansion of c in c 3.008 * [taylor]: Taking taylor expansion of 1 in a 3.008 * [taylor]: Taking taylor expansion of 1 in c 3.008 * [taylor]: Taking taylor expansion of 1 in c 3.009 * [approximate]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in (b a c) around 0 3.009 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in c 3.009 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in c 3.009 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.009 * [taylor]: Taking taylor expansion of b in c 3.009 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.009 * [taylor]: Taking taylor expansion of a in c 3.009 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.009 * [taylor]: Taking taylor expansion of c in c 3.009 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in a 3.010 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.010 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.010 * [taylor]: Taking taylor expansion of b in a 3.010 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.010 * [taylor]: Taking taylor expansion of a in a 3.010 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.010 * [taylor]: Taking taylor expansion of c in a 3.010 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in b 3.010 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.010 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.010 * [taylor]: Taking taylor expansion of b in b 3.010 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.010 * [taylor]: Taking taylor expansion of a in b 3.010 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.010 * [taylor]: Taking taylor expansion of c in b 3.010 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in b 3.010 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.010 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.010 * [taylor]: Taking taylor expansion of b in b 3.011 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.011 * [taylor]: Taking taylor expansion of a in b 3.011 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.011 * [taylor]: Taking taylor expansion of c in b 3.011 * [taylor]: Taking taylor expansion of 1 in a 3.012 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 c)) in a 3.012 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.012 * [taylor]: Taking taylor expansion of a in a 3.012 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.012 * [taylor]: Taking taylor expansion of c in a 3.013 * [taylor]: Taking taylor expansion of 1 in c 3.013 * [taylor]: Taking taylor expansion of 1 in c 3.014 * [taylor]: Taking taylor expansion of 0 in a 3.014 * [taylor]: Taking taylor expansion of (- (/ 1 c)) in c 3.015 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.015 * [taylor]: Taking taylor expansion of c in c 3.015 * [taylor]: Taking taylor expansion of 0 in c 3.016 * [approximate]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in (b a c) around 0 3.016 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in c 3.016 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.016 * [taylor]: Taking taylor expansion of c in c 3.016 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in c 3.016 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.016 * [taylor]: Taking taylor expansion of b in c 3.016 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.016 * [taylor]: Taking taylor expansion of a in c 3.016 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in a 3.016 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.016 * [taylor]: Taking taylor expansion of c in a 3.016 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.016 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.016 * [taylor]: Taking taylor expansion of b in a 3.016 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.016 * [taylor]: Taking taylor expansion of a in a 3.017 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in b 3.017 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.017 * [taylor]: Taking taylor expansion of c in b 3.017 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.017 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.017 * [taylor]: Taking taylor expansion of b in b 3.017 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.017 * [taylor]: Taking taylor expansion of a in b 3.017 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in b 3.017 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.017 * [taylor]: Taking taylor expansion of c in b 3.017 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.017 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.017 * [taylor]: Taking taylor expansion of b in b 3.017 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.017 * [taylor]: Taking taylor expansion of a in b 3.018 * [taylor]: Taking taylor expansion of -1 in a 3.019 * [taylor]: Taking taylor expansion of (- (/ 1 c) (/ 1 a)) in a 3.019 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.019 * [taylor]: Taking taylor expansion of c in a 3.019 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.019 * [taylor]: Taking taylor expansion of a in a 3.020 * [taylor]: Taking taylor expansion of -1 in c 3.020 * [taylor]: Taking taylor expansion of -1 in c 3.021 * [taylor]: Taking taylor expansion of 0 in a 3.022 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.022 * [taylor]: Taking taylor expansion of c in c 3.022 * [taylor]: Taking taylor expansion of 0 in c 3.023 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 2) 3.023 * [approximate]: Taking taylor expansion of (pow (+ a b) 3) in (b a) around 0 3.023 * [taylor]: Taking taylor expansion of (pow (+ a b) 3) in a 3.023 * [taylor]: Taking taylor expansion of (+ a b) in a 3.023 * [taylor]: Taking taylor expansion of a in a 3.023 * [taylor]: Taking taylor expansion of b in a 3.023 * [taylor]: Taking taylor expansion of (pow (+ a b) 3) in b 3.023 * [taylor]: Taking taylor expansion of (+ a b) in b 3.023 * [taylor]: Taking taylor expansion of a in b 3.023 * [taylor]: Taking taylor expansion of b in b 3.023 * [taylor]: Taking taylor expansion of (pow (+ a b) 3) in b 3.023 * [taylor]: Taking taylor expansion of (+ a b) in b 3.023 * [taylor]: Taking taylor expansion of a in b 3.023 * [taylor]: Taking taylor expansion of b in b 3.023 * [taylor]: Taking taylor expansion of (pow a 3) in a 3.023 * [taylor]: Taking taylor expansion of a in a 3.024 * [taylor]: Taking taylor expansion of (* 3 (pow a 2)) in a 3.024 * [taylor]: Taking taylor expansion of 3 in a 3.024 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.024 * [taylor]: Taking taylor expansion of a in a 3.024 * [taylor]: Taking taylor expansion of (* 3 a) in a 3.024 * [taylor]: Taking taylor expansion of 3 in a 3.025 * [taylor]: Taking taylor expansion of a in a 3.026 * [taylor]: Taking taylor expansion of 1 in a 3.027 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 3) in (b a) around 0 3.028 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 3) in a 3.028 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 3.028 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.028 * [taylor]: Taking taylor expansion of a in a 3.028 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.028 * [taylor]: Taking taylor expansion of b in a 3.028 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 3) in b 3.028 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 3.028 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.028 * [taylor]: Taking taylor expansion of a in b 3.028 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.029 * [taylor]: Taking taylor expansion of b in b 3.029 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 a) (/ 1 b)) 3) in b 3.029 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 3.029 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.029 * [taylor]: Taking taylor expansion of a in b 3.029 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.029 * [taylor]: Taking taylor expansion of b in b 3.030 * [taylor]: Taking taylor expansion of 1 in a 3.031 * [taylor]: Taking taylor expansion of (* 3 (/ 1 a)) in a 3.031 * [taylor]: Taking taylor expansion of 3 in a 3.031 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.031 * [taylor]: Taking taylor expansion of a in a 3.033 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow a 2))) in a 3.033 * [taylor]: Taking taylor expansion of 3 in a 3.033 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.033 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.033 * [taylor]: Taking taylor expansion of a in a 3.036 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 3.036 * [taylor]: Taking taylor expansion of (pow a 3) in a 3.036 * [taylor]: Taking taylor expansion of a in a 3.038 * [approximate]: Taking taylor expansion of (pow (- (+ (/ 1 a) (/ 1 b))) 3) in (b a) around 0 3.038 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 a) (/ 1 b))) 3) in a 3.038 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 b))) in a 3.038 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 3.038 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.038 * [taylor]: Taking taylor expansion of a in a 3.038 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.038 * [taylor]: Taking taylor expansion of b in a 3.039 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 a) (/ 1 b))) 3) in b 3.039 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 b))) in b 3.039 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 3.039 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.039 * [taylor]: Taking taylor expansion of a in b 3.039 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.039 * [taylor]: Taking taylor expansion of b in b 3.040 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 a) (/ 1 b))) 3) in b 3.040 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (/ 1 b))) in b 3.040 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 3.040 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.040 * [taylor]: Taking taylor expansion of a in b 3.040 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.040 * [taylor]: Taking taylor expansion of b in b 3.042 * [taylor]: Taking taylor expansion of -1 in a 3.049 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 a))) in a 3.050 * [taylor]: Taking taylor expansion of (* 3 (/ 1 a)) in a 3.050 * [taylor]: Taking taylor expansion of 3 in a 3.050 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.050 * [taylor]: Taking taylor expansion of a in a 3.054 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow a 2)))) in a 3.054 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow a 2))) in a 3.054 * [taylor]: Taking taylor expansion of 3 in a 3.054 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.054 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.054 * [taylor]: Taking taylor expansion of a in a 3.059 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 3))) in a 3.059 * [taylor]: Taking taylor expansion of (/ 1 (pow a 3)) in a 3.059 * [taylor]: Taking taylor expansion of (pow a 3) in a 3.059 * [taylor]: Taking taylor expansion of a in a 3.061 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 3.062 * [approximate]: Taking taylor expansion of (* (fma c c (* (- (+ a b) c) (+ a b))) (+ d e)) in (c b a e d) around 0 3.062 * [taylor]: Taking taylor expansion of (* (fma c c (* (- (+ a b) c) (+ a b))) (+ d e)) in d 3.062 * [taylor]: Taking taylor expansion of (fma c c (* (- (+ a b) c) (+ a b))) in d 3.062 * [taylor]: Rewrote expression to (+ (* c c) (* (- (+ a b) c) (+ a b))) 3.062 * [taylor]: Taking taylor expansion of (* c c) in d 3.062 * [taylor]: Taking taylor expansion of c in d 3.062 * [taylor]: Taking taylor expansion of c in d 3.062 * [taylor]: Taking taylor expansion of (* (- (+ a b) c) (+ a b)) in d 3.062 * [taylor]: Taking taylor expansion of (- (+ a b) c) in d 3.062 * [taylor]: Taking taylor expansion of (+ a b) in d 3.062 * [taylor]: Taking taylor expansion of a in d 3.062 * [taylor]: Taking taylor expansion of b in d 3.062 * [taylor]: Taking taylor expansion of c in d 3.062 * [taylor]: Taking taylor expansion of (+ a b) in d 3.062 * [taylor]: Taking taylor expansion of a in d 3.062 * [taylor]: Taking taylor expansion of b in d 3.062 * [taylor]: Taking taylor expansion of (+ d e) in d 3.062 * [taylor]: Taking taylor expansion of d in d 3.062 * [taylor]: Taking taylor expansion of e in d 3.062 * [taylor]: Taking taylor expansion of (* (fma c c (* (- (+ a b) c) (+ a b))) (+ d e)) in e 3.062 * [taylor]: Taking taylor expansion of (fma c c (* (- (+ a b) c) (+ a b))) in e 3.062 * [taylor]: Rewrote expression to (+ (* c c) (* (- (+ a b) c) (+ a b))) 3.062 * [taylor]: Taking taylor expansion of (* c c) in e 3.062 * [taylor]: Taking taylor expansion of c in e 3.062 * [taylor]: Taking taylor expansion of c in e 3.062 * [taylor]: Taking taylor expansion of (* (- (+ a b) c) (+ a b)) in e 3.062 * [taylor]: Taking taylor expansion of (- (+ a b) c) in e 3.062 * [taylor]: Taking taylor expansion of (+ a b) in e 3.062 * [taylor]: Taking taylor expansion of a in e 3.062 * [taylor]: Taking taylor expansion of b in e 3.062 * [taylor]: Taking taylor expansion of c in e 3.062 * [taylor]: Taking taylor expansion of (+ a b) in e 3.062 * [taylor]: Taking taylor expansion of a in e 3.062 * [taylor]: Taking taylor expansion of b in e 3.062 * [taylor]: Taking taylor expansion of (+ d e) in e 3.062 * [taylor]: Taking taylor expansion of d in e 3.062 * [taylor]: Taking taylor expansion of e in e 3.062 * [taylor]: Taking taylor expansion of (* (fma c c (* (- (+ a b) c) (+ a b))) (+ d e)) in a 3.062 * [taylor]: Taking taylor expansion of (fma c c (* (- (+ a b) c) (+ a b))) in a 3.062 * [taylor]: Rewrote expression to (+ (* c c) (* (- (+ a b) c) (+ a b))) 3.062 * [taylor]: Taking taylor expansion of (* c c) in a 3.062 * [taylor]: Taking taylor expansion of c in a 3.063 * [taylor]: Taking taylor expansion of c in a 3.063 * [taylor]: Taking taylor expansion of (* (- (+ a b) c) (+ a b)) in a 3.063 * [taylor]: Taking taylor expansion of (- (+ a b) c) in a 3.063 * [taylor]: Taking taylor expansion of (+ a b) in a 3.063 * [taylor]: Taking taylor expansion of a in a 3.063 * [taylor]: Taking taylor expansion of b in a 3.063 * [taylor]: Taking taylor expansion of c in a 3.063 * [taylor]: Taking taylor expansion of (+ a b) in a 3.063 * [taylor]: Taking taylor expansion of a in a 3.063 * [taylor]: Taking taylor expansion of b in a 3.063 * [taylor]: Taking taylor expansion of (+ d e) in a 3.063 * [taylor]: Taking taylor expansion of d in a 3.063 * [taylor]: Taking taylor expansion of e in a 3.063 * [taylor]: Taking taylor expansion of (* (fma c c (* (- (+ a b) c) (+ a b))) (+ d e)) in b 3.063 * [taylor]: Taking taylor expansion of (fma c c (* (- (+ a b) c) (+ a b))) in b 3.063 * [taylor]: Rewrote expression to (+ (* c c) (* (- (+ a b) c) (+ a b))) 3.063 * [taylor]: Taking taylor expansion of (* c c) in b 3.063 * [taylor]: Taking taylor expansion of c in b 3.063 * [taylor]: Taking taylor expansion of c in b 3.063 * [taylor]: Taking taylor expansion of (* (- (+ a b) c) (+ a b)) in b 3.063 * [taylor]: Taking taylor expansion of (- (+ a b) c) in b 3.063 * [taylor]: Taking taylor expansion of (+ a b) in b 3.063 * [taylor]: Taking taylor expansion of a in b 3.063 * [taylor]: Taking taylor expansion of b in b 3.063 * [taylor]: Taking taylor expansion of c in b 3.063 * [taylor]: Taking taylor expansion of (+ a b) in b 3.063 * [taylor]: Taking taylor expansion of a in b 3.063 * [taylor]: Taking taylor expansion of b in b 3.063 * [taylor]: Taking taylor expansion of (+ d e) in b 3.063 * [taylor]: Taking taylor expansion of d in b 3.063 * [taylor]: Taking taylor expansion of e in b 3.063 * [taylor]: Taking taylor expansion of (* (fma c c (* (- (+ a b) c) (+ a b))) (+ d e)) in c 3.063 * [taylor]: Taking taylor expansion of (fma c c (* (- (+ a b) c) (+ a b))) in c 3.063 * [taylor]: Rewrote expression to (+ (* c c) (* (- (+ a b) c) (+ a b))) 3.063 * [taylor]: Taking taylor expansion of (* c c) in c 3.063 * [taylor]: Taking taylor expansion of c in c 3.063 * [taylor]: Taking taylor expansion of c in c 3.063 * [taylor]: Taking taylor expansion of (* (- (+ a b) c) (+ a b)) in c 3.063 * [taylor]: Taking taylor expansion of (- (+ a b) c) in c 3.063 * [taylor]: Taking taylor expansion of (+ a b) in c 3.063 * [taylor]: Taking taylor expansion of a in c 3.063 * [taylor]: Taking taylor expansion of b in c 3.063 * [taylor]: Taking taylor expansion of c in c 3.063 * [taylor]: Taking taylor expansion of (+ a b) in c 3.063 * [taylor]: Taking taylor expansion of a in c 3.063 * [taylor]: Taking taylor expansion of b in c 3.063 * [taylor]: Taking taylor expansion of (+ d e) in c 3.063 * [taylor]: Taking taylor expansion of d in c 3.063 * [taylor]: Taking taylor expansion of e in c 3.063 * [taylor]: Taking taylor expansion of (* (fma c c (* (- (+ a b) c) (+ a b))) (+ d e)) in c 3.063 * [taylor]: Taking taylor expansion of (fma c c (* (- (+ a b) c) (+ a b))) in c 3.064 * [taylor]: Rewrote expression to (+ (* c c) (* (- (+ a b) c) (+ a b))) 3.064 * [taylor]: Taking taylor expansion of (* c c) in c 3.064 * [taylor]: Taking taylor expansion of c in c 3.064 * [taylor]: Taking taylor expansion of c in c 3.064 * [taylor]: Taking taylor expansion of (* (- (+ a b) c) (+ a b)) in c 3.064 * [taylor]: Taking taylor expansion of (- (+ a b) c) in c 3.064 * [taylor]: Taking taylor expansion of (+ a b) in c 3.064 * [taylor]: Taking taylor expansion of a in c 3.064 * [taylor]: Taking taylor expansion of b in c 3.064 * [taylor]: Taking taylor expansion of c in c 3.064 * [taylor]: Taking taylor expansion of (+ a b) in c 3.064 * [taylor]: Taking taylor expansion of a in c 3.064 * [taylor]: Taking taylor expansion of b in c 3.064 * [taylor]: Taking taylor expansion of (+ d e) in c 3.064 * [taylor]: Taking taylor expansion of d in c 3.064 * [taylor]: Taking taylor expansion of e in c 3.065 * [taylor]: Taking taylor expansion of (* (+ d e) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2)))) in b 3.065 * [taylor]: Taking taylor expansion of (+ d e) in b 3.065 * [taylor]: Taking taylor expansion of d in b 3.065 * [taylor]: Taking taylor expansion of e in b 3.065 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in b 3.065 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.065 * [taylor]: Taking taylor expansion of a in b 3.065 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b 3.065 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 3.065 * [taylor]: Taking taylor expansion of 2 in b 3.065 * [taylor]: Taking taylor expansion of (* a b) in b 3.065 * [taylor]: Taking taylor expansion of a in b 3.065 * [taylor]: Taking taylor expansion of b in b 3.065 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.065 * [taylor]: Taking taylor expansion of b in b 3.066 * [taylor]: Taking taylor expansion of (* (pow a 2) (+ d e)) in a 3.066 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.066 * [taylor]: Taking taylor expansion of a in a 3.066 * [taylor]: Taking taylor expansion of (+ d e) in a 3.066 * [taylor]: Taking taylor expansion of d in a 3.066 * [taylor]: Taking taylor expansion of e in a 3.068 * [taylor]: Taking taylor expansion of (- (+ (* d a) (+ (* e b) (+ (* a e) (* d b))))) in b 3.069 * [taylor]: Taking taylor expansion of (+ (* d a) (+ (* e b) (+ (* a e) (* d b)))) in b 3.069 * [taylor]: Taking taylor expansion of (* d a) in b 3.069 * [taylor]: Taking taylor expansion of d in b 3.069 * [taylor]: Taking taylor expansion of a in b 3.069 * [taylor]: Taking taylor expansion of (+ (* e b) (+ (* a e) (* d b))) in b 3.069 * [taylor]: Taking taylor expansion of (* e b) in b 3.069 * [taylor]: Taking taylor expansion of e in b 3.069 * [taylor]: Taking taylor expansion of b in b 3.069 * [taylor]: Taking taylor expansion of (+ (* a e) (* d b)) in b 3.069 * [taylor]: Taking taylor expansion of (* a e) in b 3.069 * [taylor]: Taking taylor expansion of a in b 3.069 * [taylor]: Taking taylor expansion of e in b 3.069 * [taylor]: Taking taylor expansion of (* d b) in b 3.069 * [taylor]: Taking taylor expansion of d in b 3.069 * [taylor]: Taking taylor expansion of b in b 3.069 * [taylor]: Taking taylor expansion of (- (+ (* d a) (* a e))) in a 3.069 * [taylor]: Taking taylor expansion of (+ (* d a) (* a e)) in a 3.069 * [taylor]: Taking taylor expansion of (* d a) in a 3.069 * [taylor]: Taking taylor expansion of d in a 3.069 * [taylor]: Taking taylor expansion of a in a 3.069 * [taylor]: Taking taylor expansion of (* a e) in a 3.069 * [taylor]: Taking taylor expansion of a in a 3.069 * [taylor]: Taking taylor expansion of e in a 3.070 * [taylor]: Taking taylor expansion of 0 in e 3.070 * [taylor]: Taking taylor expansion of 0 in d 3.071 * [taylor]: Taking taylor expansion of (+ (* 2 (* d a)) (* 2 (* a e))) in a 3.071 * [taylor]: Taking taylor expansion of (* 2 (* d a)) in a 3.071 * [taylor]: Taking taylor expansion of 2 in a 3.071 * [taylor]: Taking taylor expansion of (* d a) in a 3.071 * [taylor]: Taking taylor expansion of d in a 3.071 * [taylor]: Taking taylor expansion of a in a 3.071 * [taylor]: Taking taylor expansion of (* 2 (* a e)) in a 3.071 * [taylor]: Taking taylor expansion of 2 in a 3.071 * [taylor]: Taking taylor expansion of (* a e) in a 3.071 * [taylor]: Taking taylor expansion of a in a 3.071 * [taylor]: Taking taylor expansion of e in a 3.072 * [taylor]: Taking taylor expansion of 0 in e 3.072 * [taylor]: Taking taylor expansion of 0 in d 3.075 * [taylor]: Taking taylor expansion of (+ d e) in b 3.075 * [taylor]: Taking taylor expansion of d in b 3.075 * [taylor]: Taking taylor expansion of e in b 3.075 * [taylor]: Taking taylor expansion of (+ d e) in a 3.075 * [taylor]: Taking taylor expansion of d in a 3.075 * [taylor]: Taking taylor expansion of e in a 3.075 * [taylor]: Taking taylor expansion of (+ d e) in e 3.075 * [taylor]: Taking taylor expansion of d in e 3.075 * [taylor]: Taking taylor expansion of e in e 3.075 * [taylor]: Taking taylor expansion of d in d 3.076 * [taylor]: Taking taylor expansion of (- (+ d e)) in a 3.076 * [taylor]: Taking taylor expansion of (+ d e) in a 3.076 * [taylor]: Taking taylor expansion of d in a 3.076 * [taylor]: Taking taylor expansion of e in a 3.076 * [taylor]: Taking taylor expansion of (- (+ d e)) in e 3.076 * [taylor]: Taking taylor expansion of (+ d e) in e 3.076 * [taylor]: Taking taylor expansion of d in e 3.076 * [taylor]: Taking taylor expansion of e in e 3.076 * [taylor]: Taking taylor expansion of (- d) in d 3.076 * [taylor]: Taking taylor expansion of d in d 3.078 * [taylor]: Taking taylor expansion of (+ d e) in a 3.078 * [taylor]: Taking taylor expansion of d in a 3.078 * [taylor]: Taking taylor expansion of e in a 3.079 * [taylor]: Taking taylor expansion of (+ d e) in e 3.079 * [taylor]: Taking taylor expansion of d in e 3.079 * [taylor]: Taking taylor expansion of e in e 3.079 * [taylor]: Taking taylor expansion of d in d 3.079 * [taylor]: Taking taylor expansion of (- (+ d e)) in e 3.079 * [taylor]: Taking taylor expansion of (+ d e) in e 3.079 * [taylor]: Taking taylor expansion of d in e 3.079 * [taylor]: Taking taylor expansion of e in e 3.079 * [taylor]: Taking taylor expansion of (- d) in d 3.079 * [taylor]: Taking taylor expansion of d in d 3.080 * [approximate]: Taking taylor expansion of (* (fma (/ 1 c) (/ 1 c) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) (+ (/ 1 d) (/ 1 e))) in (c b a e d) around 0 3.080 * [taylor]: Taking taylor expansion of (* (fma (/ 1 c) (/ 1 c) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) (+ (/ 1 d) (/ 1 e))) in d 3.080 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 c) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) in d 3.080 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 c)) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) 3.080 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 c)) in d 3.080 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.080 * [taylor]: Taking taylor expansion of c in d 3.080 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.080 * [taylor]: Taking taylor expansion of c in d 3.080 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c))) in d 3.080 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in d 3.080 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.080 * [taylor]: Taking taylor expansion of a in d 3.080 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.080 * [taylor]: Taking taylor expansion of b in d 3.080 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in d 3.080 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in d 3.080 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.080 * [taylor]: Taking taylor expansion of b in d 3.080 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.081 * [taylor]: Taking taylor expansion of a in d 3.081 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.081 * [taylor]: Taking taylor expansion of c in d 3.081 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 3.081 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.081 * [taylor]: Taking taylor expansion of d in d 3.081 * [taylor]: Taking taylor expansion of (/ 1 e) in d 3.081 * [taylor]: Taking taylor expansion of e in d 3.081 * [taylor]: Taking taylor expansion of (* (fma (/ 1 c) (/ 1 c) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) (+ (/ 1 d) (/ 1 e))) in e 3.081 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 c) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) in e 3.081 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 c)) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) 3.081 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 c)) in e 3.081 * [taylor]: Taking taylor expansion of (/ 1 c) in e 3.081 * [taylor]: Taking taylor expansion of c in e 3.081 * [taylor]: Taking taylor expansion of (/ 1 c) in e 3.081 * [taylor]: Taking taylor expansion of c in e 3.081 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c))) in e 3.081 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in e 3.081 * [taylor]: Taking taylor expansion of (/ 1 a) in e 3.081 * [taylor]: Taking taylor expansion of a in e 3.081 * [taylor]: Taking taylor expansion of (/ 1 b) in e 3.081 * [taylor]: Taking taylor expansion of b in e 3.081 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in e 3.081 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in e 3.081 * [taylor]: Taking taylor expansion of (/ 1 b) in e 3.081 * [taylor]: Taking taylor expansion of b in e 3.082 * [taylor]: Taking taylor expansion of (/ 1 a) in e 3.082 * [taylor]: Taking taylor expansion of a in e 3.082 * [taylor]: Taking taylor expansion of (/ 1 c) in e 3.082 * [taylor]: Taking taylor expansion of c in e 3.082 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 3.082 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.082 * [taylor]: Taking taylor expansion of d in e 3.082 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.082 * [taylor]: Taking taylor expansion of e in e 3.082 * [taylor]: Taking taylor expansion of (* (fma (/ 1 c) (/ 1 c) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) (+ (/ 1 d) (/ 1 e))) in a 3.082 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 c) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) in a 3.082 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 c)) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) 3.082 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 c)) in a 3.082 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.082 * [taylor]: Taking taylor expansion of c in a 3.082 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.082 * [taylor]: Taking taylor expansion of c in a 3.082 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c))) in a 3.082 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 3.082 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.082 * [taylor]: Taking taylor expansion of a in a 3.083 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.083 * [taylor]: Taking taylor expansion of b in a 3.083 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in a 3.083 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.083 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.083 * [taylor]: Taking taylor expansion of b in a 3.083 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.083 * [taylor]: Taking taylor expansion of a in a 3.083 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.083 * [taylor]: Taking taylor expansion of c in a 3.083 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 3.083 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.083 * [taylor]: Taking taylor expansion of d in a 3.083 * [taylor]: Taking taylor expansion of (/ 1 e) in a 3.083 * [taylor]: Taking taylor expansion of e in a 3.083 * [taylor]: Taking taylor expansion of (* (fma (/ 1 c) (/ 1 c) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) (+ (/ 1 d) (/ 1 e))) in b 3.083 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 c) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) in b 3.083 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 c)) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) 3.083 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 c)) in b 3.083 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.083 * [taylor]: Taking taylor expansion of c in b 3.083 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.083 * [taylor]: Taking taylor expansion of c in b 3.084 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c))) in b 3.084 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 3.084 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.084 * [taylor]: Taking taylor expansion of a in b 3.084 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.084 * [taylor]: Taking taylor expansion of b in b 3.084 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in b 3.084 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.084 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.084 * [taylor]: Taking taylor expansion of b in b 3.084 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.084 * [taylor]: Taking taylor expansion of a in b 3.084 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.084 * [taylor]: Taking taylor expansion of c in b 3.084 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 3.084 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.084 * [taylor]: Taking taylor expansion of d in b 3.084 * [taylor]: Taking taylor expansion of (/ 1 e) in b 3.084 * [taylor]: Taking taylor expansion of e in b 3.084 * [taylor]: Taking taylor expansion of (* (fma (/ 1 c) (/ 1 c) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) (+ (/ 1 d) (/ 1 e))) in c 3.084 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 c) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) in c 3.085 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 c)) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) 3.085 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 c)) in c 3.085 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.085 * [taylor]: Taking taylor expansion of c in c 3.085 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.085 * [taylor]: Taking taylor expansion of c in c 3.085 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c))) in c 3.085 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in c 3.085 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.085 * [taylor]: Taking taylor expansion of a in c 3.085 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.085 * [taylor]: Taking taylor expansion of b in c 3.085 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in c 3.085 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in c 3.085 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.085 * [taylor]: Taking taylor expansion of b in c 3.085 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.085 * [taylor]: Taking taylor expansion of a in c 3.086 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.086 * [taylor]: Taking taylor expansion of c in c 3.086 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 3.086 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.086 * [taylor]: Taking taylor expansion of d in c 3.086 * [taylor]: Taking taylor expansion of (/ 1 e) in c 3.086 * [taylor]: Taking taylor expansion of e in c 3.086 * [taylor]: Taking taylor expansion of (* (fma (/ 1 c) (/ 1 c) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) (+ (/ 1 d) (/ 1 e))) in c 3.086 * [taylor]: Taking taylor expansion of (fma (/ 1 c) (/ 1 c) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) in c 3.086 * [taylor]: Rewrote expression to (+ (* (/ 1 c) (/ 1 c)) (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)))) 3.086 * [taylor]: Taking taylor expansion of (* (/ 1 c) (/ 1 c)) in c 3.086 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.086 * [taylor]: Taking taylor expansion of c in c 3.086 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.086 * [taylor]: Taking taylor expansion of c in c 3.087 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (+ (/ 1 b) (/ 1 a)) (/ 1 c))) in c 3.087 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in c 3.087 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.087 * [taylor]: Taking taylor expansion of a in c 3.087 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.087 * [taylor]: Taking taylor expansion of b in c 3.087 * [taylor]: Taking taylor expansion of (- (+ (/ 1 b) (/ 1 a)) (/ 1 c)) in c 3.087 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in c 3.087 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.087 * [taylor]: Taking taylor expansion of b in c 3.087 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.087 * [taylor]: Taking taylor expansion of a in c 3.087 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.087 * [taylor]: Taking taylor expansion of c in c 3.087 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 3.087 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.087 * [taylor]: Taking taylor expansion of d in c 3.087 * [taylor]: Taking taylor expansion of (/ 1 e) in c 3.087 * [taylor]: Taking taylor expansion of e in c 3.088 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 3.088 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.088 * [taylor]: Taking taylor expansion of d in b 3.088 * [taylor]: Taking taylor expansion of (/ 1 e) in b 3.088 * [taylor]: Taking taylor expansion of e in b 3.091 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* e b)) (+ (/ 1 (* e a)) (+ (/ 1 (* d b)) (/ 1 (* d a)))))) in b 3.091 * [taylor]: Taking taylor expansion of (+ (/ 1 (* e b)) (+ (/ 1 (* e a)) (+ (/ 1 (* d b)) (/ 1 (* d a))))) in b 3.091 * [taylor]: Taking taylor expansion of (/ 1 (* e b)) in b 3.091 * [taylor]: Taking taylor expansion of (* e b) in b 3.091 * [taylor]: Taking taylor expansion of e in b 3.091 * [taylor]: Taking taylor expansion of b in b 3.091 * [taylor]: Taking taylor expansion of (+ (/ 1 (* e a)) (+ (/ 1 (* d b)) (/ 1 (* d a)))) in b 3.091 * [taylor]: Taking taylor expansion of (/ 1 (* e a)) in b 3.091 * [taylor]: Taking taylor expansion of (* e a) in b 3.091 * [taylor]: Taking taylor expansion of e in b 3.091 * [taylor]: Taking taylor expansion of a in b 3.092 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (/ 1 (* d a))) in b 3.092 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in b 3.092 * [taylor]: Taking taylor expansion of (* d b) in b 3.092 * [taylor]: Taking taylor expansion of d in b 3.092 * [taylor]: Taking taylor expansion of b in b 3.092 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b 3.092 * [taylor]: Taking taylor expansion of (* d a) in b 3.092 * [taylor]: Taking taylor expansion of d in b 3.092 * [taylor]: Taking taylor expansion of a in b 3.097 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d (pow b 2))) (+ (/ 1 (* d (pow a 2))) (+ (/ 1 (* e (pow a 2))) (+ (/ 1 (* e (pow b 2))) (+ (* 2 (/ 1 (* e (* b a)))) (* 2 (/ 1 (* d (* a b))))))))) in b 3.097 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow b 2))) in b 3.097 * [taylor]: Taking taylor expansion of (* d (pow b 2)) in b 3.098 * [taylor]: Taking taylor expansion of d in b 3.098 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.098 * [taylor]: Taking taylor expansion of b in b 3.098 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d (pow a 2))) (+ (/ 1 (* e (pow a 2))) (+ (/ 1 (* e (pow b 2))) (+ (* 2 (/ 1 (* e (* b a)))) (* 2 (/ 1 (* d (* a b)))))))) in b 3.098 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow a 2))) in b 3.098 * [taylor]: Taking taylor expansion of (* d (pow a 2)) in b 3.098 * [taylor]: Taking taylor expansion of d in b 3.098 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.098 * [taylor]: Taking taylor expansion of a in b 3.098 * [taylor]: Taking taylor expansion of (+ (/ 1 (* e (pow a 2))) (+ (/ 1 (* e (pow b 2))) (+ (* 2 (/ 1 (* e (* b a)))) (* 2 (/ 1 (* d (* a b))))))) in b 3.098 * [taylor]: Taking taylor expansion of (/ 1 (* e (pow a 2))) in b 3.098 * [taylor]: Taking taylor expansion of (* e (pow a 2)) in b 3.098 * [taylor]: Taking taylor expansion of e in b 3.098 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.098 * [taylor]: Taking taylor expansion of a in b 3.098 * [taylor]: Taking taylor expansion of (+ (/ 1 (* e (pow b 2))) (+ (* 2 (/ 1 (* e (* b a)))) (* 2 (/ 1 (* d (* a b)))))) in b 3.098 * [taylor]: Taking taylor expansion of (/ 1 (* e (pow b 2))) in b 3.098 * [taylor]: Taking taylor expansion of (* e (pow b 2)) in b 3.099 * [taylor]: Taking taylor expansion of e in b 3.099 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.099 * [taylor]: Taking taylor expansion of b in b 3.099 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e (* b a)))) (* 2 (/ 1 (* d (* a b))))) in b 3.099 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e (* b a)))) in b 3.099 * [taylor]: Taking taylor expansion of 2 in b 3.099 * [taylor]: Taking taylor expansion of (/ 1 (* e (* b a))) in b 3.099 * [taylor]: Taking taylor expansion of (* e (* b a)) in b 3.099 * [taylor]: Taking taylor expansion of e in b 3.099 * [taylor]: Taking taylor expansion of (* b a) in b 3.099 * [taylor]: Taking taylor expansion of b in b 3.099 * [taylor]: Taking taylor expansion of a in b 3.100 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* d (* a b)))) in b 3.100 * [taylor]: Taking taylor expansion of 2 in b 3.100 * [taylor]: Taking taylor expansion of (/ 1 (* d (* a b))) in b 3.100 * [taylor]: Taking taylor expansion of (* d (* a b)) in b 3.100 * [taylor]: Taking taylor expansion of d in b 3.100 * [taylor]: Taking taylor expansion of (* a b) in b 3.100 * [taylor]: Taking taylor expansion of a in b 3.100 * [taylor]: Taking taylor expansion of b in b 3.100 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 3.101 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.101 * [taylor]: Taking taylor expansion of d in a 3.101 * [taylor]: Taking taylor expansion of (/ 1 e) in a 3.101 * [taylor]: Taking taylor expansion of e in a 3.101 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 e))) in a 3.101 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 3.101 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.101 * [taylor]: Taking taylor expansion of d in a 3.101 * [taylor]: Taking taylor expansion of (/ 1 e) in a 3.101 * [taylor]: Taking taylor expansion of e in a 3.101 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 3.101 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.101 * [taylor]: Taking taylor expansion of d in a 3.101 * [taylor]: Taking taylor expansion of (/ 1 e) in a 3.101 * [taylor]: Taking taylor expansion of e in a 3.107 * [taylor]: Taking taylor expansion of 0 in b 3.109 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e a))) (* 2 (/ 1 (* d a)))) in a 3.109 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e a))) in a 3.109 * [taylor]: Taking taylor expansion of 2 in a 3.109 * [taylor]: Taking taylor expansion of (/ 1 (* e a)) in a 3.109 * [taylor]: Taking taylor expansion of (* e a) in a 3.109 * [taylor]: Taking taylor expansion of e in a 3.109 * [taylor]: Taking taylor expansion of a in a 3.109 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* d a))) in a 3.109 * [taylor]: Taking taylor expansion of 2 in a 3.109 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a 3.109 * [taylor]: Taking taylor expansion of (* d a) in a 3.109 * [taylor]: Taking taylor expansion of d in a 3.109 * [taylor]: Taking taylor expansion of a in a 3.111 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d a)) (/ 1 (* e a)))) in a 3.111 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* e a))) in a 3.111 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a 3.111 * [taylor]: Taking taylor expansion of (* d a) in a 3.111 * [taylor]: Taking taylor expansion of d in a 3.111 * [taylor]: Taking taylor expansion of a in a 3.112 * [taylor]: Taking taylor expansion of (/ 1 (* e a)) in a 3.112 * [taylor]: Taking taylor expansion of (* e a) in a 3.112 * [taylor]: Taking taylor expansion of e in a 3.112 * [taylor]: Taking taylor expansion of a in a 3.112 * [taylor]: Taking taylor expansion of 0 in a 3.119 * [taylor]: Taking taylor expansion of 0 in b 3.124 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d (pow a 2))) (/ 1 (* e (pow a 2)))) in a 3.124 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow a 2))) in a 3.124 * [taylor]: Taking taylor expansion of (* d (pow a 2)) in a 3.124 * [taylor]: Taking taylor expansion of d in a 3.124 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.124 * [taylor]: Taking taylor expansion of a in a 3.124 * [taylor]: Taking taylor expansion of (/ 1 (* e (pow a 2))) in a 3.124 * [taylor]: Taking taylor expansion of (* e (pow a 2)) in a 3.124 * [taylor]: Taking taylor expansion of e in a 3.124 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.124 * [taylor]: Taking taylor expansion of a in a 3.125 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 3.125 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.125 * [taylor]: Taking taylor expansion of d in e 3.125 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.125 * [taylor]: Taking taylor expansion of e in e 3.125 * [taylor]: Taking taylor expansion of 1 in d 3.128 * [taylor]: Taking taylor expansion of 0 in a 3.128 * [taylor]: Taking taylor expansion of 0 in a 3.128 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 d)) (* 2 (/ 1 e))) in e 3.128 * [taylor]: Taking taylor expansion of (* 2 (/ 1 d)) in e 3.128 * [taylor]: Taking taylor expansion of 2 in e 3.128 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.128 * [taylor]: Taking taylor expansion of d in e 3.128 * [taylor]: Taking taylor expansion of (* 2 (/ 1 e)) in e 3.128 * [taylor]: Taking taylor expansion of 2 in e 3.128 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.128 * [taylor]: Taking taylor expansion of e in e 3.129 * [taylor]: Taking taylor expansion of 2 in d 3.129 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 e))) in e 3.129 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 3.129 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.129 * [taylor]: Taking taylor expansion of d in e 3.129 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.129 * [taylor]: Taking taylor expansion of e in e 3.130 * [taylor]: Taking taylor expansion of -1 in d 3.130 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 3.130 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.130 * [taylor]: Taking taylor expansion of d in e 3.130 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.130 * [taylor]: Taking taylor expansion of e in e 3.131 * [taylor]: Taking taylor expansion of 1 in d 3.131 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 e))) in e 3.131 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 3.131 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.131 * [taylor]: Taking taylor expansion of d in e 3.131 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.131 * [taylor]: Taking taylor expansion of e in e 3.132 * [taylor]: Taking taylor expansion of -1 in d 3.132 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 3.132 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.132 * [taylor]: Taking taylor expansion of d in e 3.132 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.132 * [taylor]: Taking taylor expansion of e in e 3.133 * [taylor]: Taking taylor expansion of 1 in d 3.140 * [taylor]: Taking taylor expansion of 0 in b 3.140 * [taylor]: Taking taylor expansion of 0 in a 3.154 * [taylor]: Taking taylor expansion of 0 in a 3.157 * [taylor]: Taking taylor expansion of 0 in a 3.158 * [taylor]: Taking taylor expansion of 0 in a 3.159 * [taylor]: Taking taylor expansion of 0 in e 3.161 * [taylor]: Taking taylor expansion of 0 in e 3.163 * [taylor]: Taking taylor expansion of 0 in e 3.163 * [taylor]: Taking taylor expansion of 0 in e 3.163 * [taylor]: Taking taylor expansion of 0 in e 3.164 * [taylor]: Taking taylor expansion of 0 in e 3.164 * [taylor]: Taking taylor expansion of 0 in e 3.165 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.165 * [taylor]: Taking taylor expansion of d in d 3.166 * [taylor]: Taking taylor expansion of (* 2 (/ 1 d)) in d 3.166 * [taylor]: Taking taylor expansion of 2 in d 3.166 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.166 * [taylor]: Taking taylor expansion of d in d 3.167 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 3.167 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.167 * [taylor]: Taking taylor expansion of d in d 3.169 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (/ 1 e)) (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))))) in (c b a e d) around 0 3.169 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (/ 1 e)) (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))))) in d 3.169 * [taylor]: Taking taylor expansion of -1 in d 3.169 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (/ 1 e)) (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a))))))) in d 3.169 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in d 3.169 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.169 * [taylor]: Taking taylor expansion of d in d 3.169 * [taylor]: Taking taylor expansion of (/ 1 e) in d 3.169 * [taylor]: Taking taylor expansion of e in d 3.169 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))) in d 3.169 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 c)) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))) 3.169 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 c)) in d 3.169 * [taylor]: Taking taylor expansion of (/ -1 c) in d 3.169 * [taylor]: Taking taylor expansion of -1 in d 3.169 * [taylor]: Taking taylor expansion of c in d 3.170 * [taylor]: Taking taylor expansion of (/ -1 c) in d 3.170 * [taylor]: Taking taylor expansion of -1 in d 3.170 * [taylor]: Taking taylor expansion of c in d 3.170 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a))))) in d 3.170 * [taylor]: Taking taylor expansion of -1 in d 3.170 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))) in d 3.170 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in d 3.170 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.170 * [taylor]: Taking taylor expansion of a in d 3.170 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.170 * [taylor]: Taking taylor expansion of b in d 3.170 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in d 3.170 * [taylor]: Taking taylor expansion of (/ 1 c) in d 3.170 * [taylor]: Taking taylor expansion of c in d 3.170 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in d 3.170 * [taylor]: Taking taylor expansion of (/ 1 b) in d 3.170 * [taylor]: Taking taylor expansion of b in d 3.170 * [taylor]: Taking taylor expansion of (/ 1 a) in d 3.170 * [taylor]: Taking taylor expansion of a in d 3.170 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (/ 1 e)) (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))))) in e 3.170 * [taylor]: Taking taylor expansion of -1 in e 3.170 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (/ 1 e)) (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a))))))) in e 3.170 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 3.170 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.170 * [taylor]: Taking taylor expansion of d in e 3.170 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.170 * [taylor]: Taking taylor expansion of e in e 3.170 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))) in e 3.170 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 c)) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))) 3.171 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 c)) in e 3.171 * [taylor]: Taking taylor expansion of (/ -1 c) in e 3.171 * [taylor]: Taking taylor expansion of -1 in e 3.171 * [taylor]: Taking taylor expansion of c in e 3.171 * [taylor]: Taking taylor expansion of (/ -1 c) in e 3.171 * [taylor]: Taking taylor expansion of -1 in e 3.171 * [taylor]: Taking taylor expansion of c in e 3.171 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a))))) in e 3.171 * [taylor]: Taking taylor expansion of -1 in e 3.171 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))) in e 3.171 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in e 3.171 * [taylor]: Taking taylor expansion of (/ 1 a) in e 3.171 * [taylor]: Taking taylor expansion of a in e 3.171 * [taylor]: Taking taylor expansion of (/ 1 b) in e 3.171 * [taylor]: Taking taylor expansion of b in e 3.171 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in e 3.171 * [taylor]: Taking taylor expansion of (/ 1 c) in e 3.171 * [taylor]: Taking taylor expansion of c in e 3.171 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in e 3.171 * [taylor]: Taking taylor expansion of (/ 1 b) in e 3.171 * [taylor]: Taking taylor expansion of b in e 3.171 * [taylor]: Taking taylor expansion of (/ 1 a) in e 3.171 * [taylor]: Taking taylor expansion of a in e 3.171 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (/ 1 e)) (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))))) in a 3.171 * [taylor]: Taking taylor expansion of -1 in a 3.171 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (/ 1 e)) (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a))))))) in a 3.171 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 3.171 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.171 * [taylor]: Taking taylor expansion of d in a 3.171 * [taylor]: Taking taylor expansion of (/ 1 e) in a 3.171 * [taylor]: Taking taylor expansion of e in a 3.171 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))) in a 3.171 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 c)) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))) 3.171 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 c)) in a 3.171 * [taylor]: Taking taylor expansion of (/ -1 c) in a 3.171 * [taylor]: Taking taylor expansion of -1 in a 3.171 * [taylor]: Taking taylor expansion of c in a 3.171 * [taylor]: Taking taylor expansion of (/ -1 c) in a 3.171 * [taylor]: Taking taylor expansion of -1 in a 3.171 * [taylor]: Taking taylor expansion of c in a 3.171 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a))))) in a 3.172 * [taylor]: Taking taylor expansion of -1 in a 3.172 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))) in a 3.172 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in a 3.172 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.172 * [taylor]: Taking taylor expansion of a in a 3.172 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.172 * [taylor]: Taking taylor expansion of b in a 3.172 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in a 3.172 * [taylor]: Taking taylor expansion of (/ 1 c) in a 3.172 * [taylor]: Taking taylor expansion of c in a 3.172 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 3.172 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.172 * [taylor]: Taking taylor expansion of b in a 3.172 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.172 * [taylor]: Taking taylor expansion of a in a 3.172 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (/ 1 e)) (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))))) in b 3.172 * [taylor]: Taking taylor expansion of -1 in b 3.172 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (/ 1 e)) (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a))))))) in b 3.172 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 3.172 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.172 * [taylor]: Taking taylor expansion of d in b 3.173 * [taylor]: Taking taylor expansion of (/ 1 e) in b 3.173 * [taylor]: Taking taylor expansion of e in b 3.173 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))) in b 3.173 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 c)) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))) 3.173 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 c)) in b 3.173 * [taylor]: Taking taylor expansion of (/ -1 c) in b 3.173 * [taylor]: Taking taylor expansion of -1 in b 3.173 * [taylor]: Taking taylor expansion of c in b 3.173 * [taylor]: Taking taylor expansion of (/ -1 c) in b 3.173 * [taylor]: Taking taylor expansion of -1 in b 3.173 * [taylor]: Taking taylor expansion of c in b 3.173 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a))))) in b 3.173 * [taylor]: Taking taylor expansion of -1 in b 3.173 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))) in b 3.173 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in b 3.173 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.173 * [taylor]: Taking taylor expansion of a in b 3.173 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.173 * [taylor]: Taking taylor expansion of b in b 3.173 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in b 3.173 * [taylor]: Taking taylor expansion of (/ 1 c) in b 3.173 * [taylor]: Taking taylor expansion of c in b 3.173 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 3.173 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.173 * [taylor]: Taking taylor expansion of b in b 3.174 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.174 * [taylor]: Taking taylor expansion of a in b 3.174 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (/ 1 e)) (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))))) in c 3.174 * [taylor]: Taking taylor expansion of -1 in c 3.174 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (/ 1 e)) (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a))))))) in c 3.174 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 3.174 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.174 * [taylor]: Taking taylor expansion of d in c 3.174 * [taylor]: Taking taylor expansion of (/ 1 e) in c 3.174 * [taylor]: Taking taylor expansion of e in c 3.174 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))) in c 3.174 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 c)) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))) 3.174 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 c)) in c 3.174 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.174 * [taylor]: Taking taylor expansion of -1 in c 3.174 * [taylor]: Taking taylor expansion of c in c 3.174 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.174 * [taylor]: Taking taylor expansion of -1 in c 3.174 * [taylor]: Taking taylor expansion of c in c 3.175 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a))))) in c 3.175 * [taylor]: Taking taylor expansion of -1 in c 3.175 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))) in c 3.175 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in c 3.175 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.175 * [taylor]: Taking taylor expansion of a in c 3.175 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.175 * [taylor]: Taking taylor expansion of b in c 3.175 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in c 3.175 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.175 * [taylor]: Taking taylor expansion of c in c 3.175 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in c 3.175 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.175 * [taylor]: Taking taylor expansion of b in c 3.175 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.175 * [taylor]: Taking taylor expansion of a in c 3.175 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 d) (/ 1 e)) (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))))) in c 3.175 * [taylor]: Taking taylor expansion of -1 in c 3.175 * [taylor]: Taking taylor expansion of (* (+ (/ 1 d) (/ 1 e)) (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a))))))) in c 3.175 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in c 3.175 * [taylor]: Taking taylor expansion of (/ 1 d) in c 3.175 * [taylor]: Taking taylor expansion of d in c 3.176 * [taylor]: Taking taylor expansion of (/ 1 e) in c 3.176 * [taylor]: Taking taylor expansion of e in c 3.176 * [taylor]: Taking taylor expansion of (fma (/ -1 c) (/ -1 c) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))) in c 3.176 * [taylor]: Rewrote expression to (+ (* (/ -1 c) (/ -1 c)) (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))))) 3.176 * [taylor]: Taking taylor expansion of (* (/ -1 c) (/ -1 c)) in c 3.176 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.176 * [taylor]: Taking taylor expansion of -1 in c 3.176 * [taylor]: Taking taylor expansion of c in c 3.176 * [taylor]: Taking taylor expansion of (/ -1 c) in c 3.176 * [taylor]: Taking taylor expansion of -1 in c 3.176 * [taylor]: Taking taylor expansion of c in c 3.176 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a))))) in c 3.176 * [taylor]: Taking taylor expansion of -1 in c 3.176 * [taylor]: Taking taylor expansion of (* (+ (/ 1 a) (/ 1 b)) (- (/ 1 c) (+ (/ 1 b) (/ 1 a)))) in c 3.176 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (/ 1 b)) in c 3.176 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.176 * [taylor]: Taking taylor expansion of a in c 3.177 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.177 * [taylor]: Taking taylor expansion of b in c 3.177 * [taylor]: Taking taylor expansion of (- (/ 1 c) (+ (/ 1 b) (/ 1 a))) in c 3.177 * [taylor]: Taking taylor expansion of (/ 1 c) in c 3.177 * [taylor]: Taking taylor expansion of c in c 3.177 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in c 3.177 * [taylor]: Taking taylor expansion of (/ 1 b) in c 3.177 * [taylor]: Taking taylor expansion of b in c 3.177 * [taylor]: Taking taylor expansion of (/ 1 a) in c 3.177 * [taylor]: Taking taylor expansion of a in c 3.178 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 d) (/ 1 e))) in b 3.178 * [taylor]: Taking taylor expansion of -1 in b 3.178 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in b 3.178 * [taylor]: Taking taylor expansion of (/ 1 d) in b 3.178 * [taylor]: Taking taylor expansion of d in b 3.178 * [taylor]: Taking taylor expansion of (/ 1 e) in b 3.178 * [taylor]: Taking taylor expansion of e in b 3.181 * [taylor]: Taking taylor expansion of (+ (/ 1 (* e b)) (+ (/ 1 (* d b)) (+ (/ 1 (* d a)) (/ 1 (* e a))))) in b 3.181 * [taylor]: Taking taylor expansion of (/ 1 (* e b)) in b 3.181 * [taylor]: Taking taylor expansion of (* e b) in b 3.181 * [taylor]: Taking taylor expansion of e in b 3.181 * [taylor]: Taking taylor expansion of b in b 3.182 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d b)) (+ (/ 1 (* d a)) (/ 1 (* e a)))) in b 3.182 * [taylor]: Taking taylor expansion of (/ 1 (* d b)) in b 3.182 * [taylor]: Taking taylor expansion of (* d b) in b 3.182 * [taylor]: Taking taylor expansion of d in b 3.182 * [taylor]: Taking taylor expansion of b in b 3.182 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d a)) (/ 1 (* e a))) in b 3.182 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in b 3.182 * [taylor]: Taking taylor expansion of (* d a) in b 3.182 * [taylor]: Taking taylor expansion of d in b 3.182 * [taylor]: Taking taylor expansion of a in b 3.182 * [taylor]: Taking taylor expansion of (/ 1 (* e a)) in b 3.182 * [taylor]: Taking taylor expansion of (* e a) in b 3.182 * [taylor]: Taking taylor expansion of e in b 3.182 * [taylor]: Taking taylor expansion of a in b 3.188 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d (pow b 2))) (+ (/ 1 (* d (pow a 2))) (+ (/ 1 (* e (pow a 2))) (+ (/ 1 (* e (pow b 2))) (+ (* 2 (/ 1 (* e (* b a)))) (* 2 (/ 1 (* d (* a b)))))))))) in b 3.188 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d (pow b 2))) (+ (/ 1 (* d (pow a 2))) (+ (/ 1 (* e (pow a 2))) (+ (/ 1 (* e (pow b 2))) (+ (* 2 (/ 1 (* e (* b a)))) (* 2 (/ 1 (* d (* a b))))))))) in b 3.188 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow b 2))) in b 3.188 * [taylor]: Taking taylor expansion of (* d (pow b 2)) in b 3.188 * [taylor]: Taking taylor expansion of d in b 3.188 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.188 * [taylor]: Taking taylor expansion of b in b 3.189 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d (pow a 2))) (+ (/ 1 (* e (pow a 2))) (+ (/ 1 (* e (pow b 2))) (+ (* 2 (/ 1 (* e (* b a)))) (* 2 (/ 1 (* d (* a b)))))))) in b 3.189 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow a 2))) in b 3.189 * [taylor]: Taking taylor expansion of (* d (pow a 2)) in b 3.189 * [taylor]: Taking taylor expansion of d in b 3.189 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.189 * [taylor]: Taking taylor expansion of a in b 3.189 * [taylor]: Taking taylor expansion of (+ (/ 1 (* e (pow a 2))) (+ (/ 1 (* e (pow b 2))) (+ (* 2 (/ 1 (* e (* b a)))) (* 2 (/ 1 (* d (* a b))))))) in b 3.189 * [taylor]: Taking taylor expansion of (/ 1 (* e (pow a 2))) in b 3.189 * [taylor]: Taking taylor expansion of (* e (pow a 2)) in b 3.189 * [taylor]: Taking taylor expansion of e in b 3.189 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.189 * [taylor]: Taking taylor expansion of a in b 3.189 * [taylor]: Taking taylor expansion of (+ (/ 1 (* e (pow b 2))) (+ (* 2 (/ 1 (* e (* b a)))) (* 2 (/ 1 (* d (* a b)))))) in b 3.189 * [taylor]: Taking taylor expansion of (/ 1 (* e (pow b 2))) in b 3.189 * [taylor]: Taking taylor expansion of (* e (pow b 2)) in b 3.189 * [taylor]: Taking taylor expansion of e in b 3.189 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.189 * [taylor]: Taking taylor expansion of b in b 3.190 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* e (* b a)))) (* 2 (/ 1 (* d (* a b))))) in b 3.190 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e (* b a)))) in b 3.190 * [taylor]: Taking taylor expansion of 2 in b 3.190 * [taylor]: Taking taylor expansion of (/ 1 (* e (* b a))) in b 3.190 * [taylor]: Taking taylor expansion of (* e (* b a)) in b 3.190 * [taylor]: Taking taylor expansion of e in b 3.190 * [taylor]: Taking taylor expansion of (* b a) in b 3.190 * [taylor]: Taking taylor expansion of b in b 3.190 * [taylor]: Taking taylor expansion of a in b 3.191 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* d (* a b)))) in b 3.191 * [taylor]: Taking taylor expansion of 2 in b 3.191 * [taylor]: Taking taylor expansion of (/ 1 (* d (* a b))) in b 3.191 * [taylor]: Taking taylor expansion of (* d (* a b)) in b 3.191 * [taylor]: Taking taylor expansion of d in b 3.191 * [taylor]: Taking taylor expansion of (* a b) in b 3.191 * [taylor]: Taking taylor expansion of a in b 3.191 * [taylor]: Taking taylor expansion of b in b 3.192 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 e))) in a 3.192 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 3.192 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.192 * [taylor]: Taking taylor expansion of d in a 3.192 * [taylor]: Taking taylor expansion of (/ 1 e) in a 3.192 * [taylor]: Taking taylor expansion of e in a 3.192 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 3.192 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.192 * [taylor]: Taking taylor expansion of d in a 3.192 * [taylor]: Taking taylor expansion of (/ 1 e) in a 3.192 * [taylor]: Taking taylor expansion of e in a 3.192 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 d) (/ 1 e))) in a 3.192 * [taylor]: Taking taylor expansion of -1 in a 3.192 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in a 3.192 * [taylor]: Taking taylor expansion of (/ 1 d) in a 3.192 * [taylor]: Taking taylor expansion of d in a 3.192 * [taylor]: Taking taylor expansion of (/ 1 e) in a 3.192 * [taylor]: Taking taylor expansion of e in a 3.200 * [taylor]: Taking taylor expansion of 0 in b 3.202 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* d a))) (* 2 (/ 1 (* e a))))) in a 3.202 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* d a))) (* 2 (/ 1 (* e a)))) in a 3.202 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* d a))) in a 3.202 * [taylor]: Taking taylor expansion of 2 in a 3.202 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a 3.202 * [taylor]: Taking taylor expansion of (* d a) in a 3.202 * [taylor]: Taking taylor expansion of d in a 3.202 * [taylor]: Taking taylor expansion of a in a 3.203 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* e a))) in a 3.203 * [taylor]: Taking taylor expansion of 2 in a 3.203 * [taylor]: Taking taylor expansion of (/ 1 (* e a)) in a 3.203 * [taylor]: Taking taylor expansion of (* e a) in a 3.203 * [taylor]: Taking taylor expansion of e in a 3.203 * [taylor]: Taking taylor expansion of a in a 3.205 * [taylor]: Taking taylor expansion of (+ (/ 1 (* e a)) (/ 1 (* d a))) in a 3.205 * [taylor]: Taking taylor expansion of (/ 1 (* e a)) in a 3.205 * [taylor]: Taking taylor expansion of (* e a) in a 3.205 * [taylor]: Taking taylor expansion of e in a 3.205 * [taylor]: Taking taylor expansion of a in a 3.205 * [taylor]: Taking taylor expansion of (/ 1 (* d a)) in a 3.205 * [taylor]: Taking taylor expansion of (* d a) in a 3.205 * [taylor]: Taking taylor expansion of d in a 3.205 * [taylor]: Taking taylor expansion of a in a 3.206 * [taylor]: Taking taylor expansion of 0 in a 3.215 * [taylor]: Taking taylor expansion of 0 in b 3.220 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* d (pow a 2))) (/ 1 (* e (pow a 2))))) in a 3.221 * [taylor]: Taking taylor expansion of (+ (/ 1 (* d (pow a 2))) (/ 1 (* e (pow a 2)))) in a 3.221 * [taylor]: Taking taylor expansion of (/ 1 (* d (pow a 2))) in a 3.221 * [taylor]: Taking taylor expansion of (* d (pow a 2)) in a 3.221 * [taylor]: Taking taylor expansion of d in a 3.221 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.221 * [taylor]: Taking taylor expansion of a in a 3.221 * [taylor]: Taking taylor expansion of (/ 1 (* e (pow a 2))) in a 3.221 * [taylor]: Taking taylor expansion of (* e (pow a 2)) in a 3.221 * [taylor]: Taking taylor expansion of e in a 3.221 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.221 * [taylor]: Taking taylor expansion of a in a 3.221 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 e))) in e 3.221 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 3.222 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.222 * [taylor]: Taking taylor expansion of d in e 3.222 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.222 * [taylor]: Taking taylor expansion of e in e 3.222 * [taylor]: Taking taylor expansion of -1 in d 3.224 * [taylor]: Taking taylor expansion of 0 in a 3.225 * [taylor]: Taking taylor expansion of 0 in a 3.226 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 d)) (* 2 (/ 1 e)))) in e 3.226 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 d)) (* 2 (/ 1 e))) in e 3.226 * [taylor]: Taking taylor expansion of (* 2 (/ 1 d)) in e 3.226 * [taylor]: Taking taylor expansion of 2 in e 3.226 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.226 * [taylor]: Taking taylor expansion of d in e 3.226 * [taylor]: Taking taylor expansion of (* 2 (/ 1 e)) in e 3.226 * [taylor]: Taking taylor expansion of 2 in e 3.226 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.226 * [taylor]: Taking taylor expansion of e in e 3.227 * [taylor]: Taking taylor expansion of -2 in d 3.227 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 3.227 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.227 * [taylor]: Taking taylor expansion of d in e 3.227 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.227 * [taylor]: Taking taylor expansion of e in e 3.227 * [taylor]: Taking taylor expansion of 1 in d 3.228 * [taylor]: Taking taylor expansion of (- (+ (/ 1 d) (/ 1 e))) in e 3.228 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 3.228 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.228 * [taylor]: Taking taylor expansion of d in e 3.228 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.228 * [taylor]: Taking taylor expansion of e in e 3.228 * [taylor]: Taking taylor expansion of -1 in d 3.229 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 3.229 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.229 * [taylor]: Taking taylor expansion of d in e 3.229 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.229 * [taylor]: Taking taylor expansion of e in e 3.229 * [taylor]: Taking taylor expansion of 1 in d 3.229 * [taylor]: Taking taylor expansion of (* -1 (+ (/ 1 d) (/ 1 e))) in e 3.229 * [taylor]: Taking taylor expansion of -1 in e 3.229 * [taylor]: Taking taylor expansion of (+ (/ 1 d) (/ 1 e)) in e 3.229 * [taylor]: Taking taylor expansion of (/ 1 d) in e 3.229 * [taylor]: Taking taylor expansion of d in e 3.230 * [taylor]: Taking taylor expansion of (/ 1 e) in e 3.230 * [taylor]: Taking taylor expansion of e in e 3.230 * [taylor]: Taking taylor expansion of -1 in d 3.246 * [taylor]: Taking taylor expansion of 0 in b 3.247 * [taylor]: Taking taylor expansion of 0 in a 3.255 * [taylor]: Taking taylor expansion of 0 in a 3.257 * [taylor]: Taking taylor expansion of 0 in a 3.259 * [taylor]: Taking taylor expansion of 0 in a 3.261 * [taylor]: Taking taylor expansion of 0 in e 3.263 * [taylor]: Taking taylor expansion of 0 in e 3.264 * [taylor]: Taking taylor expansion of 0 in e 3.264 * [taylor]: Taking taylor expansion of 0 in e 3.265 * [taylor]: Taking taylor expansion of 0 in e 3.265 * [taylor]: Taking taylor expansion of 0 in e 3.266 * [taylor]: Taking taylor expansion of 0 in e 3.267 * [taylor]: Taking taylor expansion of (- (/ 1 d)) in d 3.267 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.267 * [taylor]: Taking taylor expansion of d in d 3.268 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 d))) in d 3.268 * [taylor]: Taking taylor expansion of (* 2 (/ 1 d)) in d 3.268 * [taylor]: Taking taylor expansion of 2 in d 3.268 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.268 * [taylor]: Taking taylor expansion of d in d 3.269 * [taylor]: Taking taylor expansion of (/ 1 d) in d 3.269 * [taylor]: Taking taylor expansion of d in d 3.271 * * * [progress]: simplifying candidates 3.273 * [simplify]: Simplifying using # : (fma (* (cbrt (+ b a)) (cbrt (+ b a))) (cbrt (+ b a)) (- (* (cbrt c) (* (cbrt c) (cbrt c))))) (fma (- (cbrt c)) (* (cbrt c) (cbrt c)) (* (cbrt c) (* (cbrt c) (cbrt c)))) (fma (* (cbrt (+ b a)) (cbrt (+ b a))) (cbrt (+ b a)) (- (* (sqrt c) (sqrt c)))) (fma (- (sqrt c)) (sqrt c) (* (sqrt c) (sqrt c))) (fma (* (cbrt (+ b a)) (cbrt (+ b a))) (cbrt (+ b a)) (- (* c 1))) (fma (- c) 1 (* c 1)) (fma (sqrt (+ b a)) (sqrt (+ b a)) (- (* (cbrt c) (* (cbrt c) (cbrt c))))) (fma (- (cbrt c)) (* (cbrt c) (cbrt c)) (* (cbrt c) (* (cbrt c) (cbrt c)))) (fma (sqrt (+ b a)) (sqrt (+ b a)) (- (* (sqrt c) (sqrt c)))) (fma (- (sqrt c)) (sqrt c) (* (sqrt c) (sqrt c))) (fma (sqrt (+ b a)) (sqrt (+ b a)) (- (* c 1))) (fma (- c) 1 (* c 1)) (fma 1 (+ b a) (- (* (cbrt c) (* (cbrt c) (cbrt c))))) (fma (- (cbrt c)) (* (cbrt c) (cbrt c)) (* (cbrt c) (* (cbrt c) (cbrt c)))) (fma 1 (+ b a) (- (* (sqrt c) (sqrt c)))) (fma (- (sqrt c)) (sqrt c) (* (sqrt c) (sqrt c))) (fma 1 (+ b a) (- (* c 1))) (fma (- c) 1 (* c 1)) (fma 1 (+ b a) (- (* (cbrt c) (* (cbrt c) (cbrt c))))) (fma (- (cbrt c)) (* (cbrt c) (cbrt c)) (* (cbrt c) (* (cbrt c) (cbrt c)))) (fma 1 (+ b a) (- (* (sqrt c) (sqrt c)))) (fma (- (sqrt c)) (sqrt c) (* (sqrt c) (sqrt c))) (fma 1 (+ b a) (- (* c 1))) (fma (- c) 1 (* c 1)) (expm1 (- (+ b a) c)) (log1p (- (+ b a) c)) (- c) (- c) (- c) (- c) (/ (* (exp b) (exp a)) (exp c)) (/ (exp (+ b a)) (exp c)) (log (- (+ b a) c)) (exp (- (+ b a) c)) (* (cbrt (- (+ b a) c)) (cbrt (- (+ b a) c))) (cbrt (- (+ b a) c)) (* (* (- (+ b a) c) (- (+ b a) c)) (- (+ b a) c)) (sqrt (- (+ b a) c)) (sqrt (- (+ b a) c)) (- (pow (+ b a) 3) (pow c 3)) (+ (* (+ b a) (+ b a)) (+ (* c c) (* (+ b a) c))) (- c) (- (* (+ b a) (+ b a)) (* c c)) (+ (+ b a) c) (+ (sqrt (+ b a)) (sqrt c)) (- (sqrt (+ b a)) (sqrt c)) (- (+ b a) c) (- (+ b a) c) (- a c) (- c) (fma (* (cbrt (+ b a)) (cbrt (+ b a))) (cbrt (+ b a)) (- (* (cbrt c) (* (cbrt c) (cbrt c))))) (fma (- (cbrt c)) (* (cbrt c) (cbrt c)) (* (cbrt c) (* (cbrt c) (cbrt c)))) (fma (* (cbrt (+ b a)) (cbrt (+ b a))) (cbrt (+ b a)) (- (* (sqrt c) (sqrt c)))) (fma (- (sqrt c)) (sqrt c) (* (sqrt c) (sqrt c))) (fma (* (cbrt (+ b a)) (cbrt (+ b a))) (cbrt (+ b a)) (- (* c 1))) (fma (- c) 1 (* c 1)) (fma (sqrt (+ b a)) (sqrt (+ b a)) (- (* (cbrt c) (* (cbrt c) (cbrt c))))) (fma (- (cbrt c)) (* (cbrt c) (cbrt c)) (* (cbrt c) (* (cbrt c) (cbrt c)))) (fma (sqrt (+ b a)) (sqrt (+ b a)) (- (* (sqrt c) (sqrt c)))) (fma (- (sqrt c)) (sqrt c) (* (sqrt c) (sqrt c))) (fma (sqrt (+ b a)) (sqrt (+ b a)) (- (* c 1))) (fma (- c) 1 (* c 1)) (fma 1 (+ b a) (- (* (cbrt c) (* (cbrt c) (cbrt c))))) (fma (- (cbrt c)) (* (cbrt c) (cbrt c)) (* (cbrt c) (* (cbrt c) (cbrt c)))) (fma 1 (+ b a) (- (* (sqrt c) (sqrt c)))) (fma (- (sqrt c)) (sqrt c) (* (sqrt c) (sqrt c))) (fma 1 (+ b a) (- (* c 1))) (fma (- c) 1 (* c 1)) (fma 1 (+ b a) (- (* (cbrt c) (* (cbrt c) (cbrt c))))) (fma (- (cbrt c)) (* (cbrt c) (cbrt c)) (* (cbrt c) (* (cbrt c) (cbrt c)))) (fma 1 (+ b a) (- (* (sqrt c) (sqrt c)))) (fma (- (sqrt c)) (sqrt c) (* (sqrt c) (sqrt c))) (fma 1 (+ b a) (- (* c 1))) (fma (- c) 1 (* c 1)) (expm1 (- (+ b a) c)) (log1p (- (+ b a) c)) (- c) (- c) (- c) (- c) (/ (* (exp b) (exp a)) (exp c)) (/ (exp (+ b a)) (exp c)) (log (- (+ b a) c)) (exp (- (+ b a) c)) (* (cbrt (- (+ b a) c)) (cbrt (- (+ b a) c))) (cbrt (- (+ b a) c)) (* (* (- (+ b a) c) (- (+ b a) c)) (- (+ b a) c)) (sqrt (- (+ b a) c)) (sqrt (- (+ b a) c)) (- (pow (+ b a) 3) (pow c 3)) (+ (* (+ b a) (+ b a)) (+ (* c c) (* (+ b a) c))) (- c) (- (* (+ b a) (+ b a)) (* c c)) (+ (+ b a) c) (+ (sqrt (+ b a)) (sqrt c)) (- (sqrt (+ b a)) (sqrt c)) (- (+ b a) c) (- (+ b a) c) (- a c) (- c) (expm1 (pow (+ b a) 3)) (log1p (pow (+ b a) 3)) (* (log (+ b a)) 3) (* (log (+ b a)) 3) (* 1 3) (pow (+ b a) (* (cbrt 3) (cbrt 3))) (pow (+ b a) (sqrt 3)) (pow (+ b a) 1) (pow (* (cbrt (+ b a)) (cbrt (+ b a))) 3) (pow (cbrt (+ b a)) 3) (pow (sqrt (+ b a)) 3) (pow (sqrt (+ b a)) 3) (pow 1 3) (pow (+ b a) 3) (pow 1 3) (pow (+ b a) 3) (* (+ b a) (+ b a)) (log (pow (+ b a) 3)) (exp (pow (+ b a) 3)) (* (cbrt (pow (+ b a) 3)) (cbrt (pow (+ b a) 3))) (cbrt (pow (+ b a) 3)) (* (* (pow (+ b a) 3) (pow (+ b a) 3)) (pow (+ b a) 3)) (pow (* (cbrt (+ b a)) (cbrt (+ b a))) 3) (pow (cbrt (+ b a)) 3) (pow (sqrt (+ b a)) 3) (pow (sqrt (+ b a)) 3) (pow 1 3) (pow (+ b a) 3) (pow 1 3) (pow (+ b a) 3) (pow (+ (pow b 3) (pow a 3)) 3) (pow (+ (* b b) (- (* a a) (* b a))) 3) (pow (- (* b b) (* a a)) 3) (pow (- b a) 3) (* (+ b a) (+ b a)) (sqrt (pow (+ b a) 3)) (sqrt (pow (+ b a) 3)) (pow (+ b a) (/ 3 2)) (pow (+ b a) (/ 3 2)) (expm1 (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (log1p (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d)) (+ (log (fma c c (* (+ b a) (- (+ b a) c)))) (log (+ e d))) (log (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (exp (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (* (* (* (fma c c (* (+ b a) (- (+ b a) c))) (fma c c (* (+ b a) (- (+ b a) c)))) (fma c c (* (+ b a) (- (+ b a) c)))) (* (* (+ e d) (+ e d)) (+ e d))) (* (cbrt (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (cbrt (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d)))) (cbrt (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (* (* (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d)) (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (sqrt (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (sqrt (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (* (sqrt (fma c c (* (+ b a) (- (+ b a) c)))) (sqrt (+ e d))) (* (sqrt (fma c c (* (+ b a) (- (+ b a) c)))) (sqrt (+ e d))) (* (fma c c (* (+ b a) (- (+ b a) c))) e) (* (fma c c (* (+ b a) (- (+ b a) c))) d) (* e (fma c c (* (+ b a) (- (+ b a) c)))) (* d (fma c c (* (+ b a) (- (+ b a) c)))) (* (fma c c (* (+ b a) (- (+ b a) c))) (* (cbrt (+ e d)) (cbrt (+ e d)))) (* (fma c c (* (+ b a) (- (+ b a) c))) (sqrt (+ e d))) (* (fma c c (* (+ b a) (- (+ b a) c))) 1) (* (fma c c (* (+ b a) (- (+ b a) c))) 1) (* (cbrt (fma c c (* (+ b a) (- (+ b a) c)))) (+ e d)) (* (sqrt (fma c c (* (+ b a) (- (+ b a) c)))) (+ e d)) (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d)) (* (fma c c (* (+ b a) (- (+ b a) c))) (+ (pow e 3) (pow d 3))) (* (fma c c (* (+ b a) (- (+ b a) c))) (- (* e e) (* d d))) (- (+ a b) c) (- (+ a b) c) (- (+ a b) c) (- (+ a b) c) (- (+ a b) c) (- (+ a b) c) (+ (* 3 (* a (pow b 2))) (+ (* 3 (* (pow a 2) b)) (pow b 3))) (+ (pow a 3) (+ (* 3 (* a (pow b 2))) (* 3 (* (pow a 2) b)))) (+ (pow a 3) (+ (* 3 (* a (pow b 2))) (* 3 (* (pow a 2) b)))) 0 (- (+ (* d (pow a 2)) (* 2 (* d (* a b)))) (* d (* a c))) (- (+ (* d (pow a 2)) (* 2 (* d (* a b)))) (* d (* a c))) 3.278 * * [simplify]: iteration 0 : 169 enodes (cost 1890 ) 3.322 * * [simplify]: iteration 1 : 433 enodes (cost 1537 ) 3.463 * * [simplify]: iteration 2 : 1563 enodes (cost 1291 ) 3.944 * * [simplify]: iteration done : 5001 enodes (cost 1267 ) 3.945 * [simplify]: Simplified to: (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (expm1 (- (+ b a) c)) (log1p (- (+ b a) c)) (- c) (- c) (- c) (- c) (exp (- (+ b a) c)) (exp (- (+ b a) c)) (log (- (+ b a) c)) (exp (- (+ b a) c)) (* (cbrt (- (+ b a) c)) (cbrt (- (+ b a) c))) (cbrt (- (+ b a) c)) (pow (+ (- a c) b) 3) (sqrt (- (+ b a) c)) (sqrt (- (+ b a) c)) (- (pow (+ b a) 3) (pow c 3)) (fma c (+ (+ b a) c) (pow (+ b a) 2)) (- c) (- (pow (+ b a) 2) (* c c)) (+ (+ b a) c) (+ (sqrt (+ b a)) (sqrt c)) (- (sqrt (+ b a)) (sqrt c)) (- (+ b a) c) (- (+ b a) c) (- a c) (- c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (- (+ b a) c) (- c c) (expm1 (- (+ b a) c)) (log1p (- (+ b a) c)) (- c) (- c) (- c) (- c) (exp (- (+ b a) c)) (exp (- (+ b a) c)) (log (- (+ b a) c)) (exp (- (+ b a) c)) (* (cbrt (- (+ b a) c)) (cbrt (- (+ b a) c))) (cbrt (- (+ b a) c)) (pow (+ (- a c) b) 3) (sqrt (- (+ b a) c)) (sqrt (- (+ b a) c)) (- (pow (+ b a) 3) (pow c 3)) (fma c (+ (+ b a) c) (pow (+ b a) 2)) (- c) (- (pow (+ b a) 2) (* c c)) (+ (+ b a) c) (+ (sqrt (+ b a)) (sqrt c)) (- (sqrt (+ b a)) (sqrt c)) (- (+ b a) c) (- (+ b a) c) (- a c) (- c) (expm1 (pow (+ b a) 3)) (log1p (pow (+ b a) 3)) (log (pow (+ b a) 3)) (log (pow (+ b a) 3)) 3 (pow (+ b a) (* (cbrt 3) (cbrt 3))) (pow (+ b a) (sqrt 3)) (+ b a) (pow (+ b a) 2) (+ b a) (pow (sqrt (+ b a)) 3) (pow (sqrt (+ b a)) 3) 1 (pow (+ b a) 3) 1 (pow (+ b a) 3) (pow (+ b a) 2) (log (pow (+ b a) 3)) (exp (pow (+ b a) 3)) (pow (+ b a) 2) (+ b a) (pow (pow (+ b a) 3) 3) (pow (+ b a) 2) (+ b a) (pow (sqrt (+ b a)) 3) (pow (sqrt (+ b a)) 3) 1 (pow (+ b a) 3) 1 (pow (+ b a) 3) (pow (+ (pow b 3) (pow a 3)) 3) (pow (fma b b (* a (- a b))) 3) (pow (- (* b b) (* a a)) 3) (pow (- b a) 3) (pow (+ b a) 2) (sqrt (pow (+ b a) 3)) (sqrt (pow (+ b a) 3)) (pow (+ b a) 3/2) (pow (+ b a) 3/2) (expm1 (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (log1p (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d)) (log (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (log (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (exp (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (pow (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d)) 3) (* (cbrt (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (cbrt (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d)))) (cbrt (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (pow (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d)) 3) (sqrt (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (sqrt (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d))) (* (sqrt (fma c c (* (+ b a) (- (+ b a) c)))) (sqrt (+ e d))) (* (sqrt (fma c c (* (+ b a) (- (+ b a) c)))) (sqrt (+ e d))) (* (fma c c (* (+ b a) (- (+ b a) c))) e) (* d (fma c c (* (+ b a) (- (+ b a) c)))) (* (fma c c (* (+ b a) (- (+ b a) c))) e) (* d (fma c c (* (+ b a) (- (+ b a) c)))) (* (fma c c (* (+ b a) (- (+ b a) c))) (* (cbrt (+ e d)) (cbrt (+ e d)))) (* (fma c c (* (+ b a) (- (+ b a) c))) (sqrt (+ e d))) (fma c c (* (+ b a) (- (+ b a) c))) (fma c c (* (+ b a) (- (+ b a) c))) (* (cbrt (fma c c (* (+ b a) (- (+ b a) c)))) (+ e d)) (* (sqrt (fma c c (* (+ b a) (- (+ b a) c)))) (+ e d)) (* (fma c c (* (+ b a) (- (+ b a) c))) (+ e d)) (* (fma c c (* (+ b a) (- (+ b a) c))) (+ (pow e 3) (pow d 3))) (* (fma c c (* (+ b a) (- (+ b a) c))) (- (* e e) (* d d))) (- (+ b a) c) (- (+ b a) c) (- (+ b a) c) (- (+ b a) c) (- (+ b a) c) (- (+ b a) c) (fma 3 (fma (* b b) a (* (pow a 2) b)) (pow b 3)) (fma 3 (fma (* b b) a (* (pow a 2) b)) (pow a 3)) (fma 3 (fma (* b b) a (* (pow a 2) b)) (pow a 3)) 0 (- (fma d (* a a) (* 2 (* d (* a b)))) (* d (* a c))) (- (fma d (* a a) (* 2 (* d (* a b)))) (* d (* a c))) 3.946 * * * [progress]: adding candidates to table 4.380 * [progress]: [Phase 3 of 3] Extracting. 4.380 * * [regime]: Finding splitpoints for: (# # # # # #) 4.383 * * * [regime-changes]: Trying 6 branch expressions: ((+ e d) e d c b a) 4.383 * * * * [regimes]: Trying to branch on (+ e d) from (# # # # # #) 4.418 * * * * [regimes]: Trying to branch on e from (# # # # # #) 4.451 * * * * [regimes]: Trying to branch on d from (# # # # # #) 4.482 * * * * [regimes]: Trying to branch on c from (# # # # # #) 4.515 * * * * [regimes]: Trying to branch on b from (# # # # # #) 4.549 * * * * [regimes]: Trying to branch on a from (# # # # # #) 4.582 * * * [regime]: Found split indices: #