11.737 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)) 0.021 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 0.023 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 0.025 * * [simplify]: iteration 2 : 45 enodes (cost 13 ) 0.034 * * [simplify]: iteration 3 : 97 enodes (cost 13 ) 0.050 * * [simplify]: iteration 4 : 186 enodes (cost 13 ) 0.083 * * [simplify]: iteration 5 : 306 enodes (cost 13 ) 0.151 * * [simplify]: iteration 6 : 461 enodes (cost 13 ) 0.289 * * [simplify]: iteration 7 : 687 enodes (cost 11 ) 0.589 * * [simplify]: iteration 8 : 1210 enodes (cost 11 ) 2.435 * * [simplify]: iteration 9 : 3308 enodes (cost 11 ) 7.107 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 7.107 * [simplify]: Simplified to: (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0) 7.110 * * [progress]: iteration 1 / 4 7.110 * * * [progress]: picking best candidate 7.112 * * * * [pick]: Picked # 7.112 * * * [progress]: localizing error 7.119 * * * [progress]: generating rewritten candidates 7.119 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 7.133 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1 2) 7.142 * * * [progress]: generating series expansions 7.142 * * * * [progress]: [ 1 / 2 ] generating series at (2) 7.142 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in (x z y) around 0 7.142 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in y 7.142 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in y 7.142 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in y 7.142 * [taylor]: Taking taylor expansion of 4.0 in y 7.142 * [taylor]: Taking taylor expansion of (/ x y) in y 7.142 * [taylor]: Taking taylor expansion of x in y 7.142 * [taylor]: Taking taylor expansion of y in y 7.142 * [taylor]: Taking taylor expansion of 2.0 in y 7.142 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y 7.142 * [taylor]: Taking taylor expansion of 4.0 in y 7.142 * [taylor]: Taking taylor expansion of (/ z y) in y 7.142 * [taylor]: Taking taylor expansion of z in y 7.142 * [taylor]: Taking taylor expansion of y in y 7.143 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in z 7.143 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in z 7.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z 7.143 * [taylor]: Taking taylor expansion of 4.0 in z 7.143 * [taylor]: Taking taylor expansion of (/ x y) in z 7.143 * [taylor]: Taking taylor expansion of x in z 7.143 * [taylor]: Taking taylor expansion of y in z 7.143 * [taylor]: Taking taylor expansion of 2.0 in z 7.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 7.143 * [taylor]: Taking taylor expansion of 4.0 in z 7.143 * [taylor]: Taking taylor expansion of (/ z y) in z 7.143 * [taylor]: Taking taylor expansion of z in z 7.143 * [taylor]: Taking taylor expansion of y in z 7.143 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x 7.143 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x 7.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x 7.143 * [taylor]: Taking taylor expansion of 4.0 in x 7.143 * [taylor]: Taking taylor expansion of (/ x y) in x 7.143 * [taylor]: Taking taylor expansion of x in x 7.143 * [taylor]: Taking taylor expansion of y in x 7.143 * [taylor]: Taking taylor expansion of 2.0 in x 7.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x 7.143 * [taylor]: Taking taylor expansion of 4.0 in x 7.143 * [taylor]: Taking taylor expansion of (/ z y) in x 7.143 * [taylor]: Taking taylor expansion of z in x 7.143 * [taylor]: Taking taylor expansion of y in x 7.143 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x 7.143 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x 7.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x 7.143 * [taylor]: Taking taylor expansion of 4.0 in x 7.143 * [taylor]: Taking taylor expansion of (/ x y) in x 7.143 * [taylor]: Taking taylor expansion of x in x 7.143 * [taylor]: Taking taylor expansion of y in x 7.143 * [taylor]: Taking taylor expansion of 2.0 in x 7.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x 7.143 * [taylor]: Taking taylor expansion of 4.0 in x 7.143 * [taylor]: Taking taylor expansion of (/ z y) in x 7.143 * [taylor]: Taking taylor expansion of z in x 7.143 * [taylor]: Taking taylor expansion of y in x 7.144 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ z y))) in z 7.144 * [taylor]: Taking taylor expansion of 2.0 in z 7.144 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 7.144 * [taylor]: Taking taylor expansion of 4.0 in z 7.144 * [taylor]: Taking taylor expansion of (/ z y) in z 7.144 * [taylor]: Taking taylor expansion of z in z 7.144 * [taylor]: Taking taylor expansion of y in z 7.145 * [taylor]: Taking taylor expansion of 2.0 in y 7.146 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 7.146 * [taylor]: Taking taylor expansion of 4.0 in z 7.146 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.146 * [taylor]: Taking taylor expansion of y in z 7.146 * [taylor]: Taking taylor expansion of (/ 4.0 y) in y 7.146 * [taylor]: Taking taylor expansion of 4.0 in y 7.146 * [taylor]: Taking taylor expansion of y in y 7.146 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y 7.146 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 7.146 * [taylor]: Taking taylor expansion of 4.0 in y 7.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.146 * [taylor]: Taking taylor expansion of y in y 7.148 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (x z y) around 0 7.148 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y 7.148 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y 7.148 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y 7.148 * [taylor]: Taking taylor expansion of 4.0 in y 7.148 * [taylor]: Taking taylor expansion of (/ y x) in y 7.148 * [taylor]: Taking taylor expansion of y in y 7.148 * [taylor]: Taking taylor expansion of x in y 7.148 * [taylor]: Taking taylor expansion of 2.0 in y 7.148 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 7.148 * [taylor]: Taking taylor expansion of 4.0 in y 7.148 * [taylor]: Taking taylor expansion of (/ y z) in y 7.148 * [taylor]: Taking taylor expansion of y in y 7.148 * [taylor]: Taking taylor expansion of z in y 7.148 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z 7.148 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z 7.148 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 7.148 * [taylor]: Taking taylor expansion of 4.0 in z 7.148 * [taylor]: Taking taylor expansion of (/ y x) in z 7.148 * [taylor]: Taking taylor expansion of y in z 7.148 * [taylor]: Taking taylor expansion of x in z 7.148 * [taylor]: Taking taylor expansion of 2.0 in z 7.149 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 7.149 * [taylor]: Taking taylor expansion of 4.0 in z 7.149 * [taylor]: Taking taylor expansion of (/ y z) in z 7.149 * [taylor]: Taking taylor expansion of y in z 7.149 * [taylor]: Taking taylor expansion of z in z 7.149 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 7.149 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 7.149 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 7.149 * [taylor]: Taking taylor expansion of 4.0 in x 7.149 * [taylor]: Taking taylor expansion of (/ y x) in x 7.149 * [taylor]: Taking taylor expansion of y in x 7.149 * [taylor]: Taking taylor expansion of x in x 7.149 * [taylor]: Taking taylor expansion of 2.0 in x 7.149 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 7.149 * [taylor]: Taking taylor expansion of 4.0 in x 7.149 * [taylor]: Taking taylor expansion of (/ y z) in x 7.149 * [taylor]: Taking taylor expansion of y in x 7.149 * [taylor]: Taking taylor expansion of z in x 7.149 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 7.149 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 7.149 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 7.149 * [taylor]: Taking taylor expansion of 4.0 in x 7.149 * [taylor]: Taking taylor expansion of (/ y x) in x 7.149 * [taylor]: Taking taylor expansion of y in x 7.149 * [taylor]: Taking taylor expansion of x in x 7.149 * [taylor]: Taking taylor expansion of 2.0 in x 7.149 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 7.149 * [taylor]: Taking taylor expansion of 4.0 in x 7.149 * [taylor]: Taking taylor expansion of (/ y z) in x 7.149 * [taylor]: Taking taylor expansion of y in x 7.149 * [taylor]: Taking taylor expansion of z in x 7.149 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 7.149 * [taylor]: Taking taylor expansion of 4.0 in z 7.149 * [taylor]: Taking taylor expansion of y in z 7.151 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in z 7.151 * [taylor]: Taking taylor expansion of 2.0 in z 7.151 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 7.151 * [taylor]: Taking taylor expansion of 4.0 in z 7.151 * [taylor]: Taking taylor expansion of (/ y z) in z 7.151 * [taylor]: Taking taylor expansion of y in z 7.151 * [taylor]: Taking taylor expansion of z in z 7.151 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 7.151 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 7.151 * [taylor]: Taking taylor expansion of 4.0 in y 7.151 * [taylor]: Taking taylor expansion of y in y 7.151 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 7.151 * [taylor]: Taking taylor expansion of 4.0 in y 7.152 * [taylor]: Taking taylor expansion of y in y 7.154 * [taylor]: Taking taylor expansion of 0 in z 7.155 * [taylor]: Taking taylor expansion of 2.0 in y 7.156 * [taylor]: Taking taylor expansion of 0 in y 7.159 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (x z y) around 0 7.159 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y 7.159 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y 7.159 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y 7.159 * [taylor]: Taking taylor expansion of 4.0 in y 7.159 * [taylor]: Taking taylor expansion of (/ y x) in y 7.159 * [taylor]: Taking taylor expansion of y in y 7.159 * [taylor]: Taking taylor expansion of x in y 7.159 * [taylor]: Taking taylor expansion of 2.0 in y 7.159 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 7.159 * [taylor]: Taking taylor expansion of 4.0 in y 7.159 * [taylor]: Taking taylor expansion of (/ y z) in y 7.159 * [taylor]: Taking taylor expansion of y in y 7.159 * [taylor]: Taking taylor expansion of z in y 7.159 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z 7.159 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z 7.159 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 7.159 * [taylor]: Taking taylor expansion of 4.0 in z 7.159 * [taylor]: Taking taylor expansion of (/ y x) in z 7.159 * [taylor]: Taking taylor expansion of y in z 7.159 * [taylor]: Taking taylor expansion of x in z 7.159 * [taylor]: Taking taylor expansion of 2.0 in z 7.159 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 7.159 * [taylor]: Taking taylor expansion of 4.0 in z 7.159 * [taylor]: Taking taylor expansion of (/ y z) in z 7.159 * [taylor]: Taking taylor expansion of y in z 7.159 * [taylor]: Taking taylor expansion of z in z 7.159 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 7.159 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 7.159 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 7.159 * [taylor]: Taking taylor expansion of 4.0 in x 7.159 * [taylor]: Taking taylor expansion of (/ y x) in x 7.159 * [taylor]: Taking taylor expansion of y in x 7.159 * [taylor]: Taking taylor expansion of x in x 7.159 * [taylor]: Taking taylor expansion of 2.0 in x 7.159 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 7.159 * [taylor]: Taking taylor expansion of 4.0 in x 7.159 * [taylor]: Taking taylor expansion of (/ y z) in x 7.159 * [taylor]: Taking taylor expansion of y in x 7.159 * [taylor]: Taking taylor expansion of z in x 7.160 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 7.160 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 7.160 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 7.160 * [taylor]: Taking taylor expansion of 4.0 in x 7.160 * [taylor]: Taking taylor expansion of (/ y x) in x 7.160 * [taylor]: Taking taylor expansion of y in x 7.160 * [taylor]: Taking taylor expansion of x in x 7.160 * [taylor]: Taking taylor expansion of 2.0 in x 7.160 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 7.160 * [taylor]: Taking taylor expansion of 4.0 in x 7.160 * [taylor]: Taking taylor expansion of (/ y z) in x 7.160 * [taylor]: Taking taylor expansion of y in x 7.160 * [taylor]: Taking taylor expansion of z in x 7.160 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 7.160 * [taylor]: Taking taylor expansion of 4.0 in z 7.160 * [taylor]: Taking taylor expansion of y in z 7.161 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in z 7.161 * [taylor]: Taking taylor expansion of 2.0 in z 7.161 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 7.161 * [taylor]: Taking taylor expansion of 4.0 in z 7.161 * [taylor]: Taking taylor expansion of (/ y z) in z 7.161 * [taylor]: Taking taylor expansion of y in z 7.161 * [taylor]: Taking taylor expansion of z in z 7.161 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 7.161 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 7.162 * [taylor]: Taking taylor expansion of 4.0 in y 7.162 * [taylor]: Taking taylor expansion of y in y 7.162 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 7.162 * [taylor]: Taking taylor expansion of 4.0 in y 7.162 * [taylor]: Taking taylor expansion of y in y 7.168 * [taylor]: Taking taylor expansion of 0 in z 7.170 * [taylor]: Taking taylor expansion of 2.0 in y 7.170 * [taylor]: Taking taylor expansion of 0 in y 7.173 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1 2) 7.173 * [approximate]: Taking taylor expansion of (/ (- x z) y) in (x z y) around 0 7.173 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y 7.173 * [taylor]: Taking taylor expansion of (- x z) in y 7.173 * [taylor]: Taking taylor expansion of x in y 7.173 * [taylor]: Taking taylor expansion of z in y 7.173 * [taylor]: Taking taylor expansion of y in y 7.173 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z 7.173 * [taylor]: Taking taylor expansion of (- x z) in z 7.173 * [taylor]: Taking taylor expansion of x in z 7.173 * [taylor]: Taking taylor expansion of z in z 7.173 * [taylor]: Taking taylor expansion of y in z 7.173 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 7.173 * [taylor]: Taking taylor expansion of (- x z) in x 7.173 * [taylor]: Taking taylor expansion of x in x 7.173 * [taylor]: Taking taylor expansion of z in x 7.173 * [taylor]: Taking taylor expansion of y in x 7.174 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 7.174 * [taylor]: Taking taylor expansion of (- x z) in x 7.174 * [taylor]: Taking taylor expansion of x in x 7.174 * [taylor]: Taking taylor expansion of z in x 7.174 * [taylor]: Taking taylor expansion of y in x 7.174 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z 7.174 * [taylor]: Taking taylor expansion of -1 in z 7.174 * [taylor]: Taking taylor expansion of (/ z y) in z 7.174 * [taylor]: Taking taylor expansion of z in z 7.174 * [taylor]: Taking taylor expansion of y in z 7.174 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.174 * [taylor]: Taking taylor expansion of y in z 7.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.175 * [taylor]: Taking taylor expansion of y in y 7.175 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.175 * [taylor]: Taking taylor expansion of -1 in y 7.175 * [taylor]: Taking taylor expansion of y in y 7.176 * [taylor]: Taking taylor expansion of 0 in z 7.176 * [taylor]: Taking taylor expansion of 0 in y 7.176 * [taylor]: Taking taylor expansion of 0 in y 7.176 * [taylor]: Taking taylor expansion of 0 in y 7.178 * [taylor]: Taking taylor expansion of 0 in z 7.178 * [taylor]: Taking taylor expansion of 0 in y 7.178 * [taylor]: Taking taylor expansion of 0 in y 7.178 * [taylor]: Taking taylor expansion of 0 in y 7.179 * [taylor]: Taking taylor expansion of 0 in y 7.179 * [approximate]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in (x z y) around 0 7.179 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y 7.179 * [taylor]: Taking taylor expansion of y in y 7.179 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.179 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.179 * [taylor]: Taking taylor expansion of x in y 7.179 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.179 * [taylor]: Taking taylor expansion of z in y 7.180 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 7.180 * [taylor]: Taking taylor expansion of y in z 7.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 7.180 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.180 * [taylor]: Taking taylor expansion of x in z 7.180 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.180 * [taylor]: Taking taylor expansion of z in z 7.180 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 7.180 * [taylor]: Taking taylor expansion of y in x 7.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.180 * [taylor]: Taking taylor expansion of x in x 7.180 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.180 * [taylor]: Taking taylor expansion of z in x 7.180 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 7.180 * [taylor]: Taking taylor expansion of y in x 7.180 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.180 * [taylor]: Taking taylor expansion of x in x 7.181 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.181 * [taylor]: Taking taylor expansion of z in x 7.181 * [taylor]: Taking taylor expansion of y in z 7.182 * [taylor]: Taking taylor expansion of (- (/ y z)) in z 7.182 * [taylor]: Taking taylor expansion of (/ y z) in z 7.182 * [taylor]: Taking taylor expansion of y in z 7.182 * [taylor]: Taking taylor expansion of z in z 7.182 * [taylor]: Taking taylor expansion of (- y) in y 7.182 * [taylor]: Taking taylor expansion of y in y 7.182 * [taylor]: Taking taylor expansion of y in y 7.184 * [taylor]: Taking taylor expansion of 0 in z 7.185 * [taylor]: Taking taylor expansion of 0 in y 7.185 * [taylor]: Taking taylor expansion of 0 in y 7.187 * [taylor]: Taking taylor expansion of 0 in z 7.187 * [taylor]: Taking taylor expansion of 0 in y 7.188 * [taylor]: Taking taylor expansion of 0 in y 7.189 * [taylor]: Taking taylor expansion of 0 in y 7.189 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in (x z y) around 0 7.189 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y 7.189 * [taylor]: Taking taylor expansion of -1 in y 7.189 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 7.189 * [taylor]: Taking taylor expansion of y in y 7.189 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.189 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.189 * [taylor]: Taking taylor expansion of z in y 7.189 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.189 * [taylor]: Taking taylor expansion of x in y 7.189 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in z 7.189 * [taylor]: Taking taylor expansion of -1 in z 7.189 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 7.189 * [taylor]: Taking taylor expansion of y in z 7.189 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 7.189 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.189 * [taylor]: Taking taylor expansion of z in z 7.190 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.190 * [taylor]: Taking taylor expansion of x in z 7.190 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 7.190 * [taylor]: Taking taylor expansion of -1 in x 7.190 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 7.190 * [taylor]: Taking taylor expansion of y in x 7.190 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.190 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.190 * [taylor]: Taking taylor expansion of z in x 7.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.190 * [taylor]: Taking taylor expansion of x in x 7.190 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 7.190 * [taylor]: Taking taylor expansion of -1 in x 7.190 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 7.190 * [taylor]: Taking taylor expansion of y in x 7.190 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.190 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.190 * [taylor]: Taking taylor expansion of z in x 7.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.190 * [taylor]: Taking taylor expansion of x in x 7.191 * [taylor]: Taking taylor expansion of y in z 7.192 * [taylor]: Taking taylor expansion of (- (/ y z)) in z 7.192 * [taylor]: Taking taylor expansion of (/ y z) in z 7.192 * [taylor]: Taking taylor expansion of y in z 7.192 * [taylor]: Taking taylor expansion of z in z 7.192 * [taylor]: Taking taylor expansion of (- y) in y 7.192 * [taylor]: Taking taylor expansion of y in y 7.193 * [taylor]: Taking taylor expansion of y in y 7.195 * [taylor]: Taking taylor expansion of 0 in z 7.196 * [taylor]: Taking taylor expansion of 0 in y 7.196 * [taylor]: Taking taylor expansion of 0 in y 7.198 * [taylor]: Taking taylor expansion of 0 in z 7.198 * [taylor]: Taking taylor expansion of 0 in y 7.199 * [taylor]: Taking taylor expansion of 0 in y 7.199 * [taylor]: Taking taylor expansion of 0 in y 7.200 * * * [progress]: simplifying candidates 7.201 * [simplify]: Simplifying using # : (* (exp (* (+ 0.25 (/ (- x z) y)) 4.0)) (exp 1.0)) (log (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (exp (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (* (cbrt (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (cbrt (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0))) (cbrt (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (* (* (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0) (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (sqrt (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (sqrt (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (+ (pow (* (+ 0.25 (/ (- x z) y)) 4.0) 3) (pow 1.0 3)) (+ (* (* (+ 0.25 (/ (- x z) y)) 4.0) (* (+ 0.25 (/ (- x z) y)) 4.0)) (- (* 1.0 1.0) (* (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0))) (- (* (* (+ 0.25 (/ (- x z) y)) 4.0) (* (+ 0.25 (/ (- x z) y)) 4.0)) (* 1.0 1.0)) (- (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0) (- (log (- x z)) (log y)) (log (/ (- x z) y)) (exp (/ (- x z) y)) (/ (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y)) (* (* (/ (- x z) y) (/ (- x z) y)) (/ (- x z) y)) (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y)) (- (- x z)) (- y) (/ x y) (/ z y) (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) 1) (/ (cbrt (- x z)) y) (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) 1) (/ (sqrt (- x z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) (/ 1 1) (/ (- x z) y) (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y)) (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y)) (/ (+ (sqrt x) (sqrt z)) 1) (/ (- (sqrt x) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) (/ 1 1) (/ (- x z) y) (/ 1 y) (/ y (- x z)) (/ (- x z) (* (cbrt y) (cbrt y))) (/ (- x z) (sqrt y)) (/ (- x z) 1) (/ y (cbrt (- x z))) (/ y (sqrt (- x z))) (/ y (- x z)) (/ y (- (sqrt x) (sqrt z))) (/ y (- x z)) (* y (+ (* x x) (+ (* z z) (* x z)))) (* y (+ x z)) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) 7.203 * * [simplify]: iteration 0 : 105 enodes (cost 660 ) 7.220 * * [simplify]: iteration 1 : 255 enodes (cost 636 ) 7.275 * * [simplify]: iteration 2 : 619 enodes (cost 594 ) 7.494 * * [simplify]: iteration 3 : 1921 enodes (cost 574 ) 8.229 * * [simplify]: iteration done : 5000 enodes (cost 573 ) 8.229 * [simplify]: Simplified to: (exp (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (log (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (exp (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (* (cbrt (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (cbrt (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0))) (cbrt (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (pow (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0) 3) (sqrt (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (sqrt (+ (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (+ (pow (* (+ 0.25 (/ (- x z) y)) 4.0) 3) (pow 1.0 3)) (+ (* (* (+ 0.25 (/ (- x z) y)) 4.0) (- (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0)) (* 1.0 1.0)) (- (* (* (+ 0.25 (/ (- x z) y)) 4.0) (* (+ 0.25 (/ (- x z) y)) 4.0)) (* 1.0 1.0)) (- (* (+ 0.25 (/ (- x z) y)) 4.0) 1.0) (log (/ (- x z) y)) (log (/ (- x z) y)) (exp (/ (- x z) y)) (pow (/ (- x z) y) 3) (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y)) (pow (/ (- x z) y) 3) (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y)) (- z x) (- y) (/ x y) (/ z y) (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y)) (* (cbrt (- x z)) (cbrt (- x z))) (/ (cbrt (- x z)) y) (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y)) (sqrt (- x z)) (/ (sqrt (- x z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) 1 (/ (- x z) y) (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y)) (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y)) (+ (sqrt x) (sqrt z)) (/ (- (sqrt x) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) 1 (/ (- x z) y) (/ 1 y) (/ y (- x z)) (/ (- x z) (* (cbrt y) (cbrt y))) (/ (- x z) (sqrt y)) (- x z) (/ y (cbrt (- x z))) (/ y (sqrt (- x z))) (/ y (- x z)) (/ y (- (sqrt x) (sqrt z))) (/ y (- x z)) (* y (+ (* z (+ x z)) (* x x))) (* y (+ x z)) (+ (* 4.0 (/ (- x z) y)) 2.0) (+ (* 4.0 (/ (- x z) y)) 2.0) (+ (* 4.0 (/ (- x z) y)) 2.0) (/ (- x z) y) (/ (- x z) y) (/ (- x z) y) 8.230 * * * [progress]: adding candidates to table 8.348 * * [progress]: iteration 2 / 4 8.348 * * * [progress]: picking best candidate 8.353 * * * * [pick]: Picked # 8.353 * * * [progress]: localizing error 8.361 * * * [progress]: generating rewritten candidates 8.361 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 8.375 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 8.382 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 8.391 * * * [progress]: generating series expansions 8.391 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 8.391 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in (x z y) around 0 8.391 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in y 8.391 * [taylor]: Taking taylor expansion of 4.0 in y 8.391 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y 8.391 * [taylor]: Taking taylor expansion of (- x z) in y 8.391 * [taylor]: Taking taylor expansion of x in y 8.391 * [taylor]: Taking taylor expansion of z in y 8.391 * [taylor]: Taking taylor expansion of y in y 8.391 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in z 8.391 * [taylor]: Taking taylor expansion of 4.0 in z 8.391 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z 8.391 * [taylor]: Taking taylor expansion of (- x z) in z 8.391 * [taylor]: Taking taylor expansion of x in z 8.391 * [taylor]: Taking taylor expansion of z in z 8.391 * [taylor]: Taking taylor expansion of y in z 8.392 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in x 8.392 * [taylor]: Taking taylor expansion of 4.0 in x 8.392 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 8.392 * [taylor]: Taking taylor expansion of (- x z) in x 8.392 * [taylor]: Taking taylor expansion of x in x 8.392 * [taylor]: Taking taylor expansion of z in x 8.392 * [taylor]: Taking taylor expansion of y in x 8.392 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in x 8.392 * [taylor]: Taking taylor expansion of 4.0 in x 8.392 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 8.392 * [taylor]: Taking taylor expansion of (- x z) in x 8.392 * [taylor]: Taking taylor expansion of x in x 8.392 * [taylor]: Taking taylor expansion of z in x 8.392 * [taylor]: Taking taylor expansion of y in x 8.392 * [taylor]: Taking taylor expansion of (* -4.0 (/ z y)) in z 8.392 * [taylor]: Taking taylor expansion of -4.0 in z 8.392 * [taylor]: Taking taylor expansion of (/ z y) in z 8.392 * [taylor]: Taking taylor expansion of z in z 8.392 * [taylor]: Taking taylor expansion of y in z 8.393 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 8.393 * [taylor]: Taking taylor expansion of 4.0 in z 8.393 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.393 * [taylor]: Taking taylor expansion of y in z 8.393 * [taylor]: Taking taylor expansion of (/ 4.0 y) in y 8.393 * [taylor]: Taking taylor expansion of 4.0 in y 8.393 * [taylor]: Taking taylor expansion of y in y 8.394 * [taylor]: Taking taylor expansion of (/ -4.0 y) in y 8.394 * [taylor]: Taking taylor expansion of -4.0 in y 8.394 * [taylor]: Taking taylor expansion of y in y 8.395 * [taylor]: Taking taylor expansion of 0 in z 8.395 * [taylor]: Taking taylor expansion of 0 in y 8.396 * [taylor]: Taking taylor expansion of 0 in y 8.396 * [taylor]: Taking taylor expansion of 0 in y 8.398 * [taylor]: Taking taylor expansion of 0 in z 8.398 * [taylor]: Taking taylor expansion of 0 in y 8.398 * [taylor]: Taking taylor expansion of 0 in y 8.399 * [taylor]: Taking taylor expansion of 0 in y 8.400 * [taylor]: Taking taylor expansion of 0 in y 8.401 * [approximate]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in (x z y) around 0 8.401 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in y 8.401 * [taylor]: Taking taylor expansion of 4.0 in y 8.401 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y 8.401 * [taylor]: Taking taylor expansion of y in y 8.401 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.401 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.401 * [taylor]: Taking taylor expansion of x in y 8.401 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.401 * [taylor]: Taking taylor expansion of z in y 8.401 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in z 8.401 * [taylor]: Taking taylor expansion of 4.0 in z 8.401 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 8.401 * [taylor]: Taking taylor expansion of y in z 8.401 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.401 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.401 * [taylor]: Taking taylor expansion of x in z 8.401 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.401 * [taylor]: Taking taylor expansion of z in z 8.401 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in x 8.401 * [taylor]: Taking taylor expansion of 4.0 in x 8.401 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 8.402 * [taylor]: Taking taylor expansion of y in x 8.402 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.402 * [taylor]: Taking taylor expansion of x in x 8.402 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.402 * [taylor]: Taking taylor expansion of z in x 8.402 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in x 8.402 * [taylor]: Taking taylor expansion of 4.0 in x 8.402 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 8.402 * [taylor]: Taking taylor expansion of y in x 8.402 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.402 * [taylor]: Taking taylor expansion of x in x 8.402 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.402 * [taylor]: Taking taylor expansion of z in x 8.403 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 8.403 * [taylor]: Taking taylor expansion of 4.0 in z 8.403 * [taylor]: Taking taylor expansion of y in z 8.404 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in z 8.404 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 8.404 * [taylor]: Taking taylor expansion of 4.0 in z 8.404 * [taylor]: Taking taylor expansion of (/ y z) in z 8.404 * [taylor]: Taking taylor expansion of y in z 8.404 * [taylor]: Taking taylor expansion of z in z 8.404 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 8.404 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 8.404 * [taylor]: Taking taylor expansion of 4.0 in y 8.404 * [taylor]: Taking taylor expansion of y in y 8.404 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 8.404 * [taylor]: Taking taylor expansion of 4.0 in y 8.404 * [taylor]: Taking taylor expansion of y in y 8.406 * [taylor]: Taking taylor expansion of 0 in z 8.407 * [taylor]: Taking taylor expansion of 0 in y 8.408 * [taylor]: Taking taylor expansion of 0 in y 8.413 * [taylor]: Taking taylor expansion of 0 in z 8.413 * [taylor]: Taking taylor expansion of 0 in y 8.414 * [taylor]: Taking taylor expansion of 0 in y 8.415 * [taylor]: Taking taylor expansion of 0 in y 8.416 * [approximate]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in (x z y) around 0 8.416 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in y 8.416 * [taylor]: Taking taylor expansion of -4.0 in y 8.416 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 8.416 * [taylor]: Taking taylor expansion of y in y 8.416 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.416 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.416 * [taylor]: Taking taylor expansion of z in y 8.416 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.417 * [taylor]: Taking taylor expansion of x in y 8.417 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in z 8.417 * [taylor]: Taking taylor expansion of -4.0 in z 8.417 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 8.417 * [taylor]: Taking taylor expansion of y in z 8.417 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.417 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.417 * [taylor]: Taking taylor expansion of z in z 8.417 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.417 * [taylor]: Taking taylor expansion of x in z 8.417 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in x 8.417 * [taylor]: Taking taylor expansion of -4.0 in x 8.417 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 8.417 * [taylor]: Taking taylor expansion of y in x 8.417 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.417 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.417 * [taylor]: Taking taylor expansion of z in x 8.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.417 * [taylor]: Taking taylor expansion of x in x 8.417 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in x 8.417 * [taylor]: Taking taylor expansion of -4.0 in x 8.417 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 8.418 * [taylor]: Taking taylor expansion of y in x 8.418 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.418 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.418 * [taylor]: Taking taylor expansion of z in x 8.418 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.418 * [taylor]: Taking taylor expansion of x in x 8.418 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 8.418 * [taylor]: Taking taylor expansion of 4.0 in z 8.418 * [taylor]: Taking taylor expansion of y in z 8.423 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in z 8.423 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 8.423 * [taylor]: Taking taylor expansion of 4.0 in z 8.423 * [taylor]: Taking taylor expansion of (/ y z) in z 8.423 * [taylor]: Taking taylor expansion of y in z 8.423 * [taylor]: Taking taylor expansion of z in z 8.423 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 8.423 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 8.423 * [taylor]: Taking taylor expansion of 4.0 in y 8.423 * [taylor]: Taking taylor expansion of y in y 8.423 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 8.424 * [taylor]: Taking taylor expansion of 4.0 in y 8.424 * [taylor]: Taking taylor expansion of y in y 8.425 * [taylor]: Taking taylor expansion of 0 in z 8.427 * [taylor]: Taking taylor expansion of 0 in y 8.427 * [taylor]: Taking taylor expansion of 0 in y 8.432 * [taylor]: Taking taylor expansion of 0 in z 8.432 * [taylor]: Taking taylor expansion of 0 in y 8.433 * [taylor]: Taking taylor expansion of 0 in y 8.434 * [taylor]: Taking taylor expansion of 0 in y 8.435 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 8.435 * [approximate]: Taking taylor expansion of (/ (- x z) y) in (x z y) around 0 8.435 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y 8.435 * [taylor]: Taking taylor expansion of (- x z) in y 8.435 * [taylor]: Taking taylor expansion of x in y 8.435 * [taylor]: Taking taylor expansion of z in y 8.435 * [taylor]: Taking taylor expansion of y in y 8.435 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z 8.435 * [taylor]: Taking taylor expansion of (- x z) in z 8.435 * [taylor]: Taking taylor expansion of x in z 8.435 * [taylor]: Taking taylor expansion of z in z 8.435 * [taylor]: Taking taylor expansion of y in z 8.436 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 8.436 * [taylor]: Taking taylor expansion of (- x z) in x 8.436 * [taylor]: Taking taylor expansion of x in x 8.436 * [taylor]: Taking taylor expansion of z in x 8.436 * [taylor]: Taking taylor expansion of y in x 8.436 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 8.436 * [taylor]: Taking taylor expansion of (- x z) in x 8.436 * [taylor]: Taking taylor expansion of x in x 8.436 * [taylor]: Taking taylor expansion of z in x 8.436 * [taylor]: Taking taylor expansion of y in x 8.436 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z 8.436 * [taylor]: Taking taylor expansion of -1 in z 8.436 * [taylor]: Taking taylor expansion of (/ z y) in z 8.436 * [taylor]: Taking taylor expansion of z in z 8.436 * [taylor]: Taking taylor expansion of y in z 8.437 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.437 * [taylor]: Taking taylor expansion of y in z 8.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.437 * [taylor]: Taking taylor expansion of y in y 8.437 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.437 * [taylor]: Taking taylor expansion of -1 in y 8.437 * [taylor]: Taking taylor expansion of y in y 8.438 * [taylor]: Taking taylor expansion of 0 in z 8.438 * [taylor]: Taking taylor expansion of 0 in y 8.438 * [taylor]: Taking taylor expansion of 0 in y 8.439 * [taylor]: Taking taylor expansion of 0 in y 8.440 * [taylor]: Taking taylor expansion of 0 in z 8.440 * [taylor]: Taking taylor expansion of 0 in y 8.440 * [taylor]: Taking taylor expansion of 0 in y 8.440 * [taylor]: Taking taylor expansion of 0 in y 8.441 * [taylor]: Taking taylor expansion of 0 in y 8.442 * [approximate]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in (x z y) around 0 8.442 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y 8.442 * [taylor]: Taking taylor expansion of y in y 8.442 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 8.442 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.442 * [taylor]: Taking taylor expansion of x in y 8.442 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.442 * [taylor]: Taking taylor expansion of z in y 8.442 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 8.442 * [taylor]: Taking taylor expansion of y in z 8.442 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 8.442 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.442 * [taylor]: Taking taylor expansion of x in z 8.442 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.442 * [taylor]: Taking taylor expansion of z in z 8.442 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 8.442 * [taylor]: Taking taylor expansion of y in x 8.442 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.442 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.442 * [taylor]: Taking taylor expansion of x in x 8.443 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.443 * [taylor]: Taking taylor expansion of z in x 8.443 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 8.443 * [taylor]: Taking taylor expansion of y in x 8.443 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 8.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.443 * [taylor]: Taking taylor expansion of x in x 8.443 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.443 * [taylor]: Taking taylor expansion of z in x 8.443 * [taylor]: Taking taylor expansion of y in z 8.444 * [taylor]: Taking taylor expansion of (- (/ y z)) in z 8.444 * [taylor]: Taking taylor expansion of (/ y z) in z 8.444 * [taylor]: Taking taylor expansion of y in z 8.444 * [taylor]: Taking taylor expansion of z in z 8.445 * [taylor]: Taking taylor expansion of (- y) in y 8.445 * [taylor]: Taking taylor expansion of y in y 8.445 * [taylor]: Taking taylor expansion of y in y 8.446 * [taylor]: Taking taylor expansion of 0 in z 8.447 * [taylor]: Taking taylor expansion of 0 in y 8.447 * [taylor]: Taking taylor expansion of 0 in y 8.449 * [taylor]: Taking taylor expansion of 0 in z 8.449 * [taylor]: Taking taylor expansion of 0 in y 8.450 * [taylor]: Taking taylor expansion of 0 in y 8.451 * [taylor]: Taking taylor expansion of 0 in y 8.451 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in (x z y) around 0 8.451 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y 8.451 * [taylor]: Taking taylor expansion of -1 in y 8.451 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 8.451 * [taylor]: Taking taylor expansion of y in y 8.451 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 8.451 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.451 * [taylor]: Taking taylor expansion of z in y 8.451 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.451 * [taylor]: Taking taylor expansion of x in y 8.451 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in z 8.451 * [taylor]: Taking taylor expansion of -1 in z 8.451 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 8.451 * [taylor]: Taking taylor expansion of y in z 8.451 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 8.451 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.451 * [taylor]: Taking taylor expansion of z in z 8.452 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.452 * [taylor]: Taking taylor expansion of x in z 8.452 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 8.452 * [taylor]: Taking taylor expansion of -1 in x 8.452 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 8.452 * [taylor]: Taking taylor expansion of y in x 8.452 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.452 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.452 * [taylor]: Taking taylor expansion of z in x 8.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.452 * [taylor]: Taking taylor expansion of x in x 8.452 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 8.452 * [taylor]: Taking taylor expansion of -1 in x 8.452 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 8.452 * [taylor]: Taking taylor expansion of y in x 8.452 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 8.452 * [taylor]: Taking taylor expansion of (/ 1 z) in x 8.452 * [taylor]: Taking taylor expansion of z in x 8.452 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.452 * [taylor]: Taking taylor expansion of x in x 8.453 * [taylor]: Taking taylor expansion of y in z 8.454 * [taylor]: Taking taylor expansion of (- (/ y z)) in z 8.454 * [taylor]: Taking taylor expansion of (/ y z) in z 8.454 * [taylor]: Taking taylor expansion of y in z 8.454 * [taylor]: Taking taylor expansion of z in z 8.454 * [taylor]: Taking taylor expansion of (- y) in y 8.454 * [taylor]: Taking taylor expansion of y in y 8.455 * [taylor]: Taking taylor expansion of y in y 8.456 * [taylor]: Taking taylor expansion of 0 in z 8.458 * [taylor]: Taking taylor expansion of 0 in y 8.458 * [taylor]: Taking taylor expansion of 0 in y 8.460 * [taylor]: Taking taylor expansion of 0 in z 8.460 * [taylor]: Taking taylor expansion of 0 in y 8.461 * [taylor]: Taking taylor expansion of 0 in y 8.461 * [taylor]: Taking taylor expansion of 0 in y 8.462 * * * * [progress]: [ 3 / 3 ] generating series at (2) 8.462 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in (x z y) around 0 8.462 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in y 8.462 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in y 8.462 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in y 8.462 * [taylor]: Taking taylor expansion of 4.0 in y 8.462 * [taylor]: Taking taylor expansion of (/ x y) in y 8.462 * [taylor]: Taking taylor expansion of x in y 8.462 * [taylor]: Taking taylor expansion of y in y 8.462 * [taylor]: Taking taylor expansion of 2.0 in y 8.462 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y 8.462 * [taylor]: Taking taylor expansion of 4.0 in y 8.462 * [taylor]: Taking taylor expansion of (/ z y) in y 8.462 * [taylor]: Taking taylor expansion of z in y 8.462 * [taylor]: Taking taylor expansion of y in y 8.462 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in z 8.462 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in z 8.462 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z 8.462 * [taylor]: Taking taylor expansion of 4.0 in z 8.462 * [taylor]: Taking taylor expansion of (/ x y) in z 8.462 * [taylor]: Taking taylor expansion of x in z 8.462 * [taylor]: Taking taylor expansion of y in z 8.462 * [taylor]: Taking taylor expansion of 2.0 in z 8.463 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 8.463 * [taylor]: Taking taylor expansion of 4.0 in z 8.463 * [taylor]: Taking taylor expansion of (/ z y) in z 8.463 * [taylor]: Taking taylor expansion of z in z 8.463 * [taylor]: Taking taylor expansion of y in z 8.463 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x 8.463 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x 8.463 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x 8.463 * [taylor]: Taking taylor expansion of 4.0 in x 8.463 * [taylor]: Taking taylor expansion of (/ x y) in x 8.463 * [taylor]: Taking taylor expansion of x in x 8.463 * [taylor]: Taking taylor expansion of y in x 8.463 * [taylor]: Taking taylor expansion of 2.0 in x 8.463 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x 8.463 * [taylor]: Taking taylor expansion of 4.0 in x 8.463 * [taylor]: Taking taylor expansion of (/ z y) in x 8.463 * [taylor]: Taking taylor expansion of z in x 8.463 * [taylor]: Taking taylor expansion of y in x 8.463 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x 8.463 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x 8.463 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x 8.463 * [taylor]: Taking taylor expansion of 4.0 in x 8.463 * [taylor]: Taking taylor expansion of (/ x y) in x 8.463 * [taylor]: Taking taylor expansion of x in x 8.463 * [taylor]: Taking taylor expansion of y in x 8.463 * [taylor]: Taking taylor expansion of 2.0 in x 8.463 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x 8.463 * [taylor]: Taking taylor expansion of 4.0 in x 8.463 * [taylor]: Taking taylor expansion of (/ z y) in x 8.463 * [taylor]: Taking taylor expansion of z in x 8.463 * [taylor]: Taking taylor expansion of y in x 8.464 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ z y))) in z 8.464 * [taylor]: Taking taylor expansion of 2.0 in z 8.464 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 8.464 * [taylor]: Taking taylor expansion of 4.0 in z 8.464 * [taylor]: Taking taylor expansion of (/ z y) in z 8.464 * [taylor]: Taking taylor expansion of z in z 8.464 * [taylor]: Taking taylor expansion of y in z 8.464 * [taylor]: Taking taylor expansion of 2.0 in y 8.465 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 8.465 * [taylor]: Taking taylor expansion of 4.0 in z 8.465 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.465 * [taylor]: Taking taylor expansion of y in z 8.465 * [taylor]: Taking taylor expansion of (/ 4.0 y) in y 8.465 * [taylor]: Taking taylor expansion of 4.0 in y 8.465 * [taylor]: Taking taylor expansion of y in y 8.465 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y 8.465 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 8.465 * [taylor]: Taking taylor expansion of 4.0 in y 8.465 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.466 * [taylor]: Taking taylor expansion of y in y 8.467 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (x z y) around 0 8.467 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y 8.467 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y 8.467 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y 8.467 * [taylor]: Taking taylor expansion of 4.0 in y 8.467 * [taylor]: Taking taylor expansion of (/ y x) in y 8.467 * [taylor]: Taking taylor expansion of y in y 8.467 * [taylor]: Taking taylor expansion of x in y 8.467 * [taylor]: Taking taylor expansion of 2.0 in y 8.467 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 8.467 * [taylor]: Taking taylor expansion of 4.0 in y 8.467 * [taylor]: Taking taylor expansion of (/ y z) in y 8.467 * [taylor]: Taking taylor expansion of y in y 8.467 * [taylor]: Taking taylor expansion of z in y 8.467 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z 8.467 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z 8.467 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 8.468 * [taylor]: Taking taylor expansion of 4.0 in z 8.468 * [taylor]: Taking taylor expansion of (/ y x) in z 8.468 * [taylor]: Taking taylor expansion of y in z 8.468 * [taylor]: Taking taylor expansion of x in z 8.468 * [taylor]: Taking taylor expansion of 2.0 in z 8.468 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 8.468 * [taylor]: Taking taylor expansion of 4.0 in z 8.468 * [taylor]: Taking taylor expansion of (/ y z) in z 8.468 * [taylor]: Taking taylor expansion of y in z 8.468 * [taylor]: Taking taylor expansion of z in z 8.468 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 8.468 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 8.468 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 8.468 * [taylor]: Taking taylor expansion of 4.0 in x 8.468 * [taylor]: Taking taylor expansion of (/ y x) in x 8.468 * [taylor]: Taking taylor expansion of y in x 8.468 * [taylor]: Taking taylor expansion of x in x 8.468 * [taylor]: Taking taylor expansion of 2.0 in x 8.468 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 8.468 * [taylor]: Taking taylor expansion of 4.0 in x 8.468 * [taylor]: Taking taylor expansion of (/ y z) in x 8.468 * [taylor]: Taking taylor expansion of y in x 8.468 * [taylor]: Taking taylor expansion of z in x 8.468 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 8.468 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 8.468 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 8.468 * [taylor]: Taking taylor expansion of 4.0 in x 8.468 * [taylor]: Taking taylor expansion of (/ y x) in x 8.468 * [taylor]: Taking taylor expansion of y in x 8.468 * [taylor]: Taking taylor expansion of x in x 8.468 * [taylor]: Taking taylor expansion of 2.0 in x 8.468 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 8.468 * [taylor]: Taking taylor expansion of 4.0 in x 8.468 * [taylor]: Taking taylor expansion of (/ y z) in x 8.468 * [taylor]: Taking taylor expansion of y in x 8.468 * [taylor]: Taking taylor expansion of z in x 8.468 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 8.468 * [taylor]: Taking taylor expansion of 4.0 in z 8.468 * [taylor]: Taking taylor expansion of y in z 8.470 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in z 8.470 * [taylor]: Taking taylor expansion of 2.0 in z 8.470 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 8.470 * [taylor]: Taking taylor expansion of 4.0 in z 8.470 * [taylor]: Taking taylor expansion of (/ y z) in z 8.470 * [taylor]: Taking taylor expansion of y in z 8.470 * [taylor]: Taking taylor expansion of z in z 8.470 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 8.470 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 8.470 * [taylor]: Taking taylor expansion of 4.0 in y 8.470 * [taylor]: Taking taylor expansion of y in y 8.471 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 8.471 * [taylor]: Taking taylor expansion of 4.0 in y 8.471 * [taylor]: Taking taylor expansion of y in y 8.473 * [taylor]: Taking taylor expansion of 0 in z 8.475 * [taylor]: Taking taylor expansion of 2.0 in y 8.475 * [taylor]: Taking taylor expansion of 0 in y 8.478 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (x z y) around 0 8.478 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y 8.478 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y 8.478 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y 8.478 * [taylor]: Taking taylor expansion of 4.0 in y 8.478 * [taylor]: Taking taylor expansion of (/ y x) in y 8.478 * [taylor]: Taking taylor expansion of y in y 8.478 * [taylor]: Taking taylor expansion of x in y 8.478 * [taylor]: Taking taylor expansion of 2.0 in y 8.478 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 8.478 * [taylor]: Taking taylor expansion of 4.0 in y 8.478 * [taylor]: Taking taylor expansion of (/ y z) in y 8.478 * [taylor]: Taking taylor expansion of y in y 8.478 * [taylor]: Taking taylor expansion of z in y 8.478 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z 8.478 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z 8.479 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 8.479 * [taylor]: Taking taylor expansion of 4.0 in z 8.479 * [taylor]: Taking taylor expansion of (/ y x) in z 8.479 * [taylor]: Taking taylor expansion of y in z 8.479 * [taylor]: Taking taylor expansion of x in z 8.479 * [taylor]: Taking taylor expansion of 2.0 in z 8.479 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 8.479 * [taylor]: Taking taylor expansion of 4.0 in z 8.479 * [taylor]: Taking taylor expansion of (/ y z) in z 8.479 * [taylor]: Taking taylor expansion of y in z 8.479 * [taylor]: Taking taylor expansion of z in z 8.479 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 8.479 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 8.479 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 8.479 * [taylor]: Taking taylor expansion of 4.0 in x 8.479 * [taylor]: Taking taylor expansion of (/ y x) in x 8.479 * [taylor]: Taking taylor expansion of y in x 8.479 * [taylor]: Taking taylor expansion of x in x 8.479 * [taylor]: Taking taylor expansion of 2.0 in x 8.479 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 8.479 * [taylor]: Taking taylor expansion of 4.0 in x 8.479 * [taylor]: Taking taylor expansion of (/ y z) in x 8.479 * [taylor]: Taking taylor expansion of y in x 8.479 * [taylor]: Taking taylor expansion of z in x 8.479 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 8.479 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 8.479 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 8.479 * [taylor]: Taking taylor expansion of 4.0 in x 8.479 * [taylor]: Taking taylor expansion of (/ y x) in x 8.479 * [taylor]: Taking taylor expansion of y in x 8.479 * [taylor]: Taking taylor expansion of x in x 8.479 * [taylor]: Taking taylor expansion of 2.0 in x 8.479 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 8.479 * [taylor]: Taking taylor expansion of 4.0 in x 8.479 * [taylor]: Taking taylor expansion of (/ y z) in x 8.479 * [taylor]: Taking taylor expansion of y in x 8.479 * [taylor]: Taking taylor expansion of z in x 8.479 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 8.479 * [taylor]: Taking taylor expansion of 4.0 in z 8.479 * [taylor]: Taking taylor expansion of y in z 8.481 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in z 8.481 * [taylor]: Taking taylor expansion of 2.0 in z 8.481 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 8.481 * [taylor]: Taking taylor expansion of 4.0 in z 8.481 * [taylor]: Taking taylor expansion of (/ y z) in z 8.481 * [taylor]: Taking taylor expansion of y in z 8.481 * [taylor]: Taking taylor expansion of z in z 8.481 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 8.481 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 8.481 * [taylor]: Taking taylor expansion of 4.0 in y 8.481 * [taylor]: Taking taylor expansion of y in y 8.482 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 8.482 * [taylor]: Taking taylor expansion of 4.0 in y 8.482 * [taylor]: Taking taylor expansion of y in y 8.484 * [taylor]: Taking taylor expansion of 0 in z 8.486 * [taylor]: Taking taylor expansion of 2.0 in y 8.486 * [taylor]: Taking taylor expansion of 0 in y 8.489 * * * [progress]: simplifying candidates 8.490 * [simplify]: Simplifying using # : (* 4.0 (/ (- x z) y)) (+ (log 4.0) (- (log (- x z)) (log y))) (+ (log 4.0) (log (/ (- x z) y))) (log (* 4.0 (/ (- x z) y))) (exp (* 4.0 (/ (- x z) y))) (* (* (* 4.0 4.0) 4.0) (/ (* (* (- x z) (- x z)) (- x z)) (* (* y y) y))) (* (* (* 4.0 4.0) 4.0) (* (* (/ (- x z) y) (/ (- x z) y)) (/ (- x z) y))) (* (cbrt (* 4.0 (/ (- x z) y))) (cbrt (* 4.0 (/ (- x z) y)))) (cbrt (* 4.0 (/ (- x z) y))) (* (* (* 4.0 (/ (- x z) y)) (* 4.0 (/ (- x z) y))) (* 4.0 (/ (- x z) y))) (sqrt (* 4.0 (/ (- x z) y))) (sqrt (* 4.0 (/ (- x z) y))) (* (sqrt 4.0) (sqrt (/ (- x z) y))) (* (sqrt 4.0) (sqrt (/ (- x z) y))) (* (sqrt 4.0) (/ (sqrt (- x z)) (sqrt y))) (* (sqrt 4.0) (/ (sqrt (- x z)) (sqrt y))) (* 4.0 (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y)))) (* 4.0 (sqrt (/ (- x z) y))) (* 4.0 (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)))) (* 4.0 (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y))) (* 4.0 (/ (* (cbrt (- x z)) (cbrt (- x z))) 1)) (* 4.0 (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))) (* 4.0 (/ (sqrt (- x z)) (sqrt y))) (* 4.0 (/ (sqrt (- x z)) 1)) (* 4.0 (/ 1 (* (cbrt y) (cbrt y)))) (* 4.0 (/ 1 (sqrt y))) (* 4.0 (/ 1 1)) (* 4.0 (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y)))) (* 4.0 (/ (+ (sqrt x) (sqrt z)) (sqrt y))) (* 4.0 (/ (+ (sqrt x) (sqrt z)) 1)) (* 4.0 (/ 1 (* (cbrt y) (cbrt y)))) (* 4.0 (/ 1 (sqrt y))) (* 4.0 (/ 1 1)) (* 4.0 1) (* 4.0 (- x z)) (* (cbrt 4.0) (/ (- x z) y)) (* (sqrt 4.0) (/ (- x z) y)) (* 4.0 (/ (- x z) y)) (* 4.0 (- x z)) (- (log (- x z)) (log y)) (log (/ (- x z) y)) (exp (/ (- x z) y)) (/ (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y)) (* (* (/ (- x z) y) (/ (- x z) y)) (/ (- x z) y)) (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y)) (- (- x z)) (- y) (/ x y) (/ z y) (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) 1) (/ (cbrt (- x z)) y) (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) 1) (/ (sqrt (- x z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) (/ 1 1) (/ (- x z) y) (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y)) (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y)) (/ (+ (sqrt x) (sqrt z)) 1) (/ (- (sqrt x) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) (/ 1 1) (/ (- x z) y) (/ 1 y) (/ y (- x z)) (/ (- x z) (* (cbrt y) (cbrt y))) (/ (- x z) (sqrt y)) (/ (- x z) 1) (/ y (cbrt (- x z))) (/ y (sqrt (- x z))) (/ y (- x z)) (/ y (- (sqrt x) (sqrt z))) (/ y (- x z)) (* y (+ (* x x) (+ (* z z) (* x z)))) (* y (+ x z)) (* (exp (* 4.0 (/ (- x z) y))) (exp 2.0)) (log (+ (* 4.0 (/ (- x z) y)) 2.0)) (exp (+ (* 4.0 (/ (- x z) y)) 2.0)) (* (cbrt (+ (* 4.0 (/ (- x z) y)) 2.0)) (cbrt (+ (* 4.0 (/ (- x z) y)) 2.0))) (cbrt (+ (* 4.0 (/ (- x z) y)) 2.0)) (* (* (+ (* 4.0 (/ (- x z) y)) 2.0) (+ (* 4.0 (/ (- x z) y)) 2.0)) (+ (* 4.0 (/ (- x z) y)) 2.0)) (sqrt (+ (* 4.0 (/ (- x z) y)) 2.0)) (sqrt (+ (* 4.0 (/ (- x z) y)) 2.0)) (+ (pow (* 4.0 (/ (- x z) y)) 3) (pow 2.0 3)) (+ (* (* 4.0 (/ (- x z) y)) (* 4.0 (/ (- x z) y))) (- (* 2.0 2.0) (* (* 4.0 (/ (- x z) y)) 2.0))) (- (* (* 4.0 (/ (- x z) y)) (* 4.0 (/ (- x z) y))) (* 2.0 2.0)) (- (* 4.0 (/ (- x z) y)) 2.0) (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) 8.494 * * [simplify]: iteration 0 : 137 enodes (cost 1051 ) 8.531 * * [simplify]: iteration 1 : 346 enodes (cost 974 ) 8.622 * * [simplify]: iteration 2 : 977 enodes (cost 896 ) 9.291 * * [simplify]: iteration 3 : 3703 enodes (cost 890 ) 10.291 * * [simplify]: iteration done : 5000 enodes (cost 889 ) 10.291 * [simplify]: Simplified to: (/ (* 4.0 (- x z)) y) (log (* 4.0 (/ (- x z) y))) (log (* 4.0 (/ (- x z) y))) (log (* 4.0 (/ (- x z) y))) (exp (* 4.0 (/ (- x z) y))) (pow (/ (* 4.0 (- x z)) y) 3) (pow (/ (* 4.0 (- x z)) y) 3) (* (cbrt (* 4.0 (/ (- x z) y))) (cbrt (* 4.0 (/ (- x z) y)))) (cbrt (* 4.0 (/ (- x z) y))) (pow (/ (* 4.0 (- x z)) y) 3) (sqrt (* 4.0 (/ (- x z) y))) (sqrt (* 4.0 (/ (- x z) y))) (* (sqrt 4.0) (sqrt (/ (- x z) y))) (* (sqrt 4.0) (sqrt (/ (- x z) y))) (* (sqrt 4.0) (/ (sqrt (- x z)) (sqrt y))) (* (sqrt 4.0) (/ (sqrt (- x z)) (sqrt y))) (* 4.0 (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y)))) (* 4.0 (sqrt (/ (- x z) y))) (* 4.0 (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)))) (* 4.0 (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y))) (* (* (cbrt (- x z)) (cbrt (- x z))) 4.0) (* 4.0 (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))) (* 4.0 (/ (sqrt (- x z)) (sqrt y))) (* (sqrt (- x z)) 4.0) (/ 4.0 (* (cbrt y) (cbrt y))) (/ 4.0 (sqrt y)) 4.0 (* 4.0 (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y)))) (* 4.0 (/ (+ (sqrt x) (sqrt z)) (sqrt y))) (* 4.0 (+ (sqrt x) (sqrt z))) (/ 4.0 (* (cbrt y) (cbrt y))) (/ 4.0 (sqrt y)) 4.0 4.0 (* 4.0 (- x z)) (* (cbrt 4.0) (/ (- x z) y)) (* (sqrt 4.0) (/ (- x z) y)) (/ (* 4.0 (- x z)) y) (* 4.0 (- x z)) (log (/ (- x z) y)) (log (/ (- x z) y)) (exp (/ (- x z) y)) (pow (/ (- x z) y) 3) (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y)) (pow (/ (- x z) y) 3) (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y)) (- z x) (- y) (/ x y) (/ z y) (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y)) (* (cbrt (- x z)) (cbrt (- x z))) (/ (cbrt (- x z)) y) (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y)) (sqrt (- x z)) (/ (sqrt (- x z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) 1 (/ (- x z) y) (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y)) (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y)) (+ (sqrt x) (sqrt z)) (/ (- (sqrt x) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) 1 (/ (- x z) y) (/ 1 y) (/ y (- x z)) (/ (- x z) (* (cbrt y) (cbrt y))) (/ (- x z) (sqrt y)) (- x z) (/ y (cbrt (- x z))) (/ y (sqrt (- x z))) (/ y (- x z)) (/ y (- (sqrt x) (sqrt z))) (/ y (- x z)) (* y (+ (* x x) (* z (+ x z)))) (* y (+ x z)) (exp (+ (* 4.0 (/ (- x z) y)) 2.0)) (log (+ (* 4.0 (/ (- x z) y)) 2.0)) (exp (+ (* 4.0 (/ (- x z) y)) 2.0)) (* (cbrt (+ (* 4.0 (/ (- x z) y)) 2.0)) (cbrt (+ (* 4.0 (/ (- x z) y)) 2.0))) (cbrt (+ (* 4.0 (/ (- x z) y)) 2.0)) (pow (+ (/ (* 4.0 (- x z)) y) 2.0) 3) (sqrt (+ (* 4.0 (/ (- x z) y)) 2.0)) (sqrt (+ (* 4.0 (/ (- x z) y)) 2.0)) (+ (pow (* 4.0 (/ (- x z) y)) 3) (pow 2.0 3)) (+ (* (/ (* 4.0 (- x z)) y) (- (* 4.0 (/ (- x z) y)) 2.0)) (* 2.0 2.0)) (- (* (* 4.0 (/ (- x z) y)) (* 4.0 (/ (- x z) y))) (* 2.0 2.0)) (- (* 4.0 (/ (- x z) y)) 2.0) (/ (* 4.0 (- x z)) y) (/ (* 4.0 (- x z)) y) (/ (* 4.0 (- x z)) y) (/ (- x z) y) (/ (- x z) y) (/ (- x z) y) (+ (* 4.0 (/ (- x z) y)) 2.0) (+ (* 4.0 (/ (- x z) y)) 2.0) (+ (* 4.0 (/ (- x z) y)) 2.0) 10.292 * * * [progress]: adding candidates to table 10.479 * * [progress]: iteration 3 / 4 10.479 * * * [progress]: picking best candidate 10.481 * * * * [pick]: Picked # 10.481 * * * [progress]: localizing error 10.491 * * * [progress]: generating rewritten candidates 10.491 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 10.493 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2) 10.495 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 10.497 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 10.520 * * * [progress]: generating series expansions 10.520 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 10.520 * [approximate]: Taking taylor expansion of (pow (- x z) 1/3) in (x z) around 0 10.520 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in z 10.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in z 10.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in z 10.520 * [taylor]: Taking taylor expansion of 1/3 in z 10.521 * [taylor]: Taking taylor expansion of (log (- x z)) in z 10.521 * [taylor]: Taking taylor expansion of (- x z) in z 10.521 * [taylor]: Taking taylor expansion of x in z 10.521 * [taylor]: Taking taylor expansion of z in z 10.521 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x 10.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x 10.521 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x 10.521 * [taylor]: Taking taylor expansion of 1/3 in x 10.521 * [taylor]: Taking taylor expansion of (log (- x z)) in x 10.521 * [taylor]: Taking taylor expansion of (- x z) in x 10.521 * [taylor]: Taking taylor expansion of x in x 10.521 * [taylor]: Taking taylor expansion of z in x 10.521 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x 10.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x 10.521 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x 10.521 * [taylor]: Taking taylor expansion of 1/3 in x 10.522 * [taylor]: Taking taylor expansion of (log (- x z)) in x 10.522 * [taylor]: Taking taylor expansion of (- x z) in x 10.522 * [taylor]: Taking taylor expansion of x in x 10.522 * [taylor]: Taking taylor expansion of z in x 10.522 * [taylor]: Taking taylor expansion of (pow (- z) 1/3) in z 10.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- z)))) in z 10.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (- z))) in z 10.522 * [taylor]: Taking taylor expansion of 1/3 in z 10.522 * [taylor]: Taking taylor expansion of (log (- z)) in z 10.522 * [taylor]: Taking taylor expansion of (- z) in z 10.522 * [taylor]: Taking taylor expansion of z in z 10.526 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow z 2)) 1/3)) in z 10.526 * [taylor]: Taking taylor expansion of -1/3 in z 10.526 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 2)) 1/3) in z 10.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 2))))) in z 10.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 2)))) in z 10.526 * [taylor]: Taking taylor expansion of 1/3 in z 10.526 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 2))) in z 10.526 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 10.526 * [taylor]: Taking taylor expansion of -1 in z 10.526 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.526 * [taylor]: Taking taylor expansion of z in z 10.538 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow z 5)) 1/3)) in z 10.538 * [taylor]: Taking taylor expansion of -1/9 in z 10.538 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 5)) 1/3) in z 10.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 5))))) in z 10.538 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 5)))) in z 10.538 * [taylor]: Taking taylor expansion of 1/3 in z 10.538 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 5))) in z 10.538 * [taylor]: Taking taylor expansion of (/ -1 (pow z 5)) in z 10.538 * [taylor]: Taking taylor expansion of -1 in z 10.538 * [taylor]: Taking taylor expansion of (pow z 5) in z 10.538 * [taylor]: Taking taylor expansion of z in z 10.542 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in (x z) around 0 10.543 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in z 10.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in z 10.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in z 10.543 * [taylor]: Taking taylor expansion of 1/3 in z 10.543 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in z 10.543 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.543 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.543 * [taylor]: Taking taylor expansion of x in z 10.543 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.543 * [taylor]: Taking taylor expansion of z in z 10.545 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x 10.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x 10.545 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x 10.545 * [taylor]: Taking taylor expansion of 1/3 in x 10.545 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 10.545 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.545 * [taylor]: Taking taylor expansion of x in x 10.545 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.545 * [taylor]: Taking taylor expansion of z in x 10.546 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x 10.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x 10.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x 10.546 * [taylor]: Taking taylor expansion of 1/3 in x 10.546 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 10.546 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.546 * [taylor]: Taking taylor expansion of x in x 10.546 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.546 * [taylor]: Taking taylor expansion of z in x 10.547 * [taylor]: Taking taylor expansion of (pow x -1/3) in z 10.547 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in z 10.547 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in z 10.547 * [taylor]: Taking taylor expansion of -1/3 in z 10.547 * [taylor]: Taking taylor expansion of (log x) in z 10.548 * [taylor]: Taking taylor expansion of x in z 10.549 * [taylor]: Taking taylor expansion of (* -1/3 (* (pow (/ 1 x) 1/3) (/ 1 z))) in z 10.549 * [taylor]: Taking taylor expansion of -1/3 in z 10.549 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 z)) in z 10.549 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 10.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 10.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 10.549 * [taylor]: Taking taylor expansion of 1/3 in z 10.549 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 10.549 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.549 * [taylor]: Taking taylor expansion of x in z 10.550 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.550 * [taylor]: Taking taylor expansion of z in z 10.557 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 x) 1/3) (/ 1 (pow z 2)))) in z 10.557 * [taylor]: Taking taylor expansion of -1/9 in z 10.557 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 (pow z 2))) in z 10.557 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 10.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 10.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 10.557 * [taylor]: Taking taylor expansion of 1/3 in z 10.557 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 10.557 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.557 * [taylor]: Taking taylor expansion of x in z 10.557 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 10.557 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.557 * [taylor]: Taking taylor expansion of z in z 10.576 * [taylor]: Taking taylor expansion of (* -5/81 (* (pow (/ 1 x) 1/3) (/ 1 (pow z 3)))) in z 10.576 * [taylor]: Taking taylor expansion of -5/81 in z 10.576 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 (pow z 3))) in z 10.576 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 10.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 10.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 10.577 * [taylor]: Taking taylor expansion of 1/3 in z 10.577 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 10.577 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.577 * [taylor]: Taking taylor expansion of x in z 10.577 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 10.577 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.577 * [taylor]: Taking taylor expansion of z in z 10.592 * [approximate]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in (x z) around 0 10.592 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in z 10.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in z 10.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in z 10.592 * [taylor]: Taking taylor expansion of 1/3 in z 10.592 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in z 10.592 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.592 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.592 * [taylor]: Taking taylor expansion of z in z 10.593 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.593 * [taylor]: Taking taylor expansion of x in z 10.593 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x 10.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x 10.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x 10.593 * [taylor]: Taking taylor expansion of 1/3 in x 10.594 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 10.594 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.594 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.594 * [taylor]: Taking taylor expansion of z in x 10.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.594 * [taylor]: Taking taylor expansion of x in x 10.596 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x 10.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x 10.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x 10.596 * [taylor]: Taking taylor expansion of 1/3 in x 10.596 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 10.596 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.596 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.596 * [taylor]: Taking taylor expansion of z in x 10.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.596 * [taylor]: Taking taylor expansion of x in x 10.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 10.598 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 10.598 * [taylor]: Taking taylor expansion of 1/3 in z 10.598 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 10.598 * [taylor]: Taking taylor expansion of (log -1) in z 10.598 * [taylor]: Taking taylor expansion of -1 in z 10.598 * [taylor]: Taking taylor expansion of (log x) in z 10.598 * [taylor]: Taking taylor expansion of x in z 10.602 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log -1) (log x)))) z)) in z 10.602 * [taylor]: Taking taylor expansion of -1/3 in z 10.602 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) z) in z 10.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 10.602 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 10.602 * [taylor]: Taking taylor expansion of 1/3 in z 10.602 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 10.602 * [taylor]: Taking taylor expansion of (log -1) in z 10.602 * [taylor]: Taking taylor expansion of -1 in z 10.602 * [taylor]: Taking taylor expansion of (log x) in z 10.603 * [taylor]: Taking taylor expansion of x in z 10.603 * [taylor]: Taking taylor expansion of z in z 10.615 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 2))) in z 10.615 * [taylor]: Taking taylor expansion of -1/9 in z 10.615 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 2)) in z 10.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 10.615 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 10.615 * [taylor]: Taking taylor expansion of 1/3 in z 10.615 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 10.615 * [taylor]: Taking taylor expansion of (log -1) in z 10.615 * [taylor]: Taking taylor expansion of -1 in z 10.616 * [taylor]: Taking taylor expansion of (log x) in z 10.616 * [taylor]: Taking taylor expansion of x in z 10.616 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.616 * [taylor]: Taking taylor expansion of z in z 10.651 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 3))) in z 10.651 * [taylor]: Taking taylor expansion of -5/81 in z 10.651 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 3)) in z 10.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 10.651 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 10.651 * [taylor]: Taking taylor expansion of 1/3 in z 10.651 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 10.651 * [taylor]: Taking taylor expansion of (log -1) in z 10.651 * [taylor]: Taking taylor expansion of -1 in z 10.651 * [taylor]: Taking taylor expansion of (log x) in z 10.651 * [taylor]: Taking taylor expansion of x in z 10.652 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.652 * [taylor]: Taking taylor expansion of z in z 10.676 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2) 10.676 * [approximate]: Taking taylor expansion of (pow (- x z) 1/3) in (x z) around 0 10.676 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in z 10.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in z 10.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in z 10.676 * [taylor]: Taking taylor expansion of 1/3 in z 10.676 * [taylor]: Taking taylor expansion of (log (- x z)) in z 10.676 * [taylor]: Taking taylor expansion of (- x z) in z 10.676 * [taylor]: Taking taylor expansion of x in z 10.676 * [taylor]: Taking taylor expansion of z in z 10.677 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x 10.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x 10.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x 10.677 * [taylor]: Taking taylor expansion of 1/3 in x 10.677 * [taylor]: Taking taylor expansion of (log (- x z)) in x 10.677 * [taylor]: Taking taylor expansion of (- x z) in x 10.677 * [taylor]: Taking taylor expansion of x in x 10.677 * [taylor]: Taking taylor expansion of z in x 10.677 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x 10.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x 10.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x 10.677 * [taylor]: Taking taylor expansion of 1/3 in x 10.677 * [taylor]: Taking taylor expansion of (log (- x z)) in x 10.677 * [taylor]: Taking taylor expansion of (- x z) in x 10.677 * [taylor]: Taking taylor expansion of x in x 10.677 * [taylor]: Taking taylor expansion of z in x 10.677 * [taylor]: Taking taylor expansion of (pow (- z) 1/3) in z 10.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- z)))) in z 10.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (- z))) in z 10.678 * [taylor]: Taking taylor expansion of 1/3 in z 10.678 * [taylor]: Taking taylor expansion of (log (- z)) in z 10.678 * [taylor]: Taking taylor expansion of (- z) in z 10.678 * [taylor]: Taking taylor expansion of z in z 10.682 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow z 2)) 1/3)) in z 10.682 * [taylor]: Taking taylor expansion of -1/3 in z 10.682 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 2)) 1/3) in z 10.682 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 2))))) in z 10.682 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 2)))) in z 10.682 * [taylor]: Taking taylor expansion of 1/3 in z 10.682 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 2))) in z 10.682 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 10.682 * [taylor]: Taking taylor expansion of -1 in z 10.682 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.682 * [taylor]: Taking taylor expansion of z in z 10.690 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow z 5)) 1/3)) in z 10.690 * [taylor]: Taking taylor expansion of -1/9 in z 10.690 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 5)) 1/3) in z 10.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 5))))) in z 10.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 5)))) in z 10.690 * [taylor]: Taking taylor expansion of 1/3 in z 10.690 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 5))) in z 10.690 * [taylor]: Taking taylor expansion of (/ -1 (pow z 5)) in z 10.690 * [taylor]: Taking taylor expansion of -1 in z 10.690 * [taylor]: Taking taylor expansion of (pow z 5) in z 10.690 * [taylor]: Taking taylor expansion of z in z 10.694 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in (x z) around 0 10.694 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in z 10.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in z 10.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in z 10.694 * [taylor]: Taking taylor expansion of 1/3 in z 10.694 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in z 10.694 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.694 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.694 * [taylor]: Taking taylor expansion of x in z 10.694 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.694 * [taylor]: Taking taylor expansion of z in z 10.696 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x 10.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x 10.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x 10.697 * [taylor]: Taking taylor expansion of 1/3 in x 10.697 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 10.697 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.697 * [taylor]: Taking taylor expansion of x in x 10.697 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.697 * [taylor]: Taking taylor expansion of z in x 10.698 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x 10.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x 10.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x 10.698 * [taylor]: Taking taylor expansion of 1/3 in x 10.698 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 10.698 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.698 * [taylor]: Taking taylor expansion of x in x 10.698 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.698 * [taylor]: Taking taylor expansion of z in x 10.699 * [taylor]: Taking taylor expansion of (pow x -1/3) in z 10.699 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in z 10.699 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in z 10.699 * [taylor]: Taking taylor expansion of -1/3 in z 10.699 * [taylor]: Taking taylor expansion of (log x) in z 10.699 * [taylor]: Taking taylor expansion of x in z 10.701 * [taylor]: Taking taylor expansion of (* -1/3 (* (pow (/ 1 x) 1/3) (/ 1 z))) in z 10.701 * [taylor]: Taking taylor expansion of -1/3 in z 10.701 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 z)) in z 10.701 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 10.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 10.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 10.701 * [taylor]: Taking taylor expansion of 1/3 in z 10.701 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 10.701 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.701 * [taylor]: Taking taylor expansion of x in z 10.701 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.701 * [taylor]: Taking taylor expansion of z in z 10.709 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 x) 1/3) (/ 1 (pow z 2)))) in z 10.709 * [taylor]: Taking taylor expansion of -1/9 in z 10.709 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 (pow z 2))) in z 10.709 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 10.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 10.709 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 10.709 * [taylor]: Taking taylor expansion of 1/3 in z 10.709 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 10.709 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.709 * [taylor]: Taking taylor expansion of x in z 10.709 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 10.709 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.709 * [taylor]: Taking taylor expansion of z in z 10.732 * [taylor]: Taking taylor expansion of (* -5/81 (* (pow (/ 1 x) 1/3) (/ 1 (pow z 3)))) in z 10.732 * [taylor]: Taking taylor expansion of -5/81 in z 10.732 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 (pow z 3))) in z 10.732 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 10.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 10.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 10.733 * [taylor]: Taking taylor expansion of 1/3 in z 10.733 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 10.733 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.733 * [taylor]: Taking taylor expansion of x in z 10.733 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 10.733 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.733 * [taylor]: Taking taylor expansion of z in z 10.748 * [approximate]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in (x z) around 0 10.748 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in z 10.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in z 10.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in z 10.748 * [taylor]: Taking taylor expansion of 1/3 in z 10.748 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in z 10.748 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.748 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.748 * [taylor]: Taking taylor expansion of z in z 10.748 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.748 * [taylor]: Taking taylor expansion of x in z 10.749 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x 10.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x 10.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x 10.749 * [taylor]: Taking taylor expansion of 1/3 in x 10.749 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 10.749 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.749 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.749 * [taylor]: Taking taylor expansion of z in x 10.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.749 * [taylor]: Taking taylor expansion of x in x 10.752 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x 10.752 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x 10.752 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x 10.752 * [taylor]: Taking taylor expansion of 1/3 in x 10.752 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 10.752 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.752 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.752 * [taylor]: Taking taylor expansion of z in x 10.752 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.752 * [taylor]: Taking taylor expansion of x in x 10.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 10.754 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 10.754 * [taylor]: Taking taylor expansion of 1/3 in z 10.754 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 10.754 * [taylor]: Taking taylor expansion of (log -1) in z 10.754 * [taylor]: Taking taylor expansion of -1 in z 10.754 * [taylor]: Taking taylor expansion of (log x) in z 10.754 * [taylor]: Taking taylor expansion of x in z 10.758 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log -1) (log x)))) z)) in z 10.758 * [taylor]: Taking taylor expansion of -1/3 in z 10.758 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) z) in z 10.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 10.758 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 10.758 * [taylor]: Taking taylor expansion of 1/3 in z 10.758 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 10.758 * [taylor]: Taking taylor expansion of (log -1) in z 10.758 * [taylor]: Taking taylor expansion of -1 in z 10.758 * [taylor]: Taking taylor expansion of (log x) in z 10.758 * [taylor]: Taking taylor expansion of x in z 10.759 * [taylor]: Taking taylor expansion of z in z 10.772 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 2))) in z 10.772 * [taylor]: Taking taylor expansion of -1/9 in z 10.772 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 2)) in z 10.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 10.772 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 10.772 * [taylor]: Taking taylor expansion of 1/3 in z 10.772 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 10.772 * [taylor]: Taking taylor expansion of (log -1) in z 10.772 * [taylor]: Taking taylor expansion of -1 in z 10.773 * [taylor]: Taking taylor expansion of (log x) in z 10.773 * [taylor]: Taking taylor expansion of x in z 10.774 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.774 * [taylor]: Taking taylor expansion of z in z 10.802 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 3))) in z 10.802 * [taylor]: Taking taylor expansion of -5/81 in z 10.802 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 3)) in z 10.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 10.802 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 10.802 * [taylor]: Taking taylor expansion of 1/3 in z 10.802 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 10.802 * [taylor]: Taking taylor expansion of (log -1) in z 10.802 * [taylor]: Taking taylor expansion of -1 in z 10.803 * [taylor]: Taking taylor expansion of (log x) in z 10.803 * [taylor]: Taking taylor expansion of x in z 10.804 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.804 * [taylor]: Taking taylor expansion of z in z 10.832 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 10.832 * [approximate]: Taking taylor expansion of (pow (- x z) 1/3) in (x z) around 0 10.832 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in z 10.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in z 10.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in z 10.832 * [taylor]: Taking taylor expansion of 1/3 in z 10.832 * [taylor]: Taking taylor expansion of (log (- x z)) in z 10.832 * [taylor]: Taking taylor expansion of (- x z) in z 10.832 * [taylor]: Taking taylor expansion of x in z 10.832 * [taylor]: Taking taylor expansion of z in z 10.832 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x 10.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x 10.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x 10.832 * [taylor]: Taking taylor expansion of 1/3 in x 10.832 * [taylor]: Taking taylor expansion of (log (- x z)) in x 10.832 * [taylor]: Taking taylor expansion of (- x z) in x 10.832 * [taylor]: Taking taylor expansion of x in x 10.832 * [taylor]: Taking taylor expansion of z in x 10.833 * [taylor]: Taking taylor expansion of (pow (- x z) 1/3) in x 10.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x z)))) in x 10.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x z))) in x 10.833 * [taylor]: Taking taylor expansion of 1/3 in x 10.833 * [taylor]: Taking taylor expansion of (log (- x z)) in x 10.833 * [taylor]: Taking taylor expansion of (- x z) in x 10.833 * [taylor]: Taking taylor expansion of x in x 10.833 * [taylor]: Taking taylor expansion of z in x 10.833 * [taylor]: Taking taylor expansion of (pow (- z) 1/3) in z 10.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- z)))) in z 10.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (- z))) in z 10.833 * [taylor]: Taking taylor expansion of 1/3 in z 10.833 * [taylor]: Taking taylor expansion of (log (- z)) in z 10.833 * [taylor]: Taking taylor expansion of (- z) in z 10.833 * [taylor]: Taking taylor expansion of z in z 10.837 * [taylor]: Taking taylor expansion of (* -1/3 (pow (/ -1 (pow z 2)) 1/3)) in z 10.837 * [taylor]: Taking taylor expansion of -1/3 in z 10.837 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 2)) 1/3) in z 10.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 2))))) in z 10.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 2)))) in z 10.837 * [taylor]: Taking taylor expansion of 1/3 in z 10.837 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 2))) in z 10.837 * [taylor]: Taking taylor expansion of (/ -1 (pow z 2)) in z 10.837 * [taylor]: Taking taylor expansion of -1 in z 10.837 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.837 * [taylor]: Taking taylor expansion of z in z 10.845 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ -1 (pow z 5)) 1/3)) in z 10.845 * [taylor]: Taking taylor expansion of -1/9 in z 10.845 * [taylor]: Taking taylor expansion of (pow (/ -1 (pow z 5)) 1/3) in z 10.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 (pow z 5))))) in z 10.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 (pow z 5)))) in z 10.845 * [taylor]: Taking taylor expansion of 1/3 in z 10.845 * [taylor]: Taking taylor expansion of (log (/ -1 (pow z 5))) in z 10.845 * [taylor]: Taking taylor expansion of (/ -1 (pow z 5)) in z 10.845 * [taylor]: Taking taylor expansion of -1 in z 10.845 * [taylor]: Taking taylor expansion of (pow z 5) in z 10.845 * [taylor]: Taking taylor expansion of z in z 10.849 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in (x z) around 0 10.849 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in z 10.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in z 10.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in z 10.849 * [taylor]: Taking taylor expansion of 1/3 in z 10.849 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in z 10.850 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 10.850 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.850 * [taylor]: Taking taylor expansion of x in z 10.850 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.850 * [taylor]: Taking taylor expansion of z in z 10.852 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x 10.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x 10.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x 10.852 * [taylor]: Taking taylor expansion of 1/3 in x 10.852 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 10.852 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.852 * [taylor]: Taking taylor expansion of x in x 10.852 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.852 * [taylor]: Taking taylor expansion of z in x 10.853 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 1/3) in x 10.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) (/ 1 z))))) in x 10.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) (/ 1 z)))) in x 10.853 * [taylor]: Taking taylor expansion of 1/3 in x 10.853 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) (/ 1 z))) in x 10.853 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 10.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.853 * [taylor]: Taking taylor expansion of x in x 10.853 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.853 * [taylor]: Taking taylor expansion of z in x 10.854 * [taylor]: Taking taylor expansion of (pow x -1/3) in z 10.854 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in z 10.854 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in z 10.854 * [taylor]: Taking taylor expansion of -1/3 in z 10.854 * [taylor]: Taking taylor expansion of (log x) in z 10.854 * [taylor]: Taking taylor expansion of x in z 10.856 * [taylor]: Taking taylor expansion of (* -1/3 (* (pow (/ 1 x) 1/3) (/ 1 z))) in z 10.856 * [taylor]: Taking taylor expansion of -1/3 in z 10.856 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 z)) in z 10.856 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 10.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 10.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 10.856 * [taylor]: Taking taylor expansion of 1/3 in z 10.856 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 10.856 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.856 * [taylor]: Taking taylor expansion of x in z 10.856 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.856 * [taylor]: Taking taylor expansion of z in z 10.864 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 x) 1/3) (/ 1 (pow z 2)))) in z 10.864 * [taylor]: Taking taylor expansion of -1/9 in z 10.864 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 (pow z 2))) in z 10.864 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 10.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 10.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 10.865 * [taylor]: Taking taylor expansion of 1/3 in z 10.865 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 10.865 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.865 * [taylor]: Taking taylor expansion of x in z 10.865 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 10.865 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.865 * [taylor]: Taking taylor expansion of z in z 10.883 * [taylor]: Taking taylor expansion of (* -5/81 (* (pow (/ 1 x) 1/3) (/ 1 (pow z 3)))) in z 10.883 * [taylor]: Taking taylor expansion of -5/81 in z 10.883 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (/ 1 (pow z 3))) in z 10.883 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in z 10.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in z 10.883 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in z 10.883 * [taylor]: Taking taylor expansion of 1/3 in z 10.883 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 10.883 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.883 * [taylor]: Taking taylor expansion of x in z 10.883 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 10.883 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.883 * [taylor]: Taking taylor expansion of z in z 10.903 * [approximate]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in (x z) around 0 10.903 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in z 10.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in z 10.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in z 10.903 * [taylor]: Taking taylor expansion of 1/3 in z 10.903 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in z 10.903 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 10.903 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.903 * [taylor]: Taking taylor expansion of z in z 10.903 * [taylor]: Taking taylor expansion of (/ 1 x) in z 10.903 * [taylor]: Taking taylor expansion of x in z 10.904 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x 10.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x 10.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x 10.905 * [taylor]: Taking taylor expansion of 1/3 in x 10.905 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 10.905 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.905 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.905 * [taylor]: Taking taylor expansion of z in x 10.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.905 * [taylor]: Taking taylor expansion of x in x 10.907 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 1/3) in x 10.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 z) (/ 1 x))))) in x 10.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 z) (/ 1 x)))) in x 10.907 * [taylor]: Taking taylor expansion of 1/3 in x 10.907 * [taylor]: Taking taylor expansion of (log (- (/ 1 z) (/ 1 x))) in x 10.907 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 10.907 * [taylor]: Taking taylor expansion of (/ 1 z) in x 10.907 * [taylor]: Taking taylor expansion of z in x 10.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.907 * [taylor]: Taking taylor expansion of x in x 10.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 10.909 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 10.909 * [taylor]: Taking taylor expansion of 1/3 in z 10.910 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 10.910 * [taylor]: Taking taylor expansion of (log -1) in z 10.910 * [taylor]: Taking taylor expansion of -1 in z 10.910 * [taylor]: Taking taylor expansion of (log x) in z 10.910 * [taylor]: Taking taylor expansion of x in z 10.914 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log -1) (log x)))) z)) in z 10.914 * [taylor]: Taking taylor expansion of -1/3 in z 10.914 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) z) in z 10.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 10.914 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 10.914 * [taylor]: Taking taylor expansion of 1/3 in z 10.914 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 10.914 * [taylor]: Taking taylor expansion of (log -1) in z 10.914 * [taylor]: Taking taylor expansion of -1 in z 10.914 * [taylor]: Taking taylor expansion of (log x) in z 10.914 * [taylor]: Taking taylor expansion of x in z 10.915 * [taylor]: Taking taylor expansion of z in z 10.927 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 2))) in z 10.927 * [taylor]: Taking taylor expansion of -1/9 in z 10.927 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 2)) in z 10.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 10.927 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 10.927 * [taylor]: Taking taylor expansion of 1/3 in z 10.927 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 10.927 * [taylor]: Taking taylor expansion of (log -1) in z 10.927 * [taylor]: Taking taylor expansion of -1 in z 10.927 * [taylor]: Taking taylor expansion of (log x) in z 10.927 * [taylor]: Taking taylor expansion of x in z 10.928 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.928 * [taylor]: Taking taylor expansion of z in z 10.958 * [taylor]: Taking taylor expansion of (* -5/81 (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 3))) in z 10.958 * [taylor]: Taking taylor expansion of -5/81 in z 10.958 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log -1) (log x)))) (pow z 3)) in z 10.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log -1) (log x)))) in z 10.958 * [taylor]: Taking taylor expansion of (* 1/3 (- (log -1) (log x))) in z 10.959 * [taylor]: Taking taylor expansion of 1/3 in z 10.959 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in z 10.959 * [taylor]: Taking taylor expansion of (log -1) in z 10.959 * [taylor]: Taking taylor expansion of -1 in z 10.959 * [taylor]: Taking taylor expansion of (log x) in z 10.959 * [taylor]: Taking taylor expansion of x in z 10.960 * [taylor]: Taking taylor expansion of (pow z 3) in z 10.960 * [taylor]: Taking taylor expansion of z in z 10.983 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 10.983 * [approximate]: Taking taylor expansion of (pow (pow (- x z) 2) 1/3) in (x z) around 0 10.983 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 2) 1/3) in z 10.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- x z) 2)))) in z 10.983 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- x z) 2))) in z 10.983 * [taylor]: Taking taylor expansion of 1/3 in z 10.983 * [taylor]: Taking taylor expansion of (log (pow (- x z) 2)) in z 10.983 * [taylor]: Taking taylor expansion of (pow (- x z) 2) in z 10.983 * [taylor]: Taking taylor expansion of (- x z) in z 10.983 * [taylor]: Taking taylor expansion of x in z 10.983 * [taylor]: Taking taylor expansion of z in z 10.984 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 2) 1/3) in x 10.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- x z) 2)))) in x 10.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- x z) 2))) in x 10.984 * [taylor]: Taking taylor expansion of 1/3 in x 10.984 * [taylor]: Taking taylor expansion of (log (pow (- x z) 2)) in x 10.984 * [taylor]: Taking taylor expansion of (pow (- x z) 2) in x 10.984 * [taylor]: Taking taylor expansion of (- x z) in x 10.984 * [taylor]: Taking taylor expansion of x in x 10.984 * [taylor]: Taking taylor expansion of z in x 10.984 * [taylor]: Taking taylor expansion of (pow (pow (- x z) 2) 1/3) in x 10.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- x z) 2)))) in x 10.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- x z) 2))) in x 10.985 * [taylor]: Taking taylor expansion of 1/3 in x 10.985 * [taylor]: Taking taylor expansion of (log (pow (- x z) 2)) in x 10.985 * [taylor]: Taking taylor expansion of (pow (- x z) 2) in x 10.985 * [taylor]: Taking taylor expansion of (- x z) in x 10.985 * [taylor]: Taking taylor expansion of x in x 10.985 * [taylor]: Taking taylor expansion of z in x 10.985 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 10.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 10.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 10.985 * [taylor]: Taking taylor expansion of 1/3 in z 10.985 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 10.985 * [taylor]: Taking taylor expansion of (pow z 2) in z 10.985 * [taylor]: Taking taylor expansion of z in z 10.987 * [taylor]: Taking taylor expansion of (* -2/3 (pow (/ 1 z) 1/3)) in z 10.987 * [taylor]: Taking taylor expansion of -2/3 in z 10.987 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 10.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 10.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 10.987 * [taylor]: Taking taylor expansion of 1/3 in z 10.987 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 10.987 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.987 * [taylor]: Taking taylor expansion of z in z 10.997 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow z 4)) 1/3)) in z 10.997 * [taylor]: Taking taylor expansion of -1/9 in z 10.997 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 4)) 1/3) in z 10.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 4))))) in z 10.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 4)))) in z 10.997 * [taylor]: Taking taylor expansion of 1/3 in z 10.997 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 4))) in z 10.997 * [taylor]: Taking taylor expansion of (/ 1 (pow z 4)) in z 10.997 * [taylor]: Taking taylor expansion of (pow z 4) in z 10.997 * [taylor]: Taking taylor expansion of z in z 11.000 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 2) 1/3) in (x z) around 0 11.000 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 2) 1/3) in z 11.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2)))) in z 11.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2))) in z 11.000 * [taylor]: Taking taylor expansion of 1/3 in z 11.000 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 2)) in z 11.000 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 2) in z 11.000 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 11.000 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.000 * [taylor]: Taking taylor expansion of x in z 11.000 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.000 * [taylor]: Taking taylor expansion of z in z 11.002 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 2) 1/3) in x 11.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2)))) in x 11.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2))) in x 11.002 * [taylor]: Taking taylor expansion of 1/3 in x 11.002 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 2)) in x 11.002 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 2) in x 11.002 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.002 * [taylor]: Taking taylor expansion of x in x 11.002 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.002 * [taylor]: Taking taylor expansion of z in x 11.003 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) (/ 1 z)) 2) 1/3) in x 11.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2)))) in x 11.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) (/ 1 z)) 2))) in x 11.003 * [taylor]: Taking taylor expansion of 1/3 in x 11.003 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) (/ 1 z)) 2)) in x 11.003 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) (/ 1 z)) 2) in x 11.003 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 11.003 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.003 * [taylor]: Taking taylor expansion of x in x 11.004 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.004 * [taylor]: Taking taylor expansion of z in x 11.005 * [taylor]: Taking taylor expansion of (pow x -2/3) in z 11.005 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log x))) in z 11.005 * [taylor]: Taking taylor expansion of (* -2/3 (log x)) in z 11.005 * [taylor]: Taking taylor expansion of -2/3 in z 11.005 * [taylor]: Taking taylor expansion of (log x) in z 11.005 * [taylor]: Taking taylor expansion of x in z 11.007 * [taylor]: Taking taylor expansion of (* -2/3 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 z))) in z 11.007 * [taylor]: Taking taylor expansion of -2/3 in z 11.007 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 z)) in z 11.007 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 11.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 11.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 11.007 * [taylor]: Taking taylor expansion of 1/3 in z 11.007 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 11.007 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 11.007 * [taylor]: Taking taylor expansion of (pow x 2) in z 11.007 * [taylor]: Taking taylor expansion of x in z 11.008 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.008 * [taylor]: Taking taylor expansion of z in z 11.016 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 2)))) in z 11.016 * [taylor]: Taking taylor expansion of -1/9 in z 11.016 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 2))) in z 11.016 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 11.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 11.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 11.016 * [taylor]: Taking taylor expansion of 1/3 in z 11.016 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 11.016 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 11.016 * [taylor]: Taking taylor expansion of (pow x 2) in z 11.016 * [taylor]: Taking taylor expansion of x in z 11.016 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.016 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.016 * [taylor]: Taking taylor expansion of z in z 11.036 * [taylor]: Taking taylor expansion of (* -4/81 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 3)))) in z 11.037 * [taylor]: Taking taylor expansion of -4/81 in z 11.037 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 3))) in z 11.037 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 11.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 11.037 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 11.037 * [taylor]: Taking taylor expansion of 1/3 in z 11.037 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 11.037 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 11.037 * [taylor]: Taking taylor expansion of (pow x 2) in z 11.037 * [taylor]: Taking taylor expansion of x in z 11.037 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 11.037 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.037 * [taylor]: Taking taylor expansion of z in z 11.055 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 2) 1/3) in (x z) around 0 11.055 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 2) 1/3) in z 11.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2)))) in z 11.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2))) in z 11.055 * [taylor]: Taking taylor expansion of 1/3 in z 11.055 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 2)) in z 11.056 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 2) in z 11.056 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 11.056 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.056 * [taylor]: Taking taylor expansion of z in z 11.056 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.056 * [taylor]: Taking taylor expansion of x in z 11.057 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 2) 1/3) in x 11.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2)))) in x 11.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2))) in x 11.057 * [taylor]: Taking taylor expansion of 1/3 in x 11.057 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 2)) in x 11.057 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 2) in x 11.057 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.057 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.057 * [taylor]: Taking taylor expansion of z in x 11.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.057 * [taylor]: Taking taylor expansion of x in x 11.059 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 z) (/ 1 x)) 2) 1/3) in x 11.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2)))) in x 11.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 z) (/ 1 x)) 2))) in x 11.059 * [taylor]: Taking taylor expansion of 1/3 in x 11.059 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 z) (/ 1 x)) 2)) in x 11.059 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 2) in x 11.059 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 11.059 * [taylor]: Taking taylor expansion of (/ 1 z) in x 11.059 * [taylor]: Taking taylor expansion of z in x 11.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.059 * [taylor]: Taking taylor expansion of x in x 11.061 * [taylor]: Taking taylor expansion of (pow x -2/3) in z 11.061 * [taylor]: Taking taylor expansion of (exp (* -2/3 (log x))) in z 11.061 * [taylor]: Taking taylor expansion of (* -2/3 (log x)) in z 11.061 * [taylor]: Taking taylor expansion of -2/3 in z 11.061 * [taylor]: Taking taylor expansion of (log x) in z 11.061 * [taylor]: Taking taylor expansion of x in z 11.063 * [taylor]: Taking taylor expansion of (* -2/3 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 z))) in z 11.063 * [taylor]: Taking taylor expansion of -2/3 in z 11.063 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 z)) in z 11.063 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 11.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 11.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 11.063 * [taylor]: Taking taylor expansion of 1/3 in z 11.063 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 11.063 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 11.063 * [taylor]: Taking taylor expansion of (pow x 2) in z 11.063 * [taylor]: Taking taylor expansion of x in z 11.064 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.064 * [taylor]: Taking taylor expansion of z in z 11.072 * [taylor]: Taking taylor expansion of (* -1/9 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 2)))) in z 11.072 * [taylor]: Taking taylor expansion of -1/9 in z 11.072 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 2))) in z 11.072 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 11.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 11.072 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 11.072 * [taylor]: Taking taylor expansion of 1/3 in z 11.072 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 11.072 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 11.072 * [taylor]: Taking taylor expansion of (pow x 2) in z 11.072 * [taylor]: Taking taylor expansion of x in z 11.072 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 11.072 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.072 * [taylor]: Taking taylor expansion of z in z 11.097 * [taylor]: Taking taylor expansion of (* -4/81 (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 3)))) in z 11.097 * [taylor]: Taking taylor expansion of -4/81 in z 11.097 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (/ 1 (pow z 3))) in z 11.097 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in z 11.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in z 11.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in z 11.097 * [taylor]: Taking taylor expansion of 1/3 in z 11.097 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 11.097 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 11.097 * [taylor]: Taking taylor expansion of (pow x 2) in z 11.097 * [taylor]: Taking taylor expansion of x in z 11.098 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 11.098 * [taylor]: Taking taylor expansion of (pow z 3) in z 11.098 * [taylor]: Taking taylor expansion of z in z 11.115 * * * [progress]: simplifying candidates 11.117 * [simplify]: Simplifying using # : (log (cbrt (- x z))) (exp (cbrt (- x z))) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (cbrt (- x z))) (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))) (cbrt 1) (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))) (cbrt 1) (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))) (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (- (* x x) (* z z))) (cbrt (+ x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z))) (* (* (cbrt (- x z)) (cbrt (- x z))) (cbrt (- x z))) (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))) (log (cbrt (- x z))) (exp (cbrt (- x z))) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (cbrt (- x z))) (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))) (cbrt 1) (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))) (cbrt 1) (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))) (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (- (* x x) (* z z))) (cbrt (+ x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z))) (* (* (cbrt (- x z)) (cbrt (- x z))) (cbrt (- x z))) (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))) (log (cbrt (- x z))) (exp (cbrt (- x z))) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (cbrt (- x z))) (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))) (cbrt 1) (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))) (cbrt 1) (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))) (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (- (* x x) (* z z))) (cbrt (+ x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z))) (* (* (cbrt (- x z)) (cbrt (- x z))) (cbrt (- x z))) (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))) (+ 1/3 1/3) (+ 1 1) (* (- x z) (- x z)) (* (cbrt (- x z)) (cbrt (- x z))) (+ 1 1) (+ (log (cbrt (- x z))) (log (cbrt (- x z)))) (log (* (cbrt (- x z)) (cbrt (- x z)))) (exp (* (cbrt (- x z)) (cbrt (- x z)))) (* (- x z) (- x z)) (* (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (* (cbrt (- x z)) (cbrt (- x z))))) (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (* (* (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (- x z)))) (* (cbrt (- x z)) (cbrt (- x z)))) (sqrt (* (cbrt (- x z)) (cbrt (- x z)))) (sqrt (* (cbrt (- x z)) (cbrt (- x z)))) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (pow x 3) (pow z 3)))) (* (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (+ (* x x) (+ (* z z) (* x z))))) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (* x x) (* z z)))) (* (cbrt (+ (* x x) (+ (* z z) (* x z)))) (cbrt (+ x z))) (* (cbrt (- (* x x) (* z z))) (cbrt (- (pow x 3) (pow z 3)))) (* (cbrt (+ x z)) (cbrt (+ (* x x) (+ (* z z) (* x z))))) (* (cbrt (- (* x x) (* z z))) (cbrt (- (* x x) (* z z)))) (* (cbrt (+ x z)) (cbrt (+ x z))) (* (cbrt (* (cbrt (- x z)) (cbrt (- x z)))) (cbrt (* (cbrt (- x z)) (cbrt (- x z))))) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (+ (sqrt x) (sqrt z))) (cbrt (+ (sqrt x) (sqrt z)))) (* (cbrt (- (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt 1) (cbrt 1)) (* (cbrt (- x z)) (cbrt (- x z))) (* (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (* (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z)))) (* (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z)))) (* 1 1) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z)))) (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z)))) (* (sqrt (cbrt (- x z))) (cbrt (sqrt (- x z)))) (* (sqrt (cbrt (- x z))) (cbrt (sqrt (- x z)))) (* (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z)))) (* (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z)))) (* 2 1/3) (* 2 1) (* (cbrt (- x z)) (cbrt (* (cbrt (- x z)) (cbrt (- x z))))) (* (cbrt (- x z)) (cbrt (sqrt (- x z)))) (* (cbrt (- x z)) (cbrt 1)) (* (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z)))) (* (cbrt (- x z)) (cbrt 1)) (* (cbrt (- x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z))))) (* (cbrt (- x z)) (sqrt (cbrt (- x z)))) (* (cbrt (- x z)) 1) (* (cbrt (cbrt (- x z))) (cbrt (- x z))) (* (cbrt (sqrt (- x z))) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- (sqrt x) (sqrt z))) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (cbrt (- x z))) (cbrt (- x z))) (* (sqrt (cbrt (- x z))) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3)))) (* (cbrt (- x z)) (cbrt (- (* x x) (* z z)))) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- x z))) (* (cbrt (- (* x x) (* z z))) (cbrt (- x z))) (- (exp (* 1/3 (+ (log z) (log -1)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log -1) (* 5 (log z))))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (* 2 (log z))))) x)))) (pow (/ 1 x) -1/3) (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (- (exp (* 1/3 (+ (log z) (log -1)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log -1) (* 5 (log z))))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (* 2 (log z))))) x)))) (pow (/ 1 x) -1/3) (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (- (exp (* 1/3 (+ (log z) (log -1)))) (+ (* 1/9 (* (pow x 2) (exp (* 1/3 (- (log -1) (* 5 (log z))))))) (* 1/3 (* (exp (* 1/3 (- (log -1) (* 2 (log z))))) x)))) (pow (/ 1 x) -1/3) (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (- (pow z 2/3) (+ (* 2/3 (* x (pow (/ 1 z) 1/3))) (* 1/9 (* (pow x 2) (pow (/ 1 (pow z 4)) 1/3))))) (pow (/ 1 x) -2/3) (pow (/ -1 x) -2/3) 11.122 * * [simplify]: iteration 0 : 131 enodes (cost 1384 ) 11.150 * * [simplify]: iteration 1 : 261 enodes (cost 1293 ) 11.207 * * [simplify]: iteration 2 : 624 enodes (cost 1223 ) 11.447 * * [simplify]: iteration 3 : 1566 enodes (cost 1130 ) 12.390 * * [simplify]: iteration 4 : 4453 enodes (cost 1080 ) 13.512 * * [simplify]: iteration done : 5000 enodes (cost 1080 ) 13.513 * [simplify]: Simplified to: (log (cbrt (- x z))) (exp (cbrt (- x z))) (cbrt (pow (sqrt (cbrt (- x z))) 4)) (cbrt (cbrt (- x z))) (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))) 1 (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))) 1 (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))) (cbrt (+ (* z (+ x z)) (pow x 2))) (cbrt (- (* x x) (* z z))) (cbrt (+ x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z))) (- x z) (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))) (log (cbrt (- x z))) (exp (cbrt (- x z))) (cbrt (pow (sqrt (cbrt (- x z))) 4)) (cbrt (cbrt (- x z))) (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))) 1 (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))) 1 (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))) (cbrt (+ (* z (+ x z)) (pow x 2))) (cbrt (- (* x x) (* z z))) (cbrt (+ x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z))) (- x z) (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))) (log (cbrt (- x z))) (exp (cbrt (- x z))) (cbrt (pow (sqrt (cbrt (- x z))) 4)) (cbrt (cbrt (- x z))) (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z))) 1 (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z))) 1 (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3))) (cbrt (+ (* z (+ x z)) (pow x 2))) (cbrt (- (* x x) (* z z))) (cbrt (+ x z)) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (cbrt (- x z))) (- x z) (sqrt (cbrt (- x z))) (sqrt (cbrt (- x z))) 2/3 2 (pow (cbrt (- x z)) 6) (pow (sqrt (cbrt (- x z))) 4) 2 (* 2 (log (cbrt (- x z)))) (* 2 (log (cbrt (- x z)))) (exp (pow (sqrt (cbrt (- x z))) 4)) (pow (cbrt (- x z)) 6) (* (cbrt (pow (sqrt (cbrt (- x z))) 4)) (cbrt (pow (sqrt (cbrt (- x z))) 4))) (cbrt (pow (sqrt (cbrt (- x z))) 4)) (pow (cbrt (- x z)) 6) (fabs (cbrt (- x z))) (fabs (cbrt (- x z))) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (pow x 3) (pow z 3)))) (* (cbrt (+ (* z (+ x z)) (pow x 2))) (cbrt (+ (* z (+ x z)) (pow x 2)))) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (* x x) (* z z)))) (* (cbrt (+ (* z (+ x z)) (pow x 2))) (cbrt (+ x z))) (* (cbrt (- (pow x 3) (pow z 3))) (cbrt (- (* x x) (* z z)))) (* (cbrt (+ (* z (+ x z)) (pow x 2))) (cbrt (+ x z))) (* (cbrt (- (* x x) (* z z))) (cbrt (- (* x x) (* z z)))) (* (cbrt (+ x z)) (cbrt (+ x z))) (* (cbrt (pow (sqrt (cbrt (- x z))) 4)) (cbrt (pow (sqrt (cbrt (- x z))) 4))) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) 1 (pow (sqrt (cbrt (- x z))) 4) 1 (pow (sqrt (cbrt (- x z))) 4) (* (cbrt (+ (sqrt x) (sqrt z))) (cbrt (+ (sqrt x) (sqrt z)))) (* (cbrt (- (sqrt x) (sqrt z))) (cbrt (- (sqrt x) (sqrt z)))) 1 (pow (sqrt (cbrt (- x z))) 4) 1 (pow (sqrt (cbrt (- x z))) 4) (pow (cbrt (cbrt (- x z))) 4) (* (cbrt (cbrt (- x z))) (cbrt (cbrt (- x z)))) (cbrt (- x z)) (cbrt (- x z)) 1 (pow (sqrt (cbrt (- x z))) 4) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt (sqrt (- x z))) (cbrt (sqrt (- x z)))) (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z)))) (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z)))) (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z)))) (* (cbrt (sqrt (- x z))) (sqrt (cbrt (- x z)))) (cbrt (- x z)) (cbrt (- x z)) 2/3 2 (* (cbrt (pow (sqrt (cbrt (- x z))) 4)) (cbrt (- x z))) (* (cbrt (- x z)) (cbrt (sqrt (- x z)))) (cbrt (- x z)) (* (cbrt (- x z)) (cbrt (+ (sqrt x) (sqrt z)))) (cbrt (- x z)) (pow (cbrt (cbrt (- x z))) 5) (pow (sqrt (cbrt (- x z))) 3) (cbrt (- x z)) (pow (cbrt (cbrt (- x z))) 4) (* (cbrt (- x z)) (cbrt (sqrt (- x z)))) (pow (sqrt (cbrt (- x z))) 4) (* (cbrt (- (sqrt x) (sqrt z))) (cbrt (- x z))) (pow (sqrt (cbrt (- x z))) 4) (pow (cbrt (cbrt (- x z))) 4) (pow (sqrt (cbrt (- x z))) 3) (pow (sqrt (cbrt (- x z))) 4) (* (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3)))) (* (cbrt (- x z)) (cbrt (- (* x x) (* z z)))) (* (cbrt (- x z)) (cbrt (- (pow x 3) (pow z 3)))) (* (cbrt (- x z)) (cbrt (- (* x x) (* z z)))) (- (cbrt (* z -1)) (* x (+ (* (* 1/9 x) (* (cbrt -1) (pow z -5/3))) (* 1/3 (* (cbrt -1) (pow z -2/3)))))) (pow (/ 1 x) -1/3) (cbrt x) (- (cbrt (* z -1)) (* x (+ (* (* 1/9 x) (* (cbrt -1) (pow z -5/3))) (* 1/3 (* (cbrt -1) (pow z -2/3)))))) (pow (/ 1 x) -1/3) (cbrt x) (- (cbrt (* z -1)) (* x (+ (* (* 1/9 x) (* (cbrt -1) (pow z -5/3))) (* 1/3 (* (cbrt -1) (pow z -2/3)))))) (pow (/ 1 x) -1/3) (cbrt x) (+ (* x (- (* (cbrt (/ 1 z)) -2/3) (* 1/9 (* (cbrt (/ 1 (pow z 4))) x)))) (pow z 2/3)) (pow (/ 1 x) -2/3) (pow (/ -1 x) -2/3) 13.514 * * * [progress]: adding candidates to table 13.798 * [progress]: [Phase 3 of 3] Extracting. 13.798 * * [regime]: Finding splitpoints for: (# #) 13.799 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 13.799 * * * * [regimes]: Trying to branch on z from (# #) 13.811 * * * * [regimes]: Trying to branch on y from (# #) 13.825 * * * * [regimes]: Trying to branch on x from (# #) 13.838 * * * [regime]: Found split indices: #