14.699 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.041 * [progress]: [Phase 2 of 3] Improving. 0.041 * [simplify]: Simplifying using # : (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0) 0.042 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 0.044 * * [simplify]: iteration 1 : 25 enodes (cost 17 ) 0.047 * * [simplify]: iteration 2 : 39 enodes (cost 17 ) 0.053 * * [simplify]: iteration 3 : 63 enodes (cost 17 ) 0.063 * * [simplify]: iteration 4 : 109 enodes (cost 17 ) 0.092 * * [simplify]: iteration 5 : 245 enodes (cost 17 ) 0.200 * * [simplify]: iteration 6 : 815 enodes (cost 17 ) 1.708 * * [simplify]: iteration 7 : 3747 enodes (cost 17 ) 3.448 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 3.448 * [simplify]: Simplified to: (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 1.0) 3.448 * * [progress]: iteration 1 / 4 3.448 * * * [progress]: picking best candidate 3.450 * * * * [pick]: Picked # 3.450 * * * [progress]: localizing error 3.464 * * * [progress]: generating rewritten candidates 3.464 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 3.468 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 3.471 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 3.477 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 3.503 * * * [progress]: generating series expansions 3.503 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 3.503 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in (a b) around 0 3.503 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in b 3.503 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in b 3.503 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in b 3.503 * [taylor]: Taking taylor expansion of 2.0 in b 3.503 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in b 3.503 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 3.503 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.503 * [taylor]: Taking taylor expansion of a in b 3.503 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.503 * [taylor]: Taking taylor expansion of b in b 3.504 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 3.504 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 3.504 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 3.504 * [taylor]: Taking taylor expansion of 2.0 in a 3.504 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 3.504 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 3.504 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.504 * [taylor]: Taking taylor expansion of a in a 3.504 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.504 * [taylor]: Taking taylor expansion of b in a 3.504 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 3.504 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 3.504 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 3.504 * [taylor]: Taking taylor expansion of 2.0 in a 3.504 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 3.504 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 3.504 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.504 * [taylor]: Taking taylor expansion of a in a 3.504 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.504 * [taylor]: Taking taylor expansion of b in a 3.505 * [taylor]: Taking taylor expansion of (pow (pow b 2) 2.0) in b 3.505 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow b 2)))) in b 3.505 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow b 2))) in b 3.505 * [taylor]: Taking taylor expansion of 2.0 in b 3.505 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 3.505 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.505 * [taylor]: Taking taylor expansion of b in b 3.507 * [taylor]: Taking taylor expansion of 0 in b 3.512 * [taylor]: Taking taylor expansion of (* 2.0 (pow (pow b 2.0) 1.0)) in b 3.512 * [taylor]: Taking taylor expansion of 2.0 in b 3.513 * [taylor]: Taking taylor expansion of (pow (pow b 2.0) 1.0) in b 3.513 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow b 2.0)))) in b 3.513 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow b 2.0))) in b 3.513 * [taylor]: Taking taylor expansion of 1.0 in b 3.513 * [taylor]: Taking taylor expansion of (log (pow b 2.0)) in b 3.513 * [taylor]: Taking taylor expansion of (pow b 2.0) in b 3.513 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log b))) in b 3.513 * [taylor]: Taking taylor expansion of (* 2.0 (log b)) in b 3.513 * [taylor]: Taking taylor expansion of 2.0 in b 3.513 * [taylor]: Taking taylor expansion of (log b) in b 3.513 * [taylor]: Taking taylor expansion of b in b 3.522 * [taylor]: Taking taylor expansion of 0 in b 3.531 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 3.531 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 3.531 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 3.531 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 3.531 * [taylor]: Taking taylor expansion of 2.0 in b 3.531 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 3.531 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 3.531 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.531 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.531 * [taylor]: Taking taylor expansion of b in b 3.532 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.532 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.532 * [taylor]: Taking taylor expansion of a in b 3.533 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 3.533 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 3.533 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 3.533 * [taylor]: Taking taylor expansion of 2.0 in a 3.533 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 3.533 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 3.533 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.533 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.533 * [taylor]: Taking taylor expansion of b in a 3.533 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.533 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.533 * [taylor]: Taking taylor expansion of a in a 3.534 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 3.534 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 3.534 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 3.534 * [taylor]: Taking taylor expansion of 2.0 in a 3.534 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 3.534 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 3.534 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.534 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.534 * [taylor]: Taking taylor expansion of b in a 3.535 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.535 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.535 * [taylor]: Taking taylor expansion of a in a 3.536 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 3.536 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 3.536 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 3.536 * [taylor]: Taking taylor expansion of -4.0 in b 3.536 * [taylor]: Taking taylor expansion of (log a) in b 3.536 * [taylor]: Taking taylor expansion of a in b 3.539 * [taylor]: Taking taylor expansion of 0 in b 3.548 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 3.548 * [taylor]: Taking taylor expansion of 2.0 in b 3.548 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 3.548 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 3.548 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 3.548 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 3.548 * [taylor]: Taking taylor expansion of 1.0 in b 3.548 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 3.548 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 3.548 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 3.548 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 3.548 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 3.548 * [taylor]: Taking taylor expansion of 4.0 in b 3.548 * [taylor]: Taking taylor expansion of (log a) in b 3.548 * [taylor]: Taking taylor expansion of a in b 3.549 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.549 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.549 * [taylor]: Taking taylor expansion of b in b 3.569 * [taylor]: Taking taylor expansion of 0 in b 3.570 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 3.570 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 3.570 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 3.570 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 3.570 * [taylor]: Taking taylor expansion of 2.0 in b 3.570 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 3.570 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 3.570 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.570 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.570 * [taylor]: Taking taylor expansion of b in b 3.570 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.570 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.570 * [taylor]: Taking taylor expansion of a in b 3.571 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 3.571 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 3.571 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 3.571 * [taylor]: Taking taylor expansion of 2.0 in a 3.571 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 3.571 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 3.571 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.571 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.571 * [taylor]: Taking taylor expansion of b in a 3.572 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.572 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.572 * [taylor]: Taking taylor expansion of a in a 3.573 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 3.573 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 3.573 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 3.573 * [taylor]: Taking taylor expansion of 2.0 in a 3.573 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 3.573 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 3.573 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.573 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.573 * [taylor]: Taking taylor expansion of b in a 3.573 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.573 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.573 * [taylor]: Taking taylor expansion of a in a 3.574 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 3.574 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 3.575 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 3.575 * [taylor]: Taking taylor expansion of -4.0 in b 3.575 * [taylor]: Taking taylor expansion of (log a) in b 3.575 * [taylor]: Taking taylor expansion of a in b 3.577 * [taylor]: Taking taylor expansion of 0 in b 3.583 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 3.583 * [taylor]: Taking taylor expansion of 2.0 in b 3.583 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 3.583 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 3.583 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 3.583 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 3.583 * [taylor]: Taking taylor expansion of 1.0 in b 3.583 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 3.583 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 3.583 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 3.583 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 3.583 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 3.583 * [taylor]: Taking taylor expansion of 4.0 in b 3.583 * [taylor]: Taking taylor expansion of (log a) in b 3.583 * [taylor]: Taking taylor expansion of a in b 3.584 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.584 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.584 * [taylor]: Taking taylor expansion of b in b 3.604 * [taylor]: Taking taylor expansion of 0 in b 3.604 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 3.604 * [approximate]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in (a b) around 0 3.604 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 3.604 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.604 * [taylor]: Taking taylor expansion of a in b 3.604 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.604 * [taylor]: Taking taylor expansion of b in b 3.605 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 3.605 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.605 * [taylor]: Taking taylor expansion of a in a 3.605 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.605 * [taylor]: Taking taylor expansion of b in a 3.605 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 3.605 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.605 * [taylor]: Taking taylor expansion of a in a 3.605 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.605 * [taylor]: Taking taylor expansion of b in a 3.605 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.605 * [taylor]: Taking taylor expansion of b in b 3.605 * [taylor]: Taking taylor expansion of 0 in b 3.606 * [taylor]: Taking taylor expansion of 1 in b 3.607 * [taylor]: Taking taylor expansion of 0 in b 3.609 * [taylor]: Taking taylor expansion of 0 in b 3.609 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in (a b) around 0 3.610 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 3.610 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.610 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.610 * [taylor]: Taking taylor expansion of b in b 3.610 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.610 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.610 * [taylor]: Taking taylor expansion of a in b 3.610 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 3.610 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.610 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.610 * [taylor]: Taking taylor expansion of b in a 3.610 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.610 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.610 * [taylor]: Taking taylor expansion of a in a 3.611 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 3.611 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.611 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.611 * [taylor]: Taking taylor expansion of b in a 3.611 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.611 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.611 * [taylor]: Taking taylor expansion of a in a 3.612 * [taylor]: Taking taylor expansion of 1 in b 3.613 * [taylor]: Taking taylor expansion of 0 in b 3.614 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.614 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.614 * [taylor]: Taking taylor expansion of b in b 3.616 * [taylor]: Taking taylor expansion of 0 in b 3.618 * [taylor]: Taking taylor expansion of 0 in b 3.620 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in (a b) around 0 3.620 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 3.620 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.620 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.620 * [taylor]: Taking taylor expansion of b in b 3.620 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 3.620 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.620 * [taylor]: Taking taylor expansion of a in b 3.621 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 3.621 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.621 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.621 * [taylor]: Taking taylor expansion of b in a 3.621 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.621 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.621 * [taylor]: Taking taylor expansion of a in a 3.621 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 3.621 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.621 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.621 * [taylor]: Taking taylor expansion of b in a 3.621 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 3.621 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.621 * [taylor]: Taking taylor expansion of a in a 3.622 * [taylor]: Taking taylor expansion of 1 in b 3.623 * [taylor]: Taking taylor expansion of 0 in b 3.625 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.625 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.625 * [taylor]: Taking taylor expansion of b in b 3.627 * [taylor]: Taking taylor expansion of 0 in b 3.630 * [taylor]: Taking taylor expansion of 0 in b 3.631 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 3.631 * [approximate]: Taking taylor expansion of (* 4.0 (pow b 2)) in (b) around 0 3.631 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 3.631 * [taylor]: Taking taylor expansion of 4.0 in b 3.631 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.631 * [taylor]: Taking taylor expansion of b in b 3.631 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 3.631 * [taylor]: Taking taylor expansion of 4.0 in b 3.631 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.631 * [taylor]: Taking taylor expansion of b in b 3.642 * [approximate]: Taking taylor expansion of (/ 4.0 (pow b 2)) in (b) around 0 3.642 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b 3.642 * [taylor]: Taking taylor expansion of 4.0 in b 3.642 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.642 * [taylor]: Taking taylor expansion of b in b 3.642 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b 3.642 * [taylor]: Taking taylor expansion of 4.0 in b 3.642 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.643 * [taylor]: Taking taylor expansion of b in b 3.650 * [approximate]: Taking taylor expansion of (/ 4.0 (pow b 2)) in (b) around 0 3.650 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b 3.650 * [taylor]: Taking taylor expansion of 4.0 in b 3.650 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.650 * [taylor]: Taking taylor expansion of b in b 3.650 * [taylor]: Taking taylor expansion of (/ 4.0 (pow b 2)) in b 3.650 * [taylor]: Taking taylor expansion of 4.0 in b 3.650 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.650 * [taylor]: Taking taylor expansion of b in b 3.657 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 3.658 * [approximate]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in (a b) around 0 3.658 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in b 3.658 * [taylor]: Taking taylor expansion of (pow a 4) in b 3.658 * [taylor]: Taking taylor expansion of a in b 3.658 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in b 3.658 * [taylor]: Taking taylor expansion of (pow b 4) in b 3.658 * [taylor]: Taking taylor expansion of b in b 3.658 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in b 3.658 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 3.658 * [taylor]: Taking taylor expansion of 4.0 in b 3.658 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.658 * [taylor]: Taking taylor expansion of b in b 3.658 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 3.658 * [taylor]: Taking taylor expansion of 2 in b 3.658 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 3.658 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.658 * [taylor]: Taking taylor expansion of a in b 3.658 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.658 * [taylor]: Taking taylor expansion of b in b 3.658 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in a 3.658 * [taylor]: Taking taylor expansion of (pow a 4) in a 3.658 * [taylor]: Taking taylor expansion of a in a 3.658 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in a 3.659 * [taylor]: Taking taylor expansion of (pow b 4) in a 3.659 * [taylor]: Taking taylor expansion of b in a 3.659 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in a 3.659 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in a 3.659 * [taylor]: Taking taylor expansion of 4.0 in a 3.659 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.659 * [taylor]: Taking taylor expansion of b in a 3.659 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 3.659 * [taylor]: Taking taylor expansion of 2 in a 3.659 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 3.659 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.659 * [taylor]: Taking taylor expansion of a in a 3.659 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.659 * [taylor]: Taking taylor expansion of b in a 3.659 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))))) in a 3.659 * [taylor]: Taking taylor expansion of (pow a 4) in a 3.659 * [taylor]: Taking taylor expansion of a in a 3.659 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) in a 3.659 * [taylor]: Taking taylor expansion of (pow b 4) in a 3.659 * [taylor]: Taking taylor expansion of b in a 3.659 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2)))) in a 3.659 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in a 3.659 * [taylor]: Taking taylor expansion of 4.0 in a 3.659 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.659 * [taylor]: Taking taylor expansion of b in a 3.659 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 3.659 * [taylor]: Taking taylor expansion of 2 in a 3.659 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 3.659 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.659 * [taylor]: Taking taylor expansion of a in a 3.659 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.659 * [taylor]: Taking taylor expansion of b in a 3.660 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 4.0 (pow b 2))) in b 3.660 * [taylor]: Taking taylor expansion of (pow b 4) in b 3.660 * [taylor]: Taking taylor expansion of b in b 3.660 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 3.660 * [taylor]: Taking taylor expansion of 4.0 in b 3.660 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.660 * [taylor]: Taking taylor expansion of b in b 3.661 * [taylor]: Taking taylor expansion of 0 in b 3.663 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 3.663 * [taylor]: Taking taylor expansion of 2 in b 3.663 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.663 * [taylor]: Taking taylor expansion of b in b 3.668 * [taylor]: Taking taylor expansion of 0 in b 3.676 * [taylor]: Taking taylor expansion of 1 in b 3.677 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in (a b) around 0 3.677 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in b 3.677 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 3.677 * [taylor]: Taking taylor expansion of 2 in b 3.677 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 3.677 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 3.677 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.677 * [taylor]: Taking taylor expansion of a in b 3.677 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.677 * [taylor]: Taking taylor expansion of b in b 3.677 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 3.677 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 3.677 * [taylor]: Taking taylor expansion of 4.0 in b 3.678 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.678 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.678 * [taylor]: Taking taylor expansion of b in b 3.678 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 3.678 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 3.678 * [taylor]: Taking taylor expansion of (pow a 4) in b 3.678 * [taylor]: Taking taylor expansion of a in b 3.678 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 3.678 * [taylor]: Taking taylor expansion of (pow b 4) in b 3.678 * [taylor]: Taking taylor expansion of b in b 3.679 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a 3.679 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 3.679 * [taylor]: Taking taylor expansion of 2 in a 3.679 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 3.679 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 3.679 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.679 * [taylor]: Taking taylor expansion of a in a 3.679 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.679 * [taylor]: Taking taylor expansion of b in a 3.680 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 3.680 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 3.680 * [taylor]: Taking taylor expansion of 4.0 in a 3.680 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.680 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.680 * [taylor]: Taking taylor expansion of b in a 3.680 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 3.680 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 3.680 * [taylor]: Taking taylor expansion of (pow a 4) in a 3.680 * [taylor]: Taking taylor expansion of a in a 3.680 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 3.680 * [taylor]: Taking taylor expansion of (pow b 4) in a 3.681 * [taylor]: Taking taylor expansion of b in a 3.681 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a 3.681 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 3.681 * [taylor]: Taking taylor expansion of 2 in a 3.681 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 3.681 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 3.681 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.681 * [taylor]: Taking taylor expansion of a in a 3.681 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.681 * [taylor]: Taking taylor expansion of b in a 3.681 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 3.681 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 3.681 * [taylor]: Taking taylor expansion of 4.0 in a 3.681 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.681 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.681 * [taylor]: Taking taylor expansion of b in a 3.681 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 3.681 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 3.681 * [taylor]: Taking taylor expansion of (pow a 4) in a 3.682 * [taylor]: Taking taylor expansion of a in a 3.682 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 3.682 * [taylor]: Taking taylor expansion of (pow b 4) in a 3.682 * [taylor]: Taking taylor expansion of b in a 3.683 * [taylor]: Taking taylor expansion of 1 in b 3.685 * [taylor]: Taking taylor expansion of 0 in b 3.687 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 3.687 * [taylor]: Taking taylor expansion of 2 in b 3.687 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.687 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.687 * [taylor]: Taking taylor expansion of b in b 3.691 * [taylor]: Taking taylor expansion of 0 in b 3.695 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b 3.695 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 3.695 * [taylor]: Taking taylor expansion of 4.0 in b 3.695 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.695 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.696 * [taylor]: Taking taylor expansion of b in b 3.696 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 3.696 * [taylor]: Taking taylor expansion of (pow b 4) in b 3.696 * [taylor]: Taking taylor expansion of b in b 3.698 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in (a b) around 0 3.698 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in b 3.698 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 3.698 * [taylor]: Taking taylor expansion of 2 in b 3.698 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 3.698 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 3.698 * [taylor]: Taking taylor expansion of (pow a 2) in b 3.698 * [taylor]: Taking taylor expansion of a in b 3.698 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.698 * [taylor]: Taking taylor expansion of b in b 3.699 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 3.699 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 3.699 * [taylor]: Taking taylor expansion of 4.0 in b 3.699 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.699 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.699 * [taylor]: Taking taylor expansion of b in b 3.699 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 3.699 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 3.699 * [taylor]: Taking taylor expansion of (pow a 4) in b 3.699 * [taylor]: Taking taylor expansion of a in b 3.700 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 3.700 * [taylor]: Taking taylor expansion of (pow b 4) in b 3.700 * [taylor]: Taking taylor expansion of b in b 3.700 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a 3.700 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 3.700 * [taylor]: Taking taylor expansion of 2 in a 3.700 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 3.700 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 3.700 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.700 * [taylor]: Taking taylor expansion of a in a 3.700 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.700 * [taylor]: Taking taylor expansion of b in a 3.701 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 3.701 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 3.701 * [taylor]: Taking taylor expansion of 4.0 in a 3.701 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.701 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.701 * [taylor]: Taking taylor expansion of b in a 3.701 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 3.701 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 3.701 * [taylor]: Taking taylor expansion of (pow a 4) in a 3.701 * [taylor]: Taking taylor expansion of a in a 3.702 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 3.702 * [taylor]: Taking taylor expansion of (pow b 4) in a 3.702 * [taylor]: Taking taylor expansion of b in a 3.702 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))))) in a 3.702 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 3.702 * [taylor]: Taking taylor expansion of 2 in a 3.702 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 3.702 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 3.702 * [taylor]: Taking taylor expansion of (pow a 2) in a 3.702 * [taylor]: Taking taylor expansion of a in a 3.702 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.702 * [taylor]: Taking taylor expansion of b in a 3.702 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 3.703 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 3.703 * [taylor]: Taking taylor expansion of 4.0 in a 3.703 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 3.703 * [taylor]: Taking taylor expansion of (pow b 2) in a 3.703 * [taylor]: Taking taylor expansion of b in a 3.703 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 3.703 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 3.703 * [taylor]: Taking taylor expansion of (pow a 4) in a 3.703 * [taylor]: Taking taylor expansion of a in a 3.703 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 3.703 * [taylor]: Taking taylor expansion of (pow b 4) in a 3.703 * [taylor]: Taking taylor expansion of b in a 3.704 * [taylor]: Taking taylor expansion of 1 in b 3.706 * [taylor]: Taking taylor expansion of 0 in b 3.708 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 3.708 * [taylor]: Taking taylor expansion of 2 in b 3.708 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.708 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.708 * [taylor]: Taking taylor expansion of b in b 3.712 * [taylor]: Taking taylor expansion of 0 in b 3.720 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b 3.720 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 3.720 * [taylor]: Taking taylor expansion of 4.0 in b 3.720 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 3.720 * [taylor]: Taking taylor expansion of (pow b 2) in b 3.720 * [taylor]: Taking taylor expansion of b in b 3.720 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 3.720 * [taylor]: Taking taylor expansion of (pow b 4) in b 3.720 * [taylor]: Taking taylor expansion of b in b 3.722 * * * [progress]: simplifying candidates 3.723 * [simplify]: Simplifying using # : (* (log (+ (* a a) (* b b))) 2.0) (* (log (+ (* a a) (* b b))) 2.0) (* 1 2.0) (pow (+ (* a a) (* b b)) (* (cbrt 2.0) (cbrt 2.0))) (pow (+ (* a a) (* b b)) (sqrt 2.0)) (pow (+ (* a a) (* b b)) 1) (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0) (pow (cbrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow 1 2.0) (pow (+ (* a a) (* b b)) 2.0) (log (pow (+ (* a a) (* b b)) 2.0)) (exp (pow (+ (* a a) (* b b)) 2.0)) (* (cbrt (pow (+ (* a a) (* b b)) 2.0)) (cbrt (pow (+ (* a a) (* b b)) 2.0))) (cbrt (pow (+ (* a a) (* b b)) 2.0)) (* (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (* (exp (* a a)) (exp (* b b))) (log (+ (* a a) (* b b))) (exp (+ (* a a) (* b b))) (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) (cbrt (+ (* a a) (* b b))) (* (* (+ (* a a) (* b b)) (+ (* a a) (* b b))) (+ (* a a) (* b b))) (sqrt (+ (* a a) (* b b))) (sqrt (+ (* a a) (* b b))) (+ (pow (* a a) 3) (pow (* b b) 3)) (+ (* (* a a) (* a a)) (- (* (* b b) (* b b)) (* (* a a) (* b b)))) (- (* (* a a) (* a a)) (* (* b b) (* b b))) (- (* a a) (* b b)) (* 4.0 (* b b)) (* 4.0 (* b b)) (+ (log 4.0) (+ (log b) (log b))) (+ (log 4.0) (log (* b b))) (log (* 4.0 (* b b))) (exp (* 4.0 (* b b))) (* (* (* 4.0 4.0) 4.0) (* (* (* b b) b) (* (* b b) b))) (* (* (* 4.0 4.0) 4.0) (* (* (* b b) (* b b)) (* b b))) (* (cbrt (* 4.0 (* b b))) (cbrt (* 4.0 (* b b)))) (cbrt (* 4.0 (* b b))) (* (* (* 4.0 (* b b)) (* 4.0 (* b b))) (* 4.0 (* b b))) (sqrt (* 4.0 (* b b))) (sqrt (* 4.0 (* b b))) (* (sqrt 4.0) b) (* (sqrt 4.0) b) (* 4.0 b) (* (cbrt 4.0) (* b b)) (* (sqrt 4.0) (* b b)) (* 4.0 (* b b)) (* (exp (pow (+ (* a a) (* b b)) 2.0)) (exp (* 4.0 (* b b)))) (log (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (exp (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (* (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (* (* (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (+ (pow (pow (+ (* a a) (* b b)) 2.0) 3) (pow (* 4.0 (* b b)) 3)) (+ (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (- (* (* 4.0 (* b b)) (* 4.0 (* b b))) (* (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (- (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (* (* 4.0 (* b b)) (* 4.0 (* b b)))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 a) -4.0) (pow (/ -1 a) -4.0) (+ (pow a 2) (pow b 2)) (+ (pow a 2) (pow b 2)) (+ (pow a 2) (pow b 2)) (* 4.0 (pow b 2)) (* 4.0 (pow b 2)) (* 4.0 (pow b 2)) (+ (pow a 4) (+ (* 4.0 (pow b 2)) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 3.726 * * [simplify]: iteration 0 : 117 enodes (cost 931 ) 3.751 * * [simplify]: iteration 1 : 318 enodes (cost 838 ) 3.842 * * [simplify]: iteration 2 : 1047 enodes (cost 778 ) 4.544 * * [simplify]: iteration 3 : 4056 enodes (cost 778 ) 5.727 * * [simplify]: iteration done : 5000 enodes (cost 778 ) 5.728 * [simplify]: Simplified to: (log (pow (+ (* a a) (* b b)) 2.0)) (log (pow (+ (* a a) (* b b)) 2.0)) 2.0 (pow (+ (* a a) (* b b)) (* (cbrt 2.0) (cbrt 2.0))) (pow (+ (* a a) (* b b)) (sqrt 2.0)) (+ (* a a) (* b b)) (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0) (pow (cbrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) 1 (pow (+ (* a a) (* b b)) 2.0) (log (pow (+ (* a a) (* b b)) 2.0)) (exp (pow (+ (* a a) (* b b)) 2.0)) (* (cbrt (pow (+ (* a a) (* b b)) 2.0)) (cbrt (pow (+ (* a a) (* b b)) 2.0))) (cbrt (pow (+ (* a a) (* b b)) 2.0)) (pow (pow (+ (* a a) (* b b)) 2.0) 3) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (exp (+ (* a a) (* b b))) (log (+ (* a a) (* b b))) (exp (+ (* a a) (* b b))) (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) (cbrt (+ (* a a) (* b b))) (pow (+ (* a a) (* b b)) 3) (sqrt (+ (* a a) (* b b))) (sqrt (+ (* a a) (* b b))) (+ (pow b 6) (pow a 6)) (+ (- (pow b 4) (* (* a a) (* b b))) (pow a 4)) (- (pow a 4) (pow b 4)) (- (* a a) (* b b)) (* 4.0 (* b b)) (* 4.0 (* b b)) (log (* 4.0 (* b b))) (log (* 4.0 (* b b))) (log (* 4.0 (* b b))) (exp (* 4.0 (* b b))) (pow (* 4.0 (pow b 2)) 3) (pow (* 4.0 (pow b 2)) 3) (* (cbrt (* 4.0 (* b b))) (cbrt (* 4.0 (* b b)))) (cbrt (* 4.0 (* b b))) (pow (* 4.0 (pow b 2)) 3) (sqrt (* 4.0 (* b b))) (sqrt (* 4.0 (* b b))) (* (sqrt 4.0) b) (* (sqrt 4.0) b) (* 4.0 b) (* (cbrt 4.0) (* b b)) (* (sqrt 4.0) (* b b)) (* 4.0 (* b b)) (exp (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (log (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (exp (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (* (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (cbrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (pow (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 3) (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (sqrt (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (+ (pow (pow (+ (* a a) (* b b)) 2.0) 3) (pow (* 4.0 (* b b)) 3)) (+ (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 (* b b)) (- (* 4.0 (* b b)) (pow (+ (* a a) (* b b)) 2.0)))) (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 a) -4.0) (pow (/ -1 a) -4.0) (+ (* a a) (* b b)) (+ (* a a) (* b b)) (+ (* a a) (* b b)) (* 4.0 (* b b)) (* 4.0 (* b b)) (* 4.0 (* b b)) (+ (pow a 4) (* (* b b) (+ (* 2 (* a a)) 4.0))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 5.728 * * * [progress]: adding candidates to table 5.890 * * [progress]: iteration 2 / 4 5.890 * * * [progress]: picking best candidate 5.895 * * * * [pick]: Picked # 5.895 * * * [progress]: localizing error 5.909 * * * [progress]: generating rewritten candidates 5.909 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 2 2) 5.918 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 2) 5.928 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 5.951 * * * [progress]: generating series expansions 5.951 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 2 2) 5.951 * [approximate]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in (a b) around 0 5.951 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 5.951 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.951 * [taylor]: Taking taylor expansion of a in b 5.951 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.951 * [taylor]: Taking taylor expansion of b in b 5.951 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.951 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.951 * [taylor]: Taking taylor expansion of a in a 5.951 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.951 * [taylor]: Taking taylor expansion of b in a 5.951 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.951 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.951 * [taylor]: Taking taylor expansion of a in a 5.951 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.951 * [taylor]: Taking taylor expansion of b in a 5.952 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.952 * [taylor]: Taking taylor expansion of b in b 5.953 * [taylor]: Taking taylor expansion of 0 in b 5.955 * [taylor]: Taking taylor expansion of 0 in b 5.957 * [taylor]: Taking taylor expansion of 0 in b 5.958 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (a b) around 0 5.958 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 5.958 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 5.958 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.958 * [taylor]: Taking taylor expansion of a in b 5.958 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.958 * [taylor]: Taking taylor expansion of b in b 5.958 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 5.958 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.958 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.958 * [taylor]: Taking taylor expansion of a in a 5.958 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.958 * [taylor]: Taking taylor expansion of b in a 5.959 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 5.959 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.959 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.959 * [taylor]: Taking taylor expansion of a in a 5.959 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.959 * [taylor]: Taking taylor expansion of b in a 5.959 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.959 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.959 * [taylor]: Taking taylor expansion of b in b 5.960 * [taylor]: Taking taylor expansion of 0 in b 5.963 * [taylor]: Taking taylor expansion of 0 in b 5.966 * [taylor]: Taking taylor expansion of 0 in b 5.969 * [taylor]: Taking taylor expansion of 0 in b 5.970 * [approximate]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in (a b) around 0 5.970 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 5.970 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 5.970 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.970 * [taylor]: Taking taylor expansion of a in b 5.970 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.970 * [taylor]: Taking taylor expansion of b in b 5.970 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 5.970 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.970 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.970 * [taylor]: Taking taylor expansion of a in a 5.970 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.970 * [taylor]: Taking taylor expansion of b in a 5.971 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 5.971 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.971 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.971 * [taylor]: Taking taylor expansion of a in a 5.971 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.971 * [taylor]: Taking taylor expansion of b in a 5.971 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 5.971 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.971 * [taylor]: Taking taylor expansion of b in b 5.973 * [taylor]: Taking taylor expansion of 0 in b 5.975 * [taylor]: Taking taylor expansion of 0 in b 5.978 * [taylor]: Taking taylor expansion of 0 in b 5.982 * [taylor]: Taking taylor expansion of 0 in b 5.982 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 2) 5.982 * [approximate]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in (a b) around 0 5.982 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 5.982 * [taylor]: Taking taylor expansion of 2 in b 5.982 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 5.982 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.982 * [taylor]: Taking taylor expansion of a in b 5.982 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.982 * [taylor]: Taking taylor expansion of b in b 5.982 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 5.982 * [taylor]: Taking taylor expansion of 2 in a 5.982 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.982 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.982 * [taylor]: Taking taylor expansion of a in a 5.982 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.982 * [taylor]: Taking taylor expansion of b in a 5.982 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 5.982 * [taylor]: Taking taylor expansion of 2 in a 5.982 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.982 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.982 * [taylor]: Taking taylor expansion of a in a 5.982 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.982 * [taylor]: Taking taylor expansion of b in a 5.983 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 5.983 * [taylor]: Taking taylor expansion of 2 in b 5.983 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.983 * [taylor]: Taking taylor expansion of b in b 5.984 * [taylor]: Taking taylor expansion of 0 in b 5.987 * [taylor]: Taking taylor expansion of 0 in b 5.991 * [taylor]: Taking taylor expansion of 0 in b 5.991 * [approximate]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0 5.991 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b 5.991 * [taylor]: Taking taylor expansion of 2 in b 5.991 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 5.991 * [taylor]: Taking taylor expansion of (pow a 2) in b 5.991 * [taylor]: Taking taylor expansion of a in b 5.991 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.991 * [taylor]: Taking taylor expansion of b in b 5.992 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 5.992 * [taylor]: Taking taylor expansion of 2 in a 5.992 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.992 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.992 * [taylor]: Taking taylor expansion of a in a 5.992 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.992 * [taylor]: Taking taylor expansion of b in a 5.992 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 5.992 * [taylor]: Taking taylor expansion of 2 in a 5.992 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 5.992 * [taylor]: Taking taylor expansion of (pow a 2) in a 5.992 * [taylor]: Taking taylor expansion of a in a 5.992 * [taylor]: Taking taylor expansion of (pow b 2) in a 5.992 * [taylor]: Taking taylor expansion of b in a 5.993 * [taylor]: Taking taylor expansion of (/ 2 (pow b 2)) in b 5.993 * [taylor]: Taking taylor expansion of 2 in b 5.993 * [taylor]: Taking taylor expansion of (pow b 2) in b 5.993 * [taylor]: Taking taylor expansion of b in b 5.994 * [taylor]: Taking taylor expansion of 0 in b 5.997 * [taylor]: Taking taylor expansion of 0 in b 6.000 * [taylor]: Taking taylor expansion of 0 in b 6.004 * [taylor]: Taking taylor expansion of 0 in b 6.004 * [approximate]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in (a b) around 0 6.004 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in b 6.004 * [taylor]: Taking taylor expansion of 2 in b 6.004 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 6.004 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.004 * [taylor]: Taking taylor expansion of a in b 6.004 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.004 * [taylor]: Taking taylor expansion of b in b 6.005 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 6.005 * [taylor]: Taking taylor expansion of 2 in a 6.005 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.005 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.005 * [taylor]: Taking taylor expansion of a in a 6.005 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.005 * [taylor]: Taking taylor expansion of b in a 6.005 * [taylor]: Taking taylor expansion of (/ 2 (* (pow a 2) (pow b 2))) in a 6.005 * [taylor]: Taking taylor expansion of 2 in a 6.005 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.005 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.005 * [taylor]: Taking taylor expansion of a in a 6.005 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.005 * [taylor]: Taking taylor expansion of b in a 6.006 * [taylor]: Taking taylor expansion of (/ 2 (pow b 2)) in b 6.006 * [taylor]: Taking taylor expansion of 2 in b 6.006 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.006 * [taylor]: Taking taylor expansion of b in b 6.007 * [taylor]: Taking taylor expansion of 0 in b 6.009 * [taylor]: Taking taylor expansion of 0 in b 6.012 * [taylor]: Taking taylor expansion of 0 in b 6.019 * [taylor]: Taking taylor expansion of 0 in b 6.019 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 6.020 * [approximate]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in (a b) around 0 6.020 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in b 6.020 * [taylor]: Taking taylor expansion of (pow a 4) in b 6.020 * [taylor]: Taking taylor expansion of a in b 6.020 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in b 6.020 * [taylor]: Taking taylor expansion of (pow b 4) in b 6.020 * [taylor]: Taking taylor expansion of b in b 6.020 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 6.020 * [taylor]: Taking taylor expansion of 2 in b 6.020 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 6.020 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.020 * [taylor]: Taking taylor expansion of a in b 6.020 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.020 * [taylor]: Taking taylor expansion of b in b 6.020 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in a 6.020 * [taylor]: Taking taylor expansion of (pow a 4) in a 6.020 * [taylor]: Taking taylor expansion of a in a 6.020 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in a 6.020 * [taylor]: Taking taylor expansion of (pow b 4) in a 6.020 * [taylor]: Taking taylor expansion of b in a 6.020 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 6.020 * [taylor]: Taking taylor expansion of 2 in a 6.020 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.020 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.020 * [taylor]: Taking taylor expansion of a in a 6.020 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.020 * [taylor]: Taking taylor expansion of b in a 6.020 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in a 6.020 * [taylor]: Taking taylor expansion of (pow a 4) in a 6.020 * [taylor]: Taking taylor expansion of a in a 6.020 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in a 6.020 * [taylor]: Taking taylor expansion of (pow b 4) in a 6.020 * [taylor]: Taking taylor expansion of b in a 6.020 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 6.020 * [taylor]: Taking taylor expansion of 2 in a 6.020 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.020 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.020 * [taylor]: Taking taylor expansion of a in a 6.020 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.020 * [taylor]: Taking taylor expansion of b in a 6.021 * [taylor]: Taking taylor expansion of (pow b 4) in b 6.021 * [taylor]: Taking taylor expansion of b in b 6.021 * [taylor]: Taking taylor expansion of 0 in b 6.023 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 6.023 * [taylor]: Taking taylor expansion of 2 in b 6.023 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.023 * [taylor]: Taking taylor expansion of b in b 6.025 * [taylor]: Taking taylor expansion of 0 in b 6.029 * [taylor]: Taking taylor expansion of 1 in b 6.031 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in (a b) around 0 6.031 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 6.031 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 6.031 * [taylor]: Taking taylor expansion of 2 in b 6.031 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 6.031 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 6.031 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.031 * [taylor]: Taking taylor expansion of a in b 6.031 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.031 * [taylor]: Taking taylor expansion of b in b 6.032 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 6.032 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 6.032 * [taylor]: Taking taylor expansion of (pow a 4) in b 6.032 * [taylor]: Taking taylor expansion of a in b 6.032 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 6.032 * [taylor]: Taking taylor expansion of (pow b 4) in b 6.032 * [taylor]: Taking taylor expansion of b in b 6.033 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 6.033 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 6.033 * [taylor]: Taking taylor expansion of 2 in a 6.033 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 6.033 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.033 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.033 * [taylor]: Taking taylor expansion of a in a 6.033 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.033 * [taylor]: Taking taylor expansion of b in a 6.033 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 6.033 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 6.033 * [taylor]: Taking taylor expansion of (pow a 4) in a 6.033 * [taylor]: Taking taylor expansion of a in a 6.034 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 6.034 * [taylor]: Taking taylor expansion of (pow b 4) in a 6.034 * [taylor]: Taking taylor expansion of b in a 6.034 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 6.034 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 6.034 * [taylor]: Taking taylor expansion of 2 in a 6.034 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 6.034 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.034 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.034 * [taylor]: Taking taylor expansion of a in a 6.034 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.034 * [taylor]: Taking taylor expansion of b in a 6.035 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 6.035 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 6.035 * [taylor]: Taking taylor expansion of (pow a 4) in a 6.035 * [taylor]: Taking taylor expansion of a in a 6.036 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 6.036 * [taylor]: Taking taylor expansion of (pow b 4) in a 6.036 * [taylor]: Taking taylor expansion of b in a 6.036 * [taylor]: Taking taylor expansion of 1 in b 6.038 * [taylor]: Taking taylor expansion of 0 in b 6.040 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 6.040 * [taylor]: Taking taylor expansion of 2 in b 6.040 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.040 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.040 * [taylor]: Taking taylor expansion of b in b 6.044 * [taylor]: Taking taylor expansion of 0 in b 6.048 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 6.048 * [taylor]: Taking taylor expansion of (pow b 4) in b 6.048 * [taylor]: Taking taylor expansion of b in b 6.050 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in (a b) around 0 6.050 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 6.050 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 6.050 * [taylor]: Taking taylor expansion of 2 in b 6.050 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 6.050 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 6.050 * [taylor]: Taking taylor expansion of (pow a 2) in b 6.050 * [taylor]: Taking taylor expansion of a in b 6.050 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.050 * [taylor]: Taking taylor expansion of b in b 6.050 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 6.050 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 6.050 * [taylor]: Taking taylor expansion of (pow a 4) in b 6.050 * [taylor]: Taking taylor expansion of a in b 6.050 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 6.050 * [taylor]: Taking taylor expansion of (pow b 4) in b 6.050 * [taylor]: Taking taylor expansion of b in b 6.051 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 6.051 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 6.051 * [taylor]: Taking taylor expansion of 2 in a 6.051 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 6.051 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.051 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.051 * [taylor]: Taking taylor expansion of a in a 6.051 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.051 * [taylor]: Taking taylor expansion of b in a 6.052 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 6.052 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 6.052 * [taylor]: Taking taylor expansion of (pow a 4) in a 6.052 * [taylor]: Taking taylor expansion of a in a 6.052 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 6.052 * [taylor]: Taking taylor expansion of (pow b 4) in a 6.053 * [taylor]: Taking taylor expansion of b in a 6.053 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 6.053 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 6.053 * [taylor]: Taking taylor expansion of 2 in a 6.053 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 6.053 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 6.053 * [taylor]: Taking taylor expansion of (pow a 2) in a 6.053 * [taylor]: Taking taylor expansion of a in a 6.053 * [taylor]: Taking taylor expansion of (pow b 2) in a 6.053 * [taylor]: Taking taylor expansion of b in a 6.053 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 6.053 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 6.053 * [taylor]: Taking taylor expansion of (pow a 4) in a 6.053 * [taylor]: Taking taylor expansion of a in a 6.054 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 6.054 * [taylor]: Taking taylor expansion of (pow b 4) in a 6.054 * [taylor]: Taking taylor expansion of b in a 6.055 * [taylor]: Taking taylor expansion of 1 in b 6.056 * [taylor]: Taking taylor expansion of 0 in b 6.058 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 6.058 * [taylor]: Taking taylor expansion of 2 in b 6.058 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 6.058 * [taylor]: Taking taylor expansion of (pow b 2) in b 6.058 * [taylor]: Taking taylor expansion of b in b 6.062 * [taylor]: Taking taylor expansion of 0 in b 6.066 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 6.066 * [taylor]: Taking taylor expansion of (pow b 4) in b 6.066 * [taylor]: Taking taylor expansion of b in b 6.067 * * * [progress]: simplifying candidates 6.069 * [simplify]: Simplifying using # : (* a b) (+ (* (log a) 2) (* (log b) 2)) (+ (* (log a) 2) (* (log b) 2)) (+ (* (log a) 2) (log (pow b 2))) (+ (* (log a) 2) (* (log b) 2)) (+ (* (log a) 2) (* (log b) 2)) (+ (* (log a) 2) (log (pow b 2))) (+ (log (pow a 2)) (* (log b) 2)) (+ (log (pow a 2)) (* (log b) 2)) (+ (log (pow a 2)) (log (pow b 2))) (log (* (pow a 2) (pow b 2))) (exp (* (pow a 2) (pow b 2))) (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow b 2) (pow b 2)) (pow b 2))) (* (cbrt (* (pow a 2) (pow b 2))) (cbrt (* (pow a 2) (pow b 2)))) (cbrt (* (pow a 2) (pow b 2))) (* (* (* (pow a 2) (pow b 2)) (* (pow a 2) (pow b 2))) (* (pow a 2) (pow b 2))) (sqrt (* (pow a 2) (pow b 2))) (sqrt (* (pow a 2) (pow b 2))) (* (pow (sqrt a) 2) (pow (sqrt b) 2)) (* (pow (sqrt a) 2) (pow (sqrt b) 2)) (* (pow (sqrt a) 2) b) (* (pow (sqrt a) 2) b) (* (pow (sqrt a) 2) (sqrt (pow b 2))) (* (pow (sqrt a) 2) (sqrt (pow b 2))) (* (pow (sqrt a) 2) (pow b (/ 2 2))) (* (pow (sqrt a) 2) (pow b (/ 2 2))) (* a (pow (sqrt b) 2)) (* a (pow (sqrt b) 2)) (* a b) (* a b) (* a (sqrt (pow b 2))) (* a (sqrt (pow b 2))) (* a (pow b (/ 2 2))) (* a (pow b (/ 2 2))) (* (sqrt (pow a 2)) (pow (sqrt b) 2)) (* (sqrt (pow a 2)) (pow (sqrt b) 2)) (* (sqrt (pow a 2)) b) (* (sqrt (pow a 2)) b) (* (sqrt (pow a 2)) (sqrt (pow b 2))) (* (sqrt (pow a 2)) (sqrt (pow b 2))) (* (sqrt (pow a 2)) (pow b (/ 2 2))) (* (sqrt (pow a 2)) (pow b (/ 2 2))) (* (pow a (/ 2 2)) (pow (sqrt b) 2)) (* (pow a (/ 2 2)) (pow (sqrt b) 2)) (* (pow a (/ 2 2)) b) (* (pow a (/ 2 2)) b) (* (pow a (/ 2 2)) (sqrt (pow b 2))) (* (pow a (/ 2 2)) (sqrt (pow b 2))) (* (pow a (/ 2 2)) (pow b (/ 2 2))) (* (pow a (/ 2 2)) (pow b (/ 2 2))) (* (pow a 2) (pow (* (cbrt b) (cbrt b)) 2)) (* (pow a 2) (pow (sqrt b) 2)) (* (pow a 2) (pow 1 2)) (* (pow a 2) b) (* (pow a 2) (* (cbrt (pow b 2)) (cbrt (pow b 2)))) (* (pow a 2) (sqrt (pow b 2))) (* (pow a 2) 1) (* (pow a 2) (pow b (/ 2 2))) (* (pow (cbrt a) 2) (pow b 2)) (* (pow (sqrt a) 2) (pow b 2)) (* (pow a 2) (pow b 2)) (* a (pow b 2)) (* (cbrt (pow a 2)) (pow b 2)) (* (sqrt (pow a 2)) (pow b 2)) (* (pow a 2) (pow b 2)) (* (pow a (/ 2 2)) (pow b 2)) (* 2 (* (pow a 2) (pow b 2))) (+ (log 2) (+ (* (log a) 2) (* (log b) 2))) (+ (log 2) (+ (* (log a) 2) (* (log b) 2))) (+ (log 2) (+ (* (log a) 2) (log (pow b 2)))) (+ (log 2) (+ (* (log a) 2) (* (log b) 2))) (+ (log 2) (+ (* (log a) 2) (* (log b) 2))) (+ (log 2) (+ (* (log a) 2) (log (pow b 2)))) (+ (log 2) (+ (log (pow a 2)) (* (log b) 2))) (+ (log 2) (+ (log (pow a 2)) (* (log b) 2))) (+ (log 2) (+ (log (pow a 2)) (log (pow b 2)))) (+ (log 2) (log (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (exp (* 2 (* (pow a 2) (pow b 2)))) (* (* (* 2 2) 2) (* (* (* (pow a 2) (pow a 2)) (pow a 2)) (* (* (pow b 2) (pow b 2)) (pow b 2)))) (* (* (* 2 2) 2) (* (* (* (pow a 2) (pow b 2)) (* (pow a 2) (pow b 2))) (* (pow a 2) (pow b 2)))) (* (cbrt (* 2 (* (pow a 2) (pow b 2)))) (cbrt (* 2 (* (pow a 2) (pow b 2))))) (cbrt (* 2 (* (pow a 2) (pow b 2)))) (* (* (* 2 (* (pow a 2) (pow b 2))) (* 2 (* (pow a 2) (pow b 2)))) (* 2 (* (pow a 2) (pow b 2)))) (sqrt (* 2 (* (pow a 2) (pow b 2)))) (sqrt (* 2 (* (pow a 2) (pow b 2)))) (* 2 (pow a 2)) (* (cbrt 2) (* (pow a 2) (pow b 2))) (* (sqrt 2) (* (pow a 2) (pow b 2))) (* 2 (* (pow a 2) (pow b 2))) (* (exp (pow a 4)) (* (exp (pow b 4)) (exp (* 2 (* (pow a 2) (pow b 2)))))) (* (exp (pow a 4)) (exp (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (log (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (exp (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (* (cbrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (cbrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))))) (cbrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (* (* (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (sqrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (sqrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (+ (pow (pow a 4) 3) (pow (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) 3)) (+ (* (pow a 4) (pow a 4)) (- (* (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))))) (- (* (pow a 4) (pow a 4)) (* (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (- (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (pow b 4)) (* (pow a 2) (pow b 2)) (* (pow a 2) (pow b 2)) (* (pow a 2) (pow b 2)) (* 2 (* (pow a 2) (pow b 2))) (* 2 (* (pow a 2) (pow b 2))) (* 2 (* (pow a 2) (pow b 2))) (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 6.073 * * [simplify]: iteration 0 : 132 enodes (cost 1357 ) 6.105 * * [simplify]: iteration 1 : 330 enodes (cost 1202 ) 6.270 * * [simplify]: iteration 2 : 1319 enodes (cost 1010 ) 6.856 * * [simplify]: iteration done : 5000 enodes (cost 1006 ) 6.856 * [simplify]: Simplified to: (* b a) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (* 2 (+ (log a) (log b))) (exp (* (pow a 2) (pow b 2))) (pow (* (pow a 2) (pow b 2)) 3) (* (cbrt (* (pow a 2) (pow b 2))) (cbrt (* (pow a 2) (pow b 2)))) (cbrt (* (pow a 2) (pow b 2))) (pow (* (pow a 2) (pow b 2)) 3) (sqrt (* (pow a 2) (pow b 2))) (sqrt (* (pow a 2) (pow b 2))) (* b a) (* b a) (* b a) (* b a) (* a (fabs b)) (* a (fabs b)) (* b a) (* b a) (* b a) (* b a) (* b a) (* b a) (* a (fabs b)) (* a (fabs b)) (* b a) (* b a) (* (fabs a) b) (* (fabs a) b) (* (fabs a) b) (* (fabs a) b) (* (fabs a) (fabs b)) (* (fabs a) (fabs b)) (* (fabs a) b) (* (fabs a) b) (* b a) (* b a) (* b a) (* b a) (* a (fabs b)) (* a (fabs b)) (* b a) (* b a) (* (pow a 2) (pow (* (cbrt b) (cbrt b)) 2)) (* b (* a a)) (* a a) (* b (* a a)) (* (pow a 2) (* (cbrt (pow b 2)) (cbrt (pow b 2)))) (* (* a a) (fabs b)) (* a a) (* b (* a a)) (* (pow (cbrt a) 2) (pow b 2)) (* a (pow b 2)) (* (pow a 2) (pow b 2)) (* a (pow b 2)) (* (cbrt (pow a 2)) (pow b 2)) (* (pow b 2) (fabs a)) (* (pow a 2) (pow b 2)) (* a (pow b 2)) (* 2 (* (pow a 2) (pow b 2))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (log (* 2 (* (pow a 2) (pow b 2)))) (exp (* 2 (* (pow a 2) (pow b 2)))) (pow (* 2 (* (pow a 2) (pow b 2))) 3) (pow (* 2 (* (pow a 2) (pow b 2))) 3) (* (cbrt (* 2 (* (pow a 2) (pow b 2)))) (cbrt (* 2 (* (pow a 2) (pow b 2))))) (cbrt (* 2 (* (pow a 2) (pow b 2)))) (pow (* 2 (* (pow a 2) (pow b 2))) 3) (sqrt (* 2 (* (pow a 2) (pow b 2)))) (sqrt (* 2 (* (pow a 2) (pow b 2)))) (* 2 (pow a 2)) (* (cbrt 2) (* (pow a 2) (pow b 2))) (* (sqrt 2) (* (pow a 2) (pow b 2))) (* 2 (* (pow a 2) (pow b 2))) (exp (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (exp (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (log (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (exp (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (* (cbrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (cbrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))))) (cbrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (pow (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 3) (sqrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (sqrt (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))))) (+ (pow (pow a 4) 3) (pow (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) 3)) (+ (* (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (- (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) (pow a 4))) (pow a 8)) (- (pow a 8) (* (* (pow b 4) (+ (* 2 (pow a 2)) (pow b 2))) (+ (pow b 2) (* 2 (pow a 2))))) (- (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (pow b 4)) (* (pow a 2) (pow b 2)) (* (pow a 2) (pow b 2)) (* (pow a 2) (pow b 2)) (* 2 (* (pow a 2) (pow b 2))) (* 2 (* (pow a 2) (pow b 2))) (* 2 (* (pow a 2) (pow b 2))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 6.857 * * * [progress]: adding candidates to table 7.047 * * [progress]: iteration 3 / 4 7.047 * * * [progress]: picking best candidate 7.050 * * * * [pick]: Picked # 7.050 * * * [progress]: localizing error 7.068 * * * [progress]: generating rewritten candidates 7.069 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 7.160 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 7.164 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 7.168 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 7.203 * * * [progress]: generating series expansions 7.203 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 7.204 * [approximate]: Taking taylor expansion of (/ (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2)))) in (a b) around 0 7.204 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2)))) in b 7.204 * [taylor]: Taking taylor expansion of (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) in b 7.204 * [taylor]: Taking taylor expansion of (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) in b 7.204 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 6))) in b 7.204 * [taylor]: Taking taylor expansion of 4 in b 7.204 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 7.204 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.204 * [taylor]: Taking taylor expansion of a in b 7.204 * [taylor]: Taking taylor expansion of (pow b 6) in b 7.205 * [taylor]: Taking taylor expansion of b in b 7.205 * [taylor]: Taking taylor expansion of (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))))) in b 7.205 * [taylor]: Taking taylor expansion of (pow a 8) in b 7.205 * [taylor]: Taking taylor expansion of a in b 7.205 * [taylor]: Taking taylor expansion of (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))) in b 7.205 * [taylor]: Taking taylor expansion of (pow b 8) in b 7.205 * [taylor]: Taking taylor expansion of b in b 7.205 * [taylor]: Taking taylor expansion of (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))) in b 7.205 * [taylor]: Taking taylor expansion of (* 6 (* (pow a 4) (pow b 4))) in b 7.205 * [taylor]: Taking taylor expansion of 6 in b 7.205 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 7.205 * [taylor]: Taking taylor expansion of (pow a 4) in b 7.205 * [taylor]: Taking taylor expansion of a in b 7.205 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.205 * [taylor]: Taking taylor expansion of b in b 7.205 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 6) (pow b 2))) in b 7.205 * [taylor]: Taking taylor expansion of 4 in b 7.205 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 7.205 * [taylor]: Taking taylor expansion of (pow a 6) in b 7.205 * [taylor]: Taking taylor expansion of a in b 7.205 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.205 * [taylor]: Taking taylor expansion of b in b 7.205 * [taylor]: Taking taylor expansion of (* 16.0 (pow b 4)) in b 7.205 * [taylor]: Taking taylor expansion of 16.0 in b 7.205 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.205 * [taylor]: Taking taylor expansion of b in b 7.205 * [taylor]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2))) in b 7.205 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in b 7.205 * [taylor]: Taking taylor expansion of (pow a 4) in b 7.205 * [taylor]: Taking taylor expansion of a in b 7.205 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in b 7.205 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.205 * [taylor]: Taking taylor expansion of b in b 7.205 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 7.205 * [taylor]: Taking taylor expansion of 2 in b 7.205 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 7.205 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.205 * [taylor]: Taking taylor expansion of a in b 7.205 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.205 * [taylor]: Taking taylor expansion of b in b 7.205 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 7.205 * [taylor]: Taking taylor expansion of 4.0 in b 7.205 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.205 * [taylor]: Taking taylor expansion of b in b 7.206 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2)))) in a 7.206 * [taylor]: Taking taylor expansion of (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) in a 7.206 * [taylor]: Taking taylor expansion of (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) in a 7.206 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 6))) in a 7.206 * [taylor]: Taking taylor expansion of 4 in a 7.206 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in a 7.206 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.206 * [taylor]: Taking taylor expansion of a in a 7.206 * [taylor]: Taking taylor expansion of (pow b 6) in a 7.206 * [taylor]: Taking taylor expansion of b in a 7.206 * [taylor]: Taking taylor expansion of (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))))) in a 7.206 * [taylor]: Taking taylor expansion of (pow a 8) in a 7.206 * [taylor]: Taking taylor expansion of a in a 7.206 * [taylor]: Taking taylor expansion of (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))) in a 7.206 * [taylor]: Taking taylor expansion of (pow b 8) in a 7.206 * [taylor]: Taking taylor expansion of b in a 7.206 * [taylor]: Taking taylor expansion of (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))) in a 7.206 * [taylor]: Taking taylor expansion of (* 6 (* (pow a 4) (pow b 4))) in a 7.206 * [taylor]: Taking taylor expansion of 6 in a 7.206 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in a 7.206 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.206 * [taylor]: Taking taylor expansion of a in a 7.206 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.206 * [taylor]: Taking taylor expansion of b in a 7.206 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 6) (pow b 2))) in a 7.206 * [taylor]: Taking taylor expansion of 4 in a 7.206 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in a 7.206 * [taylor]: Taking taylor expansion of (pow a 6) in a 7.206 * [taylor]: Taking taylor expansion of a in a 7.206 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.206 * [taylor]: Taking taylor expansion of b in a 7.207 * [taylor]: Taking taylor expansion of (* 16.0 (pow b 4)) in a 7.207 * [taylor]: Taking taylor expansion of 16.0 in a 7.207 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.207 * [taylor]: Taking taylor expansion of b in a 7.207 * [taylor]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2))) in a 7.207 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in a 7.207 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.207 * [taylor]: Taking taylor expansion of a in a 7.207 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in a 7.207 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.207 * [taylor]: Taking taylor expansion of b in a 7.207 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 7.207 * [taylor]: Taking taylor expansion of 2 in a 7.207 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 7.207 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.207 * [taylor]: Taking taylor expansion of a in a 7.207 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.207 * [taylor]: Taking taylor expansion of b in a 7.207 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in a 7.207 * [taylor]: Taking taylor expansion of 4.0 in a 7.207 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.207 * [taylor]: Taking taylor expansion of b in a 7.208 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2)))) in a 7.208 * [taylor]: Taking taylor expansion of (- (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) (* 16.0 (pow b 4))) in a 7.208 * [taylor]: Taking taylor expansion of (+ (* 4 (* (pow a 2) (pow b 6))) (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))))) in a 7.208 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 6))) in a 7.208 * [taylor]: Taking taylor expansion of 4 in a 7.208 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in a 7.208 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.208 * [taylor]: Taking taylor expansion of a in a 7.208 * [taylor]: Taking taylor expansion of (pow b 6) in a 7.208 * [taylor]: Taking taylor expansion of b in a 7.209 * [taylor]: Taking taylor expansion of (+ (pow a 8) (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))))) in a 7.209 * [taylor]: Taking taylor expansion of (pow a 8) in a 7.209 * [taylor]: Taking taylor expansion of a in a 7.209 * [taylor]: Taking taylor expansion of (+ (pow b 8) (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2))))) in a 7.209 * [taylor]: Taking taylor expansion of (pow b 8) in a 7.209 * [taylor]: Taking taylor expansion of b in a 7.209 * [taylor]: Taking taylor expansion of (+ (* 6 (* (pow a 4) (pow b 4))) (* 4 (* (pow a 6) (pow b 2)))) in a 7.209 * [taylor]: Taking taylor expansion of (* 6 (* (pow a 4) (pow b 4))) in a 7.209 * [taylor]: Taking taylor expansion of 6 in a 7.209 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in a 7.209 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.209 * [taylor]: Taking taylor expansion of a in a 7.209 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.209 * [taylor]: Taking taylor expansion of b in a 7.209 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 6) (pow b 2))) in a 7.209 * [taylor]: Taking taylor expansion of 4 in a 7.209 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in a 7.209 * [taylor]: Taking taylor expansion of (pow a 6) in a 7.209 * [taylor]: Taking taylor expansion of a in a 7.209 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.209 * [taylor]: Taking taylor expansion of b in a 7.209 * [taylor]: Taking taylor expansion of (* 16.0 (pow b 4)) in a 7.209 * [taylor]: Taking taylor expansion of 16.0 in a 7.209 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.209 * [taylor]: Taking taylor expansion of b in a 7.209 * [taylor]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2))) in a 7.209 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in a 7.209 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.209 * [taylor]: Taking taylor expansion of a in a 7.209 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in a 7.209 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.209 * [taylor]: Taking taylor expansion of b in a 7.209 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 7.209 * [taylor]: Taking taylor expansion of 2 in a 7.209 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 7.209 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.209 * [taylor]: Taking taylor expansion of a in a 7.209 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.209 * [taylor]: Taking taylor expansion of b in a 7.209 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in a 7.209 * [taylor]: Taking taylor expansion of 4.0 in a 7.209 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.209 * [taylor]: Taking taylor expansion of b in a 7.211 * [taylor]: Taking taylor expansion of (/ (- (pow b 8) (* 16.0 (pow b 4))) (- (pow b 4) (* 4.0 (pow b 2)))) in b 7.211 * [taylor]: Taking taylor expansion of (- (pow b 8) (* 16.0 (pow b 4))) in b 7.211 * [taylor]: Taking taylor expansion of (pow b 8) in b 7.211 * [taylor]: Taking taylor expansion of b in b 7.211 * [taylor]: Taking taylor expansion of (* 16.0 (pow b 4)) in b 7.211 * [taylor]: Taking taylor expansion of 16.0 in b 7.211 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.211 * [taylor]: Taking taylor expansion of b in b 7.211 * [taylor]: Taking taylor expansion of (- (pow b 4) (* 4.0 (pow b 2))) in b 7.211 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.211 * [taylor]: Taking taylor expansion of b in b 7.211 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 7.211 * [taylor]: Taking taylor expansion of 4.0 in b 7.211 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.211 * [taylor]: Taking taylor expansion of b in b 7.218 * [taylor]: Taking taylor expansion of 0 in b 7.226 * [taylor]: Taking taylor expansion of (- (+ (* 32.0 (/ (pow b 6) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2))) (* 4 (/ (pow b 6) (- (pow b 4) (* 4.0 (pow b 2)))))) (* 2 (/ (pow b 10) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2)))) in b 7.226 * [taylor]: Taking taylor expansion of (+ (* 32.0 (/ (pow b 6) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2))) (* 4 (/ (pow b 6) (- (pow b 4) (* 4.0 (pow b 2)))))) in b 7.226 * [taylor]: Taking taylor expansion of (* 32.0 (/ (pow b 6) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2))) in b 7.226 * [taylor]: Taking taylor expansion of 32.0 in b 7.226 * [taylor]: Taking taylor expansion of (/ (pow b 6) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2)) in b 7.226 * [taylor]: Taking taylor expansion of (pow b 6) in b 7.226 * [taylor]: Taking taylor expansion of b in b 7.226 * [taylor]: Taking taylor expansion of (pow (- (pow b 4) (* 4.0 (pow b 2))) 2) in b 7.226 * [taylor]: Taking taylor expansion of (- (pow b 4) (* 4.0 (pow b 2))) in b 7.226 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.226 * [taylor]: Taking taylor expansion of b in b 7.226 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 7.226 * [taylor]: Taking taylor expansion of 4.0 in b 7.226 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.226 * [taylor]: Taking taylor expansion of b in b 7.229 * [taylor]: Taking taylor expansion of (* 4 (/ (pow b 6) (- (pow b 4) (* 4.0 (pow b 2))))) in b 7.229 * [taylor]: Taking taylor expansion of 4 in b 7.229 * [taylor]: Taking taylor expansion of (/ (pow b 6) (- (pow b 4) (* 4.0 (pow b 2)))) in b 7.229 * [taylor]: Taking taylor expansion of (pow b 6) in b 7.229 * [taylor]: Taking taylor expansion of b in b 7.229 * [taylor]: Taking taylor expansion of (- (pow b 4) (* 4.0 (pow b 2))) in b 7.229 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.229 * [taylor]: Taking taylor expansion of b in b 7.229 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 7.229 * [taylor]: Taking taylor expansion of 4.0 in b 7.229 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.229 * [taylor]: Taking taylor expansion of b in b 7.231 * [taylor]: Taking taylor expansion of (* 2 (/ (pow b 10) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2))) in b 7.231 * [taylor]: Taking taylor expansion of 2 in b 7.231 * [taylor]: Taking taylor expansion of (/ (pow b 10) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2)) in b 7.232 * [taylor]: Taking taylor expansion of (pow b 10) in b 7.232 * [taylor]: Taking taylor expansion of b in b 7.232 * [taylor]: Taking taylor expansion of (pow (- (pow b 4) (* 4.0 (pow b 2))) 2) in b 7.232 * [taylor]: Taking taylor expansion of (- (pow b 4) (* 4.0 (pow b 2))) in b 7.232 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.232 * [taylor]: Taking taylor expansion of b in b 7.232 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 7.232 * [taylor]: Taking taylor expansion of 4.0 in b 7.232 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.232 * [taylor]: Taking taylor expansion of b in b 7.247 * [taylor]: Taking taylor expansion of 0 in b 7.268 * [taylor]: Taking taylor expansion of (- (+ (* 4 (/ (pow b 12) (pow (- (pow b 4) (* 4.0 (pow b 2))) 3))) (+ (* 16.0 (/ (pow b 4) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2))) (* 6 (/ (pow b 4) (- (pow b 4) (* 4.0 (pow b 2))))))) (+ (* 64.0 (/ (pow b 8) (pow (- (pow b 4) (* 4.0 (pow b 2))) 3))) (* 9 (/ (pow b 8) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2))))) in b 7.268 * [taylor]: Taking taylor expansion of (+ (* 4 (/ (pow b 12) (pow (- (pow b 4) (* 4.0 (pow b 2))) 3))) (+ (* 16.0 (/ (pow b 4) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2))) (* 6 (/ (pow b 4) (- (pow b 4) (* 4.0 (pow b 2))))))) in b 7.268 * [taylor]: Taking taylor expansion of (* 4 (/ (pow b 12) (pow (- (pow b 4) (* 4.0 (pow b 2))) 3))) in b 7.268 * [taylor]: Taking taylor expansion of 4 in b 7.268 * [taylor]: Taking taylor expansion of (/ (pow b 12) (pow (- (pow b 4) (* 4.0 (pow b 2))) 3)) in b 7.268 * [taylor]: Taking taylor expansion of (pow b 12) in b 7.268 * [taylor]: Taking taylor expansion of b in b 7.268 * [taylor]: Taking taylor expansion of (pow (- (pow b 4) (* 4.0 (pow b 2))) 3) in b 7.268 * [taylor]: Taking taylor expansion of (- (pow b 4) (* 4.0 (pow b 2))) in b 7.268 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.268 * [taylor]: Taking taylor expansion of b in b 7.268 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 7.268 * [taylor]: Taking taylor expansion of 4.0 in b 7.268 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.268 * [taylor]: Taking taylor expansion of b in b 7.272 * [taylor]: Taking taylor expansion of (+ (* 16.0 (/ (pow b 4) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2))) (* 6 (/ (pow b 4) (- (pow b 4) (* 4.0 (pow b 2)))))) in b 7.272 * [taylor]: Taking taylor expansion of (* 16.0 (/ (pow b 4) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2))) in b 7.272 * [taylor]: Taking taylor expansion of 16.0 in b 7.272 * [taylor]: Taking taylor expansion of (/ (pow b 4) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2)) in b 7.272 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.272 * [taylor]: Taking taylor expansion of b in b 7.272 * [taylor]: Taking taylor expansion of (pow (- (pow b 4) (* 4.0 (pow b 2))) 2) in b 7.272 * [taylor]: Taking taylor expansion of (- (pow b 4) (* 4.0 (pow b 2))) in b 7.272 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.272 * [taylor]: Taking taylor expansion of b in b 7.272 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 7.272 * [taylor]: Taking taylor expansion of 4.0 in b 7.272 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.272 * [taylor]: Taking taylor expansion of b in b 7.278 * [taylor]: Taking taylor expansion of (* 6 (/ (pow b 4) (- (pow b 4) (* 4.0 (pow b 2))))) in b 7.278 * [taylor]: Taking taylor expansion of 6 in b 7.278 * [taylor]: Taking taylor expansion of (/ (pow b 4) (- (pow b 4) (* 4.0 (pow b 2)))) in b 7.278 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.278 * [taylor]: Taking taylor expansion of b in b 7.278 * [taylor]: Taking taylor expansion of (- (pow b 4) (* 4.0 (pow b 2))) in b 7.278 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.278 * [taylor]: Taking taylor expansion of b in b 7.278 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 7.278 * [taylor]: Taking taylor expansion of 4.0 in b 7.278 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.278 * [taylor]: Taking taylor expansion of b in b 7.280 * [taylor]: Taking taylor expansion of (+ (* 64.0 (/ (pow b 8) (pow (- (pow b 4) (* 4.0 (pow b 2))) 3))) (* 9 (/ (pow b 8) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2)))) in b 7.280 * [taylor]: Taking taylor expansion of (* 64.0 (/ (pow b 8) (pow (- (pow b 4) (* 4.0 (pow b 2))) 3))) in b 7.280 * [taylor]: Taking taylor expansion of 64.0 in b 7.280 * [taylor]: Taking taylor expansion of (/ (pow b 8) (pow (- (pow b 4) (* 4.0 (pow b 2))) 3)) in b 7.280 * [taylor]: Taking taylor expansion of (pow b 8) in b 7.280 * [taylor]: Taking taylor expansion of b in b 7.280 * [taylor]: Taking taylor expansion of (pow (- (pow b 4) (* 4.0 (pow b 2))) 3) in b 7.280 * [taylor]: Taking taylor expansion of (- (pow b 4) (* 4.0 (pow b 2))) in b 7.280 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.280 * [taylor]: Taking taylor expansion of b in b 7.280 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 7.280 * [taylor]: Taking taylor expansion of 4.0 in b 7.280 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.280 * [taylor]: Taking taylor expansion of b in b 7.284 * [taylor]: Taking taylor expansion of (* 9 (/ (pow b 8) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2))) in b 7.284 * [taylor]: Taking taylor expansion of 9 in b 7.284 * [taylor]: Taking taylor expansion of (/ (pow b 8) (pow (- (pow b 4) (* 4.0 (pow b 2))) 2)) in b 7.284 * [taylor]: Taking taylor expansion of (pow b 8) in b 7.284 * [taylor]: Taking taylor expansion of b in b 7.284 * [taylor]: Taking taylor expansion of (pow (- (pow b 4) (* 4.0 (pow b 2))) 2) in b 7.284 * [taylor]: Taking taylor expansion of (- (pow b 4) (* 4.0 (pow b 2))) in b 7.284 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.284 * [taylor]: Taking taylor expansion of b in b 7.284 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 7.284 * [taylor]: Taking taylor expansion of 4.0 in b 7.284 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.284 * [taylor]: Taking taylor expansion of b in b 7.290 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in (a b) around 0 7.290 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in b 7.290 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) in b 7.290 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) in b 7.291 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in b 7.291 * [taylor]: Taking taylor expansion of (pow b 8) in b 7.291 * [taylor]: Taking taylor expansion of b in b 7.291 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2))))))) in b 7.292 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in b 7.292 * [taylor]: Taking taylor expansion of 4 in b 7.292 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in b 7.292 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 7.292 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.292 * [taylor]: Taking taylor expansion of a in b 7.292 * [taylor]: Taking taylor expansion of (pow b 6) in b 7.292 * [taylor]: Taking taylor expansion of b in b 7.292 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))) in b 7.293 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in b 7.293 * [taylor]: Taking taylor expansion of (pow a 8) in b 7.293 * [taylor]: Taking taylor expansion of a in b 7.293 * [taylor]: Taking taylor expansion of (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2))))) in b 7.293 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in b 7.293 * [taylor]: Taking taylor expansion of 6 in b 7.293 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in b 7.293 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 7.293 * [taylor]: Taking taylor expansion of (pow a 4) in b 7.293 * [taylor]: Taking taylor expansion of a in b 7.293 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.293 * [taylor]: Taking taylor expansion of b in b 7.294 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in b 7.294 * [taylor]: Taking taylor expansion of 4 in b 7.294 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in b 7.294 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 7.294 * [taylor]: Taking taylor expansion of (pow a 6) in b 7.294 * [taylor]: Taking taylor expansion of a in b 7.294 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.294 * [taylor]: Taking taylor expansion of b in b 7.294 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in b 7.294 * [taylor]: Taking taylor expansion of 16.0 in b 7.294 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 7.294 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.294 * [taylor]: Taking taylor expansion of b in b 7.295 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in b 7.295 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 7.295 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 7.295 * [taylor]: Taking taylor expansion of 2 in b 7.295 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 7.295 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 7.295 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.295 * [taylor]: Taking taylor expansion of a in b 7.295 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.295 * [taylor]: Taking taylor expansion of b in b 7.296 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 7.296 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 7.296 * [taylor]: Taking taylor expansion of (pow a 4) in b 7.296 * [taylor]: Taking taylor expansion of a in b 7.296 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 7.296 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.296 * [taylor]: Taking taylor expansion of b in b 7.297 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 7.297 * [taylor]: Taking taylor expansion of 4.0 in b 7.297 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.297 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.297 * [taylor]: Taking taylor expansion of b in b 7.299 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in a 7.299 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) in a 7.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) in a 7.299 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in a 7.299 * [taylor]: Taking taylor expansion of (pow b 8) in a 7.299 * [taylor]: Taking taylor expansion of b in a 7.299 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2))))))) in a 7.299 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in a 7.299 * [taylor]: Taking taylor expansion of 4 in a 7.299 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in a 7.299 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in a 7.299 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.299 * [taylor]: Taking taylor expansion of a in a 7.299 * [taylor]: Taking taylor expansion of (pow b 6) in a 7.299 * [taylor]: Taking taylor expansion of b in a 7.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))) in a 7.300 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 7.300 * [taylor]: Taking taylor expansion of (pow a 8) in a 7.300 * [taylor]: Taking taylor expansion of a in a 7.301 * [taylor]: Taking taylor expansion of (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2))))) in a 7.301 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in a 7.301 * [taylor]: Taking taylor expansion of 6 in a 7.301 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in a 7.301 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in a 7.301 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.301 * [taylor]: Taking taylor expansion of a in a 7.301 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.301 * [taylor]: Taking taylor expansion of b in a 7.302 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in a 7.302 * [taylor]: Taking taylor expansion of 4 in a 7.302 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in a 7.302 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in a 7.302 * [taylor]: Taking taylor expansion of (pow a 6) in a 7.302 * [taylor]: Taking taylor expansion of a in a 7.302 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.302 * [taylor]: Taking taylor expansion of b in a 7.303 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in a 7.303 * [taylor]: Taking taylor expansion of 16.0 in a 7.303 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 7.303 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.303 * [taylor]: Taking taylor expansion of b in a 7.303 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in a 7.303 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 7.303 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 7.303 * [taylor]: Taking taylor expansion of 2 in a 7.303 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 7.303 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 7.303 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.303 * [taylor]: Taking taylor expansion of a in a 7.303 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.303 * [taylor]: Taking taylor expansion of b in a 7.303 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 7.303 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 7.303 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.303 * [taylor]: Taking taylor expansion of a in a 7.304 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 7.304 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.304 * [taylor]: Taking taylor expansion of b in a 7.304 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 7.305 * [taylor]: Taking taylor expansion of 4.0 in a 7.305 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.305 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.305 * [taylor]: Taking taylor expansion of b in a 7.307 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in a 7.307 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) in a 7.307 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) in a 7.307 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in a 7.307 * [taylor]: Taking taylor expansion of (pow b 8) in a 7.307 * [taylor]: Taking taylor expansion of b in a 7.307 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2))))))) in a 7.307 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in a 7.307 * [taylor]: Taking taylor expansion of 4 in a 7.307 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in a 7.307 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in a 7.307 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.307 * [taylor]: Taking taylor expansion of a in a 7.307 * [taylor]: Taking taylor expansion of (pow b 6) in a 7.307 * [taylor]: Taking taylor expansion of b in a 7.308 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))) in a 7.308 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 7.308 * [taylor]: Taking taylor expansion of (pow a 8) in a 7.308 * [taylor]: Taking taylor expansion of a in a 7.309 * [taylor]: Taking taylor expansion of (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2))))) in a 7.309 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in a 7.309 * [taylor]: Taking taylor expansion of 6 in a 7.309 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in a 7.309 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in a 7.309 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.309 * [taylor]: Taking taylor expansion of a in a 7.309 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.309 * [taylor]: Taking taylor expansion of b in a 7.310 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in a 7.310 * [taylor]: Taking taylor expansion of 4 in a 7.310 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in a 7.310 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in a 7.310 * [taylor]: Taking taylor expansion of (pow a 6) in a 7.310 * [taylor]: Taking taylor expansion of a in a 7.310 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.310 * [taylor]: Taking taylor expansion of b in a 7.311 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in a 7.311 * [taylor]: Taking taylor expansion of 16.0 in a 7.311 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 7.311 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.311 * [taylor]: Taking taylor expansion of b in a 7.311 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in a 7.311 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 7.311 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 7.311 * [taylor]: Taking taylor expansion of 2 in a 7.311 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 7.311 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 7.311 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.311 * [taylor]: Taking taylor expansion of a in a 7.311 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.311 * [taylor]: Taking taylor expansion of b in a 7.312 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 7.312 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 7.312 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.312 * [taylor]: Taking taylor expansion of a in a 7.312 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 7.312 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.312 * [taylor]: Taking taylor expansion of b in a 7.313 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 7.313 * [taylor]: Taking taylor expansion of 4.0 in a 7.313 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.313 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.313 * [taylor]: Taking taylor expansion of b in a 7.315 * [taylor]: Taking taylor expansion of 1 in b 7.319 * [taylor]: Taking taylor expansion of 0 in b 7.324 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 7.324 * [taylor]: Taking taylor expansion of 2 in b 7.324 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.324 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.324 * [taylor]: Taking taylor expansion of b in b 7.334 * [taylor]: Taking taylor expansion of 0 in b 7.345 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b 7.345 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 7.345 * [taylor]: Taking taylor expansion of 4.0 in b 7.345 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.345 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.345 * [taylor]: Taking taylor expansion of b in b 7.346 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 7.346 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.346 * [taylor]: Taking taylor expansion of b in b 7.349 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in (a b) around 0 7.349 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in b 7.349 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) in b 7.349 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) in b 7.349 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in b 7.349 * [taylor]: Taking taylor expansion of (pow b 8) in b 7.349 * [taylor]: Taking taylor expansion of b in b 7.350 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2))))))) in b 7.350 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in b 7.350 * [taylor]: Taking taylor expansion of 4 in b 7.350 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in b 7.350 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in b 7.350 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.350 * [taylor]: Taking taylor expansion of a in b 7.350 * [taylor]: Taking taylor expansion of (pow b 6) in b 7.350 * [taylor]: Taking taylor expansion of b in b 7.351 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))) in b 7.351 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in b 7.351 * [taylor]: Taking taylor expansion of (pow a 8) in b 7.351 * [taylor]: Taking taylor expansion of a in b 7.351 * [taylor]: Taking taylor expansion of (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2))))) in b 7.351 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in b 7.351 * [taylor]: Taking taylor expansion of 6 in b 7.351 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in b 7.351 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in b 7.351 * [taylor]: Taking taylor expansion of (pow a 4) in b 7.351 * [taylor]: Taking taylor expansion of a in b 7.351 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.351 * [taylor]: Taking taylor expansion of b in b 7.352 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in b 7.352 * [taylor]: Taking taylor expansion of 4 in b 7.352 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in b 7.352 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in b 7.352 * [taylor]: Taking taylor expansion of (pow a 6) in b 7.352 * [taylor]: Taking taylor expansion of a in b 7.352 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.352 * [taylor]: Taking taylor expansion of b in b 7.353 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in b 7.353 * [taylor]: Taking taylor expansion of 16.0 in b 7.353 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 7.353 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.353 * [taylor]: Taking taylor expansion of b in b 7.354 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in b 7.354 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 7.354 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 7.354 * [taylor]: Taking taylor expansion of 2 in b 7.354 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 7.354 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 7.354 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.354 * [taylor]: Taking taylor expansion of a in b 7.354 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.354 * [taylor]: Taking taylor expansion of b in b 7.354 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 7.354 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 7.354 * [taylor]: Taking taylor expansion of (pow a 4) in b 7.354 * [taylor]: Taking taylor expansion of a in b 7.355 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 7.355 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.355 * [taylor]: Taking taylor expansion of b in b 7.355 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 7.355 * [taylor]: Taking taylor expansion of 4.0 in b 7.355 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.355 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.355 * [taylor]: Taking taylor expansion of b in b 7.357 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in a 7.357 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) in a 7.357 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) in a 7.357 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in a 7.357 * [taylor]: Taking taylor expansion of (pow b 8) in a 7.357 * [taylor]: Taking taylor expansion of b in a 7.358 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2))))))) in a 7.358 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in a 7.358 * [taylor]: Taking taylor expansion of 4 in a 7.358 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in a 7.358 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in a 7.358 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.358 * [taylor]: Taking taylor expansion of a in a 7.358 * [taylor]: Taking taylor expansion of (pow b 6) in a 7.358 * [taylor]: Taking taylor expansion of b in a 7.358 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))) in a 7.358 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 7.358 * [taylor]: Taking taylor expansion of (pow a 8) in a 7.358 * [taylor]: Taking taylor expansion of a in a 7.359 * [taylor]: Taking taylor expansion of (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2))))) in a 7.359 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in a 7.359 * [taylor]: Taking taylor expansion of 6 in a 7.359 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in a 7.359 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in a 7.359 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.359 * [taylor]: Taking taylor expansion of a in a 7.359 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.359 * [taylor]: Taking taylor expansion of b in a 7.360 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in a 7.360 * [taylor]: Taking taylor expansion of 4 in a 7.360 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in a 7.360 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in a 7.360 * [taylor]: Taking taylor expansion of (pow a 6) in a 7.360 * [taylor]: Taking taylor expansion of a in a 7.360 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.360 * [taylor]: Taking taylor expansion of b in a 7.364 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in a 7.364 * [taylor]: Taking taylor expansion of 16.0 in a 7.364 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 7.364 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.364 * [taylor]: Taking taylor expansion of b in a 7.364 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in a 7.364 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 7.364 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 7.364 * [taylor]: Taking taylor expansion of 2 in a 7.364 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 7.364 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 7.364 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.364 * [taylor]: Taking taylor expansion of a in a 7.364 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.364 * [taylor]: Taking taylor expansion of b in a 7.365 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 7.365 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 7.365 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.365 * [taylor]: Taking taylor expansion of a in a 7.365 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 7.365 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.365 * [taylor]: Taking taylor expansion of b in a 7.366 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 7.366 * [taylor]: Taking taylor expansion of 4.0 in a 7.366 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.366 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.366 * [taylor]: Taking taylor expansion of b in a 7.368 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2))))) in a 7.368 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) (* 16.0 (/ 1 (pow b 4)))) in a 7.368 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 8)) (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))))) in a 7.368 * [taylor]: Taking taylor expansion of (/ 1 (pow b 8)) in a 7.368 * [taylor]: Taking taylor expansion of (pow b 8) in a 7.368 * [taylor]: Taking taylor expansion of b in a 7.368 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 6)))) (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2))))))) in a 7.368 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 6)))) in a 7.368 * [taylor]: Taking taylor expansion of 4 in a 7.368 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 6))) in a 7.368 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 6)) in a 7.368 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.368 * [taylor]: Taking taylor expansion of a in a 7.368 * [taylor]: Taking taylor expansion of (pow b 6) in a 7.368 * [taylor]: Taking taylor expansion of b in a 7.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 8)) (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2)))))) in a 7.369 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8)) in a 7.369 * [taylor]: Taking taylor expansion of (pow a 8) in a 7.369 * [taylor]: Taking taylor expansion of a in a 7.370 * [taylor]: Taking taylor expansion of (+ (* 6 (/ 1 (* (pow a 4) (pow b 4)))) (* 4 (/ 1 (* (pow a 6) (pow b 2))))) in a 7.370 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow a 4) (pow b 4)))) in a 7.370 * [taylor]: Taking taylor expansion of 6 in a 7.370 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 4) (pow b 4))) in a 7.370 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow b 4)) in a 7.370 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.370 * [taylor]: Taking taylor expansion of a in a 7.370 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.370 * [taylor]: Taking taylor expansion of b in a 7.371 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 6) (pow b 2)))) in a 7.371 * [taylor]: Taking taylor expansion of 4 in a 7.371 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 6) (pow b 2))) in a 7.371 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow b 2)) in a 7.371 * [taylor]: Taking taylor expansion of (pow a 6) in a 7.371 * [taylor]: Taking taylor expansion of a in a 7.371 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.371 * [taylor]: Taking taylor expansion of b in a 7.372 * [taylor]: Taking taylor expansion of (* 16.0 (/ 1 (pow b 4))) in a 7.372 * [taylor]: Taking taylor expansion of 16.0 in a 7.372 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 7.372 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.372 * [taylor]: Taking taylor expansion of b in a 7.372 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in a 7.372 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 7.372 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 7.372 * [taylor]: Taking taylor expansion of 2 in a 7.372 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 7.372 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 7.372 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.372 * [taylor]: Taking taylor expansion of a in a 7.372 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.372 * [taylor]: Taking taylor expansion of b in a 7.372 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 7.372 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 7.372 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.372 * [taylor]: Taking taylor expansion of a in a 7.373 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 7.373 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.373 * [taylor]: Taking taylor expansion of b in a 7.373 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 7.373 * [taylor]: Taking taylor expansion of 4.0 in a 7.373 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.373 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.373 * [taylor]: Taking taylor expansion of b in a 7.375 * [taylor]: Taking taylor expansion of 1 in b 7.380 * [taylor]: Taking taylor expansion of 0 in b 7.385 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 7.385 * [taylor]: Taking taylor expansion of 2 in b 7.385 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.385 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.385 * [taylor]: Taking taylor expansion of b in b 7.395 * [taylor]: Taking taylor expansion of 0 in b 7.406 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow b 2))) (/ 1 (pow b 4))) in b 7.406 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 7.406 * [taylor]: Taking taylor expansion of 4.0 in b 7.406 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.406 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.406 * [taylor]: Taking taylor expansion of b in b 7.407 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 7.407 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.407 * [taylor]: Taking taylor expansion of b in b 7.408 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 7.409 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in (a b) around 0 7.409 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in b 7.409 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in b 7.409 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in b 7.409 * [taylor]: Taking taylor expansion of 2.0 in b 7.409 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in b 7.409 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 7.409 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.409 * [taylor]: Taking taylor expansion of a in b 7.409 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.409 * [taylor]: Taking taylor expansion of b in b 7.409 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 7.409 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 7.409 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 7.409 * [taylor]: Taking taylor expansion of 2.0 in a 7.409 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 7.409 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 7.409 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.409 * [taylor]: Taking taylor expansion of a in a 7.409 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.409 * [taylor]: Taking taylor expansion of b in a 7.410 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 2.0) in a 7.410 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (pow a 2) (pow b 2))))) in a 7.410 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (pow a 2) (pow b 2)))) in a 7.410 * [taylor]: Taking taylor expansion of 2.0 in a 7.410 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 7.410 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 7.410 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.410 * [taylor]: Taking taylor expansion of a in a 7.410 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.410 * [taylor]: Taking taylor expansion of b in a 7.410 * [taylor]: Taking taylor expansion of (pow (pow b 2) 2.0) in b 7.410 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow b 2)))) in b 7.410 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow b 2))) in b 7.410 * [taylor]: Taking taylor expansion of 2.0 in b 7.410 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 7.410 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.410 * [taylor]: Taking taylor expansion of b in b 7.413 * [taylor]: Taking taylor expansion of 0 in b 7.418 * [taylor]: Taking taylor expansion of (* 2.0 (pow (pow b 2.0) 1.0)) in b 7.418 * [taylor]: Taking taylor expansion of 2.0 in b 7.418 * [taylor]: Taking taylor expansion of (pow (pow b 2.0) 1.0) in b 7.418 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow b 2.0)))) in b 7.418 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow b 2.0))) in b 7.418 * [taylor]: Taking taylor expansion of 1.0 in b 7.418 * [taylor]: Taking taylor expansion of (log (pow b 2.0)) in b 7.418 * [taylor]: Taking taylor expansion of (pow b 2.0) in b 7.418 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log b))) in b 7.418 * [taylor]: Taking taylor expansion of (* 2.0 (log b)) in b 7.418 * [taylor]: Taking taylor expansion of 2.0 in b 7.418 * [taylor]: Taking taylor expansion of (log b) in b 7.418 * [taylor]: Taking taylor expansion of b in b 7.427 * [taylor]: Taking taylor expansion of 0 in b 7.436 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 7.436 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 7.436 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 7.436 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 7.436 * [taylor]: Taking taylor expansion of 2.0 in b 7.436 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 7.436 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 7.436 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.436 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.436 * [taylor]: Taking taylor expansion of b in b 7.437 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 7.437 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.437 * [taylor]: Taking taylor expansion of a in b 7.438 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 7.438 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 7.438 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 7.438 * [taylor]: Taking taylor expansion of 2.0 in a 7.438 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 7.438 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 7.438 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.438 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.438 * [taylor]: Taking taylor expansion of b in a 7.438 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 7.438 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.438 * [taylor]: Taking taylor expansion of a in a 7.440 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 7.440 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 7.440 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 7.440 * [taylor]: Taking taylor expansion of 2.0 in a 7.440 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 7.440 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 7.440 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.440 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.440 * [taylor]: Taking taylor expansion of b in a 7.440 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 7.440 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.440 * [taylor]: Taking taylor expansion of a in a 7.441 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 7.441 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 7.441 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 7.441 * [taylor]: Taking taylor expansion of -4.0 in b 7.441 * [taylor]: Taking taylor expansion of (log a) in b 7.441 * [taylor]: Taking taylor expansion of a in b 7.444 * [taylor]: Taking taylor expansion of 0 in b 7.452 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 7.452 * [taylor]: Taking taylor expansion of 2.0 in b 7.452 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 7.452 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 7.452 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 7.452 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 7.452 * [taylor]: Taking taylor expansion of 1.0 in b 7.452 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 7.452 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 7.452 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 7.452 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 7.452 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 7.452 * [taylor]: Taking taylor expansion of 4.0 in b 7.452 * [taylor]: Taking taylor expansion of (log a) in b 7.452 * [taylor]: Taking taylor expansion of a in b 7.453 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.453 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.453 * [taylor]: Taking taylor expansion of b in b 7.473 * [taylor]: Taking taylor expansion of 0 in b 7.473 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in (a b) around 0 7.473 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in b 7.474 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 7.474 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 7.474 * [taylor]: Taking taylor expansion of 2.0 in b 7.474 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 7.474 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 7.474 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.474 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.474 * [taylor]: Taking taylor expansion of b in b 7.474 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 7.474 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.474 * [taylor]: Taking taylor expansion of a in b 7.475 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 7.475 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 7.475 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 7.475 * [taylor]: Taking taylor expansion of 2.0 in a 7.475 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 7.475 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 7.475 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.475 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.475 * [taylor]: Taking taylor expansion of b in a 7.475 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 7.475 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.475 * [taylor]: Taking taylor expansion of a in a 7.477 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 2.0) in a 7.477 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 7.477 * [taylor]: Taking taylor expansion of (* 2.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 7.477 * [taylor]: Taking taylor expansion of 2.0 in a 7.477 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 7.477 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 7.477 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.477 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.477 * [taylor]: Taking taylor expansion of b in a 7.477 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 7.477 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.477 * [taylor]: Taking taylor expansion of a in a 7.478 * [taylor]: Taking taylor expansion of (pow a -4.0) in b 7.478 * [taylor]: Taking taylor expansion of (exp (* -4.0 (log a))) in b 7.478 * [taylor]: Taking taylor expansion of (* -4.0 (log a)) in b 7.478 * [taylor]: Taking taylor expansion of -4.0 in b 7.478 * [taylor]: Taking taylor expansion of (log a) in b 7.478 * [taylor]: Taking taylor expansion of a in b 7.481 * [taylor]: Taking taylor expansion of 0 in b 7.486 * [taylor]: Taking taylor expansion of (* 2.0 (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2)))) in b 7.486 * [taylor]: Taking taylor expansion of 2.0 in b 7.486 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 4.0)) 1.0) (/ 1 (pow b 2))) in b 7.486 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 4.0)) 1.0) in b 7.486 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 4.0))))) in b 7.486 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 4.0)))) in b 7.486 * [taylor]: Taking taylor expansion of 1.0 in b 7.486 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 4.0))) in b 7.486 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4.0)) in b 7.486 * [taylor]: Taking taylor expansion of (pow a 4.0) in b 7.486 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log a))) in b 7.486 * [taylor]: Taking taylor expansion of (* 4.0 (log a)) in b 7.486 * [taylor]: Taking taylor expansion of 4.0 in b 7.486 * [taylor]: Taking taylor expansion of (log a) in b 7.486 * [taylor]: Taking taylor expansion of a in b 7.487 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.487 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.487 * [taylor]: Taking taylor expansion of b in b 7.507 * [taylor]: Taking taylor expansion of 0 in b 7.507 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 7.508 * [approximate]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4.0) in (a b) around 0 7.508 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4.0) in b 7.508 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (pow a 2) (pow b 2))))) in b 7.508 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (pow a 2) (pow b 2)))) in b 7.508 * [taylor]: Taking taylor expansion of 4.0 in b 7.508 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in b 7.508 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in b 7.508 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.508 * [taylor]: Taking taylor expansion of a in b 7.508 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.508 * [taylor]: Taking taylor expansion of b in b 7.508 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4.0) in a 7.508 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (pow a 2) (pow b 2))))) in a 7.508 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (pow a 2) (pow b 2)))) in a 7.508 * [taylor]: Taking taylor expansion of 4.0 in a 7.508 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 7.508 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 7.508 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.508 * [taylor]: Taking taylor expansion of a in a 7.508 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.508 * [taylor]: Taking taylor expansion of b in a 7.509 * [taylor]: Taking taylor expansion of (pow (+ (pow a 2) (pow b 2)) 4.0) in a 7.509 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (pow a 2) (pow b 2))))) in a 7.509 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (pow a 2) (pow b 2)))) in a 7.509 * [taylor]: Taking taylor expansion of 4.0 in a 7.509 * [taylor]: Taking taylor expansion of (log (+ (pow a 2) (pow b 2))) in a 7.509 * [taylor]: Taking taylor expansion of (+ (pow a 2) (pow b 2)) in a 7.509 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.509 * [taylor]: Taking taylor expansion of a in a 7.509 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.509 * [taylor]: Taking taylor expansion of b in a 7.509 * [taylor]: Taking taylor expansion of (pow (pow b 2) 4.0) in b 7.509 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (pow b 2)))) in b 7.509 * [taylor]: Taking taylor expansion of (* 4.0 (log (pow b 2))) in b 7.509 * [taylor]: Taking taylor expansion of 4.0 in b 7.509 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 7.509 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.509 * [taylor]: Taking taylor expansion of b in b 7.512 * [taylor]: Taking taylor expansion of 0 in b 7.517 * [taylor]: Taking taylor expansion of (* 4.0 (pow (pow b 6.0) 1.0)) in b 7.517 * [taylor]: Taking taylor expansion of 4.0 in b 7.517 * [taylor]: Taking taylor expansion of (pow (pow b 6.0) 1.0) in b 7.517 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow b 6.0)))) in b 7.517 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow b 6.0))) in b 7.517 * [taylor]: Taking taylor expansion of 1.0 in b 7.517 * [taylor]: Taking taylor expansion of (log (pow b 6.0)) in b 7.517 * [taylor]: Taking taylor expansion of (pow b 6.0) in b 7.517 * [taylor]: Taking taylor expansion of (exp (* 6.0 (log b))) in b 7.517 * [taylor]: Taking taylor expansion of (* 6.0 (log b)) in b 7.517 * [taylor]: Taking taylor expansion of 6.0 in b 7.517 * [taylor]: Taking taylor expansion of (log b) in b 7.517 * [taylor]: Taking taylor expansion of b in b 7.526 * [taylor]: Taking taylor expansion of 0 in b 7.538 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in (a b) around 0 7.538 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in b 7.538 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 7.538 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 7.538 * [taylor]: Taking taylor expansion of 4.0 in b 7.538 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 7.538 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 7.538 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.538 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.538 * [taylor]: Taking taylor expansion of b in b 7.539 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 7.539 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.539 * [taylor]: Taking taylor expansion of a in b 7.540 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in a 7.540 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 7.540 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 7.540 * [taylor]: Taking taylor expansion of 4.0 in a 7.540 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 7.540 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 7.540 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.540 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.540 * [taylor]: Taking taylor expansion of b in a 7.540 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 7.540 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.540 * [taylor]: Taking taylor expansion of a in a 7.541 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in a 7.541 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 7.541 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 7.541 * [taylor]: Taking taylor expansion of 4.0 in a 7.541 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 7.541 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 7.541 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.541 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.541 * [taylor]: Taking taylor expansion of b in a 7.541 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 7.541 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.541 * [taylor]: Taking taylor expansion of a in a 7.543 * [taylor]: Taking taylor expansion of (pow a -8.0) in b 7.543 * [taylor]: Taking taylor expansion of (exp (* -8.0 (log a))) in b 7.543 * [taylor]: Taking taylor expansion of (* -8.0 (log a)) in b 7.543 * [taylor]: Taking taylor expansion of -8.0 in b 7.543 * [taylor]: Taking taylor expansion of (log a) in b 7.543 * [taylor]: Taking taylor expansion of a in b 7.546 * [taylor]: Taking taylor expansion of 0 in b 7.550 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 (pow a 8.0)) 1.0) (/ 1 (pow b 2)))) in b 7.550 * [taylor]: Taking taylor expansion of 4.0 in b 7.550 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 8.0)) 1.0) (/ 1 (pow b 2))) in b 7.550 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 8.0)) 1.0) in b 7.550 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 8.0))))) in b 7.550 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 8.0)))) in b 7.550 * [taylor]: Taking taylor expansion of 1.0 in b 7.550 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 8.0))) in b 7.550 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8.0)) in b 7.550 * [taylor]: Taking taylor expansion of (pow a 8.0) in b 7.550 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log a))) in b 7.551 * [taylor]: Taking taylor expansion of (* 8.0 (log a)) in b 7.551 * [taylor]: Taking taylor expansion of 8.0 in b 7.551 * [taylor]: Taking taylor expansion of (log a) in b 7.551 * [taylor]: Taking taylor expansion of a in b 7.551 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.551 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.551 * [taylor]: Taking taylor expansion of b in b 7.571 * [taylor]: Taking taylor expansion of 0 in b 7.572 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in (a b) around 0 7.572 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in b 7.572 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in b 7.572 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in b 7.572 * [taylor]: Taking taylor expansion of 4.0 in b 7.572 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in b 7.572 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in b 7.572 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.572 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.572 * [taylor]: Taking taylor expansion of b in b 7.572 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 7.572 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.572 * [taylor]: Taking taylor expansion of a in b 7.573 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in a 7.573 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 7.573 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 7.573 * [taylor]: Taking taylor expansion of 4.0 in a 7.573 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 7.573 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 7.573 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.573 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.573 * [taylor]: Taking taylor expansion of b in a 7.574 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 7.574 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.574 * [taylor]: Taking taylor expansion of a in a 7.575 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) 4.0) in a 7.575 * [taylor]: Taking taylor expansion of (exp (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))))) in a 7.575 * [taylor]: Taking taylor expansion of (* 4.0 (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))))) in a 7.575 * [taylor]: Taking taylor expansion of 4.0 in a 7.575 * [taylor]: Taking taylor expansion of (log (+ (/ 1 (pow b 2)) (/ 1 (pow a 2)))) in a 7.575 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (/ 1 (pow a 2))) in a 7.575 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.575 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.575 * [taylor]: Taking taylor expansion of b in a 7.575 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 7.575 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.575 * [taylor]: Taking taylor expansion of a in a 7.576 * [taylor]: Taking taylor expansion of (pow a -8.0) in b 7.576 * [taylor]: Taking taylor expansion of (exp (* -8.0 (log a))) in b 7.576 * [taylor]: Taking taylor expansion of (* -8.0 (log a)) in b 7.576 * [taylor]: Taking taylor expansion of -8.0 in b 7.576 * [taylor]: Taking taylor expansion of (log a) in b 7.576 * [taylor]: Taking taylor expansion of a in b 7.579 * [taylor]: Taking taylor expansion of 0 in b 7.584 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (/ 1 (pow a 8.0)) 1.0) (/ 1 (pow b 2)))) in b 7.584 * [taylor]: Taking taylor expansion of 4.0 in b 7.584 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow a 8.0)) 1.0) (/ 1 (pow b 2))) in b 7.584 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow a 8.0)) 1.0) in b 7.584 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (/ 1 (pow a 8.0))))) in b 7.584 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 (pow a 8.0)))) in b 7.584 * [taylor]: Taking taylor expansion of 1.0 in b 7.584 * [taylor]: Taking taylor expansion of (log (/ 1 (pow a 8.0))) in b 7.584 * [taylor]: Taking taylor expansion of (/ 1 (pow a 8.0)) in b 7.584 * [taylor]: Taking taylor expansion of (pow a 8.0) in b 7.584 * [taylor]: Taking taylor expansion of (exp (* 8.0 (log a))) in b 7.584 * [taylor]: Taking taylor expansion of (* 8.0 (log a)) in b 7.584 * [taylor]: Taking taylor expansion of 8.0 in b 7.584 * [taylor]: Taking taylor expansion of (log a) in b 7.584 * [taylor]: Taking taylor expansion of a in b 7.585 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.585 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.585 * [taylor]: Taking taylor expansion of b in b 7.605 * [taylor]: Taking taylor expansion of 0 in b 7.605 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 7.606 * [approximate]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2))) in (a b) around 0 7.606 * [taylor]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2))) in b 7.606 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in b 7.606 * [taylor]: Taking taylor expansion of (pow a 4) in b 7.606 * [taylor]: Taking taylor expansion of a in b 7.606 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in b 7.606 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.606 * [taylor]: Taking taylor expansion of b in b 7.606 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in b 7.606 * [taylor]: Taking taylor expansion of 2 in b 7.606 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 7.606 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.606 * [taylor]: Taking taylor expansion of a in b 7.606 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.606 * [taylor]: Taking taylor expansion of b in b 7.606 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 7.606 * [taylor]: Taking taylor expansion of 4.0 in b 7.606 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.606 * [taylor]: Taking taylor expansion of b in b 7.606 * [taylor]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2))) in a 7.606 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in a 7.606 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.606 * [taylor]: Taking taylor expansion of a in a 7.606 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in a 7.606 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.606 * [taylor]: Taking taylor expansion of b in a 7.606 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 7.606 * [taylor]: Taking taylor expansion of 2 in a 7.606 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 7.606 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.606 * [taylor]: Taking taylor expansion of a in a 7.606 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.606 * [taylor]: Taking taylor expansion of b in a 7.606 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in a 7.606 * [taylor]: Taking taylor expansion of 4.0 in a 7.606 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.606 * [taylor]: Taking taylor expansion of b in a 7.606 * [taylor]: Taking taylor expansion of (- (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (* 4.0 (pow b 2))) in a 7.606 * [taylor]: Taking taylor expansion of (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) in a 7.606 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.606 * [taylor]: Taking taylor expansion of a in a 7.606 * [taylor]: Taking taylor expansion of (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2)))) in a 7.606 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.606 * [taylor]: Taking taylor expansion of b in a 7.606 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow b 2))) in a 7.606 * [taylor]: Taking taylor expansion of 2 in a 7.606 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 7.606 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.606 * [taylor]: Taking taylor expansion of a in a 7.606 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.606 * [taylor]: Taking taylor expansion of b in a 7.607 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in a 7.607 * [taylor]: Taking taylor expansion of 4.0 in a 7.607 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.607 * [taylor]: Taking taylor expansion of b in a 7.607 * [taylor]: Taking taylor expansion of (- (pow b 4) (* 4.0 (pow b 2))) in b 7.607 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.607 * [taylor]: Taking taylor expansion of b in b 7.607 * [taylor]: Taking taylor expansion of (* 4.0 (pow b 2)) in b 7.607 * [taylor]: Taking taylor expansion of 4.0 in b 7.607 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.607 * [taylor]: Taking taylor expansion of b in b 7.609 * [taylor]: Taking taylor expansion of 0 in b 7.611 * [taylor]: Taking taylor expansion of (* 2 (pow b 2)) in b 7.611 * [taylor]: Taking taylor expansion of 2 in b 7.611 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.611 * [taylor]: Taking taylor expansion of b in b 7.617 * [taylor]: Taking taylor expansion of 0 in b 7.627 * [taylor]: Taking taylor expansion of 1 in b 7.629 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in (a b) around 0 7.629 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in b 7.629 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 7.629 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 7.629 * [taylor]: Taking taylor expansion of 2 in b 7.629 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 7.629 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 7.629 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.629 * [taylor]: Taking taylor expansion of a in b 7.629 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.629 * [taylor]: Taking taylor expansion of b in b 7.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 7.629 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 7.629 * [taylor]: Taking taylor expansion of (pow a 4) in b 7.629 * [taylor]: Taking taylor expansion of a in b 7.629 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 7.629 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.630 * [taylor]: Taking taylor expansion of b in b 7.630 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 7.630 * [taylor]: Taking taylor expansion of 4.0 in b 7.630 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.630 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.630 * [taylor]: Taking taylor expansion of b in b 7.631 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in a 7.631 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 7.631 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 7.631 * [taylor]: Taking taylor expansion of 2 in a 7.631 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 7.631 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 7.631 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.631 * [taylor]: Taking taylor expansion of a in a 7.631 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.631 * [taylor]: Taking taylor expansion of b in a 7.631 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 7.631 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 7.631 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.631 * [taylor]: Taking taylor expansion of a in a 7.632 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 7.632 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.632 * [taylor]: Taking taylor expansion of b in a 7.632 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 7.632 * [taylor]: Taking taylor expansion of 4.0 in a 7.632 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.632 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.632 * [taylor]: Taking taylor expansion of b in a 7.632 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in a 7.632 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 7.632 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 7.632 * [taylor]: Taking taylor expansion of 2 in a 7.633 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 7.633 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 7.633 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.633 * [taylor]: Taking taylor expansion of a in a 7.633 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.633 * [taylor]: Taking taylor expansion of b in a 7.633 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 7.633 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 7.633 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.633 * [taylor]: Taking taylor expansion of a in a 7.634 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 7.634 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.634 * [taylor]: Taking taylor expansion of b in a 7.634 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 7.634 * [taylor]: Taking taylor expansion of 4.0 in a 7.634 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.634 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.634 * [taylor]: Taking taylor expansion of b in a 7.635 * [taylor]: Taking taylor expansion of 1 in b 7.637 * [taylor]: Taking taylor expansion of 0 in b 7.639 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 7.639 * [taylor]: Taking taylor expansion of 2 in b 7.639 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.639 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.639 * [taylor]: Taking taylor expansion of b in b 7.643 * [taylor]: Taking taylor expansion of 0 in b 7.647 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 4)) (* 4.0 (/ 1 (pow b 2)))) in b 7.647 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 7.647 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.647 * [taylor]: Taking taylor expansion of b in b 7.648 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 7.648 * [taylor]: Taking taylor expansion of 4.0 in b 7.648 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.648 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.648 * [taylor]: Taking taylor expansion of b in b 7.650 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in (a b) around 0 7.650 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in b 7.650 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in b 7.650 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in b 7.650 * [taylor]: Taking taylor expansion of 2 in b 7.650 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 7.650 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 7.650 * [taylor]: Taking taylor expansion of (pow a 2) in b 7.650 * [taylor]: Taking taylor expansion of a in b 7.650 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.650 * [taylor]: Taking taylor expansion of b in b 7.650 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in b 7.650 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 7.650 * [taylor]: Taking taylor expansion of (pow a 4) in b 7.650 * [taylor]: Taking taylor expansion of a in b 7.650 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 7.650 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.650 * [taylor]: Taking taylor expansion of b in b 7.651 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 7.651 * [taylor]: Taking taylor expansion of 4.0 in b 7.651 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.651 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.651 * [taylor]: Taking taylor expansion of b in b 7.652 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in a 7.652 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 7.652 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 7.652 * [taylor]: Taking taylor expansion of 2 in a 7.652 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 7.652 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 7.652 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.652 * [taylor]: Taking taylor expansion of a in a 7.652 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.652 * [taylor]: Taking taylor expansion of b in a 7.652 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 7.652 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 7.652 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.652 * [taylor]: Taking taylor expansion of a in a 7.653 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 7.653 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.653 * [taylor]: Taking taylor expansion of b in a 7.653 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 7.653 * [taylor]: Taking taylor expansion of 4.0 in a 7.653 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.653 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.653 * [taylor]: Taking taylor expansion of b in a 7.653 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) (* 4.0 (/ 1 (pow b 2)))) in a 7.653 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* (pow a 2) (pow b 2)))) (+ (/ 1 (pow a 4)) (/ 1 (pow b 4)))) in a 7.653 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow b 2)))) in a 7.653 * [taylor]: Taking taylor expansion of 2 in a 7.654 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 7.654 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 7.654 * [taylor]: Taking taylor expansion of (pow a 2) in a 7.654 * [taylor]: Taking taylor expansion of a in a 7.654 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.654 * [taylor]: Taking taylor expansion of b in a 7.654 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow a 4)) (/ 1 (pow b 4))) in a 7.654 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 7.654 * [taylor]: Taking taylor expansion of (pow a 4) in a 7.654 * [taylor]: Taking taylor expansion of a in a 7.655 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 7.655 * [taylor]: Taking taylor expansion of (pow b 4) in a 7.655 * [taylor]: Taking taylor expansion of b in a 7.655 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in a 7.655 * [taylor]: Taking taylor expansion of 4.0 in a 7.655 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 7.655 * [taylor]: Taking taylor expansion of (pow b 2) in a 7.655 * [taylor]: Taking taylor expansion of b in a 7.656 * [taylor]: Taking taylor expansion of 1 in b 7.658 * [taylor]: Taking taylor expansion of 0 in b 7.660 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow b 2))) in b 7.660 * [taylor]: Taking taylor expansion of 2 in b 7.660 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.660 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.660 * [taylor]: Taking taylor expansion of b in b 7.664 * [taylor]: Taking taylor expansion of 0 in b 7.668 * [taylor]: Taking taylor expansion of (- (/ 1 (pow b 4)) (* 4.0 (/ 1 (pow b 2)))) in b 7.668 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 7.668 * [taylor]: Taking taylor expansion of (pow b 4) in b 7.668 * [taylor]: Taking taylor expansion of b in b 7.669 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow b 2))) in b 7.669 * [taylor]: Taking taylor expansion of 4.0 in b 7.669 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 7.669 * [taylor]: Taking taylor expansion of (pow b 2) in b 7.669 * [taylor]: Taking taylor expansion of b in b 7.671 * * * [progress]: simplifying candidates 7.672 * [simplify]: Simplifying using # : (- (log (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (log (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (log (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (exp (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (* (* (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (* (* (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (* (cbrt (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (cbrt (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))))) (cbrt (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (* (* (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (sqrt (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (sqrt (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (- (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (- (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ (pow (+ (* a a) (* b b)) (* 2 2.0)) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ (* (* 4.0 4.0) (pow b 4)) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ (* (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))))) (* (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))))) (/ (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (* (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (* (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))))) 1) (/ (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (* (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))))) (/ (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) 1) (/ (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ 1 (* (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ 1 (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ 1 1) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ 1 (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (* (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) 1) (/ (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))))) (/ (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))))) (/ (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (pow (+ (* a a) (* b b)) 2.0) 3) (pow (* 4.0 (* b b)) 3))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (* (* 4.0 (* b b)) (* 4.0 (* b b))))) (* (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (+ (* (pow (+ (* a a) (* b b)) (* 2 2.0)) (pow (+ (* a a) (* b b)) (* 2 2.0))) (+ (* (* (* 4.0 4.0) (pow b 4)) (* (* 4.0 4.0) (pow b 4))) (* (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))))) (* (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (+ (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (* (log (+ (* a a) (* b b))) 2.0) (* (log (+ (* a a) (* b b))) 2.0) (* 1 2.0) (pow (+ (* a a) (* b b)) (* (cbrt 2.0) (cbrt 2.0))) (pow (+ (* a a) (* b b)) (sqrt 2.0)) (pow (+ (* a a) (* b b)) 1) (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0) (pow (cbrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow 1 2.0) (pow (+ (* a a) (* b b)) 2.0) (log (pow (+ (* a a) (* b b)) 2.0)) (exp (pow (+ (* a a) (* b b)) 2.0)) (* (cbrt (pow (+ (* a a) (* b b)) 2.0)) (cbrt (pow (+ (* a a) (* b b)) 2.0))) (cbrt (pow (+ (* a a) (* b b)) 2.0)) (* (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (* (log (+ (* a a) (* b b))) (* 2 2.0)) (* (log (+ (* a a) (* b b))) (* 2 2.0)) (* 1 (* 2 2.0)) (pow (+ (* a a) (* b b)) 2) (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) (* 2 2.0)) (pow (cbrt (+ (* a a) (* b b))) (* 2 2.0)) (pow (sqrt (+ (* a a) (* b b))) (* 2 2.0)) (pow (sqrt (+ (* a a) (* b b))) (* 2 2.0)) (pow 1 (* 2 2.0)) (pow (+ (* a a) (* b b)) (* 2 2.0)) (log (pow (+ (* a a) (* b b)) (* 2 2.0))) (exp (pow (+ (* a a) (* b b)) (* 2 2.0))) (* (cbrt (pow (+ (* a a) (* b b)) (* 2 2.0))) (cbrt (pow (+ (* a a) (* b b)) (* 2 2.0)))) (cbrt (pow (+ (* a a) (* b b)) (* 2 2.0))) (* (* (pow (+ (* a a) (* b b)) (* 2 2.0)) (pow (+ (* a a) (* b b)) (* 2 2.0))) (pow (+ (* a a) (* b b)) (* 2 2.0))) (sqrt (pow (+ (* a a) (* b b)) (* 2 2.0))) (sqrt (pow (+ (* a a) (* b b)) (* 2 2.0))) (pow (+ (* a a) (* b b)) (/ (* 2 2.0) 2)) (pow (+ (* a a) (* b b)) (/ (* 2 2.0) 2)) (/ (exp (pow (+ (* a a) (* b b)) 2.0)) (exp (* 4.0 (* b b)))) (log (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (exp (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (* (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (* (* (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (- (pow (pow (+ (* a a) (* b b)) 2.0) 3) (pow (* 4.0 (* b b)) 3)) (+ (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (+ (* (* 4.0 (* b b)) (* 4.0 (* b b))) (* (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (- (* 4.0 (* b b))) (- (* (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0)) (* (* 4.0 (* b b)) (* 4.0 (* b b)))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (- (* 4.0 (* b b))) (+ (* 1.0 (pow a 4)) (+ (* 4.0 (pow b 2)) (* 2.0 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 a) -4.0) (pow (/ -1 a) -4.0) (+ (* 4.0 (* (pow a 2) (pow b 6))) (pow b 8)) (pow (/ 1 a) -8.0) (pow (/ -1 a) -8.0) (- (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))) (* 4.0 (pow b 2))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 7.678 * * [simplify]: iteration 0 : 163 enodes (cost 2681 ) 7.716 * * [simplify]: iteration 1 : 408 enodes (cost 2575 ) 7.839 * * [simplify]: iteration 2 : 1428 enodes (cost 2371 ) 8.250 * * [simplify]: iteration done : 5000 enodes (cost 2371 ) 8.251 * [simplify]: Simplified to: (log (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (log (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (exp (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (pow (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) 3) (* (cbrt (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (cbrt (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))))) (cbrt (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (pow (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) 3) (sqrt (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (sqrt (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (- (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (- (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ (pow (+ (* a a) (* b b)) (* 2 2.0)) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ (* (* 4.0 4.0) (pow b 4)) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ (* (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))))) (* (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))))) (/ (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (* (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (* (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))))) (/ (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (* (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))))) (/ (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (/ (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ 1 (* (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ 1 (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) 1 (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ 1 (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (/ (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (* (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (/ (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (cbrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))))) (/ (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (sqrt (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))))) (/ (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (pow (+ (* a a) (* b b)) 2.0) 3) (pow (* 4.0 (* b b)) 3))) (/ (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (* (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (+ (pow (+ (* a a) (* b b)) (* 4 2.0)) (* (* (* 4.0 4.0) (pow b 4)) (+ (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))))) (* (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (+ (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4)))) (log (pow (+ (* a a) (* b b)) 2.0)) (log (pow (+ (* a a) (* b b)) 2.0)) 2.0 (pow (+ (* a a) (* b b)) (* (cbrt 2.0) (cbrt 2.0))) (pow (+ (* a a) (* b b)) (sqrt 2.0)) (+ (* a a) (* b b)) (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) 2.0) (pow (cbrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0) 1 (pow (+ (* a a) (* b b)) 2.0) (log (pow (+ (* a a) (* b b)) 2.0)) (exp (pow (+ (* a a) (* b b)) 2.0)) (* (cbrt (pow (+ (* a a) (* b b)) 2.0)) (cbrt (pow (+ (* a a) (* b b)) 2.0))) (cbrt (pow (+ (* a a) (* b b)) 2.0)) (pow (pow (+ (* a a) (* b b)) 2.0) 3) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (sqrt (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (pow (+ (* a a) (* b b)) (/ 2.0 2)) (log (pow (+ (* a a) (* b b)) (* 2 2.0))) (log (pow (+ (* a a) (* b b)) (* 2 2.0))) (* 2 2.0) (pow (+ (* a a) (* b b)) 2) (pow (* (cbrt (+ (* a a) (* b b))) (cbrt (+ (* a a) (* b b)))) (* 2 2.0)) (pow (cbrt (+ (* a a) (* b b))) (* 2 2.0)) (pow (sqrt (+ (* a a) (* b b))) (* 2 2.0)) (pow (sqrt (+ (* a a) (* b b))) (* 2 2.0)) 1 (pow (+ (* a a) (* b b)) (* 2 2.0)) (log (pow (+ (* a a) (* b b)) (* 2 2.0))) (exp (pow (+ (* a a) (* b b)) (* 2 2.0))) (* (cbrt (pow (+ (* a a) (* b b)) (* 2 2.0))) (cbrt (pow (+ (* a a) (* b b)) (* 2 2.0)))) (cbrt (pow (+ (* a a) (* b b)) (* 2 2.0))) (pow (pow (+ (* a a) (* b b)) (* 2 2.0)) 3) (fabs (pow (+ (* a a) (* b b)) 2.0)) (fabs (pow (+ (* a a) (* b b)) 2.0)) (pow (+ (* a a) (* b b)) 2.0) (pow (+ (* a a) (* b b)) 2.0) (exp (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (log (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (exp (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (* (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (cbrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (pow (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) 3) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (sqrt (- (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))) (- (pow (pow (+ (* a a) (* b b)) 2.0) 3) (pow (* 4.0 (* b b)) 3)) (+ (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 (* b b)) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))))) (- (* 4.0 (* b b))) (- (pow (+ (* a a) (* b b)) (* 2 2.0)) (* (* 4.0 4.0) (pow b 4))) (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b))) (- (* 4.0 (* b b))) (+ (* 1.0 (pow a 4)) (* (* b b) (+ (* 2.0 (* a a)) 4.0))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow b 4) (* 2.0 (* (pow a 2) (pow b 2)))) (pow (/ 1 a) -4.0) (pow (/ -1 a) -4.0) (+ (* 4.0 (* (pow a 2) (pow b 6))) (pow b 8)) (pow (/ 1 a) -8.0) (pow (/ -1 a) -8.0) (+ (* (* b b) (- (* 2 (* a a)) 4.0)) (pow a 4)) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) (+ (pow a 4) (+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))) 8.252 * * * [progress]: adding candidates to table 8.544 * [progress]: [Phase 3 of 3] Extracting. 8.544 * * [regime]: Finding splitpoints for: (# #) 8.545 * * * [regime-changes]: Trying 3 branch expressions: ((* a a) b a) 8.545 * * * * [regimes]: Trying to branch on (* a a) from (# #) 8.557 * * * * [regimes]: Trying to branch on b from (# #) 8.574 * * * * [regimes]: Trying to branch on a from (# #) 8.588 * * * [regime]: Found split indices: #