13.504 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.038 * [progress]: [Phase 2 of 3] Improving. 0.038 * [simplify]: Simplifying using # : (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) 0.039 * * [simplify]: iteration 0 : 18 enodes (cost 21 ) 0.042 * * [simplify]: iteration 1 : 38 enodes (cost 21 ) 0.047 * * [simplify]: iteration 2 : 117 enodes (cost 19 ) 0.070 * * [simplify]: iteration 3 : 346 enodes (cost 19 ) 0.177 * * [simplify]: iteration 4 : 1347 enodes (cost 18 ) 0.671 * * [simplify]: iteration done : 5001 enodes (cost 18 ) 0.671 * [simplify]: Simplified to: (fma (- 1.0 t) a (fma b (- (+ y t) 2.0) (fma (- 1.0 y) z x))) 0.675 * * [progress]: iteration 1 / 4 0.676 * * * [progress]: picking best candidate 0.681 * * * * [pick]: Picked # 0.681 * * * [progress]: localizing error 0.696 * * * [progress]: generating rewritten candidates 0.696 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.749 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.764 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.767 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.779 * * * [progress]: generating series expansions 0.779 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.779 * [approximate]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in (y t b) around 0 0.779 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 0.779 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 0.779 * [taylor]: Taking taylor expansion of (+ t y) in b 0.779 * [taylor]: Taking taylor expansion of t in b 0.779 * [taylor]: Taking taylor expansion of y in b 0.779 * [taylor]: Taking taylor expansion of 2.0 in b 0.779 * [taylor]: Taking taylor expansion of b in b 0.779 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 0.780 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 0.780 * [taylor]: Taking taylor expansion of (+ t y) in t 0.780 * [taylor]: Taking taylor expansion of t in t 0.780 * [taylor]: Taking taylor expansion of y in t 0.780 * [taylor]: Taking taylor expansion of 2.0 in t 0.780 * [taylor]: Taking taylor expansion of b in t 0.780 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 0.780 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.780 * [taylor]: Taking taylor expansion of (+ t y) in y 0.780 * [taylor]: Taking taylor expansion of t in y 0.780 * [taylor]: Taking taylor expansion of y in y 0.780 * [taylor]: Taking taylor expansion of 2.0 in y 0.780 * [taylor]: Taking taylor expansion of b in y 0.780 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 0.780 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 0.780 * [taylor]: Taking taylor expansion of (+ t y) in y 0.780 * [taylor]: Taking taylor expansion of t in y 0.780 * [taylor]: Taking taylor expansion of y in y 0.780 * [taylor]: Taking taylor expansion of 2.0 in y 0.780 * [taylor]: Taking taylor expansion of b in y 0.781 * [taylor]: Taking taylor expansion of (* (- t 2.0) b) in t 0.781 * [taylor]: Taking taylor expansion of (- t 2.0) in t 0.781 * [taylor]: Taking taylor expansion of t in t 0.781 * [taylor]: Taking taylor expansion of 2.0 in t 0.781 * [taylor]: Taking taylor expansion of b in t 0.782 * [taylor]: Taking taylor expansion of (* -2.0 b) in b 0.782 * [taylor]: Taking taylor expansion of -2.0 in b 0.782 * [taylor]: Taking taylor expansion of b in b 0.783 * [taylor]: Taking taylor expansion of b in t 0.783 * [taylor]: Taking taylor expansion of b in b 0.784 * [taylor]: Taking taylor expansion of b in b 0.786 * [taylor]: Taking taylor expansion of 0 in t 0.786 * [taylor]: Taking taylor expansion of 0 in b 0.786 * [taylor]: Taking taylor expansion of 0 in b 0.787 * [taylor]: Taking taylor expansion of 0 in b 0.788 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in (y t b) around 0 0.788 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 0.788 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 0.788 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 0.788 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.788 * [taylor]: Taking taylor expansion of y in b 0.788 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.788 * [taylor]: Taking taylor expansion of t in b 0.788 * [taylor]: Taking taylor expansion of 2.0 in b 0.788 * [taylor]: Taking taylor expansion of b in b 0.789 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 0.789 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 0.789 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 0.789 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.789 * [taylor]: Taking taylor expansion of y in t 0.789 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.789 * [taylor]: Taking taylor expansion of t in t 0.789 * [taylor]: Taking taylor expansion of 2.0 in t 0.789 * [taylor]: Taking taylor expansion of b in t 0.789 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 0.790 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.790 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.790 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.790 * [taylor]: Taking taylor expansion of y in y 0.790 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.790 * [taylor]: Taking taylor expansion of t in y 0.790 * [taylor]: Taking taylor expansion of 2.0 in y 0.790 * [taylor]: Taking taylor expansion of b in y 0.790 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 0.791 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 0.791 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 0.791 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.791 * [taylor]: Taking taylor expansion of y in y 0.791 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.791 * [taylor]: Taking taylor expansion of t in y 0.791 * [taylor]: Taking taylor expansion of 2.0 in y 0.791 * [taylor]: Taking taylor expansion of b in y 0.791 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.791 * [taylor]: Taking taylor expansion of b in t 0.793 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t 0.793 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 0.793 * [taylor]: Taking taylor expansion of (* t b) in t 0.793 * [taylor]: Taking taylor expansion of t in t 0.793 * [taylor]: Taking taylor expansion of b in t 0.793 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 0.793 * [taylor]: Taking taylor expansion of 2.0 in t 0.793 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.793 * [taylor]: Taking taylor expansion of b in t 0.793 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.793 * [taylor]: Taking taylor expansion of b in b 0.793 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.793 * [taylor]: Taking taylor expansion of b in b 0.795 * [taylor]: Taking taylor expansion of 0 in t 0.796 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 b))) in b 0.796 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 0.796 * [taylor]: Taking taylor expansion of 2.0 in b 0.796 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.796 * [taylor]: Taking taylor expansion of b in b 0.798 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in (y t b) around 0 0.798 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in b 0.798 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 0.798 * [taylor]: Taking taylor expansion of (/ 1 y) in b 0.798 * [taylor]: Taking taylor expansion of y in b 0.798 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 0.798 * [taylor]: Taking taylor expansion of (/ 1 t) in b 0.798 * [taylor]: Taking taylor expansion of t in b 0.798 * [taylor]: Taking taylor expansion of 2.0 in b 0.798 * [taylor]: Taking taylor expansion of b in b 0.798 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in t 0.798 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 0.798 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.798 * [taylor]: Taking taylor expansion of y in t 0.798 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 0.798 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.798 * [taylor]: Taking taylor expansion of t in t 0.799 * [taylor]: Taking taylor expansion of 2.0 in t 0.799 * [taylor]: Taking taylor expansion of b in t 0.799 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y 0.799 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.799 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.799 * [taylor]: Taking taylor expansion of y in y 0.799 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.799 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.799 * [taylor]: Taking taylor expansion of t in y 0.799 * [taylor]: Taking taylor expansion of 2.0 in y 0.799 * [taylor]: Taking taylor expansion of b in y 0.800 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y 0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 0.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.800 * [taylor]: Taking taylor expansion of y in y 0.800 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 0.800 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.800 * [taylor]: Taking taylor expansion of t in y 0.800 * [taylor]: Taking taylor expansion of 2.0 in y 0.800 * [taylor]: Taking taylor expansion of b in y 0.801 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.801 * [taylor]: Taking taylor expansion of b in t 0.801 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t 0.801 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 0.801 * [taylor]: Taking taylor expansion of (* t b) in t 0.801 * [taylor]: Taking taylor expansion of t in t 0.801 * [taylor]: Taking taylor expansion of b in t 0.802 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 0.802 * [taylor]: Taking taylor expansion of 2.0 in t 0.802 * [taylor]: Taking taylor expansion of (/ 1 b) in t 0.802 * [taylor]: Taking taylor expansion of b in t 0.802 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.802 * [taylor]: Taking taylor expansion of b in b 0.802 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.802 * [taylor]: Taking taylor expansion of b in b 0.803 * [taylor]: Taking taylor expansion of 0 in t 0.804 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 0.804 * [taylor]: Taking taylor expansion of 2.0 in b 0.804 * [taylor]: Taking taylor expansion of (/ 1 b) in b 0.804 * [taylor]: Taking taylor expansion of b in b 0.805 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.805 * [approximate]: Taking taylor expansion of (- (+ x (+ (* 1.0 z) (* 1.0 a))) (+ (* z y) (* t a))) in (x y z t a) around 0 0.805 * [taylor]: Taking taylor expansion of (- (+ x (+ (* 1.0 z) (* 1.0 a))) (+ (* z y) (* t a))) in a 0.805 * [taylor]: Taking taylor expansion of (+ x (+ (* 1.0 z) (* 1.0 a))) in a 0.805 * [taylor]: Taking taylor expansion of x in a 0.805 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in a 0.805 * [taylor]: Taking taylor expansion of (* 1.0 z) in a 0.805 * [taylor]: Taking taylor expansion of 1.0 in a 0.806 * [taylor]: Taking taylor expansion of z in a 0.806 * [taylor]: Taking taylor expansion of (* 1.0 a) in a 0.806 * [taylor]: Taking taylor expansion of 1.0 in a 0.806 * [taylor]: Taking taylor expansion of a in a 0.806 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in a 0.806 * [taylor]: Taking taylor expansion of (* z y) in a 0.806 * [taylor]: Taking taylor expansion of z in a 0.806 * [taylor]: Taking taylor expansion of y in a 0.806 * [taylor]: Taking taylor expansion of (* t a) in a 0.806 * [taylor]: Taking taylor expansion of t in a 0.806 * [taylor]: Taking taylor expansion of a in a 0.806 * [taylor]: Taking taylor expansion of (- (+ x (+ (* 1.0 z) (* 1.0 a))) (+ (* z y) (* t a))) in t 0.806 * [taylor]: Taking taylor expansion of (+ x (+ (* 1.0 z) (* 1.0 a))) in t 0.806 * [taylor]: Taking taylor expansion of x in t 0.806 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in t 0.806 * [taylor]: Taking taylor expansion of (* 1.0 z) in t 0.806 * [taylor]: Taking taylor expansion of 1.0 in t 0.806 * [taylor]: Taking taylor expansion of z in t 0.806 * [taylor]: Taking taylor expansion of (* 1.0 a) in t 0.806 * [taylor]: Taking taylor expansion of 1.0 in t 0.806 * [taylor]: Taking taylor expansion of a in t 0.806 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in t 0.806 * [taylor]: Taking taylor expansion of (* z y) in t 0.806 * [taylor]: Taking taylor expansion of z in t 0.806 * [taylor]: Taking taylor expansion of y in t 0.806 * [taylor]: Taking taylor expansion of (* t a) in t 0.806 * [taylor]: Taking taylor expansion of t in t 0.806 * [taylor]: Taking taylor expansion of a in t 0.806 * [taylor]: Taking taylor expansion of (- (+ x (+ (* 1.0 z) (* 1.0 a))) (+ (* z y) (* t a))) in z 0.806 * [taylor]: Taking taylor expansion of (+ x (+ (* 1.0 z) (* 1.0 a))) in z 0.806 * [taylor]: Taking taylor expansion of x in z 0.806 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in z 0.806 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 0.806 * [taylor]: Taking taylor expansion of 1.0 in z 0.806 * [taylor]: Taking taylor expansion of z in z 0.806 * [taylor]: Taking taylor expansion of (* 1.0 a) in z 0.806 * [taylor]: Taking taylor expansion of 1.0 in z 0.806 * [taylor]: Taking taylor expansion of a in z 0.806 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in z 0.806 * [taylor]: Taking taylor expansion of (* z y) in z 0.806 * [taylor]: Taking taylor expansion of z in z 0.806 * [taylor]: Taking taylor expansion of y in z 0.806 * [taylor]: Taking taylor expansion of (* t a) in z 0.806 * [taylor]: Taking taylor expansion of t in z 0.806 * [taylor]: Taking taylor expansion of a in z 0.806 * [taylor]: Taking taylor expansion of (- (+ x (+ (* 1.0 z) (* 1.0 a))) (+ (* z y) (* t a))) in y 0.806 * [taylor]: Taking taylor expansion of (+ x (+ (* 1.0 z) (* 1.0 a))) in y 0.806 * [taylor]: Taking taylor expansion of x in y 0.806 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in y 0.806 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 0.806 * [taylor]: Taking taylor expansion of 1.0 in y 0.806 * [taylor]: Taking taylor expansion of z in y 0.806 * [taylor]: Taking taylor expansion of (* 1.0 a) in y 0.806 * [taylor]: Taking taylor expansion of 1.0 in y 0.806 * [taylor]: Taking taylor expansion of a in y 0.806 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in y 0.806 * [taylor]: Taking taylor expansion of (* z y) in y 0.806 * [taylor]: Taking taylor expansion of z in y 0.806 * [taylor]: Taking taylor expansion of y in y 0.806 * [taylor]: Taking taylor expansion of (* t a) in y 0.806 * [taylor]: Taking taylor expansion of t in y 0.806 * [taylor]: Taking taylor expansion of a in y 0.806 * [taylor]: Taking taylor expansion of (- (+ x (+ (* 1.0 z) (* 1.0 a))) (+ (* z y) (* t a))) in x 0.807 * [taylor]: Taking taylor expansion of (+ x (+ (* 1.0 z) (* 1.0 a))) in x 0.807 * [taylor]: Taking taylor expansion of x in x 0.807 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in x 0.807 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 0.807 * [taylor]: Taking taylor expansion of 1.0 in x 0.807 * [taylor]: Taking taylor expansion of z in x 0.807 * [taylor]: Taking taylor expansion of (* 1.0 a) in x 0.807 * [taylor]: Taking taylor expansion of 1.0 in x 0.807 * [taylor]: Taking taylor expansion of a in x 0.807 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in x 0.807 * [taylor]: Taking taylor expansion of (* z y) in x 0.807 * [taylor]: Taking taylor expansion of z in x 0.807 * [taylor]: Taking taylor expansion of y in x 0.807 * [taylor]: Taking taylor expansion of (* t a) in x 0.807 * [taylor]: Taking taylor expansion of t in x 0.807 * [taylor]: Taking taylor expansion of a in x 0.807 * [taylor]: Taking taylor expansion of (- (+ x (+ (* 1.0 z) (* 1.0 a))) (+ (* z y) (* t a))) in x 0.807 * [taylor]: Taking taylor expansion of (+ x (+ (* 1.0 z) (* 1.0 a))) in x 0.807 * [taylor]: Taking taylor expansion of x in x 0.807 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in x 0.807 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 0.807 * [taylor]: Taking taylor expansion of 1.0 in x 0.807 * [taylor]: Taking taylor expansion of z in x 0.807 * [taylor]: Taking taylor expansion of (* 1.0 a) in x 0.807 * [taylor]: Taking taylor expansion of 1.0 in x 0.807 * [taylor]: Taking taylor expansion of a in x 0.807 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in x 0.807 * [taylor]: Taking taylor expansion of (* z y) in x 0.807 * [taylor]: Taking taylor expansion of z in x 0.807 * [taylor]: Taking taylor expansion of y in x 0.807 * [taylor]: Taking taylor expansion of (* t a) in x 0.807 * [taylor]: Taking taylor expansion of t in x 0.807 * [taylor]: Taking taylor expansion of a in x 0.807 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) (* 1.0 z)) (+ (* z y) (* t a))) in y 0.808 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) (* 1.0 z)) in y 0.808 * [taylor]: Taking taylor expansion of (* 1.0 a) in y 0.808 * [taylor]: Taking taylor expansion of 1.0 in y 0.808 * [taylor]: Taking taylor expansion of a in y 0.808 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 0.808 * [taylor]: Taking taylor expansion of 1.0 in y 0.808 * [taylor]: Taking taylor expansion of z in y 0.808 * [taylor]: Taking taylor expansion of (+ (* z y) (* t a)) in y 0.808 * [taylor]: Taking taylor expansion of (* z y) in y 0.808 * [taylor]: Taking taylor expansion of z in y 0.808 * [taylor]: Taking taylor expansion of y in y 0.808 * [taylor]: Taking taylor expansion of (* t a) in y 0.808 * [taylor]: Taking taylor expansion of t in y 0.808 * [taylor]: Taking taylor expansion of a in y 0.808 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) (* 1.0 z)) (* t a)) in z 0.808 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) (* 1.0 z)) in z 0.808 * [taylor]: Taking taylor expansion of (* 1.0 a) in z 0.808 * [taylor]: Taking taylor expansion of 1.0 in z 0.808 * [taylor]: Taking taylor expansion of a in z 0.808 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 0.808 * [taylor]: Taking taylor expansion of 1.0 in z 0.808 * [taylor]: Taking taylor expansion of z in z 0.808 * [taylor]: Taking taylor expansion of (* t a) in z 0.808 * [taylor]: Taking taylor expansion of t in z 0.808 * [taylor]: Taking taylor expansion of a in z 0.809 * [taylor]: Taking taylor expansion of (- (* 1.0 a) (* t a)) in t 0.809 * [taylor]: Taking taylor expansion of (* 1.0 a) in t 0.809 * [taylor]: Taking taylor expansion of 1.0 in t 0.809 * [taylor]: Taking taylor expansion of a in t 0.809 * [taylor]: Taking taylor expansion of (* t a) in t 0.809 * [taylor]: Taking taylor expansion of t in t 0.809 * [taylor]: Taking taylor expansion of a in t 0.809 * [taylor]: Taking taylor expansion of (* 1.0 a) in a 0.809 * [taylor]: Taking taylor expansion of 1.0 in a 0.809 * [taylor]: Taking taylor expansion of a in a 0.811 * [taylor]: Taking taylor expansion of 1 in y 0.811 * [taylor]: Taking taylor expansion of 1 in z 0.811 * [taylor]: Taking taylor expansion of 1 in t 0.811 * [taylor]: Taking taylor expansion of 1 in a 0.816 * [taylor]: Taking taylor expansion of (- z) in z 0.816 * [taylor]: Taking taylor expansion of z in z 0.816 * [taylor]: Taking taylor expansion of 0 in t 0.816 * [taylor]: Taking taylor expansion of 0 in a 0.818 * [taylor]: Taking taylor expansion of 1.0 in t 0.818 * [taylor]: Taking taylor expansion of 1.0 in a 0.819 * [taylor]: Taking taylor expansion of (- a) in a 0.819 * [taylor]: Taking taylor expansion of a in a 0.821 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) (+ (/ 1 (* z y)) (/ 1 (* t a)))) in (x y z t a) around 0 0.821 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) (+ (/ 1 (* z y)) (/ 1 (* t a)))) in a 0.821 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in a 0.821 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in a 0.821 * [taylor]: Taking taylor expansion of 1.0 in a 0.821 * [taylor]: Taking taylor expansion of (/ 1 z) in a 0.821 * [taylor]: Taking taylor expansion of z in a 0.821 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in a 0.821 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.821 * [taylor]: Taking taylor expansion of 1.0 in a 0.821 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.821 * [taylor]: Taking taylor expansion of a in a 0.821 * [taylor]: Taking taylor expansion of (/ 1 x) in a 0.821 * [taylor]: Taking taylor expansion of x in a 0.821 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in a 0.821 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a 0.821 * [taylor]: Taking taylor expansion of (* z y) in a 0.821 * [taylor]: Taking taylor expansion of z in a 0.821 * [taylor]: Taking taylor expansion of y in a 0.821 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 0.821 * [taylor]: Taking taylor expansion of (* t a) in a 0.821 * [taylor]: Taking taylor expansion of t in a 0.821 * [taylor]: Taking taylor expansion of a in a 0.822 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) (+ (/ 1 (* z y)) (/ 1 (* t a)))) in t 0.822 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in t 0.822 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t 0.822 * [taylor]: Taking taylor expansion of 1.0 in t 0.822 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.822 * [taylor]: Taking taylor expansion of z in t 0.822 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in t 0.822 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t 0.822 * [taylor]: Taking taylor expansion of 1.0 in t 0.822 * [taylor]: Taking taylor expansion of (/ 1 a) in t 0.822 * [taylor]: Taking taylor expansion of a in t 0.822 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.822 * [taylor]: Taking taylor expansion of x in t 0.822 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in t 0.822 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 0.822 * [taylor]: Taking taylor expansion of (* z y) in t 0.822 * [taylor]: Taking taylor expansion of z in t 0.822 * [taylor]: Taking taylor expansion of y in t 0.822 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 0.822 * [taylor]: Taking taylor expansion of (* t a) in t 0.822 * [taylor]: Taking taylor expansion of t in t 0.822 * [taylor]: Taking taylor expansion of a in t 0.823 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) (+ (/ 1 (* z y)) (/ 1 (* t a)))) in z 0.823 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in z 0.823 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.823 * [taylor]: Taking taylor expansion of 1.0 in z 0.823 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.823 * [taylor]: Taking taylor expansion of z in z 0.823 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in z 0.823 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z 0.823 * [taylor]: Taking taylor expansion of 1.0 in z 0.823 * [taylor]: Taking taylor expansion of (/ 1 a) in z 0.823 * [taylor]: Taking taylor expansion of a in z 0.823 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.823 * [taylor]: Taking taylor expansion of x in z 0.823 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in z 0.823 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.823 * [taylor]: Taking taylor expansion of (* z y) in z 0.823 * [taylor]: Taking taylor expansion of z in z 0.823 * [taylor]: Taking taylor expansion of y in z 0.823 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 0.823 * [taylor]: Taking taylor expansion of (* t a) in z 0.823 * [taylor]: Taking taylor expansion of t in z 0.823 * [taylor]: Taking taylor expansion of a in z 0.824 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) (+ (/ 1 (* z y)) (/ 1 (* t a)))) in y 0.824 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in y 0.824 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.824 * [taylor]: Taking taylor expansion of 1.0 in y 0.824 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.824 * [taylor]: Taking taylor expansion of z in y 0.824 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in y 0.824 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y 0.824 * [taylor]: Taking taylor expansion of 1.0 in y 0.824 * [taylor]: Taking taylor expansion of (/ 1 a) in y 0.824 * [taylor]: Taking taylor expansion of a in y 0.824 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.824 * [taylor]: Taking taylor expansion of x in y 0.824 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y 0.824 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.824 * [taylor]: Taking taylor expansion of (* z y) in y 0.824 * [taylor]: Taking taylor expansion of z in y 0.824 * [taylor]: Taking taylor expansion of y in y 0.824 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 0.824 * [taylor]: Taking taylor expansion of (* t a) in y 0.824 * [taylor]: Taking taylor expansion of t in y 0.824 * [taylor]: Taking taylor expansion of a in y 0.824 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) (+ (/ 1 (* z y)) (/ 1 (* t a)))) in x 0.824 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in x 0.824 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.824 * [taylor]: Taking taylor expansion of 1.0 in x 0.824 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.824 * [taylor]: Taking taylor expansion of z in x 0.824 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x 0.824 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x 0.824 * [taylor]: Taking taylor expansion of 1.0 in x 0.824 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.825 * [taylor]: Taking taylor expansion of a in x 0.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.825 * [taylor]: Taking taylor expansion of x in x 0.825 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x 0.825 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.825 * [taylor]: Taking taylor expansion of (* z y) in x 0.825 * [taylor]: Taking taylor expansion of z in x 0.825 * [taylor]: Taking taylor expansion of y in x 0.825 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 0.825 * [taylor]: Taking taylor expansion of (* t a) in x 0.825 * [taylor]: Taking taylor expansion of t in x 0.825 * [taylor]: Taking taylor expansion of a in x 0.825 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) (+ (/ 1 (* z y)) (/ 1 (* t a)))) in x 0.825 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in x 0.825 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.825 * [taylor]: Taking taylor expansion of 1.0 in x 0.825 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.825 * [taylor]: Taking taylor expansion of z in x 0.825 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x 0.825 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x 0.825 * [taylor]: Taking taylor expansion of 1.0 in x 0.825 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.825 * [taylor]: Taking taylor expansion of a in x 0.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.825 * [taylor]: Taking taylor expansion of x in x 0.826 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in x 0.826 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.826 * [taylor]: Taking taylor expansion of (* z y) in x 0.826 * [taylor]: Taking taylor expansion of z in x 0.826 * [taylor]: Taking taylor expansion of y in x 0.826 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 0.826 * [taylor]: Taking taylor expansion of (* t a) in x 0.826 * [taylor]: Taking taylor expansion of t in x 0.826 * [taylor]: Taking taylor expansion of a in x 0.827 * [taylor]: Taking taylor expansion of 1 in y 0.828 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) (+ (/ 1 (* z y)) (/ 1 (* t a)))) in y 0.828 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) in y 0.828 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.828 * [taylor]: Taking taylor expansion of 1.0 in y 0.828 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.828 * [taylor]: Taking taylor expansion of z in y 0.828 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y 0.828 * [taylor]: Taking taylor expansion of 1.0 in y 0.828 * [taylor]: Taking taylor expansion of (/ 1 a) in y 0.828 * [taylor]: Taking taylor expansion of a in y 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* t a))) in y 0.828 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.828 * [taylor]: Taking taylor expansion of (* z y) in y 0.828 * [taylor]: Taking taylor expansion of z in y 0.828 * [taylor]: Taking taylor expansion of y in y 0.828 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 0.828 * [taylor]: Taking taylor expansion of (* t a) in y 0.828 * [taylor]: Taking taylor expansion of t in y 0.828 * [taylor]: Taking taylor expansion of a in y 0.829 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.829 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.829 * [taylor]: Taking taylor expansion of z in z 0.829 * [taylor]: Taking taylor expansion of -1 in t 0.829 * [taylor]: Taking taylor expansion of 1 in z 0.832 * [taylor]: Taking taylor expansion of 0 in y 0.832 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) (/ 1 (* t a))) in z 0.832 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) in z 0.833 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.833 * [taylor]: Taking taylor expansion of 1.0 in z 0.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.833 * [taylor]: Taking taylor expansion of z in z 0.833 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z 0.833 * [taylor]: Taking taylor expansion of 1.0 in z 0.833 * [taylor]: Taking taylor expansion of (/ 1 a) in z 0.833 * [taylor]: Taking taylor expansion of a in z 0.833 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 0.833 * [taylor]: Taking taylor expansion of (* t a) in z 0.833 * [taylor]: Taking taylor expansion of t in z 0.833 * [taylor]: Taking taylor expansion of a in z 0.834 * [taylor]: Taking taylor expansion of 1.0 in t 0.834 * [taylor]: Taking taylor expansion of 0 in z 0.835 * [taylor]: Taking taylor expansion of 0 in t 0.835 * [taylor]: Taking taylor expansion of 1 in t 0.835 * [taylor]: Taking taylor expansion of -1 in a 0.838 * [taylor]: Taking taylor expansion of 0 in y 0.838 * [taylor]: Taking taylor expansion of 0 in z 0.840 * [taylor]: Taking taylor expansion of 0 in z 0.840 * [taylor]: Taking taylor expansion of 0 in z 0.841 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a)) (/ 1 (* t a))) in t 0.842 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t 0.842 * [taylor]: Taking taylor expansion of 1.0 in t 0.842 * [taylor]: Taking taylor expansion of (/ 1 a) in t 0.842 * [taylor]: Taking taylor expansion of a in t 0.842 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 0.842 * [taylor]: Taking taylor expansion of (* t a) in t 0.842 * [taylor]: Taking taylor expansion of t in t 0.842 * [taylor]: Taking taylor expansion of a in t 0.842 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 0.842 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.842 * [taylor]: Taking taylor expansion of a in a 0.843 * [taylor]: Taking taylor expansion of 0 in t 0.843 * [taylor]: Taking taylor expansion of 0 in t 0.843 * [taylor]: Taking taylor expansion of 0 in t 0.843 * [taylor]: Taking taylor expansion of 1.0 in a 0.843 * [taylor]: Taking taylor expansion of 0 in a 0.843 * [taylor]: Taking taylor expansion of 1 in a 0.843 * [taylor]: Taking taylor expansion of 0 in a 0.848 * [taylor]: Taking taylor expansion of 0 in y 0.848 * [taylor]: Taking taylor expansion of 0 in z 0.848 * [taylor]: Taking taylor expansion of 0 in z 0.851 * [taylor]: Taking taylor expansion of 0 in z 0.851 * [taylor]: Taking taylor expansion of 0 in z 0.851 * [taylor]: Taking taylor expansion of 0 in t 0.851 * [taylor]: Taking taylor expansion of 0 in t 0.851 * [taylor]: Taking taylor expansion of 0 in t 0.853 * [taylor]: Taking taylor expansion of 0 in t 0.853 * [taylor]: Taking taylor expansion of 0 in t 0.854 * [taylor]: Taking taylor expansion of 0 in t 0.854 * [taylor]: Taking taylor expansion of 0 in t 0.855 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.855 * [taylor]: Taking taylor expansion of 1.0 in a 0.855 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.855 * [taylor]: Taking taylor expansion of a in a 0.857 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in (x y z t a) around 0 0.857 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in a 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in a 0.857 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a 0.857 * [taylor]: Taking taylor expansion of (* z y) in a 0.857 * [taylor]: Taking taylor expansion of z in a 0.857 * [taylor]: Taking taylor expansion of y in a 0.857 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in a 0.857 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in a 0.857 * [taylor]: Taking taylor expansion of 1.0 in a 0.858 * [taylor]: Taking taylor expansion of (/ 1 z) in a 0.858 * [taylor]: Taking taylor expansion of z in a 0.858 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in a 0.858 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 0.858 * [taylor]: Taking taylor expansion of (* t a) in a 0.858 * [taylor]: Taking taylor expansion of t in a 0.858 * [taylor]: Taking taylor expansion of a in a 0.858 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in a 0.858 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.858 * [taylor]: Taking taylor expansion of 1.0 in a 0.858 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.858 * [taylor]: Taking taylor expansion of a in a 0.858 * [taylor]: Taking taylor expansion of (/ 1 x) in a 0.858 * [taylor]: Taking taylor expansion of x in a 0.858 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in t 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in t 0.859 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 0.859 * [taylor]: Taking taylor expansion of (* z y) in t 0.859 * [taylor]: Taking taylor expansion of z in t 0.859 * [taylor]: Taking taylor expansion of y in t 0.859 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in t 0.859 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t 0.859 * [taylor]: Taking taylor expansion of 1.0 in t 0.859 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.859 * [taylor]: Taking taylor expansion of z in t 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in t 0.859 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 0.859 * [taylor]: Taking taylor expansion of (* t a) in t 0.859 * [taylor]: Taking taylor expansion of t in t 0.859 * [taylor]: Taking taylor expansion of a in t 0.859 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in t 0.859 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t 0.859 * [taylor]: Taking taylor expansion of 1.0 in t 0.859 * [taylor]: Taking taylor expansion of (/ 1 a) in t 0.859 * [taylor]: Taking taylor expansion of a in t 0.859 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.859 * [taylor]: Taking taylor expansion of x in t 0.859 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in z 0.859 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in z 0.859 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.860 * [taylor]: Taking taylor expansion of (* z y) in z 0.860 * [taylor]: Taking taylor expansion of z in z 0.860 * [taylor]: Taking taylor expansion of y in z 0.860 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in z 0.860 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.860 * [taylor]: Taking taylor expansion of 1.0 in z 0.860 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.860 * [taylor]: Taking taylor expansion of z in z 0.860 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in z 0.860 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 0.860 * [taylor]: Taking taylor expansion of (* t a) in z 0.860 * [taylor]: Taking taylor expansion of t in z 0.860 * [taylor]: Taking taylor expansion of a in z 0.860 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in z 0.860 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z 0.860 * [taylor]: Taking taylor expansion of 1.0 in z 0.860 * [taylor]: Taking taylor expansion of (/ 1 a) in z 0.860 * [taylor]: Taking taylor expansion of a in z 0.860 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.860 * [taylor]: Taking taylor expansion of x in z 0.860 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in y 0.861 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in y 0.861 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.861 * [taylor]: Taking taylor expansion of (* z y) in y 0.861 * [taylor]: Taking taylor expansion of z in y 0.861 * [taylor]: Taking taylor expansion of y in y 0.861 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in y 0.861 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.861 * [taylor]: Taking taylor expansion of 1.0 in y 0.861 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.861 * [taylor]: Taking taylor expansion of z in y 0.861 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in y 0.861 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 0.861 * [taylor]: Taking taylor expansion of (* t a) in y 0.861 * [taylor]: Taking taylor expansion of t in y 0.861 * [taylor]: Taking taylor expansion of a in y 0.861 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in y 0.861 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y 0.861 * [taylor]: Taking taylor expansion of 1.0 in y 0.861 * [taylor]: Taking taylor expansion of (/ 1 a) in y 0.861 * [taylor]: Taking taylor expansion of a in y 0.861 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.861 * [taylor]: Taking taylor expansion of x in y 0.861 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in x 0.861 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in x 0.861 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.861 * [taylor]: Taking taylor expansion of (* z y) in x 0.861 * [taylor]: Taking taylor expansion of z in x 0.861 * [taylor]: Taking taylor expansion of y in x 0.861 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in x 0.861 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.861 * [taylor]: Taking taylor expansion of 1.0 in x 0.861 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.862 * [taylor]: Taking taylor expansion of z in x 0.862 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in x 0.862 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 0.862 * [taylor]: Taking taylor expansion of (* t a) in x 0.862 * [taylor]: Taking taylor expansion of t in x 0.862 * [taylor]: Taking taylor expansion of a in x 0.862 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x 0.862 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x 0.862 * [taylor]: Taking taylor expansion of 1.0 in x 0.862 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.862 * [taylor]: Taking taylor expansion of a in x 0.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.862 * [taylor]: Taking taylor expansion of x in x 0.862 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))))) in x 0.862 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))))) in x 0.862 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.862 * [taylor]: Taking taylor expansion of (* z y) in x 0.862 * [taylor]: Taking taylor expansion of z in x 0.862 * [taylor]: Taking taylor expansion of y in x 0.862 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x)))) in x 0.862 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.862 * [taylor]: Taking taylor expansion of 1.0 in x 0.862 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.862 * [taylor]: Taking taylor expansion of z in x 0.862 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 a)) (/ 1 x))) in x 0.862 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 0.862 * [taylor]: Taking taylor expansion of (* t a) in x 0.862 * [taylor]: Taking taylor expansion of t in x 0.862 * [taylor]: Taking taylor expansion of a in x 0.862 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 a)) (/ 1 x)) in x 0.862 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in x 0.862 * [taylor]: Taking taylor expansion of 1.0 in x 0.862 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.863 * [taylor]: Taking taylor expansion of a in x 0.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.863 * [taylor]: Taking taylor expansion of x in x 0.864 * [taylor]: Taking taylor expansion of -1 in y 0.865 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))))) in y 0.865 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))))) in y 0.865 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.865 * [taylor]: Taking taylor expansion of (* z y) in y 0.865 * [taylor]: Taking taylor expansion of z in y 0.865 * [taylor]: Taking taylor expansion of y in y 0.866 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in y 0.866 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.866 * [taylor]: Taking taylor expansion of 1.0 in y 0.866 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.866 * [taylor]: Taking taylor expansion of z in y 0.866 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in y 0.866 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 0.866 * [taylor]: Taking taylor expansion of (* t a) in y 0.866 * [taylor]: Taking taylor expansion of t in y 0.866 * [taylor]: Taking taylor expansion of a in y 0.866 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y 0.866 * [taylor]: Taking taylor expansion of 1.0 in y 0.866 * [taylor]: Taking taylor expansion of (/ 1 a) in y 0.866 * [taylor]: Taking taylor expansion of a in y 0.866 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.866 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.866 * [taylor]: Taking taylor expansion of z in z 0.867 * [taylor]: Taking taylor expansion of -1 in t 0.867 * [taylor]: Taking taylor expansion of -1 in z 0.869 * [taylor]: Taking taylor expansion of 0 in y 0.870 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))))) in z 0.870 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a)))) in z 0.870 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 0.870 * [taylor]: Taking taylor expansion of (* t a) in z 0.870 * [taylor]: Taking taylor expansion of t in z 0.870 * [taylor]: Taking taylor expansion of a in z 0.870 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) in z 0.870 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.870 * [taylor]: Taking taylor expansion of 1.0 in z 0.870 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.870 * [taylor]: Taking taylor expansion of z in z 0.871 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z 0.871 * [taylor]: Taking taylor expansion of 1.0 in z 0.871 * [taylor]: Taking taylor expansion of (/ 1 a) in z 0.871 * [taylor]: Taking taylor expansion of a in z 0.872 * [taylor]: Taking taylor expansion of (- 1.0) in t 0.872 * [taylor]: Taking taylor expansion of 1.0 in t 0.872 * [taylor]: Taking taylor expansion of 0 in z 0.872 * [taylor]: Taking taylor expansion of 0 in t 0.872 * [taylor]: Taking taylor expansion of -1 in t 0.872 * [taylor]: Taking taylor expansion of -1 in a 0.876 * [taylor]: Taking taylor expansion of 0 in y 0.876 * [taylor]: Taking taylor expansion of 0 in z 0.879 * [taylor]: Taking taylor expansion of 0 in z 0.879 * [taylor]: Taking taylor expansion of 0 in z 0.880 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in t 0.880 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in t 0.880 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 0.880 * [taylor]: Taking taylor expansion of (* t a) in t 0.880 * [taylor]: Taking taylor expansion of t in t 0.880 * [taylor]: Taking taylor expansion of a in t 0.880 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t 0.880 * [taylor]: Taking taylor expansion of 1.0 in t 0.880 * [taylor]: Taking taylor expansion of (/ 1 a) in t 0.880 * [taylor]: Taking taylor expansion of a in t 0.880 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 0.880 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.880 * [taylor]: Taking taylor expansion of a in a 0.881 * [taylor]: Taking taylor expansion of 0 in t 0.882 * [taylor]: Taking taylor expansion of 0 in t 0.882 * [taylor]: Taking taylor expansion of 0 in t 0.882 * [taylor]: Taking taylor expansion of (- 1.0) in a 0.882 * [taylor]: Taking taylor expansion of 1.0 in a 0.882 * [taylor]: Taking taylor expansion of 0 in a 0.882 * [taylor]: Taking taylor expansion of -1 in a 0.882 * [taylor]: Taking taylor expansion of 0 in a 0.887 * [taylor]: Taking taylor expansion of 0 in y 0.887 * [taylor]: Taking taylor expansion of 0 in z 0.887 * [taylor]: Taking taylor expansion of 0 in z 0.890 * [taylor]: Taking taylor expansion of 0 in z 0.890 * [taylor]: Taking taylor expansion of 0 in z 0.890 * [taylor]: Taking taylor expansion of 0 in t 0.890 * [taylor]: Taking taylor expansion of 0 in t 0.890 * [taylor]: Taking taylor expansion of 0 in t 0.892 * [taylor]: Taking taylor expansion of 0 in t 0.892 * [taylor]: Taking taylor expansion of 0 in t 0.893 * [taylor]: Taking taylor expansion of 0 in t 0.893 * [taylor]: Taking taylor expansion of 0 in t 0.893 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in a 0.894 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.894 * [taylor]: Taking taylor expansion of 1.0 in a 0.894 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.894 * [taylor]: Taking taylor expansion of a in a 0.896 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 0.896 * [approximate]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in (x y z) around 0 0.896 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in z 0.896 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in z 0.896 * [taylor]: Taking taylor expansion of x in z 0.896 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 0.896 * [taylor]: Taking taylor expansion of 1.0 in z 0.896 * [taylor]: Taking taylor expansion of z in z 0.896 * [taylor]: Taking taylor expansion of (* z y) in z 0.896 * [taylor]: Taking taylor expansion of z in z 0.896 * [taylor]: Taking taylor expansion of y in z 0.896 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in y 0.896 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in y 0.896 * [taylor]: Taking taylor expansion of x in y 0.896 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 0.896 * [taylor]: Taking taylor expansion of 1.0 in y 0.896 * [taylor]: Taking taylor expansion of z in y 0.896 * [taylor]: Taking taylor expansion of (* z y) in y 0.896 * [taylor]: Taking taylor expansion of z in y 0.896 * [taylor]: Taking taylor expansion of y in y 0.896 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in x 0.896 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in x 0.896 * [taylor]: Taking taylor expansion of x in x 0.896 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 0.896 * [taylor]: Taking taylor expansion of 1.0 in x 0.896 * [taylor]: Taking taylor expansion of z in x 0.896 * [taylor]: Taking taylor expansion of (* z y) in x 0.896 * [taylor]: Taking taylor expansion of z in x 0.896 * [taylor]: Taking taylor expansion of y in x 0.896 * [taylor]: Taking taylor expansion of (- (+ x (* 1.0 z)) (* z y)) in x 0.896 * [taylor]: Taking taylor expansion of (+ x (* 1.0 z)) in x 0.896 * [taylor]: Taking taylor expansion of x in x 0.896 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 0.896 * [taylor]: Taking taylor expansion of 1.0 in x 0.896 * [taylor]: Taking taylor expansion of z in x 0.896 * [taylor]: Taking taylor expansion of (* z y) in x 0.896 * [taylor]: Taking taylor expansion of z in x 0.896 * [taylor]: Taking taylor expansion of y in x 0.897 * [taylor]: Taking taylor expansion of (- (* 1.0 z) (* z y)) in y 0.897 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 0.897 * [taylor]: Taking taylor expansion of 1.0 in y 0.897 * [taylor]: Taking taylor expansion of z in y 0.897 * [taylor]: Taking taylor expansion of (* z y) in y 0.897 * [taylor]: Taking taylor expansion of z in y 0.897 * [taylor]: Taking taylor expansion of y in y 0.897 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 0.897 * [taylor]: Taking taylor expansion of 1.0 in z 0.897 * [taylor]: Taking taylor expansion of z in z 0.898 * [taylor]: Taking taylor expansion of 1 in y 0.898 * [taylor]: Taking taylor expansion of 1 in z 0.899 * [taylor]: Taking taylor expansion of (- z) in z 0.899 * [taylor]: Taking taylor expansion of z in z 0.906 * [taylor]: Taking taylor expansion of 0 in y 0.906 * [taylor]: Taking taylor expansion of 0 in z 0.906 * [taylor]: Taking taylor expansion of 0 in z 0.907 * [taylor]: Taking taylor expansion of 0 in z 0.908 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in (x y z) around 0 0.908 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in z 0.908 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in z 0.908 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.908 * [taylor]: Taking taylor expansion of 1.0 in z 0.908 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.908 * [taylor]: Taking taylor expansion of z in z 0.908 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.908 * [taylor]: Taking taylor expansion of x in z 0.908 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.908 * [taylor]: Taking taylor expansion of (* z y) in z 0.908 * [taylor]: Taking taylor expansion of z in z 0.908 * [taylor]: Taking taylor expansion of y in z 0.909 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in y 0.909 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in y 0.909 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.909 * [taylor]: Taking taylor expansion of 1.0 in y 0.909 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.909 * [taylor]: Taking taylor expansion of z in y 0.909 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.909 * [taylor]: Taking taylor expansion of x in y 0.909 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.909 * [taylor]: Taking taylor expansion of (* z y) in y 0.909 * [taylor]: Taking taylor expansion of z in y 0.909 * [taylor]: Taking taylor expansion of y in y 0.909 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in x 0.909 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in x 0.909 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.909 * [taylor]: Taking taylor expansion of 1.0 in x 0.909 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.909 * [taylor]: Taking taylor expansion of z in x 0.909 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.909 * [taylor]: Taking taylor expansion of x in x 0.910 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.910 * [taylor]: Taking taylor expansion of (* z y) in x 0.910 * [taylor]: Taking taylor expansion of z in x 0.910 * [taylor]: Taking taylor expansion of y in x 0.910 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 x)) (/ 1 (* z y))) in x 0.910 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in x 0.910 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.910 * [taylor]: Taking taylor expansion of 1.0 in x 0.910 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.910 * [taylor]: Taking taylor expansion of z in x 0.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.910 * [taylor]: Taking taylor expansion of x in x 0.910 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.910 * [taylor]: Taking taylor expansion of (* z y) in x 0.910 * [taylor]: Taking taylor expansion of z in x 0.910 * [taylor]: Taking taylor expansion of y in x 0.911 * [taylor]: Taking taylor expansion of 1 in y 0.911 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* z y))) in y 0.911 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.912 * [taylor]: Taking taylor expansion of 1.0 in y 0.912 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.912 * [taylor]: Taking taylor expansion of z in y 0.912 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.912 * [taylor]: Taking taylor expansion of (* z y) in y 0.912 * [taylor]: Taking taylor expansion of z in y 0.912 * [taylor]: Taking taylor expansion of y in y 0.912 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.912 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.912 * [taylor]: Taking taylor expansion of z in z 0.913 * [taylor]: Taking taylor expansion of 1 in z 0.914 * [taylor]: Taking taylor expansion of 0 in y 0.915 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.915 * [taylor]: Taking taylor expansion of 1.0 in z 0.915 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.915 * [taylor]: Taking taylor expansion of z in z 0.915 * [taylor]: Taking taylor expansion of 0 in z 0.917 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in (x y z) around 0 0.917 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in z 0.917 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x))) in z 0.917 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 0.917 * [taylor]: Taking taylor expansion of (* z y) in z 0.917 * [taylor]: Taking taylor expansion of z in z 0.917 * [taylor]: Taking taylor expansion of y in z 0.917 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in z 0.917 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.917 * [taylor]: Taking taylor expansion of 1.0 in z 0.917 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.917 * [taylor]: Taking taylor expansion of z in z 0.917 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.918 * [taylor]: Taking taylor expansion of x in z 0.918 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in y 0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x))) in y 0.918 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.918 * [taylor]: Taking taylor expansion of (* z y) in y 0.918 * [taylor]: Taking taylor expansion of z in y 0.918 * [taylor]: Taking taylor expansion of y in y 0.918 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in y 0.918 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.918 * [taylor]: Taking taylor expansion of 1.0 in y 0.918 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.918 * [taylor]: Taking taylor expansion of z in y 0.918 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.918 * [taylor]: Taking taylor expansion of x in y 0.918 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in x 0.918 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x))) in x 0.918 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.918 * [taylor]: Taking taylor expansion of (* z y) in x 0.918 * [taylor]: Taking taylor expansion of z in x 0.918 * [taylor]: Taking taylor expansion of y in x 0.918 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in x 0.918 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.918 * [taylor]: Taking taylor expansion of 1.0 in x 0.918 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.918 * [taylor]: Taking taylor expansion of z in x 0.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.918 * [taylor]: Taking taylor expansion of x in x 0.919 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x)))) in x 0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (/ 1 x))) in x 0.919 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 0.919 * [taylor]: Taking taylor expansion of (* z y) in x 0.919 * [taylor]: Taking taylor expansion of z in x 0.919 * [taylor]: Taking taylor expansion of y in x 0.919 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 x)) in x 0.919 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 0.919 * [taylor]: Taking taylor expansion of 1.0 in x 0.919 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.919 * [taylor]: Taking taylor expansion of z in x 0.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.919 * [taylor]: Taking taylor expansion of x in x 0.920 * [taylor]: Taking taylor expansion of -1 in y 0.921 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (* 1.0 (/ 1 z)))) in y 0.921 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (* 1.0 (/ 1 z))) in y 0.921 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 0.921 * [taylor]: Taking taylor expansion of (* z y) in y 0.921 * [taylor]: Taking taylor expansion of z in y 0.921 * [taylor]: Taking taylor expansion of y in y 0.921 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 0.921 * [taylor]: Taking taylor expansion of 1.0 in y 0.921 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.921 * [taylor]: Taking taylor expansion of z in y 0.921 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.921 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.921 * [taylor]: Taking taylor expansion of z in z 0.922 * [taylor]: Taking taylor expansion of -1 in z 0.923 * [taylor]: Taking taylor expansion of 0 in y 0.924 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z 0.924 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 0.924 * [taylor]: Taking taylor expansion of 1.0 in z 0.924 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.924 * [taylor]: Taking taylor expansion of z in z 0.925 * [taylor]: Taking taylor expansion of 0 in z 0.926 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.926 * [approximate]: Taking taylor expansion of (* (- t 1.0) a) in (t a) around 0 0.926 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 0.926 * [taylor]: Taking taylor expansion of (- t 1.0) in a 0.926 * [taylor]: Taking taylor expansion of t in a 0.927 * [taylor]: Taking taylor expansion of 1.0 in a 0.927 * [taylor]: Taking taylor expansion of a in a 0.927 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.927 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.927 * [taylor]: Taking taylor expansion of t in t 0.927 * [taylor]: Taking taylor expansion of 1.0 in t 0.927 * [taylor]: Taking taylor expansion of a in t 0.927 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 0.927 * [taylor]: Taking taylor expansion of (- t 1.0) in t 0.927 * [taylor]: Taking taylor expansion of t in t 0.927 * [taylor]: Taking taylor expansion of 1.0 in t 0.927 * [taylor]: Taking taylor expansion of a in t 0.928 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 0.928 * [taylor]: Taking taylor expansion of -1.0 in a 0.928 * [taylor]: Taking taylor expansion of a in a 0.929 * [taylor]: Taking taylor expansion of a in a 0.931 * [taylor]: Taking taylor expansion of 0 in a 0.933 * [taylor]: Taking taylor expansion of 0 in a 0.935 * [taylor]: Taking taylor expansion of 0 in a 0.935 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in (t a) around 0 0.935 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 0.935 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a 0.935 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.935 * [taylor]: Taking taylor expansion of t in a 0.935 * [taylor]: Taking taylor expansion of 1.0 in a 0.936 * [taylor]: Taking taylor expansion of a in a 0.936 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.936 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.936 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.936 * [taylor]: Taking taylor expansion of t in t 0.936 * [taylor]: Taking taylor expansion of 1.0 in t 0.936 * [taylor]: Taking taylor expansion of a in t 0.937 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 0.937 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 0.937 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.937 * [taylor]: Taking taylor expansion of t in t 0.937 * [taylor]: Taking taylor expansion of 1.0 in t 0.937 * [taylor]: Taking taylor expansion of a in t 0.937 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.937 * [taylor]: Taking taylor expansion of a in a 0.939 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 a))) in a 0.939 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.939 * [taylor]: Taking taylor expansion of 1.0 in a 0.939 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.939 * [taylor]: Taking taylor expansion of a in a 0.941 * [taylor]: Taking taylor expansion of 0 in a 0.944 * [taylor]: Taking taylor expansion of 0 in a 0.947 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in (t a) around 0 0.947 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 0.947 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 0.947 * [taylor]: Taking taylor expansion of (/ 1 t) in a 0.947 * [taylor]: Taking taylor expansion of t in a 0.947 * [taylor]: Taking taylor expansion of 1.0 in a 0.947 * [taylor]: Taking taylor expansion of a in a 0.947 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.947 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.947 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.947 * [taylor]: Taking taylor expansion of t in t 0.947 * [taylor]: Taking taylor expansion of 1.0 in t 0.947 * [taylor]: Taking taylor expansion of a in t 0.948 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 0.948 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 0.948 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.948 * [taylor]: Taking taylor expansion of t in t 0.948 * [taylor]: Taking taylor expansion of 1.0 in t 0.948 * [taylor]: Taking taylor expansion of a in t 0.948 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.948 * [taylor]: Taking taylor expansion of a in a 0.949 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 0.949 * [taylor]: Taking taylor expansion of 1.0 in a 0.949 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.949 * [taylor]: Taking taylor expansion of a in a 0.951 * [taylor]: Taking taylor expansion of 0 in a 0.953 * [taylor]: Taking taylor expansion of 0 in a 0.955 * * * [progress]: simplifying candidates 0.956 * [simplify]: Simplifying using # : (expm1 (* (- (+ y t) 2.0) b)) (log1p (* (- (+ y t) 2.0) b)) (* (- (+ y t) 2.0) b) (+ (log (- (+ y t) 2.0)) (log b)) (log (* (- (+ y t) 2.0) b)) (exp (* (- (+ y t) 2.0) b)) (* (* (* (- (+ y t) 2.0) (- (+ y t) 2.0)) (- (+ y t) 2.0)) (* (* b b) b)) (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b))) (cbrt (* (- (+ y t) 2.0) b)) (* (* (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b)) (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (- (+ y t) 2.0) (* (cbrt b) (cbrt b))) (* (- (+ y t) 2.0) (sqrt b)) (* (- (+ y t) 2.0) 1) (* (cbrt (- (+ y t) 2.0)) b) (* (sqrt (- (+ y t) 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (sqrt (+ y t)) (sqrt 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* (- (pow (+ y t) 3) (pow 2.0 3)) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (fma (* (cbrt (- x (* (- y 1.0) z))) (cbrt (- x (* (- y 1.0) z)))) (cbrt (- x (* (- y 1.0) z))) (- (* a (- t 1.0)))) (fma (- a) (- t 1.0) (* a (- t 1.0))) (fma (sqrt (- x (* (- y 1.0) z))) (sqrt (- x (* (- y 1.0) z))) (- (* a (- t 1.0)))) (fma (- a) (- t 1.0) (* a (- t 1.0))) (fma 1 (- x (* (- y 1.0) z)) (- (* a (- t 1.0)))) (fma (- a) (- t 1.0) (* a (- t 1.0))) (expm1 (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (log1p (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (- (* (- t 1.0) a)) (- (* (- t 1.0) a)) (- (* (- t 1.0) a)) (/ (/ (exp x) (exp (* (- y 1.0) z))) (exp (* (- t 1.0) a))) (/ (exp (- x (* (- y 1.0) z))) (exp (* (- t 1.0) a))) (log (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (exp (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (* (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)))) (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (* (* (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (sqrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (sqrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (- (* (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (* (- (pow t 3) (pow 1.0 3)) a))) (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (- (* (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ t 1.0)) (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (* (- (* t t) (* 1.0 1.0)) a))) (* (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (+ t 1.0)) (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (+ x (* (- y 1.0) z)) (* (- (pow t 3) (pow 1.0 3)) a))) (* (+ x (* (- y 1.0) z)) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (- (* (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ t 1.0)) (* (+ x (* (- y 1.0) z)) (* (- (* t t) (* 1.0 1.0)) a))) (* (+ x (* (- y 1.0) z)) (+ t 1.0)) (- (pow (- x (* (- y 1.0) z)) 3) (pow (* (- t 1.0) a) 3)) (+ (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (+ (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- x (* (- y 1.0) z)) (* (- t 1.0) a)))) (- (* (- t 1.0) a)) (- (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (* (* (- t 1.0) a) (* (- t 1.0) a))) (+ (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (- (fma (- z) (- y 1.0) (* z (- y 1.0))) (* (- t 1.0) a)) (- (fma (- z) (- y 1.0) (* z (- y 1.0))) (* (- t 1.0) a)) (- (fma (- z) (- y 1.0) (* z (- y 1.0))) (* (- t 1.0) a)) (- (- (* (- y 1.0) z)) (* (- t 1.0) a)) (- (- (* (- y 1.0) z)) (* (- t 1.0) a)) (+ (* (- y 1.0) z) (* (- t 1.0) a)) (- (* (- t 1.0) a)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z (- y 1.0)))) (fma (- z) (- y 1.0) (* z (- y 1.0))) (fma (sqrt x) (sqrt x) (- (* z (- y 1.0)))) (fma (- z) (- y 1.0) (* z (- y 1.0))) (fma 1 x (- (* z (- y 1.0)))) (fma (- z) (- y 1.0) (* z (- y 1.0))) (expm1 (- x (* (- y 1.0) z))) (log1p (- x (* (- y 1.0) z))) (- (* (- y 1.0) z)) (- (* (- y 1.0) z)) (- (* (- y 1.0) z)) (/ (exp x) (exp (* (- y 1.0) z))) (log (- x (* (- y 1.0) z))) (exp (- x (* (- y 1.0) z))) (* (cbrt (- x (* (- y 1.0) z))) (cbrt (- x (* (- y 1.0) z)))) (cbrt (- x (* (- y 1.0) z))) (* (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z))) (- x (* (- y 1.0) z))) (sqrt (- x (* (- y 1.0) z))) (sqrt (- x (* (- y 1.0) z))) (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ (* x x) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (* x (* (- y 1.0) z)))) (- (* (- y 1.0) z)) (- (* x x) (* (* (- y 1.0) z) (* (- y 1.0) z))) (+ x (* (- y 1.0) z)) (- (* (- y 1.0) z)) (expm1 (* (- t 1.0) a)) (log1p (* (- t 1.0) a)) (* (- t 1.0) a) (+ (log (- t 1.0)) (log a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* a a) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (* (- t 1.0) 1) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (+ (* 1.0 a) (+ x (* 1.0 z))) (- (* 1.0 a) (+ (* z y) (* a t))) (- (* 1.0 a) (+ (* z y) (* a t))) (- (+ x (* 1.0 z)) (* z y)) (- (+ x (* 1.0 z)) (* z y)) (- (+ x (* 1.0 z)) (* z y)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) 0.961 * * [simplify]: iteration 0 : 197 enodes (cost 1597 ) 0.997 * * [simplify]: iteration 1 : 528 enodes (cost 1484 ) 1.146 * * [simplify]: iteration 2 : 1925 enodes (cost 1338 ) 1.557 * * [simplify]: iteration done : 5001 enodes (cost 1338 ) 1.558 * [simplify]: Simplified to: (expm1 (* (- (+ y t) 2.0) b)) (log1p (* (- (+ y t) 2.0) b)) (* (- (+ y t) 2.0) b) (log (* (- (+ y t) 2.0) b)) (log (* (- (+ y t) 2.0) b)) (exp (* (- (+ y t) 2.0) b)) (pow (* (- (+ y t) 2.0) b) 3) (* (cbrt (* (- (+ y t) 2.0) b)) (cbrt (* (- (+ y t) 2.0) b))) (cbrt (* (- (+ y t) 2.0) b)) (pow (* (- (+ y t) 2.0) b) 3) (sqrt (* (- (+ y t) 2.0) b)) (sqrt (* (- (+ y t) 2.0) b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (sqrt (- (+ y t) 2.0)) (sqrt b)) (* (- (+ y t) 2.0) (* (cbrt b) (cbrt b))) (* (- (+ y t) 2.0) (sqrt b)) (- (+ y t) 2.0) (* (cbrt (- (+ y t) 2.0)) b) (* (sqrt (- (+ y t) 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (sqrt (+ y t)) (sqrt 2.0)) b) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* (- (pow (+ y t) 3) (pow 2.0 3)) b) (* (- (* (+ y t) (+ y t)) (* 2.0 2.0)) b) (fma (* (cbrt (- x (* (- y 1.0) z))) (cbrt (- x (* (- y 1.0) z)))) (cbrt (- x (* (- y 1.0) z))) (- (* a (- t 1.0)))) (* (- t 1.0) (+ (- a) a)) (- x (fma (- y 1.0) z (* a (- t 1.0)))) (* (- t 1.0) (+ (- a) a)) (- x (fma (- y 1.0) z (* a (- t 1.0)))) (* (- t 1.0) (+ (- a) a)) (expm1 (- x (fma (- y 1.0) z (* a (- t 1.0))))) (log1p (- x (fma (- y 1.0) z (* a (- t 1.0))))) (- (* (- t 1.0) a)) (- (* (- t 1.0) a)) (- (* (- t 1.0) a)) (exp (- x (fma (- y 1.0) z (* a (- t 1.0))))) (exp (- x (fma (- y 1.0) z (* a (- t 1.0))))) (log (- x (fma (- y 1.0) z (* a (- t 1.0))))) (exp (- x (fma (- y 1.0) z (* a (- t 1.0))))) (* (cbrt (- x (fma (- y 1.0) z (* a (- t 1.0))))) (cbrt (- x (fma (- y 1.0) z (* a (- t 1.0)))))) (cbrt (- x (fma (- y 1.0) z (* a (- t 1.0))))) (pow (- x (fma (- y 1.0) z (* a (- t 1.0)))) 3) (sqrt (- x (fma (- y 1.0) z (* a (- t 1.0))))) (sqrt (- x (fma (- y 1.0) z (* a (- t 1.0))))) (- (* (fma t t (* 1.0 (+ t 1.0))) (- (pow x 3) (pow (* (- y 1.0) z) 3))) (* (* (- (pow t 3) (pow 1.0 3)) a) (fma (* z (- y 1.0)) (fma (- y 1.0) z x) (* x x)))) (* (fma t t (* 1.0 (+ t 1.0))) (fma (* z (- y 1.0)) (fma (- y 1.0) z x) (* x x))) (fma (- (pow x 3) (pow (* (- y 1.0) z) 3)) (+ t 1.0) (- (* (fma (* z (- y 1.0)) (fma (- y 1.0) z x) (* x x)) (* (- (* t t) (* 1.0 1.0)) a)))) (* (+ t 1.0) (fma (* z (- y 1.0)) (fma (- y 1.0) z x) (* x x))) (- (* (fma (- y 1.0) z x) (* (- x (* z (- y 1.0))) (fma t t (* 1.0 (+ t 1.0))))) (* (* (fma (- y 1.0) z x) a) (- (pow t 3) (pow 1.0 3)))) (* (fma (- y 1.0) z x) (fma t t (* 1.0 (+ t 1.0)))) (fma (+ t 1.0) (* (fma (- y 1.0) z x) (- x (* z (- y 1.0)))) (* (- (fma (- y 1.0) z x)) (* (- (* t t) (* 1.0 1.0)) a))) (* (+ t 1.0) (fma (- y 1.0) z x)) (- (pow (- x (* (- y 1.0) z)) 3) (pow (* (- t 1.0) a) 3)) (fma (* (- t 1.0) a) (fma a (- t 1.0) (- x (* z (- y 1.0)))) (* (- x (* (- y 1.0) z)) (- x (* (- y 1.0) z)))) (- (* (- t 1.0) a)) (* (fma a (- t 1.0) (- x (* z (- y 1.0)))) (- x (fma (- y 1.0) z (* a (- t 1.0))))) (fma a (- t 1.0) (- x (* z (- y 1.0)))) (- (* (- y 1.0) (+ (- z) z)) (* (- t 1.0) a)) (- (* (- y 1.0) (+ (- z) z)) (* (- t 1.0) a)) (- (* (- y 1.0) (+ (- z) z)) (* (- t 1.0) a)) (- (fma (- y 1.0) z (* a (- t 1.0)))) (- (fma (- y 1.0) z (* a (- t 1.0)))) (fma (- y 1.0) z (* a (- t 1.0))) (- (* (- t 1.0) a)) (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z (- y 1.0)))) (* (- y 1.0) (+ (- z) z)) (- x (* z (- y 1.0))) (* (- y 1.0) (+ (- z) z)) (- x (* z (- y 1.0))) (* (- y 1.0) (+ (- z) z)) (expm1 (- x (* (- y 1.0) z))) (log1p (- x (* (- y 1.0) z))) (- (* z (- y 1.0))) (- (* z (- y 1.0))) (- (* z (- y 1.0))) (exp (- x (* (- y 1.0) z))) (log (- x (* (- y 1.0) z))) (exp (- x (* (- y 1.0) z))) (* (cbrt (- x (* (- y 1.0) z))) (cbrt (- x (* (- y 1.0) z)))) (cbrt (- x (* (- y 1.0) z))) (pow (- x (* (- y 1.0) z)) 3) (sqrt (- x (* (- y 1.0) z))) (sqrt (- x (* (- y 1.0) z))) (- (pow x 3) (pow (* (- y 1.0) z) 3)) (fma (* z (- y 1.0)) (fma (- y 1.0) z x) (* x x)) (- (* z (- y 1.0))) (* (fma (- y 1.0) z x) (- x (* z (- y 1.0)))) (fma (- y 1.0) z x) (- (* z (- y 1.0))) (expm1 (* (- t 1.0) a)) (log1p (* (- t 1.0) a)) (* (- t 1.0) a) (log (* (- t 1.0) a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (- t 1.0) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (* (- (+ y t) 2.0) b) (fma 1.0 a (fma z 1.0 x)) (- (* 1.0 a) (fma z y (* a t))) (- (* 1.0 a) (fma z y (* a t))) (+ (* z (- 1.0 y)) x) (+ (* z (- 1.0 y)) x) (+ (* z (- 1.0 y)) x) (* (- t 1.0) a) (* (- t 1.0) a) (* (- t 1.0) a) 1.559 * * * [progress]: adding candidates to table 1.906 * * [progress]: iteration 2 / 4 1.906 * * * [progress]: picking best candidate 1.909 * * * * [pick]: Picked # 1.909 * * * [progress]: localizing error 1.927 * * * [progress]: generating rewritten candidates 1.928 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.928 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 1.929 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 1.929 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 1.936 * * * [progress]: generating series expansions 1.937 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.937 * [approximate]: Taking taylor expansion of (pow b 1/3) in (b) around 0 1.937 * [taylor]: Taking taylor expansion of (pow b 1/3) in b 1.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b 1.937 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b 1.937 * [taylor]: Taking taylor expansion of 1/3 in b 1.937 * [taylor]: Taking taylor expansion of (log b) in b 1.937 * [taylor]: Taking taylor expansion of b in b 1.938 * [taylor]: Taking taylor expansion of (pow b 1/3) in b 1.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b 1.938 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b 1.938 * [taylor]: Taking taylor expansion of 1/3 in b 1.938 * [taylor]: Taking taylor expansion of (log b) in b 1.938 * [taylor]: Taking taylor expansion of b in b 1.991 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/3) in (b) around 0 1.991 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 1.991 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 1.991 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 1.991 * [taylor]: Taking taylor expansion of 1/3 in b 1.991 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.991 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.991 * [taylor]: Taking taylor expansion of b in b 1.992 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 1.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 1.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 1.992 * [taylor]: Taking taylor expansion of 1/3 in b 1.992 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 1.992 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.992 * [taylor]: Taking taylor expansion of b in b 2.044 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in (b) around 0 2.044 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b 2.044 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.044 * [taylor]: Taking taylor expansion of -1 in b 2.045 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 2.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 2.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 2.045 * [taylor]: Taking taylor expansion of 1/3 in b 2.045 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.045 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.045 * [taylor]: Taking taylor expansion of b in b 2.046 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b 2.046 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.046 * [taylor]: Taking taylor expansion of -1 in b 2.047 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 2.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 2.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 2.047 * [taylor]: Taking taylor expansion of 1/3 in b 2.047 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.047 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.047 * [taylor]: Taking taylor expansion of b in b 2.116 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 2.116 * [approximate]: Taking taylor expansion of (pow b 1/3) in (b) around 0 2.116 * [taylor]: Taking taylor expansion of (pow b 1/3) in b 2.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b 2.116 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b 2.116 * [taylor]: Taking taylor expansion of 1/3 in b 2.116 * [taylor]: Taking taylor expansion of (log b) in b 2.116 * [taylor]: Taking taylor expansion of b in b 2.116 * [taylor]: Taking taylor expansion of (pow b 1/3) in b 2.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b 2.116 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b 2.116 * [taylor]: Taking taylor expansion of 1/3 in b 2.116 * [taylor]: Taking taylor expansion of (log b) in b 2.117 * [taylor]: Taking taylor expansion of b in b 2.171 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/3) in (b) around 0 2.171 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 2.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 2.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 2.171 * [taylor]: Taking taylor expansion of 1/3 in b 2.171 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.171 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.171 * [taylor]: Taking taylor expansion of b in b 2.172 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 2.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 2.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 2.172 * [taylor]: Taking taylor expansion of 1/3 in b 2.172 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.172 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.172 * [taylor]: Taking taylor expansion of b in b 2.228 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in (b) around 0 2.228 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b 2.228 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.228 * [taylor]: Taking taylor expansion of -1 in b 2.229 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 2.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 2.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 2.229 * [taylor]: Taking taylor expansion of 1/3 in b 2.229 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.229 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.229 * [taylor]: Taking taylor expansion of b in b 2.230 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b 2.230 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.230 * [taylor]: Taking taylor expansion of -1 in b 2.231 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 2.231 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 2.231 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 2.231 * [taylor]: Taking taylor expansion of 1/3 in b 2.231 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.231 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.231 * [taylor]: Taking taylor expansion of b in b 2.299 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 2.299 * [approximate]: Taking taylor expansion of (pow b 1/3) in (b) around 0 2.299 * [taylor]: Taking taylor expansion of (pow b 1/3) in b 2.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b 2.299 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b 2.299 * [taylor]: Taking taylor expansion of 1/3 in b 2.299 * [taylor]: Taking taylor expansion of (log b) in b 2.299 * [taylor]: Taking taylor expansion of b in b 2.300 * [taylor]: Taking taylor expansion of (pow b 1/3) in b 2.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log b))) in b 2.300 * [taylor]: Taking taylor expansion of (* 1/3 (log b)) in b 2.300 * [taylor]: Taking taylor expansion of 1/3 in b 2.300 * [taylor]: Taking taylor expansion of (log b) in b 2.300 * [taylor]: Taking taylor expansion of b in b 2.348 * [approximate]: Taking taylor expansion of (pow (/ 1 b) 1/3) in (b) around 0 2.348 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 2.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 2.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 2.348 * [taylor]: Taking taylor expansion of 1/3 in b 2.348 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.348 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.349 * [taylor]: Taking taylor expansion of b in b 2.349 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 2.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 2.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 2.349 * [taylor]: Taking taylor expansion of 1/3 in b 2.349 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.349 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.350 * [taylor]: Taking taylor expansion of b in b 2.407 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in (b) around 0 2.407 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b 2.407 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.407 * [taylor]: Taking taylor expansion of -1 in b 2.408 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 2.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 2.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 2.408 * [taylor]: Taking taylor expansion of 1/3 in b 2.408 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.408 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.408 * [taylor]: Taking taylor expansion of b in b 2.409 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 b) 1/3)) in b 2.409 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.409 * [taylor]: Taking taylor expansion of -1 in b 2.410 * [taylor]: Taking taylor expansion of (pow (/ 1 b) 1/3) in b 2.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 b)))) in b 2.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 b))) in b 2.410 * [taylor]: Taking taylor expansion of 1/3 in b 2.410 * [taylor]: Taking taylor expansion of (log (/ 1 b)) in b 2.410 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.410 * [taylor]: Taking taylor expansion of b in b 2.477 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 2.477 * [approximate]: Taking taylor expansion of (pow (pow b 2) 1/3) in (b) around 0 2.477 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b 2.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b 2.477 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b 2.477 * [taylor]: Taking taylor expansion of 1/3 in b 2.477 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 2.477 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.477 * [taylor]: Taking taylor expansion of b in b 2.478 * [taylor]: Taking taylor expansion of (pow (pow b 2) 1/3) in b 2.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow b 2)))) in b 2.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow b 2))) in b 2.478 * [taylor]: Taking taylor expansion of 1/3 in b 2.478 * [taylor]: Taking taylor expansion of (log (pow b 2)) in b 2.478 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.478 * [taylor]: Taking taylor expansion of b in b 2.537 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in (b) around 0 2.537 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 2.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 2.537 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 2.537 * [taylor]: Taking taylor expansion of 1/3 in b 2.537 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 2.537 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.537 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.537 * [taylor]: Taking taylor expansion of b in b 2.538 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 2.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 2.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 2.538 * [taylor]: Taking taylor expansion of 1/3 in b 2.538 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 2.538 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.538 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.538 * [taylor]: Taking taylor expansion of b in b 2.600 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow b 2)) 1/3)) in (b) around 0 2.600 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow b 2)) 1/3)) in b 2.600 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b 2.600 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.600 * [taylor]: Taking taylor expansion of -1 in b 2.601 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 2.601 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 2.601 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 2.601 * [taylor]: Taking taylor expansion of 1/3 in b 2.601 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 2.601 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.601 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.601 * [taylor]: Taking taylor expansion of b in b 2.602 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow b 2)) 1/3)) in b 2.603 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in b 2.603 * [taylor]: Taking taylor expansion of (cbrt -1) in b 2.603 * [taylor]: Taking taylor expansion of -1 in b 2.603 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow b 2)) 1/3) in b 2.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow b 2))))) in b 2.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow b 2)))) in b 2.603 * [taylor]: Taking taylor expansion of 1/3 in b 2.603 * [taylor]: Taking taylor expansion of (log (/ 1 (pow b 2))) in b 2.603 * [taylor]: Taking taylor expansion of (/ 1 (pow b 2)) in b 2.603 * [taylor]: Taking taylor expansion of (pow b 2) in b 2.603 * [taylor]: Taking taylor expansion of b in b 2.684 * * * [progress]: simplifying candidates 2.685 * [simplify]: Simplifying using # : (expm1 (cbrt b)) (log1p (cbrt b)) (log (cbrt b)) (exp (cbrt b)) (cbrt (* (cbrt b) (cbrt b))) (cbrt (cbrt b)) (cbrt (sqrt b)) (cbrt (sqrt b)) (cbrt 1) (cbrt b) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)) (* (* (cbrt b) (cbrt b)) (cbrt b)) (sqrt (cbrt b)) (sqrt (cbrt b)) (expm1 (cbrt b)) (log1p (cbrt b)) (log (cbrt b)) (exp (cbrt b)) (cbrt (* (cbrt b) (cbrt b))) (cbrt (cbrt b)) (cbrt (sqrt b)) (cbrt (sqrt b)) (cbrt 1) (cbrt b) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)) (* (* (cbrt b) (cbrt b)) (cbrt b)) (sqrt (cbrt b)) (sqrt (cbrt b)) (expm1 (cbrt b)) (log1p (cbrt b)) (log (cbrt b)) (exp (cbrt b)) (cbrt (* (cbrt b) (cbrt b))) (cbrt (cbrt b)) (cbrt (sqrt b)) (cbrt (sqrt b)) (cbrt 1) (cbrt b) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)) (* (* (cbrt b) (cbrt b)) (cbrt b)) (sqrt (cbrt b)) (sqrt (cbrt b)) (expm1 (* (cbrt b) (cbrt b))) (log1p (* (cbrt b) (cbrt b))) (+ 1/3 1/3) (+ 1 1) (* b b) (* (cbrt b) (cbrt b)) (+ 1 1) (+ (log (cbrt b)) (log (cbrt b))) (log (* (cbrt b) (cbrt b))) (exp (* (cbrt b) (cbrt b))) (* b b) (* (cbrt (* (cbrt b) (cbrt b))) (cbrt (* (cbrt b) (cbrt b)))) (cbrt (* (cbrt b) (cbrt b))) (* (* (* (cbrt b) (cbrt b)) (* (cbrt b) (cbrt b))) (* (cbrt b) (cbrt b))) (sqrt (* (cbrt b) (cbrt b))) (sqrt (* (cbrt b) (cbrt b))) (* (cbrt (* (cbrt b) (cbrt b))) (cbrt (* (cbrt b) (cbrt b)))) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (* (cbrt (sqrt b)) (cbrt (sqrt b))) (* (cbrt (sqrt b)) (cbrt (sqrt b))) (* (cbrt 1) (cbrt 1)) (* (cbrt b) (cbrt b)) (* (* (cbrt (cbrt b)) (cbrt (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (* (sqrt (cbrt b)) (sqrt (cbrt b))) (* (sqrt (cbrt b)) (sqrt (cbrt b))) (* 1 1) (* (cbrt b) (cbrt b)) (* (cbrt (sqrt b)) (cbrt (sqrt b))) (* (cbrt (sqrt b)) (cbrt (sqrt b))) (* (cbrt (sqrt b)) (sqrt (cbrt b))) (* (cbrt (sqrt b)) (sqrt (cbrt b))) (* (sqrt (cbrt b)) (cbrt (sqrt b))) (* (sqrt (cbrt b)) (cbrt (sqrt b))) (* (sqrt (cbrt b)) (sqrt (cbrt b))) (* (sqrt (cbrt b)) (sqrt (cbrt b))) (* 2 1/3) (* 2 1) (* (cbrt b) (cbrt (* (cbrt b) (cbrt b)))) (* (cbrt b) (cbrt (sqrt b))) (* (cbrt b) (cbrt 1)) (* (cbrt b) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (* (cbrt b) (sqrt (cbrt b))) (* (cbrt b) 1) (* (cbrt (cbrt b)) (cbrt b)) (* (cbrt (sqrt b)) (cbrt b)) (* (cbrt b) (cbrt b)) (* (cbrt (cbrt b)) (cbrt b)) (* (sqrt (cbrt b)) (cbrt b)) (* (cbrt b) (cbrt b)) (pow b 1/3) (pow (/ 1 b) -1/3) (* (pow (* -1 b) 1/3) (cbrt -1)) (pow b 1/3) (pow (/ 1 b) -1/3) (* (pow (* -1 b) 1/3) (cbrt -1)) (pow b 1/3) (pow (/ 1 b) -1/3) (* (pow (* -1 b) 1/3) (cbrt -1)) (pow b 2/3) (pow (/ 1 b) -2/3) (* (pow (cbrt -1) 2) (pow (pow b 2) 1/3)) 2.687 * * [simplify]: iteration 0 : 65 enodes (cost 554 ) 2.704 * * [simplify]: iteration 1 : 119 enodes (cost 443 ) 2.724 * * [simplify]: iteration 2 : 329 enodes (cost 423 ) 2.893 * * [simplify]: iteration 3 : 1179 enodes (cost 405 ) 3.685 * * [simplify]: iteration 4 : 3769 enodes (cost 400 ) 5.665 * * [simplify]: iteration done : 5000 enodes (cost 400 ) 5.665 * [simplify]: Simplified to: (expm1 (cbrt b)) (log1p (cbrt b)) (log (cbrt b)) (exp (cbrt b)) (cbrt (pow b 2/3)) (cbrt (cbrt b)) (cbrt (sqrt b)) (cbrt (sqrt b)) 1 (cbrt b) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)) b (sqrt (cbrt b)) (sqrt (cbrt b)) (expm1 (cbrt b)) (log1p (cbrt b)) (log (cbrt b)) (exp (cbrt b)) (cbrt (pow b 2/3)) (cbrt (cbrt b)) (cbrt (sqrt b)) (cbrt (sqrt b)) 1 (cbrt b) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)) b (sqrt (cbrt b)) (sqrt (cbrt b)) (expm1 (cbrt b)) (log1p (cbrt b)) (log (cbrt b)) (exp (cbrt b)) (cbrt (pow b 2/3)) (cbrt (cbrt b)) (cbrt (sqrt b)) (cbrt (sqrt b)) 1 (cbrt b) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt (cbrt b)) b (sqrt (cbrt b)) (sqrt (cbrt b)) (expm1 (pow b 2/3)) (log1p (pow b 2/3)) 2/3 2 (* b b) (pow b 2/3) 2 (log (pow b 2/3)) (log (pow b 2/3)) (exp (pow b 2/3)) (* b b) (* (cbrt (pow b 2/3)) (cbrt (pow b 2/3))) (cbrt (pow b 2/3)) (* b b) (fabs (cbrt b)) (fabs (cbrt b)) (* (cbrt (pow b 2/3)) (cbrt (pow b 2/3))) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (* (cbrt (sqrt b)) (cbrt (sqrt b))) (* (cbrt (sqrt b)) (cbrt (sqrt b))) 1 (pow b 2/3) (pow (cbrt (cbrt b)) 4) (* (cbrt (cbrt b)) (cbrt (cbrt b))) (cbrt b) (cbrt b) 1 (pow b 2/3) (* (cbrt (sqrt b)) (cbrt (sqrt b))) (* (cbrt (sqrt b)) (cbrt (sqrt b))) (* (cbrt (sqrt b)) (sqrt (cbrt b))) (* (cbrt (sqrt b)) (sqrt (cbrt b))) (* (cbrt (sqrt b)) (sqrt (cbrt b))) (* (cbrt (sqrt b)) (sqrt (cbrt b))) (cbrt b) (cbrt b) 2/3 2 (* (cbrt (pow b 2/3)) (cbrt b)) (* (cbrt b) (cbrt (sqrt b))) (cbrt b) (pow (cbrt (cbrt b)) 5) (pow (sqrt (cbrt b)) 3) (cbrt b) (pow (cbrt (cbrt b)) 4) (* (cbrt b) (cbrt (sqrt b))) (pow b 2/3) (pow (cbrt (cbrt b)) 4) (pow (sqrt (cbrt b)) 3) (pow b 2/3) (cbrt b) (pow (/ 1 b) -1/3) (* (cbrt -1) (cbrt (- b))) (cbrt b) (pow (/ 1 b) -1/3) (* (cbrt -1) (cbrt (- b))) (cbrt b) (pow (/ 1 b) -1/3) (* (cbrt -1) (cbrt (- b))) (pow b 2/3) (pow (/ 1 b) -2/3) (* (pow b 2/3) (pow (cbrt -1) 2)) 5.666 * * * [progress]: adding candidates to table 6.002 * [progress]: [Phase 3 of 3] Extracting. 6.002 * * [regime]: Finding splitpoints for: (# #) 6.003 * * * [regime-changes]: Trying 7 branch expressions: ((+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) b a t z y x) 6.003 * * * * [regimes]: Trying to branch on (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) from (# #) 6.023 * * * * [regimes]: Trying to branch on b from (# #) 6.044 * * * * [regimes]: Trying to branch on a from (# #) 6.061 * * * * [regimes]: Trying to branch on t from (# #) 6.083 * * * * [regimes]: Trying to branch on z from (# #) 6.103 * * * * [regimes]: Trying to branch on y from (# #) 6.122 * * * * [regimes]: Trying to branch on x from (# #) 6.143 * * * [regime]: Found split indices: #