17.921 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying using # : (* (+ a b) (+ a b)) 0.016 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 0.016 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.018 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 0.021 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 0.028 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 0.040 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 0.050 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 0.062 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 0.074 * * [simplify]: iteration done : 84 enodes (cost 7 ) 0.074 * [simplify]: Simplified to: (* (+ a b) (+ a b)) 0.074 * * [progress]: iteration 1 / 4 0.074 * * * [progress]: picking best candidate 0.075 * * * * [pick]: Picked # 0.075 * * * [progress]: localizing error 0.079 * * * [progress]: generating rewritten candidates 0.079 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.098 * * * [progress]: generating series expansions 0.098 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.099 * [approximate]: Taking taylor expansion of (pow (+ a b) 2) in (a b) around 0 0.099 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in b 0.099 * [taylor]: Taking taylor expansion of (+ a b) in b 0.099 * [taylor]: Taking taylor expansion of a in b 0.099 * [taylor]: Taking taylor expansion of b in b 0.099 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a 0.099 * [taylor]: Taking taylor expansion of (+ a b) in a 0.099 * [taylor]: Taking taylor expansion of a in a 0.099 * [taylor]: Taking taylor expansion of b in a 0.099 * [taylor]: Taking taylor expansion of (pow (+ a b) 2) in a 0.099 * [taylor]: Taking taylor expansion of (+ a b) in a 0.099 * [taylor]: Taking taylor expansion of a in a 0.099 * [taylor]: Taking taylor expansion of b in a 0.099 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.099 * [taylor]: Taking taylor expansion of b in b 0.100 * [taylor]: Taking taylor expansion of (* 2 b) in b 0.100 * [taylor]: Taking taylor expansion of 2 in b 0.100 * [taylor]: Taking taylor expansion of b in b 0.100 * [taylor]: Taking taylor expansion of 1 in b 0.102 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in (a b) around 0 0.102 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in b 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.102 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.102 * [taylor]: Taking taylor expansion of b in b 0.102 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.102 * [taylor]: Taking taylor expansion of a in b 0.102 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.102 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.102 * [taylor]: Taking taylor expansion of b in a 0.102 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.102 * [taylor]: Taking taylor expansion of a in a 0.103 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.103 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.103 * [taylor]: Taking taylor expansion of b in a 0.103 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.103 * [taylor]: Taking taylor expansion of a in a 0.104 * [taylor]: Taking taylor expansion of 1 in b 0.104 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 0.104 * [taylor]: Taking taylor expansion of 2 in b 0.104 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.104 * [taylor]: Taking taylor expansion of b in b 0.106 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.106 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.106 * [taylor]: Taking taylor expansion of b in b 0.107 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in (a b) around 0 0.107 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in b 0.107 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in b 0.107 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.107 * [taylor]: Taking taylor expansion of b in b 0.108 * [taylor]: Taking taylor expansion of (/ 1 a) in b 0.108 * [taylor]: Taking taylor expansion of a in b 0.108 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.108 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.108 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.108 * [taylor]: Taking taylor expansion of b in a 0.108 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.108 * [taylor]: Taking taylor expansion of a in a 0.108 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (/ 1 a)) 2) in a 0.109 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (/ 1 a)) in a 0.109 * [taylor]: Taking taylor expansion of (/ 1 b) in a 0.109 * [taylor]: Taking taylor expansion of b in a 0.109 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.109 * [taylor]: Taking taylor expansion of a in a 0.109 * [taylor]: Taking taylor expansion of 1 in b 0.110 * [taylor]: Taking taylor expansion of (* 2 (/ 1 b)) in b 0.110 * [taylor]: Taking taylor expansion of 2 in b 0.110 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.110 * [taylor]: Taking taylor expansion of b in b 0.112 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 0.112 * [taylor]: Taking taylor expansion of (pow b 2) in b 0.112 * [taylor]: Taking taylor expansion of b in b 0.113 * * * [progress]: simplifying candidates 0.114 * [simplify]: Simplifying using # : (+ 1 1) (* (+ a b) (+ a b)) (+ 1 1) (+ (log (+ a b)) (log (+ a b))) (log (* (+ a b) (+ a b))) (exp (* (+ a b) (+ a b))) (* (* (* (+ a b) (+ a b)) (+ a b)) (* (* (+ a b) (+ a b)) (+ a b))) (* (cbrt (* (+ a b) (+ a b))) (cbrt (* (+ a b) (+ a b)))) (cbrt (* (+ a b) (+ a b))) (* (* (* (+ a b) (+ a b)) (* (+ a b) (+ a b))) (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b))) (sqrt (* (+ a b) (+ a b))) (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* a a) (- (* b b) (* a b))) (+ (* a a) (- (* b b) (* a b)))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (- (* b b) (* a b))) (- a b)) (* (- (* a a) (* b b)) (+ (pow a 3) (pow b 3))) (* (- a b) (+ (* a a) (- (* b b) (* a b)))) (* (- (* a a) (* b b)) (- (* a a) (* b b))) (* (- a b) (- a b)) (* (* (cbrt (+ a b)) (cbrt (+ a b))) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (cbrt (+ a b)) (cbrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b))) (* 1 1) (* (+ a b) (+ a b)) (* 1 1) (* (+ a b) (+ a b)) (* 1 1) (* (+ a b) (+ a b)) (* 1 1) (* (+ a b) (+ a b)) (* (sqrt (+ a b)) (sqrt (+ a b))) (* (sqrt (+ a b)) (sqrt (+ a b))) (* 2 1) (* (+ a b) a) (* (+ a b) b) (* a (+ a b)) (* b (+ a b)) (* (+ a b) (* (cbrt (+ a b)) (cbrt (+ a b)))) (* (+ a b) (sqrt (+ a b))) (* (+ a b) 1) (* (+ a b) 1) (* (cbrt (+ a b)) (+ a b)) (* (sqrt (+ a b)) (+ a b)) (* (+ a b) (+ a b)) (* (+ a b) (+ a b)) (* (+ a b) (+ (pow a 3) (pow b 3))) (* (+ a b) (- (* a a) (* b b))) (* (+ (pow a 3) (pow b 3)) (+ a b)) (* (- (* a a) (* b b)) (+ a b)) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) 0.116 * * [simplify]: iteration 0 : 62 enodes (cost 516 ) 0.130 * * [simplify]: iteration 1 : 185 enodes (cost 453 ) 0.170 * * [simplify]: iteration 2 : 729 enodes (cost 407 ) 1.069 * * [simplify]: iteration 3 : 3846 enodes (cost 376 ) 2.476 * * [simplify]: iteration done : 5000 enodes (cost 376 ) 2.476 * [simplify]: Simplified to: 2 (pow (sqrt (+ a b)) 4) 2 (* 2 (log (+ a b))) (* 2 (log (+ a b))) (exp (pow (sqrt (+ a b)) 4)) (pow (+ b a) 6) (* (cbrt (pow (sqrt (+ a b)) 4)) (cbrt (pow (sqrt (+ a b)) 4))) (cbrt (pow (sqrt (+ a b)) 4)) (pow (+ b a) 6) (fabs (+ a b)) (fabs (+ a b)) (* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3))) (* (+ (* a a) (* b (- b a))) (+ (* a a) (* b (- b a)))) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (* b (- b a))) (- a b)) (* (+ (pow a 3) (pow b 3)) (- (* a a) (* b b))) (* (+ (* a a) (* b (- b a))) (- a b)) (* (* (- a b) (- a b)) (pow (sqrt (+ a b)) 4)) (* (- a b) (- a b)) (pow (cbrt (+ a b)) 4) (* (cbrt (+ a b)) (cbrt (+ a b))) (+ b a) (+ b a) 1 (pow (sqrt (+ a b)) 4) 1 (pow (sqrt (+ a b)) 4) 1 (pow (sqrt (+ a b)) 4) 1 (pow (sqrt (+ a b)) 4) (+ b a) (+ b a) 2 (* a (+ a b)) (* b (+ a b)) (* a (+ a b)) (* b (+ a b)) (* (cbrt (+ a b)) (pow (cbrt (+ a b)) 4)) (pow (sqrt (+ a b)) 3) (+ b a) (+ b a) (pow (cbrt (+ a b)) 4) (pow (sqrt (+ a b)) 3) (pow (sqrt (+ a b)) 4) (pow (sqrt (+ a b)) 4) (* (+ (pow a 3) (pow b 3)) (+ a b)) (* (- a b) (pow (sqrt (+ a b)) 4)) (* (+ (pow a 3) (pow b 3)) (+ a b)) (* (- a b) (pow (sqrt (+ a b)) 4)) (+ (* b (+ (* 2 a) b)) (* a a)) (+ (* b (+ (* 2 a) b)) (* a a)) (+ (* b (+ (* 2 a) b)) (* a a)) 2.477 * * * [progress]: adding candidates to table 2.530 * * [progress]: iteration 2 / 4 2.530 * * * [progress]: picking best candidate 2.533 * * * * [pick]: Picked # 2.533 * * * [progress]: localizing error 2.540 * * * [progress]: generating rewritten candidates 2.540 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.545 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 2.557 * * * [progress]: generating series expansions 2.557 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.557 * [approximate]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in (b a) around 0 2.557 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in a 2.557 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.557 * [taylor]: Taking taylor expansion of a in a 2.557 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a 2.557 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 2.557 * [taylor]: Taking taylor expansion of 2 in a 2.557 * [taylor]: Taking taylor expansion of (* a b) in a 2.557 * [taylor]: Taking taylor expansion of a in a 2.557 * [taylor]: Taking taylor expansion of b in a 2.557 * [taylor]: Taking taylor expansion of (pow b 2) in a 2.557 * [taylor]: Taking taylor expansion of b in a 2.557 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in b 2.557 * [taylor]: Taking taylor expansion of (pow a 2) in b 2.557 * [taylor]: Taking taylor expansion of a in b 2.557 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b 2.557 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 2.557 * [taylor]: Taking taylor expansion of 2 in b 2.557 * [taylor]: Taking taylor expansion of (* a b) in b 2.557 * [taylor]: Taking taylor expansion of a in b 2.557 * [taylor]: Taking taylor expansion of b in b 2.557 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.557 * [taylor]: Taking taylor expansion of b in b 2.557 * [taylor]: Taking taylor expansion of (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) in b 2.557 * [taylor]: Taking taylor expansion of (pow a 2) in b 2.557 * [taylor]: Taking taylor expansion of a in b 2.557 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b 2.557 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 2.557 * [taylor]: Taking taylor expansion of 2 in b 2.557 * [taylor]: Taking taylor expansion of (* a b) in b 2.557 * [taylor]: Taking taylor expansion of a in b 2.557 * [taylor]: Taking taylor expansion of b in b 2.557 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.557 * [taylor]: Taking taylor expansion of b in b 2.558 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.558 * [taylor]: Taking taylor expansion of a in a 2.559 * [taylor]: Taking taylor expansion of (* 2 a) in a 2.559 * [taylor]: Taking taylor expansion of 2 in a 2.559 * [taylor]: Taking taylor expansion of a in a 2.561 * [taylor]: Taking taylor expansion of 1 in a 2.562 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (b a) around 0 2.562 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 2.562 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 2.562 * [taylor]: Taking taylor expansion of (pow b 2) in a 2.562 * [taylor]: Taking taylor expansion of b in a 2.562 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 2.562 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 2.562 * [taylor]: Taking taylor expansion of 2 in a 2.562 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.562 * [taylor]: Taking taylor expansion of (* a b) in a 2.562 * [taylor]: Taking taylor expansion of a in a 2.562 * [taylor]: Taking taylor expansion of b in a 2.563 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 2.563 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.563 * [taylor]: Taking taylor expansion of a in a 2.563 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 2.563 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.563 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.563 * [taylor]: Taking taylor expansion of b in b 2.564 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 2.564 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 2.564 * [taylor]: Taking taylor expansion of 2 in b 2.564 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 2.564 * [taylor]: Taking taylor expansion of (* a b) in b 2.564 * [taylor]: Taking taylor expansion of a in b 2.564 * [taylor]: Taking taylor expansion of b in b 2.564 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 2.564 * [taylor]: Taking taylor expansion of (pow a 2) in b 2.564 * [taylor]: Taking taylor expansion of a in b 2.564 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 2.564 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.564 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.564 * [taylor]: Taking taylor expansion of b in b 2.565 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 2.565 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 2.565 * [taylor]: Taking taylor expansion of 2 in b 2.565 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 2.565 * [taylor]: Taking taylor expansion of (* a b) in b 2.565 * [taylor]: Taking taylor expansion of a in b 2.565 * [taylor]: Taking taylor expansion of b in b 2.565 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 2.565 * [taylor]: Taking taylor expansion of (pow a 2) in b 2.565 * [taylor]: Taking taylor expansion of a in b 2.566 * [taylor]: Taking taylor expansion of 1 in a 2.567 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 2.567 * [taylor]: Taking taylor expansion of 2 in a 2.567 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.567 * [taylor]: Taking taylor expansion of a in a 2.569 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 2.569 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.569 * [taylor]: Taking taylor expansion of a in a 2.570 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in (b a) around 0 2.570 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in a 2.570 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 2.570 * [taylor]: Taking taylor expansion of (pow b 2) in a 2.570 * [taylor]: Taking taylor expansion of b in a 2.570 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in a 2.570 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 2.571 * [taylor]: Taking taylor expansion of 2 in a 2.571 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.571 * [taylor]: Taking taylor expansion of (* a b) in a 2.571 * [taylor]: Taking taylor expansion of a in a 2.571 * [taylor]: Taking taylor expansion of b in a 2.571 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 2.571 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.571 * [taylor]: Taking taylor expansion of a in a 2.571 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 2.571 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.571 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.571 * [taylor]: Taking taylor expansion of b in b 2.572 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 2.572 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 2.572 * [taylor]: Taking taylor expansion of 2 in b 2.572 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 2.572 * [taylor]: Taking taylor expansion of (* a b) in b 2.572 * [taylor]: Taking taylor expansion of a in b 2.572 * [taylor]: Taking taylor expansion of b in b 2.572 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 2.572 * [taylor]: Taking taylor expansion of (pow a 2) in b 2.572 * [taylor]: Taking taylor expansion of a in b 2.572 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2)))) in b 2.573 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.573 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.573 * [taylor]: Taking taylor expansion of b in b 2.573 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a b))) (/ 1 (pow a 2))) in b 2.573 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 2.573 * [taylor]: Taking taylor expansion of 2 in b 2.573 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 2.573 * [taylor]: Taking taylor expansion of (* a b) in b 2.573 * [taylor]: Taking taylor expansion of a in b 2.573 * [taylor]: Taking taylor expansion of b in b 2.573 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 2.573 * [taylor]: Taking taylor expansion of (pow a 2) in b 2.573 * [taylor]: Taking taylor expansion of a in b 2.574 * [taylor]: Taking taylor expansion of 1 in a 2.575 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 2.575 * [taylor]: Taking taylor expansion of 2 in a 2.575 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.575 * [taylor]: Taking taylor expansion of a in a 2.577 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 2.577 * [taylor]: Taking taylor expansion of (pow a 2) in a 2.577 * [taylor]: Taking taylor expansion of a in a 2.578 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 2.578 * [approximate]: Taking taylor expansion of (* (+ (* 2 a) b) b) in (b a) around 0 2.578 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in a 2.578 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in a 2.578 * [taylor]: Taking taylor expansion of (* 2 a) in a 2.578 * [taylor]: Taking taylor expansion of 2 in a 2.578 * [taylor]: Taking taylor expansion of a in a 2.578 * [taylor]: Taking taylor expansion of b in a 2.578 * [taylor]: Taking taylor expansion of b in a 2.578 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in b 2.578 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b 2.578 * [taylor]: Taking taylor expansion of (* 2 a) in b 2.578 * [taylor]: Taking taylor expansion of 2 in b 2.578 * [taylor]: Taking taylor expansion of a in b 2.578 * [taylor]: Taking taylor expansion of b in b 2.578 * [taylor]: Taking taylor expansion of b in b 2.578 * [taylor]: Taking taylor expansion of (* (+ (* 2 a) b) b) in b 2.578 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b 2.578 * [taylor]: Taking taylor expansion of (* 2 a) in b 2.578 * [taylor]: Taking taylor expansion of 2 in b 2.579 * [taylor]: Taking taylor expansion of a in b 2.579 * [taylor]: Taking taylor expansion of b in b 2.579 * [taylor]: Taking taylor expansion of b in b 2.579 * [taylor]: Taking taylor expansion of 0 in a 2.579 * [taylor]: Taking taylor expansion of (* 2 a) in a 2.580 * [taylor]: Taking taylor expansion of 2 in a 2.580 * [taylor]: Taking taylor expansion of a in a 2.581 * [taylor]: Taking taylor expansion of 1 in a 2.583 * [taylor]: Taking taylor expansion of 0 in a 2.588 * [taylor]: Taking taylor expansion of 0 in a 2.588 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in (b a) around 0 2.588 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in a 2.588 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a 2.588 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.588 * [taylor]: Taking taylor expansion of b in a 2.588 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 2.588 * [taylor]: Taking taylor expansion of 2 in a 2.588 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.588 * [taylor]: Taking taylor expansion of a in a 2.588 * [taylor]: Taking taylor expansion of b in a 2.589 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 2.589 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 2.589 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.589 * [taylor]: Taking taylor expansion of b in b 2.589 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 2.589 * [taylor]: Taking taylor expansion of 2 in b 2.589 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.589 * [taylor]: Taking taylor expansion of a in b 2.589 * [taylor]: Taking taylor expansion of b in b 2.590 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 2.590 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 2.590 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.590 * [taylor]: Taking taylor expansion of b in b 2.590 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 2.590 * [taylor]: Taking taylor expansion of 2 in b 2.590 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.590 * [taylor]: Taking taylor expansion of a in b 2.590 * [taylor]: Taking taylor expansion of b in b 2.591 * [taylor]: Taking taylor expansion of 1 in a 2.592 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 2.592 * [taylor]: Taking taylor expansion of 2 in a 2.592 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.592 * [taylor]: Taking taylor expansion of a in a 2.594 * [taylor]: Taking taylor expansion of 0 in a 2.597 * [taylor]: Taking taylor expansion of 0 in a 2.602 * [taylor]: Taking taylor expansion of 0 in a 2.602 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in (b a) around 0 2.602 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in a 2.602 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a 2.602 * [taylor]: Taking taylor expansion of (/ 1 b) in a 2.602 * [taylor]: Taking taylor expansion of b in a 2.602 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 2.602 * [taylor]: Taking taylor expansion of 2 in a 2.602 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.602 * [taylor]: Taking taylor expansion of a in a 2.603 * [taylor]: Taking taylor expansion of b in a 2.603 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 2.603 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 2.603 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.603 * [taylor]: Taking taylor expansion of b in b 2.603 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 2.604 * [taylor]: Taking taylor expansion of 2 in b 2.604 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.604 * [taylor]: Taking taylor expansion of a in b 2.604 * [taylor]: Taking taylor expansion of b in b 2.604 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 b) (* 2 (/ 1 a))) b) in b 2.604 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 2.604 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.604 * [taylor]: Taking taylor expansion of b in b 2.604 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 2.604 * [taylor]: Taking taylor expansion of 2 in b 2.604 * [taylor]: Taking taylor expansion of (/ 1 a) in b 2.604 * [taylor]: Taking taylor expansion of a in b 2.604 * [taylor]: Taking taylor expansion of b in b 2.605 * [taylor]: Taking taylor expansion of 1 in a 2.606 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 2.606 * [taylor]: Taking taylor expansion of 2 in a 2.606 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.606 * [taylor]: Taking taylor expansion of a in a 2.608 * [taylor]: Taking taylor expansion of 0 in a 2.612 * [taylor]: Taking taylor expansion of 0 in a 2.616 * [taylor]: Taking taylor expansion of 0 in a 2.616 * * * [progress]: simplifying candidates 2.617 * [simplify]: Simplifying using # : (* (exp (* b (+ (* 2 a) b))) (exp (* a a))) (log (+ (* b (+ (* 2 a) b)) (* a a))) (exp (+ (* b (+ (* 2 a) b)) (* a a))) (* (cbrt (+ (* b (+ (* 2 a) b)) (* a a))) (cbrt (+ (* b (+ (* 2 a) b)) (* a a)))) (cbrt (+ (* b (+ (* 2 a) b)) (* a a))) (* (* (+ (* b (+ (* 2 a) b)) (* a a)) (+ (* b (+ (* 2 a) b)) (* a a))) (+ (* b (+ (* 2 a) b)) (* a a))) (sqrt (+ (* b (+ (* 2 a) b)) (* a a))) (sqrt (+ (* b (+ (* 2 a) b)) (* a a))) (+ (pow (* b (+ (* 2 a) b)) 3) (pow (* a a) 3)) (+ (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (- (* (* a a) (* a a)) (* (* b (+ (* 2 a) b)) (* a a)))) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* a a) (* a a))) (- (* b (+ (* 2 a) b)) (* a a)) (+ (* b b) (* a a)) (+ (* b b) (* a a)) (* b (+ (* 2 a) b)) (+ (log b) (log (+ (* 2 a) b))) (log (* b (+ (* 2 a) b))) (exp (* b (+ (* 2 a) b))) (* (* (* b b) b) (* (* (+ (* 2 a) b) (+ (* 2 a) b)) (+ (* 2 a) b))) (* (cbrt (* b (+ (* 2 a) b))) (cbrt (* b (+ (* 2 a) b)))) (cbrt (* b (+ (* 2 a) b))) (* (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* b (+ (* 2 a) b))) (sqrt (* b (+ (* 2 a) b))) (sqrt (* b (+ (* 2 a) b))) (* (sqrt b) (sqrt (+ (* 2 a) b))) (* (sqrt b) (sqrt (+ (* 2 a) b))) (* b (* 2 a)) (* b b) (* (* 2 a) b) (* b b) (* b (* (cbrt (+ (* 2 a) b)) (cbrt (+ (* 2 a) b)))) (* b (sqrt (+ (* 2 a) b))) (* b 1) (* (cbrt b) (+ (* 2 a) b)) (* (sqrt b) (+ (* 2 a) b)) (* b (+ (* 2 a) b)) (* b (+ (pow (* 2 a) 3) (pow b 3))) (* b (- (* (* 2 a) (* 2 a)) (* b b))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (* 2 (* a b)) (pow b 2)) (+ (* 2 (* a b)) (pow b 2)) (+ (* 2 (* a b)) (pow b 2)) 2.619 * * [simplify]: iteration 0 : 70 enodes (cost 523 ) 2.639 * * [simplify]: iteration 1 : 218 enodes (cost 485 ) 2.693 * * [simplify]: iteration 2 : 728 enodes (cost 445 ) 3.007 * * [simplify]: iteration 3 : 3023 enodes (cost 437 ) 4.058 * * [simplify]: iteration done : 5000 enodes (cost 437 ) 4.058 * [simplify]: Simplified to: (exp (+ (* b (+ (* 2 a) b)) (* a a))) (log (+ (* b (+ (* 2 a) b)) (* a a))) (exp (+ (* b (+ (* 2 a) b)) (* a a))) (* (cbrt (+ (* b (+ (* 2 a) b)) (* a a))) (cbrt (+ (* b (+ (* 2 a) b)) (* a a)))) (cbrt (+ (* b (+ (* 2 a) b)) (* a a))) (pow (+ (* b (+ (* 2 a) b)) (* a a)) 3) (sqrt (+ (* b (+ (* 2 a) b)) (* a a))) (sqrt (+ (* b (+ (* 2 a) b)) (* a a))) (+ (pow a 6) (pow (* b (+ (* 2 a) b)) 3)) (- (pow a 4) (* (* b (+ (* 2 a) b)) (- (* a a) (* b (+ (* 2 a) b))))) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)) (+ (* b b) (* a a)) (+ (* b b) (* a a)) (* b (+ (* 2 a) b)) (log (* b (+ (* 2 a) b))) (log (* b (+ (* 2 a) b))) (exp (* b (+ (* 2 a) b))) (pow (* b (+ (* 2 a) b)) 3) (* (cbrt (* b (+ (* 2 a) b))) (cbrt (* b (+ (* 2 a) b)))) (cbrt (* b (+ (* 2 a) b))) (pow (* b (+ (* 2 a) b)) 3) (sqrt (* b (+ (* 2 a) b))) (sqrt (* b (+ (* 2 a) b))) (* (sqrt b) (sqrt (+ (* 2 a) b))) (* (sqrt b) (sqrt (+ (* 2 a) b))) (* 2 (* a b)) (* b b) (* 2 (* a b)) (* b b) (* b (* (cbrt (+ (* 2 a) b)) (cbrt (+ (* 2 a) b)))) (* b (sqrt (+ (* 2 a) b))) b (* (cbrt b) (+ (* 2 a) b)) (* (sqrt b) (+ (* 2 a) b)) (* b (+ (* 2 a) b)) (* b (+ (pow (* 2 a) 3) (pow b 3))) (* (- (* 4 (* a a)) (* b b)) b) (+ (* b (+ (* 2 a) b)) (* a a)) (+ (* b (+ (* 2 a) b)) (* a a)) (+ (* b (+ (* 2 a) b)) (* a a)) (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)) 4.058 * * * [progress]: adding candidates to table 4.126 * * [progress]: iteration 3 / 4 4.126 * * * [progress]: picking best candidate 4.128 * * * * [pick]: Picked # 4.128 * * * [progress]: localizing error 4.140 * * * [progress]: generating rewritten candidates 4.140 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.228 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 4.257 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.290 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 4.300 * * * [progress]: generating series expansions 4.300 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.300 * [approximate]: Taking taylor expansion of (/ (- (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (pow a 4)) (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2))) in (b a) around 0 4.300 * [taylor]: Taking taylor expansion of (/ (- (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (pow a 4)) (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2))) in a 4.301 * [taylor]: Taking taylor expansion of (- (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (pow a 4)) in a 4.301 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) in a 4.301 * [taylor]: Taking taylor expansion of (pow b 4) in a 4.301 * [taylor]: Taking taylor expansion of b in a 4.301 * [taylor]: Taking taylor expansion of (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2)))) in a 4.301 * [taylor]: Taking taylor expansion of (* 4 (* a (pow b 3))) in a 4.301 * [taylor]: Taking taylor expansion of 4 in a 4.301 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in a 4.301 * [taylor]: Taking taylor expansion of a in a 4.301 * [taylor]: Taking taylor expansion of (pow b 3) in a 4.301 * [taylor]: Taking taylor expansion of b in a 4.301 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 2))) in a 4.301 * [taylor]: Taking taylor expansion of 4 in a 4.301 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 4.301 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.301 * [taylor]: Taking taylor expansion of a in a 4.301 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.301 * [taylor]: Taking taylor expansion of b in a 4.301 * [taylor]: Taking taylor expansion of (pow a 4) in a 4.301 * [taylor]: Taking taylor expansion of a in a 4.301 * [taylor]: Taking taylor expansion of (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2)) in a 4.301 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a 4.301 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 4.301 * [taylor]: Taking taylor expansion of 2 in a 4.301 * [taylor]: Taking taylor expansion of (* a b) in a 4.301 * [taylor]: Taking taylor expansion of a in a 4.301 * [taylor]: Taking taylor expansion of b in a 4.301 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.301 * [taylor]: Taking taylor expansion of b in a 4.301 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.301 * [taylor]: Taking taylor expansion of a in a 4.303 * [taylor]: Taking taylor expansion of (/ (- (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (pow a 4)) (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2))) in b 4.303 * [taylor]: Taking taylor expansion of (- (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (pow a 4)) in b 4.303 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) in b 4.303 * [taylor]: Taking taylor expansion of (pow b 4) in b 4.303 * [taylor]: Taking taylor expansion of b in b 4.303 * [taylor]: Taking taylor expansion of (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2)))) in b 4.303 * [taylor]: Taking taylor expansion of (* 4 (* a (pow b 3))) in b 4.303 * [taylor]: Taking taylor expansion of 4 in b 4.303 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in b 4.303 * [taylor]: Taking taylor expansion of a in b 4.303 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.303 * [taylor]: Taking taylor expansion of b in b 4.303 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 2))) in b 4.303 * [taylor]: Taking taylor expansion of 4 in b 4.303 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 4.303 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.303 * [taylor]: Taking taylor expansion of a in b 4.303 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.303 * [taylor]: Taking taylor expansion of b in b 4.303 * [taylor]: Taking taylor expansion of (pow a 4) in b 4.303 * [taylor]: Taking taylor expansion of a in b 4.303 * [taylor]: Taking taylor expansion of (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2)) in b 4.303 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b 4.303 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 4.303 * [taylor]: Taking taylor expansion of 2 in b 4.303 * [taylor]: Taking taylor expansion of (* a b) in b 4.303 * [taylor]: Taking taylor expansion of a in b 4.303 * [taylor]: Taking taylor expansion of b in b 4.303 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.303 * [taylor]: Taking taylor expansion of b in b 4.303 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.303 * [taylor]: Taking taylor expansion of a in b 4.304 * [taylor]: Taking taylor expansion of (/ (- (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (pow a 4)) (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2))) in b 4.304 * [taylor]: Taking taylor expansion of (- (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (pow a 4)) in b 4.304 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) in b 4.304 * [taylor]: Taking taylor expansion of (pow b 4) in b 4.304 * [taylor]: Taking taylor expansion of b in b 4.304 * [taylor]: Taking taylor expansion of (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2)))) in b 4.305 * [taylor]: Taking taylor expansion of (* 4 (* a (pow b 3))) in b 4.305 * [taylor]: Taking taylor expansion of 4 in b 4.305 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in b 4.305 * [taylor]: Taking taylor expansion of a in b 4.305 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.305 * [taylor]: Taking taylor expansion of b in b 4.305 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 2))) in b 4.305 * [taylor]: Taking taylor expansion of 4 in b 4.305 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 4.305 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.305 * [taylor]: Taking taylor expansion of a in b 4.305 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.305 * [taylor]: Taking taylor expansion of b in b 4.305 * [taylor]: Taking taylor expansion of (pow a 4) in b 4.305 * [taylor]: Taking taylor expansion of a in b 4.305 * [taylor]: Taking taylor expansion of (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2)) in b 4.305 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b 4.305 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 4.305 * [taylor]: Taking taylor expansion of 2 in b 4.305 * [taylor]: Taking taylor expansion of (* a b) in b 4.305 * [taylor]: Taking taylor expansion of a in b 4.305 * [taylor]: Taking taylor expansion of b in b 4.305 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.305 * [taylor]: Taking taylor expansion of b in b 4.305 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.305 * [taylor]: Taking taylor expansion of a in b 4.306 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.306 * [taylor]: Taking taylor expansion of a in a 4.308 * [taylor]: Taking taylor expansion of (* 2 a) in a 4.308 * [taylor]: Taking taylor expansion of 2 in a 4.308 * [taylor]: Taking taylor expansion of a in a 4.312 * [taylor]: Taking taylor expansion of 1 in a 4.313 * [approximate]: Taking taylor expansion of (/ (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2)))) in (b a) around 0 4.313 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2)))) in a 4.313 * [taylor]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in a 4.313 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) in a 4.313 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 2)))) in a 4.313 * [taylor]: Taking taylor expansion of 4 in a 4.314 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 4.314 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 4.314 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.314 * [taylor]: Taking taylor expansion of a in a 4.314 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.314 * [taylor]: Taking taylor expansion of b in a 4.314 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4))) in a 4.314 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* a (pow b 3)))) in a 4.314 * [taylor]: Taking taylor expansion of 4 in a 4.314 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 3))) in a 4.314 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in a 4.314 * [taylor]: Taking taylor expansion of a in a 4.314 * [taylor]: Taking taylor expansion of (pow b 3) in a 4.314 * [taylor]: Taking taylor expansion of b in a 4.315 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 4.315 * [taylor]: Taking taylor expansion of (pow b 4) in a 4.315 * [taylor]: Taking taylor expansion of b in a 4.315 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 4.315 * [taylor]: Taking taylor expansion of (pow a 4) in a 4.315 * [taylor]: Taking taylor expansion of a in a 4.316 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in a 4.316 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) in a 4.316 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.316 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.316 * [taylor]: Taking taylor expansion of b in a 4.316 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 4.316 * [taylor]: Taking taylor expansion of 2 in a 4.316 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 4.316 * [taylor]: Taking taylor expansion of (* a b) in a 4.316 * [taylor]: Taking taylor expansion of a in a 4.316 * [taylor]: Taking taylor expansion of b in a 4.316 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.316 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.316 * [taylor]: Taking taylor expansion of a in a 4.318 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2)))) in b 4.318 * [taylor]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in b 4.318 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) in b 4.318 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 2)))) in b 4.318 * [taylor]: Taking taylor expansion of 4 in b 4.318 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 4.318 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 4.318 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.318 * [taylor]: Taking taylor expansion of a in b 4.318 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.318 * [taylor]: Taking taylor expansion of b in b 4.318 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4))) in b 4.319 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* a (pow b 3)))) in b 4.319 * [taylor]: Taking taylor expansion of 4 in b 4.319 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 3))) in b 4.319 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in b 4.319 * [taylor]: Taking taylor expansion of a in b 4.319 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.319 * [taylor]: Taking taylor expansion of b in b 4.319 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 4.319 * [taylor]: Taking taylor expansion of (pow b 4) in b 4.319 * [taylor]: Taking taylor expansion of b in b 4.320 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 4.320 * [taylor]: Taking taylor expansion of (pow a 4) in b 4.320 * [taylor]: Taking taylor expansion of a in b 4.320 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in b 4.320 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) in b 4.320 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.320 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.320 * [taylor]: Taking taylor expansion of b in b 4.321 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.321 * [taylor]: Taking taylor expansion of 2 in b 4.321 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.321 * [taylor]: Taking taylor expansion of (* a b) in b 4.321 * [taylor]: Taking taylor expansion of a in b 4.321 * [taylor]: Taking taylor expansion of b in b 4.321 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.321 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.321 * [taylor]: Taking taylor expansion of a in b 4.323 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2)))) in b 4.323 * [taylor]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in b 4.323 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) in b 4.323 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 2)))) in b 4.323 * [taylor]: Taking taylor expansion of 4 in b 4.323 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 4.323 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 4.323 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.323 * [taylor]: Taking taylor expansion of a in b 4.323 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.323 * [taylor]: Taking taylor expansion of b in b 4.323 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4))) in b 4.323 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* a (pow b 3)))) in b 4.323 * [taylor]: Taking taylor expansion of 4 in b 4.323 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 3))) in b 4.323 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in b 4.323 * [taylor]: Taking taylor expansion of a in b 4.323 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.323 * [taylor]: Taking taylor expansion of b in b 4.324 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 4.324 * [taylor]: Taking taylor expansion of (pow b 4) in b 4.324 * [taylor]: Taking taylor expansion of b in b 4.325 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 4.325 * [taylor]: Taking taylor expansion of (pow a 4) in b 4.325 * [taylor]: Taking taylor expansion of a in b 4.325 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in b 4.325 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) in b 4.325 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.325 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.325 * [taylor]: Taking taylor expansion of b in b 4.325 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.325 * [taylor]: Taking taylor expansion of 2 in b 4.325 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.325 * [taylor]: Taking taylor expansion of (* a b) in b 4.325 * [taylor]: Taking taylor expansion of a in b 4.326 * [taylor]: Taking taylor expansion of b in b 4.326 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.326 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.326 * [taylor]: Taking taylor expansion of a in b 4.330 * [taylor]: Taking taylor expansion of 1 in a 4.332 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.332 * [taylor]: Taking taylor expansion of 2 in a 4.332 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.332 * [taylor]: Taking taylor expansion of a in a 4.338 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.338 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.338 * [taylor]: Taking taylor expansion of a in a 4.340 * [approximate]: Taking taylor expansion of (/ (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2)))) in (b a) around 0 4.340 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2)))) in a 4.340 * [taylor]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in a 4.340 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) in a 4.340 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 2)))) in a 4.340 * [taylor]: Taking taylor expansion of 4 in a 4.340 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 4.340 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 4.340 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.340 * [taylor]: Taking taylor expansion of a in a 4.340 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.340 * [taylor]: Taking taylor expansion of b in a 4.341 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4))) in a 4.341 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* a (pow b 3)))) in a 4.341 * [taylor]: Taking taylor expansion of 4 in a 4.341 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 3))) in a 4.341 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in a 4.341 * [taylor]: Taking taylor expansion of a in a 4.341 * [taylor]: Taking taylor expansion of (pow b 3) in a 4.341 * [taylor]: Taking taylor expansion of b in a 4.341 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 4.341 * [taylor]: Taking taylor expansion of (pow b 4) in a 4.341 * [taylor]: Taking taylor expansion of b in a 4.342 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 4.342 * [taylor]: Taking taylor expansion of (pow a 4) in a 4.342 * [taylor]: Taking taylor expansion of a in a 4.342 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in a 4.342 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) in a 4.342 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.342 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.342 * [taylor]: Taking taylor expansion of b in a 4.343 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 4.343 * [taylor]: Taking taylor expansion of 2 in a 4.343 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 4.343 * [taylor]: Taking taylor expansion of (* a b) in a 4.343 * [taylor]: Taking taylor expansion of a in a 4.343 * [taylor]: Taking taylor expansion of b in a 4.343 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.343 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.343 * [taylor]: Taking taylor expansion of a in a 4.345 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2)))) in b 4.345 * [taylor]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in b 4.345 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) in b 4.345 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 2)))) in b 4.345 * [taylor]: Taking taylor expansion of 4 in b 4.345 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 4.345 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 4.345 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.345 * [taylor]: Taking taylor expansion of a in b 4.345 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.345 * [taylor]: Taking taylor expansion of b in b 4.345 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4))) in b 4.345 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* a (pow b 3)))) in b 4.345 * [taylor]: Taking taylor expansion of 4 in b 4.345 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 3))) in b 4.345 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in b 4.345 * [taylor]: Taking taylor expansion of a in b 4.345 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.345 * [taylor]: Taking taylor expansion of b in b 4.346 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 4.346 * [taylor]: Taking taylor expansion of (pow b 4) in b 4.346 * [taylor]: Taking taylor expansion of b in b 4.347 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 4.347 * [taylor]: Taking taylor expansion of (pow a 4) in b 4.347 * [taylor]: Taking taylor expansion of a in b 4.347 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in b 4.347 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) in b 4.347 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.347 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.347 * [taylor]: Taking taylor expansion of b in b 4.347 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.347 * [taylor]: Taking taylor expansion of 2 in b 4.347 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.347 * [taylor]: Taking taylor expansion of (* a b) in b 4.347 * [taylor]: Taking taylor expansion of a in b 4.347 * [taylor]: Taking taylor expansion of b in b 4.348 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.348 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.348 * [taylor]: Taking taylor expansion of a in b 4.349 * [taylor]: Taking taylor expansion of (/ (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2)))) in b 4.349 * [taylor]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in b 4.349 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) in b 4.349 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 2)))) in b 4.349 * [taylor]: Taking taylor expansion of 4 in b 4.349 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 4.349 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 4.349 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.349 * [taylor]: Taking taylor expansion of a in b 4.350 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.350 * [taylor]: Taking taylor expansion of b in b 4.350 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4))) in b 4.350 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* a (pow b 3)))) in b 4.350 * [taylor]: Taking taylor expansion of 4 in b 4.350 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 3))) in b 4.350 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in b 4.350 * [taylor]: Taking taylor expansion of a in b 4.350 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.350 * [taylor]: Taking taylor expansion of b in b 4.351 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 4.351 * [taylor]: Taking taylor expansion of (pow b 4) in b 4.351 * [taylor]: Taking taylor expansion of b in b 4.351 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 4.351 * [taylor]: Taking taylor expansion of (pow a 4) in b 4.351 * [taylor]: Taking taylor expansion of a in b 4.352 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in b 4.352 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) in b 4.352 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.352 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.352 * [taylor]: Taking taylor expansion of b in b 4.352 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.352 * [taylor]: Taking taylor expansion of 2 in b 4.352 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.352 * [taylor]: Taking taylor expansion of (* a b) in b 4.352 * [taylor]: Taking taylor expansion of a in b 4.352 * [taylor]: Taking taylor expansion of b in b 4.352 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.353 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.353 * [taylor]: Taking taylor expansion of a in b 4.354 * [taylor]: Taking taylor expansion of 1 in a 4.356 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.356 * [taylor]: Taking taylor expansion of 2 in a 4.356 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.356 * [taylor]: Taking taylor expansion of a in a 4.362 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.362 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.362 * [taylor]: Taking taylor expansion of a in a 4.363 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 4.363 * [approximate]: Taking taylor expansion of (* (pow (+ (* 2 a) b) 2) (pow b 2)) in (b a) around 0 4.363 * [taylor]: Taking taylor expansion of (* (pow (+ (* 2 a) b) 2) (pow b 2)) in a 4.364 * [taylor]: Taking taylor expansion of (pow (+ (* 2 a) b) 2) in a 4.364 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in a 4.364 * [taylor]: Taking taylor expansion of (* 2 a) in a 4.364 * [taylor]: Taking taylor expansion of 2 in a 4.364 * [taylor]: Taking taylor expansion of a in a 4.364 * [taylor]: Taking taylor expansion of b in a 4.364 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.364 * [taylor]: Taking taylor expansion of b in a 4.364 * [taylor]: Taking taylor expansion of (* (pow (+ (* 2 a) b) 2) (pow b 2)) in b 4.364 * [taylor]: Taking taylor expansion of (pow (+ (* 2 a) b) 2) in b 4.364 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b 4.364 * [taylor]: Taking taylor expansion of (* 2 a) in b 4.364 * [taylor]: Taking taylor expansion of 2 in b 4.364 * [taylor]: Taking taylor expansion of a in b 4.364 * [taylor]: Taking taylor expansion of b in b 4.364 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.364 * [taylor]: Taking taylor expansion of b in b 4.364 * [taylor]: Taking taylor expansion of (* (pow (+ (* 2 a) b) 2) (pow b 2)) in b 4.364 * [taylor]: Taking taylor expansion of (pow (+ (* 2 a) b) 2) in b 4.364 * [taylor]: Taking taylor expansion of (+ (* 2 a) b) in b 4.364 * [taylor]: Taking taylor expansion of (* 2 a) in b 4.364 * [taylor]: Taking taylor expansion of 2 in b 4.364 * [taylor]: Taking taylor expansion of a in b 4.364 * [taylor]: Taking taylor expansion of b in b 4.364 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.364 * [taylor]: Taking taylor expansion of b in b 4.365 * [taylor]: Taking taylor expansion of (* 4 (pow a 2)) in a 4.365 * [taylor]: Taking taylor expansion of 4 in a 4.365 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.365 * [taylor]: Taking taylor expansion of a in a 4.366 * [taylor]: Taking taylor expansion of (* 4 a) in a 4.366 * [taylor]: Taking taylor expansion of 4 in a 4.366 * [taylor]: Taking taylor expansion of a in a 4.368 * [taylor]: Taking taylor expansion of 1 in a 4.369 * [approximate]: Taking taylor expansion of (/ (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) (pow b 2)) in (b a) around 0 4.369 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) (pow b 2)) in a 4.369 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) in a 4.369 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a 4.370 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.370 * [taylor]: Taking taylor expansion of b in a 4.370 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.370 * [taylor]: Taking taylor expansion of 2 in a 4.370 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.370 * [taylor]: Taking taylor expansion of a in a 4.370 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.370 * [taylor]: Taking taylor expansion of b in a 4.371 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) (pow b 2)) in b 4.371 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) in b 4.371 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 4.371 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.371 * [taylor]: Taking taylor expansion of b in b 4.371 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 4.371 * [taylor]: Taking taylor expansion of 2 in b 4.371 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.371 * [taylor]: Taking taylor expansion of a in b 4.371 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.371 * [taylor]: Taking taylor expansion of b in b 4.372 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) (pow b 2)) in b 4.372 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) in b 4.372 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 4.372 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.372 * [taylor]: Taking taylor expansion of b in b 4.372 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 4.372 * [taylor]: Taking taylor expansion of 2 in b 4.372 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.373 * [taylor]: Taking taylor expansion of a in b 4.373 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.373 * [taylor]: Taking taylor expansion of b in b 4.374 * [taylor]: Taking taylor expansion of 1 in a 4.375 * [taylor]: Taking taylor expansion of (* 4 (/ 1 a)) in a 4.375 * [taylor]: Taking taylor expansion of 4 in a 4.375 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.375 * [taylor]: Taking taylor expansion of a in a 4.378 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 2))) in a 4.378 * [taylor]: Taking taylor expansion of 4 in a 4.378 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.378 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.378 * [taylor]: Taking taylor expansion of a in a 4.380 * [approximate]: Taking taylor expansion of (/ (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) (pow b 2)) in (b a) around 0 4.380 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) (pow b 2)) in a 4.380 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) in a 4.380 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in a 4.380 * [taylor]: Taking taylor expansion of (/ 1 b) in a 4.380 * [taylor]: Taking taylor expansion of b in a 4.380 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.380 * [taylor]: Taking taylor expansion of 2 in a 4.380 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.380 * [taylor]: Taking taylor expansion of a in a 4.381 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.381 * [taylor]: Taking taylor expansion of b in a 4.381 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) (pow b 2)) in b 4.381 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) in b 4.381 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 4.381 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.381 * [taylor]: Taking taylor expansion of b in b 4.381 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 4.381 * [taylor]: Taking taylor expansion of 2 in b 4.381 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.381 * [taylor]: Taking taylor expansion of a in b 4.382 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.382 * [taylor]: Taking taylor expansion of b in b 4.382 * [taylor]: Taking taylor expansion of (/ (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) (pow b 2)) in b 4.383 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 b) (* 2 (/ 1 a))) 2) in b 4.383 * [taylor]: Taking taylor expansion of (+ (/ 1 b) (* 2 (/ 1 a))) in b 4.383 * [taylor]: Taking taylor expansion of (/ 1 b) in b 4.383 * [taylor]: Taking taylor expansion of b in b 4.383 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in b 4.383 * [taylor]: Taking taylor expansion of 2 in b 4.383 * [taylor]: Taking taylor expansion of (/ 1 a) in b 4.383 * [taylor]: Taking taylor expansion of a in b 4.383 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.383 * [taylor]: Taking taylor expansion of b in b 4.384 * [taylor]: Taking taylor expansion of 1 in a 4.385 * [taylor]: Taking taylor expansion of (* 4 (/ 1 a)) in a 4.385 * [taylor]: Taking taylor expansion of 4 in a 4.385 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.385 * [taylor]: Taking taylor expansion of a in a 4.389 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 2))) in a 4.389 * [taylor]: Taking taylor expansion of 4 in a 4.389 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.389 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.389 * [taylor]: Taking taylor expansion of a in a 4.390 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 4.390 * [approximate]: Taking taylor expansion of (- (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (pow a 4)) in (b a) around 0 4.390 * [taylor]: Taking taylor expansion of (- (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (pow a 4)) in a 4.391 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) in a 4.391 * [taylor]: Taking taylor expansion of (pow b 4) in a 4.391 * [taylor]: Taking taylor expansion of b in a 4.391 * [taylor]: Taking taylor expansion of (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2)))) in a 4.391 * [taylor]: Taking taylor expansion of (* 4 (* a (pow b 3))) in a 4.391 * [taylor]: Taking taylor expansion of 4 in a 4.391 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in a 4.391 * [taylor]: Taking taylor expansion of a in a 4.391 * [taylor]: Taking taylor expansion of (pow b 3) in a 4.391 * [taylor]: Taking taylor expansion of b in a 4.391 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 2))) in a 4.391 * [taylor]: Taking taylor expansion of 4 in a 4.391 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 4.391 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.391 * [taylor]: Taking taylor expansion of a in a 4.391 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.391 * [taylor]: Taking taylor expansion of b in a 4.391 * [taylor]: Taking taylor expansion of (pow a 4) in a 4.391 * [taylor]: Taking taylor expansion of a in a 4.391 * [taylor]: Taking taylor expansion of (- (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (pow a 4)) in b 4.391 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) in b 4.391 * [taylor]: Taking taylor expansion of (pow b 4) in b 4.391 * [taylor]: Taking taylor expansion of b in b 4.391 * [taylor]: Taking taylor expansion of (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2)))) in b 4.391 * [taylor]: Taking taylor expansion of (* 4 (* a (pow b 3))) in b 4.391 * [taylor]: Taking taylor expansion of 4 in b 4.391 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in b 4.391 * [taylor]: Taking taylor expansion of a in b 4.391 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.391 * [taylor]: Taking taylor expansion of b in b 4.391 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 2))) in b 4.391 * [taylor]: Taking taylor expansion of 4 in b 4.391 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 4.391 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.391 * [taylor]: Taking taylor expansion of a in b 4.391 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.391 * [taylor]: Taking taylor expansion of b in b 4.391 * [taylor]: Taking taylor expansion of (pow a 4) in b 4.391 * [taylor]: Taking taylor expansion of a in b 4.391 * [taylor]: Taking taylor expansion of (- (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (pow a 4)) in b 4.391 * [taylor]: Taking taylor expansion of (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) in b 4.391 * [taylor]: Taking taylor expansion of (pow b 4) in b 4.391 * [taylor]: Taking taylor expansion of b in b 4.391 * [taylor]: Taking taylor expansion of (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2)))) in b 4.391 * [taylor]: Taking taylor expansion of (* 4 (* a (pow b 3))) in b 4.391 * [taylor]: Taking taylor expansion of 4 in b 4.391 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in b 4.391 * [taylor]: Taking taylor expansion of a in b 4.391 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.391 * [taylor]: Taking taylor expansion of b in b 4.391 * [taylor]: Taking taylor expansion of (* 4 (* (pow a 2) (pow b 2))) in b 4.391 * [taylor]: Taking taylor expansion of 4 in b 4.391 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 4.391 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.391 * [taylor]: Taking taylor expansion of a in b 4.391 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.391 * [taylor]: Taking taylor expansion of b in b 4.391 * [taylor]: Taking taylor expansion of (pow a 4) in b 4.391 * [taylor]: Taking taylor expansion of a in b 4.392 * [taylor]: Taking taylor expansion of (- (pow a 4)) in a 4.392 * [taylor]: Taking taylor expansion of (pow a 4) in a 4.392 * [taylor]: Taking taylor expansion of a in a 4.392 * [taylor]: Taking taylor expansion of 0 in a 4.394 * [taylor]: Taking taylor expansion of (* 4 (pow a 2)) in a 4.394 * [taylor]: Taking taylor expansion of 4 in a 4.394 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.394 * [taylor]: Taking taylor expansion of a in a 4.397 * [taylor]: Taking taylor expansion of (* 4 a) in a 4.397 * [taylor]: Taking taylor expansion of 4 in a 4.397 * [taylor]: Taking taylor expansion of a in a 4.403 * [taylor]: Taking taylor expansion of 1 in a 4.405 * [approximate]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in (b a) around 0 4.405 * [taylor]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in a 4.405 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) in a 4.405 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 2)))) in a 4.405 * [taylor]: Taking taylor expansion of 4 in a 4.405 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 4.405 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 4.405 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.405 * [taylor]: Taking taylor expansion of a in a 4.405 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.405 * [taylor]: Taking taylor expansion of b in a 4.405 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4))) in a 4.405 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* a (pow b 3)))) in a 4.405 * [taylor]: Taking taylor expansion of 4 in a 4.405 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 3))) in a 4.405 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in a 4.405 * [taylor]: Taking taylor expansion of a in a 4.405 * [taylor]: Taking taylor expansion of (pow b 3) in a 4.405 * [taylor]: Taking taylor expansion of b in a 4.406 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 4.406 * [taylor]: Taking taylor expansion of (pow b 4) in a 4.406 * [taylor]: Taking taylor expansion of b in a 4.406 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 4.406 * [taylor]: Taking taylor expansion of (pow a 4) in a 4.406 * [taylor]: Taking taylor expansion of a in a 4.407 * [taylor]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in b 4.407 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) in b 4.407 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 2)))) in b 4.407 * [taylor]: Taking taylor expansion of 4 in b 4.407 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 4.407 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 4.407 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.407 * [taylor]: Taking taylor expansion of a in b 4.407 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.407 * [taylor]: Taking taylor expansion of b in b 4.408 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4))) in b 4.408 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* a (pow b 3)))) in b 4.408 * [taylor]: Taking taylor expansion of 4 in b 4.408 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 3))) in b 4.408 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in b 4.408 * [taylor]: Taking taylor expansion of a in b 4.408 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.408 * [taylor]: Taking taylor expansion of b in b 4.408 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 4.408 * [taylor]: Taking taylor expansion of (pow b 4) in b 4.408 * [taylor]: Taking taylor expansion of b in b 4.409 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 4.409 * [taylor]: Taking taylor expansion of (pow a 4) in b 4.409 * [taylor]: Taking taylor expansion of a in b 4.409 * [taylor]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in b 4.409 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) in b 4.409 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 2)))) in b 4.409 * [taylor]: Taking taylor expansion of 4 in b 4.409 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 4.409 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 4.409 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.409 * [taylor]: Taking taylor expansion of a in b 4.409 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.409 * [taylor]: Taking taylor expansion of b in b 4.410 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4))) in b 4.410 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* a (pow b 3)))) in b 4.410 * [taylor]: Taking taylor expansion of 4 in b 4.410 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 3))) in b 4.410 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in b 4.410 * [taylor]: Taking taylor expansion of a in b 4.410 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.410 * [taylor]: Taking taylor expansion of b in b 4.410 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 4.410 * [taylor]: Taking taylor expansion of (pow b 4) in b 4.410 * [taylor]: Taking taylor expansion of b in b 4.411 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 4.411 * [taylor]: Taking taylor expansion of (pow a 4) in b 4.411 * [taylor]: Taking taylor expansion of a in b 4.412 * [taylor]: Taking taylor expansion of 1 in a 4.416 * [taylor]: Taking taylor expansion of (* 4 (/ 1 a)) in a 4.416 * [taylor]: Taking taylor expansion of 4 in a 4.416 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.416 * [taylor]: Taking taylor expansion of a in a 4.419 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 2))) in a 4.419 * [taylor]: Taking taylor expansion of 4 in a 4.419 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.419 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.419 * [taylor]: Taking taylor expansion of a in a 4.425 * [taylor]: Taking taylor expansion of 0 in a 4.432 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4))) in a 4.432 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 4.432 * [taylor]: Taking taylor expansion of (pow a 4) in a 4.432 * [taylor]: Taking taylor expansion of a in a 4.434 * [approximate]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in (b a) around 0 4.434 * [taylor]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in a 4.434 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) in a 4.434 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 2)))) in a 4.434 * [taylor]: Taking taylor expansion of 4 in a 4.434 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in a 4.434 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in a 4.434 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.434 * [taylor]: Taking taylor expansion of a in a 4.434 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.434 * [taylor]: Taking taylor expansion of b in a 4.435 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4))) in a 4.435 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* a (pow b 3)))) in a 4.435 * [taylor]: Taking taylor expansion of 4 in a 4.435 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 3))) in a 4.435 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in a 4.435 * [taylor]: Taking taylor expansion of a in a 4.435 * [taylor]: Taking taylor expansion of (pow b 3) in a 4.435 * [taylor]: Taking taylor expansion of b in a 4.436 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in a 4.436 * [taylor]: Taking taylor expansion of (pow b 4) in a 4.436 * [taylor]: Taking taylor expansion of b in a 4.436 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 4.436 * [taylor]: Taking taylor expansion of (pow a 4) in a 4.436 * [taylor]: Taking taylor expansion of a in a 4.437 * [taylor]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in b 4.437 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) in b 4.437 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 2)))) in b 4.437 * [taylor]: Taking taylor expansion of 4 in b 4.437 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 4.437 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 4.437 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.437 * [taylor]: Taking taylor expansion of a in b 4.437 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.437 * [taylor]: Taking taylor expansion of b in b 4.437 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4))) in b 4.437 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* a (pow b 3)))) in b 4.437 * [taylor]: Taking taylor expansion of 4 in b 4.437 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 3))) in b 4.437 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in b 4.437 * [taylor]: Taking taylor expansion of a in b 4.437 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.437 * [taylor]: Taking taylor expansion of b in b 4.438 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 4.438 * [taylor]: Taking taylor expansion of (pow b 4) in b 4.438 * [taylor]: Taking taylor expansion of b in b 4.438 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 4.439 * [taylor]: Taking taylor expansion of (pow a 4) in b 4.439 * [taylor]: Taking taylor expansion of a in b 4.439 * [taylor]: Taking taylor expansion of (- (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) (/ 1 (pow a 4))) in b 4.439 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* (pow a 2) (pow b 2)))) (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4)))) in b 4.439 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* (pow a 2) (pow b 2)))) in b 4.439 * [taylor]: Taking taylor expansion of 4 in b 4.439 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow b 2))) in b 4.439 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow b 2)) in b 4.439 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.439 * [taylor]: Taking taylor expansion of a in b 4.439 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.439 * [taylor]: Taking taylor expansion of b in b 4.439 * [taylor]: Taking taylor expansion of (+ (* 4 (/ 1 (* a (pow b 3)))) (/ 1 (pow b 4))) in b 4.439 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (* a (pow b 3)))) in b 4.440 * [taylor]: Taking taylor expansion of 4 in b 4.440 * [taylor]: Taking taylor expansion of (/ 1 (* a (pow b 3))) in b 4.440 * [taylor]: Taking taylor expansion of (* a (pow b 3)) in b 4.440 * [taylor]: Taking taylor expansion of a in b 4.440 * [taylor]: Taking taylor expansion of (pow b 3) in b 4.440 * [taylor]: Taking taylor expansion of b in b 4.440 * [taylor]: Taking taylor expansion of (/ 1 (pow b 4)) in b 4.440 * [taylor]: Taking taylor expansion of (pow b 4) in b 4.440 * [taylor]: Taking taylor expansion of b in b 4.441 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in b 4.441 * [taylor]: Taking taylor expansion of (pow a 4) in b 4.441 * [taylor]: Taking taylor expansion of a in b 4.442 * [taylor]: Taking taylor expansion of 1 in a 4.443 * [taylor]: Taking taylor expansion of (* 4 (/ 1 a)) in a 4.443 * [taylor]: Taking taylor expansion of 4 in a 4.443 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.443 * [taylor]: Taking taylor expansion of a in a 4.447 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow a 2))) in a 4.447 * [taylor]: Taking taylor expansion of 4 in a 4.447 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.447 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.447 * [taylor]: Taking taylor expansion of a in a 4.453 * [taylor]: Taking taylor expansion of 0 in a 4.459 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 4))) in a 4.459 * [taylor]: Taking taylor expansion of (/ 1 (pow a 4)) in a 4.459 * [taylor]: Taking taylor expansion of (pow a 4) in a 4.459 * [taylor]: Taking taylor expansion of a in a 4.461 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 4.461 * [approximate]: Taking taylor expansion of (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2)) in (b a) around 0 4.461 * [taylor]: Taking taylor expansion of (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2)) in a 4.461 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in a 4.461 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in a 4.461 * [taylor]: Taking taylor expansion of 2 in a 4.461 * [taylor]: Taking taylor expansion of (* a b) in a 4.461 * [taylor]: Taking taylor expansion of a in a 4.461 * [taylor]: Taking taylor expansion of b in a 4.461 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.461 * [taylor]: Taking taylor expansion of b in a 4.462 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.462 * [taylor]: Taking taylor expansion of a in a 4.462 * [taylor]: Taking taylor expansion of (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2)) in b 4.462 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b 4.462 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 4.462 * [taylor]: Taking taylor expansion of 2 in b 4.462 * [taylor]: Taking taylor expansion of (* a b) in b 4.462 * [taylor]: Taking taylor expansion of a in b 4.462 * [taylor]: Taking taylor expansion of b in b 4.462 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.462 * [taylor]: Taking taylor expansion of b in b 4.462 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.462 * [taylor]: Taking taylor expansion of a in b 4.462 * [taylor]: Taking taylor expansion of (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2)) in b 4.462 * [taylor]: Taking taylor expansion of (+ (* 2 (* a b)) (pow b 2)) in b 4.462 * [taylor]: Taking taylor expansion of (* 2 (* a b)) in b 4.462 * [taylor]: Taking taylor expansion of 2 in b 4.462 * [taylor]: Taking taylor expansion of (* a b) in b 4.462 * [taylor]: Taking taylor expansion of a in b 4.462 * [taylor]: Taking taylor expansion of b in b 4.462 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.462 * [taylor]: Taking taylor expansion of b in b 4.462 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.462 * [taylor]: Taking taylor expansion of a in b 4.463 * [taylor]: Taking taylor expansion of (- (pow a 2)) in a 4.463 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.463 * [taylor]: Taking taylor expansion of a in a 4.464 * [taylor]: Taking taylor expansion of (* 2 a) in a 4.464 * [taylor]: Taking taylor expansion of 2 in a 4.464 * [taylor]: Taking taylor expansion of a in a 4.466 * [taylor]: Taking taylor expansion of 1 in a 4.467 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in (b a) around 0 4.467 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in a 4.467 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) in a 4.467 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.467 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.467 * [taylor]: Taking taylor expansion of b in a 4.467 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 4.467 * [taylor]: Taking taylor expansion of 2 in a 4.468 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 4.468 * [taylor]: Taking taylor expansion of (* a b) in a 4.468 * [taylor]: Taking taylor expansion of a in a 4.468 * [taylor]: Taking taylor expansion of b in a 4.468 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.468 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.468 * [taylor]: Taking taylor expansion of a in a 4.468 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in b 4.468 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) in b 4.468 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.468 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.468 * [taylor]: Taking taylor expansion of b in b 4.469 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.469 * [taylor]: Taking taylor expansion of 2 in b 4.469 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.469 * [taylor]: Taking taylor expansion of (* a b) in b 4.469 * [taylor]: Taking taylor expansion of a in b 4.469 * [taylor]: Taking taylor expansion of b in b 4.469 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.469 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.469 * [taylor]: Taking taylor expansion of a in b 4.470 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in b 4.470 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) in b 4.470 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.470 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.470 * [taylor]: Taking taylor expansion of b in b 4.470 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.470 * [taylor]: Taking taylor expansion of 2 in b 4.470 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.470 * [taylor]: Taking taylor expansion of (* a b) in b 4.470 * [taylor]: Taking taylor expansion of a in b 4.470 * [taylor]: Taking taylor expansion of b in b 4.470 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.470 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.470 * [taylor]: Taking taylor expansion of a in b 4.471 * [taylor]: Taking taylor expansion of 1 in a 4.472 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.472 * [taylor]: Taking taylor expansion of 2 in a 4.472 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.472 * [taylor]: Taking taylor expansion of a in a 4.474 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2))) in a 4.474 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.474 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.474 * [taylor]: Taking taylor expansion of a in a 4.476 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in (b a) around 0 4.476 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in a 4.476 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) in a 4.476 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in a 4.476 * [taylor]: Taking taylor expansion of (pow b 2) in a 4.476 * [taylor]: Taking taylor expansion of b in a 4.476 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in a 4.476 * [taylor]: Taking taylor expansion of 2 in a 4.476 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 4.476 * [taylor]: Taking taylor expansion of (* a b) in a 4.476 * [taylor]: Taking taylor expansion of a in a 4.476 * [taylor]: Taking taylor expansion of b in a 4.477 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.477 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.477 * [taylor]: Taking taylor expansion of a in a 4.477 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in b 4.477 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) in b 4.477 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.477 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.477 * [taylor]: Taking taylor expansion of b in b 4.478 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.478 * [taylor]: Taking taylor expansion of 2 in b 4.478 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.478 * [taylor]: Taking taylor expansion of (* a b) in b 4.478 * [taylor]: Taking taylor expansion of a in b 4.478 * [taylor]: Taking taylor expansion of b in b 4.478 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.478 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.478 * [taylor]: Taking taylor expansion of a in b 4.478 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) (/ 1 (pow a 2))) in b 4.478 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow b 2)) (* 2 (/ 1 (* a b)))) in b 4.478 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 4.478 * [taylor]: Taking taylor expansion of (pow b 2) in b 4.478 * [taylor]: Taking taylor expansion of b in b 4.479 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a b))) in b 4.479 * [taylor]: Taking taylor expansion of 2 in b 4.479 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 4.479 * [taylor]: Taking taylor expansion of (* a b) in b 4.479 * [taylor]: Taking taylor expansion of a in b 4.479 * [taylor]: Taking taylor expansion of b in b 4.479 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in b 4.479 * [taylor]: Taking taylor expansion of (pow a 2) in b 4.479 * [taylor]: Taking taylor expansion of a in b 4.480 * [taylor]: Taking taylor expansion of 1 in a 4.481 * [taylor]: Taking taylor expansion of (* 2 (/ 1 a)) in a 4.481 * [taylor]: Taking taylor expansion of 2 in a 4.481 * [taylor]: Taking taylor expansion of (/ 1 a) in a 4.481 * [taylor]: Taking taylor expansion of a in a 4.483 * [taylor]: Taking taylor expansion of (- (/ 1 (pow a 2))) in a 4.483 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 4.483 * [taylor]: Taking taylor expansion of (pow a 2) in a 4.483 * [taylor]: Taking taylor expansion of a in a 4.485 * * * [progress]: simplifying candidates 4.487 * [simplify]: Simplifying using # : (- (log (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (log (- (* b (+ (* 2 a) b)) (* a a)))) (log (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (exp (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (/ (* (* (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (* (* (- (* b (+ (* 2 a) b)) (* a a)) (- (* b (+ (* 2 a) b)) (* a a))) (- (* b (+ (* 2 a) b)) (* a a)))) (* (cbrt (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (cbrt (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a))))) (cbrt (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (* (* (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (sqrt (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (sqrt (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (- (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (- (- (* b (+ (* 2 a) b)) (* a a))) (/ (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (- (* b (+ (* 2 a) b)) (* a a))) (/ (pow a 4) (- (* b (+ (* 2 a) b)) (* a a))) (/ (* (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (* (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (* (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) 1) (/ (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (- (* b (+ (* 2 a) b)) (* a a))) (/ (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) 1) (/ (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (- (* b (+ (* 2 a) b)) (* a a))) (/ 1 (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ 1 (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ 1 1) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a))) (/ (+ (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (- (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (+ (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (- (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (+ (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) 1) (/ (- (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (- (* b (+ (* 2 a) b)) (* a a))) (/ (+ (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (- (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (+ (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (- (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (+ (* b (+ (* 2 a) b)) (sqrt (pow a 4))) 1) (/ (- (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (- (* b (+ (* 2 a) b)) (* a a))) (/ (+ (* b (+ (* 2 a) b)) (pow a (/ 4 2))) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (- (* b (+ (* 2 a) b)) (pow a (/ 4 2))) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (+ (* b (+ (* 2 a) b)) (pow a (/ 4 2))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (- (* b (+ (* 2 a) b)) (pow a (/ 4 2))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (+ (* b (+ (* 2 a) b)) (pow a (/ 4 2))) 1) (/ (- (* b (+ (* 2 a) b)) (pow a (/ 4 2))) (- (* b (+ (* 2 a) b)) (* a a))) (/ 1 (- (* b (+ (* 2 a) b)) (* a a))) (/ (- (* b (+ (* 2 a) b)) (* a a)) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) 1) (/ (- (* b (+ (* 2 a) b)) (* a a)) (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (/ (- (* b (+ (* 2 a) b)) (* a a)) (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (/ (- (* b (+ (* 2 a) b)) (* a a)) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (/ (- (* b (+ (* 2 a) b)) (* a a)) (- (* b (+ (* 2 a) b)) (pow (sqrt a) 4))) (/ (- (* b (+ (* 2 a) b)) (* a a)) (- (* b (+ (* 2 a) b)) (sqrt (pow a 4)))) (/ (- (* b (+ (* 2 a) b)) (* a a)) (- (* b (+ (* 2 a) b)) (pow a (/ 4 2)))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (pow (* b (+ (* 2 a) b)) 3) (pow (* a a) 3))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* a a) (* a a)))) (* (- (* b (+ (* 2 a) b)) (* a a)) (+ (* (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (+ (* (pow a 4) (pow a 4)) (* (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))))) (* (- (* b (+ (* 2 a) b)) (* a a)) (+ (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (+ 1 1) (+ 1 1) (+ (+ (log b) (log (+ (* 2 a) b))) (+ (log b) (log (+ (* 2 a) b)))) (+ (+ (log b) (log (+ (* 2 a) b))) (log (* b (+ (* 2 a) b)))) (+ (log (* b (+ (* 2 a) b))) (+ (log b) (log (+ (* 2 a) b)))) (+ (log (* b (+ (* 2 a) b))) (log (* b (+ (* 2 a) b)))) (log (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (exp (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (* (* (* (* b b) b) (* (* (+ (* 2 a) b) (+ (* 2 a) b)) (+ (* 2 a) b))) (* (* (* b b) b) (* (* (+ (* 2 a) b) (+ (* 2 a) b)) (+ (* 2 a) b)))) (* (* (* (* b b) b) (* (* (+ (* 2 a) b) (+ (* 2 a) b)) (+ (* 2 a) b))) (* (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* b (+ (* 2 a) b)))) (* (* (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* b (+ (* 2 a) b))) (* (* (* b b) b) (* (* (+ (* 2 a) b) (+ (* 2 a) b)) (+ (* 2 a) b)))) (* (* (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* b (+ (* 2 a) b))) (* (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* b (+ (* 2 a) b)))) (* (cbrt (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (cbrt (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))))) (cbrt (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (* (* (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (sqrt (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (sqrt (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (* (* b (+ (pow (* 2 a) 3) (pow b 3))) (* b (+ (pow (* 2 a) 3) (pow b 3)))) (* (+ (* (* 2 a) (* 2 a)) (- (* b b) (* (* 2 a) b))) (+ (* (* 2 a) (* 2 a)) (- (* b b) (* (* 2 a) b)))) (* (* b (+ (pow (* 2 a) 3) (pow b 3))) (* b (- (* (* 2 a) (* 2 a)) (* b b)))) (* (+ (* (* 2 a) (* 2 a)) (- (* b b) (* (* 2 a) b))) (- (* 2 a) b)) (* (* b (- (* (* 2 a) (* 2 a)) (* b b))) (* b (+ (pow (* 2 a) 3) (pow b 3)))) (* (- (* 2 a) b) (+ (* (* 2 a) (* 2 a)) (- (* b b) (* (* 2 a) b)))) (* (* b (- (* (* 2 a) (* 2 a)) (* b b))) (* b (- (* (* 2 a) (* 2 a)) (* b b)))) (* (- (* 2 a) b) (- (* 2 a) b)) (* b b) (* (+ (* 2 a) b) (+ (* 2 a) b)) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* b (+ (* 2 a) b)) (* b (* 2 a))) (* (* b (+ (* 2 a) b)) (* b b)) (* (* b (+ (* 2 a) b)) (* (* 2 a) b)) (* (* b (+ (* 2 a) b)) (* b b)) (* (* b (* 2 a)) (* b (+ (* 2 a) b))) (* (* b b) (* b (+ (* 2 a) b))) (* (* (* 2 a) b) (* b (+ (* 2 a) b))) (* (* b b) (* b (+ (* 2 a) b))) (* (* b (+ (* 2 a) b)) b) (* (+ (* 2 a) b) (* b (+ (* 2 a) b))) (* (* b (+ (* 2 a) b)) (* b (+ (pow (* 2 a) 3) (pow b 3)))) (* (* b (+ (* 2 a) b)) (* b (- (* (* 2 a) (* 2 a)) (* b b)))) (* (* b (+ (pow (* 2 a) 3) (pow b 3))) (* b (+ (* 2 a) b))) (* (* b (- (* (* 2 a) (* 2 a)) (* b b))) (* b (+ (* 2 a) b))) (/ (exp (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (exp (pow a 4))) (log (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (exp (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (* (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (* (* (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (- (pow (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) 3) (pow (pow a 4) 3)) (+ (* (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (+ (* (pow a 4) (pow a 4)) (* (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (- (pow a 4)) (- (* (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (* (pow a 4) (pow a 4))) (+ (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (+ (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (- (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (+ (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (- (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (+ (* b (+ (* 2 a) b)) (pow a (/ 4 2))) (- (* b (+ (* 2 a) b)) (pow a (/ 4 2))) (- (* (* b (+ (* 2 a) b)) (* b b)) (pow a 4)) (- (* (* b (+ (* 2 a) b)) (* b b)) (pow a 4)) (- (* (* b b) (* b (+ (* 2 a) b))) (pow a 4)) (- (* (* b b) (* b (+ (* 2 a) b))) (pow a 4)) (- (pow a 4)) (/ (exp (* b (+ (* 2 a) b))) (exp (* a a))) (log (- (* b (+ (* 2 a) b)) (* a a))) (exp (- (* b (+ (* 2 a) b)) (* a a))) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (* (* (- (* b (+ (* 2 a) b)) (* a a)) (- (* b (+ (* 2 a) b)) (* a a))) (- (* b (+ (* 2 a) b)) (* a a))) (sqrt (- (* b (+ (* 2 a) b)) (* a a))) (sqrt (- (* b (+ (* 2 a) b)) (* a a))) (- (pow (* b (+ (* 2 a) b)) 3) (pow (* a a) 3)) (+ (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (+ (* (* a a) (* a a)) (* (* b (+ (* 2 a) b)) (* a a)))) (- (* a a)) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* a a) (* a a))) (+ (* b (+ (* 2 a) b)) (* a a)) (- (* b b) (* a a)) (- (* b b) (* a a)) (- (* a a)) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow a 2) (+ (* 2 (* a b)) (pow b 2))) (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (+ (pow b 4) (+ (* 4 (* a (pow b 3))) (* 4 (* (pow a 2) (pow b 2))))) (- (+ (* 4 (* (pow a 2) (pow b 2))) (* 4 (* a (pow b 3)))) (pow a 4)) (- (+ (* 4 (* (pow a 2) (pow b 2))) (* 4 (* a (pow b 3)))) (pow a 4)) (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2)) (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2)) (- (+ (* 2 (* a b)) (pow b 2)) (pow a 2)) 4.497 * * [simplify]: iteration 0 : 203 enodes (cost 3931 ) 4.549 * * [simplify]: iteration 1 : 594 enodes (cost 3592 ) 4.727 * * [simplify]: iteration 2 : 2452 enodes (cost 3278 ) 5.279 * * [simplify]: iteration done : 5000 enodes (cost 3278 ) 5.280 * [simplify]: Simplified to: (log (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (log (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (exp (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (pow (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a))) 3) (* (cbrt (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (cbrt (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a))))) (cbrt (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (pow (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a))) 3) (sqrt (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (sqrt (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a)))) (- (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (- (- (* b (+ (* 2 a) b)) (* a a))) (/ (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (- (* b (+ (* 2 a) b)) (* a a))) (/ (pow a 4) (- (* b (+ (* 2 a) b)) (* a a))) (/ (* (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (* (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (* (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (/ (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (- (* b (+ (* 2 a) b)) (* a a))) (/ (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (/ (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (- (* b (+ (* 2 a) b)) (* a a))) (/ 1 (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ 1 (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) 1 (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* b (+ (* 2 a) b)) (* a a))) (/ (+ (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (- (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (+ (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (- (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (+ (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (/ (- (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (- (* b (+ (* 2 a) b)) (* a a))) (/ (+ (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (- (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (+ (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (- (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (+ (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (/ (- (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (- (* b (+ (* 2 a) b)) (* a a))) (/ (+ (pow a 2) (* b (+ (* 2 a) b))) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (- (* b (+ (* 2 a) b)) (pow a 2)) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (+ (* b (+ (* 2 a) b)) (* a a)) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (/ (- (* b (+ (* 2 a) b)) (pow a 2)) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (+ (pow a 2) (* b (+ (* 2 a) b))) (/ (- (* b (+ (* 2 a) b)) (pow a 2)) (- (* b (+ (* 2 a) b)) (pow a 2))) (/ 1 (- (* b (+ (* 2 a) b)) (* a a))) (/ (- (* b (+ (* 2 a) b)) (* a a)) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (sqrt (- (* b (+ (* 2 a) b)) (* a a)))) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (/ (- (* b (+ (* 2 a) b)) (* a a)) (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (/ (- (* b (+ (* 2 a) b)) (* a a)) (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (/ (- (* b (+ (* 2 a) b)) (* a a)) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (/ (- (* b (+ (* 2 a) b)) (* a a)) (- (* b (+ (* 2 a) b)) (pow (sqrt a) 4))) (/ (- (* b (+ (* 2 a) b)) (* a a)) (- (* b (+ (* 2 a) b)) (sqrt (pow a 4)))) (/ (- (* b (+ (* 2 a) b)) (pow a 2)) (- (* b (+ (* 2 a) b)) (pow a 2))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (pow (* b (+ (* 2 a) b)) 3) (pow a 6))) (/ (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (* (+ (pow (* b (+ (* 2 a) b)) 4) (* (pow a 4) (+ (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (- (* b (+ (* 2 a) b)) (pow a 2))) (* (- (* b (+ (* 2 a) b)) (* a a)) (+ (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) 2 2 2 2 (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) 2 2 (* 2 (log (* b (+ (* 2 a) b)))) (* 2 (log (* b (+ (* 2 a) b)))) (* 2 (log (* b (+ (* 2 a) b)))) (* 2 (log (* b (+ (* 2 a) b)))) (* 2 (log (* b (+ (* 2 a) b)))) (exp (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (pow (* b (+ (* 2 a) b)) 6) (pow (* b (+ (* 2 a) b)) 6) (pow (* b (+ (* 2 a) b)) 6) (pow (* b (+ (* 2 a) b)) 6) (* (cbrt (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (cbrt (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))))) (cbrt (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b)))) (pow (* b (+ (* 2 a) b)) 6) (fabs (* b (+ (* 2 a) b))) (fabs (* b (+ (* 2 a) b))) (* (* b (+ (pow (* 2 a) 3) (pow b 3))) (* b (+ (pow (* 2 a) 3) (pow b 3)))) (* (+ (* 4 (pow a 2)) (* b (- b (* 2 a)))) (+ (* 4 (pow a 2)) (* b (- b (* 2 a))))) (* (* (* b (+ (pow (* 2 a) 3) (pow b 3))) b) (- (* 4 (pow a 2)) (* b b))) (* (+ (* 4 (pow a 2)) (* b (- b (* 2 a)))) (- (* 2 a) b)) (* (* (* b (+ (pow (* 2 a) 3) (pow b 3))) b) (- (* 4 (pow a 2)) (* b b))) (* (+ (* 4 (pow a 2)) (* b (- b (* 2 a)))) (- (* 2 a) b)) (* (* (* (- (* 4 (pow a 2)) (* b b)) b) b) (- (* 4 (pow a 2)) (* b b))) (* (- (* 2 a) b) (- (* 2 a) b)) (* b b) (* (+ (* 2 a) b) (+ (* 2 a) b)) 2 2 2 2 (* (* b (+ (* 2 a) b)) (* (* 2 a) b)) (* (pow b 3) (+ (* 2 a) b)) (* (* b (+ (* 2 a) b)) (* (* 2 a) b)) (* (pow b 3) (+ (* 2 a) b)) (* (* b (+ (* 2 a) b)) (* (* 2 a) b)) (* (pow b 3) (+ (* 2 a) b)) (* (* b (+ (* 2 a) b)) (* (* 2 a) b)) (* (pow b 3) (+ (* 2 a) b)) (* (+ (* 2 a) b) (* b b)) (* (* (+ (* 2 a) b) (+ (* 2 a) b)) b) (* (* b (+ (* 2 a) b)) (* b (+ (pow (* 2 a) 3) (pow b 3)))) (* b (* (- (* 4 (pow a 2)) (* b b)) (* b (+ (* 2 a) b)))) (* (* b (+ (* 2 a) b)) (* b (+ (pow (* 2 a) 3) (pow b 3)))) (* b (* (- (* 4 (pow a 2)) (* b b)) (* b (+ (* 2 a) b)))) (exp (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (log (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (exp (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (* (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (cbrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (pow (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) 3) (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (sqrt (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4))) (- (pow (* b (+ (* 2 a) b)) 6) (pow (pow a 4) 3)) (+ (pow (* b (+ (* 2 a) b)) 4) (* (pow a 4) (+ (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)))) (- (pow a 4)) (- (pow (* b (+ (* 2 a) b)) 4) (pow a 8)) (+ (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (+ (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (- (* b (+ (* 2 a) b)) (pow (sqrt a) 4)) (+ (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (- (* b (+ (* 2 a) b)) (sqrt (pow a 4))) (+ (pow a 2) (* b (+ (* 2 a) b))) (- (* b (+ (* 2 a) b)) (pow a 2)) (- (* (pow b 3) (+ (* 2 a) b)) (pow a 4)) (- (* (pow b 3) (+ (* 2 a) b)) (pow a 4)) (- (* (pow b 3) (+ (* 2 a) b)) (pow a 4)) (- (* (pow b 3) (+ (* 2 a) b)) (pow a 4)) (- (pow a 4)) (exp (- (* b (+ (* 2 a) b)) (pow a 2))) (log (- (* b (+ (* 2 a) b)) (* a a))) (exp (- (* b (+ (* 2 a) b)) (pow a 2))) (* (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (cbrt (- (* b (+ (* 2 a) b)) (* a a)))) (cbrt (- (* b (+ (* 2 a) b)) (* a a))) (pow (- (* b (+ (* 2 a) b)) (pow a 2)) 3) (sqrt (- (* b (+ (* 2 a) b)) (* a a))) (sqrt (- (* b (+ (* 2 a) b)) (* a a))) (- (pow (* b (+ (* 2 a) b)) 3) (pow a 6)) (+ (+ (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (* (* b (+ (* 2 a) b)) (* a a))) (- (* a a)) (- (* (* b (+ (* 2 a) b)) (* b (+ (* 2 a) b))) (pow a 4)) (+ (pow a 2) (* b (+ (* 2 a) b))) (- (* b b) (* a a)) (- (* b b) (* a a)) (- (* a a)) (+ (pow a 2) (* b (+ (* 2 a) b))) (+ (pow a 2) (* b (+ (* 2 a) b))) (+ (pow a 2) (* b (+ (* 2 a) b))) (+ (* 4 (+ (* (pow a 2) (pow b 2)) (* a (pow b 3)))) (pow b 4)) (+ (* 4 (+ (* (pow a 2) (pow b 2)) (* a (pow b 3)))) (pow b 4)) (+ (* 4 (+ (* (pow a 2) (pow b 2)) (* a (pow b 3)))) (pow b 4)) (+ (* 4 (+ (* (pow a 2) (pow b 2)) (* a (pow b 3)))) (pow b 4)) (- (* 4 (+ (* (pow a 2) (pow b 2)) (* a (pow b 3)))) (pow a 4)) (- (* 4 (+ (* (pow a 2) (pow b 2)) (* a (pow b 3)))) (pow a 4)) (- (* b (+ (* 2 a) b)) (pow a 2)) (- (* b (+ (* 2 a) b)) (pow a 2)) (- (* b (+ (* 2 a) b)) (pow a 2)) 5.281 * * * [progress]: adding candidates to table 5.571 * [progress]: [Phase 3 of 3] Extracting. 5.571 * * [regime]: Finding splitpoints for: (# #) 5.571 * * * [regime-changes]: Trying 2 branch expressions: (b a) 5.572 * * * * [regimes]: Trying to branch on b from (# #) 5.585 * * * * [regimes]: Trying to branch on a from (# #) 5.596 * * * [regime]: Found split indices: #