14.918 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying using # : (+ (* (/ x y) (- z t)) t) 0.024 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.025 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 0.027 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 0.034 * * [simplify]: iteration 3 : 54 enodes (cost 8 ) 0.042 * * [simplify]: iteration 4 : 86 enodes (cost 8 ) 0.053 * * [simplify]: iteration 5 : 121 enodes (cost 8 ) 0.071 * * [simplify]: iteration 6 : 154 enodes (cost 8 ) 0.097 * * [simplify]: iteration 7 : 192 enodes (cost 8 ) 0.146 * * [simplify]: iteration 8 : 243 enodes (cost 8 ) 0.194 * * [simplify]: iteration 9 : 321 enodes (cost 8 ) 0.309 * * [simplify]: iteration 10 : 428 enodes (cost 8 ) 0.391 * * [simplify]: iteration 11 : 480 enodes (cost 8 ) 0.491 * * [simplify]: iteration 12 : 541 enodes (cost 8 ) 0.626 * * [simplify]: iteration 13 : 597 enodes (cost 8 ) 0.755 * * [simplify]: iteration 14 : 619 enodes (cost 8 ) 0.933 * * [simplify]: iteration 15 : 659 enodes (cost 8 ) 1.131 * * [simplify]: iteration 16 : 759 enodes (cost 8 ) 1.466 * * [simplify]: iteration 17 : 1019 enodes (cost 8 ) 1.858 * * [simplify]: iteration 18 : 1330 enodes (cost 8 ) 2.565 * * [simplify]: iteration 19 : 1929 enodes (cost 8 ) 3.610 * * [simplify]: iteration 20 : 2482 enodes (cost 8 ) 4.430 * * [simplify]: iteration 21 : 2579 enodes (cost 8 ) 5.232 * * [simplify]: iteration 22 : 2585 enodes (cost 8 ) 6.093 * * [simplify]: iteration done : 2585 enodes (cost 8 ) 6.093 * [simplify]: Simplified to: (fma (/ x y) (- z t) t) 6.100 * * [progress]: iteration 1 / 4 6.100 * * * [progress]: picking best candidate 6.103 * * * * [pick]: Picked # 6.103 * * * [progress]: localizing error 6.113 * * * [progress]: generating rewritten candidates 6.113 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.114 * * * [progress]: generating series expansions 6.114 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.115 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 6.115 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 6.115 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.115 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 6.115 * [taylor]: Taking taylor expansion of (/ x y) in t 6.115 * [taylor]: Taking taylor expansion of x in t 6.115 * [taylor]: Taking taylor expansion of y in t 6.115 * [taylor]: Taking taylor expansion of (- z t) in t 6.115 * [taylor]: Taking taylor expansion of z in t 6.115 * [taylor]: Taking taylor expansion of t in t 6.115 * [taylor]: Taking taylor expansion of t in t 6.115 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 6.115 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.115 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 6.115 * [taylor]: Taking taylor expansion of (/ x y) in z 6.115 * [taylor]: Taking taylor expansion of x in z 6.115 * [taylor]: Taking taylor expansion of y in z 6.115 * [taylor]: Taking taylor expansion of (- z t) in z 6.115 * [taylor]: Taking taylor expansion of z in z 6.115 * [taylor]: Taking taylor expansion of t in z 6.115 * [taylor]: Taking taylor expansion of t in z 6.115 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 6.116 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.116 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 6.116 * [taylor]: Taking taylor expansion of (/ x y) in y 6.116 * [taylor]: Taking taylor expansion of x in y 6.116 * [taylor]: Taking taylor expansion of y in y 6.116 * [taylor]: Taking taylor expansion of (- z t) in y 6.116 * [taylor]: Taking taylor expansion of z in y 6.116 * [taylor]: Taking taylor expansion of t in y 6.116 * [taylor]: Taking taylor expansion of t in y 6.116 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 6.116 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.116 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 6.116 * [taylor]: Taking taylor expansion of (/ x y) in x 6.116 * [taylor]: Taking taylor expansion of x in x 6.116 * [taylor]: Taking taylor expansion of y in x 6.116 * [taylor]: Taking taylor expansion of (- z t) in x 6.116 * [taylor]: Taking taylor expansion of z in x 6.116 * [taylor]: Taking taylor expansion of t in x 6.116 * [taylor]: Taking taylor expansion of t in x 6.116 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 6.116 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.117 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 6.117 * [taylor]: Taking taylor expansion of (/ x y) in x 6.117 * [taylor]: Taking taylor expansion of x in x 6.117 * [taylor]: Taking taylor expansion of y in x 6.117 * [taylor]: Taking taylor expansion of (- z t) in x 6.117 * [taylor]: Taking taylor expansion of z in x 6.117 * [taylor]: Taking taylor expansion of t in x 6.117 * [taylor]: Taking taylor expansion of t in x 6.117 * [taylor]: Taking taylor expansion of t in y 6.117 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 6.117 * [taylor]: Taking taylor expansion of (/ z y) in y 6.117 * [taylor]: Taking taylor expansion of z in y 6.117 * [taylor]: Taking taylor expansion of y in y 6.117 * [taylor]: Taking taylor expansion of (/ t y) in y 6.117 * [taylor]: Taking taylor expansion of t in y 6.117 * [taylor]: Taking taylor expansion of y in y 6.117 * [taylor]: Taking taylor expansion of (- z t) in z 6.118 * [taylor]: Taking taylor expansion of z in z 6.118 * [taylor]: Taking taylor expansion of t in z 6.118 * [taylor]: Taking taylor expansion of (- t) in t 6.118 * [taylor]: Taking taylor expansion of t in t 6.118 * [taylor]: Taking taylor expansion of t in z 6.118 * [taylor]: Taking taylor expansion of t in t 6.120 * [taylor]: Taking taylor expansion of 0 in y 6.122 * [taylor]: Taking taylor expansion of 0 in z 6.122 * [taylor]: Taking taylor expansion of 0 in t 6.122 * [taylor]: Taking taylor expansion of 0 in z 6.122 * [taylor]: Taking taylor expansion of 0 in t 6.123 * [taylor]: Taking taylor expansion of 1 in t 6.123 * [taylor]: Taking taylor expansion of 0 in t 6.125 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 6.125 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 6.125 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.125 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 6.125 * [taylor]: Taking taylor expansion of (/ y x) in t 6.125 * [taylor]: Taking taylor expansion of y in t 6.125 * [taylor]: Taking taylor expansion of x in t 6.125 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 6.125 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.125 * [taylor]: Taking taylor expansion of z in t 6.125 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.125 * [taylor]: Taking taylor expansion of t in t 6.126 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.126 * [taylor]: Taking taylor expansion of t in t 6.126 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 6.126 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.126 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 6.126 * [taylor]: Taking taylor expansion of (/ y x) in z 6.126 * [taylor]: Taking taylor expansion of y in z 6.126 * [taylor]: Taking taylor expansion of x in z 6.126 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.126 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.126 * [taylor]: Taking taylor expansion of z in z 6.132 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.132 * [taylor]: Taking taylor expansion of t in z 6.132 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.132 * [taylor]: Taking taylor expansion of t in z 6.132 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 6.132 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.132 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 6.132 * [taylor]: Taking taylor expansion of (/ y x) in y 6.132 * [taylor]: Taking taylor expansion of y in y 6.132 * [taylor]: Taking taylor expansion of x in y 6.132 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 6.132 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.132 * [taylor]: Taking taylor expansion of z in y 6.132 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.132 * [taylor]: Taking taylor expansion of t in y 6.132 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.132 * [taylor]: Taking taylor expansion of t in y 6.132 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 6.133 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.133 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 6.133 * [taylor]: Taking taylor expansion of (/ y x) in x 6.133 * [taylor]: Taking taylor expansion of y in x 6.133 * [taylor]: Taking taylor expansion of x in x 6.133 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 6.133 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.133 * [taylor]: Taking taylor expansion of z in x 6.133 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.133 * [taylor]: Taking taylor expansion of t in x 6.133 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.133 * [taylor]: Taking taylor expansion of t in x 6.133 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 6.133 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.133 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 6.133 * [taylor]: Taking taylor expansion of (/ y x) in x 6.133 * [taylor]: Taking taylor expansion of y in x 6.133 * [taylor]: Taking taylor expansion of x in x 6.133 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 6.133 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.133 * [taylor]: Taking taylor expansion of z in x 6.133 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.133 * [taylor]: Taking taylor expansion of t in x 6.133 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.133 * [taylor]: Taking taylor expansion of t in x 6.134 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 6.134 * [taylor]: Taking taylor expansion of (/ y z) in y 6.134 * [taylor]: Taking taylor expansion of y in y 6.134 * [taylor]: Taking taylor expansion of z in y 6.134 * [taylor]: Taking taylor expansion of (/ y t) in y 6.134 * [taylor]: Taking taylor expansion of y in y 6.134 * [taylor]: Taking taylor expansion of t in y 6.136 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.136 * [taylor]: Taking taylor expansion of t in y 6.136 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.136 * [taylor]: Taking taylor expansion of t in z 6.136 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.137 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.137 * [taylor]: Taking taylor expansion of z in z 6.137 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.137 * [taylor]: Taking taylor expansion of t in z 6.137 * [taylor]: Taking taylor expansion of 1 in t 6.140 * [taylor]: Taking taylor expansion of 0 in y 6.140 * [taylor]: Taking taylor expansion of 0 in z 6.140 * [taylor]: Taking taylor expansion of 0 in z 6.141 * [taylor]: Taking taylor expansion of 0 in z 6.141 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.141 * [taylor]: Taking taylor expansion of t in t 6.142 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 6.142 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.142 * [taylor]: Taking taylor expansion of t in t 6.143 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 6.143 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 6.143 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.143 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 6.143 * [taylor]: Taking taylor expansion of (/ y x) in t 6.143 * [taylor]: Taking taylor expansion of y in t 6.143 * [taylor]: Taking taylor expansion of x in t 6.143 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 6.143 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.143 * [taylor]: Taking taylor expansion of t in t 6.144 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.144 * [taylor]: Taking taylor expansion of z in t 6.144 * [taylor]: Taking taylor expansion of (/ -1 t) in t 6.144 * [taylor]: Taking taylor expansion of -1 in t 6.144 * [taylor]: Taking taylor expansion of t in t 6.144 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 6.144 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.144 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 6.144 * [taylor]: Taking taylor expansion of (/ y x) in z 6.144 * [taylor]: Taking taylor expansion of y in z 6.144 * [taylor]: Taking taylor expansion of x in z 6.144 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.144 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.144 * [taylor]: Taking taylor expansion of t in z 6.144 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.144 * [taylor]: Taking taylor expansion of z in z 6.145 * [taylor]: Taking taylor expansion of (/ -1 t) in z 6.145 * [taylor]: Taking taylor expansion of -1 in z 6.145 * [taylor]: Taking taylor expansion of t in z 6.145 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 6.145 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.145 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 6.145 * [taylor]: Taking taylor expansion of (/ y x) in y 6.145 * [taylor]: Taking taylor expansion of y in y 6.145 * [taylor]: Taking taylor expansion of x in y 6.145 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 6.145 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.145 * [taylor]: Taking taylor expansion of t in y 6.145 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.145 * [taylor]: Taking taylor expansion of z in y 6.145 * [taylor]: Taking taylor expansion of (/ -1 t) in y 6.145 * [taylor]: Taking taylor expansion of -1 in y 6.145 * [taylor]: Taking taylor expansion of t in y 6.145 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 6.145 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.145 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 6.145 * [taylor]: Taking taylor expansion of (/ y x) in x 6.145 * [taylor]: Taking taylor expansion of y in x 6.145 * [taylor]: Taking taylor expansion of x in x 6.145 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 6.145 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.145 * [taylor]: Taking taylor expansion of t in x 6.145 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.145 * [taylor]: Taking taylor expansion of z in x 6.145 * [taylor]: Taking taylor expansion of (/ -1 t) in x 6.145 * [taylor]: Taking taylor expansion of -1 in x 6.145 * [taylor]: Taking taylor expansion of t in x 6.146 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 6.146 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.146 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 6.146 * [taylor]: Taking taylor expansion of (/ y x) in x 6.146 * [taylor]: Taking taylor expansion of y in x 6.146 * [taylor]: Taking taylor expansion of x in x 6.146 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 6.146 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.146 * [taylor]: Taking taylor expansion of t in x 6.146 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.146 * [taylor]: Taking taylor expansion of z in x 6.146 * [taylor]: Taking taylor expansion of (/ -1 t) in x 6.146 * [taylor]: Taking taylor expansion of -1 in x 6.146 * [taylor]: Taking taylor expansion of t in x 6.146 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 6.146 * [taylor]: Taking taylor expansion of (/ y t) in y 6.146 * [taylor]: Taking taylor expansion of y in y 6.146 * [taylor]: Taking taylor expansion of t in y 6.146 * [taylor]: Taking taylor expansion of (/ y z) in y 6.146 * [taylor]: Taking taylor expansion of y in y 6.146 * [taylor]: Taking taylor expansion of z in y 6.147 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 6.147 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.148 * [taylor]: Taking taylor expansion of t in y 6.148 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 6.148 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.148 * [taylor]: Taking taylor expansion of t in z 6.148 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.148 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.148 * [taylor]: Taking taylor expansion of t in z 6.148 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.148 * [taylor]: Taking taylor expansion of z in z 6.149 * [taylor]: Taking taylor expansion of -1 in t 6.151 * [taylor]: Taking taylor expansion of 0 in y 6.151 * [taylor]: Taking taylor expansion of 0 in z 6.151 * [taylor]: Taking taylor expansion of 0 in z 6.152 * [taylor]: Taking taylor expansion of 0 in z 6.152 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 6.152 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.152 * [taylor]: Taking taylor expansion of t in t 6.153 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.153 * [taylor]: Taking taylor expansion of t in t 6.154 * * * [progress]: simplifying candidates 6.154 * [simplify]: Simplifying using # : (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) 6.156 * * [simplify]: iteration 0 : 23 enodes (cost 154 ) 6.158 * * [simplify]: iteration 1 : 41 enodes (cost 154 ) 6.163 * * [simplify]: iteration 2 : 89 enodes (cost 138 ) 6.179 * * [simplify]: iteration 3 : 214 enodes (cost 123 ) 6.242 * * [simplify]: iteration 4 : 942 enodes (cost 123 ) 6.870 * * [simplify]: iteration done : 5002 enodes (cost 123 ) 6.870 * [simplify]: Simplified to: (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) 6.870 * * * [progress]: adding candidates to table 6.899 * * [progress]: iteration 2 / 4 6.899 * * * [progress]: picking best candidate 6.905 * * * * [pick]: Picked # 6.905 * * * [progress]: localizing error 6.915 * * * [progress]: generating rewritten candidates 6.915 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 6.916 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 6.916 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 6.916 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 6.917 * * * [progress]: generating series expansions 6.917 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 6.917 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 6.917 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 6.917 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.917 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 6.917 * [taylor]: Taking taylor expansion of (/ x y) in t 6.917 * [taylor]: Taking taylor expansion of x in t 6.918 * [taylor]: Taking taylor expansion of y in t 6.918 * [taylor]: Taking taylor expansion of (- z t) in t 6.918 * [taylor]: Taking taylor expansion of z in t 6.918 * [taylor]: Taking taylor expansion of t in t 6.918 * [taylor]: Taking taylor expansion of t in t 6.918 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 6.918 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.918 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 6.918 * [taylor]: Taking taylor expansion of (/ x y) in z 6.918 * [taylor]: Taking taylor expansion of x in z 6.918 * [taylor]: Taking taylor expansion of y in z 6.918 * [taylor]: Taking taylor expansion of (- z t) in z 6.918 * [taylor]: Taking taylor expansion of z in z 6.918 * [taylor]: Taking taylor expansion of t in z 6.918 * [taylor]: Taking taylor expansion of t in z 6.918 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 6.918 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.918 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 6.918 * [taylor]: Taking taylor expansion of (/ x y) in y 6.918 * [taylor]: Taking taylor expansion of x in y 6.918 * [taylor]: Taking taylor expansion of y in y 6.918 * [taylor]: Taking taylor expansion of (- z t) in y 6.918 * [taylor]: Taking taylor expansion of z in y 6.918 * [taylor]: Taking taylor expansion of t in y 6.918 * [taylor]: Taking taylor expansion of t in y 6.918 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 6.918 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.918 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 6.918 * [taylor]: Taking taylor expansion of (/ x y) in x 6.918 * [taylor]: Taking taylor expansion of x in x 6.918 * [taylor]: Taking taylor expansion of y in x 6.918 * [taylor]: Taking taylor expansion of (- z t) in x 6.918 * [taylor]: Taking taylor expansion of z in x 6.918 * [taylor]: Taking taylor expansion of t in x 6.918 * [taylor]: Taking taylor expansion of t in x 6.918 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 6.918 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.918 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 6.918 * [taylor]: Taking taylor expansion of (/ x y) in x 6.918 * [taylor]: Taking taylor expansion of x in x 6.919 * [taylor]: Taking taylor expansion of y in x 6.919 * [taylor]: Taking taylor expansion of (- z t) in x 6.919 * [taylor]: Taking taylor expansion of z in x 6.919 * [taylor]: Taking taylor expansion of t in x 6.919 * [taylor]: Taking taylor expansion of t in x 6.919 * [taylor]: Taking taylor expansion of t in y 6.919 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 6.919 * [taylor]: Taking taylor expansion of (/ z y) in y 6.919 * [taylor]: Taking taylor expansion of z in y 6.919 * [taylor]: Taking taylor expansion of y in y 6.919 * [taylor]: Taking taylor expansion of (/ t y) in y 6.919 * [taylor]: Taking taylor expansion of t in y 6.919 * [taylor]: Taking taylor expansion of y in y 6.919 * [taylor]: Taking taylor expansion of (- z t) in z 6.919 * [taylor]: Taking taylor expansion of z in z 6.919 * [taylor]: Taking taylor expansion of t in z 6.919 * [taylor]: Taking taylor expansion of (- t) in t 6.919 * [taylor]: Taking taylor expansion of t in t 6.920 * [taylor]: Taking taylor expansion of t in z 6.920 * [taylor]: Taking taylor expansion of t in t 6.920 * [taylor]: Taking taylor expansion of 0 in y 6.922 * [taylor]: Taking taylor expansion of 0 in z 6.922 * [taylor]: Taking taylor expansion of 0 in t 6.922 * [taylor]: Taking taylor expansion of 0 in z 6.922 * [taylor]: Taking taylor expansion of 0 in t 6.923 * [taylor]: Taking taylor expansion of 1 in t 6.923 * [taylor]: Taking taylor expansion of 0 in t 6.924 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 6.924 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 6.924 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.924 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 6.924 * [taylor]: Taking taylor expansion of (/ y x) in t 6.924 * [taylor]: Taking taylor expansion of y in t 6.924 * [taylor]: Taking taylor expansion of x in t 6.924 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 6.924 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.924 * [taylor]: Taking taylor expansion of z in t 6.924 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.924 * [taylor]: Taking taylor expansion of t in t 6.924 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.924 * [taylor]: Taking taylor expansion of t in t 6.928 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 6.928 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.928 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 6.928 * [taylor]: Taking taylor expansion of (/ y x) in z 6.928 * [taylor]: Taking taylor expansion of y in z 6.928 * [taylor]: Taking taylor expansion of x in z 6.928 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.928 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.928 * [taylor]: Taking taylor expansion of z in z 6.928 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.928 * [taylor]: Taking taylor expansion of t in z 6.928 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.928 * [taylor]: Taking taylor expansion of t in z 6.928 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 6.928 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.928 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 6.928 * [taylor]: Taking taylor expansion of (/ y x) in y 6.928 * [taylor]: Taking taylor expansion of y in y 6.928 * [taylor]: Taking taylor expansion of x in y 6.929 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 6.929 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.929 * [taylor]: Taking taylor expansion of z in y 6.929 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.929 * [taylor]: Taking taylor expansion of t in y 6.929 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.929 * [taylor]: Taking taylor expansion of t in y 6.929 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 6.929 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.929 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 6.929 * [taylor]: Taking taylor expansion of (/ y x) in x 6.929 * [taylor]: Taking taylor expansion of y in x 6.929 * [taylor]: Taking taylor expansion of x in x 6.929 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 6.929 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.929 * [taylor]: Taking taylor expansion of z in x 6.929 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.929 * [taylor]: Taking taylor expansion of t in x 6.929 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.929 * [taylor]: Taking taylor expansion of t in x 6.929 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 6.929 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.929 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 6.929 * [taylor]: Taking taylor expansion of (/ y x) in x 6.929 * [taylor]: Taking taylor expansion of y in x 6.929 * [taylor]: Taking taylor expansion of x in x 6.929 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 6.929 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.929 * [taylor]: Taking taylor expansion of z in x 6.929 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.929 * [taylor]: Taking taylor expansion of t in x 6.929 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.929 * [taylor]: Taking taylor expansion of t in x 6.930 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 6.930 * [taylor]: Taking taylor expansion of (/ y z) in y 6.930 * [taylor]: Taking taylor expansion of y in y 6.930 * [taylor]: Taking taylor expansion of z in y 6.930 * [taylor]: Taking taylor expansion of (/ y t) in y 6.930 * [taylor]: Taking taylor expansion of y in y 6.930 * [taylor]: Taking taylor expansion of t in y 6.931 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.931 * [taylor]: Taking taylor expansion of t in y 6.931 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.931 * [taylor]: Taking taylor expansion of t in z 6.931 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.931 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.931 * [taylor]: Taking taylor expansion of z in z 6.931 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.932 * [taylor]: Taking taylor expansion of t in z 6.932 * [taylor]: Taking taylor expansion of 1 in t 6.934 * [taylor]: Taking taylor expansion of 0 in y 6.934 * [taylor]: Taking taylor expansion of 0 in z 6.934 * [taylor]: Taking taylor expansion of 0 in z 6.935 * [taylor]: Taking taylor expansion of 0 in z 6.935 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.935 * [taylor]: Taking taylor expansion of t in t 6.935 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 6.935 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.935 * [taylor]: Taking taylor expansion of t in t 6.937 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 6.937 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 6.937 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.937 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 6.937 * [taylor]: Taking taylor expansion of (/ y x) in t 6.937 * [taylor]: Taking taylor expansion of y in t 6.937 * [taylor]: Taking taylor expansion of x in t 6.937 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 6.937 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.937 * [taylor]: Taking taylor expansion of t in t 6.937 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.937 * [taylor]: Taking taylor expansion of z in t 6.937 * [taylor]: Taking taylor expansion of (/ -1 t) in t 6.937 * [taylor]: Taking taylor expansion of -1 in t 6.937 * [taylor]: Taking taylor expansion of t in t 6.938 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 6.938 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.938 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 6.938 * [taylor]: Taking taylor expansion of (/ y x) in z 6.938 * [taylor]: Taking taylor expansion of y in z 6.938 * [taylor]: Taking taylor expansion of x in z 6.938 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.938 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.938 * [taylor]: Taking taylor expansion of t in z 6.938 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.938 * [taylor]: Taking taylor expansion of z in z 6.938 * [taylor]: Taking taylor expansion of (/ -1 t) in z 6.938 * [taylor]: Taking taylor expansion of -1 in z 6.938 * [taylor]: Taking taylor expansion of t in z 6.938 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 6.938 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.938 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 6.938 * [taylor]: Taking taylor expansion of (/ y x) in y 6.938 * [taylor]: Taking taylor expansion of y in y 6.938 * [taylor]: Taking taylor expansion of x in y 6.939 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 6.939 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.939 * [taylor]: Taking taylor expansion of t in y 6.939 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.939 * [taylor]: Taking taylor expansion of z in y 6.939 * [taylor]: Taking taylor expansion of (/ -1 t) in y 6.939 * [taylor]: Taking taylor expansion of -1 in y 6.939 * [taylor]: Taking taylor expansion of t in y 6.939 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 6.939 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.939 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 6.939 * [taylor]: Taking taylor expansion of (/ y x) in x 6.939 * [taylor]: Taking taylor expansion of y in x 6.939 * [taylor]: Taking taylor expansion of x in x 6.939 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 6.939 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.939 * [taylor]: Taking taylor expansion of t in x 6.939 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.939 * [taylor]: Taking taylor expansion of z in x 6.939 * [taylor]: Taking taylor expansion of (/ -1 t) in x 6.939 * [taylor]: Taking taylor expansion of -1 in x 6.939 * [taylor]: Taking taylor expansion of t in x 6.939 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 6.939 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.939 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 6.939 * [taylor]: Taking taylor expansion of (/ y x) in x 6.939 * [taylor]: Taking taylor expansion of y in x 6.939 * [taylor]: Taking taylor expansion of x in x 6.939 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 6.939 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.939 * [taylor]: Taking taylor expansion of t in x 6.939 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.939 * [taylor]: Taking taylor expansion of z in x 6.939 * [taylor]: Taking taylor expansion of (/ -1 t) in x 6.939 * [taylor]: Taking taylor expansion of -1 in x 6.939 * [taylor]: Taking taylor expansion of t in x 6.940 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 6.940 * [taylor]: Taking taylor expansion of (/ y t) in y 6.940 * [taylor]: Taking taylor expansion of y in y 6.940 * [taylor]: Taking taylor expansion of t in y 6.940 * [taylor]: Taking taylor expansion of (/ y z) in y 6.940 * [taylor]: Taking taylor expansion of y in y 6.940 * [taylor]: Taking taylor expansion of z in y 6.941 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 6.941 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.941 * [taylor]: Taking taylor expansion of t in y 6.941 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 6.941 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.941 * [taylor]: Taking taylor expansion of t in z 6.941 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.941 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.941 * [taylor]: Taking taylor expansion of t in z 6.941 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.941 * [taylor]: Taking taylor expansion of z in z 6.942 * [taylor]: Taking taylor expansion of -1 in t 6.944 * [taylor]: Taking taylor expansion of 0 in y 6.944 * [taylor]: Taking taylor expansion of 0 in z 6.944 * [taylor]: Taking taylor expansion of 0 in z 6.945 * [taylor]: Taking taylor expansion of 0 in z 6.945 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 6.945 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.945 * [taylor]: Taking taylor expansion of t in t 6.946 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.946 * [taylor]: Taking taylor expansion of t in t 6.947 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 6.947 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 6.948 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 6.948 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.948 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 6.948 * [taylor]: Taking taylor expansion of (/ x y) in t 6.948 * [taylor]: Taking taylor expansion of x in t 6.948 * [taylor]: Taking taylor expansion of y in t 6.948 * [taylor]: Taking taylor expansion of (- z t) in t 6.948 * [taylor]: Taking taylor expansion of z in t 6.948 * [taylor]: Taking taylor expansion of t in t 6.948 * [taylor]: Taking taylor expansion of t in t 6.948 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 6.948 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.948 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 6.948 * [taylor]: Taking taylor expansion of (/ x y) in z 6.948 * [taylor]: Taking taylor expansion of x in z 6.948 * [taylor]: Taking taylor expansion of y in z 6.948 * [taylor]: Taking taylor expansion of (- z t) in z 6.948 * [taylor]: Taking taylor expansion of z in z 6.948 * [taylor]: Taking taylor expansion of t in z 6.948 * [taylor]: Taking taylor expansion of t in z 6.948 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 6.948 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.948 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 6.948 * [taylor]: Taking taylor expansion of (/ x y) in y 6.948 * [taylor]: Taking taylor expansion of x in y 6.948 * [taylor]: Taking taylor expansion of y in y 6.948 * [taylor]: Taking taylor expansion of (- z t) in y 6.948 * [taylor]: Taking taylor expansion of z in y 6.948 * [taylor]: Taking taylor expansion of t in y 6.948 * [taylor]: Taking taylor expansion of t in y 6.948 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 6.948 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.948 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 6.948 * [taylor]: Taking taylor expansion of (/ x y) in x 6.948 * [taylor]: Taking taylor expansion of x in x 6.948 * [taylor]: Taking taylor expansion of y in x 6.949 * [taylor]: Taking taylor expansion of (- z t) in x 6.949 * [taylor]: Taking taylor expansion of z in x 6.949 * [taylor]: Taking taylor expansion of t in x 6.949 * [taylor]: Taking taylor expansion of t in x 6.949 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 6.949 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.949 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 6.949 * [taylor]: Taking taylor expansion of (/ x y) in x 6.949 * [taylor]: Taking taylor expansion of x in x 6.949 * [taylor]: Taking taylor expansion of y in x 6.949 * [taylor]: Taking taylor expansion of (- z t) in x 6.949 * [taylor]: Taking taylor expansion of z in x 6.949 * [taylor]: Taking taylor expansion of t in x 6.949 * [taylor]: Taking taylor expansion of t in x 6.949 * [taylor]: Taking taylor expansion of t in y 6.949 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 6.949 * [taylor]: Taking taylor expansion of (/ z y) in y 6.949 * [taylor]: Taking taylor expansion of z in y 6.949 * [taylor]: Taking taylor expansion of y in y 6.949 * [taylor]: Taking taylor expansion of (/ t y) in y 6.949 * [taylor]: Taking taylor expansion of t in y 6.949 * [taylor]: Taking taylor expansion of y in y 6.949 * [taylor]: Taking taylor expansion of (- z t) in z 6.949 * [taylor]: Taking taylor expansion of z in z 6.949 * [taylor]: Taking taylor expansion of t in z 6.949 * [taylor]: Taking taylor expansion of (- t) in t 6.949 * [taylor]: Taking taylor expansion of t in t 6.950 * [taylor]: Taking taylor expansion of t in z 6.950 * [taylor]: Taking taylor expansion of t in t 6.950 * [taylor]: Taking taylor expansion of 0 in y 6.952 * [taylor]: Taking taylor expansion of 0 in z 6.952 * [taylor]: Taking taylor expansion of 0 in t 6.952 * [taylor]: Taking taylor expansion of 0 in z 6.952 * [taylor]: Taking taylor expansion of 0 in t 6.953 * [taylor]: Taking taylor expansion of 1 in t 6.953 * [taylor]: Taking taylor expansion of 0 in t 6.954 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 6.954 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 6.954 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.954 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 6.954 * [taylor]: Taking taylor expansion of (/ y x) in t 6.954 * [taylor]: Taking taylor expansion of y in t 6.954 * [taylor]: Taking taylor expansion of x in t 6.954 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 6.954 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.954 * [taylor]: Taking taylor expansion of z in t 6.954 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.954 * [taylor]: Taking taylor expansion of t in t 6.954 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.954 * [taylor]: Taking taylor expansion of t in t 6.954 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 6.955 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.955 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 6.955 * [taylor]: Taking taylor expansion of (/ y x) in z 6.955 * [taylor]: Taking taylor expansion of y in z 6.955 * [taylor]: Taking taylor expansion of x in z 6.955 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.955 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.955 * [taylor]: Taking taylor expansion of z in z 6.955 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.955 * [taylor]: Taking taylor expansion of t in z 6.955 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.955 * [taylor]: Taking taylor expansion of t in z 6.955 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 6.955 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.955 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 6.955 * [taylor]: Taking taylor expansion of (/ y x) in y 6.955 * [taylor]: Taking taylor expansion of y in y 6.955 * [taylor]: Taking taylor expansion of x in y 6.955 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 6.955 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.955 * [taylor]: Taking taylor expansion of z in y 6.955 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.955 * [taylor]: Taking taylor expansion of t in y 6.955 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.955 * [taylor]: Taking taylor expansion of t in y 6.955 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 6.955 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.955 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 6.956 * [taylor]: Taking taylor expansion of (/ y x) in x 6.956 * [taylor]: Taking taylor expansion of y in x 6.956 * [taylor]: Taking taylor expansion of x in x 6.956 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 6.956 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.956 * [taylor]: Taking taylor expansion of z in x 6.956 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.956 * [taylor]: Taking taylor expansion of t in x 6.956 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.956 * [taylor]: Taking taylor expansion of t in x 6.956 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 6.956 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.956 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 6.956 * [taylor]: Taking taylor expansion of (/ y x) in x 6.956 * [taylor]: Taking taylor expansion of y in x 6.956 * [taylor]: Taking taylor expansion of x in x 6.956 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 6.956 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.956 * [taylor]: Taking taylor expansion of z in x 6.956 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.956 * [taylor]: Taking taylor expansion of t in x 6.956 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.956 * [taylor]: Taking taylor expansion of t in x 6.956 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 6.956 * [taylor]: Taking taylor expansion of (/ y z) in y 6.956 * [taylor]: Taking taylor expansion of y in y 6.956 * [taylor]: Taking taylor expansion of z in y 6.956 * [taylor]: Taking taylor expansion of (/ y t) in y 6.957 * [taylor]: Taking taylor expansion of y in y 6.957 * [taylor]: Taking taylor expansion of t in y 6.958 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.958 * [taylor]: Taking taylor expansion of t in y 6.958 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.958 * [taylor]: Taking taylor expansion of t in z 6.958 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.958 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.958 * [taylor]: Taking taylor expansion of z in z 6.958 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.958 * [taylor]: Taking taylor expansion of t in z 6.959 * [taylor]: Taking taylor expansion of 1 in t 6.961 * [taylor]: Taking taylor expansion of 0 in y 6.961 * [taylor]: Taking taylor expansion of 0 in z 6.961 * [taylor]: Taking taylor expansion of 0 in z 6.961 * [taylor]: Taking taylor expansion of 0 in z 6.961 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.961 * [taylor]: Taking taylor expansion of t in t 6.962 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 6.962 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.962 * [taylor]: Taking taylor expansion of t in t 6.963 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 6.963 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 6.964 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.964 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 6.964 * [taylor]: Taking taylor expansion of (/ y x) in t 6.964 * [taylor]: Taking taylor expansion of y in t 6.964 * [taylor]: Taking taylor expansion of x in t 6.964 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 6.964 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.964 * [taylor]: Taking taylor expansion of t in t 6.964 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.964 * [taylor]: Taking taylor expansion of z in t 6.964 * [taylor]: Taking taylor expansion of (/ -1 t) in t 6.964 * [taylor]: Taking taylor expansion of -1 in t 6.964 * [taylor]: Taking taylor expansion of t in t 6.964 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 6.964 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.964 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 6.964 * [taylor]: Taking taylor expansion of (/ y x) in z 6.964 * [taylor]: Taking taylor expansion of y in z 6.964 * [taylor]: Taking taylor expansion of x in z 6.965 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.965 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.965 * [taylor]: Taking taylor expansion of t in z 6.965 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.965 * [taylor]: Taking taylor expansion of z in z 6.965 * [taylor]: Taking taylor expansion of (/ -1 t) in z 6.965 * [taylor]: Taking taylor expansion of -1 in z 6.965 * [taylor]: Taking taylor expansion of t in z 6.965 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 6.965 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.965 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 6.965 * [taylor]: Taking taylor expansion of (/ y x) in y 6.965 * [taylor]: Taking taylor expansion of y in y 6.965 * [taylor]: Taking taylor expansion of x in y 6.965 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 6.965 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.965 * [taylor]: Taking taylor expansion of t in y 6.965 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.965 * [taylor]: Taking taylor expansion of z in y 6.965 * [taylor]: Taking taylor expansion of (/ -1 t) in y 6.965 * [taylor]: Taking taylor expansion of -1 in y 6.965 * [taylor]: Taking taylor expansion of t in y 6.965 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 6.965 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.965 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 6.965 * [taylor]: Taking taylor expansion of (/ y x) in x 6.965 * [taylor]: Taking taylor expansion of y in x 6.965 * [taylor]: Taking taylor expansion of x in x 6.966 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 6.966 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.966 * [taylor]: Taking taylor expansion of t in x 6.966 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.966 * [taylor]: Taking taylor expansion of z in x 6.966 * [taylor]: Taking taylor expansion of (/ -1 t) in x 6.966 * [taylor]: Taking taylor expansion of -1 in x 6.966 * [taylor]: Taking taylor expansion of t in x 6.966 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 6.966 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.966 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 6.966 * [taylor]: Taking taylor expansion of (/ y x) in x 6.966 * [taylor]: Taking taylor expansion of y in x 6.966 * [taylor]: Taking taylor expansion of x in x 6.966 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 6.966 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.966 * [taylor]: Taking taylor expansion of t in x 6.966 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.966 * [taylor]: Taking taylor expansion of z in x 6.966 * [taylor]: Taking taylor expansion of (/ -1 t) in x 6.966 * [taylor]: Taking taylor expansion of -1 in x 6.966 * [taylor]: Taking taylor expansion of t in x 6.966 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 6.966 * [taylor]: Taking taylor expansion of (/ y t) in y 6.966 * [taylor]: Taking taylor expansion of y in y 6.966 * [taylor]: Taking taylor expansion of t in y 6.966 * [taylor]: Taking taylor expansion of (/ y z) in y 6.966 * [taylor]: Taking taylor expansion of y in y 6.967 * [taylor]: Taking taylor expansion of z in y 6.968 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 6.968 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.968 * [taylor]: Taking taylor expansion of t in y 6.968 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 6.968 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.968 * [taylor]: Taking taylor expansion of t in z 6.968 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.968 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.968 * [taylor]: Taking taylor expansion of t in z 6.968 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.968 * [taylor]: Taking taylor expansion of z in z 6.969 * [taylor]: Taking taylor expansion of -1 in t 6.971 * [taylor]: Taking taylor expansion of 0 in y 6.971 * [taylor]: Taking taylor expansion of 0 in z 6.971 * [taylor]: Taking taylor expansion of 0 in z 6.972 * [taylor]: Taking taylor expansion of 0 in z 6.972 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 6.972 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.972 * [taylor]: Taking taylor expansion of t in t 6.973 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.973 * [taylor]: Taking taylor expansion of t in t 6.974 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 6.974 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 6.974 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 6.974 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.974 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 6.974 * [taylor]: Taking taylor expansion of (/ x y) in t 6.974 * [taylor]: Taking taylor expansion of x in t 6.974 * [taylor]: Taking taylor expansion of y in t 6.974 * [taylor]: Taking taylor expansion of (- z t) in t 6.974 * [taylor]: Taking taylor expansion of z in t 6.974 * [taylor]: Taking taylor expansion of t in t 6.974 * [taylor]: Taking taylor expansion of t in t 6.974 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 6.974 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.974 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 6.974 * [taylor]: Taking taylor expansion of (/ x y) in z 6.974 * [taylor]: Taking taylor expansion of x in z 6.974 * [taylor]: Taking taylor expansion of y in z 6.975 * [taylor]: Taking taylor expansion of (- z t) in z 6.975 * [taylor]: Taking taylor expansion of z in z 6.975 * [taylor]: Taking taylor expansion of t in z 6.975 * [taylor]: Taking taylor expansion of t in z 6.975 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 6.975 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.975 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 6.975 * [taylor]: Taking taylor expansion of (/ x y) in y 6.975 * [taylor]: Taking taylor expansion of x in y 6.975 * [taylor]: Taking taylor expansion of y in y 6.975 * [taylor]: Taking taylor expansion of (- z t) in y 6.975 * [taylor]: Taking taylor expansion of z in y 6.975 * [taylor]: Taking taylor expansion of t in y 6.975 * [taylor]: Taking taylor expansion of t in y 6.975 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 6.975 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.975 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 6.975 * [taylor]: Taking taylor expansion of (/ x y) in x 6.975 * [taylor]: Taking taylor expansion of x in x 6.975 * [taylor]: Taking taylor expansion of y in x 6.975 * [taylor]: Taking taylor expansion of (- z t) in x 6.975 * [taylor]: Taking taylor expansion of z in x 6.975 * [taylor]: Taking taylor expansion of t in x 6.975 * [taylor]: Taking taylor expansion of t in x 6.975 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 6.975 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 6.975 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 6.975 * [taylor]: Taking taylor expansion of (/ x y) in x 6.975 * [taylor]: Taking taylor expansion of x in x 6.975 * [taylor]: Taking taylor expansion of y in x 6.975 * [taylor]: Taking taylor expansion of (- z t) in x 6.975 * [taylor]: Taking taylor expansion of z in x 6.975 * [taylor]: Taking taylor expansion of t in x 6.975 * [taylor]: Taking taylor expansion of t in x 6.975 * [taylor]: Taking taylor expansion of t in y 6.976 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 6.976 * [taylor]: Taking taylor expansion of (/ z y) in y 6.976 * [taylor]: Taking taylor expansion of z in y 6.976 * [taylor]: Taking taylor expansion of y in y 6.976 * [taylor]: Taking taylor expansion of (/ t y) in y 6.976 * [taylor]: Taking taylor expansion of t in y 6.976 * [taylor]: Taking taylor expansion of y in y 6.976 * [taylor]: Taking taylor expansion of (- z t) in z 6.976 * [taylor]: Taking taylor expansion of z in z 6.976 * [taylor]: Taking taylor expansion of t in z 6.976 * [taylor]: Taking taylor expansion of (- t) in t 6.976 * [taylor]: Taking taylor expansion of t in t 6.976 * [taylor]: Taking taylor expansion of t in z 6.976 * [taylor]: Taking taylor expansion of t in t 6.977 * [taylor]: Taking taylor expansion of 0 in y 6.978 * [taylor]: Taking taylor expansion of 0 in z 6.978 * [taylor]: Taking taylor expansion of 0 in t 6.978 * [taylor]: Taking taylor expansion of 0 in z 6.979 * [taylor]: Taking taylor expansion of 0 in t 6.979 * [taylor]: Taking taylor expansion of 1 in t 6.979 * [taylor]: Taking taylor expansion of 0 in t 6.980 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 6.980 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 6.980 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.980 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 6.980 * [taylor]: Taking taylor expansion of (/ y x) in t 6.980 * [taylor]: Taking taylor expansion of y in t 6.980 * [taylor]: Taking taylor expansion of x in t 6.980 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 6.980 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.980 * [taylor]: Taking taylor expansion of z in t 6.980 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.980 * [taylor]: Taking taylor expansion of t in t 6.981 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.981 * [taylor]: Taking taylor expansion of t in t 6.981 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 6.981 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.981 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 6.981 * [taylor]: Taking taylor expansion of (/ y x) in z 6.981 * [taylor]: Taking taylor expansion of y in z 6.981 * [taylor]: Taking taylor expansion of x in z 6.981 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.981 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.981 * [taylor]: Taking taylor expansion of z in z 6.981 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.981 * [taylor]: Taking taylor expansion of t in z 6.981 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.981 * [taylor]: Taking taylor expansion of t in z 6.981 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 6.982 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.982 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 6.982 * [taylor]: Taking taylor expansion of (/ y x) in y 6.982 * [taylor]: Taking taylor expansion of y in y 6.982 * [taylor]: Taking taylor expansion of x in y 6.982 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 6.982 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.982 * [taylor]: Taking taylor expansion of z in y 6.982 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.982 * [taylor]: Taking taylor expansion of t in y 6.982 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.982 * [taylor]: Taking taylor expansion of t in y 6.982 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 6.982 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.982 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 6.982 * [taylor]: Taking taylor expansion of (/ y x) in x 6.982 * [taylor]: Taking taylor expansion of y in x 6.982 * [taylor]: Taking taylor expansion of x in x 6.982 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 6.982 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.982 * [taylor]: Taking taylor expansion of z in x 6.982 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.982 * [taylor]: Taking taylor expansion of t in x 6.982 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.982 * [taylor]: Taking taylor expansion of t in x 6.982 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 6.982 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 6.982 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 6.982 * [taylor]: Taking taylor expansion of (/ y x) in x 6.982 * [taylor]: Taking taylor expansion of y in x 6.982 * [taylor]: Taking taylor expansion of x in x 6.982 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 6.982 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.982 * [taylor]: Taking taylor expansion of z in x 6.982 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.982 * [taylor]: Taking taylor expansion of t in x 6.982 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.983 * [taylor]: Taking taylor expansion of t in x 6.983 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 6.983 * [taylor]: Taking taylor expansion of (/ y z) in y 6.983 * [taylor]: Taking taylor expansion of y in y 6.983 * [taylor]: Taking taylor expansion of z in y 6.983 * [taylor]: Taking taylor expansion of (/ y t) in y 6.983 * [taylor]: Taking taylor expansion of y in y 6.983 * [taylor]: Taking taylor expansion of t in y 6.984 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.984 * [taylor]: Taking taylor expansion of t in y 6.984 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.984 * [taylor]: Taking taylor expansion of t in z 6.984 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 6.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.984 * [taylor]: Taking taylor expansion of z in z 6.985 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.985 * [taylor]: Taking taylor expansion of t in z 6.985 * [taylor]: Taking taylor expansion of 1 in t 6.987 * [taylor]: Taking taylor expansion of 0 in y 6.987 * [taylor]: Taking taylor expansion of 0 in z 6.987 * [taylor]: Taking taylor expansion of 0 in z 6.988 * [taylor]: Taking taylor expansion of 0 in z 6.988 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.988 * [taylor]: Taking taylor expansion of t in t 6.989 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 6.989 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.989 * [taylor]: Taking taylor expansion of t in t 6.990 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 6.990 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 6.990 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.990 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 6.990 * [taylor]: Taking taylor expansion of (/ y x) in t 6.990 * [taylor]: Taking taylor expansion of y in t 6.990 * [taylor]: Taking taylor expansion of x in t 6.990 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 6.990 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.990 * [taylor]: Taking taylor expansion of t in t 6.990 * [taylor]: Taking taylor expansion of (/ 1 z) in t 6.990 * [taylor]: Taking taylor expansion of z in t 6.991 * [taylor]: Taking taylor expansion of (/ -1 t) in t 6.991 * [taylor]: Taking taylor expansion of -1 in t 6.991 * [taylor]: Taking taylor expansion of t in t 6.991 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 6.991 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.991 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 6.991 * [taylor]: Taking taylor expansion of (/ y x) in z 6.991 * [taylor]: Taking taylor expansion of y in z 6.991 * [taylor]: Taking taylor expansion of x in z 6.991 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.991 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.991 * [taylor]: Taking taylor expansion of t in z 6.991 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.991 * [taylor]: Taking taylor expansion of z in z 6.991 * [taylor]: Taking taylor expansion of (/ -1 t) in z 6.991 * [taylor]: Taking taylor expansion of -1 in z 6.991 * [taylor]: Taking taylor expansion of t in z 6.991 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 6.992 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.992 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 6.992 * [taylor]: Taking taylor expansion of (/ y x) in y 6.992 * [taylor]: Taking taylor expansion of y in y 6.992 * [taylor]: Taking taylor expansion of x in y 6.992 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 6.992 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.992 * [taylor]: Taking taylor expansion of t in y 6.992 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.992 * [taylor]: Taking taylor expansion of z in y 6.992 * [taylor]: Taking taylor expansion of (/ -1 t) in y 6.992 * [taylor]: Taking taylor expansion of -1 in y 6.992 * [taylor]: Taking taylor expansion of t in y 6.992 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 6.992 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.992 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 6.992 * [taylor]: Taking taylor expansion of (/ y x) in x 6.992 * [taylor]: Taking taylor expansion of y in x 6.992 * [taylor]: Taking taylor expansion of x in x 6.992 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 6.992 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.992 * [taylor]: Taking taylor expansion of t in x 6.992 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.992 * [taylor]: Taking taylor expansion of z in x 6.992 * [taylor]: Taking taylor expansion of (/ -1 t) in x 6.992 * [taylor]: Taking taylor expansion of -1 in x 6.992 * [taylor]: Taking taylor expansion of t in x 6.992 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 6.992 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 6.992 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 6.992 * [taylor]: Taking taylor expansion of (/ y x) in x 6.992 * [taylor]: Taking taylor expansion of y in x 6.992 * [taylor]: Taking taylor expansion of x in x 6.992 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 6.992 * [taylor]: Taking taylor expansion of (/ 1 t) in x 6.992 * [taylor]: Taking taylor expansion of t in x 6.992 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.992 * [taylor]: Taking taylor expansion of z in x 6.993 * [taylor]: Taking taylor expansion of (/ -1 t) in x 6.993 * [taylor]: Taking taylor expansion of -1 in x 6.993 * [taylor]: Taking taylor expansion of t in x 6.993 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 6.993 * [taylor]: Taking taylor expansion of (/ y t) in y 6.993 * [taylor]: Taking taylor expansion of y in y 6.993 * [taylor]: Taking taylor expansion of t in y 6.993 * [taylor]: Taking taylor expansion of (/ y z) in y 6.993 * [taylor]: Taking taylor expansion of y in y 6.993 * [taylor]: Taking taylor expansion of z in y 6.994 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 6.994 * [taylor]: Taking taylor expansion of (/ 1 t) in y 6.994 * [taylor]: Taking taylor expansion of t in y 6.994 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 6.994 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.994 * [taylor]: Taking taylor expansion of t in z 6.994 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 6.994 * [taylor]: Taking taylor expansion of (/ 1 t) in z 6.994 * [taylor]: Taking taylor expansion of t in z 6.994 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.994 * [taylor]: Taking taylor expansion of z in z 6.995 * [taylor]: Taking taylor expansion of -1 in t 6.997 * [taylor]: Taking taylor expansion of 0 in y 6.997 * [taylor]: Taking taylor expansion of 0 in z 6.998 * [taylor]: Taking taylor expansion of 0 in z 6.998 * [taylor]: Taking taylor expansion of 0 in z 6.998 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 6.998 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.998 * [taylor]: Taking taylor expansion of t in t 6.999 * [taylor]: Taking taylor expansion of (/ 1 t) in t 6.999 * [taylor]: Taking taylor expansion of t in t 7.000 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 7.001 * [approximate]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in (x y z t) around 0 7.001 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in t 7.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in t 7.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in t 7.001 * [taylor]: Taking taylor expansion of 1/3 in t 7.001 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in t 7.001 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 7.001 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 7.001 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 7.001 * [taylor]: Taking taylor expansion of (/ x y) in t 7.001 * [taylor]: Taking taylor expansion of x in t 7.001 * [taylor]: Taking taylor expansion of y in t 7.001 * [taylor]: Taking taylor expansion of (- z t) in t 7.001 * [taylor]: Taking taylor expansion of z in t 7.001 * [taylor]: Taking taylor expansion of t in t 7.001 * [taylor]: Taking taylor expansion of t in t 7.001 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in z 7.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in z 7.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in z 7.001 * [taylor]: Taking taylor expansion of 1/3 in z 7.001 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in z 7.002 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 7.002 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 7.002 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 7.002 * [taylor]: Taking taylor expansion of (/ x y) in z 7.002 * [taylor]: Taking taylor expansion of x in z 7.002 * [taylor]: Taking taylor expansion of y in z 7.002 * [taylor]: Taking taylor expansion of (- z t) in z 7.002 * [taylor]: Taking taylor expansion of z in z 7.002 * [taylor]: Taking taylor expansion of t in z 7.002 * [taylor]: Taking taylor expansion of t in z 7.002 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in y 7.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in y 7.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in y 7.002 * [taylor]: Taking taylor expansion of 1/3 in y 7.002 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in y 7.002 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 7.002 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 7.002 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 7.002 * [taylor]: Taking taylor expansion of (/ x y) in y 7.002 * [taylor]: Taking taylor expansion of x in y 7.002 * [taylor]: Taking taylor expansion of y in y 7.002 * [taylor]: Taking taylor expansion of (- z t) in y 7.002 * [taylor]: Taking taylor expansion of z in y 7.002 * [taylor]: Taking taylor expansion of t in y 7.002 * [taylor]: Taking taylor expansion of t in y 7.003 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in x 7.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in x 7.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in x 7.003 * [taylor]: Taking taylor expansion of 1/3 in x 7.003 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in x 7.003 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 7.003 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 7.003 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 7.003 * [taylor]: Taking taylor expansion of (/ x y) in x 7.003 * [taylor]: Taking taylor expansion of x in x 7.003 * [taylor]: Taking taylor expansion of y in x 7.003 * [taylor]: Taking taylor expansion of (- z t) in x 7.003 * [taylor]: Taking taylor expansion of z in x 7.004 * [taylor]: Taking taylor expansion of t in x 7.004 * [taylor]: Taking taylor expansion of t in x 7.004 * [taylor]: Taking taylor expansion of (pow (fma (/ x y) (- z t) t) 1/3) in x 7.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ x y) (- z t) t)))) in x 7.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ x y) (- z t) t))) in x 7.004 * [taylor]: Taking taylor expansion of 1/3 in x 7.004 * [taylor]: Taking taylor expansion of (log (fma (/ x y) (- z t) t)) in x 7.004 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 7.004 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 7.004 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 7.004 * [taylor]: Taking taylor expansion of (/ x y) in x 7.004 * [taylor]: Taking taylor expansion of x in x 7.004 * [taylor]: Taking taylor expansion of y in x 7.004 * [taylor]: Taking taylor expansion of (- z t) in x 7.004 * [taylor]: Taking taylor expansion of z in x 7.004 * [taylor]: Taking taylor expansion of t in x 7.004 * [taylor]: Taking taylor expansion of t in x 7.004 * [taylor]: Taking taylor expansion of (pow t 1/3) in y 7.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in y 7.004 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in y 7.004 * [taylor]: Taking taylor expansion of 1/3 in y 7.004 * [taylor]: Taking taylor expansion of (log t) in y 7.004 * [taylor]: Taking taylor expansion of t in y 7.004 * [taylor]: Taking taylor expansion of (pow t 1/3) in z 7.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z 7.004 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z 7.004 * [taylor]: Taking taylor expansion of 1/3 in z 7.004 * [taylor]: Taking taylor expansion of (log t) in z 7.004 * [taylor]: Taking taylor expansion of t in z 7.004 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 7.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 7.004 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 7.004 * [taylor]: Taking taylor expansion of 1/3 in t 7.004 * [taylor]: Taking taylor expansion of (log t) in t 7.005 * [taylor]: Taking taylor expansion of t in t 7.006 * [taylor]: Taking taylor expansion of (* (pow t 1/3) (- (* 1/3 (/ z (* t y))) (* 1/3 (/ 1 y)))) in y 7.006 * [taylor]: Taking taylor expansion of (pow t 1/3) in y 7.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in y 7.006 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in y 7.006 * [taylor]: Taking taylor expansion of 1/3 in y 7.006 * [taylor]: Taking taylor expansion of (log t) in y 7.006 * [taylor]: Taking taylor expansion of t in y 7.006 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ z (* t y))) (* 1/3 (/ 1 y))) in y 7.006 * [taylor]: Taking taylor expansion of (* 1/3 (/ z (* t y))) in y 7.006 * [taylor]: Taking taylor expansion of 1/3 in y 7.006 * [taylor]: Taking taylor expansion of (/ z (* t y)) in y 7.006 * [taylor]: Taking taylor expansion of z in y 7.006 * [taylor]: Taking taylor expansion of (* t y) in y 7.006 * [taylor]: Taking taylor expansion of t in y 7.006 * [taylor]: Taking taylor expansion of y in y 7.007 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 y)) in y 7.007 * [taylor]: Taking taylor expansion of 1/3 in y 7.007 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.007 * [taylor]: Taking taylor expansion of y in y 7.011 * [taylor]: Taking taylor expansion of 0 in z 7.011 * [taylor]: Taking taylor expansion of 0 in t 7.012 * [taylor]: Taking taylor expansion of 0 in z 7.012 * [taylor]: Taking taylor expansion of 0 in t 7.013 * [taylor]: Taking taylor expansion of 0 in t 7.022 * [taylor]: Taking taylor expansion of (* (pow t 1/3) (- (* 2/9 (/ z (* t (pow y 2)))) (+ (* 1/9 (/ (pow z 2) (* (pow t 2) (pow y 2)))) (* 1/9 (/ 1 (pow y 2)))))) in y 7.022 * [taylor]: Taking taylor expansion of (pow t 1/3) in y 7.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in y 7.022 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in y 7.022 * [taylor]: Taking taylor expansion of 1/3 in y 7.022 * [taylor]: Taking taylor expansion of (log t) in y 7.022 * [taylor]: Taking taylor expansion of t in y 7.023 * [taylor]: Taking taylor expansion of (- (* 2/9 (/ z (* t (pow y 2)))) (+ (* 1/9 (/ (pow z 2) (* (pow t 2) (pow y 2)))) (* 1/9 (/ 1 (pow y 2))))) in y 7.023 * [taylor]: Taking taylor expansion of (* 2/9 (/ z (* t (pow y 2)))) in y 7.023 * [taylor]: Taking taylor expansion of 2/9 in y 7.023 * [taylor]: Taking taylor expansion of (/ z (* t (pow y 2))) in y 7.023 * [taylor]: Taking taylor expansion of z in y 7.023 * [taylor]: Taking taylor expansion of (* t (pow y 2)) in y 7.023 * [taylor]: Taking taylor expansion of t in y 7.023 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.023 * [taylor]: Taking taylor expansion of y in y 7.023 * [taylor]: Taking taylor expansion of (+ (* 1/9 (/ (pow z 2) (* (pow t 2) (pow y 2)))) (* 1/9 (/ 1 (pow y 2)))) in y 7.023 * [taylor]: Taking taylor expansion of (* 1/9 (/ (pow z 2) (* (pow t 2) (pow y 2)))) in y 7.023 * [taylor]: Taking taylor expansion of 1/9 in y 7.023 * [taylor]: Taking taylor expansion of (/ (pow z 2) (* (pow t 2) (pow y 2))) in y 7.023 * [taylor]: Taking taylor expansion of (pow z 2) in y 7.023 * [taylor]: Taking taylor expansion of z in y 7.023 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow y 2)) in y 7.023 * [taylor]: Taking taylor expansion of (pow t 2) in y 7.023 * [taylor]: Taking taylor expansion of t in y 7.023 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.023 * [taylor]: Taking taylor expansion of y in y 7.024 * [taylor]: Taking taylor expansion of (* 1/9 (/ 1 (pow y 2))) in y 7.024 * [taylor]: Taking taylor expansion of 1/9 in y 7.024 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 7.024 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.024 * [taylor]: Taking taylor expansion of y in y 7.039 * [taylor]: Taking taylor expansion of 0 in z 7.039 * [taylor]: Taking taylor expansion of 0 in t 7.044 * [taylor]: Taking taylor expansion of 0 in z 7.044 * [taylor]: Taking taylor expansion of 0 in t 7.045 * [approximate]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 1/3) in (x y z t) around 0 7.045 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 1/3) in t 7.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))))) in t 7.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)))) in t 7.045 * [taylor]: Taking taylor expansion of 1/3 in t 7.045 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))) in t 7.045 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 7.045 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 7.045 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 7.045 * [taylor]: Taking taylor expansion of (/ y x) in t 7.045 * [taylor]: Taking taylor expansion of y in t 7.045 * [taylor]: Taking taylor expansion of x in t 7.045 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 7.045 * [taylor]: Taking taylor expansion of (/ 1 z) in t 7.045 * [taylor]: Taking taylor expansion of z in t 7.045 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.045 * [taylor]: Taking taylor expansion of t in t 7.045 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.045 * [taylor]: Taking taylor expansion of t in t 7.047 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 1/3) in z 7.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))))) in z 7.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)))) in z 7.047 * [taylor]: Taking taylor expansion of 1/3 in z 7.047 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))) in z 7.047 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 7.047 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 7.047 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 7.047 * [taylor]: Taking taylor expansion of (/ y x) in z 7.047 * [taylor]: Taking taylor expansion of y in z 7.047 * [taylor]: Taking taylor expansion of x in z 7.047 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 7.047 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.047 * [taylor]: Taking taylor expansion of z in z 7.047 * [taylor]: Taking taylor expansion of (/ 1 t) in z 7.047 * [taylor]: Taking taylor expansion of t in z 7.047 * [taylor]: Taking taylor expansion of (/ 1 t) in z 7.047 * [taylor]: Taking taylor expansion of t in z 7.048 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 1/3) in y 7.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))))) in y 7.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)))) in y 7.048 * [taylor]: Taking taylor expansion of 1/3 in y 7.048 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))) in y 7.048 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 7.048 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 7.048 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 7.048 * [taylor]: Taking taylor expansion of (/ y x) in y 7.048 * [taylor]: Taking taylor expansion of y in y 7.048 * [taylor]: Taking taylor expansion of x in y 7.048 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 7.048 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.048 * [taylor]: Taking taylor expansion of z in y 7.049 * [taylor]: Taking taylor expansion of (/ 1 t) in y 7.049 * [taylor]: Taking taylor expansion of t in y 7.049 * [taylor]: Taking taylor expansion of (/ 1 t) in y 7.049 * [taylor]: Taking taylor expansion of t in y 7.049 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 1/3) in x 7.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))))) in x 7.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)))) in x 7.049 * [taylor]: Taking taylor expansion of 1/3 in x 7.049 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))) in x 7.049 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 7.049 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 7.049 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 7.049 * [taylor]: Taking taylor expansion of (/ y x) in x 7.049 * [taylor]: Taking taylor expansion of y in x 7.049 * [taylor]: Taking taylor expansion of x in x 7.049 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 7.049 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.049 * [taylor]: Taking taylor expansion of z in x 7.049 * [taylor]: Taking taylor expansion of (/ 1 t) in x 7.049 * [taylor]: Taking taylor expansion of t in x 7.049 * [taylor]: Taking taylor expansion of (/ 1 t) in x 7.049 * [taylor]: Taking taylor expansion of t in x 7.050 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) 1/3) in x 7.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))))) in x 7.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)))) in x 7.050 * [taylor]: Taking taylor expansion of 1/3 in x 7.050 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t))) in x 7.050 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 7.050 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 7.050 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 7.050 * [taylor]: Taking taylor expansion of (/ y x) in x 7.050 * [taylor]: Taking taylor expansion of y in x 7.050 * [taylor]: Taking taylor expansion of x in x 7.050 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 7.050 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.050 * [taylor]: Taking taylor expansion of z in x 7.050 * [taylor]: Taking taylor expansion of (/ 1 t) in x 7.050 * [taylor]: Taking taylor expansion of t in x 7.050 * [taylor]: Taking taylor expansion of (/ 1 t) in x 7.050 * [taylor]: Taking taylor expansion of t in x 7.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) in y 7.051 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ y z) (/ y t))) (log x))) in y 7.051 * [taylor]: Taking taylor expansion of 1/3 in y 7.051 * [taylor]: Taking taylor expansion of (- (log (- (/ y z) (/ y t))) (log x)) in y 7.051 * [taylor]: Taking taylor expansion of (log (- (/ y z) (/ y t))) in y 7.051 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 7.051 * [taylor]: Taking taylor expansion of (/ y z) in y 7.051 * [taylor]: Taking taylor expansion of y in y 7.051 * [taylor]: Taking taylor expansion of z in y 7.052 * [taylor]: Taking taylor expansion of (/ y t) in y 7.052 * [taylor]: Taking taylor expansion of y in y 7.052 * [taylor]: Taking taylor expansion of t in y 7.052 * [taylor]: Taking taylor expansion of (log x) in y 7.052 * [taylor]: Taking taylor expansion of x in y 7.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x)))) in z 7.053 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x))) in z 7.053 * [taylor]: Taking taylor expansion of 1/3 in z 7.053 * [taylor]: Taking taylor expansion of (- (+ (log (- (/ 1 z) (/ 1 t))) (log y)) (log x)) in z 7.053 * [taylor]: Taking taylor expansion of (+ (log (- (/ 1 z) (/ 1 t))) (log y)) in z 7.053 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 t))) in z 7.053 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 7.053 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.053 * [taylor]: Taking taylor expansion of z in z 7.053 * [taylor]: Taking taylor expansion of (/ 1 t) in z 7.053 * [taylor]: Taking taylor expansion of t in z 7.053 * [taylor]: Taking taylor expansion of (log y) in z 7.053 * [taylor]: Taking taylor expansion of y in z 7.053 * [taylor]: Taking taylor expansion of (log x) in z 7.054 * [taylor]: Taking taylor expansion of x in z 7.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (+ (log z) (log x))))) in t 7.054 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (+ (log z) (log x)))) in t 7.054 * [taylor]: Taking taylor expansion of 1/3 in t 7.054 * [taylor]: Taking taylor expansion of (- (log y) (+ (log z) (log x))) in t 7.054 * [taylor]: Taking taylor expansion of (log y) in t 7.054 * [taylor]: Taking taylor expansion of y in t 7.054 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t 7.054 * [taylor]: Taking taylor expansion of (log z) in t 7.054 * [taylor]: Taking taylor expansion of z in t 7.054 * [taylor]: Taking taylor expansion of (log x) in t 7.054 * [taylor]: Taking taylor expansion of x in t 7.057 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) (* (- (/ y z) (/ y t)) t))) in y 7.057 * [taylor]: Taking taylor expansion of 1/3 in y 7.057 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) (* (- (/ y z) (/ y t)) t)) in y 7.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) in y 7.057 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ y z) (/ y t))) (log x))) in y 7.057 * [taylor]: Taking taylor expansion of 1/3 in y 7.057 * [taylor]: Taking taylor expansion of (- (log (- (/ y z) (/ y t))) (log x)) in y 7.057 * [taylor]: Taking taylor expansion of (log (- (/ y z) (/ y t))) in y 7.057 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 7.057 * [taylor]: Taking taylor expansion of (/ y z) in y 7.057 * [taylor]: Taking taylor expansion of y in y 7.057 * [taylor]: Taking taylor expansion of z in y 7.057 * [taylor]: Taking taylor expansion of (/ y t) in y 7.057 * [taylor]: Taking taylor expansion of y in y 7.057 * [taylor]: Taking taylor expansion of t in y 7.057 * [taylor]: Taking taylor expansion of (log x) in y 7.057 * [taylor]: Taking taylor expansion of x in y 7.058 * [taylor]: Taking taylor expansion of (* (- (/ y z) (/ y t)) t) in y 7.058 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 7.058 * [taylor]: Taking taylor expansion of (/ y z) in y 7.058 * [taylor]: Taking taylor expansion of y in y 7.058 * [taylor]: Taking taylor expansion of z in y 7.058 * [taylor]: Taking taylor expansion of (/ y t) in y 7.058 * [taylor]: Taking taylor expansion of y in y 7.058 * [taylor]: Taking taylor expansion of t in y 7.058 * [taylor]: Taking taylor expansion of t in y 7.063 * [taylor]: Taking taylor expansion of 0 in z 7.063 * [taylor]: Taking taylor expansion of 0 in t 7.066 * [taylor]: Taking taylor expansion of 0 in z 7.066 * [taylor]: Taking taylor expansion of 0 in t 7.069 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log y) (+ (log z) (log x))))) t)) in t 7.069 * [taylor]: Taking taylor expansion of -1/3 in t 7.069 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log y) (+ (log z) (log x))))) t) in t 7.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log y) (+ (log z) (log x))))) in t 7.069 * [taylor]: Taking taylor expansion of (* 1/3 (- (log y) (+ (log z) (log x)))) in t 7.069 * [taylor]: Taking taylor expansion of 1/3 in t 7.069 * [taylor]: Taking taylor expansion of (- (log y) (+ (log z) (log x))) in t 7.069 * [taylor]: Taking taylor expansion of (log y) in t 7.069 * [taylor]: Taking taylor expansion of y in t 7.069 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t 7.069 * [taylor]: Taking taylor expansion of (log z) in t 7.069 * [taylor]: Taking taylor expansion of z in t 7.069 * [taylor]: Taking taylor expansion of (log x) in t 7.069 * [taylor]: Taking taylor expansion of x in t 7.069 * [taylor]: Taking taylor expansion of t in t 7.081 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) (* (pow (- (/ y z) (/ y t)) 2) (pow t 2)))) in y 7.081 * [taylor]: Taking taylor expansion of -1/9 in y 7.081 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) (* (pow (- (/ y z) (/ y t)) 2) (pow t 2))) in y 7.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ y z) (/ y t))) (log x)))) in y 7.081 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ y z) (/ y t))) (log x))) in y 7.081 * [taylor]: Taking taylor expansion of 1/3 in y 7.081 * [taylor]: Taking taylor expansion of (- (log (- (/ y z) (/ y t))) (log x)) in y 7.081 * [taylor]: Taking taylor expansion of (log (- (/ y z) (/ y t))) in y 7.081 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 7.081 * [taylor]: Taking taylor expansion of (/ y z) in y 7.081 * [taylor]: Taking taylor expansion of y in y 7.081 * [taylor]: Taking taylor expansion of z in y 7.081 * [taylor]: Taking taylor expansion of (/ y t) in y 7.081 * [taylor]: Taking taylor expansion of y in y 7.081 * [taylor]: Taking taylor expansion of t in y 7.081 * [taylor]: Taking taylor expansion of (log x) in y 7.081 * [taylor]: Taking taylor expansion of x in y 7.082 * [taylor]: Taking taylor expansion of (* (pow (- (/ y z) (/ y t)) 2) (pow t 2)) in y 7.082 * [taylor]: Taking taylor expansion of (pow (- (/ y z) (/ y t)) 2) in y 7.082 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 7.082 * [taylor]: Taking taylor expansion of (/ y z) in y 7.082 * [taylor]: Taking taylor expansion of y in y 7.082 * [taylor]: Taking taylor expansion of z in y 7.082 * [taylor]: Taking taylor expansion of (/ y t) in y 7.082 * [taylor]: Taking taylor expansion of y in y 7.082 * [taylor]: Taking taylor expansion of t in y 7.082 * [taylor]: Taking taylor expansion of (pow t 2) in y 7.082 * [taylor]: Taking taylor expansion of t in y 7.095 * [taylor]: Taking taylor expansion of 0 in z 7.095 * [taylor]: Taking taylor expansion of 0 in t 7.107 * [taylor]: Taking taylor expansion of 0 in z 7.107 * [taylor]: Taking taylor expansion of 0 in t 7.107 * [approximate]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 1/3) in (x y z t) around 0 7.107 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 1/3) in t 7.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))))) in t 7.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)))) in t 7.107 * [taylor]: Taking taylor expansion of 1/3 in t 7.107 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))) in t 7.107 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 7.107 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 7.107 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 7.107 * [taylor]: Taking taylor expansion of (/ y x) in t 7.107 * [taylor]: Taking taylor expansion of y in t 7.107 * [taylor]: Taking taylor expansion of x in t 7.107 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 7.107 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.107 * [taylor]: Taking taylor expansion of t in t 7.108 * [taylor]: Taking taylor expansion of (/ 1 z) in t 7.108 * [taylor]: Taking taylor expansion of z in t 7.108 * [taylor]: Taking taylor expansion of (/ -1 t) in t 7.108 * [taylor]: Taking taylor expansion of -1 in t 7.108 * [taylor]: Taking taylor expansion of t in t 7.109 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 1/3) in z 7.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))))) in z 7.109 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)))) in z 7.109 * [taylor]: Taking taylor expansion of 1/3 in z 7.109 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))) in z 7.109 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 7.109 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 7.109 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 7.109 * [taylor]: Taking taylor expansion of (/ y x) in z 7.109 * [taylor]: Taking taylor expansion of y in z 7.109 * [taylor]: Taking taylor expansion of x in z 7.109 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 7.109 * [taylor]: Taking taylor expansion of (/ 1 t) in z 7.109 * [taylor]: Taking taylor expansion of t in z 7.109 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.109 * [taylor]: Taking taylor expansion of z in z 7.110 * [taylor]: Taking taylor expansion of (/ -1 t) in z 7.110 * [taylor]: Taking taylor expansion of -1 in z 7.110 * [taylor]: Taking taylor expansion of t in z 7.111 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 1/3) in y 7.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))))) in y 7.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)))) in y 7.111 * [taylor]: Taking taylor expansion of 1/3 in y 7.111 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))) in y 7.111 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 7.111 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 7.111 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 7.111 * [taylor]: Taking taylor expansion of (/ y x) in y 7.111 * [taylor]: Taking taylor expansion of y in y 7.111 * [taylor]: Taking taylor expansion of x in y 7.111 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 7.111 * [taylor]: Taking taylor expansion of (/ 1 t) in y 7.111 * [taylor]: Taking taylor expansion of t in y 7.111 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.111 * [taylor]: Taking taylor expansion of z in y 7.111 * [taylor]: Taking taylor expansion of (/ -1 t) in y 7.111 * [taylor]: Taking taylor expansion of -1 in y 7.111 * [taylor]: Taking taylor expansion of t in y 7.112 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 1/3) in x 7.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))))) in x 7.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)))) in x 7.112 * [taylor]: Taking taylor expansion of 1/3 in x 7.112 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))) in x 7.112 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 7.112 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 7.112 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 7.112 * [taylor]: Taking taylor expansion of (/ y x) in x 7.112 * [taylor]: Taking taylor expansion of y in x 7.112 * [taylor]: Taking taylor expansion of x in x 7.112 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 7.112 * [taylor]: Taking taylor expansion of (/ 1 t) in x 7.112 * [taylor]: Taking taylor expansion of t in x 7.112 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.112 * [taylor]: Taking taylor expansion of z in x 7.112 * [taylor]: Taking taylor expansion of (/ -1 t) in x 7.112 * [taylor]: Taking taylor expansion of -1 in x 7.112 * [taylor]: Taking taylor expansion of t in x 7.113 * [taylor]: Taking taylor expansion of (pow (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) 1/3) in x 7.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))))) in x 7.113 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)))) in x 7.113 * [taylor]: Taking taylor expansion of 1/3 in x 7.113 * [taylor]: Taking taylor expansion of (log (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t))) in x 7.113 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 7.113 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 7.113 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 7.113 * [taylor]: Taking taylor expansion of (/ y x) in x 7.113 * [taylor]: Taking taylor expansion of y in x 7.113 * [taylor]: Taking taylor expansion of x in x 7.113 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 7.113 * [taylor]: Taking taylor expansion of (/ 1 t) in x 7.113 * [taylor]: Taking taylor expansion of t in x 7.113 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.113 * [taylor]: Taking taylor expansion of z in x 7.113 * [taylor]: Taking taylor expansion of (/ -1 t) in x 7.113 * [taylor]: Taking taylor expansion of -1 in x 7.113 * [taylor]: Taking taylor expansion of t in x 7.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) in y 7.114 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ y t) (/ y z))) (log x))) in y 7.114 * [taylor]: Taking taylor expansion of 1/3 in y 7.114 * [taylor]: Taking taylor expansion of (- (log (- (/ y t) (/ y z))) (log x)) in y 7.114 * [taylor]: Taking taylor expansion of (log (- (/ y t) (/ y z))) in y 7.114 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 7.114 * [taylor]: Taking taylor expansion of (/ y t) in y 7.114 * [taylor]: Taking taylor expansion of y in y 7.114 * [taylor]: Taking taylor expansion of t in y 7.114 * [taylor]: Taking taylor expansion of (/ y z) in y 7.114 * [taylor]: Taking taylor expansion of y in y 7.114 * [taylor]: Taking taylor expansion of z in y 7.115 * [taylor]: Taking taylor expansion of (log x) in y 7.115 * [taylor]: Taking taylor expansion of x in y 7.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x)))) in z 7.115 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x))) in z 7.115 * [taylor]: Taking taylor expansion of 1/3 in z 7.115 * [taylor]: Taking taylor expansion of (- (+ (log (- (/ 1 t) (/ 1 z))) (log y)) (log x)) in z 7.115 * [taylor]: Taking taylor expansion of (+ (log (- (/ 1 t) (/ 1 z))) (log y)) in z 7.115 * [taylor]: Taking taylor expansion of (log (- (/ 1 t) (/ 1 z))) in z 7.115 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 7.116 * [taylor]: Taking taylor expansion of (/ 1 t) in z 7.116 * [taylor]: Taking taylor expansion of t in z 7.116 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.116 * [taylor]: Taking taylor expansion of z in z 7.117 * [taylor]: Taking taylor expansion of (log y) in z 7.117 * [taylor]: Taking taylor expansion of y in z 7.117 * [taylor]: Taking taylor expansion of (log x) in z 7.117 * [taylor]: Taking taylor expansion of x in z 7.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log -1) (log y)) (+ (log z) (log x))))) in t 7.119 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log -1) (log y)) (+ (log z) (log x)))) in t 7.119 * [taylor]: Taking taylor expansion of 1/3 in t 7.119 * [taylor]: Taking taylor expansion of (- (+ (log -1) (log y)) (+ (log z) (log x))) in t 7.119 * [taylor]: Taking taylor expansion of (+ (log -1) (log y)) in t 7.119 * [taylor]: Taking taylor expansion of (log -1) in t 7.119 * [taylor]: Taking taylor expansion of -1 in t 7.119 * [taylor]: Taking taylor expansion of (log y) in t 7.119 * [taylor]: Taking taylor expansion of y in t 7.119 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t 7.119 * [taylor]: Taking taylor expansion of (log z) in t 7.119 * [taylor]: Taking taylor expansion of z in t 7.119 * [taylor]: Taking taylor expansion of (log x) in t 7.119 * [taylor]: Taking taylor expansion of x in t 7.123 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) (* (- (/ y t) (/ y z)) t))) in y 7.123 * [taylor]: Taking taylor expansion of -1/3 in y 7.123 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) (* (- (/ y t) (/ y z)) t)) in y 7.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) in y 7.123 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ y t) (/ y z))) (log x))) in y 7.123 * [taylor]: Taking taylor expansion of 1/3 in y 7.123 * [taylor]: Taking taylor expansion of (- (log (- (/ y t) (/ y z))) (log x)) in y 7.123 * [taylor]: Taking taylor expansion of (log (- (/ y t) (/ y z))) in y 7.123 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 7.123 * [taylor]: Taking taylor expansion of (/ y t) in y 7.123 * [taylor]: Taking taylor expansion of y in y 7.123 * [taylor]: Taking taylor expansion of t in y 7.123 * [taylor]: Taking taylor expansion of (/ y z) in y 7.123 * [taylor]: Taking taylor expansion of y in y 7.123 * [taylor]: Taking taylor expansion of z in y 7.124 * [taylor]: Taking taylor expansion of (log x) in y 7.124 * [taylor]: Taking taylor expansion of x in y 7.124 * [taylor]: Taking taylor expansion of (* (- (/ y t) (/ y z)) t) in y 7.124 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 7.124 * [taylor]: Taking taylor expansion of (/ y t) in y 7.124 * [taylor]: Taking taylor expansion of y in y 7.124 * [taylor]: Taking taylor expansion of t in y 7.125 * [taylor]: Taking taylor expansion of (/ y z) in y 7.125 * [taylor]: Taking taylor expansion of y in y 7.125 * [taylor]: Taking taylor expansion of z in y 7.125 * [taylor]: Taking taylor expansion of t in y 7.129 * [taylor]: Taking taylor expansion of 0 in z 7.129 * [taylor]: Taking taylor expansion of 0 in t 7.132 * [taylor]: Taking taylor expansion of 0 in z 7.133 * [taylor]: Taking taylor expansion of 0 in t 7.136 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (+ (log -1) (log y)) (+ (log z) (log x))))) t)) in t 7.136 * [taylor]: Taking taylor expansion of -1/3 in t 7.136 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (+ (log -1) (log y)) (+ (log z) (log x))))) t) in t 7.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (+ (log -1) (log y)) (+ (log z) (log x))))) in t 7.136 * [taylor]: Taking taylor expansion of (* 1/3 (- (+ (log -1) (log y)) (+ (log z) (log x)))) in t 7.136 * [taylor]: Taking taylor expansion of 1/3 in t 7.136 * [taylor]: Taking taylor expansion of (- (+ (log -1) (log y)) (+ (log z) (log x))) in t 7.136 * [taylor]: Taking taylor expansion of (+ (log -1) (log y)) in t 7.136 * [taylor]: Taking taylor expansion of (log -1) in t 7.136 * [taylor]: Taking taylor expansion of -1 in t 7.136 * [taylor]: Taking taylor expansion of (log y) in t 7.136 * [taylor]: Taking taylor expansion of y in t 7.136 * [taylor]: Taking taylor expansion of (+ (log z) (log x)) in t 7.136 * [taylor]: Taking taylor expansion of (log z) in t 7.136 * [taylor]: Taking taylor expansion of z in t 7.136 * [taylor]: Taking taylor expansion of (log x) in t 7.136 * [taylor]: Taking taylor expansion of x in t 7.138 * [taylor]: Taking taylor expansion of t in t 7.153 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) (* (pow (- (/ y t) (/ y z)) 2) (pow t 2)))) in y 7.153 * [taylor]: Taking taylor expansion of -1/9 in y 7.153 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) (* (pow (- (/ y t) (/ y z)) 2) (pow t 2))) in y 7.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (- (/ y t) (/ y z))) (log x)))) in y 7.153 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (- (/ y t) (/ y z))) (log x))) in y 7.154 * [taylor]: Taking taylor expansion of 1/3 in y 7.154 * [taylor]: Taking taylor expansion of (- (log (- (/ y t) (/ y z))) (log x)) in y 7.154 * [taylor]: Taking taylor expansion of (log (- (/ y t) (/ y z))) in y 7.154 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 7.154 * [taylor]: Taking taylor expansion of (/ y t) in y 7.154 * [taylor]: Taking taylor expansion of y in y 7.154 * [taylor]: Taking taylor expansion of t in y 7.154 * [taylor]: Taking taylor expansion of (/ y z) in y 7.154 * [taylor]: Taking taylor expansion of y in y 7.154 * [taylor]: Taking taylor expansion of z in y 7.154 * [taylor]: Taking taylor expansion of (log x) in y 7.154 * [taylor]: Taking taylor expansion of x in y 7.155 * [taylor]: Taking taylor expansion of (* (pow (- (/ y t) (/ y z)) 2) (pow t 2)) in y 7.155 * [taylor]: Taking taylor expansion of (pow (- (/ y t) (/ y z)) 2) in y 7.155 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 7.155 * [taylor]: Taking taylor expansion of (/ y t) in y 7.155 * [taylor]: Taking taylor expansion of y in y 7.155 * [taylor]: Taking taylor expansion of t in y 7.155 * [taylor]: Taking taylor expansion of (/ y z) in y 7.155 * [taylor]: Taking taylor expansion of y in y 7.155 * [taylor]: Taking taylor expansion of z in y 7.155 * [taylor]: Taking taylor expansion of (pow t 2) in y 7.155 * [taylor]: Taking taylor expansion of t in y 7.169 * [taylor]: Taking taylor expansion of 0 in z 7.169 * [taylor]: Taking taylor expansion of 0 in t 7.176 * [taylor]: Taking taylor expansion of 0 in z 7.176 * [taylor]: Taking taylor expansion of 0 in t 7.176 * * * [progress]: simplifying candidates 7.177 * [simplify]: Simplifying using # : (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (cbrt (fma (/ x y) (- z t) t))) (log1p (cbrt (fma (/ x y) (- z t) t))) (log (cbrt (fma (/ x y) (- z t) t))) (exp (cbrt (fma (/ x y) (- z t) t))) (cbrt (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t)))) (cbrt (cbrt (fma (/ x y) (- z t) t))) (cbrt (sqrt (fma (/ x y) (- z t) t))) (cbrt (sqrt (fma (/ x y) (- z t) t))) (cbrt 1) (cbrt (fma (/ x y) (- z t) t)) (* (cbrt (cbrt (fma (/ x y) (- z t) t))) (cbrt (cbrt (fma (/ x y) (- z t) t)))) (cbrt (cbrt (fma (/ x y) (- z t) t))) (* (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t))) (sqrt (cbrt (fma (/ x y) (- z t) t))) (sqrt (cbrt (fma (/ x y) (- z t) t))) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (pow t 1/3) (exp (* 1/3 (- (log (/ 1 y)) (+ (log (/ 1 x)) (log (/ 1 z)))))) (exp (* 1/3 (- (+ (log -1) (log (/ -1 y))) (+ (log (/ -1 z)) (log (/ -1 x)))))) 7.179 * * [simplify]: iteration 0 : 60 enodes (cost 683 ) 7.194 * * [simplify]: iteration 1 : 118 enodes (cost 678 ) 7.210 * * [simplify]: iteration 2 : 281 enodes (cost 611 ) 7.279 * * [simplify]: iteration 3 : 859 enodes (cost 559 ) 7.904 * * [simplify]: iteration 4 : 3448 enodes (cost 546 ) 8.829 * * [simplify]: iteration done : 5001 enodes (cost 546 ) 8.830 * [simplify]: Simplified to: (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (- z t) (/ x y)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (- z t) (/ x y)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (- z t) (/ x y)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (cbrt (fma (/ x y) (- z t) t))) (log1p (cbrt (fma (/ x y) (- z t) t))) (log (cbrt (fma (/ x y) (- z t) t))) (exp (cbrt (fma (/ x y) (- z t) t))) (cbrt (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t)))) (cbrt (cbrt (fma (/ x y) (- z t) t))) (cbrt (sqrt (fma (/ x y) (- z t) t))) (cbrt (sqrt (fma (/ x y) (- z t) t))) 1 (cbrt (fma (/ x y) (- z t) t)) (* (cbrt (cbrt (fma (/ x y) (- z t) t))) (cbrt (cbrt (fma (/ x y) (- z t) t)))) (cbrt (cbrt (fma (/ x y) (- z t) t))) (fma (- z t) (/ x y) t) (sqrt (cbrt (fma (/ x y) (- z t) t))) (sqrt (cbrt (fma (/ x y) (- z t) t))) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (fma (- z t) (/ x y) t) (cbrt t) (cbrt (* (/ 1 y) (* x z))) (cbrt (* (/ 1 y) (* x z))) 8.830 * * * [progress]: adding candidates to table 8.989 * * [progress]: iteration 3 / 4 8.989 * * * [progress]: picking best candidate 8.997 * * * * [pick]: Picked # 8.997 * * * [progress]: localizing error 9.010 * * * [progress]: generating rewritten candidates 9.010 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1) 9.010 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1) 9.010 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1) 9.011 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 9.011 * * * [progress]: generating series expansions 9.011 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1) 9.012 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 9.012 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 9.012 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.012 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 9.012 * [taylor]: Taking taylor expansion of (/ x y) in t 9.012 * [taylor]: Taking taylor expansion of x in t 9.012 * [taylor]: Taking taylor expansion of y in t 9.012 * [taylor]: Taking taylor expansion of (- z t) in t 9.012 * [taylor]: Taking taylor expansion of z in t 9.012 * [taylor]: Taking taylor expansion of t in t 9.012 * [taylor]: Taking taylor expansion of t in t 9.012 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 9.012 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.012 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 9.012 * [taylor]: Taking taylor expansion of (/ x y) in z 9.012 * [taylor]: Taking taylor expansion of x in z 9.012 * [taylor]: Taking taylor expansion of y in z 9.012 * [taylor]: Taking taylor expansion of (- z t) in z 9.012 * [taylor]: Taking taylor expansion of z in z 9.012 * [taylor]: Taking taylor expansion of t in z 9.012 * [taylor]: Taking taylor expansion of t in z 9.012 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 9.012 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.012 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 9.012 * [taylor]: Taking taylor expansion of (/ x y) in y 9.012 * [taylor]: Taking taylor expansion of x in y 9.012 * [taylor]: Taking taylor expansion of y in y 9.012 * [taylor]: Taking taylor expansion of (- z t) in y 9.012 * [taylor]: Taking taylor expansion of z in y 9.012 * [taylor]: Taking taylor expansion of t in y 9.012 * [taylor]: Taking taylor expansion of t in y 9.012 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 9.013 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.013 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 9.013 * [taylor]: Taking taylor expansion of (/ x y) in x 9.013 * [taylor]: Taking taylor expansion of x in x 9.013 * [taylor]: Taking taylor expansion of y in x 9.013 * [taylor]: Taking taylor expansion of (- z t) in x 9.013 * [taylor]: Taking taylor expansion of z in x 9.013 * [taylor]: Taking taylor expansion of t in x 9.013 * [taylor]: Taking taylor expansion of t in x 9.013 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 9.013 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.013 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 9.013 * [taylor]: Taking taylor expansion of (/ x y) in x 9.013 * [taylor]: Taking taylor expansion of x in x 9.013 * [taylor]: Taking taylor expansion of y in x 9.013 * [taylor]: Taking taylor expansion of (- z t) in x 9.013 * [taylor]: Taking taylor expansion of z in x 9.013 * [taylor]: Taking taylor expansion of t in x 9.013 * [taylor]: Taking taylor expansion of t in x 9.013 * [taylor]: Taking taylor expansion of t in y 9.013 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 9.013 * [taylor]: Taking taylor expansion of (/ z y) in y 9.013 * [taylor]: Taking taylor expansion of z in y 9.013 * [taylor]: Taking taylor expansion of y in y 9.013 * [taylor]: Taking taylor expansion of (/ t y) in y 9.013 * [taylor]: Taking taylor expansion of t in y 9.014 * [taylor]: Taking taylor expansion of y in y 9.014 * [taylor]: Taking taylor expansion of (- z t) in z 9.014 * [taylor]: Taking taylor expansion of z in z 9.014 * [taylor]: Taking taylor expansion of t in z 9.014 * [taylor]: Taking taylor expansion of (- t) in t 9.014 * [taylor]: Taking taylor expansion of t in t 9.014 * [taylor]: Taking taylor expansion of t in z 9.014 * [taylor]: Taking taylor expansion of t in t 9.015 * [taylor]: Taking taylor expansion of 0 in y 9.016 * [taylor]: Taking taylor expansion of 0 in z 9.016 * [taylor]: Taking taylor expansion of 0 in t 9.017 * [taylor]: Taking taylor expansion of 0 in z 9.017 * [taylor]: Taking taylor expansion of 0 in t 9.017 * [taylor]: Taking taylor expansion of 1 in t 9.017 * [taylor]: Taking taylor expansion of 0 in t 9.018 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 9.018 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 9.018 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.018 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 9.018 * [taylor]: Taking taylor expansion of (/ y x) in t 9.018 * [taylor]: Taking taylor expansion of y in t 9.018 * [taylor]: Taking taylor expansion of x in t 9.018 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 9.018 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.018 * [taylor]: Taking taylor expansion of z in t 9.018 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.018 * [taylor]: Taking taylor expansion of t in t 9.019 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.019 * [taylor]: Taking taylor expansion of t in t 9.019 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 9.019 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.019 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 9.019 * [taylor]: Taking taylor expansion of (/ y x) in z 9.019 * [taylor]: Taking taylor expansion of y in z 9.019 * [taylor]: Taking taylor expansion of x in z 9.019 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 9.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.019 * [taylor]: Taking taylor expansion of z in z 9.019 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.019 * [taylor]: Taking taylor expansion of t in z 9.019 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.019 * [taylor]: Taking taylor expansion of t in z 9.019 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 9.020 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.020 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 9.020 * [taylor]: Taking taylor expansion of (/ y x) in y 9.020 * [taylor]: Taking taylor expansion of y in y 9.020 * [taylor]: Taking taylor expansion of x in y 9.020 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 9.020 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.020 * [taylor]: Taking taylor expansion of z in y 9.020 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.020 * [taylor]: Taking taylor expansion of t in y 9.020 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.020 * [taylor]: Taking taylor expansion of t in y 9.020 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 9.020 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.020 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 9.020 * [taylor]: Taking taylor expansion of (/ y x) in x 9.020 * [taylor]: Taking taylor expansion of y in x 9.020 * [taylor]: Taking taylor expansion of x in x 9.020 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 9.020 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.020 * [taylor]: Taking taylor expansion of z in x 9.020 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.020 * [taylor]: Taking taylor expansion of t in x 9.020 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.020 * [taylor]: Taking taylor expansion of t in x 9.020 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 9.020 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.020 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 9.020 * [taylor]: Taking taylor expansion of (/ y x) in x 9.020 * [taylor]: Taking taylor expansion of y in x 9.020 * [taylor]: Taking taylor expansion of x in x 9.020 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 9.020 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.020 * [taylor]: Taking taylor expansion of z in x 9.020 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.020 * [taylor]: Taking taylor expansion of t in x 9.021 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.021 * [taylor]: Taking taylor expansion of t in x 9.021 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 9.021 * [taylor]: Taking taylor expansion of (/ y z) in y 9.021 * [taylor]: Taking taylor expansion of y in y 9.021 * [taylor]: Taking taylor expansion of z in y 9.021 * [taylor]: Taking taylor expansion of (/ y t) in y 9.021 * [taylor]: Taking taylor expansion of y in y 9.021 * [taylor]: Taking taylor expansion of t in y 9.022 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.022 * [taylor]: Taking taylor expansion of t in y 9.022 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.022 * [taylor]: Taking taylor expansion of t in z 9.022 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 9.022 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.022 * [taylor]: Taking taylor expansion of z in z 9.023 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.023 * [taylor]: Taking taylor expansion of t in z 9.023 * [taylor]: Taking taylor expansion of 1 in t 9.025 * [taylor]: Taking taylor expansion of 0 in y 9.025 * [taylor]: Taking taylor expansion of 0 in z 9.025 * [taylor]: Taking taylor expansion of 0 in z 9.026 * [taylor]: Taking taylor expansion of 0 in z 9.026 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.026 * [taylor]: Taking taylor expansion of t in t 9.026 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 9.027 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.027 * [taylor]: Taking taylor expansion of t in t 9.028 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 9.028 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 9.028 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.028 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 9.028 * [taylor]: Taking taylor expansion of (/ y x) in t 9.028 * [taylor]: Taking taylor expansion of y in t 9.028 * [taylor]: Taking taylor expansion of x in t 9.028 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 9.028 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.028 * [taylor]: Taking taylor expansion of t in t 9.028 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.028 * [taylor]: Taking taylor expansion of z in t 9.028 * [taylor]: Taking taylor expansion of (/ -1 t) in t 9.028 * [taylor]: Taking taylor expansion of -1 in t 9.028 * [taylor]: Taking taylor expansion of t in t 9.029 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 9.029 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.029 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 9.029 * [taylor]: Taking taylor expansion of (/ y x) in z 9.029 * [taylor]: Taking taylor expansion of y in z 9.029 * [taylor]: Taking taylor expansion of x in z 9.029 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 9.029 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.029 * [taylor]: Taking taylor expansion of t in z 9.029 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.029 * [taylor]: Taking taylor expansion of z in z 9.029 * [taylor]: Taking taylor expansion of (/ -1 t) in z 9.029 * [taylor]: Taking taylor expansion of -1 in z 9.029 * [taylor]: Taking taylor expansion of t in z 9.029 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 9.029 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.029 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 9.029 * [taylor]: Taking taylor expansion of (/ y x) in y 9.030 * [taylor]: Taking taylor expansion of y in y 9.030 * [taylor]: Taking taylor expansion of x in y 9.030 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 9.030 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.030 * [taylor]: Taking taylor expansion of t in y 9.030 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.030 * [taylor]: Taking taylor expansion of z in y 9.030 * [taylor]: Taking taylor expansion of (/ -1 t) in y 9.030 * [taylor]: Taking taylor expansion of -1 in y 9.030 * [taylor]: Taking taylor expansion of t in y 9.030 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 9.030 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.030 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 9.030 * [taylor]: Taking taylor expansion of (/ y x) in x 9.030 * [taylor]: Taking taylor expansion of y in x 9.030 * [taylor]: Taking taylor expansion of x in x 9.030 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 9.030 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.030 * [taylor]: Taking taylor expansion of t in x 9.030 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.030 * [taylor]: Taking taylor expansion of z in x 9.030 * [taylor]: Taking taylor expansion of (/ -1 t) in x 9.030 * [taylor]: Taking taylor expansion of -1 in x 9.030 * [taylor]: Taking taylor expansion of t in x 9.030 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 9.030 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.030 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 9.030 * [taylor]: Taking taylor expansion of (/ y x) in x 9.030 * [taylor]: Taking taylor expansion of y in x 9.030 * [taylor]: Taking taylor expansion of x in x 9.030 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 9.030 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.030 * [taylor]: Taking taylor expansion of t in x 9.030 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.030 * [taylor]: Taking taylor expansion of z in x 9.030 * [taylor]: Taking taylor expansion of (/ -1 t) in x 9.030 * [taylor]: Taking taylor expansion of -1 in x 9.030 * [taylor]: Taking taylor expansion of t in x 9.031 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 9.031 * [taylor]: Taking taylor expansion of (/ y t) in y 9.031 * [taylor]: Taking taylor expansion of y in y 9.031 * [taylor]: Taking taylor expansion of t in y 9.031 * [taylor]: Taking taylor expansion of (/ y z) in y 9.031 * [taylor]: Taking taylor expansion of y in y 9.031 * [taylor]: Taking taylor expansion of z in y 9.032 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 9.032 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.032 * [taylor]: Taking taylor expansion of t in y 9.032 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 9.032 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.032 * [taylor]: Taking taylor expansion of t in z 9.032 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 9.032 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.032 * [taylor]: Taking taylor expansion of t in z 9.032 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.032 * [taylor]: Taking taylor expansion of z in z 9.033 * [taylor]: Taking taylor expansion of -1 in t 9.035 * [taylor]: Taking taylor expansion of 0 in y 9.035 * [taylor]: Taking taylor expansion of 0 in z 9.035 * [taylor]: Taking taylor expansion of 0 in z 9.036 * [taylor]: Taking taylor expansion of 0 in z 9.036 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 9.036 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.036 * [taylor]: Taking taylor expansion of t in t 9.037 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.037 * [taylor]: Taking taylor expansion of t in t 9.038 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1) 9.038 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 9.038 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 9.039 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.039 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 9.039 * [taylor]: Taking taylor expansion of (/ x y) in t 9.039 * [taylor]: Taking taylor expansion of x in t 9.039 * [taylor]: Taking taylor expansion of y in t 9.039 * [taylor]: Taking taylor expansion of (- z t) in t 9.039 * [taylor]: Taking taylor expansion of z in t 9.039 * [taylor]: Taking taylor expansion of t in t 9.039 * [taylor]: Taking taylor expansion of t in t 9.039 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 9.039 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.039 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 9.039 * [taylor]: Taking taylor expansion of (/ x y) in z 9.039 * [taylor]: Taking taylor expansion of x in z 9.039 * [taylor]: Taking taylor expansion of y in z 9.039 * [taylor]: Taking taylor expansion of (- z t) in z 9.039 * [taylor]: Taking taylor expansion of z in z 9.039 * [taylor]: Taking taylor expansion of t in z 9.039 * [taylor]: Taking taylor expansion of t in z 9.039 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 9.039 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.039 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 9.039 * [taylor]: Taking taylor expansion of (/ x y) in y 9.039 * [taylor]: Taking taylor expansion of x in y 9.039 * [taylor]: Taking taylor expansion of y in y 9.039 * [taylor]: Taking taylor expansion of (- z t) in y 9.039 * [taylor]: Taking taylor expansion of z in y 9.039 * [taylor]: Taking taylor expansion of t in y 9.039 * [taylor]: Taking taylor expansion of t in y 9.039 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 9.039 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.039 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 9.039 * [taylor]: Taking taylor expansion of (/ x y) in x 9.039 * [taylor]: Taking taylor expansion of x in x 9.039 * [taylor]: Taking taylor expansion of y in x 9.039 * [taylor]: Taking taylor expansion of (- z t) in x 9.039 * [taylor]: Taking taylor expansion of z in x 9.039 * [taylor]: Taking taylor expansion of t in x 9.039 * [taylor]: Taking taylor expansion of t in x 9.039 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 9.040 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.040 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 9.040 * [taylor]: Taking taylor expansion of (/ x y) in x 9.040 * [taylor]: Taking taylor expansion of x in x 9.040 * [taylor]: Taking taylor expansion of y in x 9.040 * [taylor]: Taking taylor expansion of (- z t) in x 9.040 * [taylor]: Taking taylor expansion of z in x 9.040 * [taylor]: Taking taylor expansion of t in x 9.040 * [taylor]: Taking taylor expansion of t in x 9.040 * [taylor]: Taking taylor expansion of t in y 9.040 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 9.040 * [taylor]: Taking taylor expansion of (/ z y) in y 9.040 * [taylor]: Taking taylor expansion of z in y 9.040 * [taylor]: Taking taylor expansion of y in y 9.040 * [taylor]: Taking taylor expansion of (/ t y) in y 9.040 * [taylor]: Taking taylor expansion of t in y 9.040 * [taylor]: Taking taylor expansion of y in y 9.040 * [taylor]: Taking taylor expansion of (- z t) in z 9.040 * [taylor]: Taking taylor expansion of z in z 9.040 * [taylor]: Taking taylor expansion of t in z 9.040 * [taylor]: Taking taylor expansion of (- t) in t 9.040 * [taylor]: Taking taylor expansion of t in t 9.040 * [taylor]: Taking taylor expansion of t in z 9.041 * [taylor]: Taking taylor expansion of t in t 9.041 * [taylor]: Taking taylor expansion of 0 in y 9.043 * [taylor]: Taking taylor expansion of 0 in z 9.043 * [taylor]: Taking taylor expansion of 0 in t 9.043 * [taylor]: Taking taylor expansion of 0 in z 9.043 * [taylor]: Taking taylor expansion of 0 in t 9.043 * [taylor]: Taking taylor expansion of 1 in t 9.043 * [taylor]: Taking taylor expansion of 0 in t 9.044 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 9.044 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 9.045 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.045 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 9.045 * [taylor]: Taking taylor expansion of (/ y x) in t 9.045 * [taylor]: Taking taylor expansion of y in t 9.045 * [taylor]: Taking taylor expansion of x in t 9.045 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 9.045 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.045 * [taylor]: Taking taylor expansion of z in t 9.045 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.045 * [taylor]: Taking taylor expansion of t in t 9.045 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.045 * [taylor]: Taking taylor expansion of t in t 9.045 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 9.045 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.045 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 9.045 * [taylor]: Taking taylor expansion of (/ y x) in z 9.045 * [taylor]: Taking taylor expansion of y in z 9.045 * [taylor]: Taking taylor expansion of x in z 9.045 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 9.045 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.046 * [taylor]: Taking taylor expansion of z in z 9.046 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.046 * [taylor]: Taking taylor expansion of t in z 9.046 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.046 * [taylor]: Taking taylor expansion of t in z 9.046 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 9.046 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.046 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 9.046 * [taylor]: Taking taylor expansion of (/ y x) in y 9.046 * [taylor]: Taking taylor expansion of y in y 9.046 * [taylor]: Taking taylor expansion of x in y 9.046 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 9.046 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.046 * [taylor]: Taking taylor expansion of z in y 9.046 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.046 * [taylor]: Taking taylor expansion of t in y 9.046 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.046 * [taylor]: Taking taylor expansion of t in y 9.046 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 9.046 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.046 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 9.046 * [taylor]: Taking taylor expansion of (/ y x) in x 9.046 * [taylor]: Taking taylor expansion of y in x 9.046 * [taylor]: Taking taylor expansion of x in x 9.046 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 9.046 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.046 * [taylor]: Taking taylor expansion of z in x 9.046 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.047 * [taylor]: Taking taylor expansion of t in x 9.047 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.047 * [taylor]: Taking taylor expansion of t in x 9.047 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 9.047 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.047 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 9.047 * [taylor]: Taking taylor expansion of (/ y x) in x 9.047 * [taylor]: Taking taylor expansion of y in x 9.047 * [taylor]: Taking taylor expansion of x in x 9.047 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 9.047 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.047 * [taylor]: Taking taylor expansion of z in x 9.047 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.047 * [taylor]: Taking taylor expansion of t in x 9.047 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.047 * [taylor]: Taking taylor expansion of t in x 9.047 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 9.047 * [taylor]: Taking taylor expansion of (/ y z) in y 9.047 * [taylor]: Taking taylor expansion of y in y 9.047 * [taylor]: Taking taylor expansion of z in y 9.047 * [taylor]: Taking taylor expansion of (/ y t) in y 9.047 * [taylor]: Taking taylor expansion of y in y 9.047 * [taylor]: Taking taylor expansion of t in y 9.051 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.051 * [taylor]: Taking taylor expansion of t in y 9.051 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.051 * [taylor]: Taking taylor expansion of t in z 9.051 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 9.051 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.051 * [taylor]: Taking taylor expansion of z in z 9.051 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.051 * [taylor]: Taking taylor expansion of t in z 9.052 * [taylor]: Taking taylor expansion of 1 in t 9.054 * [taylor]: Taking taylor expansion of 0 in y 9.054 * [taylor]: Taking taylor expansion of 0 in z 9.054 * [taylor]: Taking taylor expansion of 0 in z 9.054 * [taylor]: Taking taylor expansion of 0 in z 9.054 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.054 * [taylor]: Taking taylor expansion of t in t 9.055 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 9.055 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.055 * [taylor]: Taking taylor expansion of t in t 9.057 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 9.057 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 9.057 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.057 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 9.057 * [taylor]: Taking taylor expansion of (/ y x) in t 9.057 * [taylor]: Taking taylor expansion of y in t 9.057 * [taylor]: Taking taylor expansion of x in t 9.057 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 9.057 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.057 * [taylor]: Taking taylor expansion of t in t 9.057 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.057 * [taylor]: Taking taylor expansion of z in t 9.057 * [taylor]: Taking taylor expansion of (/ -1 t) in t 9.057 * [taylor]: Taking taylor expansion of -1 in t 9.057 * [taylor]: Taking taylor expansion of t in t 9.058 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 9.058 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.058 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 9.058 * [taylor]: Taking taylor expansion of (/ y x) in z 9.058 * [taylor]: Taking taylor expansion of y in z 9.058 * [taylor]: Taking taylor expansion of x in z 9.058 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 9.058 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.058 * [taylor]: Taking taylor expansion of t in z 9.058 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.058 * [taylor]: Taking taylor expansion of z in z 9.058 * [taylor]: Taking taylor expansion of (/ -1 t) in z 9.058 * [taylor]: Taking taylor expansion of -1 in z 9.058 * [taylor]: Taking taylor expansion of t in z 9.058 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 9.058 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.058 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 9.058 * [taylor]: Taking taylor expansion of (/ y x) in y 9.058 * [taylor]: Taking taylor expansion of y in y 9.058 * [taylor]: Taking taylor expansion of x in y 9.058 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 9.058 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.058 * [taylor]: Taking taylor expansion of t in y 9.058 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.058 * [taylor]: Taking taylor expansion of z in y 9.058 * [taylor]: Taking taylor expansion of (/ -1 t) in y 9.058 * [taylor]: Taking taylor expansion of -1 in y 9.059 * [taylor]: Taking taylor expansion of t in y 9.059 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 9.059 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.059 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 9.059 * [taylor]: Taking taylor expansion of (/ y x) in x 9.059 * [taylor]: Taking taylor expansion of y in x 9.059 * [taylor]: Taking taylor expansion of x in x 9.059 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 9.059 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.059 * [taylor]: Taking taylor expansion of t in x 9.059 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.059 * [taylor]: Taking taylor expansion of z in x 9.059 * [taylor]: Taking taylor expansion of (/ -1 t) in x 9.059 * [taylor]: Taking taylor expansion of -1 in x 9.059 * [taylor]: Taking taylor expansion of t in x 9.059 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 9.059 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.059 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 9.059 * [taylor]: Taking taylor expansion of (/ y x) in x 9.059 * [taylor]: Taking taylor expansion of y in x 9.059 * [taylor]: Taking taylor expansion of x in x 9.059 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 9.059 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.059 * [taylor]: Taking taylor expansion of t in x 9.059 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.059 * [taylor]: Taking taylor expansion of z in x 9.059 * [taylor]: Taking taylor expansion of (/ -1 t) in x 9.059 * [taylor]: Taking taylor expansion of -1 in x 9.059 * [taylor]: Taking taylor expansion of t in x 9.060 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 9.060 * [taylor]: Taking taylor expansion of (/ y t) in y 9.060 * [taylor]: Taking taylor expansion of y in y 9.060 * [taylor]: Taking taylor expansion of t in y 9.060 * [taylor]: Taking taylor expansion of (/ y z) in y 9.060 * [taylor]: Taking taylor expansion of y in y 9.060 * [taylor]: Taking taylor expansion of z in y 9.061 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 9.061 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.061 * [taylor]: Taking taylor expansion of t in y 9.061 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 9.061 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.061 * [taylor]: Taking taylor expansion of t in z 9.061 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 9.061 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.061 * [taylor]: Taking taylor expansion of t in z 9.061 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.061 * [taylor]: Taking taylor expansion of z in z 9.062 * [taylor]: Taking taylor expansion of -1 in t 9.064 * [taylor]: Taking taylor expansion of 0 in y 9.064 * [taylor]: Taking taylor expansion of 0 in z 9.064 * [taylor]: Taking taylor expansion of 0 in z 9.065 * [taylor]: Taking taylor expansion of 0 in z 9.065 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 9.065 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.065 * [taylor]: Taking taylor expansion of t in t 9.066 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.066 * [taylor]: Taking taylor expansion of t in t 9.067 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1) 9.067 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 9.067 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 9.068 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.068 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 9.068 * [taylor]: Taking taylor expansion of (/ x y) in t 9.068 * [taylor]: Taking taylor expansion of x in t 9.068 * [taylor]: Taking taylor expansion of y in t 9.068 * [taylor]: Taking taylor expansion of (- z t) in t 9.068 * [taylor]: Taking taylor expansion of z in t 9.068 * [taylor]: Taking taylor expansion of t in t 9.068 * [taylor]: Taking taylor expansion of t in t 9.068 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 9.068 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.068 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 9.068 * [taylor]: Taking taylor expansion of (/ x y) in z 9.068 * [taylor]: Taking taylor expansion of x in z 9.068 * [taylor]: Taking taylor expansion of y in z 9.068 * [taylor]: Taking taylor expansion of (- z t) in z 9.068 * [taylor]: Taking taylor expansion of z in z 9.068 * [taylor]: Taking taylor expansion of t in z 9.068 * [taylor]: Taking taylor expansion of t in z 9.068 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 9.068 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.068 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 9.068 * [taylor]: Taking taylor expansion of (/ x y) in y 9.068 * [taylor]: Taking taylor expansion of x in y 9.068 * [taylor]: Taking taylor expansion of y in y 9.068 * [taylor]: Taking taylor expansion of (- z t) in y 9.068 * [taylor]: Taking taylor expansion of z in y 9.068 * [taylor]: Taking taylor expansion of t in y 9.068 * [taylor]: Taking taylor expansion of t in y 9.068 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 9.068 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.068 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 9.068 * [taylor]: Taking taylor expansion of (/ x y) in x 9.068 * [taylor]: Taking taylor expansion of x in x 9.068 * [taylor]: Taking taylor expansion of y in x 9.068 * [taylor]: Taking taylor expansion of (- z t) in x 9.068 * [taylor]: Taking taylor expansion of z in x 9.068 * [taylor]: Taking taylor expansion of t in x 9.068 * [taylor]: Taking taylor expansion of t in x 9.069 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 9.069 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.069 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 9.069 * [taylor]: Taking taylor expansion of (/ x y) in x 9.069 * [taylor]: Taking taylor expansion of x in x 9.069 * [taylor]: Taking taylor expansion of y in x 9.069 * [taylor]: Taking taylor expansion of (- z t) in x 9.069 * [taylor]: Taking taylor expansion of z in x 9.069 * [taylor]: Taking taylor expansion of t in x 9.069 * [taylor]: Taking taylor expansion of t in x 9.069 * [taylor]: Taking taylor expansion of t in y 9.069 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 9.069 * [taylor]: Taking taylor expansion of (/ z y) in y 9.069 * [taylor]: Taking taylor expansion of z in y 9.069 * [taylor]: Taking taylor expansion of y in y 9.069 * [taylor]: Taking taylor expansion of (/ t y) in y 9.069 * [taylor]: Taking taylor expansion of t in y 9.069 * [taylor]: Taking taylor expansion of y in y 9.069 * [taylor]: Taking taylor expansion of (- z t) in z 9.069 * [taylor]: Taking taylor expansion of z in z 9.069 * [taylor]: Taking taylor expansion of t in z 9.069 * [taylor]: Taking taylor expansion of (- t) in t 9.069 * [taylor]: Taking taylor expansion of t in t 9.069 * [taylor]: Taking taylor expansion of t in z 9.070 * [taylor]: Taking taylor expansion of t in t 9.070 * [taylor]: Taking taylor expansion of 0 in y 9.072 * [taylor]: Taking taylor expansion of 0 in z 9.072 * [taylor]: Taking taylor expansion of 0 in t 9.072 * [taylor]: Taking taylor expansion of 0 in z 9.072 * [taylor]: Taking taylor expansion of 0 in t 9.072 * [taylor]: Taking taylor expansion of 1 in t 9.072 * [taylor]: Taking taylor expansion of 0 in t 9.073 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 9.073 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 9.074 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.074 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 9.074 * [taylor]: Taking taylor expansion of (/ y x) in t 9.074 * [taylor]: Taking taylor expansion of y in t 9.074 * [taylor]: Taking taylor expansion of x in t 9.074 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 9.074 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.074 * [taylor]: Taking taylor expansion of z in t 9.074 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.074 * [taylor]: Taking taylor expansion of t in t 9.074 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.074 * [taylor]: Taking taylor expansion of t in t 9.074 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 9.074 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.074 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 9.074 * [taylor]: Taking taylor expansion of (/ y x) in z 9.074 * [taylor]: Taking taylor expansion of y in z 9.074 * [taylor]: Taking taylor expansion of x in z 9.074 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 9.074 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.075 * [taylor]: Taking taylor expansion of z in z 9.075 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.075 * [taylor]: Taking taylor expansion of t in z 9.075 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.075 * [taylor]: Taking taylor expansion of t in z 9.075 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 9.075 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.075 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 9.075 * [taylor]: Taking taylor expansion of (/ y x) in y 9.075 * [taylor]: Taking taylor expansion of y in y 9.075 * [taylor]: Taking taylor expansion of x in y 9.075 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 9.075 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.075 * [taylor]: Taking taylor expansion of z in y 9.075 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.075 * [taylor]: Taking taylor expansion of t in y 9.075 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.075 * [taylor]: Taking taylor expansion of t in y 9.075 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 9.075 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.075 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 9.075 * [taylor]: Taking taylor expansion of (/ y x) in x 9.075 * [taylor]: Taking taylor expansion of y in x 9.075 * [taylor]: Taking taylor expansion of x in x 9.075 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 9.075 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.075 * [taylor]: Taking taylor expansion of z in x 9.076 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.076 * [taylor]: Taking taylor expansion of t in x 9.076 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.076 * [taylor]: Taking taylor expansion of t in x 9.076 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 9.076 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.076 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 9.076 * [taylor]: Taking taylor expansion of (/ y x) in x 9.076 * [taylor]: Taking taylor expansion of y in x 9.076 * [taylor]: Taking taylor expansion of x in x 9.076 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 9.076 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.076 * [taylor]: Taking taylor expansion of z in x 9.076 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.076 * [taylor]: Taking taylor expansion of t in x 9.076 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.076 * [taylor]: Taking taylor expansion of t in x 9.076 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 9.076 * [taylor]: Taking taylor expansion of (/ y z) in y 9.076 * [taylor]: Taking taylor expansion of y in y 9.076 * [taylor]: Taking taylor expansion of z in y 9.076 * [taylor]: Taking taylor expansion of (/ y t) in y 9.076 * [taylor]: Taking taylor expansion of y in y 9.076 * [taylor]: Taking taylor expansion of t in y 9.078 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.078 * [taylor]: Taking taylor expansion of t in y 9.078 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.078 * [taylor]: Taking taylor expansion of t in z 9.078 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 9.078 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.078 * [taylor]: Taking taylor expansion of z in z 9.078 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.078 * [taylor]: Taking taylor expansion of t in z 9.078 * [taylor]: Taking taylor expansion of 1 in t 9.080 * [taylor]: Taking taylor expansion of 0 in y 9.080 * [taylor]: Taking taylor expansion of 0 in z 9.080 * [taylor]: Taking taylor expansion of 0 in z 9.081 * [taylor]: Taking taylor expansion of 0 in z 9.081 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.081 * [taylor]: Taking taylor expansion of t in t 9.082 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 9.082 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.082 * [taylor]: Taking taylor expansion of t in t 9.083 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 9.083 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 9.083 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.083 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 9.083 * [taylor]: Taking taylor expansion of (/ y x) in t 9.083 * [taylor]: Taking taylor expansion of y in t 9.083 * [taylor]: Taking taylor expansion of x in t 9.083 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 9.083 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.084 * [taylor]: Taking taylor expansion of t in t 9.084 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.084 * [taylor]: Taking taylor expansion of z in t 9.084 * [taylor]: Taking taylor expansion of (/ -1 t) in t 9.084 * [taylor]: Taking taylor expansion of -1 in t 9.084 * [taylor]: Taking taylor expansion of t in t 9.084 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 9.084 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.084 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 9.084 * [taylor]: Taking taylor expansion of (/ y x) in z 9.084 * [taylor]: Taking taylor expansion of y in z 9.084 * [taylor]: Taking taylor expansion of x in z 9.084 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 9.084 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.084 * [taylor]: Taking taylor expansion of t in z 9.084 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.084 * [taylor]: Taking taylor expansion of z in z 9.085 * [taylor]: Taking taylor expansion of (/ -1 t) in z 9.085 * [taylor]: Taking taylor expansion of -1 in z 9.085 * [taylor]: Taking taylor expansion of t in z 9.085 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 9.085 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.085 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 9.085 * [taylor]: Taking taylor expansion of (/ y x) in y 9.085 * [taylor]: Taking taylor expansion of y in y 9.085 * [taylor]: Taking taylor expansion of x in y 9.085 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 9.085 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.085 * [taylor]: Taking taylor expansion of t in y 9.085 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.085 * [taylor]: Taking taylor expansion of z in y 9.085 * [taylor]: Taking taylor expansion of (/ -1 t) in y 9.085 * [taylor]: Taking taylor expansion of -1 in y 9.085 * [taylor]: Taking taylor expansion of t in y 9.085 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 9.085 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.085 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 9.085 * [taylor]: Taking taylor expansion of (/ y x) in x 9.085 * [taylor]: Taking taylor expansion of y in x 9.085 * [taylor]: Taking taylor expansion of x in x 9.085 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 9.085 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.085 * [taylor]: Taking taylor expansion of t in x 9.085 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.085 * [taylor]: Taking taylor expansion of z in x 9.085 * [taylor]: Taking taylor expansion of (/ -1 t) in x 9.085 * [taylor]: Taking taylor expansion of -1 in x 9.086 * [taylor]: Taking taylor expansion of t in x 9.086 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 9.086 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.086 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 9.086 * [taylor]: Taking taylor expansion of (/ y x) in x 9.086 * [taylor]: Taking taylor expansion of y in x 9.086 * [taylor]: Taking taylor expansion of x in x 9.086 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 9.086 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.086 * [taylor]: Taking taylor expansion of t in x 9.086 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.086 * [taylor]: Taking taylor expansion of z in x 9.086 * [taylor]: Taking taylor expansion of (/ -1 t) in x 9.086 * [taylor]: Taking taylor expansion of -1 in x 9.086 * [taylor]: Taking taylor expansion of t in x 9.086 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 9.086 * [taylor]: Taking taylor expansion of (/ y t) in y 9.086 * [taylor]: Taking taylor expansion of y in y 9.086 * [taylor]: Taking taylor expansion of t in y 9.086 * [taylor]: Taking taylor expansion of (/ y z) in y 9.086 * [taylor]: Taking taylor expansion of y in y 9.086 * [taylor]: Taking taylor expansion of z in y 9.088 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 9.088 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.088 * [taylor]: Taking taylor expansion of t in y 9.088 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 9.088 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.088 * [taylor]: Taking taylor expansion of t in z 9.088 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 9.088 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.088 * [taylor]: Taking taylor expansion of t in z 9.088 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.088 * [taylor]: Taking taylor expansion of z in z 9.089 * [taylor]: Taking taylor expansion of -1 in t 9.091 * [taylor]: Taking taylor expansion of 0 in y 9.091 * [taylor]: Taking taylor expansion of 0 in z 9.091 * [taylor]: Taking taylor expansion of 0 in z 9.092 * [taylor]: Taking taylor expansion of 0 in z 9.092 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 9.092 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.092 * [taylor]: Taking taylor expansion of t in t 9.093 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.093 * [taylor]: Taking taylor expansion of t in t 9.094 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 9.094 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 9.094 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 9.094 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.094 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 9.094 * [taylor]: Taking taylor expansion of (/ x y) in t 9.094 * [taylor]: Taking taylor expansion of x in t 9.094 * [taylor]: Taking taylor expansion of y in t 9.094 * [taylor]: Taking taylor expansion of (- z t) in t 9.094 * [taylor]: Taking taylor expansion of z in t 9.094 * [taylor]: Taking taylor expansion of t in t 9.094 * [taylor]: Taking taylor expansion of t in t 9.094 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 9.094 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.094 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 9.094 * [taylor]: Taking taylor expansion of (/ x y) in z 9.094 * [taylor]: Taking taylor expansion of x in z 9.094 * [taylor]: Taking taylor expansion of y in z 9.094 * [taylor]: Taking taylor expansion of (- z t) in z 9.094 * [taylor]: Taking taylor expansion of z in z 9.094 * [taylor]: Taking taylor expansion of t in z 9.095 * [taylor]: Taking taylor expansion of t in z 9.095 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 9.095 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.095 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 9.095 * [taylor]: Taking taylor expansion of (/ x y) in y 9.095 * [taylor]: Taking taylor expansion of x in y 9.095 * [taylor]: Taking taylor expansion of y in y 9.095 * [taylor]: Taking taylor expansion of (- z t) in y 9.095 * [taylor]: Taking taylor expansion of z in y 9.095 * [taylor]: Taking taylor expansion of t in y 9.095 * [taylor]: Taking taylor expansion of t in y 9.095 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 9.095 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.095 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 9.095 * [taylor]: Taking taylor expansion of (/ x y) in x 9.095 * [taylor]: Taking taylor expansion of x in x 9.095 * [taylor]: Taking taylor expansion of y in x 9.095 * [taylor]: Taking taylor expansion of (- z t) in x 9.095 * [taylor]: Taking taylor expansion of z in x 9.095 * [taylor]: Taking taylor expansion of t in x 9.095 * [taylor]: Taking taylor expansion of t in x 9.095 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 9.095 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 9.095 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 9.095 * [taylor]: Taking taylor expansion of (/ x y) in x 9.095 * [taylor]: Taking taylor expansion of x in x 9.095 * [taylor]: Taking taylor expansion of y in x 9.095 * [taylor]: Taking taylor expansion of (- z t) in x 9.095 * [taylor]: Taking taylor expansion of z in x 9.095 * [taylor]: Taking taylor expansion of t in x 9.095 * [taylor]: Taking taylor expansion of t in x 9.095 * [taylor]: Taking taylor expansion of t in y 9.095 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 9.095 * [taylor]: Taking taylor expansion of (/ z y) in y 9.096 * [taylor]: Taking taylor expansion of z in y 9.096 * [taylor]: Taking taylor expansion of y in y 9.096 * [taylor]: Taking taylor expansion of (/ t y) in y 9.096 * [taylor]: Taking taylor expansion of t in y 9.096 * [taylor]: Taking taylor expansion of y in y 9.096 * [taylor]: Taking taylor expansion of (- z t) in z 9.096 * [taylor]: Taking taylor expansion of z in z 9.096 * [taylor]: Taking taylor expansion of t in z 9.096 * [taylor]: Taking taylor expansion of (- t) in t 9.096 * [taylor]: Taking taylor expansion of t in t 9.096 * [taylor]: Taking taylor expansion of t in z 9.096 * [taylor]: Taking taylor expansion of t in t 9.097 * [taylor]: Taking taylor expansion of 0 in y 9.098 * [taylor]: Taking taylor expansion of 0 in z 9.098 * [taylor]: Taking taylor expansion of 0 in t 9.098 * [taylor]: Taking taylor expansion of 0 in z 9.098 * [taylor]: Taking taylor expansion of 0 in t 9.099 * [taylor]: Taking taylor expansion of 1 in t 9.099 * [taylor]: Taking taylor expansion of 0 in t 9.100 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 9.100 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 9.100 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.100 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 9.100 * [taylor]: Taking taylor expansion of (/ y x) in t 9.100 * [taylor]: Taking taylor expansion of y in t 9.100 * [taylor]: Taking taylor expansion of x in t 9.100 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 9.100 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.100 * [taylor]: Taking taylor expansion of z in t 9.100 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.100 * [taylor]: Taking taylor expansion of t in t 9.101 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.101 * [taylor]: Taking taylor expansion of t in t 9.101 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 9.101 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.101 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 9.101 * [taylor]: Taking taylor expansion of (/ y x) in z 9.101 * [taylor]: Taking taylor expansion of y in z 9.101 * [taylor]: Taking taylor expansion of x in z 9.101 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 9.101 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.101 * [taylor]: Taking taylor expansion of z in z 9.101 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.101 * [taylor]: Taking taylor expansion of t in z 9.101 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.101 * [taylor]: Taking taylor expansion of t in z 9.101 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 9.102 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.102 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 9.102 * [taylor]: Taking taylor expansion of (/ y x) in y 9.102 * [taylor]: Taking taylor expansion of y in y 9.102 * [taylor]: Taking taylor expansion of x in y 9.102 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 9.102 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.102 * [taylor]: Taking taylor expansion of z in y 9.102 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.102 * [taylor]: Taking taylor expansion of t in y 9.102 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.102 * [taylor]: Taking taylor expansion of t in y 9.102 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 9.102 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.102 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 9.102 * [taylor]: Taking taylor expansion of (/ y x) in x 9.102 * [taylor]: Taking taylor expansion of y in x 9.102 * [taylor]: Taking taylor expansion of x in x 9.102 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 9.102 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.102 * [taylor]: Taking taylor expansion of z in x 9.102 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.102 * [taylor]: Taking taylor expansion of t in x 9.102 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.102 * [taylor]: Taking taylor expansion of t in x 9.102 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 9.102 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 9.102 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 9.102 * [taylor]: Taking taylor expansion of (/ y x) in x 9.102 * [taylor]: Taking taylor expansion of y in x 9.102 * [taylor]: Taking taylor expansion of x in x 9.102 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 9.102 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.102 * [taylor]: Taking taylor expansion of z in x 9.102 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.102 * [taylor]: Taking taylor expansion of t in x 9.102 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.103 * [taylor]: Taking taylor expansion of t in x 9.103 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 9.103 * [taylor]: Taking taylor expansion of (/ y z) in y 9.103 * [taylor]: Taking taylor expansion of y in y 9.103 * [taylor]: Taking taylor expansion of z in y 9.103 * [taylor]: Taking taylor expansion of (/ y t) in y 9.103 * [taylor]: Taking taylor expansion of y in y 9.103 * [taylor]: Taking taylor expansion of t in y 9.104 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.104 * [taylor]: Taking taylor expansion of t in y 9.104 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.104 * [taylor]: Taking taylor expansion of t in z 9.104 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 9.104 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.104 * [taylor]: Taking taylor expansion of z in z 9.105 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.105 * [taylor]: Taking taylor expansion of t in z 9.105 * [taylor]: Taking taylor expansion of 1 in t 9.107 * [taylor]: Taking taylor expansion of 0 in y 9.107 * [taylor]: Taking taylor expansion of 0 in z 9.107 * [taylor]: Taking taylor expansion of 0 in z 9.108 * [taylor]: Taking taylor expansion of 0 in z 9.108 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.108 * [taylor]: Taking taylor expansion of t in t 9.108 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 9.109 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.109 * [taylor]: Taking taylor expansion of t in t 9.110 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 9.110 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 9.110 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.110 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 9.110 * [taylor]: Taking taylor expansion of (/ y x) in t 9.110 * [taylor]: Taking taylor expansion of y in t 9.110 * [taylor]: Taking taylor expansion of x in t 9.110 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 9.110 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.110 * [taylor]: Taking taylor expansion of t in t 9.110 * [taylor]: Taking taylor expansion of (/ 1 z) in t 9.111 * [taylor]: Taking taylor expansion of z in t 9.111 * [taylor]: Taking taylor expansion of (/ -1 t) in t 9.111 * [taylor]: Taking taylor expansion of -1 in t 9.111 * [taylor]: Taking taylor expansion of t in t 9.111 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 9.111 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.111 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 9.111 * [taylor]: Taking taylor expansion of (/ y x) in z 9.111 * [taylor]: Taking taylor expansion of y in z 9.111 * [taylor]: Taking taylor expansion of x in z 9.111 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 9.111 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.111 * [taylor]: Taking taylor expansion of t in z 9.111 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.111 * [taylor]: Taking taylor expansion of z in z 9.112 * [taylor]: Taking taylor expansion of (/ -1 t) in z 9.112 * [taylor]: Taking taylor expansion of -1 in z 9.112 * [taylor]: Taking taylor expansion of t in z 9.112 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 9.112 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.112 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 9.112 * [taylor]: Taking taylor expansion of (/ y x) in y 9.112 * [taylor]: Taking taylor expansion of y in y 9.112 * [taylor]: Taking taylor expansion of x in y 9.112 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 9.112 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.112 * [taylor]: Taking taylor expansion of t in y 9.112 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.112 * [taylor]: Taking taylor expansion of z in y 9.112 * [taylor]: Taking taylor expansion of (/ -1 t) in y 9.112 * [taylor]: Taking taylor expansion of -1 in y 9.112 * [taylor]: Taking taylor expansion of t in y 9.112 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 9.112 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.112 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 9.112 * [taylor]: Taking taylor expansion of (/ y x) in x 9.112 * [taylor]: Taking taylor expansion of y in x 9.112 * [taylor]: Taking taylor expansion of x in x 9.112 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 9.112 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.112 * [taylor]: Taking taylor expansion of t in x 9.112 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.112 * [taylor]: Taking taylor expansion of z in x 9.112 * [taylor]: Taking taylor expansion of (/ -1 t) in x 9.112 * [taylor]: Taking taylor expansion of -1 in x 9.112 * [taylor]: Taking taylor expansion of t in x 9.112 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 9.113 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 9.113 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 9.113 * [taylor]: Taking taylor expansion of (/ y x) in x 9.113 * [taylor]: Taking taylor expansion of y in x 9.113 * [taylor]: Taking taylor expansion of x in x 9.113 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 9.113 * [taylor]: Taking taylor expansion of (/ 1 t) in x 9.113 * [taylor]: Taking taylor expansion of t in x 9.113 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.113 * [taylor]: Taking taylor expansion of z in x 9.113 * [taylor]: Taking taylor expansion of (/ -1 t) in x 9.113 * [taylor]: Taking taylor expansion of -1 in x 9.113 * [taylor]: Taking taylor expansion of t in x 9.113 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 9.113 * [taylor]: Taking taylor expansion of (/ y t) in y 9.113 * [taylor]: Taking taylor expansion of y in y 9.113 * [taylor]: Taking taylor expansion of t in y 9.113 * [taylor]: Taking taylor expansion of (/ y z) in y 9.113 * [taylor]: Taking taylor expansion of y in y 9.113 * [taylor]: Taking taylor expansion of z in y 9.115 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 9.115 * [taylor]: Taking taylor expansion of (/ 1 t) in y 9.115 * [taylor]: Taking taylor expansion of t in y 9.115 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 9.115 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.115 * [taylor]: Taking taylor expansion of t in z 9.115 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 9.115 * [taylor]: Taking taylor expansion of (/ 1 t) in z 9.115 * [taylor]: Taking taylor expansion of t in z 9.115 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.115 * [taylor]: Taking taylor expansion of z in z 9.116 * [taylor]: Taking taylor expansion of -1 in t 9.118 * [taylor]: Taking taylor expansion of 0 in y 9.118 * [taylor]: Taking taylor expansion of 0 in z 9.118 * [taylor]: Taking taylor expansion of 0 in z 9.119 * [taylor]: Taking taylor expansion of 0 in z 9.119 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 9.119 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.119 * [taylor]: Taking taylor expansion of t in t 9.120 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.120 * [taylor]: Taking taylor expansion of t in t 9.121 * * * [progress]: simplifying candidates 9.122 * [simplify]: Simplifying using # : (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) 9.123 * * [simplify]: iteration 0 : 23 enodes (cost 616 ) 9.126 * * [simplify]: iteration 1 : 41 enodes (cost 616 ) 9.131 * * [simplify]: iteration 2 : 89 enodes (cost 552 ) 9.149 * * [simplify]: iteration 3 : 214 enodes (cost 492 ) 9.208 * * [simplify]: iteration 4 : 942 enodes (cost 492 ) 9.840 * * [simplify]: iteration done : 5002 enodes (cost 492 ) 9.841 * [simplify]: Simplified to: (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) 9.841 * * * [progress]: adding candidates to table 10.006 * * [progress]: iteration 4 / 4 10.006 * * * [progress]: picking best candidate 10.012 * * * * [pick]: Picked # 10.012 * * * [progress]: localizing error 10.026 * * * [progress]: generating rewritten candidates 10.027 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 10.027 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1) 10.027 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1 1) 10.027 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 10.028 * * * [progress]: generating series expansions 10.028 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 10.028 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 10.028 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 10.029 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.029 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 10.029 * [taylor]: Taking taylor expansion of (/ x y) in t 10.029 * [taylor]: Taking taylor expansion of x in t 10.029 * [taylor]: Taking taylor expansion of y in t 10.029 * [taylor]: Taking taylor expansion of (- z t) in t 10.029 * [taylor]: Taking taylor expansion of z in t 10.029 * [taylor]: Taking taylor expansion of t in t 10.029 * [taylor]: Taking taylor expansion of t in t 10.029 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 10.029 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.029 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 10.029 * [taylor]: Taking taylor expansion of (/ x y) in z 10.029 * [taylor]: Taking taylor expansion of x in z 10.029 * [taylor]: Taking taylor expansion of y in z 10.029 * [taylor]: Taking taylor expansion of (- z t) in z 10.029 * [taylor]: Taking taylor expansion of z in z 10.029 * [taylor]: Taking taylor expansion of t in z 10.029 * [taylor]: Taking taylor expansion of t in z 10.029 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 10.029 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.029 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 10.029 * [taylor]: Taking taylor expansion of (/ x y) in y 10.029 * [taylor]: Taking taylor expansion of x in y 10.029 * [taylor]: Taking taylor expansion of y in y 10.029 * [taylor]: Taking taylor expansion of (- z t) in y 10.029 * [taylor]: Taking taylor expansion of z in y 10.029 * [taylor]: Taking taylor expansion of t in y 10.029 * [taylor]: Taking taylor expansion of t in y 10.029 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 10.029 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.029 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 10.029 * [taylor]: Taking taylor expansion of (/ x y) in x 10.029 * [taylor]: Taking taylor expansion of x in x 10.029 * [taylor]: Taking taylor expansion of y in x 10.029 * [taylor]: Taking taylor expansion of (- z t) in x 10.029 * [taylor]: Taking taylor expansion of z in x 10.029 * [taylor]: Taking taylor expansion of t in x 10.029 * [taylor]: Taking taylor expansion of t in x 10.030 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 10.030 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.030 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 10.030 * [taylor]: Taking taylor expansion of (/ x y) in x 10.030 * [taylor]: Taking taylor expansion of x in x 10.030 * [taylor]: Taking taylor expansion of y in x 10.030 * [taylor]: Taking taylor expansion of (- z t) in x 10.030 * [taylor]: Taking taylor expansion of z in x 10.030 * [taylor]: Taking taylor expansion of t in x 10.030 * [taylor]: Taking taylor expansion of t in x 10.030 * [taylor]: Taking taylor expansion of t in y 10.030 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 10.030 * [taylor]: Taking taylor expansion of (/ z y) in y 10.030 * [taylor]: Taking taylor expansion of z in y 10.030 * [taylor]: Taking taylor expansion of y in y 10.030 * [taylor]: Taking taylor expansion of (/ t y) in y 10.030 * [taylor]: Taking taylor expansion of t in y 10.030 * [taylor]: Taking taylor expansion of y in y 10.030 * [taylor]: Taking taylor expansion of (- z t) in z 10.030 * [taylor]: Taking taylor expansion of z in z 10.030 * [taylor]: Taking taylor expansion of t in z 10.030 * [taylor]: Taking taylor expansion of (- t) in t 10.030 * [taylor]: Taking taylor expansion of t in t 10.031 * [taylor]: Taking taylor expansion of t in z 10.031 * [taylor]: Taking taylor expansion of t in t 10.032 * [taylor]: Taking taylor expansion of 0 in y 10.033 * [taylor]: Taking taylor expansion of 0 in z 10.033 * [taylor]: Taking taylor expansion of 0 in t 10.033 * [taylor]: Taking taylor expansion of 0 in z 10.033 * [taylor]: Taking taylor expansion of 0 in t 10.034 * [taylor]: Taking taylor expansion of 1 in t 10.034 * [taylor]: Taking taylor expansion of 0 in t 10.035 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 10.035 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 10.035 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.035 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 10.035 * [taylor]: Taking taylor expansion of (/ y x) in t 10.035 * [taylor]: Taking taylor expansion of y in t 10.035 * [taylor]: Taking taylor expansion of x in t 10.035 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 10.035 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.035 * [taylor]: Taking taylor expansion of z in t 10.035 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.035 * [taylor]: Taking taylor expansion of t in t 10.035 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.035 * [taylor]: Taking taylor expansion of t in t 10.036 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 10.036 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.036 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 10.036 * [taylor]: Taking taylor expansion of (/ y x) in z 10.036 * [taylor]: Taking taylor expansion of y in z 10.036 * [taylor]: Taking taylor expansion of x in z 10.036 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 10.036 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.036 * [taylor]: Taking taylor expansion of z in z 10.036 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.036 * [taylor]: Taking taylor expansion of t in z 10.036 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.036 * [taylor]: Taking taylor expansion of t in z 10.036 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 10.036 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.036 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 10.036 * [taylor]: Taking taylor expansion of (/ y x) in y 10.036 * [taylor]: Taking taylor expansion of y in y 10.036 * [taylor]: Taking taylor expansion of x in y 10.036 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 10.036 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.036 * [taylor]: Taking taylor expansion of z in y 10.036 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.037 * [taylor]: Taking taylor expansion of t in y 10.037 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.037 * [taylor]: Taking taylor expansion of t in y 10.037 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 10.037 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.037 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 10.037 * [taylor]: Taking taylor expansion of (/ y x) in x 10.037 * [taylor]: Taking taylor expansion of y in x 10.037 * [taylor]: Taking taylor expansion of x in x 10.037 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 10.037 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.037 * [taylor]: Taking taylor expansion of z in x 10.037 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.037 * [taylor]: Taking taylor expansion of t in x 10.037 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.037 * [taylor]: Taking taylor expansion of t in x 10.037 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 10.037 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.037 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 10.037 * [taylor]: Taking taylor expansion of (/ y x) in x 10.037 * [taylor]: Taking taylor expansion of y in x 10.037 * [taylor]: Taking taylor expansion of x in x 10.037 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 10.037 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.037 * [taylor]: Taking taylor expansion of z in x 10.037 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.037 * [taylor]: Taking taylor expansion of t in x 10.037 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.037 * [taylor]: Taking taylor expansion of t in x 10.038 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 10.038 * [taylor]: Taking taylor expansion of (/ y z) in y 10.038 * [taylor]: Taking taylor expansion of y in y 10.038 * [taylor]: Taking taylor expansion of z in y 10.038 * [taylor]: Taking taylor expansion of (/ y t) in y 10.038 * [taylor]: Taking taylor expansion of y in y 10.038 * [taylor]: Taking taylor expansion of t in y 10.039 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.039 * [taylor]: Taking taylor expansion of t in y 10.039 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.039 * [taylor]: Taking taylor expansion of t in z 10.039 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 10.040 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.040 * [taylor]: Taking taylor expansion of z in z 10.040 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.040 * [taylor]: Taking taylor expansion of t in z 10.040 * [taylor]: Taking taylor expansion of 1 in t 10.042 * [taylor]: Taking taylor expansion of 0 in y 10.042 * [taylor]: Taking taylor expansion of 0 in z 10.043 * [taylor]: Taking taylor expansion of 0 in z 10.043 * [taylor]: Taking taylor expansion of 0 in z 10.043 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.043 * [taylor]: Taking taylor expansion of t in t 10.044 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 10.044 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.044 * [taylor]: Taking taylor expansion of t in t 10.045 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 10.045 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 10.045 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.045 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 10.045 * [taylor]: Taking taylor expansion of (/ y x) in t 10.046 * [taylor]: Taking taylor expansion of y in t 10.046 * [taylor]: Taking taylor expansion of x in t 10.046 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 10.046 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.046 * [taylor]: Taking taylor expansion of t in t 10.046 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.046 * [taylor]: Taking taylor expansion of z in t 10.046 * [taylor]: Taking taylor expansion of (/ -1 t) in t 10.046 * [taylor]: Taking taylor expansion of -1 in t 10.046 * [taylor]: Taking taylor expansion of t in t 10.046 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 10.046 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.046 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 10.046 * [taylor]: Taking taylor expansion of (/ y x) in z 10.046 * [taylor]: Taking taylor expansion of y in z 10.046 * [taylor]: Taking taylor expansion of x in z 10.046 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 10.046 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.046 * [taylor]: Taking taylor expansion of t in z 10.047 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.047 * [taylor]: Taking taylor expansion of z in z 10.047 * [taylor]: Taking taylor expansion of (/ -1 t) in z 10.047 * [taylor]: Taking taylor expansion of -1 in z 10.047 * [taylor]: Taking taylor expansion of t in z 10.047 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 10.047 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.047 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 10.047 * [taylor]: Taking taylor expansion of (/ y x) in y 10.047 * [taylor]: Taking taylor expansion of y in y 10.047 * [taylor]: Taking taylor expansion of x in y 10.047 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 10.047 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.047 * [taylor]: Taking taylor expansion of t in y 10.047 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.047 * [taylor]: Taking taylor expansion of z in y 10.047 * [taylor]: Taking taylor expansion of (/ -1 t) in y 10.047 * [taylor]: Taking taylor expansion of -1 in y 10.047 * [taylor]: Taking taylor expansion of t in y 10.047 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 10.047 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.047 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 10.047 * [taylor]: Taking taylor expansion of (/ y x) in x 10.047 * [taylor]: Taking taylor expansion of y in x 10.047 * [taylor]: Taking taylor expansion of x in x 10.047 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 10.047 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.047 * [taylor]: Taking taylor expansion of t in x 10.048 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.048 * [taylor]: Taking taylor expansion of z in x 10.048 * [taylor]: Taking taylor expansion of (/ -1 t) in x 10.048 * [taylor]: Taking taylor expansion of -1 in x 10.048 * [taylor]: Taking taylor expansion of t in x 10.048 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 10.048 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.048 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 10.048 * [taylor]: Taking taylor expansion of (/ y x) in x 10.048 * [taylor]: Taking taylor expansion of y in x 10.048 * [taylor]: Taking taylor expansion of x in x 10.048 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 10.048 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.048 * [taylor]: Taking taylor expansion of t in x 10.048 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.048 * [taylor]: Taking taylor expansion of z in x 10.048 * [taylor]: Taking taylor expansion of (/ -1 t) in x 10.048 * [taylor]: Taking taylor expansion of -1 in x 10.048 * [taylor]: Taking taylor expansion of t in x 10.048 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 10.048 * [taylor]: Taking taylor expansion of (/ y t) in y 10.048 * [taylor]: Taking taylor expansion of y in y 10.048 * [taylor]: Taking taylor expansion of t in y 10.048 * [taylor]: Taking taylor expansion of (/ y z) in y 10.048 * [taylor]: Taking taylor expansion of y in y 10.048 * [taylor]: Taking taylor expansion of z in y 10.050 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 10.050 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.050 * [taylor]: Taking taylor expansion of t in y 10.050 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 10.050 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.050 * [taylor]: Taking taylor expansion of t in z 10.050 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 10.050 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.050 * [taylor]: Taking taylor expansion of t in z 10.050 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.050 * [taylor]: Taking taylor expansion of z in z 10.051 * [taylor]: Taking taylor expansion of -1 in t 10.053 * [taylor]: Taking taylor expansion of 0 in y 10.053 * [taylor]: Taking taylor expansion of 0 in z 10.053 * [taylor]: Taking taylor expansion of 0 in z 10.054 * [taylor]: Taking taylor expansion of 0 in z 10.054 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 10.054 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.054 * [taylor]: Taking taylor expansion of t in t 10.055 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.055 * [taylor]: Taking taylor expansion of t in t 10.056 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1) 10.056 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 10.056 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 10.056 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.056 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 10.056 * [taylor]: Taking taylor expansion of (/ x y) in t 10.056 * [taylor]: Taking taylor expansion of x in t 10.056 * [taylor]: Taking taylor expansion of y in t 10.056 * [taylor]: Taking taylor expansion of (- z t) in t 10.056 * [taylor]: Taking taylor expansion of z in t 10.057 * [taylor]: Taking taylor expansion of t in t 10.057 * [taylor]: Taking taylor expansion of t in t 10.057 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 10.057 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.057 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 10.057 * [taylor]: Taking taylor expansion of (/ x y) in z 10.057 * [taylor]: Taking taylor expansion of x in z 10.057 * [taylor]: Taking taylor expansion of y in z 10.057 * [taylor]: Taking taylor expansion of (- z t) in z 10.057 * [taylor]: Taking taylor expansion of z in z 10.057 * [taylor]: Taking taylor expansion of t in z 10.057 * [taylor]: Taking taylor expansion of t in z 10.057 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 10.057 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.057 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 10.057 * [taylor]: Taking taylor expansion of (/ x y) in y 10.057 * [taylor]: Taking taylor expansion of x in y 10.057 * [taylor]: Taking taylor expansion of y in y 10.057 * [taylor]: Taking taylor expansion of (- z t) in y 10.057 * [taylor]: Taking taylor expansion of z in y 10.057 * [taylor]: Taking taylor expansion of t in y 10.057 * [taylor]: Taking taylor expansion of t in y 10.057 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 10.057 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.057 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 10.057 * [taylor]: Taking taylor expansion of (/ x y) in x 10.057 * [taylor]: Taking taylor expansion of x in x 10.057 * [taylor]: Taking taylor expansion of y in x 10.057 * [taylor]: Taking taylor expansion of (- z t) in x 10.057 * [taylor]: Taking taylor expansion of z in x 10.057 * [taylor]: Taking taylor expansion of t in x 10.057 * [taylor]: Taking taylor expansion of t in x 10.057 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 10.057 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.057 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 10.057 * [taylor]: Taking taylor expansion of (/ x y) in x 10.057 * [taylor]: Taking taylor expansion of x in x 10.057 * [taylor]: Taking taylor expansion of y in x 10.057 * [taylor]: Taking taylor expansion of (- z t) in x 10.057 * [taylor]: Taking taylor expansion of z in x 10.058 * [taylor]: Taking taylor expansion of t in x 10.058 * [taylor]: Taking taylor expansion of t in x 10.058 * [taylor]: Taking taylor expansion of t in y 10.058 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 10.058 * [taylor]: Taking taylor expansion of (/ z y) in y 10.058 * [taylor]: Taking taylor expansion of z in y 10.058 * [taylor]: Taking taylor expansion of y in y 10.058 * [taylor]: Taking taylor expansion of (/ t y) in y 10.058 * [taylor]: Taking taylor expansion of t in y 10.058 * [taylor]: Taking taylor expansion of y in y 10.058 * [taylor]: Taking taylor expansion of (- z t) in z 10.058 * [taylor]: Taking taylor expansion of z in z 10.058 * [taylor]: Taking taylor expansion of t in z 10.060 * [taylor]: Taking taylor expansion of (- t) in t 10.060 * [taylor]: Taking taylor expansion of t in t 10.061 * [taylor]: Taking taylor expansion of t in z 10.061 * [taylor]: Taking taylor expansion of t in t 10.062 * [taylor]: Taking taylor expansion of 0 in y 10.064 * [taylor]: Taking taylor expansion of 0 in z 10.064 * [taylor]: Taking taylor expansion of 0 in t 10.064 * [taylor]: Taking taylor expansion of 0 in z 10.064 * [taylor]: Taking taylor expansion of 0 in t 10.064 * [taylor]: Taking taylor expansion of 1 in t 10.064 * [taylor]: Taking taylor expansion of 0 in t 10.065 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 10.065 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 10.065 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.065 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 10.065 * [taylor]: Taking taylor expansion of (/ y x) in t 10.065 * [taylor]: Taking taylor expansion of y in t 10.065 * [taylor]: Taking taylor expansion of x in t 10.065 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 10.065 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.065 * [taylor]: Taking taylor expansion of z in t 10.065 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.066 * [taylor]: Taking taylor expansion of t in t 10.066 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.066 * [taylor]: Taking taylor expansion of t in t 10.066 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 10.066 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.066 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 10.066 * [taylor]: Taking taylor expansion of (/ y x) in z 10.066 * [taylor]: Taking taylor expansion of y in z 10.066 * [taylor]: Taking taylor expansion of x in z 10.066 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 10.066 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.066 * [taylor]: Taking taylor expansion of z in z 10.067 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.067 * [taylor]: Taking taylor expansion of t in z 10.067 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.067 * [taylor]: Taking taylor expansion of t in z 10.067 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 10.067 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.067 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 10.067 * [taylor]: Taking taylor expansion of (/ y x) in y 10.067 * [taylor]: Taking taylor expansion of y in y 10.067 * [taylor]: Taking taylor expansion of x in y 10.067 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 10.067 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.067 * [taylor]: Taking taylor expansion of z in y 10.067 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.067 * [taylor]: Taking taylor expansion of t in y 10.067 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.067 * [taylor]: Taking taylor expansion of t in y 10.067 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 10.067 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.067 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 10.067 * [taylor]: Taking taylor expansion of (/ y x) in x 10.067 * [taylor]: Taking taylor expansion of y in x 10.067 * [taylor]: Taking taylor expansion of x in x 10.067 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 10.067 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.067 * [taylor]: Taking taylor expansion of z in x 10.067 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.067 * [taylor]: Taking taylor expansion of t in x 10.067 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.067 * [taylor]: Taking taylor expansion of t in x 10.067 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 10.067 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.068 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 10.068 * [taylor]: Taking taylor expansion of (/ y x) in x 10.068 * [taylor]: Taking taylor expansion of y in x 10.068 * [taylor]: Taking taylor expansion of x in x 10.068 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 10.068 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.068 * [taylor]: Taking taylor expansion of z in x 10.068 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.068 * [taylor]: Taking taylor expansion of t in x 10.068 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.068 * [taylor]: Taking taylor expansion of t in x 10.068 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 10.068 * [taylor]: Taking taylor expansion of (/ y z) in y 10.068 * [taylor]: Taking taylor expansion of y in y 10.068 * [taylor]: Taking taylor expansion of z in y 10.068 * [taylor]: Taking taylor expansion of (/ y t) in y 10.068 * [taylor]: Taking taylor expansion of y in y 10.068 * [taylor]: Taking taylor expansion of t in y 10.069 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.069 * [taylor]: Taking taylor expansion of t in y 10.069 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.069 * [taylor]: Taking taylor expansion of t in z 10.070 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 10.070 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.070 * [taylor]: Taking taylor expansion of z in z 10.070 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.070 * [taylor]: Taking taylor expansion of t in z 10.070 * [taylor]: Taking taylor expansion of 1 in t 10.072 * [taylor]: Taking taylor expansion of 0 in y 10.072 * [taylor]: Taking taylor expansion of 0 in z 10.072 * [taylor]: Taking taylor expansion of 0 in z 10.073 * [taylor]: Taking taylor expansion of 0 in z 10.073 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.073 * [taylor]: Taking taylor expansion of t in t 10.074 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 10.074 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.074 * [taylor]: Taking taylor expansion of t in t 10.075 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 10.075 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 10.075 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.075 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 10.075 * [taylor]: Taking taylor expansion of (/ y x) in t 10.075 * [taylor]: Taking taylor expansion of y in t 10.075 * [taylor]: Taking taylor expansion of x in t 10.075 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 10.075 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.075 * [taylor]: Taking taylor expansion of t in t 10.076 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.076 * [taylor]: Taking taylor expansion of z in t 10.076 * [taylor]: Taking taylor expansion of (/ -1 t) in t 10.076 * [taylor]: Taking taylor expansion of -1 in t 10.076 * [taylor]: Taking taylor expansion of t in t 10.076 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 10.076 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.076 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 10.076 * [taylor]: Taking taylor expansion of (/ y x) in z 10.076 * [taylor]: Taking taylor expansion of y in z 10.076 * [taylor]: Taking taylor expansion of x in z 10.076 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 10.076 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.076 * [taylor]: Taking taylor expansion of t in z 10.076 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.076 * [taylor]: Taking taylor expansion of z in z 10.077 * [taylor]: Taking taylor expansion of (/ -1 t) in z 10.077 * [taylor]: Taking taylor expansion of -1 in z 10.077 * [taylor]: Taking taylor expansion of t in z 10.077 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 10.077 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.077 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 10.077 * [taylor]: Taking taylor expansion of (/ y x) in y 10.077 * [taylor]: Taking taylor expansion of y in y 10.077 * [taylor]: Taking taylor expansion of x in y 10.077 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 10.077 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.077 * [taylor]: Taking taylor expansion of t in y 10.077 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.077 * [taylor]: Taking taylor expansion of z in y 10.077 * [taylor]: Taking taylor expansion of (/ -1 t) in y 10.077 * [taylor]: Taking taylor expansion of -1 in y 10.077 * [taylor]: Taking taylor expansion of t in y 10.077 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 10.077 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.077 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 10.077 * [taylor]: Taking taylor expansion of (/ y x) in x 10.077 * [taylor]: Taking taylor expansion of y in x 10.077 * [taylor]: Taking taylor expansion of x in x 10.077 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 10.077 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.077 * [taylor]: Taking taylor expansion of t in x 10.077 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.077 * [taylor]: Taking taylor expansion of z in x 10.077 * [taylor]: Taking taylor expansion of (/ -1 t) in x 10.077 * [taylor]: Taking taylor expansion of -1 in x 10.077 * [taylor]: Taking taylor expansion of t in x 10.078 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 10.078 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.078 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 10.078 * [taylor]: Taking taylor expansion of (/ y x) in x 10.078 * [taylor]: Taking taylor expansion of y in x 10.078 * [taylor]: Taking taylor expansion of x in x 10.078 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 10.078 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.078 * [taylor]: Taking taylor expansion of t in x 10.078 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.078 * [taylor]: Taking taylor expansion of z in x 10.078 * [taylor]: Taking taylor expansion of (/ -1 t) in x 10.078 * [taylor]: Taking taylor expansion of -1 in x 10.078 * [taylor]: Taking taylor expansion of t in x 10.078 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 10.078 * [taylor]: Taking taylor expansion of (/ y t) in y 10.078 * [taylor]: Taking taylor expansion of y in y 10.078 * [taylor]: Taking taylor expansion of t in y 10.078 * [taylor]: Taking taylor expansion of (/ y z) in y 10.078 * [taylor]: Taking taylor expansion of y in y 10.078 * [taylor]: Taking taylor expansion of z in y 10.080 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 10.080 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.080 * [taylor]: Taking taylor expansion of t in y 10.080 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 10.080 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.080 * [taylor]: Taking taylor expansion of t in z 10.080 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 10.080 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.080 * [taylor]: Taking taylor expansion of t in z 10.080 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.080 * [taylor]: Taking taylor expansion of z in z 10.081 * [taylor]: Taking taylor expansion of -1 in t 10.083 * [taylor]: Taking taylor expansion of 0 in y 10.083 * [taylor]: Taking taylor expansion of 0 in z 10.083 * [taylor]: Taking taylor expansion of 0 in z 10.084 * [taylor]: Taking taylor expansion of 0 in z 10.084 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 10.084 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.084 * [taylor]: Taking taylor expansion of t in t 10.085 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.085 * [taylor]: Taking taylor expansion of t in t 10.086 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1 1) 10.086 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 10.086 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 10.086 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.086 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 10.087 * [taylor]: Taking taylor expansion of (/ x y) in t 10.087 * [taylor]: Taking taylor expansion of x in t 10.087 * [taylor]: Taking taylor expansion of y in t 10.087 * [taylor]: Taking taylor expansion of (- z t) in t 10.087 * [taylor]: Taking taylor expansion of z in t 10.087 * [taylor]: Taking taylor expansion of t in t 10.087 * [taylor]: Taking taylor expansion of t in t 10.087 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 10.087 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.087 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 10.087 * [taylor]: Taking taylor expansion of (/ x y) in z 10.087 * [taylor]: Taking taylor expansion of x in z 10.087 * [taylor]: Taking taylor expansion of y in z 10.087 * [taylor]: Taking taylor expansion of (- z t) in z 10.087 * [taylor]: Taking taylor expansion of z in z 10.087 * [taylor]: Taking taylor expansion of t in z 10.087 * [taylor]: Taking taylor expansion of t in z 10.087 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 10.087 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.087 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 10.087 * [taylor]: Taking taylor expansion of (/ x y) in y 10.087 * [taylor]: Taking taylor expansion of x in y 10.087 * [taylor]: Taking taylor expansion of y in y 10.087 * [taylor]: Taking taylor expansion of (- z t) in y 10.087 * [taylor]: Taking taylor expansion of z in y 10.087 * [taylor]: Taking taylor expansion of t in y 10.087 * [taylor]: Taking taylor expansion of t in y 10.087 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 10.087 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.087 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 10.087 * [taylor]: Taking taylor expansion of (/ x y) in x 10.087 * [taylor]: Taking taylor expansion of x in x 10.087 * [taylor]: Taking taylor expansion of y in x 10.087 * [taylor]: Taking taylor expansion of (- z t) in x 10.087 * [taylor]: Taking taylor expansion of z in x 10.087 * [taylor]: Taking taylor expansion of t in x 10.087 * [taylor]: Taking taylor expansion of t in x 10.087 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 10.087 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.088 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 10.088 * [taylor]: Taking taylor expansion of (/ x y) in x 10.088 * [taylor]: Taking taylor expansion of x in x 10.088 * [taylor]: Taking taylor expansion of y in x 10.088 * [taylor]: Taking taylor expansion of (- z t) in x 10.088 * [taylor]: Taking taylor expansion of z in x 10.088 * [taylor]: Taking taylor expansion of t in x 10.088 * [taylor]: Taking taylor expansion of t in x 10.088 * [taylor]: Taking taylor expansion of t in y 10.088 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 10.088 * [taylor]: Taking taylor expansion of (/ z y) in y 10.088 * [taylor]: Taking taylor expansion of z in y 10.088 * [taylor]: Taking taylor expansion of y in y 10.088 * [taylor]: Taking taylor expansion of (/ t y) in y 10.088 * [taylor]: Taking taylor expansion of t in y 10.088 * [taylor]: Taking taylor expansion of y in y 10.088 * [taylor]: Taking taylor expansion of (- z t) in z 10.088 * [taylor]: Taking taylor expansion of z in z 10.088 * [taylor]: Taking taylor expansion of t in z 10.088 * [taylor]: Taking taylor expansion of (- t) in t 10.088 * [taylor]: Taking taylor expansion of t in t 10.089 * [taylor]: Taking taylor expansion of t in z 10.089 * [taylor]: Taking taylor expansion of t in t 10.090 * [taylor]: Taking taylor expansion of 0 in y 10.091 * [taylor]: Taking taylor expansion of 0 in z 10.091 * [taylor]: Taking taylor expansion of 0 in t 10.091 * [taylor]: Taking taylor expansion of 0 in z 10.091 * [taylor]: Taking taylor expansion of 0 in t 10.092 * [taylor]: Taking taylor expansion of 1 in t 10.092 * [taylor]: Taking taylor expansion of 0 in t 10.093 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 10.093 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 10.093 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.093 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 10.093 * [taylor]: Taking taylor expansion of (/ y x) in t 10.093 * [taylor]: Taking taylor expansion of y in t 10.093 * [taylor]: Taking taylor expansion of x in t 10.093 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 10.093 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.093 * [taylor]: Taking taylor expansion of z in t 10.093 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.093 * [taylor]: Taking taylor expansion of t in t 10.093 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.093 * [taylor]: Taking taylor expansion of t in t 10.094 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 10.094 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.094 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 10.094 * [taylor]: Taking taylor expansion of (/ y x) in z 10.094 * [taylor]: Taking taylor expansion of y in z 10.094 * [taylor]: Taking taylor expansion of x in z 10.094 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 10.094 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.094 * [taylor]: Taking taylor expansion of z in z 10.094 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.094 * [taylor]: Taking taylor expansion of t in z 10.094 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.094 * [taylor]: Taking taylor expansion of t in z 10.094 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 10.094 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.094 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 10.094 * [taylor]: Taking taylor expansion of (/ y x) in y 10.094 * [taylor]: Taking taylor expansion of y in y 10.094 * [taylor]: Taking taylor expansion of x in y 10.094 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 10.094 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.095 * [taylor]: Taking taylor expansion of z in y 10.095 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.095 * [taylor]: Taking taylor expansion of t in y 10.095 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.095 * [taylor]: Taking taylor expansion of t in y 10.095 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 10.095 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.095 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 10.095 * [taylor]: Taking taylor expansion of (/ y x) in x 10.095 * [taylor]: Taking taylor expansion of y in x 10.095 * [taylor]: Taking taylor expansion of x in x 10.095 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 10.095 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.095 * [taylor]: Taking taylor expansion of z in x 10.095 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.095 * [taylor]: Taking taylor expansion of t in x 10.095 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.095 * [taylor]: Taking taylor expansion of t in x 10.095 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 10.095 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.095 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 10.095 * [taylor]: Taking taylor expansion of (/ y x) in x 10.095 * [taylor]: Taking taylor expansion of y in x 10.095 * [taylor]: Taking taylor expansion of x in x 10.095 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 10.095 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.095 * [taylor]: Taking taylor expansion of z in x 10.095 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.095 * [taylor]: Taking taylor expansion of t in x 10.095 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.095 * [taylor]: Taking taylor expansion of t in x 10.096 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 10.096 * [taylor]: Taking taylor expansion of (/ y z) in y 10.096 * [taylor]: Taking taylor expansion of y in y 10.096 * [taylor]: Taking taylor expansion of z in y 10.096 * [taylor]: Taking taylor expansion of (/ y t) in y 10.096 * [taylor]: Taking taylor expansion of y in y 10.096 * [taylor]: Taking taylor expansion of t in y 10.097 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.097 * [taylor]: Taking taylor expansion of t in y 10.097 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.097 * [taylor]: Taking taylor expansion of t in z 10.097 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 10.097 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.097 * [taylor]: Taking taylor expansion of z in z 10.097 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.097 * [taylor]: Taking taylor expansion of t in z 10.098 * [taylor]: Taking taylor expansion of 1 in t 10.100 * [taylor]: Taking taylor expansion of 0 in y 10.100 * [taylor]: Taking taylor expansion of 0 in z 10.100 * [taylor]: Taking taylor expansion of 0 in z 10.101 * [taylor]: Taking taylor expansion of 0 in z 10.101 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.101 * [taylor]: Taking taylor expansion of t in t 10.101 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 10.101 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.101 * [taylor]: Taking taylor expansion of t in t 10.103 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 10.103 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 10.103 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.103 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 10.103 * [taylor]: Taking taylor expansion of (/ y x) in t 10.103 * [taylor]: Taking taylor expansion of y in t 10.103 * [taylor]: Taking taylor expansion of x in t 10.103 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 10.103 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.103 * [taylor]: Taking taylor expansion of t in t 10.103 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.103 * [taylor]: Taking taylor expansion of z in t 10.103 * [taylor]: Taking taylor expansion of (/ -1 t) in t 10.103 * [taylor]: Taking taylor expansion of -1 in t 10.103 * [taylor]: Taking taylor expansion of t in t 10.104 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 10.104 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.104 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 10.104 * [taylor]: Taking taylor expansion of (/ y x) in z 10.104 * [taylor]: Taking taylor expansion of y in z 10.104 * [taylor]: Taking taylor expansion of x in z 10.104 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 10.104 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.104 * [taylor]: Taking taylor expansion of t in z 10.104 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.104 * [taylor]: Taking taylor expansion of z in z 10.104 * [taylor]: Taking taylor expansion of (/ -1 t) in z 10.104 * [taylor]: Taking taylor expansion of -1 in z 10.104 * [taylor]: Taking taylor expansion of t in z 10.104 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 10.104 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.104 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 10.104 * [taylor]: Taking taylor expansion of (/ y x) in y 10.104 * [taylor]: Taking taylor expansion of y in y 10.104 * [taylor]: Taking taylor expansion of x in y 10.105 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 10.105 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.105 * [taylor]: Taking taylor expansion of t in y 10.105 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.105 * [taylor]: Taking taylor expansion of z in y 10.105 * [taylor]: Taking taylor expansion of (/ -1 t) in y 10.105 * [taylor]: Taking taylor expansion of -1 in y 10.105 * [taylor]: Taking taylor expansion of t in y 10.105 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 10.105 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.105 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 10.105 * [taylor]: Taking taylor expansion of (/ y x) in x 10.105 * [taylor]: Taking taylor expansion of y in x 10.105 * [taylor]: Taking taylor expansion of x in x 10.105 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 10.105 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.105 * [taylor]: Taking taylor expansion of t in x 10.105 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.105 * [taylor]: Taking taylor expansion of z in x 10.105 * [taylor]: Taking taylor expansion of (/ -1 t) in x 10.105 * [taylor]: Taking taylor expansion of -1 in x 10.105 * [taylor]: Taking taylor expansion of t in x 10.105 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 10.105 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.105 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 10.105 * [taylor]: Taking taylor expansion of (/ y x) in x 10.105 * [taylor]: Taking taylor expansion of y in x 10.105 * [taylor]: Taking taylor expansion of x in x 10.105 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 10.105 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.105 * [taylor]: Taking taylor expansion of t in x 10.105 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.105 * [taylor]: Taking taylor expansion of z in x 10.105 * [taylor]: Taking taylor expansion of (/ -1 t) in x 10.105 * [taylor]: Taking taylor expansion of -1 in x 10.105 * [taylor]: Taking taylor expansion of t in x 10.106 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 10.106 * [taylor]: Taking taylor expansion of (/ y t) in y 10.106 * [taylor]: Taking taylor expansion of y in y 10.106 * [taylor]: Taking taylor expansion of t in y 10.106 * [taylor]: Taking taylor expansion of (/ y z) in y 10.106 * [taylor]: Taking taylor expansion of y in y 10.106 * [taylor]: Taking taylor expansion of z in y 10.107 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 10.107 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.107 * [taylor]: Taking taylor expansion of t in y 10.107 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 10.107 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.107 * [taylor]: Taking taylor expansion of t in z 10.107 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 10.107 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.107 * [taylor]: Taking taylor expansion of t in z 10.107 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.107 * [taylor]: Taking taylor expansion of z in z 10.108 * [taylor]: Taking taylor expansion of -1 in t 10.110 * [taylor]: Taking taylor expansion of 0 in y 10.110 * [taylor]: Taking taylor expansion of 0 in z 10.111 * [taylor]: Taking taylor expansion of 0 in z 10.111 * [taylor]: Taking taylor expansion of 0 in z 10.111 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 10.111 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.111 * [taylor]: Taking taylor expansion of t in t 10.112 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.112 * [taylor]: Taking taylor expansion of t in t 10.113 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 10.114 * [approximate]: Taking taylor expansion of (fma (/ x y) (- z t) t) in (x y z t) around 0 10.114 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in t 10.114 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.114 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in t 10.114 * [taylor]: Taking taylor expansion of (/ x y) in t 10.114 * [taylor]: Taking taylor expansion of x in t 10.114 * [taylor]: Taking taylor expansion of y in t 10.114 * [taylor]: Taking taylor expansion of (- z t) in t 10.114 * [taylor]: Taking taylor expansion of z in t 10.114 * [taylor]: Taking taylor expansion of t in t 10.114 * [taylor]: Taking taylor expansion of t in t 10.114 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in z 10.114 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.114 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in z 10.114 * [taylor]: Taking taylor expansion of (/ x y) in z 10.114 * [taylor]: Taking taylor expansion of x in z 10.114 * [taylor]: Taking taylor expansion of y in z 10.114 * [taylor]: Taking taylor expansion of (- z t) in z 10.114 * [taylor]: Taking taylor expansion of z in z 10.114 * [taylor]: Taking taylor expansion of t in z 10.114 * [taylor]: Taking taylor expansion of t in z 10.114 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in y 10.114 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.114 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in y 10.114 * [taylor]: Taking taylor expansion of (/ x y) in y 10.114 * [taylor]: Taking taylor expansion of x in y 10.114 * [taylor]: Taking taylor expansion of y in y 10.114 * [taylor]: Taking taylor expansion of (- z t) in y 10.114 * [taylor]: Taking taylor expansion of z in y 10.114 * [taylor]: Taking taylor expansion of t in y 10.114 * [taylor]: Taking taylor expansion of t in y 10.114 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 10.114 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.114 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 10.114 * [taylor]: Taking taylor expansion of (/ x y) in x 10.114 * [taylor]: Taking taylor expansion of x in x 10.115 * [taylor]: Taking taylor expansion of y in x 10.115 * [taylor]: Taking taylor expansion of (- z t) in x 10.115 * [taylor]: Taking taylor expansion of z in x 10.115 * [taylor]: Taking taylor expansion of t in x 10.115 * [taylor]: Taking taylor expansion of t in x 10.115 * [taylor]: Taking taylor expansion of (fma (/ x y) (- z t) t) in x 10.115 * [taylor]: Rewrote expression to (+ (* (/ x y) (- z t)) t) 10.115 * [taylor]: Taking taylor expansion of (* (/ x y) (- z t)) in x 10.115 * [taylor]: Taking taylor expansion of (/ x y) in x 10.115 * [taylor]: Taking taylor expansion of x in x 10.115 * [taylor]: Taking taylor expansion of y in x 10.115 * [taylor]: Taking taylor expansion of (- z t) in x 10.115 * [taylor]: Taking taylor expansion of z in x 10.115 * [taylor]: Taking taylor expansion of t in x 10.115 * [taylor]: Taking taylor expansion of t in x 10.115 * [taylor]: Taking taylor expansion of t in y 10.115 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y 10.115 * [taylor]: Taking taylor expansion of (/ z y) in y 10.115 * [taylor]: Taking taylor expansion of z in y 10.115 * [taylor]: Taking taylor expansion of y in y 10.115 * [taylor]: Taking taylor expansion of (/ t y) in y 10.115 * [taylor]: Taking taylor expansion of t in y 10.115 * [taylor]: Taking taylor expansion of y in y 10.115 * [taylor]: Taking taylor expansion of (- z t) in z 10.115 * [taylor]: Taking taylor expansion of z in z 10.115 * [taylor]: Taking taylor expansion of t in z 10.115 * [taylor]: Taking taylor expansion of (- t) in t 10.115 * [taylor]: Taking taylor expansion of t in t 10.116 * [taylor]: Taking taylor expansion of t in z 10.116 * [taylor]: Taking taylor expansion of t in t 10.117 * [taylor]: Taking taylor expansion of 0 in y 10.118 * [taylor]: Taking taylor expansion of 0 in z 10.118 * [taylor]: Taking taylor expansion of 0 in t 10.118 * [taylor]: Taking taylor expansion of 0 in z 10.118 * [taylor]: Taking taylor expansion of 0 in t 10.119 * [taylor]: Taking taylor expansion of 1 in t 10.119 * [taylor]: Taking taylor expansion of 0 in t 10.120 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in (x y z t) around 0 10.120 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in t 10.120 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.120 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in t 10.120 * [taylor]: Taking taylor expansion of (/ y x) in t 10.120 * [taylor]: Taking taylor expansion of y in t 10.120 * [taylor]: Taking taylor expansion of x in t 10.120 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t 10.120 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.120 * [taylor]: Taking taylor expansion of z in t 10.120 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.120 * [taylor]: Taking taylor expansion of t in t 10.120 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.120 * [taylor]: Taking taylor expansion of t in t 10.121 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in z 10.121 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.121 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in z 10.121 * [taylor]: Taking taylor expansion of (/ y x) in z 10.121 * [taylor]: Taking taylor expansion of y in z 10.121 * [taylor]: Taking taylor expansion of x in z 10.121 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 10.121 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.121 * [taylor]: Taking taylor expansion of z in z 10.121 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.121 * [taylor]: Taking taylor expansion of t in z 10.121 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.121 * [taylor]: Taking taylor expansion of t in z 10.121 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in y 10.121 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.121 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in y 10.121 * [taylor]: Taking taylor expansion of (/ y x) in y 10.121 * [taylor]: Taking taylor expansion of y in y 10.121 * [taylor]: Taking taylor expansion of x in y 10.121 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y 10.121 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.121 * [taylor]: Taking taylor expansion of z in y 10.121 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.121 * [taylor]: Taking taylor expansion of t in y 10.122 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.122 * [taylor]: Taking taylor expansion of t in y 10.122 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 10.122 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.122 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 10.122 * [taylor]: Taking taylor expansion of (/ y x) in x 10.122 * [taylor]: Taking taylor expansion of y in x 10.122 * [taylor]: Taking taylor expansion of x in x 10.122 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 10.122 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.122 * [taylor]: Taking taylor expansion of z in x 10.122 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.122 * [taylor]: Taking taylor expansion of t in x 10.122 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.122 * [taylor]: Taking taylor expansion of t in x 10.122 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 z) (/ 1 t)) (/ 1 t)) in x 10.122 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 z) (/ 1 t))) (/ 1 t)) 10.122 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 z) (/ 1 t))) in x 10.122 * [taylor]: Taking taylor expansion of (/ y x) in x 10.122 * [taylor]: Taking taylor expansion of y in x 10.122 * [taylor]: Taking taylor expansion of x in x 10.122 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x 10.122 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.122 * [taylor]: Taking taylor expansion of z in x 10.122 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.122 * [taylor]: Taking taylor expansion of t in x 10.122 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.122 * [taylor]: Taking taylor expansion of t in x 10.123 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y 10.123 * [taylor]: Taking taylor expansion of (/ y z) in y 10.123 * [taylor]: Taking taylor expansion of y in y 10.123 * [taylor]: Taking taylor expansion of z in y 10.123 * [taylor]: Taking taylor expansion of (/ y t) in y 10.123 * [taylor]: Taking taylor expansion of y in y 10.123 * [taylor]: Taking taylor expansion of t in y 10.124 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.124 * [taylor]: Taking taylor expansion of t in y 10.124 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.124 * [taylor]: Taking taylor expansion of t in z 10.124 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z 10.124 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.124 * [taylor]: Taking taylor expansion of z in z 10.124 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.124 * [taylor]: Taking taylor expansion of t in z 10.125 * [taylor]: Taking taylor expansion of 1 in t 10.127 * [taylor]: Taking taylor expansion of 0 in y 10.127 * [taylor]: Taking taylor expansion of 0 in z 10.127 * [taylor]: Taking taylor expansion of 0 in z 10.127 * [taylor]: Taking taylor expansion of 0 in z 10.128 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.128 * [taylor]: Taking taylor expansion of t in t 10.128 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 10.128 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.128 * [taylor]: Taking taylor expansion of t in t 10.130 * [approximate]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in (x y z t) around 0 10.130 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in t 10.130 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.130 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in t 10.130 * [taylor]: Taking taylor expansion of (/ y x) in t 10.130 * [taylor]: Taking taylor expansion of y in t 10.130 * [taylor]: Taking taylor expansion of x in t 10.130 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t 10.130 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.130 * [taylor]: Taking taylor expansion of t in t 10.130 * [taylor]: Taking taylor expansion of (/ 1 z) in t 10.130 * [taylor]: Taking taylor expansion of z in t 10.130 * [taylor]: Taking taylor expansion of (/ -1 t) in t 10.130 * [taylor]: Taking taylor expansion of -1 in t 10.130 * [taylor]: Taking taylor expansion of t in t 10.131 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in z 10.131 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.131 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in z 10.131 * [taylor]: Taking taylor expansion of (/ y x) in z 10.131 * [taylor]: Taking taylor expansion of y in z 10.131 * [taylor]: Taking taylor expansion of x in z 10.131 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 10.131 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.131 * [taylor]: Taking taylor expansion of t in z 10.131 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.131 * [taylor]: Taking taylor expansion of z in z 10.131 * [taylor]: Taking taylor expansion of (/ -1 t) in z 10.131 * [taylor]: Taking taylor expansion of -1 in z 10.131 * [taylor]: Taking taylor expansion of t in z 10.131 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in y 10.131 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.131 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in y 10.131 * [taylor]: Taking taylor expansion of (/ y x) in y 10.131 * [taylor]: Taking taylor expansion of y in y 10.131 * [taylor]: Taking taylor expansion of x in y 10.131 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y 10.131 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.131 * [taylor]: Taking taylor expansion of t in y 10.132 * [taylor]: Taking taylor expansion of (/ 1 z) in y 10.132 * [taylor]: Taking taylor expansion of z in y 10.132 * [taylor]: Taking taylor expansion of (/ -1 t) in y 10.132 * [taylor]: Taking taylor expansion of -1 in y 10.132 * [taylor]: Taking taylor expansion of t in y 10.132 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 10.132 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.132 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 10.132 * [taylor]: Taking taylor expansion of (/ y x) in x 10.132 * [taylor]: Taking taylor expansion of y in x 10.132 * [taylor]: Taking taylor expansion of x in x 10.132 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 10.132 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.132 * [taylor]: Taking taylor expansion of t in x 10.132 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.132 * [taylor]: Taking taylor expansion of z in x 10.132 * [taylor]: Taking taylor expansion of (/ -1 t) in x 10.132 * [taylor]: Taking taylor expansion of -1 in x 10.132 * [taylor]: Taking taylor expansion of t in x 10.132 * [taylor]: Taking taylor expansion of (fma (/ y x) (- (/ 1 t) (/ 1 z)) (/ -1 t)) in x 10.132 * [taylor]: Rewrote expression to (+ (* (/ y x) (- (/ 1 t) (/ 1 z))) (/ -1 t)) 10.132 * [taylor]: Taking taylor expansion of (* (/ y x) (- (/ 1 t) (/ 1 z))) in x 10.132 * [taylor]: Taking taylor expansion of (/ y x) in x 10.132 * [taylor]: Taking taylor expansion of y in x 10.132 * [taylor]: Taking taylor expansion of x in x 10.132 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x 10.132 * [taylor]: Taking taylor expansion of (/ 1 t) in x 10.132 * [taylor]: Taking taylor expansion of t in x 10.132 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.132 * [taylor]: Taking taylor expansion of z in x 10.132 * [taylor]: Taking taylor expansion of (/ -1 t) in x 10.132 * [taylor]: Taking taylor expansion of -1 in x 10.132 * [taylor]: Taking taylor expansion of t in x 10.133 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y 10.133 * [taylor]: Taking taylor expansion of (/ y t) in y 10.133 * [taylor]: Taking taylor expansion of y in y 10.133 * [taylor]: Taking taylor expansion of t in y 10.133 * [taylor]: Taking taylor expansion of (/ y z) in y 10.133 * [taylor]: Taking taylor expansion of y in y 10.133 * [taylor]: Taking taylor expansion of z in y 10.134 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y 10.134 * [taylor]: Taking taylor expansion of (/ 1 t) in y 10.134 * [taylor]: Taking taylor expansion of t in y 10.134 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z 10.134 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.134 * [taylor]: Taking taylor expansion of t in z 10.134 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z 10.134 * [taylor]: Taking taylor expansion of (/ 1 t) in z 10.134 * [taylor]: Taking taylor expansion of t in z 10.134 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.134 * [taylor]: Taking taylor expansion of z in z 10.135 * [taylor]: Taking taylor expansion of -1 in t 10.137 * [taylor]: Taking taylor expansion of 0 in y 10.137 * [taylor]: Taking taylor expansion of 0 in z 10.137 * [taylor]: Taking taylor expansion of 0 in z 10.138 * [taylor]: Taking taylor expansion of 0 in z 10.138 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 10.138 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.138 * [taylor]: Taking taylor expansion of t in t 10.140 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.140 * [taylor]: Taking taylor expansion of t in t 10.141 * * * [progress]: simplifying candidates 10.141 * [simplify]: Simplifying using # : (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (* (/ x y) (- z t)) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (* (* (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) (- (+ t (/ (* x z) y)) (/ (* t x) y)) 10.143 * * [simplify]: iteration 0 : 23 enodes (cost 616 ) 10.146 * * [simplify]: iteration 1 : 41 enodes (cost 616 ) 10.153 * * [simplify]: iteration 2 : 89 enodes (cost 552 ) 10.169 * * [simplify]: iteration 3 : 214 enodes (cost 492 ) 10.230 * * [simplify]: iteration 4 : 942 enodes (cost 492 ) 10.870 * * [simplify]: iteration done : 5002 enodes (cost 492 ) 10.870 * [simplify]: Simplified to: (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (expm1 (fma (/ x y) (- z t) t)) (log1p (fma (/ x y) (- z t) t)) (/ x (/ y (- z t))) (log (fma (/ x y) (- z t) t)) (exp (fma (/ x y) (- z t) t)) (* (cbrt (fma (/ x y) (- z t) t)) (cbrt (fma (/ x y) (- z t) t))) (cbrt (fma (/ x y) (- z t) t)) (pow (fma (/ x y) (- z t) t) 3) (sqrt (fma (/ x y) (- z t) t)) (sqrt (fma (/ x y) (- z t) t)) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) (fma (/ x y) (- z t) t) 10.870 * * * [progress]: adding candidates to table 11.042 * [progress]: [Phase 3 of 3] Extracting. 11.042 * * [regime]: Finding splitpoints for: (# # # # #) 11.044 * * * [regime-changes]: Trying 5 branch expressions: ((/ x y) t z y x) 11.044 * * * * [regimes]: Trying to branch on (/ x y) from (# # # # #) 11.069 * * * * [regimes]: Trying to branch on t from (# # # # #) 11.092 * * * * [regimes]: Trying to branch on z from (# # # # #) 11.117 * * * * [regimes]: Trying to branch on y from (# # # # #) 11.143 * * * * [regimes]: Trying to branch on x from (# # # # #) 11.167 * * * [regime]: Found split indices: #