13.140 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.036 * * * [progress]: [2/2] Setting up program. 0.039 * [progress]: [Phase 2 of 3] Improving. 0.039 * [simplify]: Simplifying using # : (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) 0.040 * * [simplify]: iteration 0 : 18 enodes (cost 21 ) 0.043 * * [simplify]: iteration 1 : 38 enodes (cost 21 ) 0.052 * * [simplify]: iteration 2 : 117 enodes (cost 19 ) 0.075 * * [simplify]: iteration 3 : 346 enodes (cost 19 ) 0.233 * * [simplify]: iteration 4 : 1353 enodes (cost 18 ) 1.653 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 1.653 * [simplify]: Simplified to: (fma (- 1.0 t) a (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) 1.658 * * [progress]: iteration 1 / 4 1.658 * * * [progress]: picking best candidate 1.661 * * * * [pick]: Picked # 1.661 * * * [progress]: localizing error 1.681 * * * [progress]: generating rewritten candidates 1.681 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 1.681 * * * * [progress]: [ 2 / 2 ] rewriting at (2 3 3) 1.682 * * * [progress]: generating series expansions 1.682 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 1.682 * [approximate]: Taking taylor expansion of (fma b (- (+ t y) 2.0) (fma (- 1.0 y) z x)) in (b y t z x) around 0 1.682 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) (fma (- 1.0 y) z x)) in x 1.682 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) (fma (- 1.0 y) z x)) 1.682 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in x 1.682 * [taylor]: Taking taylor expansion of b in x 1.682 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in x 1.682 * [taylor]: Taking taylor expansion of (+ t y) in x 1.682 * [taylor]: Taking taylor expansion of t in x 1.682 * [taylor]: Taking taylor expansion of y in x 1.682 * [taylor]: Taking taylor expansion of 2.0 in x 1.682 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z x) in x 1.682 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) x) 1.682 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in x 1.682 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 1.682 * [taylor]: Taking taylor expansion of 1.0 in x 1.682 * [taylor]: Taking taylor expansion of y in x 1.682 * [taylor]: Taking taylor expansion of z in x 1.682 * [taylor]: Taking taylor expansion of x in x 1.682 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) (fma (- 1.0 y) z x)) in z 1.682 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) (fma (- 1.0 y) z x)) 1.682 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in z 1.683 * [taylor]: Taking taylor expansion of b in z 1.683 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in z 1.683 * [taylor]: Taking taylor expansion of (+ t y) in z 1.683 * [taylor]: Taking taylor expansion of t in z 1.683 * [taylor]: Taking taylor expansion of y in z 1.683 * [taylor]: Taking taylor expansion of 2.0 in z 1.683 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z x) in z 1.683 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) x) 1.683 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in z 1.683 * [taylor]: Taking taylor expansion of (- 1.0 y) in z 1.683 * [taylor]: Taking taylor expansion of 1.0 in z 1.683 * [taylor]: Taking taylor expansion of y in z 1.683 * [taylor]: Taking taylor expansion of z in z 1.683 * [taylor]: Taking taylor expansion of x in z 1.683 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) (fma (- 1.0 y) z x)) in t 1.683 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) (fma (- 1.0 y) z x)) 1.683 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in t 1.683 * [taylor]: Taking taylor expansion of b in t 1.683 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 1.683 * [taylor]: Taking taylor expansion of (+ t y) in t 1.683 * [taylor]: Taking taylor expansion of t in t 1.683 * [taylor]: Taking taylor expansion of y in t 1.683 * [taylor]: Taking taylor expansion of 2.0 in t 1.683 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z x) in t 1.683 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) x) 1.683 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in t 1.683 * [taylor]: Taking taylor expansion of (- 1.0 y) in t 1.683 * [taylor]: Taking taylor expansion of 1.0 in t 1.683 * [taylor]: Taking taylor expansion of y in t 1.683 * [taylor]: Taking taylor expansion of z in t 1.683 * [taylor]: Taking taylor expansion of x in t 1.683 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) (fma (- 1.0 y) z x)) in y 1.683 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) (fma (- 1.0 y) z x)) 1.683 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in y 1.683 * [taylor]: Taking taylor expansion of b in y 1.683 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.683 * [taylor]: Taking taylor expansion of (+ t y) in y 1.683 * [taylor]: Taking taylor expansion of t in y 1.683 * [taylor]: Taking taylor expansion of y in y 1.683 * [taylor]: Taking taylor expansion of 2.0 in y 1.683 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z x) in y 1.684 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) x) 1.684 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y 1.684 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 1.684 * [taylor]: Taking taylor expansion of 1.0 in y 1.684 * [taylor]: Taking taylor expansion of y in y 1.684 * [taylor]: Taking taylor expansion of z in y 1.684 * [taylor]: Taking taylor expansion of x in y 1.684 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) (fma (- 1.0 y) z x)) in b 1.684 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) (fma (- 1.0 y) z x)) 1.684 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in b 1.684 * [taylor]: Taking taylor expansion of b in b 1.684 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 1.684 * [taylor]: Taking taylor expansion of (+ t y) in b 1.684 * [taylor]: Taking taylor expansion of t in b 1.684 * [taylor]: Taking taylor expansion of y in b 1.684 * [taylor]: Taking taylor expansion of 2.0 in b 1.684 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z x) in b 1.684 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) x) 1.684 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in b 1.684 * [taylor]: Taking taylor expansion of (- 1.0 y) in b 1.684 * [taylor]: Taking taylor expansion of 1.0 in b 1.684 * [taylor]: Taking taylor expansion of y in b 1.684 * [taylor]: Taking taylor expansion of z in b 1.684 * [taylor]: Taking taylor expansion of x in b 1.684 * [taylor]: Taking taylor expansion of (fma b (- (+ t y) 2.0) (fma (- 1.0 y) z x)) in b 1.684 * [taylor]: Rewrote expression to (+ (* b (- (+ t y) 2.0)) (fma (- 1.0 y) z x)) 1.684 * [taylor]: Taking taylor expansion of (* b (- (+ t y) 2.0)) in b 1.684 * [taylor]: Taking taylor expansion of b in b 1.684 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 1.684 * [taylor]: Taking taylor expansion of (+ t y) in b 1.684 * [taylor]: Taking taylor expansion of t in b 1.684 * [taylor]: Taking taylor expansion of y in b 1.684 * [taylor]: Taking taylor expansion of 2.0 in b 1.684 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z x) in b 1.684 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) x) 1.684 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in b 1.684 * [taylor]: Taking taylor expansion of (- 1.0 y) in b 1.684 * [taylor]: Taking taylor expansion of 1.0 in b 1.684 * [taylor]: Taking taylor expansion of y in b 1.684 * [taylor]: Taking taylor expansion of z in b 1.685 * [taylor]: Taking taylor expansion of x in b 1.686 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in y 1.686 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in y 1.686 * [taylor]: Taking taylor expansion of x in y 1.686 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 1.686 * [taylor]: Taking taylor expansion of 1.0 in y 1.686 * [taylor]: Taking taylor expansion of z in y 1.686 * [taylor]: Taking taylor expansion of (* z y) in y 1.686 * [taylor]: Taking taylor expansion of z in y 1.686 * [taylor]: Taking taylor expansion of y in y 1.686 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in t 1.686 * [taylor]: Taking taylor expansion of x in t 1.686 * [taylor]: Taking taylor expansion of (* 1.0 z) in t 1.686 * [taylor]: Taking taylor expansion of 1.0 in t 1.686 * [taylor]: Taking taylor expansion of z in t 1.686 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in z 1.686 * [taylor]: Taking taylor expansion of x in z 1.686 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 1.686 * [taylor]: Taking taylor expansion of 1.0 in z 1.686 * [taylor]: Taking taylor expansion of z in z 1.687 * [taylor]: Taking taylor expansion of x in x 1.688 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.688 * [taylor]: Taking taylor expansion of (+ t y) in y 1.688 * [taylor]: Taking taylor expansion of t in y 1.689 * [taylor]: Taking taylor expansion of y in y 1.689 * [taylor]: Taking taylor expansion of 2.0 in y 1.689 * [taylor]: Taking taylor expansion of (- t 2.0) in t 1.689 * [taylor]: Taking taylor expansion of t in t 1.689 * [taylor]: Taking taylor expansion of 2.0 in t 1.690 * [taylor]: Taking taylor expansion of (- 2.0) in z 1.690 * [taylor]: Taking taylor expansion of 2.0 in z 1.690 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.690 * [taylor]: Taking taylor expansion of 2.0 in x 1.692 * [taylor]: Taking taylor expansion of (- z) in t 1.692 * [taylor]: Taking taylor expansion of z in t 1.692 * [taylor]: Taking taylor expansion of (- z) in z 1.692 * [taylor]: Taking taylor expansion of z in z 1.692 * [taylor]: Taking taylor expansion of 0 in x 1.693 * [taylor]: Taking taylor expansion of 0 in z 1.693 * [taylor]: Taking taylor expansion of 0 in x 1.694 * [taylor]: Taking taylor expansion of 1.0 in x 1.695 * [approximate]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x))) in (b y t z x) around 0 1.695 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x))) in x 1.695 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x))) 1.695 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in x 1.695 * [taylor]: Taking taylor expansion of (/ 1 b) in x 1.695 * [taylor]: Taking taylor expansion of b in x 1.696 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in x 1.696 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in x 1.696 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.696 * [taylor]: Taking taylor expansion of y in x 1.696 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.696 * [taylor]: Taking taylor expansion of t in x 1.696 * [taylor]: Taking taylor expansion of 2.0 in x 1.696 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x)) in x 1.696 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (/ 1 x)) 1.696 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in x 1.696 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 1.696 * [taylor]: Taking taylor expansion of 1.0 in x 1.696 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.696 * [taylor]: Taking taylor expansion of y in x 1.696 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.696 * [taylor]: Taking taylor expansion of z in x 1.696 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.696 * [taylor]: Taking taylor expansion of x in x 1.696 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x))) in z 1.696 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x))) 1.696 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in z 1.696 * [taylor]: Taking taylor expansion of (/ 1 b) in z 1.696 * [taylor]: Taking taylor expansion of b in z 1.697 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in z 1.697 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in z 1.697 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.697 * [taylor]: Taking taylor expansion of y in z 1.697 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.697 * [taylor]: Taking taylor expansion of t in z 1.697 * [taylor]: Taking taylor expansion of 2.0 in z 1.697 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x)) in z 1.697 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (/ 1 x)) 1.697 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in z 1.697 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z 1.697 * [taylor]: Taking taylor expansion of 1.0 in z 1.697 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.697 * [taylor]: Taking taylor expansion of y in z 1.697 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.697 * [taylor]: Taking taylor expansion of z in z 1.697 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.697 * [taylor]: Taking taylor expansion of x in z 1.697 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x))) in t 1.697 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x))) 1.697 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in t 1.697 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.697 * [taylor]: Taking taylor expansion of b in t 1.698 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 1.698 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 1.698 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.698 * [taylor]: Taking taylor expansion of y in t 1.698 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.698 * [taylor]: Taking taylor expansion of t in t 1.698 * [taylor]: Taking taylor expansion of 2.0 in t 1.698 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x)) in t 1.698 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (/ 1 x)) 1.698 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in t 1.698 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in t 1.698 * [taylor]: Taking taylor expansion of 1.0 in t 1.698 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.698 * [taylor]: Taking taylor expansion of y in t 1.698 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.698 * [taylor]: Taking taylor expansion of z in t 1.698 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.698 * [taylor]: Taking taylor expansion of x in t 1.698 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x))) in y 1.698 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x))) 1.698 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in y 1.698 * [taylor]: Taking taylor expansion of (/ 1 b) in y 1.698 * [taylor]: Taking taylor expansion of b in y 1.698 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.698 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.699 * [taylor]: Taking taylor expansion of y in y 1.699 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.699 * [taylor]: Taking taylor expansion of t in y 1.699 * [taylor]: Taking taylor expansion of 2.0 in y 1.699 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x)) in y 1.699 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (/ 1 x)) 1.699 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in y 1.699 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 1.699 * [taylor]: Taking taylor expansion of 1.0 in y 1.699 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.699 * [taylor]: Taking taylor expansion of y in y 1.699 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.699 * [taylor]: Taking taylor expansion of z in y 1.699 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.699 * [taylor]: Taking taylor expansion of x in y 1.699 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x))) in b 1.700 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x))) 1.700 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in b 1.700 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.700 * [taylor]: Taking taylor expansion of b in b 1.700 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 1.700 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 1.700 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.700 * [taylor]: Taking taylor expansion of y in b 1.700 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.700 * [taylor]: Taking taylor expansion of t in b 1.700 * [taylor]: Taking taylor expansion of 2.0 in b 1.700 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x)) in b 1.700 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (/ 1 x)) 1.700 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in b 1.700 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in b 1.700 * [taylor]: Taking taylor expansion of 1.0 in b 1.700 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.700 * [taylor]: Taking taylor expansion of y in b 1.700 * [taylor]: Taking taylor expansion of (/ 1 z) in b 1.700 * [taylor]: Taking taylor expansion of z in b 1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in b 1.700 * [taylor]: Taking taylor expansion of x in b 1.700 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0) (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x))) in b 1.700 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x))) 1.701 * [taylor]: Taking taylor expansion of (* (/ 1 b) (- (+ (/ 1 y) (/ 1 t)) 2.0)) in b 1.701 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.701 * [taylor]: Taking taylor expansion of b in b 1.701 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 1.701 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 1.701 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.701 * [taylor]: Taking taylor expansion of y in b 1.701 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.701 * [taylor]: Taking taylor expansion of t in b 1.701 * [taylor]: Taking taylor expansion of 2.0 in b 1.701 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x)) in b 1.701 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (/ 1 x)) 1.701 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in b 1.701 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in b 1.701 * [taylor]: Taking taylor expansion of 1.0 in b 1.701 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.701 * [taylor]: Taking taylor expansion of y in b 1.701 * [taylor]: Taking taylor expansion of (/ 1 z) in b 1.701 * [taylor]: Taking taylor expansion of z in b 1.701 * [taylor]: Taking taylor expansion of (/ 1 x) in b 1.701 * [taylor]: Taking taylor expansion of x in b 1.702 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.702 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.702 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.702 * [taylor]: Taking taylor expansion of y in y 1.703 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.703 * [taylor]: Taking taylor expansion of t in y 1.703 * [taylor]: Taking taylor expansion of 2.0 in y 1.703 * [taylor]: Taking taylor expansion of 1 in t 1.705 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in y 1.705 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in y 1.705 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 1.705 * [taylor]: Taking taylor expansion of 1.0 in y 1.705 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.705 * [taylor]: Taking taylor expansion of z in y 1.706 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.706 * [taylor]: Taking taylor expansion of x in y 1.706 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.706 * [taylor]: Taking taylor expansion of (* z y) in y 1.706 * [taylor]: Taking taylor expansion of z in y 1.706 * [taylor]: Taking taylor expansion of y in y 1.706 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in t 1.706 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.706 * [taylor]: Taking taylor expansion of z in t 1.707 * [taylor]: Taking taylor expansion of (- (/ 1 t) 2.0) in t 1.707 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.707 * [taylor]: Taking taylor expansion of t in t 1.707 * [taylor]: Taking taylor expansion of 2.0 in t 1.708 * [taylor]: Taking taylor expansion of 1 in z 1.708 * [taylor]: Taking taylor expansion of 1 in z 1.711 * [taylor]: Taking taylor expansion of 0 in y 1.712 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in t 1.712 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t 1.712 * [taylor]: Taking taylor expansion of 1.0 in t 1.712 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.712 * [taylor]: Taking taylor expansion of z in t 1.712 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.712 * [taylor]: Taking taylor expansion of x in t 1.713 * [taylor]: Taking taylor expansion of 0 in t 1.713 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.713 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.713 * [taylor]: Taking taylor expansion of z in z 1.714 * [taylor]: Taking taylor expansion of -1 in x 1.715 * [taylor]: Taking taylor expansion of (- 2.0) in z 1.715 * [taylor]: Taking taylor expansion of 2.0 in z 1.715 * [taylor]: Taking taylor expansion of 0 in z 1.715 * [taylor]: Taking taylor expansion of 1 in x 1.715 * [taylor]: Taking taylor expansion of 1 in x 1.719 * [taylor]: Taking taylor expansion of 0 in y 1.719 * [taylor]: Taking taylor expansion of 0 in t 1.720 * [taylor]: Taking taylor expansion of 0 in t 1.722 * [taylor]: Taking taylor expansion of 0 in t 1.722 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in z 1.722 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.722 * [taylor]: Taking taylor expansion of 1.0 in z 1.722 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.722 * [taylor]: Taking taylor expansion of z in z 1.722 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.722 * [taylor]: Taking taylor expansion of x in z 1.723 * [taylor]: Taking taylor expansion of 1.0 in x 1.723 * [taylor]: Taking taylor expansion of 0 in z 1.723 * [taylor]: Taking taylor expansion of 0 in z 1.724 * [taylor]: Taking taylor expansion of 0 in z 1.724 * [taylor]: Taking taylor expansion of 0 in z 1.725 * [taylor]: Taking taylor expansion of 0 in x 1.725 * [taylor]: Taking taylor expansion of (- 2.0) in x 1.725 * [taylor]: Taking taylor expansion of 2.0 in x 1.725 * [taylor]: Taking taylor expansion of 0 in x 1.725 * [taylor]: Taking taylor expansion of 0 in x 1.725 * [taylor]: Taking taylor expansion of 0 in x 1.726 * [approximate]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x))) in (b y t z x) around 0 1.726 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x))) in x 1.726 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x))) 1.726 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in x 1.726 * [taylor]: Taking taylor expansion of (/ -1 b) in x 1.726 * [taylor]: Taking taylor expansion of -1 in x 1.726 * [taylor]: Taking taylor expansion of b in x 1.726 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in x 1.726 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in x 1.726 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.726 * [taylor]: Taking taylor expansion of y in x 1.726 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in x 1.726 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.726 * [taylor]: Taking taylor expansion of t in x 1.726 * [taylor]: Taking taylor expansion of 2.0 in x 1.726 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x)) in x 1.727 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (/ -1 x)) 1.727 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in x 1.727 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 1.727 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.727 * [taylor]: Taking taylor expansion of y in x 1.727 * [taylor]: Taking taylor expansion of 1.0 in x 1.727 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.727 * [taylor]: Taking taylor expansion of -1 in x 1.727 * [taylor]: Taking taylor expansion of z in x 1.727 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.727 * [taylor]: Taking taylor expansion of -1 in x 1.727 * [taylor]: Taking taylor expansion of x in x 1.727 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x))) in z 1.727 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x))) 1.727 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in z 1.727 * [taylor]: Taking taylor expansion of (/ -1 b) in z 1.727 * [taylor]: Taking taylor expansion of -1 in z 1.727 * [taylor]: Taking taylor expansion of b in z 1.727 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in z 1.727 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in z 1.727 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.727 * [taylor]: Taking taylor expansion of y in z 1.727 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in z 1.727 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.727 * [taylor]: Taking taylor expansion of t in z 1.728 * [taylor]: Taking taylor expansion of 2.0 in z 1.728 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x)) in z 1.728 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (/ -1 x)) 1.728 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in z 1.728 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 1.728 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.728 * [taylor]: Taking taylor expansion of y in z 1.728 * [taylor]: Taking taylor expansion of 1.0 in z 1.728 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.728 * [taylor]: Taking taylor expansion of -1 in z 1.728 * [taylor]: Taking taylor expansion of z in z 1.728 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.728 * [taylor]: Taking taylor expansion of -1 in z 1.728 * [taylor]: Taking taylor expansion of x in z 1.728 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x))) in t 1.728 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x))) 1.728 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in t 1.728 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.728 * [taylor]: Taking taylor expansion of -1 in t 1.728 * [taylor]: Taking taylor expansion of b in t 1.728 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in t 1.728 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 1.728 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.728 * [taylor]: Taking taylor expansion of y in t 1.728 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 1.728 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.729 * [taylor]: Taking taylor expansion of t in t 1.729 * [taylor]: Taking taylor expansion of 2.0 in t 1.729 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x)) in t 1.729 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (/ -1 x)) 1.729 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in t 1.729 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in t 1.729 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.729 * [taylor]: Taking taylor expansion of y in t 1.729 * [taylor]: Taking taylor expansion of 1.0 in t 1.729 * [taylor]: Taking taylor expansion of (/ -1 z) in t 1.729 * [taylor]: Taking taylor expansion of -1 in t 1.729 * [taylor]: Taking taylor expansion of z in t 1.729 * [taylor]: Taking taylor expansion of (/ -1 x) in t 1.729 * [taylor]: Taking taylor expansion of -1 in t 1.729 * [taylor]: Taking taylor expansion of x in t 1.729 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x))) in y 1.729 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x))) 1.729 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in y 1.729 * [taylor]: Taking taylor expansion of (/ -1 b) in y 1.729 * [taylor]: Taking taylor expansion of -1 in y 1.729 * [taylor]: Taking taylor expansion of b in y 1.729 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in y 1.729 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.729 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.729 * [taylor]: Taking taylor expansion of y in y 1.730 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.730 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.730 * [taylor]: Taking taylor expansion of t in y 1.730 * [taylor]: Taking taylor expansion of 2.0 in y 1.730 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x)) in y 1.730 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (/ -1 x)) 1.730 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in y 1.730 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.730 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.730 * [taylor]: Taking taylor expansion of y in y 1.730 * [taylor]: Taking taylor expansion of 1.0 in y 1.730 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.730 * [taylor]: Taking taylor expansion of -1 in y 1.730 * [taylor]: Taking taylor expansion of z in y 1.730 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.730 * [taylor]: Taking taylor expansion of -1 in y 1.730 * [taylor]: Taking taylor expansion of x in y 1.730 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x))) in b 1.731 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x))) 1.731 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b 1.731 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.731 * [taylor]: Taking taylor expansion of -1 in b 1.731 * [taylor]: Taking taylor expansion of b in b 1.731 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b 1.731 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 1.731 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.731 * [taylor]: Taking taylor expansion of y in b 1.731 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 1.731 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.731 * [taylor]: Taking taylor expansion of t in b 1.731 * [taylor]: Taking taylor expansion of 2.0 in b 1.731 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x)) in b 1.731 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (/ -1 x)) 1.731 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in b 1.731 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in b 1.731 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.731 * [taylor]: Taking taylor expansion of y in b 1.732 * [taylor]: Taking taylor expansion of 1.0 in b 1.732 * [taylor]: Taking taylor expansion of (/ -1 z) in b 1.732 * [taylor]: Taking taylor expansion of -1 in b 1.732 * [taylor]: Taking taylor expansion of z in b 1.732 * [taylor]: Taking taylor expansion of (/ -1 x) in b 1.732 * [taylor]: Taking taylor expansion of -1 in b 1.732 * [taylor]: Taking taylor expansion of x in b 1.732 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x))) in b 1.732 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x))) 1.732 * [taylor]: Taking taylor expansion of (* (/ -1 b) (- (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b 1.732 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.732 * [taylor]: Taking taylor expansion of -1 in b 1.732 * [taylor]: Taking taylor expansion of b in b 1.732 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b 1.732 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 1.732 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.732 * [taylor]: Taking taylor expansion of y in b 1.732 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 1.732 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.732 * [taylor]: Taking taylor expansion of t in b 1.732 * [taylor]: Taking taylor expansion of 2.0 in b 1.732 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x)) in b 1.732 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (/ -1 x)) 1.732 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in b 1.733 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in b 1.733 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.733 * [taylor]: Taking taylor expansion of y in b 1.733 * [taylor]: Taking taylor expansion of 1.0 in b 1.733 * [taylor]: Taking taylor expansion of (/ -1 z) in b 1.733 * [taylor]: Taking taylor expansion of -1 in b 1.733 * [taylor]: Taking taylor expansion of z in b 1.733 * [taylor]: Taking taylor expansion of (/ -1 x) in b 1.733 * [taylor]: Taking taylor expansion of -1 in b 1.733 * [taylor]: Taking taylor expansion of x in b 1.733 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.733 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.733 * [taylor]: Taking taylor expansion of y in y 1.733 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.733 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.733 * [taylor]: Taking taylor expansion of t in y 1.734 * [taylor]: Taking taylor expansion of 2.0 in y 1.734 * [taylor]: Taking taylor expansion of 1 in t 1.736 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in y 1.736 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x))) in y 1.736 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.736 * [taylor]: Taking taylor expansion of (* z y) in y 1.736 * [taylor]: Taking taylor expansion of z in y 1.736 * [taylor]: Taking taylor expansion of y in y 1.736 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in y 1.736 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 1.736 * [taylor]: Taking taylor expansion of 1.0 in y 1.736 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.736 * [taylor]: Taking taylor expansion of z in y 1.736 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.736 * [taylor]: Taking taylor expansion of x in y 1.737 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in t 1.737 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.737 * [taylor]: Taking taylor expansion of z in t 1.737 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 1.737 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.737 * [taylor]: Taking taylor expansion of t in t 1.737 * [taylor]: Taking taylor expansion of 2.0 in t 1.738 * [taylor]: Taking taylor expansion of 1 in z 1.738 * [taylor]: Taking taylor expansion of 1 in z 1.741 * [taylor]: Taking taylor expansion of 0 in y 1.742 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x))) in t 1.742 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in t 1.742 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t 1.742 * [taylor]: Taking taylor expansion of 1.0 in t 1.742 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.742 * [taylor]: Taking taylor expansion of z in t 1.742 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.742 * [taylor]: Taking taylor expansion of x in t 1.743 * [taylor]: Taking taylor expansion of 0 in t 1.743 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.743 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.743 * [taylor]: Taking taylor expansion of z in z 1.744 * [taylor]: Taking taylor expansion of -1 in x 1.744 * [taylor]: Taking taylor expansion of 2.0 in z 1.744 * [taylor]: Taking taylor expansion of 0 in z 1.744 * [taylor]: Taking taylor expansion of 1 in x 1.744 * [taylor]: Taking taylor expansion of 1 in x 1.748 * [taylor]: Taking taylor expansion of 0 in y 1.748 * [taylor]: Taking taylor expansion of 0 in t 1.750 * [taylor]: Taking taylor expansion of 0 in t 1.751 * [taylor]: Taking taylor expansion of 0 in t 1.751 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x))) in z 1.751 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in z 1.751 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.751 * [taylor]: Taking taylor expansion of 1.0 in z 1.751 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.751 * [taylor]: Taking taylor expansion of z in z 1.752 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.752 * [taylor]: Taking taylor expansion of x in z 1.753 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.753 * [taylor]: Taking taylor expansion of 1.0 in x 1.753 * [taylor]: Taking taylor expansion of 0 in z 1.753 * [taylor]: Taking taylor expansion of 0 in z 1.754 * [taylor]: Taking taylor expansion of 0 in z 1.754 * [taylor]: Taking taylor expansion of 0 in z 1.754 * [taylor]: Taking taylor expansion of 0 in x 1.754 * [taylor]: Taking taylor expansion of 2.0 in x 1.754 * [taylor]: Taking taylor expansion of 0 in x 1.754 * [taylor]: Taking taylor expansion of 0 in x 1.755 * [taylor]: Taking taylor expansion of 0 in x 1.755 * * * * [progress]: [ 2 / 2 ] generating series at (2 3 3) 1.755 * [approximate]: Taking taylor expansion of (fma (- 1.0 y) z x) in (y z x) around 0 1.755 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z x) in x 1.755 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) x) 1.755 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in x 1.755 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 1.755 * [taylor]: Taking taylor expansion of 1.0 in x 1.755 * [taylor]: Taking taylor expansion of y in x 1.755 * [taylor]: Taking taylor expansion of z in x 1.755 * [taylor]: Taking taylor expansion of x in x 1.755 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z x) in z 1.756 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) x) 1.756 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in z 1.756 * [taylor]: Taking taylor expansion of (- 1.0 y) in z 1.756 * [taylor]: Taking taylor expansion of 1.0 in z 1.756 * [taylor]: Taking taylor expansion of y in z 1.756 * [taylor]: Taking taylor expansion of z in z 1.756 * [taylor]: Taking taylor expansion of x in z 1.756 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z x) in y 1.756 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) x) 1.756 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y 1.756 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 1.756 * [taylor]: Taking taylor expansion of 1.0 in y 1.756 * [taylor]: Taking taylor expansion of y in y 1.756 * [taylor]: Taking taylor expansion of z in y 1.756 * [taylor]: Taking taylor expansion of x in y 1.756 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) z x) in y 1.756 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) z) x) 1.756 * [taylor]: Taking taylor expansion of (* (- 1.0 y) z) in y 1.756 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 1.756 * [taylor]: Taking taylor expansion of 1.0 in y 1.756 * [taylor]: Taking taylor expansion of y in y 1.756 * [taylor]: Taking taylor expansion of z in y 1.756 * [taylor]: Taking taylor expansion of x in y 1.757 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in z 1.757 * [taylor]: Taking taylor expansion of x in z 1.757 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 1.757 * [taylor]: Taking taylor expansion of 1.0 in z 1.757 * [taylor]: Taking taylor expansion of z in z 1.757 * [taylor]: Taking taylor expansion of x in x 1.758 * [taylor]: Taking taylor expansion of (- z) in z 1.758 * [taylor]: Taking taylor expansion of z in z 1.758 * [taylor]: Taking taylor expansion of 0 in x 1.759 * [taylor]: Taking taylor expansion of 1.0 in x 1.761 * [taylor]: Taking taylor expansion of 0 in z 1.761 * [taylor]: Taking taylor expansion of 0 in x 1.761 * [taylor]: Taking taylor expansion of -1 in x 1.762 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x)) in (y z x) around 0 1.762 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x)) in x 1.762 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (/ 1 x)) 1.762 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in x 1.762 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 1.762 * [taylor]: Taking taylor expansion of 1.0 in x 1.762 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.762 * [taylor]: Taking taylor expansion of y in x 1.762 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.762 * [taylor]: Taking taylor expansion of z in x 1.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.762 * [taylor]: Taking taylor expansion of x in x 1.762 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x)) in z 1.762 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (/ 1 x)) 1.762 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in z 1.762 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in z 1.762 * [taylor]: Taking taylor expansion of 1.0 in z 1.762 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.762 * [taylor]: Taking taylor expansion of y in z 1.762 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.762 * [taylor]: Taking taylor expansion of z in z 1.763 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.763 * [taylor]: Taking taylor expansion of x in z 1.763 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x)) in y 1.763 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (/ 1 x)) 1.763 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in y 1.763 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 1.763 * [taylor]: Taking taylor expansion of 1.0 in y 1.763 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.763 * [taylor]: Taking taylor expansion of y in y 1.763 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.763 * [taylor]: Taking taylor expansion of z in y 1.763 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.763 * [taylor]: Taking taylor expansion of x in y 1.763 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (/ 1 z) (/ 1 x)) in y 1.763 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (/ 1 z)) (/ 1 x)) 1.763 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (/ 1 z)) in y 1.764 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 1.764 * [taylor]: Taking taylor expansion of 1.0 in y 1.764 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.764 * [taylor]: Taking taylor expansion of y in y 1.764 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.764 * [taylor]: Taking taylor expansion of z in y 1.764 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.764 * [taylor]: Taking taylor expansion of x in y 1.765 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.765 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.765 * [taylor]: Taking taylor expansion of z in z 1.765 * [taylor]: Taking taylor expansion of -1 in x 1.766 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in z 1.767 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.767 * [taylor]: Taking taylor expansion of 1.0 in z 1.767 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.767 * [taylor]: Taking taylor expansion of z in z 1.767 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.767 * [taylor]: Taking taylor expansion of x in z 1.767 * [taylor]: Taking taylor expansion of 1.0 in x 1.768 * [taylor]: Taking taylor expansion of 0 in x 1.773 * [taylor]: Taking taylor expansion of 0 in z 1.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.774 * [taylor]: Taking taylor expansion of x in x 1.775 * [taylor]: Taking taylor expansion of 0 in x 1.775 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x)) in (y z x) around 0 1.775 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x)) in x 1.776 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (/ -1 x)) 1.776 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in x 1.776 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 1.776 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.776 * [taylor]: Taking taylor expansion of y in x 1.776 * [taylor]: Taking taylor expansion of 1.0 in x 1.776 * [taylor]: Taking taylor expansion of (/ -1 z) in x 1.776 * [taylor]: Taking taylor expansion of -1 in x 1.776 * [taylor]: Taking taylor expansion of z in x 1.776 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.776 * [taylor]: Taking taylor expansion of -1 in x 1.776 * [taylor]: Taking taylor expansion of x in x 1.776 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x)) in z 1.776 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (/ -1 x)) 1.776 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in z 1.776 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 1.776 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.776 * [taylor]: Taking taylor expansion of y in z 1.776 * [taylor]: Taking taylor expansion of 1.0 in z 1.776 * [taylor]: Taking taylor expansion of (/ -1 z) in z 1.776 * [taylor]: Taking taylor expansion of -1 in z 1.776 * [taylor]: Taking taylor expansion of z in z 1.777 * [taylor]: Taking taylor expansion of (/ -1 x) in z 1.777 * [taylor]: Taking taylor expansion of -1 in z 1.777 * [taylor]: Taking taylor expansion of x in z 1.777 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x)) in y 1.777 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (/ -1 x)) 1.777 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in y 1.777 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.777 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.777 * [taylor]: Taking taylor expansion of y in y 1.777 * [taylor]: Taking taylor expansion of 1.0 in y 1.777 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.777 * [taylor]: Taking taylor expansion of -1 in y 1.777 * [taylor]: Taking taylor expansion of z in y 1.777 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.777 * [taylor]: Taking taylor expansion of -1 in y 1.777 * [taylor]: Taking taylor expansion of x in y 1.777 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (/ -1 z) (/ -1 x)) in y 1.778 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (/ -1 z)) (/ -1 x)) 1.778 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (/ -1 z)) in y 1.778 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.778 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.778 * [taylor]: Taking taylor expansion of y in y 1.778 * [taylor]: Taking taylor expansion of 1.0 in y 1.778 * [taylor]: Taking taylor expansion of (/ -1 z) in y 1.778 * [taylor]: Taking taylor expansion of -1 in y 1.778 * [taylor]: Taking taylor expansion of z in y 1.778 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.778 * [taylor]: Taking taylor expansion of -1 in y 1.778 * [taylor]: Taking taylor expansion of x in y 1.778 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1.778 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.778 * [taylor]: Taking taylor expansion of z in z 1.779 * [taylor]: Taking taylor expansion of -1 in x 1.780 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x))) in z 1.780 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in z 1.780 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.780 * [taylor]: Taking taylor expansion of 1.0 in z 1.780 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.780 * [taylor]: Taking taylor expansion of z in z 1.780 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.780 * [taylor]: Taking taylor expansion of x in z 1.781 * [taylor]: Taking taylor expansion of (- 1.0) in x 1.781 * [taylor]: Taking taylor expansion of 1.0 in x 1.782 * [taylor]: Taking taylor expansion of 0 in x 1.784 * [taylor]: Taking taylor expansion of 0 in z 1.785 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.785 * [taylor]: Taking taylor expansion of x in x 1.786 * [taylor]: Taking taylor expansion of 0 in x 1.787 * * * [progress]: simplifying candidates 1.788 * [simplify]: Simplifying using # : (expm1 (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (log1p (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (* b (- (+ y t) 2.0)) (log (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (exp (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (* (cbrt (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (cbrt (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x)))) (cbrt (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (* (* (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x)) (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (sqrt (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (sqrt (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (expm1 (fma (- 1.0 y) z x)) (log1p (fma (- 1.0 y) z x)) (* (- 1.0 y) z) (log (fma (- 1.0 y) z x)) (exp (fma (- 1.0 y) z x)) (* (cbrt (fma (- 1.0 y) z x)) (cbrt (fma (- 1.0 y) z x))) (cbrt (fma (- 1.0 y) z x)) (* (* (fma (- 1.0 y) z x) (fma (- 1.0 y) z x)) (fma (- 1.0 y) z x)) (sqrt (fma (- 1.0 y) z x)) (sqrt (fma (- 1.0 y) z x)) (- (+ x (* 1.0 z)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* z y)) (- (+ (* y b) (* t b)) (* z y)) (- (+ x (* 1.0 z)) (* z y)) (- (+ x (* 1.0 z)) (* z y)) (- (+ x (* 1.0 z)) (* z y)) 1.790 * * [simplify]: iteration 0 : 42 enodes (cost 322 ) 1.795 * * [simplify]: iteration 1 : 75 enodes (cost 318 ) 1.806 * * [simplify]: iteration 2 : 175 enodes (cost 270 ) 1.844 * * [simplify]: iteration 3 : 559 enodes (cost 268 ) 2.118 * * [simplify]: iteration 4 : 3877 enodes (cost 268 ) 3.172 * * [simplify]: iteration done : 5000 enodes (cost 268 ) 3.172 * [simplify]: Simplified to: (expm1 (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (log1p (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (* b (- (+ y t) 2.0)) (log (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (exp (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (* (cbrt (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (cbrt (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x)))) (cbrt (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (pow (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x)) 3) (sqrt (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (sqrt (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) (expm1 (fma (- 1.0 y) z x)) (log1p (fma (- 1.0 y) z x)) (* (- 1.0 y) z) (log (fma (- 1.0 y) z x)) (exp (fma (- 1.0 y) z x)) (* (cbrt (fma (- 1.0 y) z x)) (cbrt (fma (- 1.0 y) z x))) (cbrt (fma (- 1.0 y) z x)) (pow (fma z (- 1.0 y) x) 3) (sqrt (fma (- 1.0 y) z x)) (sqrt (fma (- 1.0 y) z x)) (- (fma 1.0 z x) (* 2.0 b)) (fma b t (* y (- b z))) (fma b t (* y (- b z))) (fma z (- 1.0 y) x) (fma z (- 1.0 y) x) (fma z (- 1.0 y) x) 3.172 * * * [progress]: adding candidates to table 3.274 * * [progress]: iteration 2 / 4 3.274 * * * [progress]: picking best candidate 3.277 * * * * [pick]: Picked # 3.277 * * * [progress]: localizing error 3.287 * * * [progress]: generating rewritten candidates 3.287 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3 3) 3.299 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.301 * * * [progress]: generating series expansions 3.302 * * * * [progress]: [ 1 / 2 ] generating series at (2 3 3) 3.302 * [approximate]: Taking taylor expansion of (* (- b z) y) in (y b z) around 0 3.302 * [taylor]: Taking taylor expansion of (* (- b z) y) in z 3.302 * [taylor]: Taking taylor expansion of (- b z) in z 3.302 * [taylor]: Taking taylor expansion of b in z 3.302 * [taylor]: Taking taylor expansion of z in z 3.302 * [taylor]: Taking taylor expansion of y in z 3.302 * [taylor]: Taking taylor expansion of (* (- b z) y) in b 3.302 * [taylor]: Taking taylor expansion of (- b z) in b 3.302 * [taylor]: Taking taylor expansion of b in b 3.302 * [taylor]: Taking taylor expansion of z in b 3.302 * [taylor]: Taking taylor expansion of y in b 3.302 * [taylor]: Taking taylor expansion of (* (- b z) y) in y 3.302 * [taylor]: Taking taylor expansion of (- b z) in y 3.302 * [taylor]: Taking taylor expansion of b in y 3.302 * [taylor]: Taking taylor expansion of z in y 3.302 * [taylor]: Taking taylor expansion of y in y 3.302 * [taylor]: Taking taylor expansion of (* (- b z) y) in y 3.302 * [taylor]: Taking taylor expansion of (- b z) in y 3.302 * [taylor]: Taking taylor expansion of b in y 3.302 * [taylor]: Taking taylor expansion of z in y 3.302 * [taylor]: Taking taylor expansion of y in y 3.302 * [taylor]: Taking taylor expansion of 0 in b 3.302 * [taylor]: Taking taylor expansion of 0 in z 3.303 * [taylor]: Taking taylor expansion of (- b z) in b 3.303 * [taylor]: Taking taylor expansion of b in b 3.303 * [taylor]: Taking taylor expansion of z in b 3.303 * [taylor]: Taking taylor expansion of (- z) in z 3.303 * [taylor]: Taking taylor expansion of z in z 3.304 * [taylor]: Taking taylor expansion of 0 in z 3.305 * [taylor]: Taking taylor expansion of 0 in b 3.305 * [taylor]: Taking taylor expansion of 0 in z 3.305 * [taylor]: Taking taylor expansion of 1 in z 3.305 * [taylor]: Taking taylor expansion of 0 in z 3.306 * [taylor]: Taking taylor expansion of 0 in b 3.306 * [taylor]: Taking taylor expansion of 0 in z 3.307 * [taylor]: Taking taylor expansion of 0 in z 3.307 * [taylor]: Taking taylor expansion of 0 in z 3.307 * [taylor]: Taking taylor expansion of 0 in z 3.307 * [approximate]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 z)) y) in (y b z) around 0 3.307 * [taylor]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 z)) y) in z 3.307 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in z 3.307 * [taylor]: Taking taylor expansion of (/ 1 b) in z 3.307 * [taylor]: Taking taylor expansion of b in z 3.307 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.307 * [taylor]: Taking taylor expansion of z in z 3.308 * [taylor]: Taking taylor expansion of y in z 3.308 * [taylor]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 z)) y) in b 3.308 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in b 3.308 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.308 * [taylor]: Taking taylor expansion of b in b 3.309 * [taylor]: Taking taylor expansion of (/ 1 z) in b 3.309 * [taylor]: Taking taylor expansion of z in b 3.309 * [taylor]: Taking taylor expansion of y in b 3.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 z)) y) in y 3.309 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in y 3.309 * [taylor]: Taking taylor expansion of (/ 1 b) in y 3.309 * [taylor]: Taking taylor expansion of b in y 3.309 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.309 * [taylor]: Taking taylor expansion of z in y 3.309 * [taylor]: Taking taylor expansion of y in y 3.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 z)) y) in y 3.309 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in y 3.309 * [taylor]: Taking taylor expansion of (/ 1 b) in y 3.309 * [taylor]: Taking taylor expansion of b in y 3.309 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.309 * [taylor]: Taking taylor expansion of z in y 3.309 * [taylor]: Taking taylor expansion of y in y 3.310 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in b 3.310 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.310 * [taylor]: Taking taylor expansion of b in b 3.310 * [taylor]: Taking taylor expansion of (/ 1 z) in b 3.310 * [taylor]: Taking taylor expansion of z in b 3.310 * [taylor]: Taking taylor expansion of 1 in z 3.312 * [taylor]: Taking taylor expansion of 0 in b 3.312 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.312 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.312 * [taylor]: Taking taylor expansion of z in z 3.314 * [taylor]: Taking taylor expansion of 0 in b 3.314 * [taylor]: Taking taylor expansion of 0 in z 3.315 * [taylor]: Taking taylor expansion of 0 in z 3.318 * [taylor]: Taking taylor expansion of 0 in b 3.318 * [taylor]: Taking taylor expansion of 0 in z 3.318 * [taylor]: Taking taylor expansion of 0 in z 3.319 * [taylor]: Taking taylor expansion of 0 in z 3.320 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 b)) y)) in (y b z) around 0 3.320 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 b)) y)) in z 3.320 * [taylor]: Taking taylor expansion of -1 in z 3.320 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 b)) y) in z 3.320 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 b)) in z 3.320 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.320 * [taylor]: Taking taylor expansion of z in z 3.321 * [taylor]: Taking taylor expansion of (/ 1 b) in z 3.321 * [taylor]: Taking taylor expansion of b in z 3.321 * [taylor]: Taking taylor expansion of y in z 3.321 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 b)) y)) in b 3.321 * [taylor]: Taking taylor expansion of -1 in b 3.321 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 b)) y) in b 3.321 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 b)) in b 3.321 * [taylor]: Taking taylor expansion of (/ 1 z) in b 3.321 * [taylor]: Taking taylor expansion of z in b 3.321 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.321 * [taylor]: Taking taylor expansion of b in b 3.321 * [taylor]: Taking taylor expansion of y in b 3.322 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 b)) y)) in y 3.322 * [taylor]: Taking taylor expansion of -1 in y 3.322 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 b)) y) in y 3.322 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 b)) in y 3.322 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.322 * [taylor]: Taking taylor expansion of z in y 3.322 * [taylor]: Taking taylor expansion of (/ 1 b) in y 3.322 * [taylor]: Taking taylor expansion of b in y 3.322 * [taylor]: Taking taylor expansion of y in y 3.322 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 b)) y)) in y 3.322 * [taylor]: Taking taylor expansion of -1 in y 3.322 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 b)) y) in y 3.322 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 b)) in y 3.322 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.322 * [taylor]: Taking taylor expansion of z in y 3.322 * [taylor]: Taking taylor expansion of (/ 1 b) in y 3.322 * [taylor]: Taking taylor expansion of b in y 3.322 * [taylor]: Taking taylor expansion of y in y 3.323 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 b))) in b 3.323 * [taylor]: Taking taylor expansion of -1 in b 3.323 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 b)) in b 3.323 * [taylor]: Taking taylor expansion of (/ 1 z) in b 3.323 * [taylor]: Taking taylor expansion of z in b 3.323 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.323 * [taylor]: Taking taylor expansion of b in b 3.324 * [taylor]: Taking taylor expansion of 1 in z 3.328 * [taylor]: Taking taylor expansion of 0 in b 3.330 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.330 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.330 * [taylor]: Taking taylor expansion of z in z 3.333 * [taylor]: Taking taylor expansion of 0 in b 3.333 * [taylor]: Taking taylor expansion of 0 in z 3.334 * [taylor]: Taking taylor expansion of 0 in z 3.338 * [taylor]: Taking taylor expansion of 0 in b 3.338 * [taylor]: Taking taylor expansion of 0 in z 3.338 * [taylor]: Taking taylor expansion of 0 in z 3.340 * [taylor]: Taking taylor expansion of 0 in z 3.341 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.341 * [approximate]: Taking taylor expansion of (fma (- 1.0 t) a (fma b t (* (- b z) y))) in (t a b y z) around 0 3.341 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) a (fma b t (* (- b z) y))) in z 3.341 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) a) (fma b t (* (- b z) y))) 3.341 * [taylor]: Taking taylor expansion of (* (- 1.0 t) a) in z 3.341 * [taylor]: Taking taylor expansion of (- 1.0 t) in z 3.341 * [taylor]: Taking taylor expansion of 1.0 in z 3.341 * [taylor]: Taking taylor expansion of t in z 3.341 * [taylor]: Taking taylor expansion of a in z 3.341 * [taylor]: Taking taylor expansion of (fma b t (* (- b z) y)) in z 3.341 * [taylor]: Rewrote expression to (+ (* b t) (* (- b z) y)) 3.341 * [taylor]: Taking taylor expansion of (* b t) in z 3.341 * [taylor]: Taking taylor expansion of b in z 3.341 * [taylor]: Taking taylor expansion of t in z 3.341 * [taylor]: Taking taylor expansion of (* (- b z) y) in z 3.341 * [taylor]: Taking taylor expansion of (- b z) in z 3.341 * [taylor]: Taking taylor expansion of b in z 3.341 * [taylor]: Taking taylor expansion of z in z 3.341 * [taylor]: Taking taylor expansion of y in z 3.342 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) a (fma b t (* (- b z) y))) in y 3.342 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) a) (fma b t (* (- b z) y))) 3.342 * [taylor]: Taking taylor expansion of (* (- 1.0 t) a) in y 3.342 * [taylor]: Taking taylor expansion of (- 1.0 t) in y 3.342 * [taylor]: Taking taylor expansion of 1.0 in y 3.342 * [taylor]: Taking taylor expansion of t in y 3.342 * [taylor]: Taking taylor expansion of a in y 3.342 * [taylor]: Taking taylor expansion of (fma b t (* (- b z) y)) in y 3.342 * [taylor]: Rewrote expression to (+ (* b t) (* (- b z) y)) 3.342 * [taylor]: Taking taylor expansion of (* b t) in y 3.342 * [taylor]: Taking taylor expansion of b in y 3.342 * [taylor]: Taking taylor expansion of t in y 3.342 * [taylor]: Taking taylor expansion of (* (- b z) y) in y 3.342 * [taylor]: Taking taylor expansion of (- b z) in y 3.342 * [taylor]: Taking taylor expansion of b in y 3.342 * [taylor]: Taking taylor expansion of z in y 3.342 * [taylor]: Taking taylor expansion of y in y 3.342 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) a (fma b t (* (- b z) y))) in b 3.342 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) a) (fma b t (* (- b z) y))) 3.342 * [taylor]: Taking taylor expansion of (* (- 1.0 t) a) in b 3.342 * [taylor]: Taking taylor expansion of (- 1.0 t) in b 3.342 * [taylor]: Taking taylor expansion of 1.0 in b 3.342 * [taylor]: Taking taylor expansion of t in b 3.342 * [taylor]: Taking taylor expansion of a in b 3.342 * [taylor]: Taking taylor expansion of (fma b t (* (- b z) y)) in b 3.342 * [taylor]: Rewrote expression to (+ (* b t) (* (- b z) y)) 3.342 * [taylor]: Taking taylor expansion of (* b t) in b 3.342 * [taylor]: Taking taylor expansion of b in b 3.342 * [taylor]: Taking taylor expansion of t in b 3.342 * [taylor]: Taking taylor expansion of (* (- b z) y) in b 3.342 * [taylor]: Taking taylor expansion of (- b z) in b 3.342 * [taylor]: Taking taylor expansion of b in b 3.342 * [taylor]: Taking taylor expansion of z in b 3.342 * [taylor]: Taking taylor expansion of y in b 3.342 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) a (fma b t (* (- b z) y))) in a 3.342 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) a) (fma b t (* (- b z) y))) 3.342 * [taylor]: Taking taylor expansion of (* (- 1.0 t) a) in a 3.342 * [taylor]: Taking taylor expansion of (- 1.0 t) in a 3.343 * [taylor]: Taking taylor expansion of 1.0 in a 3.343 * [taylor]: Taking taylor expansion of t in a 3.343 * [taylor]: Taking taylor expansion of a in a 3.343 * [taylor]: Taking taylor expansion of (fma b t (* (- b z) y)) in a 3.343 * [taylor]: Rewrote expression to (+ (* b t) (* (- b z) y)) 3.343 * [taylor]: Taking taylor expansion of (* b t) in a 3.343 * [taylor]: Taking taylor expansion of b in a 3.343 * [taylor]: Taking taylor expansion of t in a 3.343 * [taylor]: Taking taylor expansion of (* (- b z) y) in a 3.343 * [taylor]: Taking taylor expansion of (- b z) in a 3.343 * [taylor]: Taking taylor expansion of b in a 3.343 * [taylor]: Taking taylor expansion of z in a 3.343 * [taylor]: Taking taylor expansion of y in a 3.343 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) a (fma b t (* (- b z) y))) in t 3.343 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) a) (fma b t (* (- b z) y))) 3.343 * [taylor]: Taking taylor expansion of (* (- 1.0 t) a) in t 3.343 * [taylor]: Taking taylor expansion of (- 1.0 t) in t 3.343 * [taylor]: Taking taylor expansion of 1.0 in t 3.343 * [taylor]: Taking taylor expansion of t in t 3.343 * [taylor]: Taking taylor expansion of a in t 3.343 * [taylor]: Taking taylor expansion of (fma b t (* (- b z) y)) in t 3.343 * [taylor]: Rewrote expression to (+ (* b t) (* (- b z) y)) 3.343 * [taylor]: Taking taylor expansion of (* b t) in t 3.343 * [taylor]: Taking taylor expansion of b in t 3.343 * [taylor]: Taking taylor expansion of t in t 3.343 * [taylor]: Taking taylor expansion of (* (- b z) y) in t 3.343 * [taylor]: Taking taylor expansion of (- b z) in t 3.343 * [taylor]: Taking taylor expansion of b in t 3.343 * [taylor]: Taking taylor expansion of z in t 3.343 * [taylor]: Taking taylor expansion of y in t 3.343 * [taylor]: Taking taylor expansion of (fma (- 1.0 t) a (fma b t (* (- b z) y))) in t 3.343 * [taylor]: Rewrote expression to (+ (* (- 1.0 t) a) (fma b t (* (- b z) y))) 3.343 * [taylor]: Taking taylor expansion of (* (- 1.0 t) a) in t 3.343 * [taylor]: Taking taylor expansion of (- 1.0 t) in t 3.343 * [taylor]: Taking taylor expansion of 1.0 in t 3.343 * [taylor]: Taking taylor expansion of t in t 3.343 * [taylor]: Taking taylor expansion of a in t 3.343 * [taylor]: Taking taylor expansion of (fma b t (* (- b z) y)) in t 3.343 * [taylor]: Rewrote expression to (+ (* b t) (* (- b z) y)) 3.343 * [taylor]: Taking taylor expansion of (* b t) in t 3.344 * [taylor]: Taking taylor expansion of b in t 3.344 * [taylor]: Taking taylor expansion of t in t 3.344 * [taylor]: Taking taylor expansion of (* (- b z) y) in t 3.344 * [taylor]: Taking taylor expansion of (- b z) in t 3.344 * [taylor]: Taking taylor expansion of b in t 3.344 * [taylor]: Taking taylor expansion of z in t 3.344 * [taylor]: Taking taylor expansion of y in t 3.345 * [taylor]: Taking taylor expansion of (- (+ (* y b) (* 1.0 a)) (* z y)) in a 3.345 * [taylor]: Taking taylor expansion of (+ (* y b) (* 1.0 a)) in a 3.345 * [taylor]: Taking taylor expansion of (* y b) in a 3.345 * [taylor]: Taking taylor expansion of y in a 3.345 * [taylor]: Taking taylor expansion of b in a 3.345 * [taylor]: Taking taylor expansion of (* 1.0 a) in a 3.345 * [taylor]: Taking taylor expansion of 1.0 in a 3.345 * [taylor]: Taking taylor expansion of a in a 3.345 * [taylor]: Taking taylor expansion of (* z y) in a 3.345 * [taylor]: Taking taylor expansion of z in a 3.345 * [taylor]: Taking taylor expansion of y in a 3.345 * [taylor]: Taking taylor expansion of (- (* y b) (* z y)) in b 3.345 * [taylor]: Taking taylor expansion of (* y b) in b 3.345 * [taylor]: Taking taylor expansion of y in b 3.345 * [taylor]: Taking taylor expansion of b in b 3.345 * [taylor]: Taking taylor expansion of (* z y) in b 3.345 * [taylor]: Taking taylor expansion of z in b 3.345 * [taylor]: Taking taylor expansion of y in b 3.345 * [taylor]: Taking taylor expansion of (- (* z y)) in y 3.346 * [taylor]: Taking taylor expansion of (* z y) in y 3.346 * [taylor]: Taking taylor expansion of z in y 3.346 * [taylor]: Taking taylor expansion of y in y 3.346 * [taylor]: Taking taylor expansion of 0 in z 3.348 * [taylor]: Taking taylor expansion of (- b a) in a 3.348 * [taylor]: Taking taylor expansion of b in a 3.348 * [taylor]: Taking taylor expansion of a in a 3.348 * [taylor]: Taking taylor expansion of b in b 3.348 * [taylor]: Taking taylor expansion of 0 in y 3.348 * [taylor]: Taking taylor expansion of 0 in z 3.350 * [taylor]: Taking taylor expansion of 1.0 in b 3.350 * [taylor]: Taking taylor expansion of 1.0 in y 3.350 * [taylor]: Taking taylor expansion of 1.0 in z 3.350 * [taylor]: Taking taylor expansion of y in y 3.350 * [taylor]: Taking taylor expansion of 0 in z 3.351 * [taylor]: Taking taylor expansion of (- z) in z 3.351 * [taylor]: Taking taylor expansion of z in z 3.354 * [taylor]: Taking taylor expansion of 0 in a 3.354 * [taylor]: Taking taylor expansion of 0 in b 3.354 * [taylor]: Taking taylor expansion of 0 in y 3.354 * [taylor]: Taking taylor expansion of 0 in z 3.354 * [taylor]: Taking taylor expansion of -1 in b 3.354 * [taylor]: Taking taylor expansion of -1 in y 3.354 * [taylor]: Taking taylor expansion of -1 in z 3.356 * [taylor]: Taking taylor expansion of 0 in b 3.356 * [taylor]: Taking taylor expansion of 0 in y 3.356 * [taylor]: Taking taylor expansion of 0 in z 3.356 * [taylor]: Taking taylor expansion of 1 in y 3.356 * [taylor]: Taking taylor expansion of 1 in z 3.357 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) (/ 1 a) (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y))) in (t a b y z) around 0 3.357 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) (/ 1 a) (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y))) in z 3.357 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) (/ 1 a)) (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y))) 3.357 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) (/ 1 a)) in z 3.357 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in z 3.357 * [taylor]: Taking taylor expansion of 1.0 in z 3.357 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.357 * [taylor]: Taking taylor expansion of t in z 3.357 * [taylor]: Taking taylor expansion of (/ 1 a) in z 3.357 * [taylor]: Taking taylor expansion of a in z 3.357 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y)) in z 3.357 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (/ 1 t)) (/ (- (/ 1 b) (/ 1 z)) y)) 3.357 * [taylor]: Taking taylor expansion of (* (/ 1 b) (/ 1 t)) in z 3.357 * [taylor]: Taking taylor expansion of (/ 1 b) in z 3.357 * [taylor]: Taking taylor expansion of b in z 3.357 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.357 * [taylor]: Taking taylor expansion of t in z 3.357 * [taylor]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 z)) y) in z 3.357 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in z 3.357 * [taylor]: Taking taylor expansion of (/ 1 b) in z 3.357 * [taylor]: Taking taylor expansion of b in z 3.357 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.357 * [taylor]: Taking taylor expansion of z in z 3.358 * [taylor]: Taking taylor expansion of y in z 3.358 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) (/ 1 a) (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y))) in y 3.358 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) (/ 1 a)) (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y))) 3.358 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) (/ 1 a)) in y 3.358 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in y 3.358 * [taylor]: Taking taylor expansion of 1.0 in y 3.358 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.358 * [taylor]: Taking taylor expansion of t in y 3.359 * [taylor]: Taking taylor expansion of (/ 1 a) in y 3.359 * [taylor]: Taking taylor expansion of a in y 3.359 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y)) in y 3.359 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (/ 1 t)) (/ (- (/ 1 b) (/ 1 z)) y)) 3.359 * [taylor]: Taking taylor expansion of (* (/ 1 b) (/ 1 t)) in y 3.359 * [taylor]: Taking taylor expansion of (/ 1 b) in y 3.359 * [taylor]: Taking taylor expansion of b in y 3.359 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.359 * [taylor]: Taking taylor expansion of t in y 3.359 * [taylor]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 z)) y) in y 3.359 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in y 3.359 * [taylor]: Taking taylor expansion of (/ 1 b) in y 3.359 * [taylor]: Taking taylor expansion of b in y 3.359 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.359 * [taylor]: Taking taylor expansion of z in y 3.359 * [taylor]: Taking taylor expansion of y in y 3.359 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) (/ 1 a) (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y))) in b 3.359 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) (/ 1 a)) (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y))) 3.359 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) (/ 1 a)) in b 3.359 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in b 3.359 * [taylor]: Taking taylor expansion of 1.0 in b 3.359 * [taylor]: Taking taylor expansion of (/ 1 t) in b 3.359 * [taylor]: Taking taylor expansion of t in b 3.359 * [taylor]: Taking taylor expansion of (/ 1 a) in b 3.359 * [taylor]: Taking taylor expansion of a in b 3.359 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y)) in b 3.359 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (/ 1 t)) (/ (- (/ 1 b) (/ 1 z)) y)) 3.360 * [taylor]: Taking taylor expansion of (* (/ 1 b) (/ 1 t)) in b 3.360 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.360 * [taylor]: Taking taylor expansion of b in b 3.360 * [taylor]: Taking taylor expansion of (/ 1 t) in b 3.360 * [taylor]: Taking taylor expansion of t in b 3.360 * [taylor]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 z)) y) in b 3.360 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in b 3.360 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.360 * [taylor]: Taking taylor expansion of b in b 3.360 * [taylor]: Taking taylor expansion of (/ 1 z) in b 3.360 * [taylor]: Taking taylor expansion of z in b 3.360 * [taylor]: Taking taylor expansion of y in b 3.361 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) (/ 1 a) (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y))) in a 3.361 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) (/ 1 a)) (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y))) 3.361 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) (/ 1 a)) in a 3.361 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in a 3.361 * [taylor]: Taking taylor expansion of 1.0 in a 3.361 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.361 * [taylor]: Taking taylor expansion of t in a 3.361 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.361 * [taylor]: Taking taylor expansion of a in a 3.361 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y)) in a 3.361 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (/ 1 t)) (/ (- (/ 1 b) (/ 1 z)) y)) 3.361 * [taylor]: Taking taylor expansion of (* (/ 1 b) (/ 1 t)) in a 3.361 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.361 * [taylor]: Taking taylor expansion of b in a 3.361 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.361 * [taylor]: Taking taylor expansion of t in a 3.361 * [taylor]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 z)) y) in a 3.361 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in a 3.361 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.361 * [taylor]: Taking taylor expansion of b in a 3.361 * [taylor]: Taking taylor expansion of (/ 1 z) in a 3.361 * [taylor]: Taking taylor expansion of z in a 3.362 * [taylor]: Taking taylor expansion of y in a 3.362 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) (/ 1 a) (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y))) in t 3.362 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) (/ 1 a)) (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y))) 3.362 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) (/ 1 a)) in t 3.362 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 3.362 * [taylor]: Taking taylor expansion of 1.0 in t 3.362 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.362 * [taylor]: Taking taylor expansion of t in t 3.362 * [taylor]: Taking taylor expansion of (/ 1 a) in t 3.362 * [taylor]: Taking taylor expansion of a in t 3.362 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y)) in t 3.362 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (/ 1 t)) (/ (- (/ 1 b) (/ 1 z)) y)) 3.362 * [taylor]: Taking taylor expansion of (* (/ 1 b) (/ 1 t)) in t 3.362 * [taylor]: Taking taylor expansion of (/ 1 b) in t 3.362 * [taylor]: Taking taylor expansion of b in t 3.362 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.362 * [taylor]: Taking taylor expansion of t in t 3.363 * [taylor]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 z)) y) in t 3.363 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in t 3.363 * [taylor]: Taking taylor expansion of (/ 1 b) in t 3.363 * [taylor]: Taking taylor expansion of b in t 3.363 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.363 * [taylor]: Taking taylor expansion of z in t 3.363 * [taylor]: Taking taylor expansion of y in t 3.363 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 t)) (/ 1 a) (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y))) in t 3.363 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 t)) (/ 1 a)) (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y))) 3.363 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 t)) (/ 1 a)) in t 3.363 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 3.363 * [taylor]: Taking taylor expansion of 1.0 in t 3.363 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.363 * [taylor]: Taking taylor expansion of t in t 3.363 * [taylor]: Taking taylor expansion of (/ 1 a) in t 3.363 * [taylor]: Taking taylor expansion of a in t 3.364 * [taylor]: Taking taylor expansion of (fma (/ 1 b) (/ 1 t) (/ (- (/ 1 b) (/ 1 z)) y)) in t 3.364 * [taylor]: Rewrote expression to (+ (* (/ 1 b) (/ 1 t)) (/ (- (/ 1 b) (/ 1 z)) y)) 3.364 * [taylor]: Taking taylor expansion of (* (/ 1 b) (/ 1 t)) in t 3.364 * [taylor]: Taking taylor expansion of (/ 1 b) in t 3.364 * [taylor]: Taking taylor expansion of b in t 3.364 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.364 * [taylor]: Taking taylor expansion of t in t 3.364 * [taylor]: Taking taylor expansion of (/ (- (/ 1 b) (/ 1 z)) y) in t 3.364 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in t 3.364 * [taylor]: Taking taylor expansion of (/ 1 b) in t 3.364 * [taylor]: Taking taylor expansion of b in t 3.364 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.364 * [taylor]: Taking taylor expansion of z in t 3.364 * [taylor]: Taking taylor expansion of y in t 3.365 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 3.365 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.365 * [taylor]: Taking taylor expansion of b in a 3.365 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.365 * [taylor]: Taking taylor expansion of a in a 3.366 * [taylor]: Taking taylor expansion of -1 in b 3.368 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))) (/ 1 (* z y))) in a 3.368 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))) in a 3.368 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in a 3.368 * [taylor]: Taking taylor expansion of (* y b) in a 3.368 * [taylor]: Taking taylor expansion of y in a 3.368 * [taylor]: Taking taylor expansion of b in a 3.368 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 3.368 * [taylor]: Taking taylor expansion of 1.0 in a 3.368 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.368 * [taylor]: Taking taylor expansion of a in a 3.369 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a 3.369 * [taylor]: Taking taylor expansion of (* z y) in a 3.369 * [taylor]: Taking taylor expansion of z in a 3.369 * [taylor]: Taking taylor expansion of y in a 3.370 * [taylor]: Taking taylor expansion of 1.0 in b 3.370 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.370 * [taylor]: Taking taylor expansion of b in b 3.371 * [taylor]: Taking taylor expansion of 1 in y 3.371 * [taylor]: Taking taylor expansion of -1 in y 3.374 * [taylor]: Taking taylor expansion of 0 in a 3.375 * [taylor]: Taking taylor expansion of (- (/ 1 (* y b)) (/ 1 (* z y))) in b 3.375 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in b 3.375 * [taylor]: Taking taylor expansion of (* y b) in b 3.375 * [taylor]: Taking taylor expansion of y in b 3.375 * [taylor]: Taking taylor expansion of b in b 3.376 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b 3.376 * [taylor]: Taking taylor expansion of (* z y) in b 3.376 * [taylor]: Taking taylor expansion of z in b 3.376 * [taylor]: Taking taylor expansion of y in b 3.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.376 * [taylor]: Taking taylor expansion of y in y 3.376 * [taylor]: Taking taylor expansion of 1 in z 3.377 * [taylor]: Taking taylor expansion of 0 in b 3.377 * [taylor]: Taking taylor expansion of 1.0 in y 3.378 * [taylor]: Taking taylor expansion of 0 in y 3.378 * [taylor]: Taking taylor expansion of 0 in y 3.378 * [taylor]: Taking taylor expansion of 1 in z 3.378 * [taylor]: Taking taylor expansion of -1 in z 3.382 * [taylor]: Taking taylor expansion of 0 in a 3.382 * [taylor]: Taking taylor expansion of 0 in b 3.384 * [taylor]: Taking taylor expansion of 0 in b 3.385 * [taylor]: Taking taylor expansion of 0 in b 3.386 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 3.386 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.386 * [taylor]: Taking taylor expansion of (* z y) in y 3.386 * [taylor]: Taking taylor expansion of z in y 3.386 * [taylor]: Taking taylor expansion of y in y 3.386 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.387 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.387 * [taylor]: Taking taylor expansion of z in z 3.387 * [taylor]: Taking taylor expansion of 0 in y 3.387 * [taylor]: Taking taylor expansion of 0 in y 3.388 * [taylor]: Taking taylor expansion of 0 in y 3.388 * [taylor]: Taking taylor expansion of 0 in y 3.388 * [taylor]: Taking taylor expansion of 0 in z 3.388 * [taylor]: Taking taylor expansion of 1.0 in z 3.388 * [taylor]: Taking taylor expansion of 0 in z 3.388 * [taylor]: Taking taylor expansion of 0 in z 3.388 * [taylor]: Taking taylor expansion of 0 in z 3.388 * [taylor]: Taking taylor expansion of 0 in z 3.390 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) (/ -1 a) (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y)))) in (t a b y z) around 0 3.390 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) (/ -1 a) (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y)))) in z 3.390 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) (/ -1 a)) (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y)))) 3.390 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) (/ -1 a)) in z 3.390 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in z 3.390 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.390 * [taylor]: Taking taylor expansion of t in z 3.390 * [taylor]: Taking taylor expansion of 1.0 in z 3.390 * [taylor]: Taking taylor expansion of (/ -1 a) in z 3.390 * [taylor]: Taking taylor expansion of -1 in z 3.390 * [taylor]: Taking taylor expansion of a in z 3.390 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y))) in z 3.390 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (/ -1 t)) (* -1 (/ (- (/ 1 z) (/ 1 b)) y))) 3.390 * [taylor]: Taking taylor expansion of (* (/ -1 b) (/ -1 t)) in z 3.390 * [taylor]: Taking taylor expansion of (/ -1 b) in z 3.390 * [taylor]: Taking taylor expansion of -1 in z 3.390 * [taylor]: Taking taylor expansion of b in z 3.390 * [taylor]: Taking taylor expansion of (/ -1 t) in z 3.390 * [taylor]: Taking taylor expansion of -1 in z 3.390 * [taylor]: Taking taylor expansion of t in z 3.390 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 b)) y)) in z 3.390 * [taylor]: Taking taylor expansion of -1 in z 3.390 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 b)) y) in z 3.390 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 b)) in z 3.390 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.391 * [taylor]: Taking taylor expansion of z in z 3.391 * [taylor]: Taking taylor expansion of (/ 1 b) in z 3.391 * [taylor]: Taking taylor expansion of b in z 3.391 * [taylor]: Taking taylor expansion of y in z 3.391 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) (/ -1 a) (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y)))) in y 3.391 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) (/ -1 a)) (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y)))) 3.391 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) (/ -1 a)) in y 3.391 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in y 3.391 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.391 * [taylor]: Taking taylor expansion of t in y 3.391 * [taylor]: Taking taylor expansion of 1.0 in y 3.391 * [taylor]: Taking taylor expansion of (/ -1 a) in y 3.391 * [taylor]: Taking taylor expansion of -1 in y 3.391 * [taylor]: Taking taylor expansion of a in y 3.391 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y))) in y 3.392 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (/ -1 t)) (* -1 (/ (- (/ 1 z) (/ 1 b)) y))) 3.392 * [taylor]: Taking taylor expansion of (* (/ -1 b) (/ -1 t)) in y 3.392 * [taylor]: Taking taylor expansion of (/ -1 b) in y 3.392 * [taylor]: Taking taylor expansion of -1 in y 3.392 * [taylor]: Taking taylor expansion of b in y 3.392 * [taylor]: Taking taylor expansion of (/ -1 t) in y 3.392 * [taylor]: Taking taylor expansion of -1 in y 3.392 * [taylor]: Taking taylor expansion of t in y 3.392 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 b)) y)) in y 3.392 * [taylor]: Taking taylor expansion of -1 in y 3.392 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 b)) y) in y 3.392 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 b)) in y 3.392 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.392 * [taylor]: Taking taylor expansion of z in y 3.392 * [taylor]: Taking taylor expansion of (/ 1 b) in y 3.392 * [taylor]: Taking taylor expansion of b in y 3.392 * [taylor]: Taking taylor expansion of y in y 3.392 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) (/ -1 a) (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y)))) in b 3.392 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) (/ -1 a)) (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y)))) 3.392 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) (/ -1 a)) in b 3.392 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in b 3.392 * [taylor]: Taking taylor expansion of (/ 1 t) in b 3.392 * [taylor]: Taking taylor expansion of t in b 3.392 * [taylor]: Taking taylor expansion of 1.0 in b 3.392 * [taylor]: Taking taylor expansion of (/ -1 a) in b 3.392 * [taylor]: Taking taylor expansion of -1 in b 3.392 * [taylor]: Taking taylor expansion of a in b 3.392 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y))) in b 3.392 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (/ -1 t)) (* -1 (/ (- (/ 1 z) (/ 1 b)) y))) 3.393 * [taylor]: Taking taylor expansion of (* (/ -1 b) (/ -1 t)) in b 3.393 * [taylor]: Taking taylor expansion of (/ -1 b) in b 3.393 * [taylor]: Taking taylor expansion of -1 in b 3.393 * [taylor]: Taking taylor expansion of b in b 3.393 * [taylor]: Taking taylor expansion of (/ -1 t) in b 3.393 * [taylor]: Taking taylor expansion of -1 in b 3.393 * [taylor]: Taking taylor expansion of t in b 3.393 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 b)) y)) in b 3.393 * [taylor]: Taking taylor expansion of -1 in b 3.393 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 b)) y) in b 3.393 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 b)) in b 3.393 * [taylor]: Taking taylor expansion of (/ 1 z) in b 3.393 * [taylor]: Taking taylor expansion of z in b 3.393 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.393 * [taylor]: Taking taylor expansion of b in b 3.393 * [taylor]: Taking taylor expansion of y in b 3.394 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) (/ -1 a) (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y)))) in a 3.394 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) (/ -1 a)) (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y)))) 3.394 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) (/ -1 a)) in a 3.394 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 3.394 * [taylor]: Taking taylor expansion of (/ 1 t) in a 3.394 * [taylor]: Taking taylor expansion of t in a 3.394 * [taylor]: Taking taylor expansion of 1.0 in a 3.394 * [taylor]: Taking taylor expansion of (/ -1 a) in a 3.394 * [taylor]: Taking taylor expansion of -1 in a 3.394 * [taylor]: Taking taylor expansion of a in a 3.394 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y))) in a 3.395 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (/ -1 t)) (* -1 (/ (- (/ 1 z) (/ 1 b)) y))) 3.395 * [taylor]: Taking taylor expansion of (* (/ -1 b) (/ -1 t)) in a 3.395 * [taylor]: Taking taylor expansion of (/ -1 b) in a 3.395 * [taylor]: Taking taylor expansion of -1 in a 3.395 * [taylor]: Taking taylor expansion of b in a 3.395 * [taylor]: Taking taylor expansion of (/ -1 t) in a 3.395 * [taylor]: Taking taylor expansion of -1 in a 3.395 * [taylor]: Taking taylor expansion of t in a 3.395 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 b)) y)) in a 3.395 * [taylor]: Taking taylor expansion of -1 in a 3.395 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 b)) y) in a 3.395 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 b)) in a 3.395 * [taylor]: Taking taylor expansion of (/ 1 z) in a 3.395 * [taylor]: Taking taylor expansion of z in a 3.395 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.395 * [taylor]: Taking taylor expansion of b in a 3.395 * [taylor]: Taking taylor expansion of y in a 3.395 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) (/ -1 a) (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y)))) in t 3.395 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) (/ -1 a)) (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y)))) 3.395 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) (/ -1 a)) in t 3.395 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 3.395 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.395 * [taylor]: Taking taylor expansion of t in t 3.396 * [taylor]: Taking taylor expansion of 1.0 in t 3.396 * [taylor]: Taking taylor expansion of (/ -1 a) in t 3.396 * [taylor]: Taking taylor expansion of -1 in t 3.396 * [taylor]: Taking taylor expansion of a in t 3.396 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y))) in t 3.396 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (/ -1 t)) (* -1 (/ (- (/ 1 z) (/ 1 b)) y))) 3.396 * [taylor]: Taking taylor expansion of (* (/ -1 b) (/ -1 t)) in t 3.396 * [taylor]: Taking taylor expansion of (/ -1 b) in t 3.396 * [taylor]: Taking taylor expansion of -1 in t 3.396 * [taylor]: Taking taylor expansion of b in t 3.396 * [taylor]: Taking taylor expansion of (/ -1 t) in t 3.396 * [taylor]: Taking taylor expansion of -1 in t 3.396 * [taylor]: Taking taylor expansion of t in t 3.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 b)) y)) in t 3.396 * [taylor]: Taking taylor expansion of -1 in t 3.396 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 b)) y) in t 3.396 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 b)) in t 3.396 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.396 * [taylor]: Taking taylor expansion of z in t 3.396 * [taylor]: Taking taylor expansion of (/ 1 b) in t 3.396 * [taylor]: Taking taylor expansion of b in t 3.396 * [taylor]: Taking taylor expansion of y in t 3.397 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 t) 1.0) (/ -1 a) (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y)))) in t 3.397 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 t) 1.0) (/ -1 a)) (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y)))) 3.397 * [taylor]: Taking taylor expansion of (* (+ (/ 1 t) 1.0) (/ -1 a)) in t 3.397 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 3.397 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.397 * [taylor]: Taking taylor expansion of t in t 3.397 * [taylor]: Taking taylor expansion of 1.0 in t 3.397 * [taylor]: Taking taylor expansion of (/ -1 a) in t 3.397 * [taylor]: Taking taylor expansion of -1 in t 3.397 * [taylor]: Taking taylor expansion of a in t 3.397 * [taylor]: Taking taylor expansion of (fma (/ -1 b) (/ -1 t) (* -1 (/ (- (/ 1 z) (/ 1 b)) y))) in t 3.397 * [taylor]: Rewrote expression to (+ (* (/ -1 b) (/ -1 t)) (* -1 (/ (- (/ 1 z) (/ 1 b)) y))) 3.397 * [taylor]: Taking taylor expansion of (* (/ -1 b) (/ -1 t)) in t 3.397 * [taylor]: Taking taylor expansion of (/ -1 b) in t 3.397 * [taylor]: Taking taylor expansion of -1 in t 3.397 * [taylor]: Taking taylor expansion of b in t 3.397 * [taylor]: Taking taylor expansion of (/ -1 t) in t 3.397 * [taylor]: Taking taylor expansion of -1 in t 3.397 * [taylor]: Taking taylor expansion of t in t 3.398 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 b)) y)) in t 3.398 * [taylor]: Taking taylor expansion of -1 in t 3.398 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 b)) y) in t 3.398 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 b)) in t 3.398 * [taylor]: Taking taylor expansion of (/ 1 z) in t 3.398 * [taylor]: Taking taylor expansion of z in t 3.398 * [taylor]: Taking taylor expansion of (/ 1 b) in t 3.398 * [taylor]: Taking taylor expansion of b in t 3.398 * [taylor]: Taking taylor expansion of y in t 3.398 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in a 3.398 * [taylor]: Taking taylor expansion of (/ 1 b) in a 3.399 * [taylor]: Taking taylor expansion of b in a 3.399 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.399 * [taylor]: Taking taylor expansion of a in a 3.399 * [taylor]: Taking taylor expansion of -1 in b 3.402 * [taylor]: Taking taylor expansion of (- (/ 1 (* y b)) (+ (/ 1 (* z y)) (* 1.0 (/ 1 a)))) in a 3.402 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in a 3.402 * [taylor]: Taking taylor expansion of (* y b) in a 3.402 * [taylor]: Taking taylor expansion of y in a 3.402 * [taylor]: Taking taylor expansion of b in a 3.402 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 a))) in a 3.402 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a 3.402 * [taylor]: Taking taylor expansion of (* z y) in a 3.402 * [taylor]: Taking taylor expansion of z in a 3.402 * [taylor]: Taking taylor expansion of y in a 3.402 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 3.402 * [taylor]: Taking taylor expansion of 1.0 in a 3.402 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.402 * [taylor]: Taking taylor expansion of a in a 3.404 * [taylor]: Taking taylor expansion of (- 1.0) in b 3.404 * [taylor]: Taking taylor expansion of 1.0 in b 3.404 * [taylor]: Taking taylor expansion of (/ 1 b) in b 3.404 * [taylor]: Taking taylor expansion of b in b 3.405 * [taylor]: Taking taylor expansion of 1 in y 3.405 * [taylor]: Taking taylor expansion of -1 in y 3.409 * [taylor]: Taking taylor expansion of 0 in a 3.410 * [taylor]: Taking taylor expansion of (- (/ 1 (* y b)) (/ 1 (* z y))) in b 3.410 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in b 3.410 * [taylor]: Taking taylor expansion of (* y b) in b 3.410 * [taylor]: Taking taylor expansion of y in b 3.410 * [taylor]: Taking taylor expansion of b in b 3.410 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b 3.410 * [taylor]: Taking taylor expansion of (* z y) in b 3.410 * [taylor]: Taking taylor expansion of z in b 3.410 * [taylor]: Taking taylor expansion of y in b 3.410 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.410 * [taylor]: Taking taylor expansion of y in y 3.411 * [taylor]: Taking taylor expansion of 1 in z 3.412 * [taylor]: Taking taylor expansion of 0 in b 3.412 * [taylor]: Taking taylor expansion of (- 1.0) in y 3.412 * [taylor]: Taking taylor expansion of 1.0 in y 3.412 * [taylor]: Taking taylor expansion of 0 in y 3.412 * [taylor]: Taking taylor expansion of 0 in y 3.412 * [taylor]: Taking taylor expansion of 1 in z 3.412 * [taylor]: Taking taylor expansion of -1 in z 3.417 * [taylor]: Taking taylor expansion of 0 in a 3.417 * [taylor]: Taking taylor expansion of 0 in b 3.423 * [taylor]: Taking taylor expansion of 0 in b 3.425 * [taylor]: Taking taylor expansion of 0 in b 3.425 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y 3.425 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.425 * [taylor]: Taking taylor expansion of (* z y) in y 3.425 * [taylor]: Taking taylor expansion of z in y 3.425 * [taylor]: Taking taylor expansion of y in y 3.426 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 3.426 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.426 * [taylor]: Taking taylor expansion of z in z 3.426 * [taylor]: Taking taylor expansion of 0 in y 3.426 * [taylor]: Taking taylor expansion of 0 in y 3.427 * [taylor]: Taking taylor expansion of 0 in y 3.427 * [taylor]: Taking taylor expansion of 0 in y 3.427 * [taylor]: Taking taylor expansion of 0 in z 3.428 * [taylor]: Taking taylor expansion of (- 1.0) in z 3.428 * [taylor]: Taking taylor expansion of 1.0 in z 3.428 * [taylor]: Taking taylor expansion of 0 in z 3.428 * [taylor]: Taking taylor expansion of 0 in z 3.428 * [taylor]: Taking taylor expansion of 0 in z 3.428 * [taylor]: Taking taylor expansion of 0 in z 3.429 * * * [progress]: simplifying candidates 3.430 * [simplify]: Simplifying using # : (expm1 (* y (- b z))) (log1p (* y (- b z))) (* y (- b z)) (+ (log y) (log (- b z))) (log (* y (- b z))) (exp (* y (- b z))) (* (* (* y y) y) (* (* (- b z) (- b z)) (- b z))) (* (cbrt (* y (- b z))) (cbrt (* y (- b z)))) (cbrt (* y (- b z))) (* (* (* y (- b z)) (* y (- b z))) (* y (- b z))) (sqrt (* y (- b z))) (sqrt (* y (- b z))) (* (sqrt y) (sqrt (- b z))) (* (sqrt y) (sqrt (- b z))) (* y (fma (* (cbrt b) (cbrt b)) (cbrt b) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))) (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))) (* y (fma (* (cbrt b) (cbrt b)) (cbrt b) (- (* (sqrt z) (sqrt z))))) (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))) (* y (fma (* (cbrt b) (cbrt b)) (cbrt b) (- (* z 1)))) (* y (fma (- z) 1 (* z 1))) (* y (fma (sqrt b) (sqrt b) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))) (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))) (* y (fma (sqrt b) (sqrt b) (- (* (sqrt z) (sqrt z))))) (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))) (* y (fma (sqrt b) (sqrt b) (- (* z 1)))) (* y (fma (- z) 1 (* z 1))) (* y (fma 1 b (- (* (cbrt z) (* (cbrt z) (cbrt z)))))) (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))) (* y (fma 1 b (- (* (sqrt z) (sqrt z))))) (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))) (* y (fma 1 b (- (* z 1)))) (* y (fma (- z) 1 (* z 1))) (* y b) (* y (- z)) (* y b) (* y (- z)) (* (fma (* (cbrt b) (cbrt b)) (cbrt b) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y) (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y) (* (fma (* (cbrt b) (cbrt b)) (cbrt b) (- (* (sqrt z) (sqrt z)))) y) (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y) (* (fma (* (cbrt b) (cbrt b)) (cbrt b) (- (* z 1))) y) (* (fma (- z) 1 (* z 1)) y) (* (fma (sqrt b) (sqrt b) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y) (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y) (* (fma (sqrt b) (sqrt b) (- (* (sqrt z) (sqrt z)))) y) (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y) (* (fma (sqrt b) (sqrt b) (- (* z 1))) y) (* (fma (- z) 1 (* z 1)) y) (* (fma 1 b (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y) (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y) (* (fma 1 b (- (* (sqrt z) (sqrt z)))) y) (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y) (* (fma 1 b (- (* z 1))) y) (* (fma (- z) 1 (* z 1)) y) (* b y) (* (- z) y) (* b y) (* (- z) y) (* y (* (cbrt (- b z)) (cbrt (- b z)))) (* y (sqrt (- b z))) (* y 1) (* y (+ (sqrt b) (sqrt z))) (* y 1) (* (cbrt y) (- b z)) (* (sqrt y) (- b z)) (* y (- b z)) (* y (- (pow b 3) (pow z 3))) (* y (- (* b b) (* z z))) (expm1 (fma (- 1.0 t) a (fma b t (* y (- b z))))) (log1p (fma (- 1.0 t) a (fma b t (* y (- b z))))) (* (- 1.0 t) a) (log (fma (- 1.0 t) a (fma b t (* y (- b z))))) (exp (fma (- 1.0 t) a (fma b t (* y (- b z))))) (* (cbrt (fma (- 1.0 t) a (fma b t (* y (- b z))))) (cbrt (fma (- 1.0 t) a (fma b t (* y (- b z)))))) (cbrt (fma (- 1.0 t) a (fma b t (* y (- b z))))) (* (* (fma (- 1.0 t) a (fma b t (* y (- b z)))) (fma (- 1.0 t) a (fma b t (* y (- b z))))) (fma (- 1.0 t) a (fma b t (* y (- b z))))) (sqrt (fma (- 1.0 t) a (fma b t (* y (- b z))))) (sqrt (fma (- 1.0 t) a (fma b t (* y (- b z))))) (- (* y b) (* z y)) (- (* y b) (* z y)) (- (* y b) (* z y)) (- (+ (* 1.0 a) (* t b)) (* a t)) (- (+ (* y b) (* t b)) (* z y)) (- (+ (* y b) (* t b)) (* z y)) 3.433 * * [simplify]: iteration 0 : 125 enodes (cost 927 ) 3.461 * * [simplify]: iteration 1 : 236 enodes (cost 755 ) 3.519 * * [simplify]: iteration 2 : 521 enodes (cost 609 ) 3.694 * * [simplify]: iteration 3 : 1700 enodes (cost 567 ) 4.481 * * [simplify]: iteration done : 5001 enodes (cost 567 ) 4.481 * [simplify]: Simplified to: (expm1 (* y (- b z))) (log1p (* y (- b z))) (* y (- b z)) (log (* y (- b z))) (log (* y (- b z))) (exp (* y (- b z))) (pow (* y (- b z)) 3) (* (cbrt (* y (- b z))) (cbrt (* y (- b z)))) (cbrt (* y (- b z))) (pow (* y (- b z)) 3) (sqrt (* y (- b z))) (sqrt (* y (- b z))) (* (sqrt y) (sqrt (- b z))) (* (sqrt y) (sqrt (- b z))) (* y (- (pow (cbrt b) 3) z)) (* (- z z) y) (* y (- (pow (cbrt b) 3) z)) (* (- z z) y) (* y (- (pow (cbrt b) 3) z)) (* (- z z) y) (* y (- b z)) (* (- z z) y) (* y (- b z)) (* (- z z) y) (* y (- b z)) (* (- z z) y) (* y (- b z)) (* (- z z) y) (* y (- b z)) (* (- z z) y) (* y (- b z)) (* (- z z) y) (* b y) (* (- z) y) (* b y) (* (- z) y) (* y (- (pow (cbrt b) 3) z)) (* (- z z) y) (* y (- (pow (cbrt b) 3) z)) (* (- z z) y) (* y (- (pow (cbrt b) 3) z)) (* (- z z) y) (* y (- b z)) (* (- z z) y) (* y (- b z)) (* (- z z) y) (* y (- b z)) (* (- z z) y) (* y (- b z)) (* (- z z) y) (* y (- b z)) (* (- z z) y) (* y (- b z)) (* (- z z) y) (* b y) (* (- z) y) (* b y) (* (- z) y) (* y (* (cbrt (- b z)) (cbrt (- b z)))) (* y (sqrt (- b z))) y (* y (+ (sqrt b) (sqrt z))) y (* (cbrt y) (- b z)) (* (sqrt y) (- b z)) (* y (- b z)) (* y (- (pow b 3) (pow z 3))) (* y (- (* b b) (* z z))) (expm1 (fma (- 1.0 t) a (fma b t (* y (- b z))))) (log1p (fma (- 1.0 t) a (fma b t (* y (- b z))))) (* a (- 1.0 t)) (log (fma (- 1.0 t) a (fma b t (* y (- b z))))) (exp (fma (- 1.0 t) a (fma b t (* y (- b z))))) (* (cbrt (fma (- 1.0 t) a (fma b t (* y (- b z))))) (cbrt (fma (- 1.0 t) a (fma b t (* y (- b z)))))) (cbrt (fma (- 1.0 t) a (fma b t (* y (- b z))))) (pow (fma (- 1.0 t) a (fma b t (* y (- b z)))) 3) (sqrt (fma (- 1.0 t) a (fma b t (* y (- b z))))) (sqrt (fma (- 1.0 t) a (fma b t (* y (- b z))))) (* y (- b z)) (* y (- b z)) (* y (- b z)) (fma 1.0 a (* t (- b a))) (fma b t (* y (- b z))) (fma b t (* y (- b z))) 4.482 * * * [progress]: adding candidates to table 4.605 * [progress]: [Phase 3 of 3] Extracting. 4.605 * * [regime]: Finding splitpoints for: (# #) 4.606 * * * [regime-changes]: Trying 6 branch expressions: (b a t z y x) 4.606 * * * * [regimes]: Trying to branch on b from (# #) 4.627 * * * * [regimes]: Trying to branch on a from (# #) 4.648 * * * * [regimes]: Trying to branch on t from (# #) 4.666 * * * * [regimes]: Trying to branch on z from (# #) 4.686 * * * * [regimes]: Trying to branch on y from (# #) 4.705 * * * * [regimes]: Trying to branch on x from (# #) 4.726 * * * [regime]: Found split indices: #