9.094 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (/ (* x 2.0) (- (* y z) (* t z))) 0.022 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.023 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 0.026 * * [simplify]: iteration 2 : 44 enodes (cost 9 ) 0.031 * * [simplify]: iteration 3 : 81 enodes (cost 9 ) 0.040 * * [simplify]: iteration 4 : 125 enodes (cost 9 ) 0.055 * * [simplify]: iteration 5 : 165 enodes (cost 9 ) 0.077 * * [simplify]: iteration 6 : 194 enodes (cost 9 ) 0.102 * * [simplify]: iteration 7 : 205 enodes (cost 9 ) 0.128 * * [simplify]: iteration done : 205 enodes (cost 9 ) 0.128 * [simplify]: Simplified to: (/ (* x 2.0) (* z (- y t))) 0.131 * * [progress]: iteration 1 / 4 0.131 * * * [progress]: picking best candidate 0.134 * * * * [pick]: Picked # 0.134 * * * [progress]: localizing error 0.140 * * * [progress]: generating rewritten candidates 0.140 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.147 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.158 * * * [progress]: generating series expansions 0.159 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.159 * [approximate]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in (x z y t) around 0 0.159 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in t 0.159 * [taylor]: Taking taylor expansion of 2.0 in t 0.159 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in t 0.159 * [taylor]: Taking taylor expansion of x in t 0.159 * [taylor]: Taking taylor expansion of (* (- y t) z) in t 0.159 * [taylor]: Taking taylor expansion of (- y t) in t 0.159 * [taylor]: Taking taylor expansion of y in t 0.159 * [taylor]: Taking taylor expansion of t in t 0.159 * [taylor]: Taking taylor expansion of z in t 0.159 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in y 0.159 * [taylor]: Taking taylor expansion of 2.0 in y 0.160 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in y 0.160 * [taylor]: Taking taylor expansion of x in y 0.160 * [taylor]: Taking taylor expansion of (* (- y t) z) in y 0.160 * [taylor]: Taking taylor expansion of (- y t) in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.160 * [taylor]: Taking taylor expansion of t in y 0.160 * [taylor]: Taking taylor expansion of z in y 0.160 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in z 0.160 * [taylor]: Taking taylor expansion of 2.0 in z 0.160 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in z 0.160 * [taylor]: Taking taylor expansion of x in z 0.160 * [taylor]: Taking taylor expansion of (* (- y t) z) in z 0.160 * [taylor]: Taking taylor expansion of (- y t) in z 0.160 * [taylor]: Taking taylor expansion of y in z 0.160 * [taylor]: Taking taylor expansion of t in z 0.160 * [taylor]: Taking taylor expansion of z in z 0.161 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x 0.161 * [taylor]: Taking taylor expansion of 2.0 in x 0.161 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (* (- y t) z) in x 0.161 * [taylor]: Taking taylor expansion of (- y t) in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of t in x 0.161 * [taylor]: Taking taylor expansion of z in x 0.161 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x 0.161 * [taylor]: Taking taylor expansion of 2.0 in x 0.161 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (* (- y t) z) in x 0.161 * [taylor]: Taking taylor expansion of (- y t) in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of t in x 0.161 * [taylor]: Taking taylor expansion of z in x 0.161 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in z 0.161 * [taylor]: Taking taylor expansion of 2.0 in z 0.161 * [taylor]: Taking taylor expansion of (* (- y t) z) in z 0.161 * [taylor]: Taking taylor expansion of (- y t) in z 0.162 * [taylor]: Taking taylor expansion of y in z 0.162 * [taylor]: Taking taylor expansion of t in z 0.162 * [taylor]: Taking taylor expansion of z in z 0.162 * [taylor]: Taking taylor expansion of (/ 2.0 (- y t)) in y 0.162 * [taylor]: Taking taylor expansion of 2.0 in y 0.162 * [taylor]: Taking taylor expansion of (- y t) in y 0.162 * [taylor]: Taking taylor expansion of y in y 0.162 * [taylor]: Taking taylor expansion of t in y 0.163 * [taylor]: Taking taylor expansion of (/ -2.0 t) in t 0.163 * [taylor]: Taking taylor expansion of -2.0 in t 0.163 * [taylor]: Taking taylor expansion of t in t 0.165 * [taylor]: Taking taylor expansion of 0 in z 0.166 * [taylor]: Taking taylor expansion of 0 in y 0.166 * [taylor]: Taking taylor expansion of 0 in t 0.166 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow t 2)))) in t 0.166 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow t 2))) in t 0.166 * [taylor]: Taking taylor expansion of 2.0 in t 0.166 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 0.166 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.166 * [taylor]: Taking taylor expansion of t in t 0.171 * [taylor]: Taking taylor expansion of 0 in z 0.172 * [taylor]: Taking taylor expansion of 0 in y 0.172 * [taylor]: Taking taylor expansion of 0 in t 0.175 * [taylor]: Taking taylor expansion of 0 in y 0.176 * [taylor]: Taking taylor expansion of 0 in t 0.176 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in (x z y t) around 0 0.176 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in t 0.176 * [taylor]: Taking taylor expansion of 2.0 in t 0.176 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in t 0.176 * [taylor]: Taking taylor expansion of z in t 0.176 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t 0.176 * [taylor]: Taking taylor expansion of x in t 0.176 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t 0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.176 * [taylor]: Taking taylor expansion of y in t 0.176 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.176 * [taylor]: Taking taylor expansion of t in t 0.177 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in y 0.177 * [taylor]: Taking taylor expansion of 2.0 in y 0.177 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in y 0.177 * [taylor]: Taking taylor expansion of z in y 0.177 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y 0.177 * [taylor]: Taking taylor expansion of x in y 0.177 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y 0.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.177 * [taylor]: Taking taylor expansion of y in y 0.177 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.177 * [taylor]: Taking taylor expansion of t in y 0.178 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in z 0.178 * [taylor]: Taking taylor expansion of 2.0 in z 0.178 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in z 0.178 * [taylor]: Taking taylor expansion of z in z 0.178 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z 0.178 * [taylor]: Taking taylor expansion of x in z 0.178 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z 0.178 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.178 * [taylor]: Taking taylor expansion of y in z 0.178 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.178 * [taylor]: Taking taylor expansion of t in z 0.178 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x 0.178 * [taylor]: Taking taylor expansion of 2.0 in x 0.178 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x 0.178 * [taylor]: Taking taylor expansion of z in x 0.178 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x 0.178 * [taylor]: Taking taylor expansion of x in x 0.178 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x 0.178 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.178 * [taylor]: Taking taylor expansion of y in x 0.178 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.178 * [taylor]: Taking taylor expansion of t in x 0.180 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x 0.180 * [taylor]: Taking taylor expansion of 2.0 in x 0.180 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x 0.180 * [taylor]: Taking taylor expansion of z in x 0.180 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x 0.180 * [taylor]: Taking taylor expansion of x in x 0.180 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x 0.180 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.180 * [taylor]: Taking taylor expansion of y in x 0.180 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.180 * [taylor]: Taking taylor expansion of t in x 0.181 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in z 0.181 * [taylor]: Taking taylor expansion of 2.0 in z 0.181 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in z 0.181 * [taylor]: Taking taylor expansion of z in z 0.181 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z 0.181 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.181 * [taylor]: Taking taylor expansion of y in z 0.181 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.181 * [taylor]: Taking taylor expansion of t in z 0.181 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 y) (/ 1 t))) in y 0.181 * [taylor]: Taking taylor expansion of 2.0 in y 0.182 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y 0.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.182 * [taylor]: Taking taylor expansion of y in y 0.182 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.182 * [taylor]: Taking taylor expansion of t in y 0.182 * [taylor]: Taking taylor expansion of 2.0 in t 0.184 * [taylor]: Taking taylor expansion of 0 in z 0.184 * [taylor]: Taking taylor expansion of 0 in y 0.184 * [taylor]: Taking taylor expansion of 0 in t 0.185 * [taylor]: Taking taylor expansion of 0 in y 0.185 * [taylor]: Taking taylor expansion of 0 in t 0.186 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t 0.186 * [taylor]: Taking taylor expansion of 2.0 in t 0.186 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.186 * [taylor]: Taking taylor expansion of t in t 0.190 * [taylor]: Taking taylor expansion of 0 in z 0.190 * [taylor]: Taking taylor expansion of 0 in y 0.190 * [taylor]: Taking taylor expansion of 0 in t 0.190 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in (x z y t) around 0 0.191 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in t 0.191 * [taylor]: Taking taylor expansion of 2.0 in t 0.191 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in t 0.191 * [taylor]: Taking taylor expansion of z in t 0.191 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in t 0.191 * [taylor]: Taking taylor expansion of x in t 0.191 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t 0.191 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.191 * [taylor]: Taking taylor expansion of t in t 0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.191 * [taylor]: Taking taylor expansion of y in t 0.191 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in y 0.191 * [taylor]: Taking taylor expansion of 2.0 in y 0.191 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in y 0.191 * [taylor]: Taking taylor expansion of z in y 0.191 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in y 0.191 * [taylor]: Taking taylor expansion of x in y 0.191 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y 0.191 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.191 * [taylor]: Taking taylor expansion of t in y 0.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.192 * [taylor]: Taking taylor expansion of y in y 0.192 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in z 0.192 * [taylor]: Taking taylor expansion of 2.0 in z 0.192 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in z 0.192 * [taylor]: Taking taylor expansion of z in z 0.192 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in z 0.192 * [taylor]: Taking taylor expansion of x in z 0.192 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z 0.193 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.193 * [taylor]: Taking taylor expansion of t in z 0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.193 * [taylor]: Taking taylor expansion of y in z 0.193 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x 0.193 * [taylor]: Taking taylor expansion of 2.0 in x 0.193 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x 0.193 * [taylor]: Taking taylor expansion of z in x 0.193 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x 0.193 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.193 * [taylor]: Taking taylor expansion of t in x 0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.193 * [taylor]: Taking taylor expansion of y in x 0.194 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x 0.194 * [taylor]: Taking taylor expansion of 2.0 in x 0.194 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x 0.194 * [taylor]: Taking taylor expansion of z in x 0.194 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x 0.194 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.194 * [taylor]: Taking taylor expansion of t in x 0.194 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.194 * [taylor]: Taking taylor expansion of y in x 0.196 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 t) (/ 1 y)))) in z 0.196 * [taylor]: Taking taylor expansion of 2.0 in z 0.196 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in z 0.196 * [taylor]: Taking taylor expansion of z in z 0.196 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z 0.196 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.196 * [taylor]: Taking taylor expansion of t in z 0.196 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.196 * [taylor]: Taking taylor expansion of y in z 0.196 * [taylor]: Taking taylor expansion of (/ 2.0 (- (/ 1 t) (/ 1 y))) in y 0.196 * [taylor]: Taking taylor expansion of 2.0 in y 0.196 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y 0.196 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.196 * [taylor]: Taking taylor expansion of t in y 0.196 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.196 * [taylor]: Taking taylor expansion of y in y 0.197 * [taylor]: Taking taylor expansion of -2.0 in t 0.199 * [taylor]: Taking taylor expansion of 0 in z 0.199 * [taylor]: Taking taylor expansion of 0 in y 0.199 * [taylor]: Taking taylor expansion of 0 in t 0.200 * [taylor]: Taking taylor expansion of 0 in y 0.200 * [taylor]: Taking taylor expansion of 0 in t 0.202 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 t))) in t 0.202 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 t)) in t 0.202 * [taylor]: Taking taylor expansion of 2.0 in t 0.202 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.202 * [taylor]: Taking taylor expansion of t in t 0.206 * [taylor]: Taking taylor expansion of 0 in z 0.206 * [taylor]: Taking taylor expansion of 0 in y 0.206 * [taylor]: Taking taylor expansion of 0 in t 0.206 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.206 * [approximate]: Taking taylor expansion of (* (- y t) z) in (z y t) around 0 0.206 * [taylor]: Taking taylor expansion of (* (- y t) z) in t 0.206 * [taylor]: Taking taylor expansion of (- y t) in t 0.206 * [taylor]: Taking taylor expansion of y in t 0.206 * [taylor]: Taking taylor expansion of t in t 0.206 * [taylor]: Taking taylor expansion of z in t 0.206 * [taylor]: Taking taylor expansion of (* (- y t) z) in y 0.206 * [taylor]: Taking taylor expansion of (- y t) in y 0.206 * [taylor]: Taking taylor expansion of y in y 0.206 * [taylor]: Taking taylor expansion of t in y 0.206 * [taylor]: Taking taylor expansion of z in y 0.206 * [taylor]: Taking taylor expansion of (* (- y t) z) in z 0.206 * [taylor]: Taking taylor expansion of (- y t) in z 0.206 * [taylor]: Taking taylor expansion of y in z 0.206 * [taylor]: Taking taylor expansion of t in z 0.206 * [taylor]: Taking taylor expansion of z in z 0.207 * [taylor]: Taking taylor expansion of (* (- y t) z) in z 0.207 * [taylor]: Taking taylor expansion of (- y t) in z 0.207 * [taylor]: Taking taylor expansion of y in z 0.207 * [taylor]: Taking taylor expansion of t in z 0.207 * [taylor]: Taking taylor expansion of z in z 0.207 * [taylor]: Taking taylor expansion of 0 in y 0.207 * [taylor]: Taking taylor expansion of 0 in t 0.208 * [taylor]: Taking taylor expansion of (- y t) in y 0.208 * [taylor]: Taking taylor expansion of y in y 0.208 * [taylor]: Taking taylor expansion of t in y 0.208 * [taylor]: Taking taylor expansion of (- t) in t 0.208 * [taylor]: Taking taylor expansion of t in t 0.208 * [taylor]: Taking taylor expansion of 0 in t 0.209 * [taylor]: Taking taylor expansion of 0 in y 0.209 * [taylor]: Taking taylor expansion of 0 in t 0.209 * [taylor]: Taking taylor expansion of 1 in t 0.209 * [taylor]: Taking taylor expansion of 0 in t 0.211 * [taylor]: Taking taylor expansion of 0 in y 0.211 * [taylor]: Taking taylor expansion of 0 in t 0.211 * [taylor]: Taking taylor expansion of 0 in t 0.211 * [taylor]: Taking taylor expansion of 0 in t 0.211 * [taylor]: Taking taylor expansion of 0 in t 0.211 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in (z y t) around 0 0.211 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in t 0.211 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t 0.211 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.211 * [taylor]: Taking taylor expansion of y in t 0.212 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.212 * [taylor]: Taking taylor expansion of t in t 0.212 * [taylor]: Taking taylor expansion of z in t 0.212 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in y 0.212 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y 0.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.212 * [taylor]: Taking taylor expansion of y in y 0.213 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.213 * [taylor]: Taking taylor expansion of t in y 0.213 * [taylor]: Taking taylor expansion of z in y 0.213 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in z 0.213 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z 0.213 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.213 * [taylor]: Taking taylor expansion of y in z 0.213 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.213 * [taylor]: Taking taylor expansion of t in z 0.213 * [taylor]: Taking taylor expansion of z in z 0.214 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in z 0.214 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z 0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.214 * [taylor]: Taking taylor expansion of y in z 0.214 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.214 * [taylor]: Taking taylor expansion of t in z 0.214 * [taylor]: Taking taylor expansion of z in z 0.214 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y 0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.214 * [taylor]: Taking taylor expansion of y in y 0.214 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.214 * [taylor]: Taking taylor expansion of t in y 0.215 * [taylor]: Taking taylor expansion of 1 in t 0.216 * [taylor]: Taking taylor expansion of 0 in y 0.216 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 0.216 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.216 * [taylor]: Taking taylor expansion of t in t 0.218 * [taylor]: Taking taylor expansion of 0 in y 0.218 * [taylor]: Taking taylor expansion of 0 in t 0.219 * [taylor]: Taking taylor expansion of 0 in t 0.222 * [taylor]: Taking taylor expansion of 0 in y 0.222 * [taylor]: Taking taylor expansion of 0 in t 0.222 * [taylor]: Taking taylor expansion of 0 in t 0.223 * [taylor]: Taking taylor expansion of 0 in t 0.224 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in (z y t) around 0 0.224 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in t 0.224 * [taylor]: Taking taylor expansion of -1 in t 0.224 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in t 0.224 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t 0.224 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.224 * [taylor]: Taking taylor expansion of t in t 0.224 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.224 * [taylor]: Taking taylor expansion of y in t 0.225 * [taylor]: Taking taylor expansion of z in t 0.225 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in y 0.225 * [taylor]: Taking taylor expansion of -1 in y 0.225 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in y 0.225 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y 0.225 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.225 * [taylor]: Taking taylor expansion of t in y 0.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.225 * [taylor]: Taking taylor expansion of y in y 0.225 * [taylor]: Taking taylor expansion of z in y 0.226 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in z 0.226 * [taylor]: Taking taylor expansion of -1 in z 0.226 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in z 0.226 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z 0.226 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.226 * [taylor]: Taking taylor expansion of t in z 0.226 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.226 * [taylor]: Taking taylor expansion of y in z 0.226 * [taylor]: Taking taylor expansion of z in z 0.226 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 t) (/ 1 y)) z)) in z 0.226 * [taylor]: Taking taylor expansion of -1 in z 0.226 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in z 0.226 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z 0.226 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.226 * [taylor]: Taking taylor expansion of t in z 0.226 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.226 * [taylor]: Taking taylor expansion of y in z 0.226 * [taylor]: Taking taylor expansion of z in z 0.227 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 t) (/ 1 y))) in y 0.227 * [taylor]: Taking taylor expansion of -1 in y 0.227 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y 0.227 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.227 * [taylor]: Taking taylor expansion of t in y 0.227 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.228 * [taylor]: Taking taylor expansion of 1 in t 0.229 * [taylor]: Taking taylor expansion of 0 in y 0.230 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 0.230 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.230 * [taylor]: Taking taylor expansion of t in t 0.233 * [taylor]: Taking taylor expansion of 0 in y 0.233 * [taylor]: Taking taylor expansion of 0 in t 0.234 * [taylor]: Taking taylor expansion of 0 in t 0.238 * [taylor]: Taking taylor expansion of 0 in y 0.238 * [taylor]: Taking taylor expansion of 0 in t 0.238 * [taylor]: Taking taylor expansion of 0 in t 0.240 * [taylor]: Taking taylor expansion of 0 in t 0.241 * * * [progress]: simplifying candidates 0.242 * [simplify]: Simplifying using # : (- (+ (log x) (log 2.0)) (+ (log z) (log (- y t)))) (- (+ (log x) (log 2.0)) (log (* z (- y t)))) (- (log (* x 2.0)) (+ (log z) (log (- y t)))) (- (log (* x 2.0)) (log (* z (- y t)))) (log (/ (* x 2.0) (* z (- y t)))) (exp (/ (* x 2.0) (* z (- y t)))) (/ (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* (* z z) z) (* (* (- y t) (- y t)) (- y t)))) (/ (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* (* z (- y t)) (* z (- y t))) (* z (- y t)))) (/ (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* (* z z) z) (* (* (- y t) (- y t)) (- y t)))) (/ (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* (* z (- y t)) (* z (- y t))) (* z (- y t)))) (* (cbrt (/ (* x 2.0) (* z (- y t)))) (cbrt (/ (* x 2.0) (* z (- y t))))) (cbrt (/ (* x 2.0) (* z (- y t)))) (* (* (/ (* x 2.0) (* z (- y t))) (/ (* x 2.0) (* z (- y t)))) (/ (* x 2.0) (* z (- y t)))) (sqrt (/ (* x 2.0) (* z (- y t)))) (sqrt (/ (* x 2.0) (* z (- y t)))) (- (* x 2.0)) (- (* z (- y t))) (/ x z) (/ 2.0 (- y t)) (/ 1 (* z (- y t))) (/ (* z (- y t)) (* x 2.0)) (/ (* x 2.0) z) (/ (* z (- y t)) 2.0) (/ (* x 2.0) (* z (- (pow y 3) (pow t 3)))) (/ (* x 2.0) (* z (- (* y y) (* t t)))) (* z (- y t)) (+ (log z) (log (- y t))) (log (* z (- y t))) (exp (* z (- y t))) (* (* (* z z) z) (* (* (- y t) (- y t)) (- y t))) (* (cbrt (* z (- y t))) (cbrt (* z (- y t)))) (cbrt (* z (- y t))) (* (* (* z (- y t)) (* z (- y t))) (* z (- y t))) (sqrt (* z (- y t))) (sqrt (* z (- y t))) (* (sqrt z) (sqrt (- y t))) (* (sqrt z) (sqrt (- y t))) (* z y) (* z (- t)) (* z y) (* z (- t)) (* y z) (* (- t) z) (* y z) (* (- t) z) (* z (* (cbrt (- y t)) (cbrt (- y t)))) (* z (sqrt (- y t))) (* z 1) (* z (+ (sqrt y) (sqrt t))) (* z 1) (* (cbrt z) (- y t)) (* (sqrt z) (- y t)) (* z (- y t)) (* z (- (pow y 3) (pow t 3))) (* z (- (* y y) (* t t))) 0 0 0 (- (* z y) (* t z)) (- (* z y) (* t z)) (- (* z y) (* t z)) 0.244 * * [simplify]: iteration 0 : 93 enodes (cost 556 ) 0.263 * * [simplify]: iteration 1 : 250 enodes (cost 543 ) 0.328 * * [simplify]: iteration 2 : 1220 enodes (cost 427 ) 0.685 * * [simplify]: iteration done : 5001 enodes (cost 427 ) 0.685 * [simplify]: Simplified to: (log (/ (* x 2.0) (* z (- y t)))) (log (/ (* x 2.0) (* z (- y t)))) (log (/ (* x 2.0) (* z (- y t)))) (log (/ (* x 2.0) (* z (- y t)))) (log (/ (* x 2.0) (* z (- y t)))) (exp (/ (* x 2.0) (* z (- y t)))) (pow (/ (* x 2.0) (* z (- y t))) 3) (pow (/ (* x 2.0) (* z (- y t))) 3) (pow (/ (* x 2.0) (* z (- y t))) 3) (pow (/ (* x 2.0) (* z (- y t))) 3) (* (cbrt (/ (* x 2.0) (* z (- y t)))) (cbrt (/ (* x 2.0) (* z (- y t))))) (cbrt (/ (* x 2.0) (* z (- y t)))) (pow (/ (* x 2.0) (* z (- y t))) 3) (sqrt (/ (* x 2.0) (* z (- y t)))) (sqrt (/ (* x 2.0) (* z (- y t)))) (- (* x 2.0)) (- (* z (- y t))) (/ x z) (/ 2.0 (- y t)) (/ 1 (* z (- y t))) (/ (* z (- y t)) (* x 2.0)) (/ (* x 2.0) z) (* (- y t) (/ z 2.0)) (/ (* x 2.0) (* z (- (pow y 3) (pow t 3)))) (/ (* x 2.0) (* z (- (* y y) (* t t)))) (* z (- y t)) (log (* z (- y t))) (log (* z (- y t))) (exp (* z (- y t))) (pow (* z (- y t)) 3) (* (cbrt (* z (- y t))) (cbrt (* z (- y t)))) (cbrt (* z (- y t))) (pow (* z (- y t)) 3) (sqrt (* z (- y t))) (sqrt (* z (- y t))) (* (sqrt z) (sqrt (- y t))) (* (sqrt z) (sqrt (- y t))) (* z y) (* z (- t)) (* z y) (* z (- t)) (* z y) (* z (- t)) (* z y) (* z (- t)) (* z (* (cbrt (- y t)) (cbrt (- y t)))) (* z (sqrt (- y t))) z (* z (+ (sqrt y) (sqrt t))) z (* (cbrt z) (- y t)) (* (sqrt z) (- y t)) (* z (- y t)) (* z (- (pow y 3) (pow t 3))) (* z (- (* y y) (* t t))) 0 0 0 (* z (- y t)) (* z (- y t)) (* z (- y t)) 0.690 * * * [progress]: adding candidates to table 0.779 * * [progress]: iteration 2 / 4 0.779 * * * [progress]: picking best candidate 0.796 * * * * [pick]: Picked # 0.796 * * * [progress]: localizing error 0.803 * * * [progress]: generating rewritten candidates 0.803 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.810 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.828 * * * [progress]: generating series expansions 0.828 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.828 * [approximate]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in (x y t z) around 0 0.828 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in z 0.828 * [taylor]: Taking taylor expansion of 2.0 in z 0.828 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in z 0.828 * [taylor]: Taking taylor expansion of x in z 0.828 * [taylor]: Taking taylor expansion of (* (- y t) z) in z 0.828 * [taylor]: Taking taylor expansion of (- y t) in z 0.828 * [taylor]: Taking taylor expansion of y in z 0.828 * [taylor]: Taking taylor expansion of t in z 0.828 * [taylor]: Taking taylor expansion of z in z 0.829 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in t 0.829 * [taylor]: Taking taylor expansion of 2.0 in t 0.829 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in t 0.829 * [taylor]: Taking taylor expansion of x in t 0.829 * [taylor]: Taking taylor expansion of (* (- y t) z) in t 0.829 * [taylor]: Taking taylor expansion of (- y t) in t 0.829 * [taylor]: Taking taylor expansion of y in t 0.829 * [taylor]: Taking taylor expansion of t in t 0.829 * [taylor]: Taking taylor expansion of z in t 0.830 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in y 0.830 * [taylor]: Taking taylor expansion of 2.0 in y 0.830 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in y 0.830 * [taylor]: Taking taylor expansion of x in y 0.830 * [taylor]: Taking taylor expansion of (* (- y t) z) in y 0.830 * [taylor]: Taking taylor expansion of (- y t) in y 0.830 * [taylor]: Taking taylor expansion of y in y 0.830 * [taylor]: Taking taylor expansion of t in y 0.830 * [taylor]: Taking taylor expansion of z in y 0.830 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x 0.830 * [taylor]: Taking taylor expansion of 2.0 in x 0.830 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x 0.830 * [taylor]: Taking taylor expansion of x in x 0.830 * [taylor]: Taking taylor expansion of (* (- y t) z) in x 0.830 * [taylor]: Taking taylor expansion of (- y t) in x 0.830 * [taylor]: Taking taylor expansion of y in x 0.830 * [taylor]: Taking taylor expansion of t in x 0.830 * [taylor]: Taking taylor expansion of z in x 0.830 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x 0.830 * [taylor]: Taking taylor expansion of 2.0 in x 0.830 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x 0.830 * [taylor]: Taking taylor expansion of x in x 0.830 * [taylor]: Taking taylor expansion of (* (- y t) z) in x 0.830 * [taylor]: Taking taylor expansion of (- y t) in x 0.830 * [taylor]: Taking taylor expansion of y in x 0.830 * [taylor]: Taking taylor expansion of t in x 0.830 * [taylor]: Taking taylor expansion of z in x 0.831 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in y 0.831 * [taylor]: Taking taylor expansion of 2.0 in y 0.831 * [taylor]: Taking taylor expansion of (* (- y t) z) in y 0.831 * [taylor]: Taking taylor expansion of (- y t) in y 0.831 * [taylor]: Taking taylor expansion of y in y 0.831 * [taylor]: Taking taylor expansion of t in y 0.831 * [taylor]: Taking taylor expansion of z in y 0.831 * [taylor]: Taking taylor expansion of (/ -2.0 (* t z)) in t 0.831 * [taylor]: Taking taylor expansion of -2.0 in t 0.831 * [taylor]: Taking taylor expansion of (* t z) in t 0.831 * [taylor]: Taking taylor expansion of t in t 0.831 * [taylor]: Taking taylor expansion of z in t 0.832 * [taylor]: Taking taylor expansion of 0 in z 0.833 * [taylor]: Taking taylor expansion of 0 in y 0.833 * [taylor]: Taking taylor expansion of 0 in t 0.833 * [taylor]: Taking taylor expansion of 0 in z 0.834 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 2) z)))) in t 0.834 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 2) z))) in t 0.834 * [taylor]: Taking taylor expansion of 2.0 in t 0.834 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) z)) in t 0.834 * [taylor]: Taking taylor expansion of (* (pow t 2) z) in t 0.834 * [taylor]: Taking taylor expansion of (pow t 2) in t 0.834 * [taylor]: Taking taylor expansion of t in t 0.834 * [taylor]: Taking taylor expansion of z in t 0.837 * [taylor]: Taking taylor expansion of 0 in z 0.838 * [taylor]: Taking taylor expansion of 0 in z 0.839 * [taylor]: Taking taylor expansion of 0 in y 0.839 * [taylor]: Taking taylor expansion of 0 in t 0.839 * [taylor]: Taking taylor expansion of 0 in z 0.839 * [taylor]: Taking taylor expansion of 0 in t 0.839 * [taylor]: Taking taylor expansion of 0 in z 0.841 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 3) z)))) in t 0.841 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 3) z))) in t 0.841 * [taylor]: Taking taylor expansion of 2.0 in t 0.841 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) z)) in t 0.841 * [taylor]: Taking taylor expansion of (* (pow t 3) z) in t 0.841 * [taylor]: Taking taylor expansion of (pow t 3) in t 0.841 * [taylor]: Taking taylor expansion of t in t 0.841 * [taylor]: Taking taylor expansion of z in t 0.847 * [taylor]: Taking taylor expansion of 0 in z 0.847 * [taylor]: Taking taylor expansion of 0 in z 0.849 * [taylor]: Taking taylor expansion of 0 in z 0.851 * [taylor]: Taking taylor expansion of 0 in z 0.853 * [taylor]: Taking taylor expansion of 0 in y 0.853 * [taylor]: Taking taylor expansion of 0 in t 0.853 * [taylor]: Taking taylor expansion of 0 in z 0.853 * [taylor]: Taking taylor expansion of 0 in t 0.853 * [taylor]: Taking taylor expansion of 0 in z 0.853 * [taylor]: Taking taylor expansion of 0 in t 0.853 * [taylor]: Taking taylor expansion of 0 in z 0.854 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 4) z)))) in t 0.854 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 4) z))) in t 0.854 * [taylor]: Taking taylor expansion of 2.0 in t 0.854 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 4) z)) in t 0.854 * [taylor]: Taking taylor expansion of (* (pow t 4) z) in t 0.854 * [taylor]: Taking taylor expansion of (pow t 4) in t 0.854 * [taylor]: Taking taylor expansion of t in t 0.855 * [taylor]: Taking taylor expansion of z in t 0.863 * [taylor]: Taking taylor expansion of 0 in z 0.863 * [taylor]: Taking taylor expansion of 0 in z 0.863 * [taylor]: Taking taylor expansion of 0 in z 0.866 * [taylor]: Taking taylor expansion of 0 in z 0.867 * [taylor]: Taking taylor expansion of 0 in z 0.870 * [taylor]: Taking taylor expansion of 0 in z 0.871 * [taylor]: Taking taylor expansion of 0 in z 0.871 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in (x y t z) around 0 0.871 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in z 0.871 * [taylor]: Taking taylor expansion of 2.0 in z 0.871 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in z 0.871 * [taylor]: Taking taylor expansion of z in z 0.871 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z 0.871 * [taylor]: Taking taylor expansion of x in z 0.871 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z 0.871 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.871 * [taylor]: Taking taylor expansion of y in z 0.872 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.872 * [taylor]: Taking taylor expansion of t in z 0.872 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in t 0.872 * [taylor]: Taking taylor expansion of 2.0 in t 0.872 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in t 0.872 * [taylor]: Taking taylor expansion of z in t 0.872 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t 0.872 * [taylor]: Taking taylor expansion of x in t 0.872 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t 0.872 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.872 * [taylor]: Taking taylor expansion of y in t 0.872 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.872 * [taylor]: Taking taylor expansion of t in t 0.873 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in y 0.873 * [taylor]: Taking taylor expansion of 2.0 in y 0.873 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in y 0.873 * [taylor]: Taking taylor expansion of z in y 0.873 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y 0.873 * [taylor]: Taking taylor expansion of x in y 0.873 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y 0.873 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.873 * [taylor]: Taking taylor expansion of y in y 0.873 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.873 * [taylor]: Taking taylor expansion of t in y 0.874 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x 0.874 * [taylor]: Taking taylor expansion of 2.0 in x 0.874 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x 0.874 * [taylor]: Taking taylor expansion of z in x 0.874 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x 0.874 * [taylor]: Taking taylor expansion of x in x 0.874 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x 0.874 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.874 * [taylor]: Taking taylor expansion of y in x 0.874 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.874 * [taylor]: Taking taylor expansion of t in x 0.875 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x 0.875 * [taylor]: Taking taylor expansion of 2.0 in x 0.875 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x 0.875 * [taylor]: Taking taylor expansion of z in x 0.875 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x 0.875 * [taylor]: Taking taylor expansion of x in x 0.875 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x 0.875 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.875 * [taylor]: Taking taylor expansion of y in x 0.875 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.875 * [taylor]: Taking taylor expansion of t in x 0.876 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in y 0.876 * [taylor]: Taking taylor expansion of 2.0 in y 0.876 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in y 0.876 * [taylor]: Taking taylor expansion of z in y 0.876 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y 0.876 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.876 * [taylor]: Taking taylor expansion of y in y 0.877 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.877 * [taylor]: Taking taylor expansion of t in y 0.880 * [taylor]: Taking taylor expansion of (* 2.0 z) in t 0.880 * [taylor]: Taking taylor expansion of 2.0 in t 0.880 * [taylor]: Taking taylor expansion of z in t 0.880 * [taylor]: Taking taylor expansion of 0 in z 0.882 * [taylor]: Taking taylor expansion of 0 in y 0.882 * [taylor]: Taking taylor expansion of 0 in t 0.882 * [taylor]: Taking taylor expansion of 0 in z 0.883 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t 0.883 * [taylor]: Taking taylor expansion of 2.0 in t 0.883 * [taylor]: Taking taylor expansion of (/ z t) in t 0.883 * [taylor]: Taking taylor expansion of z in t 0.883 * [taylor]: Taking taylor expansion of t in t 0.885 * [taylor]: Taking taylor expansion of 0 in z 0.885 * [taylor]: Taking taylor expansion of 0 in z 0.888 * [taylor]: Taking taylor expansion of 0 in y 0.888 * [taylor]: Taking taylor expansion of 0 in t 0.888 * [taylor]: Taking taylor expansion of 0 in z 0.888 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in (x y t z) around 0 0.888 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in z 0.888 * [taylor]: Taking taylor expansion of 2.0 in z 0.888 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in z 0.888 * [taylor]: Taking taylor expansion of z in z 0.888 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in z 0.888 * [taylor]: Taking taylor expansion of x in z 0.888 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z 0.888 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.888 * [taylor]: Taking taylor expansion of t in z 0.888 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.888 * [taylor]: Taking taylor expansion of y in z 0.888 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in t 0.888 * [taylor]: Taking taylor expansion of 2.0 in t 0.888 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in t 0.888 * [taylor]: Taking taylor expansion of z in t 0.888 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in t 0.888 * [taylor]: Taking taylor expansion of x in t 0.888 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t 0.888 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.888 * [taylor]: Taking taylor expansion of t in t 0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.889 * [taylor]: Taking taylor expansion of y in t 0.889 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in y 0.889 * [taylor]: Taking taylor expansion of 2.0 in y 0.889 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in y 0.889 * [taylor]: Taking taylor expansion of z in y 0.889 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in y 0.889 * [taylor]: Taking taylor expansion of x in y 0.889 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y 0.889 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.889 * [taylor]: Taking taylor expansion of t in y 0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.889 * [taylor]: Taking taylor expansion of y in y 0.890 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x 0.890 * [taylor]: Taking taylor expansion of 2.0 in x 0.890 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x 0.890 * [taylor]: Taking taylor expansion of z in x 0.890 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x 0.890 * [taylor]: Taking taylor expansion of x in x 0.890 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x 0.890 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.890 * [taylor]: Taking taylor expansion of t in x 0.890 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.890 * [taylor]: Taking taylor expansion of y in x 0.891 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 t) (/ 1 y))))) in x 0.891 * [taylor]: Taking taylor expansion of 2.0 in x 0.891 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 t) (/ 1 y)))) in x 0.891 * [taylor]: Taking taylor expansion of z in x 0.891 * [taylor]: Taking taylor expansion of (* x (- (/ 1 t) (/ 1 y))) in x 0.891 * [taylor]: Taking taylor expansion of x in x 0.891 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x 0.891 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.891 * [taylor]: Taking taylor expansion of t in x 0.892 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.892 * [taylor]: Taking taylor expansion of y in x 0.893 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 t) (/ 1 y)))) in y 0.893 * [taylor]: Taking taylor expansion of 2.0 in y 0.893 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in y 0.893 * [taylor]: Taking taylor expansion of z in y 0.893 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y 0.893 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.893 * [taylor]: Taking taylor expansion of t in y 0.893 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.893 * [taylor]: Taking taylor expansion of y in y 0.894 * [taylor]: Taking taylor expansion of (* -2.0 z) in t 0.894 * [taylor]: Taking taylor expansion of -2.0 in t 0.894 * [taylor]: Taking taylor expansion of z in t 0.894 * [taylor]: Taking taylor expansion of 0 in z 0.896 * [taylor]: Taking taylor expansion of 0 in y 0.896 * [taylor]: Taking taylor expansion of 0 in t 0.896 * [taylor]: Taking taylor expansion of 0 in z 0.897 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ z t))) in t 0.897 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t 0.897 * [taylor]: Taking taylor expansion of 2.0 in t 0.897 * [taylor]: Taking taylor expansion of (/ z t) in t 0.897 * [taylor]: Taking taylor expansion of z in t 0.897 * [taylor]: Taking taylor expansion of t in t 0.899 * [taylor]: Taking taylor expansion of 0 in z 0.900 * [taylor]: Taking taylor expansion of 0 in z 0.902 * [taylor]: Taking taylor expansion of 0 in y 0.902 * [taylor]: Taking taylor expansion of 0 in t 0.902 * [taylor]: Taking taylor expansion of 0 in z 0.902 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.902 * [approximate]: Taking taylor expansion of (* 0.5 (* (- y t) z)) in (y t z) around 0 0.902 * [taylor]: Taking taylor expansion of (* 0.5 (* (- y t) z)) in z 0.902 * [taylor]: Taking taylor expansion of 0.5 in z 0.902 * [taylor]: Taking taylor expansion of (* (- y t) z) in z 0.902 * [taylor]: Taking taylor expansion of (- y t) in z 0.902 * [taylor]: Taking taylor expansion of y in z 0.902 * [taylor]: Taking taylor expansion of t in z 0.902 * [taylor]: Taking taylor expansion of z in z 0.902 * [taylor]: Taking taylor expansion of (* 0.5 (* (- y t) z)) in t 0.902 * [taylor]: Taking taylor expansion of 0.5 in t 0.902 * [taylor]: Taking taylor expansion of (* (- y t) z) in t 0.902 * [taylor]: Taking taylor expansion of (- y t) in t 0.902 * [taylor]: Taking taylor expansion of y in t 0.902 * [taylor]: Taking taylor expansion of t in t 0.902 * [taylor]: Taking taylor expansion of z in t 0.902 * [taylor]: Taking taylor expansion of (* 0.5 (* (- y t) z)) in y 0.902 * [taylor]: Taking taylor expansion of 0.5 in y 0.902 * [taylor]: Taking taylor expansion of (* (- y t) z) in y 0.902 * [taylor]: Taking taylor expansion of (- y t) in y 0.902 * [taylor]: Taking taylor expansion of y in y 0.902 * [taylor]: Taking taylor expansion of t in y 0.902 * [taylor]: Taking taylor expansion of z in y 0.903 * [taylor]: Taking taylor expansion of (* 0.5 (* (- y t) z)) in y 0.903 * [taylor]: Taking taylor expansion of 0.5 in y 0.903 * [taylor]: Taking taylor expansion of (* (- y t) z) in y 0.903 * [taylor]: Taking taylor expansion of (- y t) in y 0.903 * [taylor]: Taking taylor expansion of y in y 0.903 * [taylor]: Taking taylor expansion of t in y 0.903 * [taylor]: Taking taylor expansion of z in y 0.903 * [taylor]: Taking taylor expansion of (* -0.5 (* t z)) in t 0.903 * [taylor]: Taking taylor expansion of -0.5 in t 0.903 * [taylor]: Taking taylor expansion of (* t z) in t 0.903 * [taylor]: Taking taylor expansion of t in t 0.903 * [taylor]: Taking taylor expansion of z in t 0.903 * [taylor]: Taking taylor expansion of 0 in z 0.904 * [taylor]: Taking taylor expansion of (* 0.5 z) in t 0.904 * [taylor]: Taking taylor expansion of 0.5 in t 0.904 * [taylor]: Taking taylor expansion of z in t 0.904 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 0.904 * [taylor]: Taking taylor expansion of 0.5 in z 0.904 * [taylor]: Taking taylor expansion of z in z 0.905 * [taylor]: Taking taylor expansion of (- (* 0.5 z)) in z 0.905 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 0.905 * [taylor]: Taking taylor expansion of 0.5 in z 0.905 * [taylor]: Taking taylor expansion of z in z 0.906 * [taylor]: Taking taylor expansion of 0 in t 0.906 * [taylor]: Taking taylor expansion of 0 in z 0.907 * [taylor]: Taking taylor expansion of 0 in z 0.907 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (/ 1 y) (/ 1 t)) z)) in (y t z) around 0 0.907 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (/ 1 y) (/ 1 t)) z)) in z 0.907 * [taylor]: Taking taylor expansion of 0.5 in z 0.907 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in z 0.907 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z 0.907 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.907 * [taylor]: Taking taylor expansion of y in z 0.907 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.907 * [taylor]: Taking taylor expansion of t in z 0.907 * [taylor]: Taking taylor expansion of z in z 0.907 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (/ 1 y) (/ 1 t)) z)) in t 0.907 * [taylor]: Taking taylor expansion of 0.5 in t 0.907 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in t 0.907 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t 0.907 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.907 * [taylor]: Taking taylor expansion of y in t 0.907 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.907 * [taylor]: Taking taylor expansion of t in t 0.908 * [taylor]: Taking taylor expansion of z in t 0.908 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (/ 1 y) (/ 1 t)) z)) in y 0.908 * [taylor]: Taking taylor expansion of 0.5 in y 0.908 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in y 0.908 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y 0.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.908 * [taylor]: Taking taylor expansion of y in y 0.909 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.909 * [taylor]: Taking taylor expansion of t in y 0.909 * [taylor]: Taking taylor expansion of z in y 0.909 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (/ 1 y) (/ 1 t)) z)) in y 0.909 * [taylor]: Taking taylor expansion of 0.5 in y 0.909 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 t)) z) in y 0.909 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y 0.909 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.909 * [taylor]: Taking taylor expansion of y in y 0.909 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.909 * [taylor]: Taking taylor expansion of t in y 0.909 * [taylor]: Taking taylor expansion of z in y 0.910 * [taylor]: Taking taylor expansion of (/ 0.5 z) in t 0.910 * [taylor]: Taking taylor expansion of 0.5 in t 0.910 * [taylor]: Taking taylor expansion of z in t 0.910 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* t z)))) in t 0.911 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t z))) in t 0.911 * [taylor]: Taking taylor expansion of 0.5 in t 0.911 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 0.911 * [taylor]: Taking taylor expansion of (* t z) in t 0.911 * [taylor]: Taking taylor expansion of t in t 0.911 * [taylor]: Taking taylor expansion of z in t 0.911 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z 0.911 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 0.911 * [taylor]: Taking taylor expansion of 0.5 in z 0.911 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.911 * [taylor]: Taking taylor expansion of z in z 0.912 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z 0.912 * [taylor]: Taking taylor expansion of 0.5 in z 0.912 * [taylor]: Taking taylor expansion of z in z 0.914 * [taylor]: Taking taylor expansion of 0 in t 0.915 * [taylor]: Taking taylor expansion of 0 in z 0.915 * [taylor]: Taking taylor expansion of 0 in z 0.919 * [taylor]: Taking taylor expansion of 0 in t 0.919 * [taylor]: Taking taylor expansion of 0 in z 0.920 * [taylor]: Taking taylor expansion of 0 in z 0.920 * [taylor]: Taking taylor expansion of 0 in z 0.923 * [approximate]: Taking taylor expansion of (* -0.5 (/ (- (/ 1 t) (/ 1 y)) z)) in (y t z) around 0 0.923 * [taylor]: Taking taylor expansion of (* -0.5 (/ (- (/ 1 t) (/ 1 y)) z)) in z 0.923 * [taylor]: Taking taylor expansion of -0.5 in z 0.923 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in z 0.923 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z 0.923 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.923 * [taylor]: Taking taylor expansion of t in z 0.923 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.923 * [taylor]: Taking taylor expansion of y in z 0.923 * [taylor]: Taking taylor expansion of z in z 0.923 * [taylor]: Taking taylor expansion of (* -0.5 (/ (- (/ 1 t) (/ 1 y)) z)) in t 0.923 * [taylor]: Taking taylor expansion of -0.5 in t 0.923 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in t 0.923 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t 0.923 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.923 * [taylor]: Taking taylor expansion of t in t 0.923 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.923 * [taylor]: Taking taylor expansion of y in t 0.923 * [taylor]: Taking taylor expansion of z in t 0.924 * [taylor]: Taking taylor expansion of (* -0.5 (/ (- (/ 1 t) (/ 1 y)) z)) in y 0.924 * [taylor]: Taking taylor expansion of -0.5 in y 0.924 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in y 0.924 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y 0.924 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.924 * [taylor]: Taking taylor expansion of t in y 0.924 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.924 * [taylor]: Taking taylor expansion of y in y 0.924 * [taylor]: Taking taylor expansion of z in y 0.925 * [taylor]: Taking taylor expansion of (* -0.5 (/ (- (/ 1 t) (/ 1 y)) z)) in y 0.925 * [taylor]: Taking taylor expansion of -0.5 in y 0.925 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 y)) z) in y 0.925 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y 0.925 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.925 * [taylor]: Taking taylor expansion of t in y 0.925 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.925 * [taylor]: Taking taylor expansion of y in y 0.925 * [taylor]: Taking taylor expansion of z in y 0.926 * [taylor]: Taking taylor expansion of (/ 0.5 z) in t 0.926 * [taylor]: Taking taylor expansion of 0.5 in t 0.926 * [taylor]: Taking taylor expansion of z in t 0.927 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 (* t z)))) in t 0.927 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (* t z))) in t 0.927 * [taylor]: Taking taylor expansion of 0.5 in t 0.927 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 0.927 * [taylor]: Taking taylor expansion of (* t z) in t 0.927 * [taylor]: Taking taylor expansion of t in t 0.927 * [taylor]: Taking taylor expansion of z in t 0.927 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z 0.927 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 0.927 * [taylor]: Taking taylor expansion of 0.5 in z 0.927 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.927 * [taylor]: Taking taylor expansion of z in z 0.928 * [taylor]: Taking taylor expansion of (/ 0.5 z) in z 0.928 * [taylor]: Taking taylor expansion of 0.5 in z 0.928 * [taylor]: Taking taylor expansion of z in z 0.930 * [taylor]: Taking taylor expansion of 0 in t 0.931 * [taylor]: Taking taylor expansion of 0 in z 0.931 * [taylor]: Taking taylor expansion of 0 in z 0.935 * [taylor]: Taking taylor expansion of 0 in t 0.935 * [taylor]: Taking taylor expansion of 0 in z 0.936 * [taylor]: Taking taylor expansion of 0 in z 0.936 * [taylor]: Taking taylor expansion of 0 in z 0.939 * * * [progress]: simplifying candidates 0.940 * [simplify]: Simplifying using # : (- (log x) (+ (log (- y t)) (- (log z) (log 2.0)))) (- (log x) (+ (log (- y t)) (log (/ z 2.0)))) (- (log x) (log (* (- y t) (/ z 2.0)))) (log (/ x (* (- y t) (/ z 2.0)))) (exp (/ x (* (- y t) (/ z 2.0)))) (/ (* (* x x) x) (* (* (* (- y t) (- y t)) (- y t)) (/ (* (* z z) z) (* (* 2.0 2.0) 2.0)))) (/ (* (* x x) x) (* (* (* (- y t) (- y t)) (- y t)) (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0)))) (/ (* (* x x) x) (* (* (* (- y t) (/ z 2.0)) (* (- y t) (/ z 2.0))) (* (- y t) (/ z 2.0)))) (* (cbrt (/ x (* (- y t) (/ z 2.0)))) (cbrt (/ x (* (- y t) (/ z 2.0))))) (cbrt (/ x (* (- y t) (/ z 2.0)))) (* (* (/ x (* (- y t) (/ z 2.0))) (/ x (* (- y t) (/ z 2.0)))) (/ x (* (- y t) (/ z 2.0)))) (sqrt (/ x (* (- y t) (/ z 2.0)))) (sqrt (/ x (* (- y t) (/ z 2.0)))) (- x) (- (* (- y t) (/ z 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0)) (/ (sqrt x) (- y t)) (/ (sqrt x) (/ z 2.0)) (/ 1 (- y t)) (/ x (/ z 2.0)) (/ 1 (* (- y t) (/ z 2.0))) (/ (* (- y t) (/ z 2.0)) x) (/ x (- y t)) (/ (* (- y t) (/ z 2.0)) (cbrt x)) (/ (* (- y t) (/ z 2.0)) (sqrt x)) (/ (* (- y t) (/ z 2.0)) x) (/ x (* (- (pow y 3) (pow t 3)) z)) (/ x (* (- (* y y) (* t t)) z)) (/ x (* (- y t) z)) (/ x (* (- (pow y 3) (pow t 3)) (/ z 2.0))) (/ x (* (- (* y y) (* t t)) (/ z 2.0))) (* (- y t) (/ z 2.0)) (+ (log (- y t)) (- (log z) (log 2.0))) (+ (log (- y t)) (log (/ z 2.0))) (log (* (- y t) (/ z 2.0))) (exp (* (- y t) (/ z 2.0))) (* (* (* (- y t) (- y t)) (- y t)) (/ (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (* (- y t) (- y t)) (- y t)) (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0))) (* (cbrt (* (- y t) (/ z 2.0))) (cbrt (* (- y t) (/ z 2.0)))) (cbrt (* (- y t) (/ z 2.0))) (* (* (* (- y t) (/ z 2.0)) (* (- y t) (/ z 2.0))) (* (- y t) (/ z 2.0))) (sqrt (* (- y t) (/ z 2.0))) (sqrt (* (- y t) (/ z 2.0))) (* (- (pow y 3) (pow t 3)) z) (* (+ (* y y) (+ (* t t) (* y t))) 2.0) (* (- (* y y) (* t t)) z) (* (+ y t) 2.0) (* (sqrt (- y t)) (sqrt (/ z 2.0))) (* (sqrt (- y t)) (sqrt (/ z 2.0))) (* (sqrt (- y t)) (/ (sqrt z) (sqrt 2.0))) (* (sqrt (- y t)) (/ (sqrt z) (sqrt 2.0))) (* (- y t) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (* (- y t) (sqrt (/ z 2.0))) (* (- y t) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (* (- y t) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (* (- y t) (/ (* (cbrt z) (cbrt z)) 1)) (* (- y t) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0)))) (* (- y t) (/ (sqrt z) (sqrt 2.0))) (* (- y t) (/ (sqrt z) 1)) (* (- y t) (/ 1 (* (cbrt 2.0) (cbrt 2.0)))) (* (- y t) (/ 1 (sqrt 2.0))) (* (- y t) (/ 1 1)) (* (- y t) 1) (* (- y t) z) (* (cbrt (- y t)) (/ z 2.0)) (* (sqrt (- y t)) (/ z 2.0)) (* (- y t) (/ z 2.0)) (* (- (sqrt y) (sqrt t)) (/ z 2.0)) (* (- y t) (/ z 2.0)) (* (- y t) z) (* (- (pow y 3) (pow t 3)) (/ z 2.0)) (* (- (* y y) (* t t)) (/ z 2.0)) 0 0 0 0 (- (* 0.5 (* z y)) (* 0.5 (* t z))) (- (* 0.5 (* z y)) (* 0.5 (* t z))) 0.943 * * [simplify]: iteration 0 : 137 enodes (cost 819 ) 0.968 * * [simplify]: iteration 1 : 341 enodes (cost 790 ) 1.041 * * [simplify]: iteration 2 : 1333 enodes (cost 672 ) 1.509 * * [simplify]: iteration done : 5000 enodes (cost 672 ) 1.509 * [simplify]: Simplified to: (log (/ x (* (- y t) (/ z 2.0)))) (log (/ x (* (- y t) (/ z 2.0)))) (log (/ x (* (- y t) (/ z 2.0)))) (log (/ x (* (- y t) (/ z 2.0)))) (exp (/ x (* (- y t) (/ z 2.0)))) (pow (/ x (* (- y t) (/ z 2.0))) 3) (pow (/ x (* (- y t) (/ z 2.0))) 3) (pow (/ x (* (- y t) (/ z 2.0))) 3) (* (cbrt (/ x (* (- y t) (/ z 2.0)))) (cbrt (/ x (* (- y t) (/ z 2.0))))) (cbrt (/ x (* (- y t) (/ z 2.0)))) (pow (/ x (* (- y t) (/ z 2.0))) 3) (sqrt (/ x (* (- y t) (/ z 2.0)))) (sqrt (/ x (* (- y t) (/ z 2.0)))) (- x) (- (* (- y t) (/ z 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0)) (/ (sqrt x) (- y t)) (/ (sqrt x) (/ z 2.0)) (/ 1 (- y t)) (/ x (/ z 2.0)) (/ 1 (* (- y t) (/ z 2.0))) (/ (* (- y t) (/ z 2.0)) x) (/ x (- y t)) (/ (* (- y t) (/ z 2.0)) (cbrt x)) (/ (* (- y t) (/ z 2.0)) (sqrt x)) (/ (* (- y t) (/ z 2.0)) x) (/ x (* (- (pow y 3) (pow t 3)) z)) (/ x (* (- (* y y) (* t t)) z)) (/ x (* (- y t) z)) (/ x (* (- (pow y 3) (pow t 3)) (/ z 2.0))) (/ x (* (- (* y y) (* t t)) (/ z 2.0))) (* (- y t) (/ z 2.0)) (log (* (- y t) (/ z 2.0))) (log (* (- y t) (/ z 2.0))) (log (* (- y t) (/ z 2.0))) (exp (* (- y t) (/ z 2.0))) (pow (* (- y t) (/ z 2.0)) 3) (pow (* (- y t) (/ z 2.0)) 3) (* (cbrt (* (- y t) (/ z 2.0))) (cbrt (* (- y t) (/ z 2.0)))) (cbrt (* (- y t) (/ z 2.0))) (pow (* (- y t) (/ z 2.0)) 3) (sqrt (* (- y t) (/ z 2.0))) (sqrt (* (- y t) (/ z 2.0))) (* (- (pow y 3) (pow t 3)) z) (* 2.0 (+ (* y y) (* t (+ y t)))) (* (- (* y y) (* t t)) z) (* (+ y t) 2.0) (* (sqrt (- y t)) (sqrt (/ z 2.0))) (* (sqrt (- y t)) (sqrt (/ z 2.0))) (* (sqrt (- y t)) (/ (sqrt z) (sqrt 2.0))) (* (sqrt (- y t)) (/ (sqrt z) (sqrt 2.0))) (* (- y t) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (* (- y t) (sqrt (/ z 2.0))) (* (- y t) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (* (- y t) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (* (* (cbrt z) (cbrt z)) (- y t)) (* (- y t) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0)))) (* (- y t) (/ (sqrt z) (sqrt 2.0))) (* (- y t) (sqrt z)) (/ (- y t) (* (cbrt 2.0) (cbrt 2.0))) (/ (- y t) (sqrt 2.0)) (- y t) (- y t) (* (- y t) z) (* (cbrt (- y t)) (/ z 2.0)) (* (sqrt (- y t)) (/ z 2.0)) (* (- y t) (/ z 2.0)) (* (- (sqrt y) (sqrt t)) (/ z 2.0)) (* (- y t) (/ z 2.0)) (* (- y t) z) (* (- (pow y 3) (pow t 3)) (/ z 2.0)) (* (- (* y y) (* t t)) (/ z 2.0)) 0 0 0 0 (* 0.5 (* (- y t) z)) (* 0.5 (* (- y t) z)) 1.510 * * * [progress]: adding candidates to table 1.655 * * [progress]: iteration 3 / 4 1.655 * * * [progress]: picking best candidate 1.670 * * * * [pick]: Picked # 1.670 * * * [progress]: localizing error 1.680 * * * [progress]: generating rewritten candidates 1.680 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.739 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.739 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.740 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.750 * * * [progress]: generating series expansions 1.750 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.751 * [approximate]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in (x y t z) around 0 1.751 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in z 1.751 * [taylor]: Taking taylor expansion of 2.0 in z 1.751 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in z 1.751 * [taylor]: Taking taylor expansion of x in z 1.751 * [taylor]: Taking taylor expansion of (* (- y t) z) in z 1.751 * [taylor]: Taking taylor expansion of (- y t) in z 1.751 * [taylor]: Taking taylor expansion of y in z 1.751 * [taylor]: Taking taylor expansion of t in z 1.751 * [taylor]: Taking taylor expansion of z in z 1.752 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in t 1.752 * [taylor]: Taking taylor expansion of 2.0 in t 1.752 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in t 1.752 * [taylor]: Taking taylor expansion of x in t 1.752 * [taylor]: Taking taylor expansion of (* (- y t) z) in t 1.752 * [taylor]: Taking taylor expansion of (- y t) in t 1.752 * [taylor]: Taking taylor expansion of y in t 1.752 * [taylor]: Taking taylor expansion of t in t 1.752 * [taylor]: Taking taylor expansion of z in t 1.752 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in y 1.752 * [taylor]: Taking taylor expansion of 2.0 in y 1.752 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in y 1.752 * [taylor]: Taking taylor expansion of x in y 1.752 * [taylor]: Taking taylor expansion of (* (- y t) z) in y 1.753 * [taylor]: Taking taylor expansion of (- y t) in y 1.753 * [taylor]: Taking taylor expansion of y in y 1.753 * [taylor]: Taking taylor expansion of t in y 1.753 * [taylor]: Taking taylor expansion of z in y 1.753 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x 1.753 * [taylor]: Taking taylor expansion of 2.0 in x 1.753 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x 1.753 * [taylor]: Taking taylor expansion of x in x 1.753 * [taylor]: Taking taylor expansion of (* (- y t) z) in x 1.753 * [taylor]: Taking taylor expansion of (- y t) in x 1.753 * [taylor]: Taking taylor expansion of y in x 1.753 * [taylor]: Taking taylor expansion of t in x 1.753 * [taylor]: Taking taylor expansion of z in x 1.753 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x 1.753 * [taylor]: Taking taylor expansion of 2.0 in x 1.753 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x 1.753 * [taylor]: Taking taylor expansion of x in x 1.753 * [taylor]: Taking taylor expansion of (* (- y t) z) in x 1.753 * [taylor]: Taking taylor expansion of (- y t) in x 1.753 * [taylor]: Taking taylor expansion of y in x 1.753 * [taylor]: Taking taylor expansion of t in x 1.753 * [taylor]: Taking taylor expansion of z in x 1.753 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in y 1.753 * [taylor]: Taking taylor expansion of 2.0 in y 1.753 * [taylor]: Taking taylor expansion of (* (- y t) z) in y 1.753 * [taylor]: Taking taylor expansion of (- y t) in y 1.753 * [taylor]: Taking taylor expansion of y in y 1.753 * [taylor]: Taking taylor expansion of t in y 1.753 * [taylor]: Taking taylor expansion of z in y 1.754 * [taylor]: Taking taylor expansion of (/ -2.0 (* t z)) in t 1.754 * [taylor]: Taking taylor expansion of -2.0 in t 1.754 * [taylor]: Taking taylor expansion of (* t z) in t 1.754 * [taylor]: Taking taylor expansion of t in t 1.754 * [taylor]: Taking taylor expansion of z in t 1.755 * [taylor]: Taking taylor expansion of 0 in z 1.756 * [taylor]: Taking taylor expansion of 0 in y 1.756 * [taylor]: Taking taylor expansion of 0 in t 1.756 * [taylor]: Taking taylor expansion of 0 in z 1.756 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 2) z)))) in t 1.756 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 2) z))) in t 1.756 * [taylor]: Taking taylor expansion of 2.0 in t 1.756 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) z)) in t 1.756 * [taylor]: Taking taylor expansion of (* (pow t 2) z) in t 1.756 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.756 * [taylor]: Taking taylor expansion of t in t 1.756 * [taylor]: Taking taylor expansion of z in t 1.759 * [taylor]: Taking taylor expansion of 0 in z 1.760 * [taylor]: Taking taylor expansion of 0 in z 1.762 * [taylor]: Taking taylor expansion of 0 in y 1.762 * [taylor]: Taking taylor expansion of 0 in t 1.762 * [taylor]: Taking taylor expansion of 0 in z 1.762 * [taylor]: Taking taylor expansion of 0 in t 1.762 * [taylor]: Taking taylor expansion of 0 in z 1.763 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 3) z)))) in t 1.763 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 3) z))) in t 1.763 * [taylor]: Taking taylor expansion of 2.0 in t 1.763 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) z)) in t 1.763 * [taylor]: Taking taylor expansion of (* (pow t 3) z) in t 1.763 * [taylor]: Taking taylor expansion of (pow t 3) in t 1.763 * [taylor]: Taking taylor expansion of t in t 1.763 * [taylor]: Taking taylor expansion of z in t 1.769 * [taylor]: Taking taylor expansion of 0 in z 1.769 * [taylor]: Taking taylor expansion of 0 in z 1.771 * [taylor]: Taking taylor expansion of 0 in z 1.772 * [taylor]: Taking taylor expansion of 0 in z 1.775 * [taylor]: Taking taylor expansion of 0 in y 1.775 * [taylor]: Taking taylor expansion of 0 in t 1.775 * [taylor]: Taking taylor expansion of 0 in z 1.775 * [taylor]: Taking taylor expansion of 0 in t 1.775 * [taylor]: Taking taylor expansion of 0 in z 1.775 * [taylor]: Taking taylor expansion of 0 in t 1.775 * [taylor]: Taking taylor expansion of 0 in z 1.776 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 4) z)))) in t 1.776 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 4) z))) in t 1.776 * [taylor]: Taking taylor expansion of 2.0 in t 1.776 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 4) z)) in t 1.776 * [taylor]: Taking taylor expansion of (* (pow t 4) z) in t 1.776 * [taylor]: Taking taylor expansion of (pow t 4) in t 1.776 * [taylor]: Taking taylor expansion of t in t 1.776 * [taylor]: Taking taylor expansion of z in t 1.785 * [taylor]: Taking taylor expansion of 0 in z 1.785 * [taylor]: Taking taylor expansion of 0 in z 1.785 * [taylor]: Taking taylor expansion of 0 in z 1.788 * [taylor]: Taking taylor expansion of 0 in z 1.789 * [taylor]: Taking taylor expansion of 0 in z 1.791 * [taylor]: Taking taylor expansion of 0 in z 1.793 * [taylor]: Taking taylor expansion of 0 in z 1.793 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in (x y t z) around 0 1.793 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in z 1.793 * [taylor]: Taking taylor expansion of 2.0 in z 1.793 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in z 1.794 * [taylor]: Taking taylor expansion of z in z 1.794 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z 1.794 * [taylor]: Taking taylor expansion of x in z 1.794 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z 1.794 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.794 * [taylor]: Taking taylor expansion of y in z 1.794 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.794 * [taylor]: Taking taylor expansion of t in z 1.794 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in t 1.794 * [taylor]: Taking taylor expansion of 2.0 in t 1.794 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in t 1.794 * [taylor]: Taking taylor expansion of z in t 1.794 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t 1.794 * [taylor]: Taking taylor expansion of x in t 1.794 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t 1.794 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.794 * [taylor]: Taking taylor expansion of y in t 1.794 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.794 * [taylor]: Taking taylor expansion of t in t 1.795 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in y 1.795 * [taylor]: Taking taylor expansion of 2.0 in y 1.795 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in y 1.795 * [taylor]: Taking taylor expansion of z in y 1.795 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y 1.795 * [taylor]: Taking taylor expansion of x in y 1.795 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y 1.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.795 * [taylor]: Taking taylor expansion of y in y 1.795 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.795 * [taylor]: Taking taylor expansion of t in y 1.796 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x 1.796 * [taylor]: Taking taylor expansion of 2.0 in x 1.796 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x 1.796 * [taylor]: Taking taylor expansion of z in x 1.796 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x 1.796 * [taylor]: Taking taylor expansion of x in x 1.796 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x 1.796 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.796 * [taylor]: Taking taylor expansion of y in x 1.796 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.796 * [taylor]: Taking taylor expansion of t in x 1.797 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x 1.797 * [taylor]: Taking taylor expansion of 2.0 in x 1.797 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x 1.797 * [taylor]: Taking taylor expansion of z in x 1.797 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x 1.797 * [taylor]: Taking taylor expansion of x in x 1.797 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x 1.797 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.797 * [taylor]: Taking taylor expansion of y in x 1.797 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.797 * [taylor]: Taking taylor expansion of t in x 1.798 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in y 1.798 * [taylor]: Taking taylor expansion of 2.0 in y 1.799 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in y 1.799 * [taylor]: Taking taylor expansion of z in y 1.799 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y 1.799 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.799 * [taylor]: Taking taylor expansion of y in y 1.799 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.799 * [taylor]: Taking taylor expansion of t in y 1.799 * [taylor]: Taking taylor expansion of (* 2.0 z) in t 1.799 * [taylor]: Taking taylor expansion of 2.0 in t 1.799 * [taylor]: Taking taylor expansion of z in t 1.800 * [taylor]: Taking taylor expansion of 0 in z 1.801 * [taylor]: Taking taylor expansion of 0 in y 1.801 * [taylor]: Taking taylor expansion of 0 in t 1.801 * [taylor]: Taking taylor expansion of 0 in z 1.802 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t 1.802 * [taylor]: Taking taylor expansion of 2.0 in t 1.802 * [taylor]: Taking taylor expansion of (/ z t) in t 1.802 * [taylor]: Taking taylor expansion of z in t 1.802 * [taylor]: Taking taylor expansion of t in t 1.808 * [taylor]: Taking taylor expansion of 0 in z 1.809 * [taylor]: Taking taylor expansion of 0 in z 1.811 * [taylor]: Taking taylor expansion of 0 in y 1.811 * [taylor]: Taking taylor expansion of 0 in t 1.811 * [taylor]: Taking taylor expansion of 0 in z 1.812 * [approximate]: Taking taylor expansion of (* -2.0 (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x))) in (x y t z) around 0 1.812 * [taylor]: Taking taylor expansion of (* -2.0 (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x))) in z 1.812 * [taylor]: Taking taylor expansion of -2.0 in z 1.812 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x)) in z 1.812 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in z 1.812 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 1.812 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.812 * [taylor]: Taking taylor expansion of -1 in z 1.813 * [taylor]: Taking taylor expansion of z in z 1.813 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in z 1.813 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z 1.813 * [taylor]: Taking taylor expansion of (/ 1 t) in z 1.813 * [taylor]: Taking taylor expansion of t in z 1.813 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.813 * [taylor]: Taking taylor expansion of y in z 1.813 * [taylor]: Taking taylor expansion of x in z 1.819 * [taylor]: Taking taylor expansion of (* -2.0 (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x))) in t 1.819 * [taylor]: Taking taylor expansion of -2.0 in t 1.819 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x)) in t 1.819 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in t 1.819 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t 1.819 * [taylor]: Taking taylor expansion of (cbrt -1) in t 1.819 * [taylor]: Taking taylor expansion of -1 in t 1.820 * [taylor]: Taking taylor expansion of z in t 1.820 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in t 1.820 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t 1.820 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.820 * [taylor]: Taking taylor expansion of t in t 1.820 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.820 * [taylor]: Taking taylor expansion of y in t 1.820 * [taylor]: Taking taylor expansion of x in t 1.823 * [taylor]: Taking taylor expansion of (* -2.0 (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x))) in y 1.823 * [taylor]: Taking taylor expansion of -2.0 in y 1.823 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x)) in y 1.823 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y 1.823 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 1.823 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.823 * [taylor]: Taking taylor expansion of -1 in y 1.824 * [taylor]: Taking taylor expansion of z in y 1.824 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in y 1.824 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y 1.824 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.824 * [taylor]: Taking taylor expansion of t in y 1.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.824 * [taylor]: Taking taylor expansion of y in y 1.824 * [taylor]: Taking taylor expansion of x in y 1.828 * [taylor]: Taking taylor expansion of (* -2.0 (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x))) in x 1.828 * [taylor]: Taking taylor expansion of -2.0 in x 1.828 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x)) in x 1.828 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x 1.828 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 1.828 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.828 * [taylor]: Taking taylor expansion of -1 in x 1.829 * [taylor]: Taking taylor expansion of z in x 1.829 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in x 1.829 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x 1.829 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.829 * [taylor]: Taking taylor expansion of t in x 1.829 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.829 * [taylor]: Taking taylor expansion of y in x 1.829 * [taylor]: Taking taylor expansion of x in x 1.833 * [taylor]: Taking taylor expansion of (* -2.0 (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x))) in x 1.833 * [taylor]: Taking taylor expansion of -2.0 in x 1.833 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x)) in x 1.833 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x 1.833 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 1.833 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.833 * [taylor]: Taking taylor expansion of -1 in x 1.834 * [taylor]: Taking taylor expansion of z in x 1.834 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in x 1.834 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x 1.834 * [taylor]: Taking taylor expansion of (/ 1 t) in x 1.834 * [taylor]: Taking taylor expansion of t in x 1.834 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.834 * [taylor]: Taking taylor expansion of y in x 1.834 * [taylor]: Taking taylor expansion of x in x 1.838 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 t) (/ 1 y)))) in y 1.838 * [taylor]: Taking taylor expansion of 2.0 in y 1.838 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in y 1.838 * [taylor]: Taking taylor expansion of z in y 1.838 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y 1.838 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.838 * [taylor]: Taking taylor expansion of t in y 1.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.838 * [taylor]: Taking taylor expansion of y in y 1.839 * [taylor]: Taking taylor expansion of (* -2.0 z) in t 1.839 * [taylor]: Taking taylor expansion of -2.0 in t 1.839 * [taylor]: Taking taylor expansion of z in t 1.839 * [taylor]: Taking taylor expansion of 0 in z 1.842 * [taylor]: Taking taylor expansion of 0 in y 1.842 * [taylor]: Taking taylor expansion of 0 in t 1.842 * [taylor]: Taking taylor expansion of 0 in z 1.844 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ z t))) in t 1.844 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t 1.844 * [taylor]: Taking taylor expansion of 2.0 in t 1.844 * [taylor]: Taking taylor expansion of (/ z t) in t 1.844 * [taylor]: Taking taylor expansion of z in t 1.844 * [taylor]: Taking taylor expansion of t in t 1.846 * [taylor]: Taking taylor expansion of 0 in z 1.847 * [taylor]: Taking taylor expansion of 0 in z 1.851 * [taylor]: Taking taylor expansion of 0 in y 1.851 * [taylor]: Taking taylor expansion of 0 in t 1.851 * [taylor]: Taking taylor expansion of 0 in z 1.851 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.852 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.852 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.852 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.852 * [taylor]: Taking taylor expansion of 1/3 in x 1.852 * [taylor]: Taking taylor expansion of (log x) in x 1.852 * [taylor]: Taking taylor expansion of x in x 1.852 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.852 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.852 * [taylor]: Taking taylor expansion of 1/3 in x 1.852 * [taylor]: Taking taylor expansion of (log x) in x 1.852 * [taylor]: Taking taylor expansion of x in x 1.905 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.905 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.905 * [taylor]: Taking taylor expansion of 1/3 in x 1.905 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.905 * [taylor]: Taking taylor expansion of x in x 1.906 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.906 * [taylor]: Taking taylor expansion of 1/3 in x 1.906 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.906 * [taylor]: Taking taylor expansion of x in x 1.957 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.957 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.957 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.957 * [taylor]: Taking taylor expansion of -1 in x 1.958 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.958 * [taylor]: Taking taylor expansion of 1/3 in x 1.958 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.958 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.958 * [taylor]: Taking taylor expansion of x in x 1.959 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.959 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.959 * [taylor]: Taking taylor expansion of -1 in x 1.963 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.963 * [taylor]: Taking taylor expansion of 1/3 in x 1.963 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.963 * [taylor]: Taking taylor expansion of x in x 2.026 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 2.026 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.026 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.026 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.026 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.026 * [taylor]: Taking taylor expansion of 1/3 in x 2.026 * [taylor]: Taking taylor expansion of (log x) in x 2.026 * [taylor]: Taking taylor expansion of x in x 2.026 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.026 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.026 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.026 * [taylor]: Taking taylor expansion of 1/3 in x 2.026 * [taylor]: Taking taylor expansion of (log x) in x 2.026 * [taylor]: Taking taylor expansion of x in x 2.077 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.077 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.077 * [taylor]: Taking taylor expansion of 1/3 in x 2.077 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.078 * [taylor]: Taking taylor expansion of x in x 2.078 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.078 * [taylor]: Taking taylor expansion of 1/3 in x 2.078 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.079 * [taylor]: Taking taylor expansion of x in x 2.133 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.133 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.133 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.133 * [taylor]: Taking taylor expansion of -1 in x 2.134 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.134 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.134 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.134 * [taylor]: Taking taylor expansion of 1/3 in x 2.134 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.134 * [taylor]: Taking taylor expansion of x in x 2.135 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.135 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.135 * [taylor]: Taking taylor expansion of -1 in x 2.135 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.135 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.135 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.136 * [taylor]: Taking taylor expansion of 1/3 in x 2.136 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.136 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.136 * [taylor]: Taking taylor expansion of x in x 2.203 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 2.203 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.203 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.203 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.203 * [taylor]: Taking taylor expansion of 1/3 in x 2.203 * [taylor]: Taking taylor expansion of (log x) in x 2.203 * [taylor]: Taking taylor expansion of x in x 2.203 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.203 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.203 * [taylor]: Taking taylor expansion of 1/3 in x 2.203 * [taylor]: Taking taylor expansion of (log x) in x 2.203 * [taylor]: Taking taylor expansion of x in x 2.251 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.251 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.251 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.251 * [taylor]: Taking taylor expansion of 1/3 in x 2.251 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.251 * [taylor]: Taking taylor expansion of x in x 2.252 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.252 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.252 * [taylor]: Taking taylor expansion of 1/3 in x 2.252 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.252 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.252 * [taylor]: Taking taylor expansion of x in x 2.307 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.307 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.307 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.307 * [taylor]: Taking taylor expansion of -1 in x 2.308 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.308 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.308 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.308 * [taylor]: Taking taylor expansion of 1/3 in x 2.308 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.308 * [taylor]: Taking taylor expansion of x in x 2.309 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.309 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.309 * [taylor]: Taking taylor expansion of -1 in x 2.310 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.310 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.310 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.310 * [taylor]: Taking taylor expansion of 1/3 in x 2.310 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.310 * [taylor]: Taking taylor expansion of x in x 2.376 * * * [progress]: simplifying candidates 2.379 * [simplify]: Simplifying using # : (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (- y t))) (- (log (cbrt x)) (- (log z) (log 2.0)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (- y t))) (- (log (cbrt x)) (log (/ z 2.0)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (- y t))) (log (/ (cbrt x) (/ z 2.0)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (- y t))) (- (log (cbrt x)) (- (log z) (log 2.0)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (- y t))) (- (log (cbrt x)) (log (/ z 2.0)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (- y t))) (log (/ (cbrt x) (/ z 2.0)))) (+ (log (/ (* (cbrt x) (cbrt x)) (- y t))) (- (log (cbrt x)) (- (log z) (log 2.0)))) (+ (log (/ (* (cbrt x) (cbrt x)) (- y t))) (- (log (cbrt x)) (log (/ z 2.0)))) (+ (log (/ (* (cbrt x) (cbrt x)) (- y t))) (log (/ (cbrt x) (/ z 2.0)))) (log (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0)))) (exp (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0)))) (* (/ (* x x) (* (* (- y t) (- y t)) (- y t))) (/ x (/ (* (* z z) z) (* (* 2.0 2.0) 2.0)))) (* (/ (* x x) (* (* (- y t) (- y t)) (- y t))) (/ x (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0)))) (* (/ (* x x) (* (* (- y t) (- y t)) (- y t))) (* (* (/ (cbrt x) (/ z 2.0)) (/ (cbrt x) (/ z 2.0))) (/ (cbrt x) (/ z 2.0)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (- y t) (- y t)) (- y t))) (/ x (/ (* (* z z) z) (* (* 2.0 2.0) 2.0)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (- y t) (- y t)) (- y t))) (/ x (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (- y t) (- y t)) (- y t))) (* (* (/ (cbrt x) (/ z 2.0)) (/ (cbrt x) (/ z 2.0))) (/ (cbrt x) (/ z 2.0)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ x (/ (* (* z z) z) (* (* 2.0 2.0) 2.0)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ x (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (* (/ (cbrt x) (/ z 2.0)) (/ (cbrt x) (/ z 2.0))) (/ (cbrt x) (/ z 2.0)))) (* (cbrt (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0)))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0))))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0)))) (sqrt (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0)))) (sqrt (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0)))) (* (* (cbrt x) (cbrt x)) (cbrt x)) (* (- y t) (/ z 2.0)) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (sqrt (/ (cbrt x) (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (sqrt (/ (cbrt x) (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (sqrt x)) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (sqrt x)) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (sqrt (cbrt x)) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (sqrt (cbrt x)) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (sqrt (cbrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (sqrt (cbrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (sqrt (/ (cbrt x) (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (sqrt (/ (cbrt x) (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (sqrt x)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (sqrt x)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (sqrt (cbrt x)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (sqrt (cbrt x)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (sqrt (cbrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (sqrt (cbrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (/ (cbrt x) (/ z 2.0))) (cbrt (/ (cbrt x) (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (/ (cbrt x) (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) 1) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt x)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) z)) (* (cbrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt x) (/ z 2.0))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt x) (/ z 2.0))) (* (/ (cbrt x) (cbrt (- y t))) (/ (cbrt x) (/ z 2.0))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt x) (/ z 2.0))) (* (/ (cbrt x) (- y t)) (/ (cbrt x) (/ z 2.0))) (* (/ (cbrt x) (- (sqrt y) (sqrt t))) (/ (cbrt x) (/ z 2.0))) (* (/ (cbrt x) (- y t)) (/ (cbrt x) (/ z 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt x) (/ z 2.0))) (* (/ 1 (- y t)) (/ (cbrt x) (/ z 2.0))) (* (+ (* y y) (+ (* t t) (* y t))) (/ (cbrt x) (/ z 2.0))) (* (+ y t) (/ (cbrt x) (/ z 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt x)) (* (* (cbrt x) (cbrt x)) (/ (cbrt x) (/ z 2.0))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) 0 0 0 (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 2.388 * * [simplify]: iteration 0 : 313 enodes (cost 3137 ) 2.535 * * [simplify]: iteration 1 : 1018 enodes (cost 2945 ) 2.901 * * [simplify]: iteration 2 : 4422 enodes (cost 2357 ) 4.004 * * [simplify]: iteration done : 5000 enodes (cost 2357 ) 4.006 * [simplify]: Simplified to: (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t)) (log (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (log (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (log (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (log (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (log (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (log (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (log (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (log (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (log (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (log (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (exp (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (/ (/ x (/ (pow (- y t) 3) x)) (/ (pow (/ z 2.0) 3) x)) (/ (/ x (/ (pow (- y t) 3) x)) (/ (pow (/ z 2.0) 3) x)) (* (/ x (/ (pow (- y t) 3) x)) (pow (/ (cbrt x) (/ z 2.0)) 3)) (/ (pow (/ (pow x 2/3) (- y t)) 3) (/ (pow (/ z 2.0) 3) x)) (/ (pow (/ (pow x 2/3) (- y t)) 3) (/ (pow (/ z 2.0) 3) x)) (pow (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t)) 3) (/ (pow (/ (pow x 2/3) (- y t)) 3) (/ (pow (/ z 2.0) 3) x)) (/ (pow (/ (pow x 2/3) (- y t)) 3) (/ (pow (/ z 2.0) 3) x)) (pow (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t)) 3) (* (cbrt (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (cbrt (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t)))) (cbrt (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (pow (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t)) 3) (sqrt (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (sqrt (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t))) (pow (cbrt x) 3) (* (- y t) (/ z 2.0)) (* (sqrt (/ (cbrt x) (/ z 2.0))) (sqrt (/ (pow x 2/3) (- y t)))) (* (sqrt (/ (cbrt x) (/ z 2.0))) (sqrt (/ (pow x 2/3) (- y t)))) (/ (sqrt (/ (pow x 2/3) (- y t))) (/ (sqrt (/ z 2.0)) (cbrt (sqrt x)))) (/ (sqrt (/ (pow x 2/3) (- y t))) (/ (sqrt (/ z 2.0)) (cbrt (sqrt x)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (sqrt (/ (pow x 2/3) (- y t)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (sqrt (/ (pow x 2/3) (- y t)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (sqrt (/ (pow x 2/3) (- y t)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (sqrt (/ (pow x 2/3) (- y t)))) (* (sqrt (/ (pow x 2/3) (- y t))) (/ (sqrt (cbrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (pow x 2/3) (- y t))) (/ (sqrt (cbrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (sqrt (/ (cbrt x) (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (sqrt (/ (cbrt x) (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (sqrt x)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (sqrt x)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (sqrt (cbrt x)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (sqrt (cbrt x)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (sqrt (cbrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (sqrt (cbrt x)) (/ (sqrt z) (sqrt 2.0)))) (/ (pow x 2/3) (/ (- y t) (* (cbrt (/ (cbrt x) (/ z 2.0))) (cbrt (/ (cbrt x) (/ z 2.0)))))) (/ (pow x 2/3) (/ (- y t) (sqrt (/ (cbrt x) (/ z 2.0))))) (/ (/ (pow x 2/3) (/ (- y t) (cbrt (pow x 2/3)))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (/ (pow x 2/3) (/ (- y t) (/ (cbrt (pow x 2/3)) (sqrt (/ z 2.0))))) (* (/ (pow x 2/3) (- y t)) (* (/ (cbrt (pow x 2/3)) (* (cbrt z) (cbrt z))) (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow x 2/3) (/ (- y t) (/ (cbrt (pow x 2/3)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))))) (* (/ (pow x 2/3) (- y t)) (/ (cbrt (pow x 2/3)) (* (cbrt z) (cbrt z)))) (* (* (/ (cbrt (pow x 2/3)) (sqrt z)) (* (cbrt 2.0) (cbrt 2.0))) (/ (pow x 2/3) (- y t))) (/ (* (pow x 2/3) (/ (cbrt (pow x 2/3)) (/ (sqrt z) (sqrt 2.0)))) (- y t)) (* (/ (cbrt (pow x 2/3)) (sqrt z)) (/ (pow x 2/3) (- y t))) (* (/ (pow x 2/3) (- y t)) (* (* (cbrt 2.0) (cbrt 2.0)) (cbrt (pow x 2/3)))) (* (/ (pow x 2/3) (/ (- y t) (cbrt (pow x 2/3)))) (sqrt 2.0)) (/ (pow x 2/3) (/ (- y t) (cbrt (pow x 2/3)))) (/ (pow x 2/3) (/ (- y t) (cbrt (pow x 2/3)))) (/ (pow x 2/3) (/ (- y t) (/ (cbrt (pow x 2/3)) z))) (/ (* (/ (cbrt (sqrt x)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (pow x 2/3)) (- y t)) (/ (pow x 2/3) (/ (- y t) (/ (cbrt (sqrt x)) (sqrt (/ z 2.0))))) (/ (pow x 2/3) (/ (- y t) (/ (cbrt (sqrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))))) (/ (/ (* (cbrt (sqrt x)) (pow x 2/3)) (- y t)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (* (pow x 2/3) (/ (cbrt (sqrt x)) (* (cbrt z) (cbrt z)))) (- y t)) (* (/ (pow x 2/3) (/ (- y t) (/ (cbrt (sqrt x)) (sqrt z)))) (* (cbrt 2.0) (cbrt 2.0))) (/ (pow x 2/3) (/ (- y t) (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))))) (/ (pow x 2/3) (/ (- y t) (/ (cbrt (sqrt x)) (sqrt z)))) (/ (* (pow x 2/3) (* (cbrt (sqrt x)) (* (cbrt 2.0) (cbrt 2.0)))) (- y t)) (/ (pow x 2/3) (/ (- y t) (* (cbrt (sqrt x)) (sqrt 2.0)))) (/ (* (cbrt (sqrt x)) (pow x 2/3)) (- y t)) (/ (* (cbrt (sqrt x)) (pow x 2/3)) (- y t)) (/ (pow x 2/3) (/ (- y t) (/ (cbrt (sqrt x)) z))) (/ (/ (pow x 2/3) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (- y t)) (/ (pow x 2/3) (* (sqrt (/ z 2.0)) (- y t))) (/ (pow x 2/3) (* (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))) (- y t))) (/ (* (pow x 2/3) (/ (sqrt 2.0) (* (cbrt z) (cbrt z)))) (- y t)) (/ (/ (pow x 2/3) (* (cbrt z) (cbrt z))) (- y t)) (/ (pow x 2/3) (* (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))) (- y t))) (/ (pow x 2/3) (* (/ (sqrt z) (sqrt 2.0)) (- y t))) (/ (pow x 2/3) (* (sqrt z) (- y t))) (/ (pow x 2/3) (/ (- y t) (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow x 2/3) (/ (- y t) (sqrt 2.0))) (/ (pow x 2/3) (- y t)) (/ (pow x 2/3) (- y t)) (/ (pow x 2/3) (* (- y t) z)) (/ (/ (pow x 2/3) (/ (- y t) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (/ (* (pow x 2/3) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (sqrt (/ z 2.0)))) (- y t)) (/ (/ (pow x 2/3) (/ (- y t) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (/ (* (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (pow x 2/3)) (- y t)) (/ (/ (pow x 2/3) (/ (- y t) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (cbrt z) (cbrt z))) (/ (/ (pow x 2/3) (/ (- y t) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ (pow x 2/3) (/ (- y t) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (/ (sqrt z) (sqrt 2.0))) (/ (/ (pow x 2/3) (/ (- y t) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (sqrt z)) (/ (* (pow x 2/3) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt 2.0) (cbrt 2.0)))) (- y t)) (/ (* (pow x 2/3) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (sqrt 2.0))) (- y t)) (/ (pow x 2/3) (/ (- y t) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (/ (pow x 2/3) (/ (- y t) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (/ (pow x 2/3) (/ (- y t) (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) z))) (/ (pow x 2/3) (/ (- y t) (/ (sqrt (cbrt x)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))))) (/ (* (pow x 2/3) (sqrt (cbrt x))) (* (sqrt (/ z 2.0)) (- y t))) (/ (* (/ (sqrt (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (pow x 2/3)) (- y t)) (/ (/ (pow x 2/3) (/ (- y t) (sqrt (cbrt x)))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (* (pow x 2/3) (/ (sqrt (cbrt x)) (* (cbrt z) (cbrt z)))) (- y t)) (/ (* (pow x 2/3) (/ (sqrt (cbrt x)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (- y t)) (/ (pow x 2/3) (/ (- y t) (/ (sqrt (cbrt x)) (/ (sqrt z) (sqrt 2.0))))) (/ (pow x 2/3) (/ (- y t) (/ (sqrt (cbrt x)) (sqrt z)))) (/ (* (pow x 2/3) (* (sqrt (cbrt x)) (* (cbrt 2.0) (cbrt 2.0)))) (- y t)) (* (/ (pow x 2/3) (/ (- y t) (sqrt (cbrt x)))) (sqrt 2.0)) (/ (pow x 2/3) (/ (- y t) (sqrt (cbrt x)))) (/ (pow x 2/3) (/ (- y t) (sqrt (cbrt x)))) (/ (* (pow x 2/3) (/ (sqrt (cbrt x)) z)) (- y t)) (/ (/ (pow x 2/3) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (- y t)) (/ (pow x 2/3) (* (sqrt (/ z 2.0)) (- y t))) (/ (pow x 2/3) (* (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))) (- y t))) (/ (* (pow x 2/3) (/ (sqrt 2.0) (* (cbrt z) (cbrt z)))) (- y t)) (/ (/ (pow x 2/3) (* (cbrt z) (cbrt z))) (- y t)) (/ (pow x 2/3) (* (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))) (- y t))) (/ (pow x 2/3) (* (/ (sqrt z) (sqrt 2.0)) (- y t))) (/ (pow x 2/3) (* (sqrt z) (- y t))) (/ (pow x 2/3) (/ (- y t) (* (cbrt 2.0) (cbrt 2.0)))) (/ (pow x 2/3) (/ (- y t) (sqrt 2.0))) (/ (pow x 2/3) (- y t)) (/ (pow x 2/3) (- y t)) (/ (pow x 2/3) (* (- y t) z)) (/ (pow x 2/3) (- y t)) (/ (pow (cbrt x) 3) (- y t)) (/ (pow (cbrt x) 3) (* (- y t) z)) (/ (cbrt (/ (pow x 2/3) (- y t))) (/ (/ z 2.0) (cbrt x))) (* (sqrt (/ (pow x 2/3) (- y t))) (/ (cbrt x) (/ z 2.0))) (/ (/ (pow x 2/3) (/ z 2.0)) (cbrt (- y t))) (/ (/ (pow x 2/3) (/ z 2.0)) (sqrt (- y t))) (/ (/ (pow x 2/3) (/ z 2.0)) (- y t)) (* (/ (/ (pow x 2/3) (- (sqrt y) (sqrt t))) z) 2.0) (/ (/ (pow x 2/3) (/ z 2.0)) (- y t)) (/ (/ (pow (cbrt x) 3) (/ z 2.0)) (- y t)) (/ (/ (cbrt x) (/ z 2.0)) (- y t)) (* (/ (cbrt x) (/ z 2.0)) (+ (* t (+ y t)) (* y y))) (* (+ y t) (/ (cbrt x) (/ z 2.0))) (/ (pow (cbrt x) 3) (- y t)) (/ (pow (cbrt x) 3) (/ z 2.0)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) 0 0 0 (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) 4.007 * * * [progress]: adding candidates to table 4.513 * * [progress]: iteration 4 / 4 4.513 * * * [progress]: picking best candidate 4.524 * * * * [pick]: Picked # 4.524 * * * [progress]: localizing error 4.538 * * * [progress]: generating rewritten candidates 4.538 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.677 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 4.679 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 4.681 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 4.715 * * * [progress]: generating series expansions 4.715 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.715 * [approximate]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in (x y t z) around 0 4.715 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in z 4.715 * [taylor]: Taking taylor expansion of 2.0 in z 4.715 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in z 4.715 * [taylor]: Taking taylor expansion of x in z 4.715 * [taylor]: Taking taylor expansion of (* (- y t) z) in z 4.715 * [taylor]: Taking taylor expansion of (- y t) in z 4.715 * [taylor]: Taking taylor expansion of y in z 4.715 * [taylor]: Taking taylor expansion of t in z 4.715 * [taylor]: Taking taylor expansion of z in z 4.716 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in t 4.716 * [taylor]: Taking taylor expansion of 2.0 in t 4.716 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in t 4.716 * [taylor]: Taking taylor expansion of x in t 4.716 * [taylor]: Taking taylor expansion of (* (- y t) z) in t 4.716 * [taylor]: Taking taylor expansion of (- y t) in t 4.716 * [taylor]: Taking taylor expansion of y in t 4.716 * [taylor]: Taking taylor expansion of t in t 4.716 * [taylor]: Taking taylor expansion of z in t 4.717 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in y 4.717 * [taylor]: Taking taylor expansion of 2.0 in y 4.717 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in y 4.717 * [taylor]: Taking taylor expansion of x in y 4.717 * [taylor]: Taking taylor expansion of (* (- y t) z) in y 4.717 * [taylor]: Taking taylor expansion of (- y t) in y 4.717 * [taylor]: Taking taylor expansion of y in y 4.717 * [taylor]: Taking taylor expansion of t in y 4.717 * [taylor]: Taking taylor expansion of z in y 4.717 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x 4.717 * [taylor]: Taking taylor expansion of 2.0 in x 4.717 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x 4.717 * [taylor]: Taking taylor expansion of x in x 4.717 * [taylor]: Taking taylor expansion of (* (- y t) z) in x 4.717 * [taylor]: Taking taylor expansion of (- y t) in x 4.717 * [taylor]: Taking taylor expansion of y in x 4.717 * [taylor]: Taking taylor expansion of t in x 4.717 * [taylor]: Taking taylor expansion of z in x 4.717 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (* (- y t) z))) in x 4.717 * [taylor]: Taking taylor expansion of 2.0 in x 4.717 * [taylor]: Taking taylor expansion of (/ x (* (- y t) z)) in x 4.717 * [taylor]: Taking taylor expansion of x in x 4.717 * [taylor]: Taking taylor expansion of (* (- y t) z) in x 4.717 * [taylor]: Taking taylor expansion of (- y t) in x 4.717 * [taylor]: Taking taylor expansion of y in x 4.717 * [taylor]: Taking taylor expansion of t in x 4.717 * [taylor]: Taking taylor expansion of z in x 4.718 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- y t) z)) in y 4.718 * [taylor]: Taking taylor expansion of 2.0 in y 4.718 * [taylor]: Taking taylor expansion of (* (- y t) z) in y 4.718 * [taylor]: Taking taylor expansion of (- y t) in y 4.718 * [taylor]: Taking taylor expansion of y in y 4.718 * [taylor]: Taking taylor expansion of t in y 4.718 * [taylor]: Taking taylor expansion of z in y 4.718 * [taylor]: Taking taylor expansion of (/ -2.0 (* t z)) in t 4.718 * [taylor]: Taking taylor expansion of -2.0 in t 4.718 * [taylor]: Taking taylor expansion of (* t z) in t 4.718 * [taylor]: Taking taylor expansion of t in t 4.718 * [taylor]: Taking taylor expansion of z in t 4.719 * [taylor]: Taking taylor expansion of 0 in z 4.720 * [taylor]: Taking taylor expansion of 0 in y 4.720 * [taylor]: Taking taylor expansion of 0 in t 4.720 * [taylor]: Taking taylor expansion of 0 in z 4.721 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 2) z)))) in t 4.721 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 2) z))) in t 4.721 * [taylor]: Taking taylor expansion of 2.0 in t 4.721 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) z)) in t 4.721 * [taylor]: Taking taylor expansion of (* (pow t 2) z) in t 4.721 * [taylor]: Taking taylor expansion of (pow t 2) in t 4.721 * [taylor]: Taking taylor expansion of t in t 4.721 * [taylor]: Taking taylor expansion of z in t 4.724 * [taylor]: Taking taylor expansion of 0 in z 4.725 * [taylor]: Taking taylor expansion of 0 in z 4.726 * [taylor]: Taking taylor expansion of 0 in y 4.726 * [taylor]: Taking taylor expansion of 0 in t 4.726 * [taylor]: Taking taylor expansion of 0 in z 4.726 * [taylor]: Taking taylor expansion of 0 in t 4.726 * [taylor]: Taking taylor expansion of 0 in z 4.727 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 3) z)))) in t 4.727 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 3) z))) in t 4.727 * [taylor]: Taking taylor expansion of 2.0 in t 4.727 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) z)) in t 4.727 * [taylor]: Taking taylor expansion of (* (pow t 3) z) in t 4.727 * [taylor]: Taking taylor expansion of (pow t 3) in t 4.727 * [taylor]: Taking taylor expansion of t in t 4.727 * [taylor]: Taking taylor expansion of z in t 4.733 * [taylor]: Taking taylor expansion of 0 in z 4.734 * [taylor]: Taking taylor expansion of 0 in z 4.736 * [taylor]: Taking taylor expansion of 0 in z 4.737 * [taylor]: Taking taylor expansion of 0 in z 4.739 * [taylor]: Taking taylor expansion of 0 in y 4.739 * [taylor]: Taking taylor expansion of 0 in t 4.739 * [taylor]: Taking taylor expansion of 0 in z 4.739 * [taylor]: Taking taylor expansion of 0 in t 4.739 * [taylor]: Taking taylor expansion of 0 in z 4.739 * [taylor]: Taking taylor expansion of 0 in t 4.739 * [taylor]: Taking taylor expansion of 0 in z 4.747 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (* (pow t 4) z)))) in t 4.747 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* (pow t 4) z))) in t 4.747 * [taylor]: Taking taylor expansion of 2.0 in t 4.747 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 4) z)) in t 4.747 * [taylor]: Taking taylor expansion of (* (pow t 4) z) in t 4.747 * [taylor]: Taking taylor expansion of (pow t 4) in t 4.748 * [taylor]: Taking taylor expansion of t in t 4.748 * [taylor]: Taking taylor expansion of z in t 4.756 * [taylor]: Taking taylor expansion of 0 in z 4.756 * [taylor]: Taking taylor expansion of 0 in z 4.756 * [taylor]: Taking taylor expansion of 0 in z 4.760 * [taylor]: Taking taylor expansion of 0 in z 4.760 * [taylor]: Taking taylor expansion of 0 in z 4.763 * [taylor]: Taking taylor expansion of 0 in z 4.764 * [taylor]: Taking taylor expansion of 0 in z 4.764 * [approximate]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in (x y t z) around 0 4.764 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in z 4.764 * [taylor]: Taking taylor expansion of 2.0 in z 4.764 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in z 4.764 * [taylor]: Taking taylor expansion of z in z 4.764 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in z 4.765 * [taylor]: Taking taylor expansion of x in z 4.765 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in z 4.765 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.765 * [taylor]: Taking taylor expansion of y in z 4.765 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.765 * [taylor]: Taking taylor expansion of t in z 4.765 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in t 4.765 * [taylor]: Taking taylor expansion of 2.0 in t 4.765 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in t 4.765 * [taylor]: Taking taylor expansion of z in t 4.765 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in t 4.765 * [taylor]: Taking taylor expansion of x in t 4.765 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in t 4.765 * [taylor]: Taking taylor expansion of (/ 1 y) in t 4.765 * [taylor]: Taking taylor expansion of y in t 4.765 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.765 * [taylor]: Taking taylor expansion of t in t 4.766 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in y 4.766 * [taylor]: Taking taylor expansion of 2.0 in y 4.766 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in y 4.766 * [taylor]: Taking taylor expansion of z in y 4.766 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in y 4.766 * [taylor]: Taking taylor expansion of x in y 4.766 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y 4.766 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.766 * [taylor]: Taking taylor expansion of y in y 4.766 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.766 * [taylor]: Taking taylor expansion of t in y 4.767 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x 4.767 * [taylor]: Taking taylor expansion of 2.0 in x 4.767 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x 4.767 * [taylor]: Taking taylor expansion of z in x 4.767 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x 4.767 * [taylor]: Taking taylor expansion of x in x 4.767 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x 4.767 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.767 * [taylor]: Taking taylor expansion of y in x 4.767 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.767 * [taylor]: Taking taylor expansion of t in x 4.768 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (* x (- (/ 1 y) (/ 1 t))))) in x 4.768 * [taylor]: Taking taylor expansion of 2.0 in x 4.768 * [taylor]: Taking taylor expansion of (/ z (* x (- (/ 1 y) (/ 1 t)))) in x 4.768 * [taylor]: Taking taylor expansion of z in x 4.768 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 t))) in x 4.768 * [taylor]: Taking taylor expansion of x in x 4.768 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in x 4.768 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.768 * [taylor]: Taking taylor expansion of y in x 4.768 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.768 * [taylor]: Taking taylor expansion of t in x 4.769 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 y) (/ 1 t)))) in y 4.769 * [taylor]: Taking taylor expansion of 2.0 in y 4.769 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 y) (/ 1 t))) in y 4.769 * [taylor]: Taking taylor expansion of z in y 4.769 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 t)) in y 4.769 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.769 * [taylor]: Taking taylor expansion of y in y 4.770 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.770 * [taylor]: Taking taylor expansion of t in y 4.770 * [taylor]: Taking taylor expansion of (* 2.0 z) in t 4.770 * [taylor]: Taking taylor expansion of 2.0 in t 4.770 * [taylor]: Taking taylor expansion of z in t 4.770 * [taylor]: Taking taylor expansion of 0 in z 4.772 * [taylor]: Taking taylor expansion of 0 in y 4.772 * [taylor]: Taking taylor expansion of 0 in t 4.772 * [taylor]: Taking taylor expansion of 0 in z 4.773 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t 4.773 * [taylor]: Taking taylor expansion of 2.0 in t 4.773 * [taylor]: Taking taylor expansion of (/ z t) in t 4.773 * [taylor]: Taking taylor expansion of z in t 4.773 * [taylor]: Taking taylor expansion of t in t 4.775 * [taylor]: Taking taylor expansion of 0 in z 4.776 * [taylor]: Taking taylor expansion of 0 in z 4.778 * [taylor]: Taking taylor expansion of 0 in y 4.778 * [taylor]: Taking taylor expansion of 0 in t 4.778 * [taylor]: Taking taylor expansion of 0 in z 4.779 * [approximate]: Taking taylor expansion of (* -2.0 (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x))) in (x y t z) around 0 4.779 * [taylor]: Taking taylor expansion of (* -2.0 (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x))) in z 4.779 * [taylor]: Taking taylor expansion of -2.0 in z 4.779 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x)) in z 4.779 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in z 4.779 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 4.779 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.779 * [taylor]: Taking taylor expansion of -1 in z 4.780 * [taylor]: Taking taylor expansion of z in z 4.780 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in z 4.780 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in z 4.780 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.780 * [taylor]: Taking taylor expansion of t in z 4.780 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.780 * [taylor]: Taking taylor expansion of y in z 4.780 * [taylor]: Taking taylor expansion of x in z 4.786 * [taylor]: Taking taylor expansion of (* -2.0 (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x))) in t 4.786 * [taylor]: Taking taylor expansion of -2.0 in t 4.786 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x)) in t 4.786 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in t 4.786 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t 4.786 * [taylor]: Taking taylor expansion of (cbrt -1) in t 4.786 * [taylor]: Taking taylor expansion of -1 in t 4.787 * [taylor]: Taking taylor expansion of z in t 4.787 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in t 4.787 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in t 4.787 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.787 * [taylor]: Taking taylor expansion of t in t 4.787 * [taylor]: Taking taylor expansion of (/ 1 y) in t 4.787 * [taylor]: Taking taylor expansion of y in t 4.787 * [taylor]: Taking taylor expansion of x in t 4.790 * [taylor]: Taking taylor expansion of (* -2.0 (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x))) in y 4.790 * [taylor]: Taking taylor expansion of -2.0 in y 4.790 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x)) in y 4.790 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y 4.790 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 4.791 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.791 * [taylor]: Taking taylor expansion of -1 in y 4.791 * [taylor]: Taking taylor expansion of z in y 4.791 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in y 4.791 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y 4.791 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.791 * [taylor]: Taking taylor expansion of t in y 4.791 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.791 * [taylor]: Taking taylor expansion of y in y 4.792 * [taylor]: Taking taylor expansion of x in y 4.795 * [taylor]: Taking taylor expansion of (* -2.0 (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x))) in x 4.795 * [taylor]: Taking taylor expansion of -2.0 in x 4.795 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x)) in x 4.795 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x 4.795 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 4.795 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.795 * [taylor]: Taking taylor expansion of -1 in x 4.796 * [taylor]: Taking taylor expansion of z in x 4.796 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in x 4.796 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x 4.796 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.796 * [taylor]: Taking taylor expansion of t in x 4.796 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.796 * [taylor]: Taking taylor expansion of y in x 4.796 * [taylor]: Taking taylor expansion of x in x 4.800 * [taylor]: Taking taylor expansion of (* -2.0 (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x))) in x 4.800 * [taylor]: Taking taylor expansion of -2.0 in x 4.800 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) z) (* (- (/ 1 t) (/ 1 y)) x)) in x 4.800 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x 4.800 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 4.800 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.800 * [taylor]: Taking taylor expansion of -1 in x 4.801 * [taylor]: Taking taylor expansion of z in x 4.801 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 y)) x) in x 4.801 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in x 4.801 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.801 * [taylor]: Taking taylor expansion of t in x 4.801 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.801 * [taylor]: Taking taylor expansion of y in x 4.801 * [taylor]: Taking taylor expansion of x in x 4.805 * [taylor]: Taking taylor expansion of (* 2.0 (/ z (- (/ 1 t) (/ 1 y)))) in y 4.805 * [taylor]: Taking taylor expansion of 2.0 in y 4.805 * [taylor]: Taking taylor expansion of (/ z (- (/ 1 t) (/ 1 y))) in y 4.805 * [taylor]: Taking taylor expansion of z in y 4.805 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 y)) in y 4.805 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.805 * [taylor]: Taking taylor expansion of t in y 4.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.805 * [taylor]: Taking taylor expansion of y in y 4.806 * [taylor]: Taking taylor expansion of (* -2.0 z) in t 4.806 * [taylor]: Taking taylor expansion of -2.0 in t 4.806 * [taylor]: Taking taylor expansion of z in t 4.806 * [taylor]: Taking taylor expansion of 0 in z 4.810 * [taylor]: Taking taylor expansion of 0 in y 4.810 * [taylor]: Taking taylor expansion of 0 in t 4.810 * [taylor]: Taking taylor expansion of 0 in z 4.811 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ z t))) in t 4.811 * [taylor]: Taking taylor expansion of (* 2.0 (/ z t)) in t 4.811 * [taylor]: Taking taylor expansion of 2.0 in t 4.811 * [taylor]: Taking taylor expansion of (/ z t) in t 4.811 * [taylor]: Taking taylor expansion of z in t 4.811 * [taylor]: Taking taylor expansion of t in t 4.813 * [taylor]: Taking taylor expansion of 0 in z 4.814 * [taylor]: Taking taylor expansion of 0 in z 4.819 * [taylor]: Taking taylor expansion of 0 in y 4.819 * [taylor]: Taking taylor expansion of 0 in t 4.819 * [taylor]: Taking taylor expansion of 0 in z 4.819 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 4.819 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 3) in (x) around 0 4.819 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 3) in x 4.819 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.819 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.819 * [taylor]: Taking taylor expansion of 1/3 in x 4.819 * [taylor]: Taking taylor expansion of (log x) in x 4.819 * [taylor]: Taking taylor expansion of x in x 4.820 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 3) in x 4.820 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.820 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.820 * [taylor]: Taking taylor expansion of 1/3 in x 4.820 * [taylor]: Taking taylor expansion of (log x) in x 4.820 * [taylor]: Taking taylor expansion of x in x 4.878 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 3) in (x) around 0 4.878 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 3) in x 4.878 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.878 * [taylor]: Taking taylor expansion of 1/3 in x 4.878 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.878 * [taylor]: Taking taylor expansion of x in x 4.879 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 3) in x 4.879 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.879 * [taylor]: Taking taylor expansion of 1/3 in x 4.879 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.879 * [taylor]: Taking taylor expansion of x in x 4.943 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 3) in (x) around 0 4.943 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 3) in x 4.943 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.943 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.943 * [taylor]: Taking taylor expansion of -1 in x 4.944 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.944 * [taylor]: Taking taylor expansion of 1/3 in x 4.944 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.944 * [taylor]: Taking taylor expansion of x in x 4.945 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 3) in x 4.945 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.945 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.945 * [taylor]: Taking taylor expansion of -1 in x 4.946 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.946 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.946 * [taylor]: Taking taylor expansion of 1/3 in x 4.946 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.946 * [taylor]: Taking taylor expansion of x in x 5.032 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 5.032 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 5.032 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.032 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.032 * [taylor]: Taking taylor expansion of 1/3 in x 5.032 * [taylor]: Taking taylor expansion of (log x) in x 5.032 * [taylor]: Taking taylor expansion of x in x 5.033 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.033 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.033 * [taylor]: Taking taylor expansion of 1/3 in x 5.033 * [taylor]: Taking taylor expansion of (log x) in x 5.033 * [taylor]: Taking taylor expansion of x in x 5.083 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.084 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.084 * [taylor]: Taking taylor expansion of 1/3 in x 5.084 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.084 * [taylor]: Taking taylor expansion of x in x 5.085 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.085 * [taylor]: Taking taylor expansion of 1/3 in x 5.085 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.085 * [taylor]: Taking taylor expansion of x in x 5.140 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 5.140 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.140 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.140 * [taylor]: Taking taylor expansion of -1 in x 5.141 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.141 * [taylor]: Taking taylor expansion of 1/3 in x 5.141 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.141 * [taylor]: Taking taylor expansion of x in x 5.142 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.142 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.142 * [taylor]: Taking taylor expansion of -1 in x 5.143 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.143 * [taylor]: Taking taylor expansion of 1/3 in x 5.143 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.143 * [taylor]: Taking taylor expansion of x in x 5.212 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 5.212 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 5.212 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.212 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.212 * [taylor]: Taking taylor expansion of 1/3 in x 5.212 * [taylor]: Taking taylor expansion of (log x) in x 5.212 * [taylor]: Taking taylor expansion of x in x 5.213 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.213 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.213 * [taylor]: Taking taylor expansion of 1/3 in x 5.213 * [taylor]: Taking taylor expansion of (log x) in x 5.213 * [taylor]: Taking taylor expansion of x in x 5.261 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.261 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.261 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.261 * [taylor]: Taking taylor expansion of 1/3 in x 5.261 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.261 * [taylor]: Taking taylor expansion of x in x 5.262 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.262 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.262 * [taylor]: Taking taylor expansion of 1/3 in x 5.262 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.262 * [taylor]: Taking taylor expansion of x in x 5.320 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 5.320 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.320 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.320 * [taylor]: Taking taylor expansion of -1 in x 5.321 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.321 * [taylor]: Taking taylor expansion of 1/3 in x 5.321 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.321 * [taylor]: Taking taylor expansion of x in x 5.322 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.322 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.322 * [taylor]: Taking taylor expansion of -1 in x 5.323 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.323 * [taylor]: Taking taylor expansion of 1/3 in x 5.323 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.323 * [taylor]: Taking taylor expansion of x in x 5.391 * * * [progress]: simplifying candidates 5.397 * [simplify]: Simplifying using # : (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (- y t))) (- (log (cbrt (pow (cbrt x) 3))) (- (log z) (log 2.0)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (- y t))) (- (log (cbrt (pow (cbrt x) 3))) (log (/ z 2.0)))) (+ (- (+ (log (cbrt x)) (log (cbrt x))) (log (- y t))) (log (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (- y t))) (- (log (cbrt (pow (cbrt x) 3))) (- (log z) (log 2.0)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (- y t))) (- (log (cbrt (pow (cbrt x) 3))) (log (/ z 2.0)))) (+ (- (log (* (cbrt x) (cbrt x))) (log (- y t))) (log (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (+ (log (/ (* (cbrt x) (cbrt x)) (- y t))) (- (log (cbrt (pow (cbrt x) 3))) (- (log z) (log 2.0)))) (+ (log (/ (* (cbrt x) (cbrt x)) (- y t))) (- (log (cbrt (pow (cbrt x) 3))) (log (/ z 2.0)))) (+ (log (/ (* (cbrt x) (cbrt x)) (- y t))) (log (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (log (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (exp (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (* (/ (* x x) (* (* (- y t) (- y t)) (- y t))) (/ (pow (cbrt x) 3) (/ (* (* z z) z) (* (* 2.0 2.0) 2.0)))) (* (/ (* x x) (* (* (- y t) (- y t)) (- y t))) (/ (pow (cbrt x) 3) (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0)))) (* (/ (* x x) (* (* (- y t) (- y t)) (- y t))) (* (* (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (- y t) (- y t)) (- y t))) (/ (pow (cbrt x) 3) (/ (* (* z z) z) (* (* 2.0 2.0) 2.0)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (- y t) (- y t)) (- y t))) (/ (pow (cbrt x) 3) (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0)))) (* (/ (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (* (* (- y t) (- y t)) (- y t))) (* (* (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (pow (cbrt x) 3) (/ (* (* z z) z) (* (* 2.0 2.0) 2.0)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (pow (cbrt x) 3) (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (* (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (* (cbrt (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))))) (cbrt (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (* (* (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (sqrt (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (sqrt (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (* (* (cbrt x) (cbrt x)) (cbrt (pow (cbrt x) 3))) (* (- y t) (/ z 2.0)) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (sqrt (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (sqrt (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (sqrt (pow (cbrt x) 3))) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (sqrt (pow (cbrt x) 3))) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (sqrt (pow (cbrt x) 3))) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (sqrt (pow (cbrt x) 3))) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt x) (/ 3 2))) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt x) (/ 3 2))) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt x) (/ 3 2))) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt x) (/ 3 2))) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (sqrt (cbrt (pow (cbrt x) 3))) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (sqrt (cbrt (pow (cbrt x) 3))) (sqrt (/ z 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (sqrt (cbrt (pow (cbrt x) 3))) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (sqrt (cbrt (pow (cbrt x) 3))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (sqrt (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (sqrt (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (sqrt (pow (cbrt x) 3))) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (sqrt (pow (cbrt x) 3))) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (sqrt (pow (cbrt x) 3))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (sqrt (pow (cbrt x) 3))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt x) (/ 3 2))) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt x) (/ 3 2))) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt x) (/ 3 2))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt x) (/ 3 2))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (sqrt (cbrt (pow (cbrt x) 3))) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (sqrt (cbrt (pow (cbrt x) 3))) (sqrt (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (sqrt (cbrt (pow (cbrt x) 3))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (sqrt (cbrt (pow (cbrt x) 3))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (cbrt (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt (sqrt x)) 3)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt 1) 3)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (sqrt (cbrt x)) 3)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow 1 3)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt (pow (cbrt x) 3))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt (pow (cbrt x) 3))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt (pow (cbrt x) 3))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt (pow (cbrt x) 3))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt (pow (cbrt x) 3))) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt (pow (cbrt x) 3))) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt (pow (cbrt x) 3))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt (pow (cbrt x) 3))) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt (pow (cbrt x) 3))) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt (pow (cbrt x) 3))) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt (pow (cbrt x) 3))) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt (pow (cbrt x) 3))) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt (pow (cbrt x) 3))) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt 1) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) (/ 3 2))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) (/ 3 2))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) (/ 3 2))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) (/ 3 2))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) (/ 3 2))) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) (/ 3 2))) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) (/ 3 2))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) (/ 3 2))) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) (/ 3 2))) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) (/ 3 2))) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) (/ 3 2))) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) (/ 3 2))) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) (/ 3 2))) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt (pow (cbrt x) 3))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt (pow (cbrt x) 3))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt (pow (cbrt x) 3))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt (pow (cbrt x) 3))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt (pow (cbrt x) 3))) (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt (pow (cbrt x) 3))) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt (pow (cbrt x) 3))) (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt (pow (cbrt x) 3))) (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt (pow (cbrt x) 3))) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt (pow (cbrt x) 3))) (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt (pow (cbrt x) 3))) (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt (pow (cbrt x) 3))) 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt (pow (cbrt x) 3))) z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ (* (cbrt z) (cbrt z)) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ (sqrt z) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ (sqrt z) 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ 1 (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 (/ 1 1))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 1)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ 1 z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) 1) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (pow (cbrt x) 3))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3)) z)) (* (cbrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (* (/ (cbrt x) (cbrt (- y t))) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (* (/ (cbrt x) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (* (/ (cbrt x) (- (sqrt y) (sqrt t))) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (* (/ (cbrt x) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (* (/ 1 (- y t)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (* (+ (* y y) (+ (* t t) (* y t))) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (* (+ y t) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (pow (cbrt x) 3))) (* (* (cbrt x) (cbrt x)) (/ (cbrt (pow (cbrt x) 3)) (/ z 2.0))) (* (log (cbrt x)) 3) (* (log (cbrt x)) 3) (* 1/3 3) (* 1 3) (pow (cbrt x) (* (cbrt 3) (cbrt 3))) (pow (cbrt x) (sqrt 3)) (pow (cbrt x) 1) (pow (cbrt (* (cbrt x) (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt 1) 3) (pow (cbrt x) 3) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow 1 3) (pow (cbrt x) 3) (* (cbrt x) (cbrt x)) (log (pow (cbrt x) 3)) (exp (pow (cbrt x) 3)) (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt x) 3)) (* (* (pow (cbrt x) 3) (pow (cbrt x) 3)) (pow (cbrt x) 3)) (pow (cbrt (* (cbrt x) (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt (sqrt x)) 3) (pow (cbrt 1) 3) (pow (cbrt x) 3) (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3) (pow (cbrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) (pow 1 3) (pow (cbrt x) 3) (* (cbrt x) (cbrt x)) (sqrt (pow (cbrt x) 3)) (sqrt (pow (cbrt x) 3)) (pow (cbrt x) (/ 3 2)) (pow (cbrt x) (/ 3 2)) (log (cbrt (pow (cbrt x) 3))) (exp (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt 1) 3)) (cbrt (pow (cbrt x) 3)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow 1 3)) (cbrt (pow (cbrt x) 3)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3)))) (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt (sqrt x)) 3)) (cbrt (pow (cbrt 1) 3)) (cbrt (pow (cbrt x) 3)) (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 3)) (cbrt (pow (cbrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow (sqrt (cbrt x)) 3)) (cbrt (pow 1 3)) (cbrt (pow (cbrt x) 3)) (cbrt (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (sqrt (pow (cbrt x) 3))) (cbrt (sqrt (pow (cbrt x) 3))) (cbrt 1) (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) (/ 3 2))) (cbrt (pow (cbrt x) (/ 3 2))) (* (cbrt (cbrt (pow (cbrt x) 3))) (cbrt (cbrt (pow (cbrt x) 3)))) (cbrt (cbrt (pow (cbrt x) 3))) (* (* (cbrt (pow (cbrt x) 3)) (cbrt (pow (cbrt x) 3))) (cbrt (pow (cbrt x) 3))) (sqrt (cbrt (pow (cbrt x) 3))) (sqrt (cbrt (pow (cbrt x) 3))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) 0 0 0 x x x (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 5.422 * * [simplify]: iteration 0 : 604 enodes (cost 9309 ) 6.211 * * [simplify]: iteration 1 : 1998 enodes (cost 7206 ) 6.585 * * [simplify]: iteration done : 5000 enodes (cost 7143 ) 6.587 * [simplify]: Simplified to: (/ (/ x (/ z 2.0)) (- y t)) (log (/ (/ x (/ z 2.0)) (- y t))) (log (/ (/ x (/ z 2.0)) (- y t))) (log (/ (/ x (/ z 2.0)) (- y t))) (log (/ (/ x (/ z 2.0)) (- y t))) (log (/ (/ x (/ z 2.0)) (- y t))) (log (/ (/ x (/ z 2.0)) (- y t))) (log (/ (/ x (/ z 2.0)) (- y t))) (log (/ (/ x (/ z 2.0)) (- y t))) (log (/ (/ x (/ z 2.0)) (- y t))) (log (/ (/ x (/ z 2.0)) (- y t))) (exp (/ (/ x (/ z 2.0)) (- y t))) (* (/ x (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0))) (/ (* x x) (* (* (- y t) (- y t)) (- y t)))) (* (/ x (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0))) (/ (* x x) (* (* (- y t) (- y t)) (- y t)))) (* (/ x (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0))) (/ (* x x) (* (* (- y t) (- y t)) (- y t)))) (* (/ x (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0))) (/ (* x x) (* (* (- y t) (- y t)) (- y t)))) (* (/ x (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0))) (/ (* x x) (* (* (- y t) (- y t)) (- y t)))) (* (/ x (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0))) (/ (* x x) (* (* (- y t) (- y t)) (- y t)))) (* (/ x (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0))) (/ (* x x) (* (* (- y t) (- y t)) (- y t)))) (* (/ x (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0))) (/ (* x x) (* (* (- y t) (- y t)) (- y t)))) (* (/ x (* (* (/ z 2.0) (/ z 2.0)) (/ z 2.0))) (/ (* x x) (* (* (- y t) (- y t)) (- y t)))) (* (cbrt (/ (/ x (/ z 2.0)) (- y t))) (cbrt (/ (/ x (/ z 2.0)) (- y t)))) (cbrt (/ (/ x (/ z 2.0)) (- y t))) (* (/ (/ x (/ z 2.0)) (- y t)) (* (/ (/ x (/ z 2.0)) (- y t)) (/ (/ x (/ z 2.0)) (- y t)))) (sqrt (/ (/ x (/ z 2.0)) (- y t))) (sqrt (/ (/ x (/ z 2.0)) (- y t))) x (* (- y t) (/ z 2.0)) (* (sqrt (/ (cbrt x) (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (sqrt (/ (cbrt x) (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (sqrt x)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (sqrt x)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (* (/ (sqrt (cbrt x)) (sqrt z)) (sqrt 2.0)) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (* (/ (sqrt (cbrt x)) (sqrt z)) (sqrt 2.0)) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (sqrt x)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (sqrt x)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (* (/ (sqrt (cbrt x)) (sqrt z)) (sqrt 2.0)) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (* (/ (sqrt (cbrt x)) (sqrt z)) (sqrt 2.0)) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (sqrt x)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (sqrt x)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (pow (cbrt x) 3/2)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt (pow (cbrt x) 3/2)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt x) 3/2)) (/ (sqrt z) (sqrt 2.0)))) (* (sqrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt (pow (cbrt x) 3/2)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (* (/ (sqrt (cbrt x)) (sqrt z)) (sqrt 2.0)) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (* (/ (sqrt (cbrt x)) (sqrt z)) (sqrt 2.0)) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt x) (sqrt (- y t))) (sqrt (/ (cbrt x) (/ z 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (sqrt (/ (cbrt x) (/ z 2.0)))) (* (/ (cbrt (sqrt x)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt (sqrt x)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (* (/ (sqrt (cbrt x)) (sqrt z)) (sqrt 2.0)) (/ (cbrt x) (sqrt (- y t)))) (* (* (/ (sqrt (cbrt x)) (sqrt z)) (sqrt 2.0)) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt (sqrt x)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt (sqrt x)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (* (/ (sqrt (cbrt x)) (sqrt z)) (sqrt 2.0)) (/ (cbrt x) (sqrt (- y t)))) (* (* (/ (sqrt (cbrt x)) (sqrt z)) (sqrt 2.0)) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt (sqrt x)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt (sqrt x)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt (pow (cbrt x) 3/2)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt (pow (cbrt x) 3/2)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt x) 3/2)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt (pow (cbrt x) 3/2)) (/ (sqrt z) (sqrt 2.0)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (/ (sqrt (cbrt x)) (sqrt (/ z 2.0))) (/ (cbrt x) (sqrt (- y t)))) (* (* (/ (sqrt (cbrt x)) (sqrt z)) (sqrt 2.0)) (/ (cbrt x) (sqrt (- y t)))) (* (* (/ (sqrt (cbrt x)) (sqrt z)) (sqrt 2.0)) (/ (cbrt x) (sqrt (- y t)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (/ (cbrt x) (/ z 2.0))) (cbrt (/ (cbrt x) (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (/ (cbrt x) (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt z) (cbrt z)))) (* (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (/ (sqrt z) (sqrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (* (cbrt x) (cbrt x))) (sqrt 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) z) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (sqrt (/ z 2.0)))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt z) (cbrt z))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0)))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (sqrt z)) (* (* (cbrt (sqrt x)) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (* (cbrt (sqrt x)) (sqrt 2.0)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) z)) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (/ z 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt z) (sqrt 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt 2.0) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt x) (- y t)) (cbrt x)) (* (/ (cbrt x) (- y t)) (cbrt x)) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) z) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt z) (cbrt z)))) (* (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (/ (sqrt z) (sqrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (* (cbrt x) (cbrt x))) (sqrt 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) z) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (sqrt (/ z 2.0)))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ (sqrt (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (sqrt (cbrt x)) (* (cbrt z) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (/ (sqrt z) (sqrt 2.0))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (sqrt z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (sqrt (cbrt x)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (sqrt (cbrt x)) (sqrt 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) z)) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (/ z 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt z) (sqrt 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt 2.0) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt x) (- y t)) (cbrt x)) (* (/ (cbrt x) (- y t)) (cbrt x)) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) z) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt z) (cbrt z)))) (* (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (/ (sqrt z) (sqrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (* (cbrt x) (cbrt x))) (sqrt 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) z) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt z) (cbrt z)))) (* (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (/ (sqrt z) (sqrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (* (cbrt x) (cbrt x))) (sqrt 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) z) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt z) (cbrt z)))) (* (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (/ (sqrt z) (sqrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (* (cbrt x) (cbrt x))) (sqrt 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) z) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (sqrt (/ z 2.0)))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt z) (cbrt z))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0)))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (sqrt z)) (* (* (cbrt (sqrt x)) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (* (cbrt (sqrt x)) (sqrt 2.0)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) z)) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (/ z 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt z) (sqrt 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt 2.0) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt x) (- y t)) (cbrt x)) (* (/ (cbrt x) (- y t)) (cbrt x)) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) z) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt z) (cbrt z)))) (* (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (/ (sqrt z) (sqrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (* (cbrt x) (cbrt x))) (sqrt 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) z) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (sqrt (/ z 2.0)))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ (sqrt (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (sqrt (cbrt x)) (* (cbrt z) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (/ (sqrt z) (sqrt 2.0))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (sqrt z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (sqrt (cbrt x)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (sqrt (cbrt x)) (sqrt 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) z)) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (/ z 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt z) (sqrt 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt 2.0) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt x) (- y t)) (cbrt x)) (* (/ (cbrt x) (- y t)) (cbrt x)) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) z) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (/ (* (cbrt (cbrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt z) (cbrt z))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) (/ (sqrt z) (sqrt 2.0)))) (/ (* (cbrt (cbrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (sqrt z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (cbrt x)) (* (cbrt 2.0) (cbrt 2.0)))) (* (* (cbrt (cbrt x)) (sqrt 2.0)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt (cbrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt (cbrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (cbrt x)) z)) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (sqrt (/ z 2.0)))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt z) (cbrt z))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) (/ (sqrt z) (sqrt 2.0)))) (/ (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (sqrt z)) (* (* (cbrt (sqrt x)) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (* (cbrt (sqrt x)) (sqrt 2.0)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (cbrt (sqrt x)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (sqrt x)) z)) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (/ z 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt z) (sqrt 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt 2.0) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt x) (- y t)) (cbrt x)) (* (/ (cbrt x) (- y t)) (cbrt x)) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) z) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (pow (cbrt x) 3/2))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (pow (cbrt x) 3/2))) (sqrt (/ z 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (pow (cbrt x) 3/2)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (cbrt (pow (cbrt x) 3/2)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (pow (cbrt x) 3/2))) (* (cbrt z) (cbrt z))) (/ (* (* (cbrt x) (cbrt x)) (/ (cbrt (pow (cbrt x) 3/2)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (- y t)) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (pow (cbrt x) 3/2))) (/ (sqrt z) (sqrt 2.0))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (pow (cbrt x) 3/2))) (sqrt z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (pow (cbrt x) 3/2)) (* (cbrt 2.0) (cbrt 2.0)))) (/ (* (* (cbrt x) (cbrt x)) (* (cbrt (pow (cbrt x) 3/2)) (sqrt 2.0))) (- y t)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (pow (cbrt x) 3/2))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (pow (cbrt x) 3/2))) (* (/ (cbrt (pow (cbrt x) 3/2)) z) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0))))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt z) (cbrt z)))) (* (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (/ (sqrt z) (sqrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt z)) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt 2.0) (cbrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (* (cbrt x) (cbrt x))) (sqrt 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (cbrt (* (cbrt x) (cbrt x)))) z) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (sqrt (/ z 2.0)))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ (sqrt (cbrt x)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (sqrt (cbrt x)) (* (cbrt z) (cbrt z))) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0))))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (/ (sqrt z) (sqrt 2.0))) (/ (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (sqrt z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (sqrt (cbrt x)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (sqrt (cbrt x)) (sqrt 2.0))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (cbrt x))) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt (cbrt x)) z)) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt (/ z 2.0)) (cbrt (/ z 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt (/ z 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (* (cbrt z) (cbrt z)) (sqrt 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt z) (cbrt z))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt z) (* (cbrt 2.0) (cbrt 2.0)))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (/ (sqrt z) (sqrt 2.0))) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) (sqrt z)) (* (/ (* (cbrt x) (cbrt x)) (- y t)) (* (cbrt 2.0) (cbrt 2.0))) (* (sqrt 2.0) (/ (* (cbrt x) (cbrt x)) (- y t))) (* (/ (cbrt x) (- y t)) (cbrt x)) (* (/ (cbrt x) (- y t)) (cbrt x)) (/ (/ (* (cbrt x) (cbrt x)) (- y t)) z) (* (/ (cbrt x) (- y t)) (cbrt x)) (/ x (- y t)) (/ (/ x (- y t)) z) (* (cbrt (/ (* (cbrt x) (cbrt x)) (- y t))) (/ (cbrt x) (/ z 2.0))) (* (/ (cbrt x) (/ z 2.0)) (sqrt (/ (* (cbrt x) (cbrt x)) (- y t)))) (* (/ (cbrt x) (cbrt (- y t))) (/ (cbrt x) (/ z 2.0))) (* (/ (cbrt x) (sqrt (- y t))) (/ (cbrt x) (/ z 2.0))) (* (/ (cbrt x) (- y t)) (/ (cbrt x) (/ z 2.0))) (* (/ (cbrt x) (/ z 2.0)) (/ (cbrt x) (- (sqrt y) (sqrt t)))) (* (/ (cbrt x) (- y t)) (/ (cbrt x) (/ z 2.0))) (/ (/ x (/ z 2.0)) (- y t)) (* (/ 1 (- y t)) (/ (cbrt x) (/ z 2.0))) (* (+ (* t (+ y t)) (* y y)) (/ (cbrt x) (/ z 2.0))) (/ (* (+ y t) (cbrt x)) (/ z 2.0)) (/ x (- y t)) (/ x (/ z 2.0)) (log x) (log x) 1 3 (pow (cbrt x) (* (cbrt 3) (cbrt 3))) (pow (cbrt x) (sqrt 3)) (cbrt x) (* (cbrt x) (cbrt x)) (cbrt x) (sqrt x) (sqrt x) 1 x (* (cbrt x) (cbrt x)) (cbrt x) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) 1 x (* (cbrt x) (cbrt x)) (log x) (exp x) (* (cbrt x) (cbrt x)) (cbrt x) (* (* x x) x) (* (cbrt x) (cbrt x)) (cbrt x) (sqrt x) (sqrt x) 1 x (* (cbrt x) (cbrt x)) (cbrt x) (pow (sqrt (cbrt x)) 3) (pow (sqrt (cbrt x)) 3) 1 x (* (cbrt x) (cbrt x)) (sqrt x) (sqrt x) (pow (cbrt x) 3/2) (pow (cbrt x) 3/2) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) 1 (cbrt x) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) 1 (cbrt x) (cbrt (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (pow (cbrt x) 3/2)) (cbrt (pow (cbrt x) 3/2)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) 0 0 0 x x x (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) 6.591 * * * [progress]: adding candidates to table 7.400 * [progress]: [Phase 3 of 3] Extracting. 7.400 * * [regime]: Finding splitpoints for: (# # # # # # #) 7.401 * * * [regime-changes]: Trying 4 branch expressions: (t z y x) 7.401 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 7.450 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 7.488 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 7.530 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 7.569 * * * [regime]: Found split indices: #