16.246 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.224 * * * [progress]: [2/2] Setting up program. 0.227 * [progress]: [Phase 2 of 3] Improving. 0.227 * [simplify]: Simplifying using # : (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) 0.228 * * [simplify]: iteration 0 : 17 enodes (cost 24 ) 0.231 * * [simplify]: iteration 1 : 40 enodes (cost 24 ) 0.237 * * [simplify]: iteration 2 : 101 enodes (cost 24 ) 0.254 * * [simplify]: iteration 3 : 239 enodes (cost 24 ) 0.306 * * [simplify]: iteration 4 : 653 enodes (cost 24 ) 0.580 * * [simplify]: iteration 5 : 2845 enodes (cost 24 ) 1.510 * * [simplify]: iteration done : 5001 enodes (cost 24 ) 1.510 * [simplify]: Simplified to: (/ (* eps (- (exp (* (+ a b) eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) 1.510 * * [progress]: iteration 1 / 4 1.510 * * * [progress]: picking best candidate 1.514 * * * * [pick]: Picked # 1.514 * * * [progress]: localizing error 1.530 * * * [progress]: generating rewritten candidates 1.530 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.535 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 1.539 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 1.543 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.570 * * * [progress]: generating series expansions 1.570 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.570 * [approximate]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0 1.570 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps 1.570 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps 1.571 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps 1.571 * [taylor]: Taking taylor expansion of (+ a b) in eps 1.571 * [taylor]: Taking taylor expansion of a in eps 1.571 * [taylor]: Taking taylor expansion of b in eps 1.571 * [taylor]: Taking taylor expansion of eps in eps 1.571 * [taylor]: Taking taylor expansion of 1.0 in eps 1.571 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b 1.571 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b 1.571 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b 1.571 * [taylor]: Taking taylor expansion of (+ a b) in b 1.572 * [taylor]: Taking taylor expansion of a in b 1.572 * [taylor]: Taking taylor expansion of b in b 1.572 * [taylor]: Taking taylor expansion of eps in b 1.572 * [taylor]: Taking taylor expansion of 1.0 in b 1.572 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 1.572 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 1.572 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 1.572 * [taylor]: Taking taylor expansion of (+ a b) in a 1.572 * [taylor]: Taking taylor expansion of a in a 1.572 * [taylor]: Taking taylor expansion of b in a 1.572 * [taylor]: Taking taylor expansion of eps in a 1.572 * [taylor]: Taking taylor expansion of 1.0 in a 1.572 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 1.572 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 1.572 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 1.572 * [taylor]: Taking taylor expansion of (+ a b) in a 1.572 * [taylor]: Taking taylor expansion of a in a 1.572 * [taylor]: Taking taylor expansion of b in a 1.572 * [taylor]: Taking taylor expansion of eps in a 1.572 * [taylor]: Taking taylor expansion of 1.0 in a 1.573 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.573 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.573 * [taylor]: Taking taylor expansion of (* eps b) in b 1.573 * [taylor]: Taking taylor expansion of eps in b 1.573 * [taylor]: Taking taylor expansion of b in b 1.573 * [taylor]: Taking taylor expansion of 1.0 in b 1.574 * [taylor]: Taking taylor expansion of 0 in eps 1.575 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in b 1.575 * [taylor]: Taking taylor expansion of eps in b 1.575 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.575 * [taylor]: Taking taylor expansion of (* eps b) in b 1.575 * [taylor]: Taking taylor expansion of eps in b 1.575 * [taylor]: Taking taylor expansion of b in b 1.575 * [taylor]: Taking taylor expansion of eps in eps 1.576 * [taylor]: Taking taylor expansion of eps in eps 1.577 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in b 1.577 * [taylor]: Taking taylor expansion of 1/2 in b 1.577 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in b 1.577 * [taylor]: Taking taylor expansion of (pow eps 2) in b 1.577 * [taylor]: Taking taylor expansion of eps in b 1.577 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.577 * [taylor]: Taking taylor expansion of (* eps b) in b 1.577 * [taylor]: Taking taylor expansion of eps in b 1.577 * [taylor]: Taking taylor expansion of b in b 1.578 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.578 * [taylor]: Taking taylor expansion of 1/2 in eps 1.578 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.578 * [taylor]: Taking taylor expansion of eps in eps 1.578 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.578 * [taylor]: Taking taylor expansion of eps in eps 1.580 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.580 * [taylor]: Taking taylor expansion of 1/2 in eps 1.580 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.580 * [taylor]: Taking taylor expansion of eps in eps 1.582 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) (exp (* eps b)))) in b 1.582 * [taylor]: Taking taylor expansion of 1/6 in b 1.582 * [taylor]: Taking taylor expansion of (* (pow eps 3) (exp (* eps b))) in b 1.582 * [taylor]: Taking taylor expansion of (pow eps 3) in b 1.582 * [taylor]: Taking taylor expansion of eps in b 1.582 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.582 * [taylor]: Taking taylor expansion of (* eps b) in b 1.582 * [taylor]: Taking taylor expansion of eps in b 1.582 * [taylor]: Taking taylor expansion of b in b 1.583 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.583 * [taylor]: Taking taylor expansion of 1/6 in eps 1.583 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.583 * [taylor]: Taking taylor expansion of eps in eps 1.583 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 1.583 * [taylor]: Taking taylor expansion of 1/2 in eps 1.583 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.583 * [taylor]: Taking taylor expansion of eps in eps 1.585 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 1.585 * [taylor]: Taking taylor expansion of 1/2 in eps 1.585 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.585 * [taylor]: Taking taylor expansion of eps in eps 1.587 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.587 * [taylor]: Taking taylor expansion of 1/6 in eps 1.587 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.587 * [taylor]: Taking taylor expansion of eps in eps 1.594 * [taylor]: Taking taylor expansion of (* 1/24 (* (pow eps 4) (exp (* eps b)))) in b 1.594 * [taylor]: Taking taylor expansion of 1/24 in b 1.594 * [taylor]: Taking taylor expansion of (* (pow eps 4) (exp (* eps b))) in b 1.594 * [taylor]: Taking taylor expansion of (pow eps 4) in b 1.594 * [taylor]: Taking taylor expansion of eps in b 1.594 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.594 * [taylor]: Taking taylor expansion of (* eps b) in b 1.594 * [taylor]: Taking taylor expansion of eps in b 1.594 * [taylor]: Taking taylor expansion of b in b 1.595 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.595 * [taylor]: Taking taylor expansion of 1/24 in eps 1.595 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.595 * [taylor]: Taking taylor expansion of eps in eps 1.596 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 1.596 * [taylor]: Taking taylor expansion of 1/6 in eps 1.596 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.596 * [taylor]: Taking taylor expansion of eps in eps 1.598 * [taylor]: Taking taylor expansion of (* 1/4 (pow eps 4)) in eps 1.598 * [taylor]: Taking taylor expansion of 1/4 in eps 1.598 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.598 * [taylor]: Taking taylor expansion of eps in eps 1.600 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 1.600 * [taylor]: Taking taylor expansion of 1/6 in eps 1.600 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.600 * [taylor]: Taking taylor expansion of eps in eps 1.602 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.602 * [taylor]: Taking taylor expansion of 1/24 in eps 1.602 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.602 * [taylor]: Taking taylor expansion of eps in eps 1.603 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 1.603 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.603 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.604 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.604 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.604 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.604 * [taylor]: Taking taylor expansion of b in eps 1.604 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.604 * [taylor]: Taking taylor expansion of a in eps 1.604 * [taylor]: Taking taylor expansion of eps in eps 1.604 * [taylor]: Taking taylor expansion of 1.0 in eps 1.604 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.604 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.604 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.604 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.604 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.604 * [taylor]: Taking taylor expansion of b in b 1.604 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.604 * [taylor]: Taking taylor expansion of a in b 1.604 * [taylor]: Taking taylor expansion of eps in b 1.605 * [taylor]: Taking taylor expansion of 1.0 in b 1.605 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.605 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.605 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.605 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.605 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.605 * [taylor]: Taking taylor expansion of b in a 1.605 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.605 * [taylor]: Taking taylor expansion of a in a 1.605 * [taylor]: Taking taylor expansion of eps in a 1.606 * [taylor]: Taking taylor expansion of 1.0 in a 1.606 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.606 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.606 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.606 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.606 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.606 * [taylor]: Taking taylor expansion of b in a 1.606 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.606 * [taylor]: Taking taylor expansion of a in a 1.606 * [taylor]: Taking taylor expansion of eps in a 1.607 * [taylor]: Taking taylor expansion of 1.0 in a 1.607 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.608 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.608 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.608 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.608 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.608 * [taylor]: Taking taylor expansion of b in b 1.608 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.608 * [taylor]: Taking taylor expansion of a in b 1.608 * [taylor]: Taking taylor expansion of eps in b 1.608 * [taylor]: Taking taylor expansion of 1.0 in b 1.609 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.609 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.609 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.609 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.609 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.609 * [taylor]: Taking taylor expansion of b in eps 1.609 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.609 * [taylor]: Taking taylor expansion of a in eps 1.609 * [taylor]: Taking taylor expansion of eps in eps 1.609 * [taylor]: Taking taylor expansion of 1.0 in eps 1.611 * [taylor]: Taking taylor expansion of 0 in b 1.611 * [taylor]: Taking taylor expansion of 0 in eps 1.611 * [taylor]: Taking taylor expansion of 0 in eps 1.612 * [taylor]: Taking taylor expansion of 0 in b 1.612 * [taylor]: Taking taylor expansion of 0 in eps 1.612 * [taylor]: Taking taylor expansion of 0 in eps 1.613 * [taylor]: Taking taylor expansion of 0 in eps 1.613 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 1.613 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.613 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.613 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.613 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.613 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.613 * [taylor]: Taking taylor expansion of b in eps 1.613 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.613 * [taylor]: Taking taylor expansion of a in eps 1.613 * [taylor]: Taking taylor expansion of eps in eps 1.613 * [taylor]: Taking taylor expansion of 1.0 in eps 1.613 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.613 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.613 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.613 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.613 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.613 * [taylor]: Taking taylor expansion of b in b 1.614 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.614 * [taylor]: Taking taylor expansion of a in b 1.614 * [taylor]: Taking taylor expansion of eps in b 1.614 * [taylor]: Taking taylor expansion of 1.0 in b 1.614 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.614 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.614 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.614 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.614 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.614 * [taylor]: Taking taylor expansion of b in a 1.614 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.614 * [taylor]: Taking taylor expansion of a in a 1.615 * [taylor]: Taking taylor expansion of eps in a 1.615 * [taylor]: Taking taylor expansion of 1.0 in a 1.615 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 1.615 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 1.615 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 1.615 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 1.615 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.615 * [taylor]: Taking taylor expansion of b in a 1.615 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.615 * [taylor]: Taking taylor expansion of a in a 1.615 * [taylor]: Taking taylor expansion of eps in a 1.616 * [taylor]: Taking taylor expansion of 1.0 in a 1.617 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 1.617 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 1.617 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 1.617 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 1.617 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.617 * [taylor]: Taking taylor expansion of b in b 1.617 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.617 * [taylor]: Taking taylor expansion of a in b 1.617 * [taylor]: Taking taylor expansion of eps in b 1.617 * [taylor]: Taking taylor expansion of 1.0 in b 1.618 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 1.618 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 1.618 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 1.618 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 1.618 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 1.618 * [taylor]: Taking taylor expansion of b in eps 1.618 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 1.618 * [taylor]: Taking taylor expansion of a in eps 1.618 * [taylor]: Taking taylor expansion of eps in eps 1.618 * [taylor]: Taking taylor expansion of 1.0 in eps 1.620 * [taylor]: Taking taylor expansion of 0 in b 1.620 * [taylor]: Taking taylor expansion of 0 in eps 1.620 * [taylor]: Taking taylor expansion of 0 in eps 1.621 * [taylor]: Taking taylor expansion of 0 in b 1.621 * [taylor]: Taking taylor expansion of 0 in eps 1.621 * [taylor]: Taking taylor expansion of 0 in eps 1.622 * [taylor]: Taking taylor expansion of 0 in eps 1.622 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.622 * [approximate]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in (b eps) around 0 1.622 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps 1.622 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.622 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.622 * [taylor]: Taking taylor expansion of eps in eps 1.622 * [taylor]: Taking taylor expansion of b in eps 1.622 * [taylor]: Taking taylor expansion of 1.0 in eps 1.622 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.622 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.622 * [taylor]: Taking taylor expansion of (* eps b) in b 1.622 * [taylor]: Taking taylor expansion of eps in b 1.622 * [taylor]: Taking taylor expansion of b in b 1.623 * [taylor]: Taking taylor expansion of 1.0 in b 1.623 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.623 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.623 * [taylor]: Taking taylor expansion of (* eps b) in b 1.623 * [taylor]: Taking taylor expansion of eps in b 1.623 * [taylor]: Taking taylor expansion of b in b 1.623 * [taylor]: Taking taylor expansion of 1.0 in b 1.624 * [taylor]: Taking taylor expansion of 0 in eps 1.624 * [taylor]: Taking taylor expansion of eps in eps 1.626 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.626 * [taylor]: Taking taylor expansion of 1/2 in eps 1.626 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.626 * [taylor]: Taking taylor expansion of eps in eps 1.628 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.628 * [taylor]: Taking taylor expansion of 1/6 in eps 1.628 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.628 * [taylor]: Taking taylor expansion of eps in eps 1.631 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.631 * [taylor]: Taking taylor expansion of 1/24 in eps 1.631 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.631 * [taylor]: Taking taylor expansion of eps in eps 1.635 * [taylor]: Taking taylor expansion of (* 1/120 (pow eps 5)) in eps 1.635 * [taylor]: Taking taylor expansion of 1/120 in eps 1.635 * [taylor]: Taking taylor expansion of (pow eps 5) in eps 1.635 * [taylor]: Taking taylor expansion of eps in eps 1.642 * [taylor]: Taking taylor expansion of (* 1/720 (pow eps 6)) in eps 1.642 * [taylor]: Taking taylor expansion of 1/720 in eps 1.642 * [taylor]: Taking taylor expansion of (pow eps 6) in eps 1.642 * [taylor]: Taking taylor expansion of eps in eps 1.643 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0 1.643 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.643 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.644 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.644 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.644 * [taylor]: Taking taylor expansion of eps in eps 1.644 * [taylor]: Taking taylor expansion of b in eps 1.644 * [taylor]: Taking taylor expansion of 1.0 in eps 1.644 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.644 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.644 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.644 * [taylor]: Taking taylor expansion of (* eps b) in b 1.644 * [taylor]: Taking taylor expansion of eps in b 1.644 * [taylor]: Taking taylor expansion of b in b 1.644 * [taylor]: Taking taylor expansion of 1.0 in b 1.644 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.644 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.644 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.644 * [taylor]: Taking taylor expansion of (* eps b) in b 1.644 * [taylor]: Taking taylor expansion of eps in b 1.645 * [taylor]: Taking taylor expansion of b in b 1.645 * [taylor]: Taking taylor expansion of 1.0 in b 1.645 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.646 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.646 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.646 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.646 * [taylor]: Taking taylor expansion of eps in eps 1.646 * [taylor]: Taking taylor expansion of b in eps 1.646 * [taylor]: Taking taylor expansion of 1.0 in eps 1.647 * [taylor]: Taking taylor expansion of 0 in eps 1.648 * [taylor]: Taking taylor expansion of 0 in eps 1.649 * [taylor]: Taking taylor expansion of 0 in eps 1.649 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in (b eps) around 0 1.649 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.649 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.649 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.649 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.649 * [taylor]: Taking taylor expansion of eps in eps 1.649 * [taylor]: Taking taylor expansion of b in eps 1.650 * [taylor]: Taking taylor expansion of 1.0 in eps 1.650 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.650 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.650 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.650 * [taylor]: Taking taylor expansion of (* eps b) in b 1.650 * [taylor]: Taking taylor expansion of eps in b 1.650 * [taylor]: Taking taylor expansion of b in b 1.650 * [taylor]: Taking taylor expansion of 1.0 in b 1.650 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.650 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.650 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.650 * [taylor]: Taking taylor expansion of (* eps b) in b 1.650 * [taylor]: Taking taylor expansion of eps in b 1.650 * [taylor]: Taking taylor expansion of b in b 1.651 * [taylor]: Taking taylor expansion of 1.0 in b 1.651 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.651 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.651 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.651 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.651 * [taylor]: Taking taylor expansion of eps in eps 1.651 * [taylor]: Taking taylor expansion of b in eps 1.652 * [taylor]: Taking taylor expansion of 1.0 in eps 1.653 * [taylor]: Taking taylor expansion of 0 in eps 1.654 * [taylor]: Taking taylor expansion of 0 in eps 1.655 * [taylor]: Taking taylor expansion of 0 in eps 1.655 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 1.656 * [approximate]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in (a eps) around 0 1.656 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps 1.656 * [taylor]: Taking taylor expansion of (exp (* a eps)) in eps 1.656 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.656 * [taylor]: Taking taylor expansion of a in eps 1.656 * [taylor]: Taking taylor expansion of eps in eps 1.656 * [taylor]: Taking taylor expansion of 1.0 in eps 1.656 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.656 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.656 * [taylor]: Taking taylor expansion of (* a eps) in a 1.656 * [taylor]: Taking taylor expansion of a in a 1.656 * [taylor]: Taking taylor expansion of eps in a 1.656 * [taylor]: Taking taylor expansion of 1.0 in a 1.656 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.656 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.656 * [taylor]: Taking taylor expansion of (* a eps) in a 1.656 * [taylor]: Taking taylor expansion of a in a 1.657 * [taylor]: Taking taylor expansion of eps in a 1.657 * [taylor]: Taking taylor expansion of 1.0 in a 1.658 * [taylor]: Taking taylor expansion of 0 in eps 1.658 * [taylor]: Taking taylor expansion of eps in eps 1.659 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 1.659 * [taylor]: Taking taylor expansion of 1/2 in eps 1.660 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.660 * [taylor]: Taking taylor expansion of eps in eps 1.662 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 1.662 * [taylor]: Taking taylor expansion of 1/6 in eps 1.662 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 1.662 * [taylor]: Taking taylor expansion of eps in eps 1.665 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 1.665 * [taylor]: Taking taylor expansion of 1/24 in eps 1.665 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 1.665 * [taylor]: Taking taylor expansion of eps in eps 1.670 * [taylor]: Taking taylor expansion of (* 1/120 (pow eps 5)) in eps 1.670 * [taylor]: Taking taylor expansion of 1/120 in eps 1.670 * [taylor]: Taking taylor expansion of (pow eps 5) in eps 1.670 * [taylor]: Taking taylor expansion of eps in eps 1.677 * [taylor]: Taking taylor expansion of (* 1/720 (pow eps 6)) in eps 1.677 * [taylor]: Taking taylor expansion of 1/720 in eps 1.677 * [taylor]: Taking taylor expansion of (pow eps 6) in eps 1.677 * [taylor]: Taking taylor expansion of eps in eps 1.678 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0 1.678 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.678 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.678 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.678 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.678 * [taylor]: Taking taylor expansion of a in eps 1.679 * [taylor]: Taking taylor expansion of eps in eps 1.679 * [taylor]: Taking taylor expansion of 1.0 in eps 1.679 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.679 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.679 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.679 * [taylor]: Taking taylor expansion of (* a eps) in a 1.679 * [taylor]: Taking taylor expansion of a in a 1.679 * [taylor]: Taking taylor expansion of eps in a 1.679 * [taylor]: Taking taylor expansion of 1.0 in a 1.679 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.679 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.679 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.679 * [taylor]: Taking taylor expansion of (* a eps) in a 1.679 * [taylor]: Taking taylor expansion of a in a 1.679 * [taylor]: Taking taylor expansion of eps in a 1.680 * [taylor]: Taking taylor expansion of 1.0 in a 1.680 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.680 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.681 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.681 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.681 * [taylor]: Taking taylor expansion of a in eps 1.681 * [taylor]: Taking taylor expansion of eps in eps 1.681 * [taylor]: Taking taylor expansion of 1.0 in eps 1.682 * [taylor]: Taking taylor expansion of 0 in eps 1.683 * [taylor]: Taking taylor expansion of 0 in eps 1.684 * [taylor]: Taking taylor expansion of 0 in eps 1.684 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0 1.685 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.685 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.685 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.685 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.685 * [taylor]: Taking taylor expansion of a in eps 1.685 * [taylor]: Taking taylor expansion of eps in eps 1.685 * [taylor]: Taking taylor expansion of 1.0 in eps 1.685 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.685 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.685 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.685 * [taylor]: Taking taylor expansion of (* a eps) in a 1.685 * [taylor]: Taking taylor expansion of a in a 1.685 * [taylor]: Taking taylor expansion of eps in a 1.690 * [taylor]: Taking taylor expansion of 1.0 in a 1.690 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.690 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.690 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.690 * [taylor]: Taking taylor expansion of (* a eps) in a 1.690 * [taylor]: Taking taylor expansion of a in a 1.690 * [taylor]: Taking taylor expansion of eps in a 1.691 * [taylor]: Taking taylor expansion of 1.0 in a 1.691 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.691 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.691 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.691 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.691 * [taylor]: Taking taylor expansion of a in eps 1.691 * [taylor]: Taking taylor expansion of eps in eps 1.692 * [taylor]: Taking taylor expansion of 1.0 in eps 1.693 * [taylor]: Taking taylor expansion of 0 in eps 1.694 * [taylor]: Taking taylor expansion of 0 in eps 1.695 * [taylor]: Taking taylor expansion of 0 in eps 1.695 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.695 * [approximate]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in (a eps b) around 0 1.695 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in b 1.695 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 1.695 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 1.695 * [taylor]: Taking taylor expansion of (* eps b) in b 1.695 * [taylor]: Taking taylor expansion of eps in b 1.695 * [taylor]: Taking taylor expansion of b in b 1.696 * [taylor]: Taking taylor expansion of 1.0 in b 1.696 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in b 1.696 * [taylor]: Taking taylor expansion of (exp (* a eps)) in b 1.696 * [taylor]: Taking taylor expansion of (* a eps) in b 1.696 * [taylor]: Taking taylor expansion of a in b 1.696 * [taylor]: Taking taylor expansion of eps in b 1.696 * [taylor]: Taking taylor expansion of 1.0 in b 1.696 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in eps 1.696 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in eps 1.696 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.696 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.696 * [taylor]: Taking taylor expansion of eps in eps 1.696 * [taylor]: Taking taylor expansion of b in eps 1.696 * [taylor]: Taking taylor expansion of 1.0 in eps 1.696 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps 1.696 * [taylor]: Taking taylor expansion of (exp (* a eps)) in eps 1.696 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.696 * [taylor]: Taking taylor expansion of a in eps 1.696 * [taylor]: Taking taylor expansion of eps in eps 1.697 * [taylor]: Taking taylor expansion of 1.0 in eps 1.697 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in a 1.697 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in a 1.697 * [taylor]: Taking taylor expansion of (exp (* eps b)) in a 1.697 * [taylor]: Taking taylor expansion of (* eps b) in a 1.697 * [taylor]: Taking taylor expansion of eps in a 1.697 * [taylor]: Taking taylor expansion of b in a 1.697 * [taylor]: Taking taylor expansion of 1.0 in a 1.697 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.697 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.697 * [taylor]: Taking taylor expansion of (* a eps) in a 1.697 * [taylor]: Taking taylor expansion of a in a 1.697 * [taylor]: Taking taylor expansion of eps in a 1.697 * [taylor]: Taking taylor expansion of 1.0 in a 1.697 * [taylor]: Taking taylor expansion of (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) in a 1.697 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in a 1.697 * [taylor]: Taking taylor expansion of (exp (* eps b)) in a 1.697 * [taylor]: Taking taylor expansion of (* eps b) in a 1.698 * [taylor]: Taking taylor expansion of eps in a 1.698 * [taylor]: Taking taylor expansion of b in a 1.698 * [taylor]: Taking taylor expansion of 1.0 in a 1.698 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 1.698 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 1.698 * [taylor]: Taking taylor expansion of (* a eps) in a 1.698 * [taylor]: Taking taylor expansion of a in a 1.698 * [taylor]: Taking taylor expansion of eps in a 1.698 * [taylor]: Taking taylor expansion of 1.0 in a 1.699 * [taylor]: Taking taylor expansion of 0 in eps 1.699 * [taylor]: Taking taylor expansion of 0 in b 1.701 * [taylor]: Taking taylor expansion of (- (* eps (exp (* eps b))) (* 1.0 eps)) in eps 1.701 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in eps 1.701 * [taylor]: Taking taylor expansion of eps in eps 1.701 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.701 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.701 * [taylor]: Taking taylor expansion of eps in eps 1.701 * [taylor]: Taking taylor expansion of b in eps 1.702 * [taylor]: Taking taylor expansion of (* 1.0 eps) in eps 1.702 * [taylor]: Taking taylor expansion of 1.0 in eps 1.702 * [taylor]: Taking taylor expansion of eps in eps 1.703 * [taylor]: Taking taylor expansion of 0 in b 1.703 * [taylor]: Taking taylor expansion of 0 in b 1.707 * [taylor]: Taking taylor expansion of (- (* 1/2 (* (pow eps 2) (exp (* eps b)))) (* 0.5 (pow eps 2))) in eps 1.707 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in eps 1.707 * [taylor]: Taking taylor expansion of 1/2 in eps 1.707 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in eps 1.707 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.707 * [taylor]: Taking taylor expansion of eps in eps 1.707 * [taylor]: Taking taylor expansion of (exp (* eps b)) in eps 1.707 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.707 * [taylor]: Taking taylor expansion of eps in eps 1.707 * [taylor]: Taking taylor expansion of b in eps 1.707 * [taylor]: Taking taylor expansion of (* 0.5 (pow eps 2)) in eps 1.707 * [taylor]: Taking taylor expansion of 0.5 in eps 1.707 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 1.707 * [taylor]: Taking taylor expansion of eps in eps 1.709 * [taylor]: Taking taylor expansion of 0 in b 1.709 * [taylor]: Taking taylor expansion of 0 in b 1.710 * [approximate]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in (a eps b) around 0 1.710 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.710 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.710 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.710 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.710 * [taylor]: Taking taylor expansion of (* eps b) in b 1.710 * [taylor]: Taking taylor expansion of eps in b 1.710 * [taylor]: Taking taylor expansion of b in b 1.710 * [taylor]: Taking taylor expansion of 1.0 in b 1.710 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.710 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.710 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.710 * [taylor]: Taking taylor expansion of (* a eps) in b 1.710 * [taylor]: Taking taylor expansion of a in b 1.710 * [taylor]: Taking taylor expansion of eps in b 1.710 * [taylor]: Taking taylor expansion of 1.0 in b 1.710 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps 1.710 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.710 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.710 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.710 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.710 * [taylor]: Taking taylor expansion of eps in eps 1.710 * [taylor]: Taking taylor expansion of b in eps 1.711 * [taylor]: Taking taylor expansion of 1.0 in eps 1.711 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.711 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.711 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.711 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.711 * [taylor]: Taking taylor expansion of a in eps 1.711 * [taylor]: Taking taylor expansion of eps in eps 1.711 * [taylor]: Taking taylor expansion of 1.0 in eps 1.711 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.711 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.711 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.711 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.711 * [taylor]: Taking taylor expansion of (* eps b) in a 1.711 * [taylor]: Taking taylor expansion of eps in a 1.711 * [taylor]: Taking taylor expansion of b in a 1.712 * [taylor]: Taking taylor expansion of 1.0 in a 1.712 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.712 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.712 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.712 * [taylor]: Taking taylor expansion of (* a eps) in a 1.712 * [taylor]: Taking taylor expansion of a in a 1.712 * [taylor]: Taking taylor expansion of eps in a 1.712 * [taylor]: Taking taylor expansion of 1.0 in a 1.712 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.712 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.712 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.712 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.712 * [taylor]: Taking taylor expansion of (* eps b) in a 1.712 * [taylor]: Taking taylor expansion of eps in a 1.712 * [taylor]: Taking taylor expansion of b in a 1.712 * [taylor]: Taking taylor expansion of 1.0 in a 1.712 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.712 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.712 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.712 * [taylor]: Taking taylor expansion of (* a eps) in a 1.712 * [taylor]: Taking taylor expansion of a in a 1.712 * [taylor]: Taking taylor expansion of eps in a 1.713 * [taylor]: Taking taylor expansion of 1.0 in a 1.714 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* a eps))) 1.0) (- (exp (/ 1 (* eps b))) 1.0)) in eps 1.714 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.714 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.714 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.714 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.714 * [taylor]: Taking taylor expansion of a in eps 1.714 * [taylor]: Taking taylor expansion of eps in eps 1.715 * [taylor]: Taking taylor expansion of 1.0 in eps 1.715 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.715 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.715 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.715 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.715 * [taylor]: Taking taylor expansion of eps in eps 1.715 * [taylor]: Taking taylor expansion of b in eps 1.715 * [taylor]: Taking taylor expansion of 1.0 in eps 1.716 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.716 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.716 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.716 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.716 * [taylor]: Taking taylor expansion of (* eps b) in b 1.716 * [taylor]: Taking taylor expansion of eps in b 1.717 * [taylor]: Taking taylor expansion of b in b 1.717 * [taylor]: Taking taylor expansion of 1.0 in b 1.717 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.717 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.717 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.717 * [taylor]: Taking taylor expansion of (* a eps) in b 1.717 * [taylor]: Taking taylor expansion of a in b 1.717 * [taylor]: Taking taylor expansion of eps in b 1.717 * [taylor]: Taking taylor expansion of 1.0 in b 1.720 * [taylor]: Taking taylor expansion of 0 in eps 1.720 * [taylor]: Taking taylor expansion of 0 in b 1.721 * [taylor]: Taking taylor expansion of 0 in b 1.725 * [taylor]: Taking taylor expansion of 0 in eps 1.726 * [taylor]: Taking taylor expansion of 0 in b 1.726 * [taylor]: Taking taylor expansion of 0 in b 1.727 * [taylor]: Taking taylor expansion of 0 in b 1.727 * [approximate]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in (a eps b) around 0 1.727 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.727 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.728 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.728 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.728 * [taylor]: Taking taylor expansion of (* eps b) in b 1.728 * [taylor]: Taking taylor expansion of eps in b 1.728 * [taylor]: Taking taylor expansion of b in b 1.728 * [taylor]: Taking taylor expansion of 1.0 in b 1.728 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.728 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.728 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.728 * [taylor]: Taking taylor expansion of (* a eps) in b 1.728 * [taylor]: Taking taylor expansion of a in b 1.728 * [taylor]: Taking taylor expansion of eps in b 1.728 * [taylor]: Taking taylor expansion of 1.0 in b 1.728 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in eps 1.728 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.728 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.728 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.728 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.728 * [taylor]: Taking taylor expansion of eps in eps 1.728 * [taylor]: Taking taylor expansion of b in eps 1.729 * [taylor]: Taking taylor expansion of 1.0 in eps 1.729 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.729 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.729 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.729 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.729 * [taylor]: Taking taylor expansion of a in eps 1.729 * [taylor]: Taking taylor expansion of eps in eps 1.729 * [taylor]: Taking taylor expansion of 1.0 in eps 1.729 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.729 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.729 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.729 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.729 * [taylor]: Taking taylor expansion of (* eps b) in a 1.729 * [taylor]: Taking taylor expansion of eps in a 1.729 * [taylor]: Taking taylor expansion of b in a 1.729 * [taylor]: Taking taylor expansion of 1.0 in a 1.729 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.729 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.729 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.730 * [taylor]: Taking taylor expansion of (* a eps) in a 1.730 * [taylor]: Taking taylor expansion of a in a 1.730 * [taylor]: Taking taylor expansion of eps in a 1.730 * [taylor]: Taking taylor expansion of 1.0 in a 1.730 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in a 1.730 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in a 1.730 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in a 1.730 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in a 1.730 * [taylor]: Taking taylor expansion of (* eps b) in a 1.730 * [taylor]: Taking taylor expansion of eps in a 1.730 * [taylor]: Taking taylor expansion of b in a 1.730 * [taylor]: Taking taylor expansion of 1.0 in a 1.730 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 1.730 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 1.730 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 1.730 * [taylor]: Taking taylor expansion of (* a eps) in a 1.730 * [taylor]: Taking taylor expansion of a in a 1.730 * [taylor]: Taking taylor expansion of eps in a 1.731 * [taylor]: Taking taylor expansion of 1.0 in a 1.732 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* a eps))) 1.0) (- (exp (/ 1 (* eps b))) 1.0)) in eps 1.732 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 1.732 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 1.732 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 1.732 * [taylor]: Taking taylor expansion of (* a eps) in eps 1.732 * [taylor]: Taking taylor expansion of a in eps 1.732 * [taylor]: Taking taylor expansion of eps in eps 1.733 * [taylor]: Taking taylor expansion of 1.0 in eps 1.733 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in eps 1.733 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in eps 1.733 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in eps 1.733 * [taylor]: Taking taylor expansion of (* eps b) in eps 1.733 * [taylor]: Taking taylor expansion of eps in eps 1.733 * [taylor]: Taking taylor expansion of b in eps 1.733 * [taylor]: Taking taylor expansion of 1.0 in eps 1.734 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 (* eps b))) 1.0) (- (exp (/ 1 (* a eps))) 1.0)) in b 1.734 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* eps b))) 1.0) in b 1.734 * [taylor]: Taking taylor expansion of (exp (/ 1 (* eps b))) in b 1.734 * [taylor]: Taking taylor expansion of (/ 1 (* eps b)) in b 1.734 * [taylor]: Taking taylor expansion of (* eps b) in b 1.734 * [taylor]: Taking taylor expansion of eps in b 1.734 * [taylor]: Taking taylor expansion of b in b 1.735 * [taylor]: Taking taylor expansion of 1.0 in b 1.735 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in b 1.735 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in b 1.735 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in b 1.735 * [taylor]: Taking taylor expansion of (* a eps) in b 1.735 * [taylor]: Taking taylor expansion of a in b 1.735 * [taylor]: Taking taylor expansion of eps in b 1.735 * [taylor]: Taking taylor expansion of 1.0 in b 1.738 * [taylor]: Taking taylor expansion of 0 in eps 1.738 * [taylor]: Taking taylor expansion of 0 in b 1.739 * [taylor]: Taking taylor expansion of 0 in b 1.743 * [taylor]: Taking taylor expansion of 0 in eps 1.744 * [taylor]: Taking taylor expansion of 0 in b 1.744 * [taylor]: Taking taylor expansion of 0 in b 1.745 * [taylor]: Taking taylor expansion of 0 in b 1.745 * * * [progress]: simplifying candidates 1.746 * [simplify]: Simplifying using # : (/ (exp (exp (* (+ a b) eps))) (exp 1.0)) (log (- (exp (* (+ a b) eps)) 1.0)) (exp (- (exp (* (+ a b) eps)) 1.0)) (* (cbrt (- (exp (* (+ a b) eps)) 1.0)) (cbrt (- (exp (* (+ a b) eps)) 1.0))) (cbrt (- (exp (* (+ a b) eps)) 1.0)) (* (* (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0)) (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (- (pow (exp (* (+ a b) eps)) 3) (pow 1.0 3)) (+ (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (+ (* 1.0 1.0) (* (exp (* (+ a b) eps)) 1.0))) (- 1.0) (- (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (* 1.0 1.0)) (+ (exp (* (+ a b) eps)) 1.0) (+ (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (exp (* (+ a b) eps)) 1.0) (- 1.0) (/ (exp (exp (* b eps))) (exp 1.0)) (log (- (exp (* b eps)) 1.0)) (exp (- (exp (* b eps)) 1.0)) (* (cbrt (- (exp (* b eps)) 1.0)) (cbrt (- (exp (* b eps)) 1.0))) (cbrt (- (exp (* b eps)) 1.0)) (* (* (- (exp (* b eps)) 1.0) (- (exp (* b eps)) 1.0)) (- (exp (* b eps)) 1.0)) (sqrt (- (exp (* b eps)) 1.0)) (sqrt (- (exp (* b eps)) 1.0)) (- (pow (exp (* b eps)) 3) (pow 1.0 3)) (+ (* (exp (* b eps)) (exp (* b eps))) (+ (* 1.0 1.0) (* (exp (* b eps)) 1.0))) (- 1.0) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0)) (+ (exp (* b eps)) 1.0) (+ (sqrt (exp (* b eps))) (sqrt 1.0)) (- (sqrt (exp (* b eps))) (sqrt 1.0)) (- (exp (* b eps)) 1.0) (- 1.0) (/ (exp (exp (* a eps))) (exp 1.0)) (log (- (exp (* a eps)) 1.0)) (exp (- (exp (* a eps)) 1.0)) (* (cbrt (- (exp (* a eps)) 1.0)) (cbrt (- (exp (* a eps)) 1.0))) (cbrt (- (exp (* a eps)) 1.0)) (* (* (- (exp (* a eps)) 1.0) (- (exp (* a eps)) 1.0)) (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* a eps)) 1.0)) (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (+ (* (exp (* a eps)) (exp (* a eps))) (+ (* 1.0 1.0) (* (exp (* a eps)) 1.0))) (- 1.0) (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (+ (exp (* a eps)) 1.0) (+ (sqrt (exp (* a eps))) (sqrt 1.0)) (- (sqrt (exp (* a eps))) (sqrt 1.0)) (- (exp (* a eps)) 1.0) (- 1.0) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (+ (log (- (exp (* a eps)) 1.0)) (log (- (exp (* b eps)) 1.0))) (log (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (exp (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (* (* (* (- (exp (* a eps)) 1.0) (- (exp (* a eps)) 1.0)) (- (exp (* a eps)) 1.0)) (* (* (- (exp (* b eps)) 1.0) (- (exp (* b eps)) 1.0)) (- (exp (* b eps)) 1.0))) (* (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))) (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (* (* (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (sqrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (sqrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (pow (exp (* b eps)) 3) (pow 1.0 3))) (* (+ (* (exp (* a eps)) (exp (* a eps))) (+ (* 1.0 1.0) (* (exp (* a eps)) 1.0))) (+ (* (exp (* b eps)) (exp (* b eps))) (+ (* 1.0 1.0) (* (exp (* b eps)) 1.0)))) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0))) (* (+ (* (exp (* a eps)) (exp (* a eps))) (+ (* 1.0 1.0) (* (exp (* a eps)) 1.0))) (+ (exp (* b eps)) 1.0)) (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (pow (exp (* b eps)) 3) (pow 1.0 3))) (* (+ (exp (* a eps)) 1.0) (+ (* (exp (* b eps)) (exp (* b eps))) (+ (* 1.0 1.0) (* (exp (* b eps)) 1.0)))) (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0))) (* (+ (exp (* a eps)) 1.0) (+ (exp (* b eps)) 1.0)) (* (sqrt (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* b eps)) 1.0))) (* (sqrt (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* b eps)) 1.0))) (* (- (exp (* a eps)) 1.0) (exp (* b eps))) (* (- (exp (* a eps)) 1.0) (- 1.0)) (* (- (exp (* a eps)) 1.0) (exp (* b eps))) (* (- (exp (* a eps)) 1.0) (- 1.0)) (* (exp (* b eps)) (- (exp (* a eps)) 1.0)) (* (- 1.0) (- (exp (* a eps)) 1.0)) (* (exp (* b eps)) (- (exp (* a eps)) 1.0)) (* (- 1.0) (- (exp (* a eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (* (cbrt (- (exp (* b eps)) 1.0)) (cbrt (- (exp (* b eps)) 1.0)))) (* (- (exp (* a eps)) 1.0) (sqrt (- (exp (* b eps)) 1.0))) (* (- (exp (* a eps)) 1.0) 1) (* (- (exp (* a eps)) 1.0) (+ (sqrt (exp (* b eps))) (sqrt 1.0))) (* (- (exp (* a eps)) 1.0) 1) (* (cbrt (- (exp (* a eps)) 1.0)) (- (exp (* b eps)) 1.0)) (* (sqrt (- (exp (* a eps)) 1.0)) (- (exp (* b eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (* (- (sqrt (exp (* a eps))) (sqrt 1.0)) (- (exp (* b eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (pow (exp (* b eps)) 3) (pow 1.0 3))) (* (- (exp (* a eps)) 1.0) (- (* (exp (* b eps)) (exp (* b eps))) (* 1.0 1.0))) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (exp (* b eps)) 1.0)) (* (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (- (exp (* b eps)) 1.0)) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b))) (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (+ (* 1/2 (* (pow eps 2) (pow b 2))) (* eps b))) (- (exp (* eps b)) 1.0) (- (exp (* eps b)) 1.0) (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* a eps)) 1.0) (- (exp (* a eps)) 1.0) 0 (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) 1.751 * * [simplify]: iteration 0 : 143 enodes (cost 1364 ) 1.782 * * [simplify]: iteration 1 : 345 enodes (cost 1326 ) 1.866 * * [simplify]: iteration 2 : 1271 enodes (cost 1196 ) 2.286 * * [simplify]: iteration done : 5000 enodes (cost 1190 ) 2.287 * [simplify]: Simplified to: (exp (- (exp (* (+ a b) eps)) 1.0)) (log (- (exp (* (+ a b) eps)) 1.0)) (exp (- (exp (* (+ a b) eps)) 1.0)) (* (cbrt (- (exp (* (+ a b) eps)) 1.0)) (cbrt (- (exp (* (+ a b) eps)) 1.0))) (cbrt (- (exp (* (+ a b) eps)) 1.0)) (pow (- (exp (* (+ a b) eps)) 1.0) 3) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (- (pow (exp (* (+ a b) eps)) 3) (pow 1.0 3)) (+ (exp (* 2 (* (+ a b) eps))) (* 1.0 (+ (exp (* (+ a b) eps)) 1.0))) (- 1.0) (- (exp (* 2 (* (+ a b) eps))) (* 1.0 1.0)) (+ (exp (* (+ a b) eps)) 1.0) (+ (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (exp (* (+ a b) eps)) 1.0) (- 1.0) (exp (- (exp (* eps b)) 1.0)) (log (- (exp (* b eps)) 1.0)) (exp (- (exp (* eps b)) 1.0)) (* (cbrt (- (exp (* b eps)) 1.0)) (cbrt (- (exp (* b eps)) 1.0))) (cbrt (- (exp (* b eps)) 1.0)) (pow (- (exp (* eps b)) 1.0) 3) (sqrt (- (exp (* b eps)) 1.0)) (sqrt (- (exp (* b eps)) 1.0)) (- (pow (exp (* b eps)) 3) (pow 1.0 3)) (+ (exp (* 2 (* eps b))) (* 1.0 (+ (exp (* b eps)) 1.0))) (- 1.0) (- (exp (* 2 (* eps b))) (* 1.0 1.0)) (+ (exp (* b eps)) 1.0) (+ (sqrt (exp (* b eps))) (sqrt 1.0)) (- (sqrt (exp (* b eps))) (sqrt 1.0)) (- (exp (* eps b)) 1.0) (- 1.0) (exp (- (exp (* a eps)) 1.0)) (log (- (exp (* a eps)) 1.0)) (exp (- (exp (* a eps)) 1.0)) (* (cbrt (- (exp (* a eps)) 1.0)) (cbrt (- (exp (* a eps)) 1.0))) (cbrt (- (exp (* a eps)) 1.0)) (pow (- (exp (* a eps)) 1.0) 3) (sqrt (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* a eps)) 1.0)) (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (+ (exp (* 2 (* a eps))) (* (+ (exp (* a eps)) 1.0) 1.0)) (- 1.0) (- (exp (* 2 (* a eps))) (* 1.0 1.0)) (+ (exp (* a eps)) 1.0) (+ (sqrt (exp (* a eps))) (sqrt 1.0)) (- (sqrt (exp (* a eps))) (sqrt 1.0)) (- (exp (* a eps)) 1.0) (- 1.0) (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) (log (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (log (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (exp (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (pow (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) 3) (* (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0)))) (cbrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (pow (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) 3) (sqrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (sqrt (* (- (exp (* a eps)) 1.0) (- (exp (* b eps)) 1.0))) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (pow (exp (* b eps)) 3) (pow 1.0 3))) (* (+ (exp (* 2 (* a eps))) (* (+ (exp (* a eps)) 1.0) 1.0)) (+ (exp (* 2 (* eps b))) (* 1.0 (+ (exp (* b eps)) 1.0)))) (* (- (exp (* 2 (* eps b))) (* 1.0 1.0)) (- (pow (exp (* a eps)) 3) (pow 1.0 3))) (* (+ (exp (* 2 (* a eps))) (* (+ (exp (* a eps)) 1.0) 1.0)) (+ (exp (* b eps)) 1.0)) (* (- (exp (* 2 (* a eps))) (* 1.0 1.0)) (- (pow (exp (* b eps)) 3) (pow 1.0 3))) (* (+ (exp (* a eps)) 1.0) (+ (exp (* 2 (* eps b))) (* 1.0 (+ (exp (* b eps)) 1.0)))) (* (- (exp (* 2 (* eps b))) (* 1.0 1.0)) (- (exp (* 2 (* a eps))) (* 1.0 1.0))) (* (+ (exp (* a eps)) 1.0) (+ (exp (* b eps)) 1.0)) (* (sqrt (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* b eps)) 1.0))) (* (sqrt (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* b eps)) 1.0))) (* (exp (* b eps)) (- (exp (* a eps)) 1.0)) (* (- 1.0) (- (exp (* a eps)) 1.0)) (* (exp (* b eps)) (- (exp (* a eps)) 1.0)) (* (- 1.0) (- (exp (* a eps)) 1.0)) (* (exp (* b eps)) (- (exp (* a eps)) 1.0)) (* (- 1.0) (- (exp (* a eps)) 1.0)) (* (exp (* b eps)) (- (exp (* a eps)) 1.0)) (* (- 1.0) (- (exp (* a eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (* (cbrt (- (exp (* b eps)) 1.0)) (cbrt (- (exp (* b eps)) 1.0)))) (* (- (exp (* a eps)) 1.0) (sqrt (- (exp (* b eps)) 1.0))) (- (exp (* a eps)) 1.0) (* (- (exp (* a eps)) 1.0) (+ (sqrt (exp (* b eps))) (sqrt 1.0))) (- (exp (* a eps)) 1.0) (* (cbrt (- (exp (* a eps)) 1.0)) (- (exp (* b eps)) 1.0)) (* (sqrt (- (exp (* a eps)) 1.0)) (- (exp (* b eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) (* (- (sqrt (exp (* a eps))) (sqrt 1.0)) (- (exp (* b eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) (* (- (exp (* a eps)) 1.0) (- (pow (exp (* b eps)) 3) (pow 1.0 3))) (* (- (exp (* 2 (* eps b))) (* 1.0 1.0)) (- (exp (* a eps)) 1.0)) (* (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (- (exp (* b eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* 2 (* a eps))) (* 1.0 1.0))) (* eps (+ (* (* 1/2 (pow a 2)) eps) (+ a b))) (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0) (+ (* eps b) (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (- (exp (* eps b)) 1.0) (- (exp (* eps b)) 1.0) (+ (* eps (+ a (* (* 1/2 (pow a 2)) eps))) (* 1/6 (* (pow a 3) (pow eps 3)))) (- (exp (* a eps)) 1.0) (- (exp (* a eps)) 1.0) 0 (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) (* (- (exp (* eps b)) 1.0) (- (exp (* a eps)) 1.0)) 2.288 * * * [progress]: adding candidates to table 2.609 * * [progress]: iteration 2 / 4 2.609 * * * [progress]: picking best candidate 2.625 * * * * [pick]: Picked # 2.626 * * * [progress]: localizing error 2.651 * * * [progress]: generating rewritten candidates 2.651 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 2.665 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 2.670 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 2) 2.680 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 2.686 * * * [progress]: generating series expansions 2.686 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 2.686 * [approximate]: Taking taylor expansion of (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in (b eps) around 0 2.686 * [taylor]: Taking taylor expansion of (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in eps 2.687 * [taylor]: Taking taylor expansion of (pow b 2) in eps 2.687 * [taylor]: Taking taylor expansion of b in eps 2.687 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in eps 2.687 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 2.687 * [taylor]: Taking taylor expansion of 1/2 in eps 2.687 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.687 * [taylor]: Taking taylor expansion of eps in eps 2.687 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in eps 2.687 * [taylor]: Taking taylor expansion of 1/6 in eps 2.687 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 2.687 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.687 * [taylor]: Taking taylor expansion of eps in eps 2.687 * [taylor]: Taking taylor expansion of b in eps 2.687 * [taylor]: Taking taylor expansion of (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in b 2.687 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.687 * [taylor]: Taking taylor expansion of b in b 2.687 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in b 2.687 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in b 2.687 * [taylor]: Taking taylor expansion of 1/2 in b 2.687 * [taylor]: Taking taylor expansion of (pow eps 2) in b 2.687 * [taylor]: Taking taylor expansion of eps in b 2.687 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in b 2.687 * [taylor]: Taking taylor expansion of 1/6 in b 2.687 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 2.687 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.687 * [taylor]: Taking taylor expansion of eps in b 2.687 * [taylor]: Taking taylor expansion of b in b 2.687 * [taylor]: Taking taylor expansion of (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in b 2.687 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.687 * [taylor]: Taking taylor expansion of b in b 2.687 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in b 2.687 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in b 2.687 * [taylor]: Taking taylor expansion of 1/2 in b 2.687 * [taylor]: Taking taylor expansion of (pow eps 2) in b 2.687 * [taylor]: Taking taylor expansion of eps in b 2.687 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in b 2.687 * [taylor]: Taking taylor expansion of 1/6 in b 2.687 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 2.687 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.687 * [taylor]: Taking taylor expansion of eps in b 2.687 * [taylor]: Taking taylor expansion of b in b 2.691 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 2.691 * [taylor]: Taking taylor expansion of 1/2 in eps 2.691 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.691 * [taylor]: Taking taylor expansion of eps in eps 2.694 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 2.694 * [taylor]: Taking taylor expansion of 1/6 in eps 2.694 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.694 * [taylor]: Taking taylor expansion of eps in eps 2.698 * [taylor]: Taking taylor expansion of 0 in eps 2.705 * [taylor]: Taking taylor expansion of 0 in eps 2.714 * [taylor]: Taking taylor expansion of 0 in eps 2.715 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in (b eps) around 0 2.715 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in eps 2.715 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in eps 2.715 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 2.715 * [taylor]: Taking taylor expansion of 1/2 in eps 2.715 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 2.715 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.715 * [taylor]: Taking taylor expansion of eps in eps 2.715 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in eps 2.715 * [taylor]: Taking taylor expansion of 1/6 in eps 2.715 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in eps 2.715 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 2.716 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.716 * [taylor]: Taking taylor expansion of eps in eps 2.716 * [taylor]: Taking taylor expansion of b in eps 2.716 * [taylor]: Taking taylor expansion of (pow b 2) in eps 2.716 * [taylor]: Taking taylor expansion of b in eps 2.716 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in b 2.716 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 2.716 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 2.716 * [taylor]: Taking taylor expansion of 1/2 in b 2.716 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 2.716 * [taylor]: Taking taylor expansion of (pow eps 2) in b 2.716 * [taylor]: Taking taylor expansion of eps in b 2.717 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 2.717 * [taylor]: Taking taylor expansion of 1/6 in b 2.717 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 2.717 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 2.717 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.717 * [taylor]: Taking taylor expansion of eps in b 2.717 * [taylor]: Taking taylor expansion of b in b 2.717 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.717 * [taylor]: Taking taylor expansion of b in b 2.718 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in b 2.718 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 2.718 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 2.718 * [taylor]: Taking taylor expansion of 1/2 in b 2.718 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 2.718 * [taylor]: Taking taylor expansion of (pow eps 2) in b 2.718 * [taylor]: Taking taylor expansion of eps in b 2.718 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 2.718 * [taylor]: Taking taylor expansion of 1/6 in b 2.718 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 2.718 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 2.718 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.718 * [taylor]: Taking taylor expansion of eps in b 2.718 * [taylor]: Taking taylor expansion of b in b 2.719 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.719 * [taylor]: Taking taylor expansion of b in b 2.720 * [taylor]: Taking taylor expansion of (/ 1/6 (pow eps 3)) in eps 2.720 * [taylor]: Taking taylor expansion of 1/6 in eps 2.720 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.720 * [taylor]: Taking taylor expansion of eps in eps 2.723 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 2.723 * [taylor]: Taking taylor expansion of 1/2 in eps 2.723 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 2.723 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.723 * [taylor]: Taking taylor expansion of eps in eps 2.729 * [taylor]: Taking taylor expansion of 0 in eps 2.737 * [taylor]: Taking taylor expansion of 0 in eps 2.748 * [taylor]: Taking taylor expansion of 0 in eps 2.761 * [taylor]: Taking taylor expansion of 0 in eps 2.762 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in (b eps) around 0 2.762 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in eps 2.762 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in eps 2.762 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 2.762 * [taylor]: Taking taylor expansion of 1/2 in eps 2.762 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 2.762 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.762 * [taylor]: Taking taylor expansion of eps in eps 2.762 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in eps 2.762 * [taylor]: Taking taylor expansion of 1/6 in eps 2.762 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in eps 2.763 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 2.763 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.763 * [taylor]: Taking taylor expansion of eps in eps 2.763 * [taylor]: Taking taylor expansion of b in eps 2.763 * [taylor]: Taking taylor expansion of (pow b 2) in eps 2.763 * [taylor]: Taking taylor expansion of b in eps 2.763 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in b 2.763 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 2.763 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 2.763 * [taylor]: Taking taylor expansion of 1/2 in b 2.763 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 2.763 * [taylor]: Taking taylor expansion of (pow eps 2) in b 2.763 * [taylor]: Taking taylor expansion of eps in b 2.764 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 2.764 * [taylor]: Taking taylor expansion of 1/6 in b 2.764 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 2.764 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 2.764 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.764 * [taylor]: Taking taylor expansion of eps in b 2.764 * [taylor]: Taking taylor expansion of b in b 2.764 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.764 * [taylor]: Taking taylor expansion of b in b 2.765 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in b 2.765 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 2.765 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 2.765 * [taylor]: Taking taylor expansion of 1/2 in b 2.765 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 2.765 * [taylor]: Taking taylor expansion of (pow eps 2) in b 2.765 * [taylor]: Taking taylor expansion of eps in b 2.765 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 2.765 * [taylor]: Taking taylor expansion of 1/6 in b 2.765 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 2.765 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 2.765 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.765 * [taylor]: Taking taylor expansion of eps in b 2.765 * [taylor]: Taking taylor expansion of b in b 2.766 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.766 * [taylor]: Taking taylor expansion of b in b 2.766 * [taylor]: Taking taylor expansion of (/ 1/6 (pow eps 3)) in eps 2.766 * [taylor]: Taking taylor expansion of 1/6 in eps 2.766 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.766 * [taylor]: Taking taylor expansion of eps in eps 2.770 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 2.770 * [taylor]: Taking taylor expansion of 1/2 in eps 2.770 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 2.770 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.770 * [taylor]: Taking taylor expansion of eps in eps 2.780 * [taylor]: Taking taylor expansion of 0 in eps 2.788 * [taylor]: Taking taylor expansion of 0 in eps 2.799 * [taylor]: Taking taylor expansion of 0 in eps 2.812 * [taylor]: Taking taylor expansion of 0 in eps 2.813 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 2.813 * [approximate]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0 2.813 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps 2.813 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps 2.813 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps 2.813 * [taylor]: Taking taylor expansion of (+ a b) in eps 2.813 * [taylor]: Taking taylor expansion of a in eps 2.813 * [taylor]: Taking taylor expansion of b in eps 2.813 * [taylor]: Taking taylor expansion of eps in eps 2.814 * [taylor]: Taking taylor expansion of 1.0 in eps 2.814 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b 2.814 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b 2.814 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b 2.814 * [taylor]: Taking taylor expansion of (+ a b) in b 2.814 * [taylor]: Taking taylor expansion of a in b 2.814 * [taylor]: Taking taylor expansion of b in b 2.814 * [taylor]: Taking taylor expansion of eps in b 2.814 * [taylor]: Taking taylor expansion of 1.0 in b 2.814 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 2.814 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 2.814 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 2.814 * [taylor]: Taking taylor expansion of (+ a b) in a 2.814 * [taylor]: Taking taylor expansion of a in a 2.814 * [taylor]: Taking taylor expansion of b in a 2.814 * [taylor]: Taking taylor expansion of eps in a 2.814 * [taylor]: Taking taylor expansion of 1.0 in a 2.814 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 2.814 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 2.814 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 2.814 * [taylor]: Taking taylor expansion of (+ a b) in a 2.814 * [taylor]: Taking taylor expansion of a in a 2.814 * [taylor]: Taking taylor expansion of b in a 2.814 * [taylor]: Taking taylor expansion of eps in a 2.814 * [taylor]: Taking taylor expansion of 1.0 in a 2.815 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 2.815 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.815 * [taylor]: Taking taylor expansion of (* eps b) in b 2.815 * [taylor]: Taking taylor expansion of eps in b 2.815 * [taylor]: Taking taylor expansion of b in b 2.815 * [taylor]: Taking taylor expansion of 1.0 in b 2.816 * [taylor]: Taking taylor expansion of 0 in eps 2.817 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in b 2.817 * [taylor]: Taking taylor expansion of eps in b 2.817 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.817 * [taylor]: Taking taylor expansion of (* eps b) in b 2.817 * [taylor]: Taking taylor expansion of eps in b 2.817 * [taylor]: Taking taylor expansion of b in b 2.817 * [taylor]: Taking taylor expansion of eps in eps 2.817 * [taylor]: Taking taylor expansion of eps in eps 2.819 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in b 2.819 * [taylor]: Taking taylor expansion of 1/2 in b 2.819 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in b 2.819 * [taylor]: Taking taylor expansion of (pow eps 2) in b 2.819 * [taylor]: Taking taylor expansion of eps in b 2.819 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.819 * [taylor]: Taking taylor expansion of (* eps b) in b 2.819 * [taylor]: Taking taylor expansion of eps in b 2.819 * [taylor]: Taking taylor expansion of b in b 2.820 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 2.820 * [taylor]: Taking taylor expansion of 1/2 in eps 2.820 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.820 * [taylor]: Taking taylor expansion of eps in eps 2.820 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.820 * [taylor]: Taking taylor expansion of eps in eps 2.822 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 2.822 * [taylor]: Taking taylor expansion of 1/2 in eps 2.822 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 2.822 * [taylor]: Taking taylor expansion of eps in eps 2.824 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) (exp (* eps b)))) in b 2.824 * [taylor]: Taking taylor expansion of 1/6 in b 2.824 * [taylor]: Taking taylor expansion of (* (pow eps 3) (exp (* eps b))) in b 2.824 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.824 * [taylor]: Taking taylor expansion of eps in b 2.824 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.824 * [taylor]: Taking taylor expansion of (* eps b) in b 2.824 * [taylor]: Taking taylor expansion of eps in b 2.824 * [taylor]: Taking taylor expansion of b in b 2.825 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 2.825 * [taylor]: Taking taylor expansion of 1/6 in eps 2.825 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.825 * [taylor]: Taking taylor expansion of eps in eps 2.825 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 2.825 * [taylor]: Taking taylor expansion of 1/2 in eps 2.825 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.825 * [taylor]: Taking taylor expansion of eps in eps 2.827 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 2.827 * [taylor]: Taking taylor expansion of 1/2 in eps 2.827 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.827 * [taylor]: Taking taylor expansion of eps in eps 2.828 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 2.829 * [taylor]: Taking taylor expansion of 1/6 in eps 2.829 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.829 * [taylor]: Taking taylor expansion of eps in eps 2.832 * [taylor]: Taking taylor expansion of (* 1/24 (* (pow eps 4) (exp (* eps b)))) in b 2.832 * [taylor]: Taking taylor expansion of 1/24 in b 2.832 * [taylor]: Taking taylor expansion of (* (pow eps 4) (exp (* eps b))) in b 2.832 * [taylor]: Taking taylor expansion of (pow eps 4) in b 2.832 * [taylor]: Taking taylor expansion of eps in b 2.832 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 2.832 * [taylor]: Taking taylor expansion of (* eps b) in b 2.832 * [taylor]: Taking taylor expansion of eps in b 2.832 * [taylor]: Taking taylor expansion of b in b 2.833 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 2.833 * [taylor]: Taking taylor expansion of 1/24 in eps 2.833 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.833 * [taylor]: Taking taylor expansion of eps in eps 2.833 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 2.833 * [taylor]: Taking taylor expansion of 1/6 in eps 2.833 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.833 * [taylor]: Taking taylor expansion of eps in eps 2.835 * [taylor]: Taking taylor expansion of (* 1/4 (pow eps 4)) in eps 2.835 * [taylor]: Taking taylor expansion of 1/4 in eps 2.835 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.835 * [taylor]: Taking taylor expansion of eps in eps 2.837 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 2.837 * [taylor]: Taking taylor expansion of 1/6 in eps 2.837 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.837 * [taylor]: Taking taylor expansion of eps in eps 2.840 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 2.840 * [taylor]: Taking taylor expansion of 1/24 in eps 2.840 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 2.840 * [taylor]: Taking taylor expansion of eps in eps 2.841 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 2.841 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.841 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.841 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.841 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.841 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.841 * [taylor]: Taking taylor expansion of b in eps 2.841 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.841 * [taylor]: Taking taylor expansion of a in eps 2.841 * [taylor]: Taking taylor expansion of eps in eps 2.841 * [taylor]: Taking taylor expansion of 1.0 in eps 2.841 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.841 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.841 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.841 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.841 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.841 * [taylor]: Taking taylor expansion of b in b 2.842 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.842 * [taylor]: Taking taylor expansion of a in b 2.842 * [taylor]: Taking taylor expansion of eps in b 2.842 * [taylor]: Taking taylor expansion of 1.0 in b 2.842 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.842 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.842 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.842 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.842 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.842 * [taylor]: Taking taylor expansion of b in a 2.842 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.842 * [taylor]: Taking taylor expansion of a in a 2.843 * [taylor]: Taking taylor expansion of eps in a 2.843 * [taylor]: Taking taylor expansion of 1.0 in a 2.843 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.843 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.843 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.843 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.843 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.843 * [taylor]: Taking taylor expansion of b in a 2.843 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.843 * [taylor]: Taking taylor expansion of a in a 2.843 * [taylor]: Taking taylor expansion of eps in a 2.844 * [taylor]: Taking taylor expansion of 1.0 in a 2.844 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.844 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.844 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.844 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.844 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.845 * [taylor]: Taking taylor expansion of b in b 2.845 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.845 * [taylor]: Taking taylor expansion of a in b 2.845 * [taylor]: Taking taylor expansion of eps in b 2.845 * [taylor]: Taking taylor expansion of 1.0 in b 2.846 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.846 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.846 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.846 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.846 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.846 * [taylor]: Taking taylor expansion of b in eps 2.846 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.846 * [taylor]: Taking taylor expansion of a in eps 2.846 * [taylor]: Taking taylor expansion of eps in eps 2.846 * [taylor]: Taking taylor expansion of 1.0 in eps 2.847 * [taylor]: Taking taylor expansion of 0 in b 2.847 * [taylor]: Taking taylor expansion of 0 in eps 2.848 * [taylor]: Taking taylor expansion of 0 in eps 2.849 * [taylor]: Taking taylor expansion of 0 in b 2.849 * [taylor]: Taking taylor expansion of 0 in eps 2.849 * [taylor]: Taking taylor expansion of 0 in eps 2.849 * [taylor]: Taking taylor expansion of 0 in eps 2.850 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 2.850 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.850 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.850 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.850 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.850 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.850 * [taylor]: Taking taylor expansion of b in eps 2.850 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.850 * [taylor]: Taking taylor expansion of a in eps 2.850 * [taylor]: Taking taylor expansion of eps in eps 2.850 * [taylor]: Taking taylor expansion of 1.0 in eps 2.850 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.850 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.850 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.850 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.850 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.850 * [taylor]: Taking taylor expansion of b in b 2.850 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.851 * [taylor]: Taking taylor expansion of a in b 2.851 * [taylor]: Taking taylor expansion of eps in b 2.851 * [taylor]: Taking taylor expansion of 1.0 in b 2.851 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.851 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.851 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.851 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.851 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.851 * [taylor]: Taking taylor expansion of b in a 2.851 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.851 * [taylor]: Taking taylor expansion of a in a 2.851 * [taylor]: Taking taylor expansion of eps in a 2.852 * [taylor]: Taking taylor expansion of 1.0 in a 2.852 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 2.852 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 2.852 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 2.852 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 2.852 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.852 * [taylor]: Taking taylor expansion of b in a 2.852 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.852 * [taylor]: Taking taylor expansion of a in a 2.852 * [taylor]: Taking taylor expansion of eps in a 2.853 * [taylor]: Taking taylor expansion of 1.0 in a 2.853 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 2.853 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 2.853 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 2.853 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 2.853 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.853 * [taylor]: Taking taylor expansion of b in b 2.854 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.854 * [taylor]: Taking taylor expansion of a in b 2.854 * [taylor]: Taking taylor expansion of eps in b 2.854 * [taylor]: Taking taylor expansion of 1.0 in b 2.855 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 2.855 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 2.855 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 2.855 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 2.855 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 2.855 * [taylor]: Taking taylor expansion of b in eps 2.855 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 2.855 * [taylor]: Taking taylor expansion of a in eps 2.855 * [taylor]: Taking taylor expansion of eps in eps 2.855 * [taylor]: Taking taylor expansion of 1.0 in eps 2.856 * [taylor]: Taking taylor expansion of 0 in b 2.856 * [taylor]: Taking taylor expansion of 0 in eps 2.857 * [taylor]: Taking taylor expansion of 0 in eps 2.858 * [taylor]: Taking taylor expansion of 0 in b 2.858 * [taylor]: Taking taylor expansion of 0 in eps 2.858 * [taylor]: Taking taylor expansion of 0 in eps 2.858 * [taylor]: Taking taylor expansion of 0 in eps 2.858 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2 2) 2.859 * [approximate]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in (eps b) around 0 2.859 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in b 2.859 * [taylor]: Taking taylor expansion of 1/6 in b 2.859 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 2.859 * [taylor]: Taking taylor expansion of (pow eps 3) in b 2.859 * [taylor]: Taking taylor expansion of eps in b 2.859 * [taylor]: Taking taylor expansion of b in b 2.859 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in eps 2.859 * [taylor]: Taking taylor expansion of 1/6 in eps 2.859 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 2.859 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.859 * [taylor]: Taking taylor expansion of eps in eps 2.859 * [taylor]: Taking taylor expansion of b in eps 2.859 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in eps 2.859 * [taylor]: Taking taylor expansion of 1/6 in eps 2.859 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 2.859 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 2.859 * [taylor]: Taking taylor expansion of eps in eps 2.859 * [taylor]: Taking taylor expansion of b in eps 2.859 * [taylor]: Taking taylor expansion of (* 1/6 b) in b 2.860 * [taylor]: Taking taylor expansion of 1/6 in b 2.860 * [taylor]: Taking taylor expansion of b in b 2.861 * [taylor]: Taking taylor expansion of 0 in b 2.864 * [taylor]: Taking taylor expansion of 0 in b 3.055 * [taylor]: Taking taylor expansion of 0 in b 3.055 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in (eps b) around 0 3.055 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in b 3.055 * [taylor]: Taking taylor expansion of 1/6 in b 3.055 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 3.055 * [taylor]: Taking taylor expansion of (pow eps 3) in b 3.055 * [taylor]: Taking taylor expansion of eps in b 3.055 * [taylor]: Taking taylor expansion of b in b 3.056 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in eps 3.056 * [taylor]: Taking taylor expansion of 1/6 in eps 3.056 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 3.056 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 3.056 * [taylor]: Taking taylor expansion of eps in eps 3.056 * [taylor]: Taking taylor expansion of b in eps 3.056 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in eps 3.057 * [taylor]: Taking taylor expansion of 1/6 in eps 3.057 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 3.057 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 3.057 * [taylor]: Taking taylor expansion of eps in eps 3.057 * [taylor]: Taking taylor expansion of b in eps 3.057 * [taylor]: Taking taylor expansion of (/ 1/6 b) in b 3.057 * [taylor]: Taking taylor expansion of 1/6 in b 3.057 * [taylor]: Taking taylor expansion of b in b 3.059 * [taylor]: Taking taylor expansion of 0 in b 3.061 * [taylor]: Taking taylor expansion of 0 in b 3.064 * [taylor]: Taking taylor expansion of 0 in b 3.065 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in (eps b) around 0 3.065 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in b 3.065 * [taylor]: Taking taylor expansion of 1/6 in b 3.065 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 3.065 * [taylor]: Taking taylor expansion of (pow eps 3) in b 3.065 * [taylor]: Taking taylor expansion of eps in b 3.065 * [taylor]: Taking taylor expansion of b in b 3.066 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in eps 3.066 * [taylor]: Taking taylor expansion of 1/6 in eps 3.066 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 3.066 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 3.066 * [taylor]: Taking taylor expansion of eps in eps 3.066 * [taylor]: Taking taylor expansion of b in eps 3.067 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in eps 3.067 * [taylor]: Taking taylor expansion of 1/6 in eps 3.067 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 3.067 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 3.067 * [taylor]: Taking taylor expansion of eps in eps 3.067 * [taylor]: Taking taylor expansion of b in eps 3.067 * [taylor]: Taking taylor expansion of (/ 1/6 b) in b 3.067 * [taylor]: Taking taylor expansion of 1/6 in b 3.067 * [taylor]: Taking taylor expansion of b in b 3.069 * [taylor]: Taking taylor expansion of 0 in b 3.071 * [taylor]: Taking taylor expansion of 0 in b 3.073 * [taylor]: Taking taylor expansion of 0 in b 3.074 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 3.074 * [approximate]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in (a eps) around 0 3.074 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in eps 3.074 * [taylor]: Taking taylor expansion of (exp (* a eps)) in eps 3.074 * [taylor]: Taking taylor expansion of (* a eps) in eps 3.074 * [taylor]: Taking taylor expansion of a in eps 3.074 * [taylor]: Taking taylor expansion of eps in eps 3.075 * [taylor]: Taking taylor expansion of 1.0 in eps 3.075 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 3.075 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 3.075 * [taylor]: Taking taylor expansion of (* a eps) in a 3.075 * [taylor]: Taking taylor expansion of a in a 3.075 * [taylor]: Taking taylor expansion of eps in a 3.075 * [taylor]: Taking taylor expansion of 1.0 in a 3.075 * [taylor]: Taking taylor expansion of (- (exp (* a eps)) 1.0) in a 3.075 * [taylor]: Taking taylor expansion of (exp (* a eps)) in a 3.075 * [taylor]: Taking taylor expansion of (* a eps) in a 3.075 * [taylor]: Taking taylor expansion of a in a 3.075 * [taylor]: Taking taylor expansion of eps in a 3.075 * [taylor]: Taking taylor expansion of 1.0 in a 3.076 * [taylor]: Taking taylor expansion of 0 in eps 3.077 * [taylor]: Taking taylor expansion of eps in eps 3.078 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 3.078 * [taylor]: Taking taylor expansion of 1/2 in eps 3.078 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 3.078 * [taylor]: Taking taylor expansion of eps in eps 3.080 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 3.080 * [taylor]: Taking taylor expansion of 1/6 in eps 3.080 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 3.080 * [taylor]: Taking taylor expansion of eps in eps 3.083 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 3.083 * [taylor]: Taking taylor expansion of 1/24 in eps 3.083 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 3.083 * [taylor]: Taking taylor expansion of eps in eps 3.088 * [taylor]: Taking taylor expansion of (* 1/120 (pow eps 5)) in eps 3.088 * [taylor]: Taking taylor expansion of 1/120 in eps 3.088 * [taylor]: Taking taylor expansion of (pow eps 5) in eps 3.088 * [taylor]: Taking taylor expansion of eps in eps 3.095 * [taylor]: Taking taylor expansion of (* 1/720 (pow eps 6)) in eps 3.095 * [taylor]: Taking taylor expansion of 1/720 in eps 3.095 * [taylor]: Taking taylor expansion of (pow eps 6) in eps 3.095 * [taylor]: Taking taylor expansion of eps in eps 3.096 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0 3.096 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 3.096 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 3.096 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 3.096 * [taylor]: Taking taylor expansion of (* a eps) in eps 3.096 * [taylor]: Taking taylor expansion of a in eps 3.096 * [taylor]: Taking taylor expansion of eps in eps 3.097 * [taylor]: Taking taylor expansion of 1.0 in eps 3.097 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 3.097 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 3.097 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 3.097 * [taylor]: Taking taylor expansion of (* a eps) in a 3.097 * [taylor]: Taking taylor expansion of a in a 3.097 * [taylor]: Taking taylor expansion of eps in a 3.097 * [taylor]: Taking taylor expansion of 1.0 in a 3.097 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 3.097 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 3.097 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 3.097 * [taylor]: Taking taylor expansion of (* a eps) in a 3.097 * [taylor]: Taking taylor expansion of a in a 3.097 * [taylor]: Taking taylor expansion of eps in a 3.098 * [taylor]: Taking taylor expansion of 1.0 in a 3.098 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 3.098 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 3.098 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 3.098 * [taylor]: Taking taylor expansion of (* a eps) in eps 3.098 * [taylor]: Taking taylor expansion of a in eps 3.098 * [taylor]: Taking taylor expansion of eps in eps 3.099 * [taylor]: Taking taylor expansion of 1.0 in eps 3.100 * [taylor]: Taking taylor expansion of 0 in eps 3.101 * [taylor]: Taking taylor expansion of 0 in eps 3.102 * [taylor]: Taking taylor expansion of 0 in eps 3.102 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in (a eps) around 0 3.102 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 3.102 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 3.102 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 3.102 * [taylor]: Taking taylor expansion of (* a eps) in eps 3.102 * [taylor]: Taking taylor expansion of a in eps 3.102 * [taylor]: Taking taylor expansion of eps in eps 3.103 * [taylor]: Taking taylor expansion of 1.0 in eps 3.103 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 3.103 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 3.103 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 3.103 * [taylor]: Taking taylor expansion of (* a eps) in a 3.103 * [taylor]: Taking taylor expansion of a in a 3.103 * [taylor]: Taking taylor expansion of eps in a 3.103 * [taylor]: Taking taylor expansion of 1.0 in a 3.103 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in a 3.103 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in a 3.103 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in a 3.103 * [taylor]: Taking taylor expansion of (* a eps) in a 3.103 * [taylor]: Taking taylor expansion of a in a 3.104 * [taylor]: Taking taylor expansion of eps in a 3.104 * [taylor]: Taking taylor expansion of 1.0 in a 3.104 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a eps))) 1.0) in eps 3.104 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a eps))) in eps 3.105 * [taylor]: Taking taylor expansion of (/ 1 (* a eps)) in eps 3.105 * [taylor]: Taking taylor expansion of (* a eps) in eps 3.105 * [taylor]: Taking taylor expansion of a in eps 3.105 * [taylor]: Taking taylor expansion of eps in eps 3.105 * [taylor]: Taking taylor expansion of 1.0 in eps 3.106 * [taylor]: Taking taylor expansion of 0 in eps 3.107 * [taylor]: Taking taylor expansion of 0 in eps 3.108 * [taylor]: Taking taylor expansion of 0 in eps 3.108 * * * [progress]: simplifying candidates 3.110 * [simplify]: Simplifying using # : (+ (* (log b) 2) (log (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (+ (* (log b) 2) (log (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (+ (log (pow b 2)) (log (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (log (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (exp (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (* (* (pow b 2) (pow b 2)) (pow b 2)) (* (* (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (cbrt (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (cbrt (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (cbrt (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (* (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (sqrt (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (sqrt (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (pow (sqrt b) 2) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (pow (sqrt b) 2) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt (pow b 2)) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt (pow b 2)) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (pow b (/ 2 2)) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (pow b (/ 2 2)) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (pow b 2) (* 1/2 (pow eps 2))) (* (pow b 2) (* (* 1/6 (pow eps 3)) b)) (* (* 1/2 (pow eps 2)) (pow b 2)) (* (* (* 1/6 (pow eps 3)) b) (pow b 2)) (* (pow b 2) (* (cbrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (cbrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (pow b 2) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (pow b 2) 1) (* (pow (cbrt b) 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (pow (sqrt b) 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (cbrt (pow b 2)) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (sqrt (pow b 2)) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (pow b (/ 2 2)) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (pow b 2) (+ (pow (* 1/2 (pow eps 2)) 3) (pow (* (* 1/6 (pow eps 3)) b) 3))) (* (pow b 2) (- (* (* 1/2 (pow eps 2)) (* 1/2 (pow eps 2))) (* (* (* 1/6 (pow eps 3)) b) (* (* 1/6 (pow eps 3)) b)))) (/ (exp (exp (* (+ a b) eps))) (exp 1.0)) (log (- (exp (* (+ a b) eps)) 1.0)) (exp (- (exp (* (+ a b) eps)) 1.0)) (* (cbrt (- (exp (* (+ a b) eps)) 1.0)) (cbrt (- (exp (* (+ a b) eps)) 1.0))) (cbrt (- (exp (* (+ a b) eps)) 1.0)) (* (* (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0)) (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (- (pow (exp (* (+ a b) eps)) 3) (pow 1.0 3)) (+ (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (+ (* 1.0 1.0) (* (exp (* (+ a b) eps)) 1.0))) (- 1.0) (- (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (* 1.0 1.0)) (+ (exp (* (+ a b) eps)) 1.0) (+ (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (exp (* (+ a b) eps)) 1.0) (- 1.0) (* (* 1/6 (pow eps 3)) b) (+ (+ (log 1/6) (* (log eps) 3)) (log b)) (+ (+ (log 1/6) (* (log eps) 3)) (log b)) (+ (+ (log 1/6) (log (pow eps 3))) (log b)) (+ (log (* 1/6 (pow eps 3))) (log b)) (log (* (* 1/6 (pow eps 3)) b)) (exp (* (* 1/6 (pow eps 3)) b)) (* (* (* (* 1/6 1/6) 1/6) (* (* (pow eps 3) (pow eps 3)) (pow eps 3))) (* (* b b) b)) (* (* (* (* 1/6 (pow eps 3)) (* 1/6 (pow eps 3))) (* 1/6 (pow eps 3))) (* (* b b) b)) (* (cbrt (* (* 1/6 (pow eps 3)) b)) (cbrt (* (* 1/6 (pow eps 3)) b))) (cbrt (* (* 1/6 (pow eps 3)) b)) (* (* (* (* 1/6 (pow eps 3)) b) (* (* 1/6 (pow eps 3)) b)) (* (* 1/6 (pow eps 3)) b)) (sqrt (* (* 1/6 (pow eps 3)) b)) (sqrt (* (* 1/6 (pow eps 3)) b)) (* (* 1/6 (pow eps 3)) (* (cbrt b) (cbrt b))) (* (* 1/6 (pow eps 3)) (sqrt b)) (* (* 1/6 (pow eps 3)) 1) (* (pow eps 3) b) (/ (exp (exp (* a eps))) (exp 1.0)) (log (- (exp (* a eps)) 1.0)) (exp (- (exp (* a eps)) 1.0)) (* (cbrt (- (exp (* a eps)) 1.0)) (cbrt (- (exp (* a eps)) 1.0))) (cbrt (- (exp (* a eps)) 1.0)) (* (* (- (exp (* a eps)) 1.0) (- (exp (* a eps)) 1.0)) (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* a eps)) 1.0)) (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (+ (* (exp (* a eps)) (exp (* a eps))) (+ (* 1.0 1.0) (* (exp (* a eps)) 1.0))) (- 1.0) (- (* (exp (* a eps)) (exp (* a eps))) (* 1.0 1.0)) (+ (exp (* a eps)) 1.0) (+ (sqrt (exp (* a eps))) (sqrt 1.0)) (- (sqrt (exp (* a eps))) (sqrt 1.0)) (- (exp (* a eps)) 1.0) (- 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (* 1/2 (* (pow eps 2) (pow b 2)))) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (* 1/2 (* (pow eps 2) (pow b 2)))) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (* 1/2 (* (pow eps 2) (pow b 2)))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b))) (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0) (* 1/6 (* (pow eps 3) b)) (* 1/6 (* (pow eps 3) b)) (* 1/6 (* (pow eps 3) b)) (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* a eps)) 1.0) (- (exp (* a eps)) 1.0) 3.114 * * [simplify]: iteration 0 : 173 enodes (cost 1423 ) 3.155 * * [simplify]: iteration 1 : 471 enodes (cost 1336 ) 3.527 * * [simplify]: iteration 2 : 1978 enodes (cost 1195 ) 4.149 * * [simplify]: iteration done : 5000 enodes (cost 1195 ) 4.149 * [simplify]: Simplified to: (log (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (log (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (log (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (log (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (exp (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (pow (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) 3) (* (cbrt (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (cbrt (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (cbrt (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (pow (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) 3) (sqrt (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (sqrt (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (fabs b)) (* (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (fabs b)) (* (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* 1/2 (* (pow eps 2) (pow b 2))) (* 1/6 (* (pow eps 3) (pow b 3))) (* 1/2 (* (pow eps 2) (pow b 2))) (* 1/6 (* (pow eps 3) (pow b 3))) (* (pow b 2) (* (cbrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (cbrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (pow b 2) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b b) (* (pow (cbrt b) 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (cbrt (pow b 2)) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)) (fabs b)) (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (* b b) (+ (* 1/8 (pow eps 6)) (pow (* (* 1/6 (pow eps 3)) b) 3))) (* (- (* 1/4 (pow eps 4)) (* (* 1/36 (pow eps 6)) (* b b))) (* b b)) (exp (- (exp (* (+ a b) eps)) 1.0)) (log (- (exp (* (+ a b) eps)) 1.0)) (exp (- (exp (* (+ a b) eps)) 1.0)) (* (cbrt (- (exp (* (+ a b) eps)) 1.0)) (cbrt (- (exp (* (+ a b) eps)) 1.0))) (cbrt (- (exp (* (+ a b) eps)) 1.0)) (pow (- (exp (* (+ a b) eps)) 1.0) 3) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (- (pow (exp (* (+ a b) eps)) 3) (pow 1.0 3)) (+ (exp (* 2 (* (+ a b) eps))) (* 1.0 (+ (exp (* (+ a b) eps)) 1.0))) (- 1.0) (- (exp (* 2 (* (+ a b) eps))) (* 1.0 1.0)) (+ (exp (* (+ a b) eps)) 1.0) (+ (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (exp (* (+ a b) eps)) 1.0) (- 1.0) (* 1/6 (* (pow eps 3) b)) (log (* (* 1/6 (pow eps 3)) b)) (log (* (* 1/6 (pow eps 3)) b)) (log (* (* 1/6 (pow eps 3)) b)) (log (* (* 1/6 (pow eps 3)) b)) (log (* (* 1/6 (pow eps 3)) b)) (exp (* (* 1/6 (pow eps 3)) b)) (pow (* 1/6 (* (pow eps 3) b)) 3) (pow (* 1/6 (* (pow eps 3) b)) 3) (* (cbrt (* (* 1/6 (pow eps 3)) b)) (cbrt (* (* 1/6 (pow eps 3)) b))) (cbrt (* (* 1/6 (pow eps 3)) b)) (pow (* 1/6 (* (pow eps 3) b)) 3) (sqrt (* (* 1/6 (pow eps 3)) b)) (sqrt (* (* 1/6 (pow eps 3)) b)) (* (pow (cbrt b) 2) (* 1/6 (pow eps 3))) (* (* 1/6 (pow eps 3)) (sqrt b)) (* 1/6 (pow eps 3)) (* (pow eps 3) b) (exp (- (exp (* a eps)) 1.0)) (log (- (exp (* a eps)) 1.0)) (exp (- (exp (* a eps)) 1.0)) (* (cbrt (- (exp (* a eps)) 1.0)) (cbrt (- (exp (* a eps)) 1.0))) (cbrt (- (exp (* a eps)) 1.0)) (pow (- (exp (* a eps)) 1.0) 3) (sqrt (- (exp (* a eps)) 1.0)) (sqrt (- (exp (* a eps)) 1.0)) (- (pow (exp (* a eps)) 3) (pow 1.0 3)) (+ (exp (* 2 (* a eps))) (* 1.0 (+ (exp (* a eps)) 1.0))) (- 1.0) (- (exp (* 2 (* a eps))) (* 1.0 1.0)) (+ (exp (* a eps)) 1.0) (+ (sqrt (exp (* a eps))) (sqrt 1.0)) (- (sqrt (exp (* a eps))) (sqrt 1.0)) (- (exp (* a eps)) 1.0) (- 1.0) (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* (+ a b) eps)) (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0) (* 1/6 (* (pow eps 3) b)) (* 1/6 (* (pow eps 3) b)) (* 1/6 (* (pow eps 3) b)) (+ (* 1/6 (* (pow a 3) (pow eps 3))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (* a eps))) (- (exp (* a eps)) 1.0) (- (exp (* a eps)) 1.0) 4.150 * * * [progress]: adding candidates to table 4.545 * * [progress]: iteration 3 / 4 4.545 * * * [progress]: picking best candidate 4.587 * * * * [pick]: Picked # 4.587 * * * [progress]: localizing error 4.613 * * * [progress]: generating rewritten candidates 4.613 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 4.625 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 4.629 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 4.644 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 2 2) 4.657 * * * [progress]: generating series expansions 4.657 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 4.657 * [approximate]: Taking taylor expansion of (* b (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in (b eps) around 0 4.657 * [taylor]: Taking taylor expansion of (* b (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in eps 4.657 * [taylor]: Taking taylor expansion of b in eps 4.657 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in eps 4.657 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 4.657 * [taylor]: Taking taylor expansion of 1/2 in eps 4.657 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.657 * [taylor]: Taking taylor expansion of eps in eps 4.657 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in eps 4.657 * [taylor]: Taking taylor expansion of 1/6 in eps 4.657 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 4.657 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.657 * [taylor]: Taking taylor expansion of eps in eps 4.657 * [taylor]: Taking taylor expansion of b in eps 4.657 * [taylor]: Taking taylor expansion of (* b (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in b 4.657 * [taylor]: Taking taylor expansion of b in b 4.657 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in b 4.657 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in b 4.657 * [taylor]: Taking taylor expansion of 1/2 in b 4.658 * [taylor]: Taking taylor expansion of (pow eps 2) in b 4.658 * [taylor]: Taking taylor expansion of eps in b 4.658 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in b 4.658 * [taylor]: Taking taylor expansion of 1/6 in b 4.658 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.658 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.658 * [taylor]: Taking taylor expansion of eps in b 4.658 * [taylor]: Taking taylor expansion of b in b 4.658 * [taylor]: Taking taylor expansion of (* b (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in b 4.658 * [taylor]: Taking taylor expansion of b in b 4.658 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in b 4.658 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in b 4.658 * [taylor]: Taking taylor expansion of 1/2 in b 4.658 * [taylor]: Taking taylor expansion of (pow eps 2) in b 4.658 * [taylor]: Taking taylor expansion of eps in b 4.658 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in b 4.658 * [taylor]: Taking taylor expansion of 1/6 in b 4.658 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.658 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.658 * [taylor]: Taking taylor expansion of eps in b 4.658 * [taylor]: Taking taylor expansion of b in b 4.659 * [taylor]: Taking taylor expansion of 0 in eps 4.663 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 4.663 * [taylor]: Taking taylor expansion of 1/2 in eps 4.663 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.663 * [taylor]: Taking taylor expansion of eps in eps 4.667 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 4.667 * [taylor]: Taking taylor expansion of 1/6 in eps 4.667 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.667 * [taylor]: Taking taylor expansion of eps in eps 4.672 * [taylor]: Taking taylor expansion of 0 in eps 4.680 * [taylor]: Taking taylor expansion of 0 in eps 4.683 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in (b eps) around 0 4.683 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in eps 4.683 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in eps 4.683 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 4.683 * [taylor]: Taking taylor expansion of 1/2 in eps 4.683 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 4.683 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.683 * [taylor]: Taking taylor expansion of eps in eps 4.684 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in eps 4.684 * [taylor]: Taking taylor expansion of 1/6 in eps 4.684 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in eps 4.684 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 4.684 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.684 * [taylor]: Taking taylor expansion of eps in eps 4.684 * [taylor]: Taking taylor expansion of b in eps 4.684 * [taylor]: Taking taylor expansion of b in eps 4.684 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in b 4.684 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 4.685 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 4.685 * [taylor]: Taking taylor expansion of 1/2 in b 4.685 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 4.685 * [taylor]: Taking taylor expansion of (pow eps 2) in b 4.685 * [taylor]: Taking taylor expansion of eps in b 4.685 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 4.685 * [taylor]: Taking taylor expansion of 1/6 in b 4.685 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 4.685 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.685 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.685 * [taylor]: Taking taylor expansion of eps in b 4.685 * [taylor]: Taking taylor expansion of b in b 4.685 * [taylor]: Taking taylor expansion of b in b 4.686 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in b 4.686 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 4.686 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 4.686 * [taylor]: Taking taylor expansion of 1/2 in b 4.686 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 4.686 * [taylor]: Taking taylor expansion of (pow eps 2) in b 4.686 * [taylor]: Taking taylor expansion of eps in b 4.686 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 4.686 * [taylor]: Taking taylor expansion of 1/6 in b 4.686 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 4.686 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.686 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.686 * [taylor]: Taking taylor expansion of eps in b 4.686 * [taylor]: Taking taylor expansion of b in b 4.687 * [taylor]: Taking taylor expansion of b in b 4.687 * [taylor]: Taking taylor expansion of (/ 1/6 (pow eps 3)) in eps 4.687 * [taylor]: Taking taylor expansion of 1/6 in eps 4.687 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.687 * [taylor]: Taking taylor expansion of eps in eps 4.690 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 4.690 * [taylor]: Taking taylor expansion of 1/2 in eps 4.690 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 4.690 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.690 * [taylor]: Taking taylor expansion of eps in eps 4.696 * [taylor]: Taking taylor expansion of 0 in eps 4.705 * [taylor]: Taking taylor expansion of 0 in eps 4.715 * [taylor]: Taking taylor expansion of 0 in eps 4.727 * [taylor]: Taking taylor expansion of 0 in eps 4.728 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b)) in (b eps) around 0 4.728 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b)) in eps 4.728 * [taylor]: Taking taylor expansion of -1 in eps 4.728 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in eps 4.728 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in eps 4.728 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 4.728 * [taylor]: Taking taylor expansion of 1/2 in eps 4.728 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 4.728 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.728 * [taylor]: Taking taylor expansion of eps in eps 4.729 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in eps 4.729 * [taylor]: Taking taylor expansion of 1/6 in eps 4.729 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in eps 4.729 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 4.729 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.729 * [taylor]: Taking taylor expansion of eps in eps 4.729 * [taylor]: Taking taylor expansion of b in eps 4.730 * [taylor]: Taking taylor expansion of b in eps 4.730 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b)) in b 4.730 * [taylor]: Taking taylor expansion of -1 in b 4.730 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in b 4.730 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 4.730 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 4.730 * [taylor]: Taking taylor expansion of 1/2 in b 4.730 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 4.730 * [taylor]: Taking taylor expansion of (pow eps 2) in b 4.730 * [taylor]: Taking taylor expansion of eps in b 4.730 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 4.730 * [taylor]: Taking taylor expansion of 1/6 in b 4.730 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 4.730 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.730 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.730 * [taylor]: Taking taylor expansion of eps in b 4.730 * [taylor]: Taking taylor expansion of b in b 4.731 * [taylor]: Taking taylor expansion of b in b 4.731 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b)) in b 4.731 * [taylor]: Taking taylor expansion of -1 in b 4.731 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in b 4.731 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 4.731 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 4.731 * [taylor]: Taking taylor expansion of 1/2 in b 4.731 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 4.731 * [taylor]: Taking taylor expansion of (pow eps 2) in b 4.731 * [taylor]: Taking taylor expansion of eps in b 4.731 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 4.731 * [taylor]: Taking taylor expansion of 1/6 in b 4.731 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 4.731 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.731 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.731 * [taylor]: Taking taylor expansion of eps in b 4.731 * [taylor]: Taking taylor expansion of b in b 4.732 * [taylor]: Taking taylor expansion of b in b 4.732 * [taylor]: Taking taylor expansion of (/ -1/6 (pow eps 3)) in eps 4.732 * [taylor]: Taking taylor expansion of -1/6 in eps 4.732 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.733 * [taylor]: Taking taylor expansion of eps in eps 4.736 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow eps 2)))) in eps 4.736 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 4.736 * [taylor]: Taking taylor expansion of 1/2 in eps 4.736 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 4.736 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.736 * [taylor]: Taking taylor expansion of eps in eps 4.743 * [taylor]: Taking taylor expansion of 0 in eps 4.754 * [taylor]: Taking taylor expansion of 0 in eps 4.766 * [taylor]: Taking taylor expansion of 0 in eps 4.780 * [taylor]: Taking taylor expansion of 0 in eps 4.780 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 4.780 * [approximate]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0 4.780 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps 4.780 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps 4.780 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps 4.780 * [taylor]: Taking taylor expansion of (+ a b) in eps 4.780 * [taylor]: Taking taylor expansion of a in eps 4.780 * [taylor]: Taking taylor expansion of b in eps 4.780 * [taylor]: Taking taylor expansion of eps in eps 4.781 * [taylor]: Taking taylor expansion of 1.0 in eps 4.781 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b 4.781 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b 4.781 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b 4.781 * [taylor]: Taking taylor expansion of (+ a b) in b 4.781 * [taylor]: Taking taylor expansion of a in b 4.781 * [taylor]: Taking taylor expansion of b in b 4.781 * [taylor]: Taking taylor expansion of eps in b 4.781 * [taylor]: Taking taylor expansion of 1.0 in b 4.781 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 4.781 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 4.781 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 4.781 * [taylor]: Taking taylor expansion of (+ a b) in a 4.781 * [taylor]: Taking taylor expansion of a in a 4.781 * [taylor]: Taking taylor expansion of b in a 4.781 * [taylor]: Taking taylor expansion of eps in a 4.781 * [taylor]: Taking taylor expansion of 1.0 in a 4.781 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 4.782 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 4.782 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 4.782 * [taylor]: Taking taylor expansion of (+ a b) in a 4.782 * [taylor]: Taking taylor expansion of a in a 4.782 * [taylor]: Taking taylor expansion of b in a 4.782 * [taylor]: Taking taylor expansion of eps in a 4.782 * [taylor]: Taking taylor expansion of 1.0 in a 4.782 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 4.782 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 4.782 * [taylor]: Taking taylor expansion of (* eps b) in b 4.782 * [taylor]: Taking taylor expansion of eps in b 4.782 * [taylor]: Taking taylor expansion of b in b 4.783 * [taylor]: Taking taylor expansion of 1.0 in b 4.783 * [taylor]: Taking taylor expansion of 0 in eps 4.784 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in b 4.784 * [taylor]: Taking taylor expansion of eps in b 4.784 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 4.784 * [taylor]: Taking taylor expansion of (* eps b) in b 4.784 * [taylor]: Taking taylor expansion of eps in b 4.784 * [taylor]: Taking taylor expansion of b in b 4.785 * [taylor]: Taking taylor expansion of eps in eps 4.785 * [taylor]: Taking taylor expansion of eps in eps 4.787 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in b 4.787 * [taylor]: Taking taylor expansion of 1/2 in b 4.787 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in b 4.787 * [taylor]: Taking taylor expansion of (pow eps 2) in b 4.787 * [taylor]: Taking taylor expansion of eps in b 4.787 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 4.787 * [taylor]: Taking taylor expansion of (* eps b) in b 4.787 * [taylor]: Taking taylor expansion of eps in b 4.787 * [taylor]: Taking taylor expansion of b in b 4.787 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 4.787 * [taylor]: Taking taylor expansion of 1/2 in eps 4.787 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.787 * [taylor]: Taking taylor expansion of eps in eps 4.788 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.788 * [taylor]: Taking taylor expansion of eps in eps 4.789 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 4.789 * [taylor]: Taking taylor expansion of 1/2 in eps 4.790 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.790 * [taylor]: Taking taylor expansion of eps in eps 4.792 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) (exp (* eps b)))) in b 4.792 * [taylor]: Taking taylor expansion of 1/6 in b 4.792 * [taylor]: Taking taylor expansion of (* (pow eps 3) (exp (* eps b))) in b 4.792 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.792 * [taylor]: Taking taylor expansion of eps in b 4.792 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 4.792 * [taylor]: Taking taylor expansion of (* eps b) in b 4.792 * [taylor]: Taking taylor expansion of eps in b 4.792 * [taylor]: Taking taylor expansion of b in b 4.792 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 4.792 * [taylor]: Taking taylor expansion of 1/6 in eps 4.792 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.792 * [taylor]: Taking taylor expansion of eps in eps 4.793 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 4.793 * [taylor]: Taking taylor expansion of 1/2 in eps 4.793 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.793 * [taylor]: Taking taylor expansion of eps in eps 4.794 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 4.794 * [taylor]: Taking taylor expansion of 1/2 in eps 4.794 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.794 * [taylor]: Taking taylor expansion of eps in eps 4.796 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 4.796 * [taylor]: Taking taylor expansion of 1/6 in eps 4.796 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.796 * [taylor]: Taking taylor expansion of eps in eps 4.799 * [taylor]: Taking taylor expansion of (* 1/24 (* (pow eps 4) (exp (* eps b)))) in b 4.799 * [taylor]: Taking taylor expansion of 1/24 in b 4.799 * [taylor]: Taking taylor expansion of (* (pow eps 4) (exp (* eps b))) in b 4.800 * [taylor]: Taking taylor expansion of (pow eps 4) in b 4.800 * [taylor]: Taking taylor expansion of eps in b 4.800 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 4.800 * [taylor]: Taking taylor expansion of (* eps b) in b 4.800 * [taylor]: Taking taylor expansion of eps in b 4.800 * [taylor]: Taking taylor expansion of b in b 4.800 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 4.800 * [taylor]: Taking taylor expansion of 1/24 in eps 4.800 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 4.800 * [taylor]: Taking taylor expansion of eps in eps 4.801 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 4.801 * [taylor]: Taking taylor expansion of 1/6 in eps 4.801 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 4.801 * [taylor]: Taking taylor expansion of eps in eps 4.803 * [taylor]: Taking taylor expansion of (* 1/4 (pow eps 4)) in eps 4.803 * [taylor]: Taking taylor expansion of 1/4 in eps 4.803 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 4.803 * [taylor]: Taking taylor expansion of eps in eps 4.805 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 4.805 * [taylor]: Taking taylor expansion of 1/6 in eps 4.805 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 4.805 * [taylor]: Taking taylor expansion of eps in eps 4.808 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 4.808 * [taylor]: Taking taylor expansion of 1/24 in eps 4.808 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 4.808 * [taylor]: Taking taylor expansion of eps in eps 4.809 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 4.809 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 4.809 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 4.809 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 4.809 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 4.809 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 4.809 * [taylor]: Taking taylor expansion of b in eps 4.809 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 4.809 * [taylor]: Taking taylor expansion of a in eps 4.809 * [taylor]: Taking taylor expansion of eps in eps 4.809 * [taylor]: Taking taylor expansion of 1.0 in eps 4.809 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 4.809 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 4.809 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 4.809 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 4.809 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.809 * [taylor]: Taking taylor expansion of b in b 4.809 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.810 * [taylor]: Taking taylor expansion of a in b 4.810 * [taylor]: Taking taylor expansion of eps in b 4.810 * [taylor]: Taking taylor expansion of 1.0 in b 4.810 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 4.810 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 4.810 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 4.810 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 4.810 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.810 * [taylor]: Taking taylor expansion of b in a 4.810 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.810 * [taylor]: Taking taylor expansion of a in a 4.810 * [taylor]: Taking taylor expansion of eps in a 4.811 * [taylor]: Taking taylor expansion of 1.0 in a 4.811 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 4.811 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 4.811 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 4.811 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 4.811 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.811 * [taylor]: Taking taylor expansion of b in a 4.811 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.811 * [taylor]: Taking taylor expansion of a in a 4.811 * [taylor]: Taking taylor expansion of eps in a 4.812 * [taylor]: Taking taylor expansion of 1.0 in a 4.812 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 4.812 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 4.812 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 4.812 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 4.812 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.812 * [taylor]: Taking taylor expansion of b in b 4.813 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.813 * [taylor]: Taking taylor expansion of a in b 4.813 * [taylor]: Taking taylor expansion of eps in b 4.813 * [taylor]: Taking taylor expansion of 1.0 in b 4.814 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 4.814 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 4.814 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 4.814 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 4.814 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 4.814 * [taylor]: Taking taylor expansion of b in eps 4.814 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 4.814 * [taylor]: Taking taylor expansion of a in eps 4.814 * [taylor]: Taking taylor expansion of eps in eps 4.814 * [taylor]: Taking taylor expansion of 1.0 in eps 4.815 * [taylor]: Taking taylor expansion of 0 in b 4.815 * [taylor]: Taking taylor expansion of 0 in eps 4.816 * [taylor]: Taking taylor expansion of 0 in eps 4.817 * [taylor]: Taking taylor expansion of 0 in b 4.817 * [taylor]: Taking taylor expansion of 0 in eps 4.817 * [taylor]: Taking taylor expansion of 0 in eps 4.817 * [taylor]: Taking taylor expansion of 0 in eps 4.818 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 4.818 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 4.818 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 4.818 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 4.818 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 4.818 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 4.818 * [taylor]: Taking taylor expansion of b in eps 4.818 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 4.818 * [taylor]: Taking taylor expansion of a in eps 4.818 * [taylor]: Taking taylor expansion of eps in eps 4.818 * [taylor]: Taking taylor expansion of 1.0 in eps 4.818 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 4.818 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 4.818 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 4.818 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 4.818 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.818 * [taylor]: Taking taylor expansion of b in b 4.818 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.818 * [taylor]: Taking taylor expansion of a in b 4.818 * [taylor]: Taking taylor expansion of eps in b 4.819 * [taylor]: Taking taylor expansion of 1.0 in b 4.819 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 4.819 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 4.819 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 4.819 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 4.819 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.819 * [taylor]: Taking taylor expansion of b in a 4.819 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.819 * [taylor]: Taking taylor expansion of a in a 4.819 * [taylor]: Taking taylor expansion of eps in a 4.820 * [taylor]: Taking taylor expansion of 1.0 in a 4.820 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 4.820 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 4.820 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 4.820 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 4.820 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.820 * [taylor]: Taking taylor expansion of b in a 4.820 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.820 * [taylor]: Taking taylor expansion of a in a 4.820 * [taylor]: Taking taylor expansion of eps in a 4.820 * [taylor]: Taking taylor expansion of 1.0 in a 4.821 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 4.821 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 4.821 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 4.821 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 4.821 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.821 * [taylor]: Taking taylor expansion of b in b 4.821 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.821 * [taylor]: Taking taylor expansion of a in b 4.821 * [taylor]: Taking taylor expansion of eps in b 4.822 * [taylor]: Taking taylor expansion of 1.0 in b 4.822 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 4.822 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 4.822 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 4.822 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 4.823 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 4.823 * [taylor]: Taking taylor expansion of b in eps 4.823 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 4.823 * [taylor]: Taking taylor expansion of a in eps 4.823 * [taylor]: Taking taylor expansion of eps in eps 4.823 * [taylor]: Taking taylor expansion of 1.0 in eps 4.824 * [taylor]: Taking taylor expansion of 0 in b 4.824 * [taylor]: Taking taylor expansion of 0 in eps 4.824 * [taylor]: Taking taylor expansion of 0 in eps 4.825 * [taylor]: Taking taylor expansion of 0 in b 4.825 * [taylor]: Taking taylor expansion of 0 in eps 4.825 * [taylor]: Taking taylor expansion of 0 in eps 4.826 * [taylor]: Taking taylor expansion of 0 in eps 4.826 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 4.827 * [approximate]: Taking taylor expansion of (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in (b eps) around 0 4.827 * [taylor]: Taking taylor expansion of (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in eps 4.827 * [taylor]: Taking taylor expansion of (pow b 2) in eps 4.827 * [taylor]: Taking taylor expansion of b in eps 4.827 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in eps 4.827 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 4.827 * [taylor]: Taking taylor expansion of 1/2 in eps 4.827 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.827 * [taylor]: Taking taylor expansion of eps in eps 4.827 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in eps 4.827 * [taylor]: Taking taylor expansion of 1/6 in eps 4.827 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 4.827 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.827 * [taylor]: Taking taylor expansion of eps in eps 4.827 * [taylor]: Taking taylor expansion of b in eps 4.827 * [taylor]: Taking taylor expansion of (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in b 4.827 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.827 * [taylor]: Taking taylor expansion of b in b 4.827 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in b 4.827 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in b 4.827 * [taylor]: Taking taylor expansion of 1/2 in b 4.827 * [taylor]: Taking taylor expansion of (pow eps 2) in b 4.827 * [taylor]: Taking taylor expansion of eps in b 4.827 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in b 4.827 * [taylor]: Taking taylor expansion of 1/6 in b 4.827 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.827 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.827 * [taylor]: Taking taylor expansion of eps in b 4.827 * [taylor]: Taking taylor expansion of b in b 4.827 * [taylor]: Taking taylor expansion of (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in b 4.827 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.827 * [taylor]: Taking taylor expansion of b in b 4.827 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in b 4.827 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in b 4.827 * [taylor]: Taking taylor expansion of 1/2 in b 4.827 * [taylor]: Taking taylor expansion of (pow eps 2) in b 4.827 * [taylor]: Taking taylor expansion of eps in b 4.827 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in b 4.827 * [taylor]: Taking taylor expansion of 1/6 in b 4.827 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.827 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.827 * [taylor]: Taking taylor expansion of eps in b 4.827 * [taylor]: Taking taylor expansion of b in b 4.828 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 4.828 * [taylor]: Taking taylor expansion of 1/2 in eps 4.828 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.828 * [taylor]: Taking taylor expansion of eps in eps 4.831 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 4.831 * [taylor]: Taking taylor expansion of 1/6 in eps 4.831 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.831 * [taylor]: Taking taylor expansion of eps in eps 4.835 * [taylor]: Taking taylor expansion of 0 in eps 4.842 * [taylor]: Taking taylor expansion of 0 in eps 4.853 * [taylor]: Taking taylor expansion of 0 in eps 4.854 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in (b eps) around 0 4.854 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in eps 4.854 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in eps 4.854 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 4.854 * [taylor]: Taking taylor expansion of 1/2 in eps 4.854 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 4.854 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.854 * [taylor]: Taking taylor expansion of eps in eps 4.855 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in eps 4.855 * [taylor]: Taking taylor expansion of 1/6 in eps 4.855 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in eps 4.855 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 4.855 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.855 * [taylor]: Taking taylor expansion of eps in eps 4.855 * [taylor]: Taking taylor expansion of b in eps 4.855 * [taylor]: Taking taylor expansion of (pow b 2) in eps 4.855 * [taylor]: Taking taylor expansion of b in eps 4.855 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in b 4.855 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 4.855 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 4.855 * [taylor]: Taking taylor expansion of 1/2 in b 4.855 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 4.856 * [taylor]: Taking taylor expansion of (pow eps 2) in b 4.856 * [taylor]: Taking taylor expansion of eps in b 4.856 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 4.856 * [taylor]: Taking taylor expansion of 1/6 in b 4.856 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 4.856 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.856 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.856 * [taylor]: Taking taylor expansion of eps in b 4.856 * [taylor]: Taking taylor expansion of b in b 4.856 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.856 * [taylor]: Taking taylor expansion of b in b 4.857 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in b 4.857 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 4.857 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 4.857 * [taylor]: Taking taylor expansion of 1/2 in b 4.857 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 4.857 * [taylor]: Taking taylor expansion of (pow eps 2) in b 4.857 * [taylor]: Taking taylor expansion of eps in b 4.857 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 4.857 * [taylor]: Taking taylor expansion of 1/6 in b 4.857 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 4.857 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.857 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.857 * [taylor]: Taking taylor expansion of eps in b 4.857 * [taylor]: Taking taylor expansion of b in b 4.858 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.858 * [taylor]: Taking taylor expansion of b in b 4.858 * [taylor]: Taking taylor expansion of (/ 1/6 (pow eps 3)) in eps 4.858 * [taylor]: Taking taylor expansion of 1/6 in eps 4.858 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.859 * [taylor]: Taking taylor expansion of eps in eps 4.862 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 4.862 * [taylor]: Taking taylor expansion of 1/2 in eps 4.862 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 4.862 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.862 * [taylor]: Taking taylor expansion of eps in eps 4.868 * [taylor]: Taking taylor expansion of 0 in eps 4.877 * [taylor]: Taking taylor expansion of 0 in eps 4.888 * [taylor]: Taking taylor expansion of 0 in eps 4.900 * [taylor]: Taking taylor expansion of 0 in eps 4.901 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in (b eps) around 0 4.901 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in eps 4.901 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in eps 4.901 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 4.901 * [taylor]: Taking taylor expansion of 1/2 in eps 4.901 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 4.901 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.901 * [taylor]: Taking taylor expansion of eps in eps 4.902 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in eps 4.902 * [taylor]: Taking taylor expansion of 1/6 in eps 4.902 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in eps 4.902 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 4.902 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.902 * [taylor]: Taking taylor expansion of eps in eps 4.902 * [taylor]: Taking taylor expansion of b in eps 4.903 * [taylor]: Taking taylor expansion of (pow b 2) in eps 4.903 * [taylor]: Taking taylor expansion of b in eps 4.903 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in b 4.903 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 4.903 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 4.903 * [taylor]: Taking taylor expansion of 1/2 in b 4.903 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 4.903 * [taylor]: Taking taylor expansion of (pow eps 2) in b 4.903 * [taylor]: Taking taylor expansion of eps in b 4.903 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 4.903 * [taylor]: Taking taylor expansion of 1/6 in b 4.903 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 4.903 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.903 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.903 * [taylor]: Taking taylor expansion of eps in b 4.903 * [taylor]: Taking taylor expansion of b in b 4.904 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.904 * [taylor]: Taking taylor expansion of b in b 4.904 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in b 4.904 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 4.904 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 4.904 * [taylor]: Taking taylor expansion of 1/2 in b 4.904 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 4.904 * [taylor]: Taking taylor expansion of (pow eps 2) in b 4.904 * [taylor]: Taking taylor expansion of eps in b 4.905 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 4.905 * [taylor]: Taking taylor expansion of 1/6 in b 4.905 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 4.905 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.905 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.905 * [taylor]: Taking taylor expansion of eps in b 4.905 * [taylor]: Taking taylor expansion of b in b 4.905 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.905 * [taylor]: Taking taylor expansion of b in b 4.906 * [taylor]: Taking taylor expansion of (/ 1/6 (pow eps 3)) in eps 4.906 * [taylor]: Taking taylor expansion of 1/6 in eps 4.906 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.906 * [taylor]: Taking taylor expansion of eps in eps 4.909 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 4.909 * [taylor]: Taking taylor expansion of 1/2 in eps 4.909 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 4.909 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 4.909 * [taylor]: Taking taylor expansion of eps in eps 4.916 * [taylor]: Taking taylor expansion of 0 in eps 4.924 * [taylor]: Taking taylor expansion of 0 in eps 4.937 * [taylor]: Taking taylor expansion of 0 in eps 4.950 * [taylor]: Taking taylor expansion of 0 in eps 4.951 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 2 2) 4.951 * [approximate]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in (eps b) around 0 4.951 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in b 4.951 * [taylor]: Taking taylor expansion of 1/6 in b 4.951 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.951 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.951 * [taylor]: Taking taylor expansion of eps in b 4.951 * [taylor]: Taking taylor expansion of b in b 4.951 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in eps 4.951 * [taylor]: Taking taylor expansion of 1/6 in eps 4.951 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 4.951 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.951 * [taylor]: Taking taylor expansion of eps in eps 4.951 * [taylor]: Taking taylor expansion of b in eps 4.951 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in eps 4.951 * [taylor]: Taking taylor expansion of 1/6 in eps 4.951 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 4.951 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.951 * [taylor]: Taking taylor expansion of eps in eps 4.951 * [taylor]: Taking taylor expansion of b in eps 4.952 * [taylor]: Taking taylor expansion of (* 1/6 b) in b 4.952 * [taylor]: Taking taylor expansion of 1/6 in b 4.952 * [taylor]: Taking taylor expansion of b in b 4.953 * [taylor]: Taking taylor expansion of 0 in b 4.956 * [taylor]: Taking taylor expansion of 0 in b 4.959 * [taylor]: Taking taylor expansion of 0 in b 4.959 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in (eps b) around 0 4.959 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in b 4.959 * [taylor]: Taking taylor expansion of 1/6 in b 4.959 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.959 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.960 * [taylor]: Taking taylor expansion of eps in b 4.960 * [taylor]: Taking taylor expansion of b in b 4.960 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in eps 4.960 * [taylor]: Taking taylor expansion of 1/6 in eps 4.960 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 4.960 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.960 * [taylor]: Taking taylor expansion of eps in eps 4.960 * [taylor]: Taking taylor expansion of b in eps 4.961 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in eps 4.961 * [taylor]: Taking taylor expansion of 1/6 in eps 4.961 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 4.961 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.961 * [taylor]: Taking taylor expansion of eps in eps 4.961 * [taylor]: Taking taylor expansion of b in eps 4.961 * [taylor]: Taking taylor expansion of (/ 1/6 b) in b 4.961 * [taylor]: Taking taylor expansion of 1/6 in b 4.961 * [taylor]: Taking taylor expansion of b in b 4.963 * [taylor]: Taking taylor expansion of 0 in b 4.965 * [taylor]: Taking taylor expansion of 0 in b 4.967 * [taylor]: Taking taylor expansion of 0 in b 4.969 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in (eps b) around 0 4.969 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in b 4.969 * [taylor]: Taking taylor expansion of 1/6 in b 4.969 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 4.969 * [taylor]: Taking taylor expansion of (pow eps 3) in b 4.969 * [taylor]: Taking taylor expansion of eps in b 4.969 * [taylor]: Taking taylor expansion of b in b 4.969 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in eps 4.969 * [taylor]: Taking taylor expansion of 1/6 in eps 4.969 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 4.970 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.970 * [taylor]: Taking taylor expansion of eps in eps 4.970 * [taylor]: Taking taylor expansion of b in eps 4.970 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in eps 4.970 * [taylor]: Taking taylor expansion of 1/6 in eps 4.970 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 4.970 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 4.970 * [taylor]: Taking taylor expansion of eps in eps 4.970 * [taylor]: Taking taylor expansion of b in eps 4.971 * [taylor]: Taking taylor expansion of (/ 1/6 b) in b 4.971 * [taylor]: Taking taylor expansion of 1/6 in b 4.971 * [taylor]: Taking taylor expansion of b in b 4.972 * [taylor]: Taking taylor expansion of 0 in b 4.974 * [taylor]: Taking taylor expansion of 0 in b 4.977 * [taylor]: Taking taylor expansion of 0 in b 4.978 * * * [progress]: simplifying candidates 4.979 * [simplify]: Simplifying using # : (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (+ (log b) (log (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (log (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (exp (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (* (* b b) b) (* (* (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (cbrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (cbrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (cbrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (sqrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (sqrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt b) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt b) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (* 1/2 (pow eps 2))) (* b (* (* 1/6 (pow eps 3)) b)) (* (* 1/2 (pow eps 2)) b) (* (* (* 1/6 (pow eps 3)) b) b) (* b (* (cbrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (cbrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* b (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b 1) (* (cbrt b) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (sqrt b) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (pow (* 1/2 (pow eps 2)) 3) (pow (* (* 1/6 (pow eps 3)) b) 3))) (* b (- (* (* 1/2 (pow eps 2)) (* 1/2 (pow eps 2))) (* (* (* 1/6 (pow eps 3)) b) (* (* 1/6 (pow eps 3)) b)))) (/ (exp (exp (* (+ a b) eps))) (exp 1.0)) (log (- (exp (* (+ a b) eps)) 1.0)) (exp (- (exp (* (+ a b) eps)) 1.0)) (* (cbrt (- (exp (* (+ a b) eps)) 1.0)) (cbrt (- (exp (* (+ a b) eps)) 1.0))) (cbrt (- (exp (* (+ a b) eps)) 1.0)) (* (* (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0)) (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (- (pow (exp (* (+ a b) eps)) 3) (pow 1.0 3)) (+ (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (+ (* 1.0 1.0) (* (exp (* (+ a b) eps)) 1.0))) (- 1.0) (- (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (* 1.0 1.0)) (+ (exp (* (+ a b) eps)) 1.0) (+ (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (exp (* (+ a b) eps)) 1.0) (- 1.0) (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (+ (log b) (+ (log b) (log (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (+ (log b) (log (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (log (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (exp (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (* (* b b) b) (* (* (* b b) b) (* (* (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (* (* b b) b) (* (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (cbrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (cbrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))))) (cbrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (* (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (sqrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (sqrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* b (* b (* 1/2 (pow eps 2)))) (* b (* b (* (* 1/6 (pow eps 3)) b))) (* b (* (* 1/2 (pow eps 2)) b)) (* b (* (* (* 1/6 (pow eps 3)) b) b)) (* (* b (* 1/2 (pow eps 2))) b) (* (* b (* (* 1/6 (pow eps 3)) b)) b) (* (* (* 1/2 (pow eps 2)) b) b) (* (* (* (* 1/6 (pow eps 3)) b) b) b) (* b b) (* (cbrt b) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt b) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (* b (+ (pow (* 1/2 (pow eps 2)) 3) (pow (* (* 1/6 (pow eps 3)) b) 3)))) (* b (* b (- (* (* 1/2 (pow eps 2)) (* 1/2 (pow eps 2))) (* (* (* 1/6 (pow eps 3)) b) (* (* 1/6 (pow eps 3)) b))))) (* (* 1/6 (pow eps 3)) b) (+ (+ (log 1/6) (* (log eps) 3)) (log b)) (+ (+ (log 1/6) (* (log eps) 3)) (log b)) (+ (+ (log 1/6) (log (pow eps 3))) (log b)) (+ (log (* 1/6 (pow eps 3))) (log b)) (log (* (* 1/6 (pow eps 3)) b)) (exp (* (* 1/6 (pow eps 3)) b)) (* (* (* (* 1/6 1/6) 1/6) (* (* (pow eps 3) (pow eps 3)) (pow eps 3))) (* (* b b) b)) (* (* (* (* 1/6 (pow eps 3)) (* 1/6 (pow eps 3))) (* 1/6 (pow eps 3))) (* (* b b) b)) (* (cbrt (* (* 1/6 (pow eps 3)) b)) (cbrt (* (* 1/6 (pow eps 3)) b))) (cbrt (* (* 1/6 (pow eps 3)) b)) (* (* (* (* 1/6 (pow eps 3)) b) (* (* 1/6 (pow eps 3)) b)) (* (* 1/6 (pow eps 3)) b)) (sqrt (* (* 1/6 (pow eps 3)) b)) (sqrt (* (* 1/6 (pow eps 3)) b)) (* (* 1/6 (pow eps 3)) (* (cbrt b) (cbrt b))) (* (* 1/6 (pow eps 3)) (sqrt b)) (* (* 1/6 (pow eps 3)) 1) (* (pow eps 3) b) (+ (* 1/2 (* (pow eps 2) b)) (* 1/6 (* (pow eps 3) (pow b 2)))) (+ (* 1/2 (* (pow eps 2) b)) (* 1/6 (* (pow eps 3) (pow b 2)))) (+ (* 1/2 (* (pow eps 2) b)) (* 1/6 (* (pow eps 3) (pow b 2)))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b))) (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (* 1/2 (* (pow eps 2) (pow b 2)))) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (* 1/2 (* (pow eps 2) (pow b 2)))) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (* 1/2 (* (pow eps 2) (pow b 2)))) (* 1/6 (* (pow eps 3) b)) (* 1/6 (* (pow eps 3) b)) (* 1/6 (* (pow eps 3) b)) 4.984 * * [simplify]: iteration 0 : 157 enodes (cost 1557 ) 5.029 * * [simplify]: iteration 1 : 421 enodes (cost 1477 ) 5.203 * * [simplify]: iteration 2 : 1678 enodes (cost 1259 ) 5.834 * * [simplify]: iteration done : 5000 enodes (cost 1259 ) 5.834 * [simplify]: Simplified to: (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (log (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (log (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (exp (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (pow (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) 3) (* (cbrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (cbrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (cbrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (pow (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) 3) (sqrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (sqrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt b) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt b) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* 1/2 (* (pow eps 2) b)) (* b (* (* 1/6 (pow eps 3)) b)) (* 1/2 (* (pow eps 2) b)) (* b (* (* 1/6 (pow eps 3)) b)) (* b (* (cbrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (cbrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* b (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) b (* (cbrt b) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (sqrt b) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (pow (* 1/6 (* (pow eps 3) b)) 3) (* (pow eps 6) 1/8))) (* b (- (* 1/4 (pow eps 4)) (* (* 1/36 (pow eps 6)) (* b b)))) (exp (- (exp (* (+ a b) eps)) 1.0)) (log (- (exp (* (+ a b) eps)) 1.0)) (exp (- (exp (* (+ a b) eps)) 1.0)) (* (cbrt (- (exp (* (+ a b) eps)) 1.0)) (cbrt (- (exp (* (+ a b) eps)) 1.0))) (cbrt (- (exp (* (+ a b) eps)) 1.0)) (pow (- (exp (* (+ a b) eps)) 1.0) 3) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (- (pow (exp (* (+ a b) eps)) 3) (pow 1.0 3)) (+ (* 1.0 (+ (exp (* (+ a b) eps)) 1.0)) (exp (* 2 (* eps (+ a b))))) (- 1.0) (- (exp (* 2 (* eps (+ a b)))) (* 1.0 1.0)) (+ (exp (* (+ a b) eps)) 1.0) (+ (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (exp (* (+ a b) eps)) 1.0) (- 1.0) (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (log (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (log (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (log (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (exp (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (pow (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)) 3) (pow b 6)) (* (pow (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)) 3) (pow b 6)) (* (cbrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (cbrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))))) (cbrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (pow (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)) 3) (pow b 6)) (sqrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (sqrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (* b (* 1/2 (pow eps 2))) b) (* 1/6 (* (pow eps 3) (pow b 3))) (* (* b (* 1/2 (pow eps 2))) b) (* 1/6 (* (pow eps 3) (pow b 3))) (* (* b (* 1/2 (pow eps 2))) b) (* 1/6 (* (pow eps 3) (pow b 3))) (* (* b (* 1/2 (pow eps 2))) b) (* 1/6 (* (pow eps 3) (pow b 3))) (* b b) (* (cbrt b) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt b) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* (* b (+ (pow (* 1/6 (* (pow eps 3) b)) 3) (* (pow eps 6) 1/8))) b) (* (- (* 1/4 (pow eps 4)) (* (* 1/36 (pow eps 6)) (* b b))) (* b b)) (* 1/6 (* (pow eps 3) b)) (log (* (* 1/6 (pow eps 3)) b)) (log (* (* 1/6 (pow eps 3)) b)) (log (* (* 1/6 (pow eps 3)) b)) (log (* (* 1/6 (pow eps 3)) b)) (log (* (* 1/6 (pow eps 3)) b)) (exp (* (* 1/6 (pow eps 3)) b)) (pow (* 1/6 (* (pow eps 3) b)) 3) (pow (* 1/6 (* (pow eps 3) b)) 3) (* (cbrt (* (* 1/6 (pow eps 3)) b)) (cbrt (* (* 1/6 (pow eps 3)) b))) (cbrt (* (* 1/6 (pow eps 3)) b)) (pow (* 1/6 (* (pow eps 3) b)) 3) (sqrt (* (* 1/6 (pow eps 3)) b)) (sqrt (* (* 1/6 (pow eps 3)) b)) (* (* 1/6 (pow eps 3)) (* (cbrt b) (cbrt b))) (* (* 1/6 (pow eps 3)) (sqrt b)) (* 1/6 (pow eps 3)) (* (pow eps 3) b) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (+ (* (+ a b) eps) (* 1/2 (* (pow a 2) (pow eps 2)))) (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0) (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* 1/6 (* (pow eps 3) b)) (* 1/6 (* (pow eps 3) b)) (* 1/6 (* (pow eps 3) b)) 5.835 * * * [progress]: adding candidates to table 6.194 * * [progress]: iteration 4 / 4 6.194 * * * [progress]: picking best candidate 6.234 * * * * [pick]: Picked # 6.234 * * * [progress]: localizing error 6.267 * * * [progress]: generating rewritten candidates 6.267 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 6.279 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1) 6.283 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 6.298 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2 2 2) 6.310 * * * [progress]: generating series expansions 6.310 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 6.310 * [approximate]: Taking taylor expansion of (* b (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in (b eps) around 0 6.310 * [taylor]: Taking taylor expansion of (* b (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in eps 6.310 * [taylor]: Taking taylor expansion of b in eps 6.310 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in eps 6.310 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 6.310 * [taylor]: Taking taylor expansion of 1/2 in eps 6.310 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.311 * [taylor]: Taking taylor expansion of eps in eps 6.311 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in eps 6.311 * [taylor]: Taking taylor expansion of 1/6 in eps 6.311 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 6.311 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.311 * [taylor]: Taking taylor expansion of eps in eps 6.311 * [taylor]: Taking taylor expansion of b in eps 6.311 * [taylor]: Taking taylor expansion of (* b (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in b 6.311 * [taylor]: Taking taylor expansion of b in b 6.311 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in b 6.311 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in b 6.311 * [taylor]: Taking taylor expansion of 1/2 in b 6.311 * [taylor]: Taking taylor expansion of (pow eps 2) in b 6.311 * [taylor]: Taking taylor expansion of eps in b 6.311 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in b 6.311 * [taylor]: Taking taylor expansion of 1/6 in b 6.311 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.311 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.311 * [taylor]: Taking taylor expansion of eps in b 6.311 * [taylor]: Taking taylor expansion of b in b 6.311 * [taylor]: Taking taylor expansion of (* b (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in b 6.311 * [taylor]: Taking taylor expansion of b in b 6.311 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in b 6.311 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in b 6.311 * [taylor]: Taking taylor expansion of 1/2 in b 6.311 * [taylor]: Taking taylor expansion of (pow eps 2) in b 6.311 * [taylor]: Taking taylor expansion of eps in b 6.311 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in b 6.311 * [taylor]: Taking taylor expansion of 1/6 in b 6.311 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.311 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.311 * [taylor]: Taking taylor expansion of eps in b 6.311 * [taylor]: Taking taylor expansion of b in b 6.312 * [taylor]: Taking taylor expansion of 0 in eps 6.313 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 6.313 * [taylor]: Taking taylor expansion of 1/2 in eps 6.313 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.314 * [taylor]: Taking taylor expansion of eps in eps 6.317 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 6.317 * [taylor]: Taking taylor expansion of 1/6 in eps 6.317 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.317 * [taylor]: Taking taylor expansion of eps in eps 6.323 * [taylor]: Taking taylor expansion of 0 in eps 6.331 * [taylor]: Taking taylor expansion of 0 in eps 6.334 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in (b eps) around 0 6.334 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in eps 6.334 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in eps 6.334 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 6.334 * [taylor]: Taking taylor expansion of 1/2 in eps 6.334 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 6.334 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.334 * [taylor]: Taking taylor expansion of eps in eps 6.334 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in eps 6.334 * [taylor]: Taking taylor expansion of 1/6 in eps 6.334 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in eps 6.334 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 6.334 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.334 * [taylor]: Taking taylor expansion of eps in eps 6.334 * [taylor]: Taking taylor expansion of b in eps 6.335 * [taylor]: Taking taylor expansion of b in eps 6.335 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in b 6.335 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 6.335 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 6.335 * [taylor]: Taking taylor expansion of 1/2 in b 6.335 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 6.335 * [taylor]: Taking taylor expansion of (pow eps 2) in b 6.335 * [taylor]: Taking taylor expansion of eps in b 6.335 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 6.335 * [taylor]: Taking taylor expansion of 1/6 in b 6.335 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 6.335 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.335 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.335 * [taylor]: Taking taylor expansion of eps in b 6.335 * [taylor]: Taking taylor expansion of b in b 6.336 * [taylor]: Taking taylor expansion of b in b 6.336 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in b 6.336 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 6.336 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 6.336 * [taylor]: Taking taylor expansion of 1/2 in b 6.336 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 6.336 * [taylor]: Taking taylor expansion of (pow eps 2) in b 6.336 * [taylor]: Taking taylor expansion of eps in b 6.337 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 6.337 * [taylor]: Taking taylor expansion of 1/6 in b 6.337 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 6.337 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.337 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.337 * [taylor]: Taking taylor expansion of eps in b 6.337 * [taylor]: Taking taylor expansion of b in b 6.337 * [taylor]: Taking taylor expansion of b in b 6.338 * [taylor]: Taking taylor expansion of (/ 1/6 (pow eps 3)) in eps 6.338 * [taylor]: Taking taylor expansion of 1/6 in eps 6.338 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.338 * [taylor]: Taking taylor expansion of eps in eps 6.340 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 6.341 * [taylor]: Taking taylor expansion of 1/2 in eps 6.341 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 6.341 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.341 * [taylor]: Taking taylor expansion of eps in eps 6.346 * [taylor]: Taking taylor expansion of 0 in eps 6.357 * [taylor]: Taking taylor expansion of 0 in eps 6.368 * [taylor]: Taking taylor expansion of 0 in eps 6.381 * [taylor]: Taking taylor expansion of 0 in eps 6.381 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b)) in (b eps) around 0 6.381 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b)) in eps 6.381 * [taylor]: Taking taylor expansion of -1 in eps 6.381 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in eps 6.381 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in eps 6.381 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 6.381 * [taylor]: Taking taylor expansion of 1/2 in eps 6.381 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 6.381 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.382 * [taylor]: Taking taylor expansion of eps in eps 6.382 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in eps 6.382 * [taylor]: Taking taylor expansion of 1/6 in eps 6.382 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in eps 6.382 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 6.382 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.382 * [taylor]: Taking taylor expansion of eps in eps 6.382 * [taylor]: Taking taylor expansion of b in eps 6.383 * [taylor]: Taking taylor expansion of b in eps 6.383 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b)) in b 6.383 * [taylor]: Taking taylor expansion of -1 in b 6.383 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in b 6.383 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 6.383 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 6.383 * [taylor]: Taking taylor expansion of 1/2 in b 6.383 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 6.383 * [taylor]: Taking taylor expansion of (pow eps 2) in b 6.383 * [taylor]: Taking taylor expansion of eps in b 6.383 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 6.383 * [taylor]: Taking taylor expansion of 1/6 in b 6.383 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 6.383 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.383 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.383 * [taylor]: Taking taylor expansion of eps in b 6.383 * [taylor]: Taking taylor expansion of b in b 6.384 * [taylor]: Taking taylor expansion of b in b 6.384 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b)) in b 6.384 * [taylor]: Taking taylor expansion of -1 in b 6.384 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) b) in b 6.384 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 6.384 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 6.384 * [taylor]: Taking taylor expansion of 1/2 in b 6.384 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 6.384 * [taylor]: Taking taylor expansion of (pow eps 2) in b 6.384 * [taylor]: Taking taylor expansion of eps in b 6.385 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 6.385 * [taylor]: Taking taylor expansion of 1/6 in b 6.385 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 6.385 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.385 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.385 * [taylor]: Taking taylor expansion of eps in b 6.385 * [taylor]: Taking taylor expansion of b in b 6.385 * [taylor]: Taking taylor expansion of b in b 6.386 * [taylor]: Taking taylor expansion of (/ -1/6 (pow eps 3)) in eps 6.386 * [taylor]: Taking taylor expansion of -1/6 in eps 6.386 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.386 * [taylor]: Taking taylor expansion of eps in eps 6.389 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow eps 2)))) in eps 6.389 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 6.389 * [taylor]: Taking taylor expansion of 1/2 in eps 6.389 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 6.389 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.389 * [taylor]: Taking taylor expansion of eps in eps 6.395 * [taylor]: Taking taylor expansion of 0 in eps 6.404 * [taylor]: Taking taylor expansion of 0 in eps 6.415 * [taylor]: Taking taylor expansion of 0 in eps 6.429 * [taylor]: Taking taylor expansion of 0 in eps 6.429 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1) 6.429 * [approximate]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in (a b eps) around 0 6.430 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in eps 6.430 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in eps 6.430 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in eps 6.430 * [taylor]: Taking taylor expansion of (+ a b) in eps 6.430 * [taylor]: Taking taylor expansion of a in eps 6.430 * [taylor]: Taking taylor expansion of b in eps 6.430 * [taylor]: Taking taylor expansion of eps in eps 6.430 * [taylor]: Taking taylor expansion of 1.0 in eps 6.430 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in b 6.430 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in b 6.430 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in b 6.430 * [taylor]: Taking taylor expansion of (+ a b) in b 6.430 * [taylor]: Taking taylor expansion of a in b 6.430 * [taylor]: Taking taylor expansion of b in b 6.430 * [taylor]: Taking taylor expansion of eps in b 6.430 * [taylor]: Taking taylor expansion of 1.0 in b 6.430 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 6.430 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 6.430 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 6.431 * [taylor]: Taking taylor expansion of (+ a b) in a 6.431 * [taylor]: Taking taylor expansion of a in a 6.431 * [taylor]: Taking taylor expansion of b in a 6.431 * [taylor]: Taking taylor expansion of eps in a 6.431 * [taylor]: Taking taylor expansion of 1.0 in a 6.431 * [taylor]: Taking taylor expansion of (- (exp (* (+ a b) eps)) 1.0) in a 6.431 * [taylor]: Taking taylor expansion of (exp (* (+ a b) eps)) in a 6.431 * [taylor]: Taking taylor expansion of (* (+ a b) eps) in a 6.431 * [taylor]: Taking taylor expansion of (+ a b) in a 6.431 * [taylor]: Taking taylor expansion of a in a 6.431 * [taylor]: Taking taylor expansion of b in a 6.431 * [taylor]: Taking taylor expansion of eps in a 6.431 * [taylor]: Taking taylor expansion of 1.0 in a 6.431 * [taylor]: Taking taylor expansion of (- (exp (* eps b)) 1.0) in b 6.431 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 6.431 * [taylor]: Taking taylor expansion of (* eps b) in b 6.431 * [taylor]: Taking taylor expansion of eps in b 6.432 * [taylor]: Taking taylor expansion of b in b 6.432 * [taylor]: Taking taylor expansion of 1.0 in b 6.433 * [taylor]: Taking taylor expansion of 0 in eps 6.433 * [taylor]: Taking taylor expansion of (* eps (exp (* eps b))) in b 6.433 * [taylor]: Taking taylor expansion of eps in b 6.433 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 6.433 * [taylor]: Taking taylor expansion of (* eps b) in b 6.433 * [taylor]: Taking taylor expansion of eps in b 6.433 * [taylor]: Taking taylor expansion of b in b 6.434 * [taylor]: Taking taylor expansion of eps in eps 6.434 * [taylor]: Taking taylor expansion of eps in eps 6.436 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow eps 2) (exp (* eps b)))) in b 6.436 * [taylor]: Taking taylor expansion of 1/2 in b 6.436 * [taylor]: Taking taylor expansion of (* (pow eps 2) (exp (* eps b))) in b 6.436 * [taylor]: Taking taylor expansion of (pow eps 2) in b 6.436 * [taylor]: Taking taylor expansion of eps in b 6.436 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 6.436 * [taylor]: Taking taylor expansion of (* eps b) in b 6.436 * [taylor]: Taking taylor expansion of eps in b 6.436 * [taylor]: Taking taylor expansion of b in b 6.437 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 6.437 * [taylor]: Taking taylor expansion of 1/2 in eps 6.437 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.437 * [taylor]: Taking taylor expansion of eps in eps 6.437 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.437 * [taylor]: Taking taylor expansion of eps in eps 6.438 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 6.438 * [taylor]: Taking taylor expansion of 1/2 in eps 6.438 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.438 * [taylor]: Taking taylor expansion of eps in eps 6.443 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) (exp (* eps b)))) in b 6.443 * [taylor]: Taking taylor expansion of 1/6 in b 6.443 * [taylor]: Taking taylor expansion of (* (pow eps 3) (exp (* eps b))) in b 6.443 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.443 * [taylor]: Taking taylor expansion of eps in b 6.443 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 6.443 * [taylor]: Taking taylor expansion of (* eps b) in b 6.443 * [taylor]: Taking taylor expansion of eps in b 6.443 * [taylor]: Taking taylor expansion of b in b 6.444 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 6.444 * [taylor]: Taking taylor expansion of 1/6 in eps 6.444 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.444 * [taylor]: Taking taylor expansion of eps in eps 6.445 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 6.445 * [taylor]: Taking taylor expansion of 1/2 in eps 6.445 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.445 * [taylor]: Taking taylor expansion of eps in eps 6.446 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 3)) in eps 6.446 * [taylor]: Taking taylor expansion of 1/2 in eps 6.446 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.446 * [taylor]: Taking taylor expansion of eps in eps 6.448 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 6.448 * [taylor]: Taking taylor expansion of 1/6 in eps 6.448 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.448 * [taylor]: Taking taylor expansion of eps in eps 6.452 * [taylor]: Taking taylor expansion of (* 1/24 (* (pow eps 4) (exp (* eps b)))) in b 6.452 * [taylor]: Taking taylor expansion of 1/24 in b 6.452 * [taylor]: Taking taylor expansion of (* (pow eps 4) (exp (* eps b))) in b 6.452 * [taylor]: Taking taylor expansion of (pow eps 4) in b 6.452 * [taylor]: Taking taylor expansion of eps in b 6.452 * [taylor]: Taking taylor expansion of (exp (* eps b)) in b 6.452 * [taylor]: Taking taylor expansion of (* eps b) in b 6.452 * [taylor]: Taking taylor expansion of eps in b 6.452 * [taylor]: Taking taylor expansion of b in b 6.453 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 6.453 * [taylor]: Taking taylor expansion of 1/24 in eps 6.453 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 6.453 * [taylor]: Taking taylor expansion of eps in eps 6.453 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 6.453 * [taylor]: Taking taylor expansion of 1/6 in eps 6.454 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 6.454 * [taylor]: Taking taylor expansion of eps in eps 6.455 * [taylor]: Taking taylor expansion of (* 1/4 (pow eps 4)) in eps 6.455 * [taylor]: Taking taylor expansion of 1/4 in eps 6.455 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 6.455 * [taylor]: Taking taylor expansion of eps in eps 6.457 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 4)) in eps 6.457 * [taylor]: Taking taylor expansion of 1/6 in eps 6.457 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 6.457 * [taylor]: Taking taylor expansion of eps in eps 6.460 * [taylor]: Taking taylor expansion of (* 1/24 (pow eps 4)) in eps 6.460 * [taylor]: Taking taylor expansion of 1/24 in eps 6.460 * [taylor]: Taking taylor expansion of (pow eps 4) in eps 6.460 * [taylor]: Taking taylor expansion of eps in eps 6.461 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 6.461 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 6.461 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 6.461 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 6.461 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 6.461 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 6.461 * [taylor]: Taking taylor expansion of b in eps 6.461 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 6.461 * [taylor]: Taking taylor expansion of a in eps 6.461 * [taylor]: Taking taylor expansion of eps in eps 6.461 * [taylor]: Taking taylor expansion of 1.0 in eps 6.462 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 6.462 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 6.462 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 6.462 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 6.462 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.462 * [taylor]: Taking taylor expansion of b in b 6.462 * [taylor]: Taking taylor expansion of (/ 1 a) in b 6.462 * [taylor]: Taking taylor expansion of a in b 6.462 * [taylor]: Taking taylor expansion of eps in b 6.462 * [taylor]: Taking taylor expansion of 1.0 in b 6.462 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 6.462 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 6.462 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 6.462 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 6.462 * [taylor]: Taking taylor expansion of (/ 1 b) in a 6.462 * [taylor]: Taking taylor expansion of b in a 6.463 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.463 * [taylor]: Taking taylor expansion of a in a 6.463 * [taylor]: Taking taylor expansion of eps in a 6.463 * [taylor]: Taking taylor expansion of 1.0 in a 6.463 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 6.463 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 6.463 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 6.463 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 6.463 * [taylor]: Taking taylor expansion of (/ 1 b) in a 6.463 * [taylor]: Taking taylor expansion of b in a 6.463 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.463 * [taylor]: Taking taylor expansion of a in a 6.464 * [taylor]: Taking taylor expansion of eps in a 6.464 * [taylor]: Taking taylor expansion of 1.0 in a 6.465 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 6.465 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 6.465 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 6.465 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 6.465 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.465 * [taylor]: Taking taylor expansion of b in b 6.465 * [taylor]: Taking taylor expansion of (/ 1 a) in b 6.465 * [taylor]: Taking taylor expansion of a in b 6.465 * [taylor]: Taking taylor expansion of eps in b 6.465 * [taylor]: Taking taylor expansion of 1.0 in b 6.466 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 6.466 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 6.466 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 6.466 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 6.466 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 6.466 * [taylor]: Taking taylor expansion of b in eps 6.466 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 6.466 * [taylor]: Taking taylor expansion of a in eps 6.466 * [taylor]: Taking taylor expansion of eps in eps 6.466 * [taylor]: Taking taylor expansion of 1.0 in eps 6.468 * [taylor]: Taking taylor expansion of 0 in b 6.468 * [taylor]: Taking taylor expansion of 0 in eps 6.468 * [taylor]: Taking taylor expansion of 0 in eps 6.469 * [taylor]: Taking taylor expansion of 0 in b 6.469 * [taylor]: Taking taylor expansion of 0 in eps 6.469 * [taylor]: Taking taylor expansion of 0 in eps 6.470 * [taylor]: Taking taylor expansion of 0 in eps 6.470 * [approximate]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in (a b eps) around 0 6.470 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 6.470 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 6.470 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 6.470 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 6.470 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 6.470 * [taylor]: Taking taylor expansion of b in eps 6.470 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 6.470 * [taylor]: Taking taylor expansion of a in eps 6.470 * [taylor]: Taking taylor expansion of eps in eps 6.470 * [taylor]: Taking taylor expansion of 1.0 in eps 6.470 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 6.470 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 6.471 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 6.471 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 6.471 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.471 * [taylor]: Taking taylor expansion of b in b 6.471 * [taylor]: Taking taylor expansion of (/ 1 a) in b 6.471 * [taylor]: Taking taylor expansion of a in b 6.471 * [taylor]: Taking taylor expansion of eps in b 6.471 * [taylor]: Taking taylor expansion of 1.0 in b 6.471 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 6.471 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 6.471 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 6.471 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 6.471 * [taylor]: Taking taylor expansion of (/ 1 b) in a 6.471 * [taylor]: Taking taylor expansion of b in a 6.471 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.471 * [taylor]: Taking taylor expansion of a in a 6.472 * [taylor]: Taking taylor expansion of eps in a 6.472 * [taylor]: Taking taylor expansion of 1.0 in a 6.472 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in a 6.472 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in a 6.472 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in a 6.472 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 6.472 * [taylor]: Taking taylor expansion of (/ 1 b) in a 6.472 * [taylor]: Taking taylor expansion of b in a 6.472 * [taylor]: Taking taylor expansion of (/ 1 a) in a 6.472 * [taylor]: Taking taylor expansion of a in a 6.473 * [taylor]: Taking taylor expansion of eps in a 6.473 * [taylor]: Taking taylor expansion of 1.0 in a 6.474 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in b 6.474 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in b 6.474 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in b 6.474 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 6.474 * [taylor]: Taking taylor expansion of (/ 1 b) in b 6.474 * [taylor]: Taking taylor expansion of b in b 6.474 * [taylor]: Taking taylor expansion of (/ 1 a) in b 6.474 * [taylor]: Taking taylor expansion of a in b 6.474 * [taylor]: Taking taylor expansion of eps in b 6.474 * [taylor]: Taking taylor expansion of 1.0 in b 6.475 * [taylor]: Taking taylor expansion of (- (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) 1.0) in eps 6.475 * [taylor]: Taking taylor expansion of (exp (/ (+ (/ 1 b) (/ 1 a)) eps)) in eps 6.475 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (/ 1 a)) eps) in eps 6.475 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in eps 6.475 * [taylor]: Taking taylor expansion of (/ 1 b) in eps 6.475 * [taylor]: Taking taylor expansion of b in eps 6.475 * [taylor]: Taking taylor expansion of (/ 1 a) in eps 6.475 * [taylor]: Taking taylor expansion of a in eps 6.475 * [taylor]: Taking taylor expansion of eps in eps 6.475 * [taylor]: Taking taylor expansion of 1.0 in eps 6.477 * [taylor]: Taking taylor expansion of 0 in b 6.477 * [taylor]: Taking taylor expansion of 0 in eps 6.477 * [taylor]: Taking taylor expansion of 0 in eps 6.478 * [taylor]: Taking taylor expansion of 0 in b 6.478 * [taylor]: Taking taylor expansion of 0 in eps 6.478 * [taylor]: Taking taylor expansion of 0 in eps 6.479 * [taylor]: Taking taylor expansion of 0 in eps 6.479 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 6.479 * [approximate]: Taking taylor expansion of (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in (b eps) around 0 6.479 * [taylor]: Taking taylor expansion of (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in eps 6.479 * [taylor]: Taking taylor expansion of (pow b 2) in eps 6.479 * [taylor]: Taking taylor expansion of b in eps 6.479 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in eps 6.479 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 6.479 * [taylor]: Taking taylor expansion of 1/2 in eps 6.479 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.479 * [taylor]: Taking taylor expansion of eps in eps 6.479 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in eps 6.479 * [taylor]: Taking taylor expansion of 1/6 in eps 6.479 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 6.479 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.479 * [taylor]: Taking taylor expansion of eps in eps 6.479 * [taylor]: Taking taylor expansion of b in eps 6.480 * [taylor]: Taking taylor expansion of (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in b 6.480 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.480 * [taylor]: Taking taylor expansion of b in b 6.480 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in b 6.480 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in b 6.480 * [taylor]: Taking taylor expansion of 1/2 in b 6.480 * [taylor]: Taking taylor expansion of (pow eps 2) in b 6.480 * [taylor]: Taking taylor expansion of eps in b 6.480 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in b 6.480 * [taylor]: Taking taylor expansion of 1/6 in b 6.480 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.480 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.480 * [taylor]: Taking taylor expansion of eps in b 6.480 * [taylor]: Taking taylor expansion of b in b 6.480 * [taylor]: Taking taylor expansion of (* (pow b 2) (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b)))) in b 6.480 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.480 * [taylor]: Taking taylor expansion of b in b 6.480 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow eps 2)) (* 1/6 (* (pow eps 3) b))) in b 6.480 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in b 6.480 * [taylor]: Taking taylor expansion of 1/2 in b 6.480 * [taylor]: Taking taylor expansion of (pow eps 2) in b 6.480 * [taylor]: Taking taylor expansion of eps in b 6.480 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in b 6.480 * [taylor]: Taking taylor expansion of 1/6 in b 6.480 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.480 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.480 * [taylor]: Taking taylor expansion of eps in b 6.480 * [taylor]: Taking taylor expansion of b in b 6.481 * [taylor]: Taking taylor expansion of (* 1/2 (pow eps 2)) in eps 6.481 * [taylor]: Taking taylor expansion of 1/2 in eps 6.481 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.481 * [taylor]: Taking taylor expansion of eps in eps 6.483 * [taylor]: Taking taylor expansion of (* 1/6 (pow eps 3)) in eps 6.483 * [taylor]: Taking taylor expansion of 1/6 in eps 6.483 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.483 * [taylor]: Taking taylor expansion of eps in eps 6.488 * [taylor]: Taking taylor expansion of 0 in eps 6.495 * [taylor]: Taking taylor expansion of 0 in eps 6.504 * [taylor]: Taking taylor expansion of 0 in eps 6.505 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in (b eps) around 0 6.505 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in eps 6.505 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in eps 6.505 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 6.505 * [taylor]: Taking taylor expansion of 1/2 in eps 6.505 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 6.505 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.505 * [taylor]: Taking taylor expansion of eps in eps 6.506 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in eps 6.506 * [taylor]: Taking taylor expansion of 1/6 in eps 6.506 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in eps 6.506 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 6.506 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.506 * [taylor]: Taking taylor expansion of eps in eps 6.506 * [taylor]: Taking taylor expansion of b in eps 6.506 * [taylor]: Taking taylor expansion of (pow b 2) in eps 6.506 * [taylor]: Taking taylor expansion of b in eps 6.507 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in b 6.507 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 6.507 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 6.507 * [taylor]: Taking taylor expansion of 1/2 in b 6.507 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 6.507 * [taylor]: Taking taylor expansion of (pow eps 2) in b 6.507 * [taylor]: Taking taylor expansion of eps in b 6.507 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 6.507 * [taylor]: Taking taylor expansion of 1/6 in b 6.507 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 6.507 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.507 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.507 * [taylor]: Taking taylor expansion of eps in b 6.507 * [taylor]: Taking taylor expansion of b in b 6.508 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.508 * [taylor]: Taking taylor expansion of b in b 6.508 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in b 6.508 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 6.508 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 6.508 * [taylor]: Taking taylor expansion of 1/2 in b 6.508 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 6.508 * [taylor]: Taking taylor expansion of (pow eps 2) in b 6.508 * [taylor]: Taking taylor expansion of eps in b 6.508 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 6.508 * [taylor]: Taking taylor expansion of 1/6 in b 6.508 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 6.508 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.508 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.508 * [taylor]: Taking taylor expansion of eps in b 6.508 * [taylor]: Taking taylor expansion of b in b 6.509 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.509 * [taylor]: Taking taylor expansion of b in b 6.510 * [taylor]: Taking taylor expansion of (/ 1/6 (pow eps 3)) in eps 6.510 * [taylor]: Taking taylor expansion of 1/6 in eps 6.510 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.510 * [taylor]: Taking taylor expansion of eps in eps 6.513 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 6.513 * [taylor]: Taking taylor expansion of 1/2 in eps 6.513 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 6.513 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.513 * [taylor]: Taking taylor expansion of eps in eps 6.519 * [taylor]: Taking taylor expansion of 0 in eps 6.527 * [taylor]: Taking taylor expansion of 0 in eps 6.542 * [taylor]: Taking taylor expansion of 0 in eps 6.556 * [taylor]: Taking taylor expansion of 0 in eps 6.556 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in (b eps) around 0 6.556 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in eps 6.556 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in eps 6.557 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 6.557 * [taylor]: Taking taylor expansion of 1/2 in eps 6.557 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 6.557 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.557 * [taylor]: Taking taylor expansion of eps in eps 6.557 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in eps 6.557 * [taylor]: Taking taylor expansion of 1/6 in eps 6.557 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in eps 6.557 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 6.557 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.557 * [taylor]: Taking taylor expansion of eps in eps 6.557 * [taylor]: Taking taylor expansion of b in eps 6.558 * [taylor]: Taking taylor expansion of (pow b 2) in eps 6.558 * [taylor]: Taking taylor expansion of b in eps 6.558 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in b 6.558 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 6.558 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 6.558 * [taylor]: Taking taylor expansion of 1/2 in b 6.558 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 6.558 * [taylor]: Taking taylor expansion of (pow eps 2) in b 6.558 * [taylor]: Taking taylor expansion of eps in b 6.558 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 6.558 * [taylor]: Taking taylor expansion of 1/6 in b 6.558 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 6.558 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.558 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.558 * [taylor]: Taking taylor expansion of eps in b 6.558 * [taylor]: Taking taylor expansion of b in b 6.559 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.559 * [taylor]: Taking taylor expansion of b in b 6.559 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) (pow b 2)) in b 6.559 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow eps 2))) (* 1/6 (/ 1 (* (pow eps 3) b)))) in b 6.560 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in b 6.560 * [taylor]: Taking taylor expansion of 1/2 in b 6.560 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in b 6.560 * [taylor]: Taking taylor expansion of (pow eps 2) in b 6.560 * [taylor]: Taking taylor expansion of eps in b 6.560 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow eps 3) b))) in b 6.560 * [taylor]: Taking taylor expansion of 1/6 in b 6.560 * [taylor]: Taking taylor expansion of (/ 1 (* (pow eps 3) b)) in b 6.560 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.560 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.560 * [taylor]: Taking taylor expansion of eps in b 6.560 * [taylor]: Taking taylor expansion of b in b 6.560 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.560 * [taylor]: Taking taylor expansion of b in b 6.561 * [taylor]: Taking taylor expansion of (/ 1/6 (pow eps 3)) in eps 6.561 * [taylor]: Taking taylor expansion of 1/6 in eps 6.561 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.561 * [taylor]: Taking taylor expansion of eps in eps 6.564 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow eps 2))) in eps 6.564 * [taylor]: Taking taylor expansion of 1/2 in eps 6.564 * [taylor]: Taking taylor expansion of (/ 1 (pow eps 2)) in eps 6.564 * [taylor]: Taking taylor expansion of (pow eps 2) in eps 6.564 * [taylor]: Taking taylor expansion of eps in eps 6.571 * [taylor]: Taking taylor expansion of 0 in eps 6.579 * [taylor]: Taking taylor expansion of 0 in eps 6.590 * [taylor]: Taking taylor expansion of 0 in eps 6.603 * [taylor]: Taking taylor expansion of 0 in eps 6.604 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2 2 2) 6.604 * [approximate]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in (eps b) around 0 6.604 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in b 6.604 * [taylor]: Taking taylor expansion of 1/6 in b 6.604 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.604 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.604 * [taylor]: Taking taylor expansion of eps in b 6.604 * [taylor]: Taking taylor expansion of b in b 6.604 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in eps 6.604 * [taylor]: Taking taylor expansion of 1/6 in eps 6.604 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 6.604 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.604 * [taylor]: Taking taylor expansion of eps in eps 6.604 * [taylor]: Taking taylor expansion of b in eps 6.604 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow eps 3) b)) in eps 6.604 * [taylor]: Taking taylor expansion of 1/6 in eps 6.604 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 6.604 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.604 * [taylor]: Taking taylor expansion of eps in eps 6.604 * [taylor]: Taking taylor expansion of b in eps 6.605 * [taylor]: Taking taylor expansion of (* 1/6 b) in b 6.605 * [taylor]: Taking taylor expansion of 1/6 in b 6.605 * [taylor]: Taking taylor expansion of b in b 6.607 * [taylor]: Taking taylor expansion of 0 in b 6.609 * [taylor]: Taking taylor expansion of 0 in b 6.612 * [taylor]: Taking taylor expansion of 0 in b 6.612 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in (eps b) around 0 6.613 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in b 6.613 * [taylor]: Taking taylor expansion of 1/6 in b 6.613 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.613 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.613 * [taylor]: Taking taylor expansion of eps in b 6.613 * [taylor]: Taking taylor expansion of b in b 6.613 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in eps 6.613 * [taylor]: Taking taylor expansion of 1/6 in eps 6.613 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 6.613 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.613 * [taylor]: Taking taylor expansion of eps in eps 6.613 * [taylor]: Taking taylor expansion of b in eps 6.614 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in eps 6.614 * [taylor]: Taking taylor expansion of 1/6 in eps 6.614 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 6.614 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.614 * [taylor]: Taking taylor expansion of eps in eps 6.614 * [taylor]: Taking taylor expansion of b in eps 6.615 * [taylor]: Taking taylor expansion of (/ 1/6 b) in b 6.615 * [taylor]: Taking taylor expansion of 1/6 in b 6.615 * [taylor]: Taking taylor expansion of b in b 6.616 * [taylor]: Taking taylor expansion of 0 in b 6.618 * [taylor]: Taking taylor expansion of 0 in b 6.625 * [taylor]: Taking taylor expansion of 0 in b 6.626 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in (eps b) around 0 6.626 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in b 6.626 * [taylor]: Taking taylor expansion of 1/6 in b 6.626 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in b 6.626 * [taylor]: Taking taylor expansion of (pow eps 3) in b 6.626 * [taylor]: Taking taylor expansion of eps in b 6.626 * [taylor]: Taking taylor expansion of b in b 6.627 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in eps 6.627 * [taylor]: Taking taylor expansion of 1/6 in eps 6.627 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 6.627 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.627 * [taylor]: Taking taylor expansion of eps in eps 6.627 * [taylor]: Taking taylor expansion of b in eps 6.628 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow eps 3) b)) in eps 6.628 * [taylor]: Taking taylor expansion of 1/6 in eps 6.628 * [taylor]: Taking taylor expansion of (* (pow eps 3) b) in eps 6.628 * [taylor]: Taking taylor expansion of (pow eps 3) in eps 6.628 * [taylor]: Taking taylor expansion of eps in eps 6.628 * [taylor]: Taking taylor expansion of b in eps 6.628 * [taylor]: Taking taylor expansion of (/ 1/6 b) in b 6.628 * [taylor]: Taking taylor expansion of 1/6 in b 6.628 * [taylor]: Taking taylor expansion of b in b 6.630 * [taylor]: Taking taylor expansion of 0 in b 6.632 * [taylor]: Taking taylor expansion of 0 in b 6.634 * [taylor]: Taking taylor expansion of 0 in b 6.635 * * * [progress]: simplifying candidates 6.637 * [simplify]: Simplifying using # : (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (+ (log b) (log (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (log (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (exp (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (* (* b b) b) (* (* (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (cbrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (cbrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (cbrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (sqrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (sqrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt b) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt b) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (* 1/2 (pow eps 2))) (* b (* (* 1/6 (pow eps 3)) b)) (* (* 1/2 (pow eps 2)) b) (* (* (* 1/6 (pow eps 3)) b) b) (* b (* (cbrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (cbrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* b (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b 1) (* (cbrt b) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (sqrt b) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (pow (* 1/2 (pow eps 2)) 3) (pow (* (* 1/6 (pow eps 3)) b) 3))) (* b (- (* (* 1/2 (pow eps 2)) (* 1/2 (pow eps 2))) (* (* (* 1/6 (pow eps 3)) b) (* (* 1/6 (pow eps 3)) b)))) (/ (exp (exp (* (+ a b) eps))) (exp 1.0)) (log (- (exp (* (+ a b) eps)) 1.0)) (exp (- (exp (* (+ a b) eps)) 1.0)) (* (cbrt (- (exp (* (+ a b) eps)) 1.0)) (cbrt (- (exp (* (+ a b) eps)) 1.0))) (cbrt (- (exp (* (+ a b) eps)) 1.0)) (* (* (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0)) (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (- (pow (exp (* (+ a b) eps)) 3) (pow 1.0 3)) (+ (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (+ (* 1.0 1.0) (* (exp (* (+ a b) eps)) 1.0))) (- 1.0) (- (* (exp (* (+ a b) eps)) (exp (* (+ a b) eps))) (* 1.0 1.0)) (+ (exp (* (+ a b) eps)) 1.0) (+ (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (exp (* (+ a b) eps)) 1.0) (- 1.0) (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (+ (log b) (+ (log b) (log (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (+ (log b) (log (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (log (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (exp (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (* (* b b) b) (* (* (* b b) b) (* (* (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (* (* b b) b) (* (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (cbrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (cbrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))))) (cbrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (* (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (sqrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (sqrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* b (* b (* 1/2 (pow eps 2)))) (* b (* b (* (* 1/6 (pow eps 3)) b))) (* b (* (* 1/2 (pow eps 2)) b)) (* b (* (* (* 1/6 (pow eps 3)) b) b)) (* (* b (* 1/2 (pow eps 2))) b) (* (* b (* (* 1/6 (pow eps 3)) b)) b) (* (* (* 1/2 (pow eps 2)) b) b) (* (* (* (* 1/6 (pow eps 3)) b) b) b) (* b b) (* (cbrt b) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt b) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* b (* b (+ (pow (* 1/2 (pow eps 2)) 3) (pow (* (* 1/6 (pow eps 3)) b) 3)))) (* b (* b (- (* (* 1/2 (pow eps 2)) (* 1/2 (pow eps 2))) (* (* (* 1/6 (pow eps 3)) b) (* (* 1/6 (pow eps 3)) b))))) (* (* 1/6 (pow eps 3)) b) (+ (+ (log 1/6) (* (log eps) 3)) (log b)) (+ (+ (log 1/6) (* (log eps) 3)) (log b)) (+ (+ (log 1/6) (log (pow eps 3))) (log b)) (+ (log (* 1/6 (pow eps 3))) (log b)) (log (* (* 1/6 (pow eps 3)) b)) (exp (* (* 1/6 (pow eps 3)) b)) (* (* (* (* 1/6 1/6) 1/6) (* (* (pow eps 3) (pow eps 3)) (pow eps 3))) (* (* b b) b)) (* (* (* (* 1/6 (pow eps 3)) (* 1/6 (pow eps 3))) (* 1/6 (pow eps 3))) (* (* b b) b)) (* (cbrt (* (* 1/6 (pow eps 3)) b)) (cbrt (* (* 1/6 (pow eps 3)) b))) (cbrt (* (* 1/6 (pow eps 3)) b)) (* (* (* (* 1/6 (pow eps 3)) b) (* (* 1/6 (pow eps 3)) b)) (* (* 1/6 (pow eps 3)) b)) (sqrt (* (* 1/6 (pow eps 3)) b)) (sqrt (* (* 1/6 (pow eps 3)) b)) (* (* 1/6 (pow eps 3)) (* (cbrt b) (cbrt b))) (* (* 1/6 (pow eps 3)) (sqrt b)) (* (* 1/6 (pow eps 3)) 1) (* (pow eps 3) b) (+ (* 1/2 (* (pow eps 2) b)) (* 1/6 (* (pow eps 3) (pow b 2)))) (+ (* 1/2 (* (pow eps 2) b)) (* 1/6 (* (pow eps 3) (pow b 2)))) (+ (* 1/2 (* (pow eps 2) b)) (* 1/6 (* (pow eps 3) (pow b 2)))) (+ (* 1/2 (* (pow a 2) (pow eps 2))) (+ (* a eps) (* eps b))) (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (* 1/2 (* (pow eps 2) (pow b 2)))) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (* 1/2 (* (pow eps 2) (pow b 2)))) (+ (* 1/6 (* (pow eps 3) (pow b 3))) (* 1/2 (* (pow eps 2) (pow b 2)))) (* 1/6 (* (pow eps 3) b)) (* 1/6 (* (pow eps 3) b)) (* 1/6 (* (pow eps 3) b)) 6.642 * * [simplify]: iteration 0 : 157 enodes (cost 1557 ) 6.688 * * [simplify]: iteration 1 : 421 enodes (cost 1477 ) 6.862 * * [simplify]: iteration 2 : 1678 enodes (cost 1259 ) 7.495 * * [simplify]: iteration done : 5000 enodes (cost 1259 ) 7.495 * [simplify]: Simplified to: (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (log (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (log (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (exp (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (pow (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) 3) (* (cbrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (cbrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (cbrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (pow (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) 3) (sqrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (sqrt (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt b) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt b) (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* 1/2 (* (pow eps 2) b)) (* b (* (* 1/6 (pow eps 3)) b)) (* 1/2 (* (pow eps 2) b)) (* b (* (* 1/6 (pow eps 3)) b)) (* b (* (cbrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (cbrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* b (sqrt (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) b (* (cbrt b) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* (sqrt b) (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (pow (* 1/6 (* (pow eps 3) b)) 3) (* (pow eps 6) 1/8))) (* b (- (* 1/4 (pow eps 4)) (* (* 1/36 (pow eps 6)) (* b b)))) (exp (- (exp (* (+ a b) eps)) 1.0)) (log (- (exp (* (+ a b) eps)) 1.0)) (exp (- (exp (* (+ a b) eps)) 1.0)) (* (cbrt (- (exp (* (+ a b) eps)) 1.0)) (cbrt (- (exp (* (+ a b) eps)) 1.0))) (cbrt (- (exp (* (+ a b) eps)) 1.0)) (pow (- (exp (* (+ a b) eps)) 1.0) 3) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (sqrt (- (exp (* (+ a b) eps)) 1.0)) (- (pow (exp (* (+ a b) eps)) 3) (pow 1.0 3)) (+ (* 1.0 (+ (exp (* (+ a b) eps)) 1.0)) (exp (* 2 (* eps (+ a b))))) (- 1.0) (- (exp (* 2 (* eps (+ a b)))) (* 1.0 1.0)) (+ (exp (* (+ a b) eps)) 1.0) (+ (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (sqrt (exp (* (+ a b) eps))) (sqrt 1.0)) (- (exp (* (+ a b) eps)) 1.0) (- 1.0) (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (log (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (log (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (log (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (exp (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (pow (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)) 3) (pow b 6)) (* (pow (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)) 3) (pow b 6)) (* (cbrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (cbrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))))) (cbrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (pow (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)) 3) (pow b 6)) (sqrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (sqrt (* b (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))))) (* (* b (* 1/2 (pow eps 2))) b) (* 1/6 (* (pow eps 3) (pow b 3))) (* (* b (* 1/2 (pow eps 2))) b) (* 1/6 (* (pow eps 3) (pow b 3))) (* (* b (* 1/2 (pow eps 2))) b) (* 1/6 (* (pow eps 3) (pow b 3))) (* (* b (* 1/2 (pow eps 2))) b) (* 1/6 (* (pow eps 3) (pow b 3))) (* b b) (* (cbrt b) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (sqrt b) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b)))) (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* (* b (+ (pow (* 1/6 (* (pow eps 3) b)) 3) (* (pow eps 6) 1/8))) b) (* (- (* 1/4 (pow eps 4)) (* (* 1/36 (pow eps 6)) (* b b))) (* b b)) (* 1/6 (* (pow eps 3) b)) (log (* (* 1/6 (pow eps 3)) b)) (log (* (* 1/6 (pow eps 3)) b)) (log (* (* 1/6 (pow eps 3)) b)) (log (* (* 1/6 (pow eps 3)) b)) (log (* (* 1/6 (pow eps 3)) b)) (exp (* (* 1/6 (pow eps 3)) b)) (pow (* 1/6 (* (pow eps 3) b)) 3) (pow (* 1/6 (* (pow eps 3) b)) 3) (* (cbrt (* (* 1/6 (pow eps 3)) b)) (cbrt (* (* 1/6 (pow eps 3)) b))) (cbrt (* (* 1/6 (pow eps 3)) b)) (pow (* 1/6 (* (pow eps 3) b)) 3) (sqrt (* (* 1/6 (pow eps 3)) b)) (sqrt (* (* 1/6 (pow eps 3)) b)) (* (* 1/6 (pow eps 3)) (* (cbrt b) (cbrt b))) (* (* 1/6 (pow eps 3)) (sqrt b)) (* 1/6 (pow eps 3)) (* (pow eps 3) b) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) (+ (* (+ a b) eps) (* 1/2 (* (pow a 2) (pow eps 2)))) (- (exp (* (+ a b) eps)) 1.0) (- (exp (* (+ a b) eps)) 1.0) (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* (* b (+ (* 1/2 (pow eps 2)) (* (* 1/6 (pow eps 3)) b))) b) (* 1/6 (* (pow eps 3) b)) (* 1/6 (* (pow eps 3) b)) (* 1/6 (* (pow eps 3) b)) 7.496 * * * [progress]: adding candidates to table 7.915 * [progress]: [Phase 3 of 3] Extracting. 7.915 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 7.925 * * * [regime-changes]: Trying 3 branch expressions: (eps b a) 7.925 * * * * [regimes]: Trying to branch on eps from (# # # # # # # # #) 7.986 * * * * [regimes]: Trying to branch on b from (# # # # # # # # #) 8.060 * * * * [regimes]: Trying to branch on a from (# # # # # # # # #) 8.135 * * * [regime]: Found split indices: #