19.238 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.089 * * * [progress]: [2/2] Setting up program. 0.091 * [progress]: [Phase 2 of 3] Improving. 0.092 * [simplify]: Simplifying using # : (+ (- (- (* x (log y)) y) z) (log t)) 0.094 * * [simplify]: iteration 0 : 20 enodes (cost 6 ) 0.095 * * [simplify]: iteration 1 : 48 enodes (cost 6 ) 0.097 * * [simplify]: iteration 2 : 118 enodes (cost 6 ) 0.099 * * [simplify]: iteration 3 : 247 enodes (cost 6 ) 0.101 * * [simplify]: iteration 4 : 525 enodes (cost 6 ) 0.104 * * [simplify]: iteration 5 : 732 enodes (cost 6 ) 0.108 * * [simplify]: iteration 6 : 937 enodes (cost 6 ) 0.113 * * [simplify]: iteration 7 : 1108 enodes (cost 6 ) 0.117 * * [simplify]: iteration 8 : 1128 enodes (cost 6 ) 0.122 * * [simplify]: iteration 9 : 1128 enodes (cost 6 ) 0.122 * [simplify]: Simplified to: (+ (- (- (* x (log y)) y) z) (log t)) 0.122 * * [progress]: iteration 1 / 4 0.122 * * * [progress]: picking best candidate 0.124 * * * * [pick]: Picked # 0.124 * * * [progress]: localizing error 0.134 * * * [progress]: generating rewritten candidates 0.134 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 0.138 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 0.142 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 0.153 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 0.163 * * * [progress]: generating series expansions 0.163 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 0.163 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 0.163 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.163 * [taylor]: Taking taylor expansion of x in y 0.163 * [taylor]: Taking taylor expansion of (log y) in y 0.163 * [taylor]: Taking taylor expansion of y in y 0.163 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of (log y) in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of (log y) in x 0.164 * [taylor]: Taking taylor expansion of y in x 0.164 * [taylor]: Taking taylor expansion of 0 in y 0.165 * [taylor]: Taking taylor expansion of (log y) in y 0.165 * [taylor]: Taking taylor expansion of y in y 0.167 * [taylor]: Taking taylor expansion of 0 in y 0.170 * [taylor]: Taking taylor expansion of 0 in y 0.170 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 0.170 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.170 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.170 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.170 * [taylor]: Taking taylor expansion of y in y 0.171 * [taylor]: Taking taylor expansion of x in y 0.171 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.171 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.171 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.171 * [taylor]: Taking taylor expansion of y in x 0.171 * [taylor]: Taking taylor expansion of x in x 0.171 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.171 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.171 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.171 * [taylor]: Taking taylor expansion of y in x 0.172 * [taylor]: Taking taylor expansion of x in x 0.172 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.172 * [taylor]: Taking taylor expansion of y in y 0.174 * [taylor]: Taking taylor expansion of 0 in y 0.177 * [taylor]: Taking taylor expansion of 0 in y 0.182 * [taylor]: Taking taylor expansion of 0 in y 0.182 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 0.182 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 0.182 * [taylor]: Taking taylor expansion of -1 in y 0.182 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.182 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.182 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.182 * [taylor]: Taking taylor expansion of -1 in y 0.182 * [taylor]: Taking taylor expansion of y in y 0.183 * [taylor]: Taking taylor expansion of x in y 0.184 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.184 * [taylor]: Taking taylor expansion of -1 in x 0.184 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.184 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.184 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.184 * [taylor]: Taking taylor expansion of -1 in x 0.184 * [taylor]: Taking taylor expansion of y in x 0.184 * [taylor]: Taking taylor expansion of x in x 0.184 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.184 * [taylor]: Taking taylor expansion of -1 in x 0.184 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.184 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.184 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.184 * [taylor]: Taking taylor expansion of -1 in x 0.184 * [taylor]: Taking taylor expansion of y in x 0.184 * [taylor]: Taking taylor expansion of x in x 0.185 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 0.185 * [taylor]: Taking taylor expansion of -1 in y 0.185 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.185 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.185 * [taylor]: Taking taylor expansion of -1 in y 0.185 * [taylor]: Taking taylor expansion of y in y 0.188 * [taylor]: Taking taylor expansion of 0 in y 0.197 * [taylor]: Taking taylor expansion of 0 in y 0.204 * [taylor]: Taking taylor expansion of 0 in y 0.204 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 0.204 * [approximate]: Taking taylor expansion of (- (* x (log y)) y) in (x y) around 0 0.204 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in y 0.204 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.204 * [taylor]: Taking taylor expansion of x in y 0.204 * [taylor]: Taking taylor expansion of (log y) in y 0.204 * [taylor]: Taking taylor expansion of y in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.205 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 0.205 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.205 * [taylor]: Taking taylor expansion of x in x 0.205 * [taylor]: Taking taylor expansion of (log y) in x 0.205 * [taylor]: Taking taylor expansion of y in x 0.205 * [taylor]: Taking taylor expansion of y in x 0.205 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 0.205 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.205 * [taylor]: Taking taylor expansion of x in x 0.205 * [taylor]: Taking taylor expansion of (log y) in x 0.205 * [taylor]: Taking taylor expansion of y in x 0.205 * [taylor]: Taking taylor expansion of y in x 0.205 * [taylor]: Taking taylor expansion of (- y) in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.206 * [taylor]: Taking taylor expansion of (log y) in y 0.206 * [taylor]: Taking taylor expansion of y in y 0.209 * [taylor]: Taking taylor expansion of 0 in y 0.213 * [taylor]: Taking taylor expansion of 0 in y 0.214 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in (x y) around 0 0.214 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in y 0.214 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.214 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.214 * [taylor]: Taking taylor expansion of y in y 0.215 * [taylor]: Taking taylor expansion of x in y 0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.216 * [taylor]: Taking taylor expansion of y in y 0.216 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 0.216 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.216 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.216 * [taylor]: Taking taylor expansion of y in x 0.216 * [taylor]: Taking taylor expansion of x in x 0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.216 * [taylor]: Taking taylor expansion of y in x 0.216 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 0.216 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.216 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.216 * [taylor]: Taking taylor expansion of y in x 0.216 * [taylor]: Taking taylor expansion of x in x 0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.216 * [taylor]: Taking taylor expansion of y in x 0.216 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.216 * [taylor]: Taking taylor expansion of y in y 0.218 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.218 * [taylor]: Taking taylor expansion of y in y 0.221 * [taylor]: Taking taylor expansion of 0 in y 0.227 * [taylor]: Taking taylor expansion of 0 in y 0.234 * [taylor]: Taking taylor expansion of 0 in y 0.235 * [approximate]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in (x y) around 0 0.235 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in y 0.235 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.235 * [taylor]: Taking taylor expansion of y in y 0.235 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.235 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.235 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.235 * [taylor]: Taking taylor expansion of -1 in y 0.235 * [taylor]: Taking taylor expansion of y in y 0.236 * [taylor]: Taking taylor expansion of x in y 0.237 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 0.237 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.237 * [taylor]: Taking taylor expansion of y in x 0.237 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.237 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.237 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.237 * [taylor]: Taking taylor expansion of -1 in x 0.237 * [taylor]: Taking taylor expansion of y in x 0.237 * [taylor]: Taking taylor expansion of x in x 0.237 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 0.237 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.237 * [taylor]: Taking taylor expansion of y in x 0.237 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.237 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.237 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.237 * [taylor]: Taking taylor expansion of -1 in x 0.237 * [taylor]: Taking taylor expansion of y in x 0.237 * [taylor]: Taking taylor expansion of x in x 0.237 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.238 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.238 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.238 * [taylor]: Taking taylor expansion of -1 in y 0.238 * [taylor]: Taking taylor expansion of y in y 0.239 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.240 * [taylor]: Taking taylor expansion of y in y 0.243 * [taylor]: Taking taylor expansion of 0 in y 0.249 * [taylor]: Taking taylor expansion of 0 in y 0.256 * [taylor]: Taking taylor expansion of 0 in y 0.257 * * * * [progress]: [ 3 / 4 ] generating series at (2) 0.257 * [approximate]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in (x y z t) around 0 0.257 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in t 0.257 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in t 0.257 * [taylor]: Taking taylor expansion of (* x (log y)) in t 0.257 * [taylor]: Taking taylor expansion of x in t 0.257 * [taylor]: Taking taylor expansion of (log y) in t 0.257 * [taylor]: Taking taylor expansion of y in t 0.257 * [taylor]: Taking taylor expansion of (log t) in t 0.257 * [taylor]: Taking taylor expansion of t in t 0.257 * [taylor]: Taking taylor expansion of (+ z y) in t 0.257 * [taylor]: Taking taylor expansion of z in t 0.257 * [taylor]: Taking taylor expansion of y in t 0.257 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in z 0.257 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in z 0.257 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.257 * [taylor]: Taking taylor expansion of x in z 0.257 * [taylor]: Taking taylor expansion of (log y) in z 0.257 * [taylor]: Taking taylor expansion of y in z 0.257 * [taylor]: Taking taylor expansion of (log t) in z 0.257 * [taylor]: Taking taylor expansion of t in z 0.257 * [taylor]: Taking taylor expansion of (+ z y) in z 0.257 * [taylor]: Taking taylor expansion of z in z 0.257 * [taylor]: Taking taylor expansion of y in z 0.258 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in y 0.258 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in y 0.258 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.258 * [taylor]: Taking taylor expansion of x in y 0.258 * [taylor]: Taking taylor expansion of (log y) in y 0.258 * [taylor]: Taking taylor expansion of y in y 0.258 * [taylor]: Taking taylor expansion of (log t) in y 0.258 * [taylor]: Taking taylor expansion of t in y 0.258 * [taylor]: Taking taylor expansion of (+ z y) in y 0.258 * [taylor]: Taking taylor expansion of z in y 0.258 * [taylor]: Taking taylor expansion of y in y 0.258 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 0.258 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 0.258 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.258 * [taylor]: Taking taylor expansion of x in x 0.258 * [taylor]: Taking taylor expansion of (log y) in x 0.258 * [taylor]: Taking taylor expansion of y in x 0.258 * [taylor]: Taking taylor expansion of (log t) in x 0.258 * [taylor]: Taking taylor expansion of t in x 0.258 * [taylor]: Taking taylor expansion of (+ z y) in x 0.258 * [taylor]: Taking taylor expansion of z in x 0.258 * [taylor]: Taking taylor expansion of y in x 0.258 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 0.258 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 0.258 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.258 * [taylor]: Taking taylor expansion of x in x 0.258 * [taylor]: Taking taylor expansion of (log y) in x 0.258 * [taylor]: Taking taylor expansion of y in x 0.258 * [taylor]: Taking taylor expansion of (log t) in x 0.258 * [taylor]: Taking taylor expansion of t in x 0.258 * [taylor]: Taking taylor expansion of (+ z y) in x 0.258 * [taylor]: Taking taylor expansion of z in x 0.258 * [taylor]: Taking taylor expansion of y in x 0.259 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 0.259 * [taylor]: Taking taylor expansion of (log t) in y 0.259 * [taylor]: Taking taylor expansion of t in y 0.259 * [taylor]: Taking taylor expansion of (+ z y) in y 0.259 * [taylor]: Taking taylor expansion of z in y 0.259 * [taylor]: Taking taylor expansion of y in y 0.259 * [taylor]: Taking taylor expansion of (- (log t) z) in z 0.259 * [taylor]: Taking taylor expansion of (log t) in z 0.259 * [taylor]: Taking taylor expansion of t in z 0.259 * [taylor]: Taking taylor expansion of z in z 0.259 * [taylor]: Taking taylor expansion of (log t) in t 0.259 * [taylor]: Taking taylor expansion of t in t 0.261 * [taylor]: Taking taylor expansion of (log y) in y 0.261 * [taylor]: Taking taylor expansion of y in y 0.262 * [taylor]: Taking taylor expansion of (log y) in z 0.262 * [taylor]: Taking taylor expansion of y in z 0.262 * [taylor]: Taking taylor expansion of (log y) in t 0.262 * [taylor]: Taking taylor expansion of y in t 0.263 * [taylor]: Taking taylor expansion of -1 in z 0.263 * [taylor]: Taking taylor expansion of -1 in t 0.264 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in (x y z t) around 0 0.264 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in t 0.264 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in t 0.264 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 0.264 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.264 * [taylor]: Taking taylor expansion of t in t 0.264 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t 0.264 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 0.264 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.264 * [taylor]: Taking taylor expansion of y in t 0.265 * [taylor]: Taking taylor expansion of x in t 0.265 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 0.265 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.265 * [taylor]: Taking taylor expansion of y in t 0.265 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.265 * [taylor]: Taking taylor expansion of z in t 0.265 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in z 0.265 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in z 0.265 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 0.265 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.265 * [taylor]: Taking taylor expansion of t in z 0.265 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.265 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.265 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.265 * [taylor]: Taking taylor expansion of y in z 0.265 * [taylor]: Taking taylor expansion of x in z 0.265 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.265 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.265 * [taylor]: Taking taylor expansion of y in z 0.265 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.265 * [taylor]: Taking taylor expansion of z in z 0.265 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in y 0.265 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in y 0.265 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 0.265 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.265 * [taylor]: Taking taylor expansion of t in y 0.266 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.266 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.266 * [taylor]: Taking taylor expansion of y in y 0.266 * [taylor]: Taking taylor expansion of x in y 0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.267 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.267 * [taylor]: Taking taylor expansion of y in y 0.267 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.267 * [taylor]: Taking taylor expansion of z in y 0.267 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 0.267 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 0.267 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 0.267 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.267 * [taylor]: Taking taylor expansion of t in x 0.267 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.267 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.267 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.267 * [taylor]: Taking taylor expansion of y in x 0.267 * [taylor]: Taking taylor expansion of x in x 0.267 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.267 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.267 * [taylor]: Taking taylor expansion of y in x 0.267 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.267 * [taylor]: Taking taylor expansion of z in x 0.267 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 0.267 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 0.268 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.268 * [taylor]: Taking taylor expansion of t in x 0.268 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.268 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.268 * [taylor]: Taking taylor expansion of y in x 0.268 * [taylor]: Taking taylor expansion of x in x 0.268 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.268 * [taylor]: Taking taylor expansion of y in x 0.268 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.268 * [taylor]: Taking taylor expansion of z in x 0.268 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.268 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.268 * [taylor]: Taking taylor expansion of y in y 0.270 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 y) (/ 1 z))) in y 0.270 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 0.270 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.270 * [taylor]: Taking taylor expansion of t in y 0.270 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.270 * [taylor]: Taking taylor expansion of y in y 0.270 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.270 * [taylor]: Taking taylor expansion of z in y 0.271 * [taylor]: Taking taylor expansion of -1 in z 0.271 * [taylor]: Taking taylor expansion of (- (log y)) in z 0.271 * [taylor]: Taking taylor expansion of (log y) in z 0.271 * [taylor]: Taking taylor expansion of y in z 0.275 * [taylor]: Taking taylor expansion of 0 in y 0.276 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (/ 1 z)) in z 0.276 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 0.276 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.276 * [taylor]: Taking taylor expansion of t in z 0.276 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.276 * [taylor]: Taking taylor expansion of z in z 0.277 * [taylor]: Taking taylor expansion of -1 in t 0.278 * [taylor]: Taking taylor expansion of 0 in z 0.278 * [taylor]: Taking taylor expansion of -1 in t 0.278 * [taylor]: Taking taylor expansion of (- (log y)) in t 0.278 * [taylor]: Taking taylor expansion of (log y) in t 0.278 * [taylor]: Taking taylor expansion of y in t 0.284 * [approximate]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in (x y z t) around 0 0.284 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in t 0.284 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in t 0.284 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 0.284 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.284 * [taylor]: Taking taylor expansion of -1 in t 0.284 * [taylor]: Taking taylor expansion of t in t 0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 0.285 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.285 * [taylor]: Taking taylor expansion of y in t 0.285 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.285 * [taylor]: Taking taylor expansion of z in t 0.285 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t 0.285 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t 0.285 * [taylor]: Taking taylor expansion of (/ -1 y) in t 0.285 * [taylor]: Taking taylor expansion of -1 in t 0.285 * [taylor]: Taking taylor expansion of y in t 0.285 * [taylor]: Taking taylor expansion of x in t 0.285 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in z 0.285 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in z 0.285 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 0.285 * [taylor]: Taking taylor expansion of (/ -1 t) in z 0.285 * [taylor]: Taking taylor expansion of -1 in z 0.285 * [taylor]: Taking taylor expansion of t in z 0.285 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.285 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.285 * [taylor]: Taking taylor expansion of y in z 0.285 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.285 * [taylor]: Taking taylor expansion of z in z 0.286 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.286 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.286 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.286 * [taylor]: Taking taylor expansion of -1 in z 0.286 * [taylor]: Taking taylor expansion of y in z 0.286 * [taylor]: Taking taylor expansion of x in z 0.286 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in y 0.286 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in y 0.286 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 0.286 * [taylor]: Taking taylor expansion of (/ -1 t) in y 0.286 * [taylor]: Taking taylor expansion of -1 in y 0.286 * [taylor]: Taking taylor expansion of t in y 0.286 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.286 * [taylor]: Taking taylor expansion of y in y 0.286 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.286 * [taylor]: Taking taylor expansion of z in y 0.286 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.286 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.286 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.286 * [taylor]: Taking taylor expansion of -1 in y 0.286 * [taylor]: Taking taylor expansion of y in y 0.287 * [taylor]: Taking taylor expansion of x in y 0.288 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 0.288 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 0.288 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 0.288 * [taylor]: Taking taylor expansion of (/ -1 t) in x 0.288 * [taylor]: Taking taylor expansion of -1 in x 0.288 * [taylor]: Taking taylor expansion of t in x 0.288 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.289 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.289 * [taylor]: Taking taylor expansion of y in x 0.289 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.289 * [taylor]: Taking taylor expansion of z in x 0.289 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.289 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.289 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.289 * [taylor]: Taking taylor expansion of -1 in x 0.289 * [taylor]: Taking taylor expansion of y in x 0.289 * [taylor]: Taking taylor expansion of x in x 0.289 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 0.289 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 0.289 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 0.289 * [taylor]: Taking taylor expansion of (/ -1 t) in x 0.289 * [taylor]: Taking taylor expansion of -1 in x 0.289 * [taylor]: Taking taylor expansion of t in x 0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.289 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.289 * [taylor]: Taking taylor expansion of y in x 0.289 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.289 * [taylor]: Taking taylor expansion of z in x 0.289 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.289 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.289 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.289 * [taylor]: Taking taylor expansion of -1 in x 0.289 * [taylor]: Taking taylor expansion of y in x 0.289 * [taylor]: Taking taylor expansion of x in x 0.289 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.289 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.289 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.289 * [taylor]: Taking taylor expansion of -1 in y 0.289 * [taylor]: Taking taylor expansion of y in y 0.292 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in y 0.292 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.292 * [taylor]: Taking taylor expansion of z in y 0.292 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in y 0.292 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.292 * [taylor]: Taking taylor expansion of y in y 0.292 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 0.292 * [taylor]: Taking taylor expansion of (/ -1 t) in y 0.292 * [taylor]: Taking taylor expansion of -1 in y 0.292 * [taylor]: Taking taylor expansion of t in y 0.293 * [taylor]: Taking taylor expansion of 1 in z 0.293 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.293 * [taylor]: Taking taylor expansion of (log y) in z 0.293 * [taylor]: Taking taylor expansion of y in z 0.294 * [taylor]: Taking taylor expansion of (log -1) in z 0.294 * [taylor]: Taking taylor expansion of -1 in z 0.297 * [taylor]: Taking taylor expansion of 0 in y 0.298 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (/ 1 z)) in z 0.298 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 0.298 * [taylor]: Taking taylor expansion of (/ -1 t) in z 0.298 * [taylor]: Taking taylor expansion of -1 in z 0.298 * [taylor]: Taking taylor expansion of t in z 0.298 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.298 * [taylor]: Taking taylor expansion of z in z 0.299 * [taylor]: Taking taylor expansion of 1 in t 0.300 * [taylor]: Taking taylor expansion of 0 in z 0.300 * [taylor]: Taking taylor expansion of 1 in t 0.301 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t 0.301 * [taylor]: Taking taylor expansion of (log y) in t 0.301 * [taylor]: Taking taylor expansion of y in t 0.301 * [taylor]: Taking taylor expansion of (log -1) in t 0.301 * [taylor]: Taking taylor expansion of -1 in t 0.304 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 0.304 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 0.304 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 0.304 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.304 * [taylor]: Taking taylor expansion of x in z 0.304 * [taylor]: Taking taylor expansion of (log y) in z 0.304 * [taylor]: Taking taylor expansion of y in z 0.304 * [taylor]: Taking taylor expansion of (+ z y) in z 0.304 * [taylor]: Taking taylor expansion of z in z 0.304 * [taylor]: Taking taylor expansion of y in z 0.304 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 0.304 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.304 * [taylor]: Taking taylor expansion of x in y 0.304 * [taylor]: Taking taylor expansion of (log y) in y 0.304 * [taylor]: Taking taylor expansion of y in y 0.304 * [taylor]: Taking taylor expansion of (+ z y) in y 0.304 * [taylor]: Taking taylor expansion of z in y 0.304 * [taylor]: Taking taylor expansion of y in y 0.304 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 0.304 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.304 * [taylor]: Taking taylor expansion of x in x 0.304 * [taylor]: Taking taylor expansion of (log y) in x 0.304 * [taylor]: Taking taylor expansion of y in x 0.305 * [taylor]: Taking taylor expansion of (+ z y) in x 0.305 * [taylor]: Taking taylor expansion of z in x 0.305 * [taylor]: Taking taylor expansion of y in x 0.305 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 0.305 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.305 * [taylor]: Taking taylor expansion of x in x 0.305 * [taylor]: Taking taylor expansion of (log y) in x 0.305 * [taylor]: Taking taylor expansion of y in x 0.305 * [taylor]: Taking taylor expansion of (+ z y) in x 0.305 * [taylor]: Taking taylor expansion of z in x 0.305 * [taylor]: Taking taylor expansion of y in x 0.305 * [taylor]: Taking taylor expansion of (- (+ z y)) in y 0.305 * [taylor]: Taking taylor expansion of (+ z y) in y 0.305 * [taylor]: Taking taylor expansion of z in y 0.305 * [taylor]: Taking taylor expansion of y in y 0.305 * [taylor]: Taking taylor expansion of (- z) in z 0.305 * [taylor]: Taking taylor expansion of z in z 0.306 * [taylor]: Taking taylor expansion of (log y) in y 0.306 * [taylor]: Taking taylor expansion of y in y 0.307 * [taylor]: Taking taylor expansion of (log y) in z 0.307 * [taylor]: Taking taylor expansion of y in z 0.308 * [taylor]: Taking taylor expansion of -1 in z 0.308 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in (x y z) around 0 0.308 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in z 0.308 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.308 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.308 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.308 * [taylor]: Taking taylor expansion of y in z 0.308 * [taylor]: Taking taylor expansion of x in z 0.309 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 0.309 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.309 * [taylor]: Taking taylor expansion of z in z 0.309 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.309 * [taylor]: Taking taylor expansion of y in z 0.309 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in y 0.309 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.309 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.309 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.309 * [taylor]: Taking taylor expansion of y in y 0.309 * [taylor]: Taking taylor expansion of x in y 0.310 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.310 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.310 * [taylor]: Taking taylor expansion of z in y 0.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.310 * [taylor]: Taking taylor expansion of y in y 0.310 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 0.310 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.310 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.310 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.311 * [taylor]: Taking taylor expansion of y in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.311 * [taylor]: Taking taylor expansion of z in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.311 * [taylor]: Taking taylor expansion of y in x 0.311 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 0.311 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.311 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.311 * [taylor]: Taking taylor expansion of y in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.311 * [taylor]: Taking taylor expansion of z in x 0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.311 * [taylor]: Taking taylor expansion of y in x 0.311 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.311 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.311 * [taylor]: Taking taylor expansion of y in y 0.313 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y))) in y 0.313 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.313 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.313 * [taylor]: Taking taylor expansion of z in y 0.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.313 * [taylor]: Taking taylor expansion of y in y 0.314 * [taylor]: Taking taylor expansion of -1 in z 0.314 * [taylor]: Taking taylor expansion of (- (log y)) in z 0.314 * [taylor]: Taking taylor expansion of (log y) in z 0.314 * [taylor]: Taking taylor expansion of y in z 0.317 * [taylor]: Taking taylor expansion of 0 in y 0.318 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.318 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.318 * [taylor]: Taking taylor expansion of z in z 0.319 * [taylor]: Taking taylor expansion of 0 in z 0.320 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in (x y z) around 0 0.320 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in z 0.320 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 0.320 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.320 * [taylor]: Taking taylor expansion of z in z 0.320 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.320 * [taylor]: Taking taylor expansion of y in z 0.321 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.321 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.321 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.321 * [taylor]: Taking taylor expansion of -1 in z 0.321 * [taylor]: Taking taylor expansion of y in z 0.321 * [taylor]: Taking taylor expansion of x in z 0.321 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in y 0.321 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.321 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.321 * [taylor]: Taking taylor expansion of z in y 0.321 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.321 * [taylor]: Taking taylor expansion of y in y 0.321 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.321 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.321 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.321 * [taylor]: Taking taylor expansion of -1 in y 0.321 * [taylor]: Taking taylor expansion of y in y 0.322 * [taylor]: Taking taylor expansion of x in y 0.323 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 0.323 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.323 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.323 * [taylor]: Taking taylor expansion of z in x 0.323 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.323 * [taylor]: Taking taylor expansion of y in x 0.323 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.323 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.323 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.323 * [taylor]: Taking taylor expansion of -1 in x 0.324 * [taylor]: Taking taylor expansion of y in x 0.324 * [taylor]: Taking taylor expansion of x in x 0.324 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 0.324 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.324 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.324 * [taylor]: Taking taylor expansion of z in x 0.324 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.324 * [taylor]: Taking taylor expansion of y in x 0.324 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.324 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.324 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.324 * [taylor]: Taking taylor expansion of -1 in x 0.324 * [taylor]: Taking taylor expansion of y in x 0.324 * [taylor]: Taking taylor expansion of x in x 0.324 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.324 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.324 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.324 * [taylor]: Taking taylor expansion of -1 in y 0.324 * [taylor]: Taking taylor expansion of y in y 0.326 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.326 * [taylor]: Taking taylor expansion of y in y 0.327 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.327 * [taylor]: Taking taylor expansion of z in y 0.327 * [taylor]: Taking taylor expansion of 1 in z 0.328 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.328 * [taylor]: Taking taylor expansion of (log y) in z 0.328 * [taylor]: Taking taylor expansion of y in z 0.328 * [taylor]: Taking taylor expansion of (log -1) in z 0.328 * [taylor]: Taking taylor expansion of -1 in z 0.331 * [taylor]: Taking taylor expansion of 0 in y 0.332 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.332 * [taylor]: Taking taylor expansion of z in z 0.333 * [taylor]: Taking taylor expansion of 0 in z 0.336 * * * [progress]: simplifying candidates 0.337 * [simplify]: Simplifying using # : (* x (log y)) (+ (log x) (log (log y))) (log (* x (log y))) (exp (* x (log y))) (* (* (* x x) x) (* (* (log y) (log y)) (log y))) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (* (* (* x (log y)) (* x (log y))) (* x (log y))) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* x (log (* (cbrt y) (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (* x (log 1)) (* x (log y)) (* (log (* (cbrt y) (cbrt y))) x) (* (log (cbrt y)) x) (* (log (sqrt y)) x) (* (log (sqrt y)) x) (* (log 1) x) (* (log y) x) (* x 1) (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) (* x 1) (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (/ (exp (* x (log y))) (exp y)) (log (- (* x (log y)) y)) (exp (- (* x (log y)) y)) (* (cbrt (- (* x (log y)) y)) (cbrt (- (* x (log y)) y))) (cbrt (- (* x (log y)) y)) (* (* (- (* x (log y)) y) (- (* x (log y)) y)) (- (* x (log y)) y)) (sqrt (- (* x (log y)) y)) (sqrt (- (* x (log y)) y)) (- (pow (* x (log y)) 3) (pow y 3)) (+ (* (* x (log y)) (* x (log y))) (+ (* y y) (* (* x (log y)) y))) (- y) (- (* (* x (log y)) (* x (log y))) (* y y)) (+ (* x (log y)) y) (- (* x (log (cbrt y))) y) (- (* x (log (sqrt y))) y) (- (* x (log y)) y) (- (* (log (cbrt y)) x) y) (- (* (log (sqrt y)) x) y) (- (* (log y) x) y) (- y) (* (/ (/ (exp (* x (log y))) (exp y)) (exp z)) t) (* (/ (exp (- (* x (log y)) y)) (exp z)) t) (* (exp (- (- (* x (log y)) y) z)) t) (log (+ (- (- (* x (log y)) y) z) (log t))) (exp (+ (- (- (* x (log y)) y) z) (log t))) (* (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (cbrt (+ (- (- (* x (log y)) y) z) (log t)))) (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (* (* (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t))) (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)) (+ (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (- (* (log t) (log t)) (* (- (- (* x (log y)) y) z) (log t)))) (- (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (* (log t) (log t))) (- (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log (* (cbrt t) (cbrt t)))) (+ (- (- (* x (log y)) y) z) (log (sqrt t))) (+ (- (- (* x (log y)) y) z) (log 1)) (+ (- z) (log t)) (+ (- (- y) z) (log t)) (+ (- (- (* x (log (cbrt y))) y) z) (log t)) (+ (- (- (* x (log (sqrt y))) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* (log (cbrt y)) x) y) z) (log t)) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- y) z) (log t)) (+ (- z) (log t)) (- z (log t)) (/ (/ (exp (* x (log y))) (exp y)) (exp z)) (/ (exp (- (* x (log y)) y)) (exp z)) (log (- (- (* x (log y)) y) z)) (exp (- (- (* x (log y)) y) z)) (* (cbrt (- (- (* x (log y)) y) z)) (cbrt (- (- (* x (log y)) y) z))) (cbrt (- (- (* x (log y)) y) z)) (* (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (- (pow (- (* x (log y)) y) 3) (pow z 3)) (+ (* (- (* x (log y)) y) (- (* x (log y)) y)) (+ (* z z) (* (- (* x (log y)) y) z))) (- z) (- (* (- (* x (log y)) y) (- (* x (log y)) y)) (* z z)) (+ (- (* x (log y)) y) z) (+ (sqrt (- (* x (log y)) y)) (sqrt z)) (- (sqrt (- (* x (log y)) y)) (sqrt z)) (- (- (* x (log y)) y) z) (- (- y) z) (- (- (* x (log (cbrt y))) y) z) (- (- (* x (log (sqrt y))) y) z) (- (- (* x (log y)) y) z) (- (- (* (log (cbrt y)) x) y) z) (- (- (* (log (sqrt y)) x) y) z) (- (- (* (log y) x) y) z) (- (- y) z) (+ y z) (- z) (* x (log y)) (* -1 (* x (log (/ 1 y)))) (* (- (log -1) (log (/ -1 y))) x) (- (* x (log y)) y) (- (+ (* x (log (/ 1 y))) y)) (- (* (log -1) x) (+ y (* x (log (/ -1 y))))) (- (+ (* x (log y)) (log t)) y) (- (+ (* x (log (/ 1 y))) (+ z y))) (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y)))))) (- (* x (log y)) (+ z y)) (- (+ (* x (log (/ 1 y))) (+ z y))) (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y)))))) 0.342 * * [simplify]: iteration 0 : 376 enodes (cost 617 ) 0.348 * * [simplify]: iteration 1 : 1219 enodes (cost 584 ) 0.368 * * [simplify]: iteration 2 : 4445 enodes (cost 548 ) 0.436 * * [simplify]: iteration 3 : 5001 enodes (cost 548 ) 0.439 * [simplify]: Simplified to: (* x (log y)) (log (* x (log y))) (log (* x (log y))) (pow y x) (pow (* x (log y)) 3) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (pow (* x (log y)) 3) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) x (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) x (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (exp (- (* x (log y)) y)) (log (- (* x (log y)) y)) (exp (- (* x (log y)) y)) (* (cbrt (- (* x (log y)) y)) (cbrt (- (* x (log y)) y))) (cbrt (- (* x (log y)) y)) (pow (- (* x (log y)) y) 3) (sqrt (- (* x (log y)) y)) (sqrt (- (* x (log y)) y)) (- (pow (* x (log y)) 3) (pow y 3)) (+ (* (* x (log y)) (+ (* x (log y)) y)) (* y y)) (- y) (- (* (* x (log y)) (* x (log y))) (* y y)) (+ (* x (log y)) y) (- (* (log (cbrt y)) x) y) (- (* (log (sqrt y)) x) y) (- (* (log y) x) y) (- (* (log (cbrt y)) x) y) (- (* (log (sqrt y)) x) y) (- (* (log y) x) y) (- y) (/ (* t (pow y x)) (exp (+ y z))) (/ (* t (pow y x)) (exp (+ y z))) (/ (* t (pow y x)) (exp (+ y z))) (log (+ (- (- (* x (log y)) y) z) (log t))) (/ (* t (pow y x)) (exp (+ y z))) (* (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (cbrt (+ (- (- (* x (log y)) y) z) (log t)))) (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (pow (+ (- (- (* (log y) x) y) z) (log t)) 3) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)) (+ (* (- (- (* (log y) x) y) z) (- (- (- (* x (log y)) y) z) (log t))) (* (log t) (log t))) (- (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (* (log t) (log t))) (- (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (- (+ (* 2 (log (cbrt t))) (* x (log y))) (+ y z)) (+ (- (- (* x (log y)) y) z) (log (sqrt t))) (- (- (* (log y) x) y) z) (- (log t) z) (- (- (log t) y) z) (+ (- (- (* (log (cbrt y)) x) y) z) (log t)) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- (* (log (cbrt y)) x) y) z) (log t)) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (- (- (log t) y) z) (- (log t) z) (- z (log t)) (exp (- (- (* x (log y)) y) z)) (exp (- (- (* x (log y)) y) z)) (log (- (- (* x (log y)) y) z)) (exp (- (- (* x (log y)) y) z)) (* (cbrt (- (- (* x (log y)) y) z)) (cbrt (- (- (* x (log y)) y) z))) (cbrt (- (- (* x (log y)) y) z)) (pow (- (- (* x (log y)) y) z) 3) (sqrt (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (- (pow (- (* x (log y)) y) 3) (pow z 3)) (+ (* (- (* (log y) x) y) (+ (- (* x (log y)) y) z)) (* z z)) (- z) (- (* (- (* x (log y)) y) (- (* x (log y)) y)) (* z z)) (+ (- (* x (log y)) y) z) (+ (sqrt (- (* x (log y)) y)) (sqrt z)) (- (sqrt (- (* x (log y)) y)) (sqrt z)) (- (- (* (log y) x) y) z) (- (+ z y)) (- (- (* (log (cbrt y)) x) y) z) (- (- (* (log (sqrt y)) x) y) z) (- (- (* (log y) x) y) z) (- (- (* (log (cbrt y)) x) y) z) (- (- (* (log (sqrt y)) x) y) z) (- (- (* (log y) x) y) z) (- (+ z y)) (+ y z) (- z) (* x (log y)) (* x (log y)) (* x (log y)) (- (* (log y) x) y) (- (* (log y) x) y) (- (* (log y) x) y) (- (+ (* x (log y)) (log t)) y) (- (- (* (log y) x) y) z) (- (- (* (log y) x) y) z) (- (- (* (log y) x) y) z) (- (- (* (log y) x) y) z) (- (- (* (log y) x) y) z) 0.439 * * * [progress]: adding candidates to table 0.652 * * [progress]: iteration 2 / 4 0.652 * * * [progress]: picking best candidate 0.669 * * * * [pick]: Picked # 0.669 * * * [progress]: localizing error 0.684 * * * [progress]: generating rewritten candidates 0.684 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1) 0.685 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 2 1) 0.687 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 0.696 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2) 0.705 * * * [progress]: generating series expansions 0.705 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1) 0.705 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 0.706 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.706 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.706 * [taylor]: Taking taylor expansion of 1/3 in y 0.706 * [taylor]: Taking taylor expansion of (log y) in y 0.706 * [taylor]: Taking taylor expansion of y in y 0.706 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.706 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.707 * [taylor]: Taking taylor expansion of 1/3 in y 0.707 * [taylor]: Taking taylor expansion of (log y) in y 0.707 * [taylor]: Taking taylor expansion of y in y 0.759 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 0.759 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.759 * [taylor]: Taking taylor expansion of 1/3 in y 0.759 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.759 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.759 * [taylor]: Taking taylor expansion of y in y 0.760 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.760 * [taylor]: Taking taylor expansion of 1/3 in y 0.760 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.760 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.760 * [taylor]: Taking taylor expansion of y in y 0.816 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 0.816 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.816 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.816 * [taylor]: Taking taylor expansion of -1 in y 0.817 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.817 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.817 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.817 * [taylor]: Taking taylor expansion of 1/3 in y 0.817 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.817 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.817 * [taylor]: Taking taylor expansion of y in y 0.818 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.818 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.818 * [taylor]: Taking taylor expansion of -1 in y 0.819 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.819 * [taylor]: Taking taylor expansion of 1/3 in y 0.819 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.819 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.819 * [taylor]: Taking taylor expansion of y in y 0.886 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 2 1) 0.886 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 0.886 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.886 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.886 * [taylor]: Taking taylor expansion of 1/3 in y 0.886 * [taylor]: Taking taylor expansion of (log y) in y 0.886 * [taylor]: Taking taylor expansion of y in y 0.887 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 0.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 0.887 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 0.887 * [taylor]: Taking taylor expansion of 1/3 in y 0.887 * [taylor]: Taking taylor expansion of (log y) in y 0.887 * [taylor]: Taking taylor expansion of y in y 0.941 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 0.941 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.941 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.941 * [taylor]: Taking taylor expansion of 1/3 in y 0.941 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.941 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.941 * [taylor]: Taking taylor expansion of y in y 0.942 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.942 * [taylor]: Taking taylor expansion of 1/3 in y 0.942 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.942 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.942 * [taylor]: Taking taylor expansion of y in y 0.994 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 0.994 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.994 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.994 * [taylor]: Taking taylor expansion of -1 in y 0.995 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.995 * [taylor]: Taking taylor expansion of 1/3 in y 0.995 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.995 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.995 * [taylor]: Taking taylor expansion of y in y 0.996 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 0.996 * [taylor]: Taking taylor expansion of (cbrt -1) in y 0.996 * [taylor]: Taking taylor expansion of -1 in y 0.997 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 0.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 0.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 0.997 * [taylor]: Taking taylor expansion of 1/3 in y 0.997 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.997 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.997 * [taylor]: Taking taylor expansion of y in y 1.065 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.066 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (x y) around 0 1.066 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 1.066 * [taylor]: Taking taylor expansion of 3 in y 1.066 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 1.066 * [taylor]: Taking taylor expansion of x in y 1.066 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 1.066 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.066 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.066 * [taylor]: Taking taylor expansion of 1/3 in y 1.066 * [taylor]: Taking taylor expansion of (log y) in y 1.066 * [taylor]: Taking taylor expansion of y in y 1.067 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 1.067 * [taylor]: Taking taylor expansion of 3 in x 1.067 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 1.067 * [taylor]: Taking taylor expansion of x in x 1.067 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 1.067 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 1.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 1.067 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 1.067 * [taylor]: Taking taylor expansion of 1/3 in x 1.067 * [taylor]: Taking taylor expansion of (log y) in x 1.067 * [taylor]: Taking taylor expansion of y in x 1.067 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 1.067 * [taylor]: Taking taylor expansion of 3 in x 1.067 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 1.067 * [taylor]: Taking taylor expansion of x in x 1.067 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 1.067 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 1.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 1.067 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 1.067 * [taylor]: Taking taylor expansion of 1/3 in x 1.067 * [taylor]: Taking taylor expansion of (log y) in x 1.067 * [taylor]: Taking taylor expansion of y in x 1.068 * [taylor]: Taking taylor expansion of 0 in y 1.070 * [taylor]: Taking taylor expansion of (* 3 (log (pow y 1/3))) in y 1.070 * [taylor]: Taking taylor expansion of 3 in y 1.070 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 1.070 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.070 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.070 * [taylor]: Taking taylor expansion of 1/3 in y 1.070 * [taylor]: Taking taylor expansion of (log y) in y 1.070 * [taylor]: Taking taylor expansion of y in y 1.075 * [taylor]: Taking taylor expansion of 0 in y 1.085 * [taylor]: Taking taylor expansion of 0 in y 1.085 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (x y) around 0 1.085 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 1.085 * [taylor]: Taking taylor expansion of 3 in y 1.085 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 1.085 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 1.085 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.085 * [taylor]: Taking taylor expansion of 1/3 in y 1.085 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.085 * [taylor]: Taking taylor expansion of y in y 1.086 * [taylor]: Taking taylor expansion of x in y 1.086 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 1.086 * [taylor]: Taking taylor expansion of 3 in x 1.086 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 1.086 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 1.086 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.086 * [taylor]: Taking taylor expansion of 1/3 in x 1.086 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.086 * [taylor]: Taking taylor expansion of y in x 1.086 * [taylor]: Taking taylor expansion of x in x 1.087 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 1.087 * [taylor]: Taking taylor expansion of 3 in x 1.087 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 1.087 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 1.087 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.087 * [taylor]: Taking taylor expansion of 1/3 in x 1.087 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.087 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.087 * [taylor]: Taking taylor expansion of y in x 1.087 * [taylor]: Taking taylor expansion of x in x 1.087 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 y) 1/3))) in y 1.087 * [taylor]: Taking taylor expansion of 3 in y 1.087 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 1.087 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.087 * [taylor]: Taking taylor expansion of 1/3 in y 1.087 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.087 * [taylor]: Taking taylor expansion of y in y 1.091 * [taylor]: Taking taylor expansion of 0 in y 1.105 * [taylor]: Taking taylor expansion of 0 in y 1.118 * [taylor]: Taking taylor expansion of 0 in y 1.118 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (x y) around 0 1.118 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 1.118 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 1.118 * [taylor]: Taking taylor expansion of 3 in y 1.118 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 1.118 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 1.118 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.118 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.118 * [taylor]: Taking taylor expansion of -1 in y 1.119 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.119 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.119 * [taylor]: Taking taylor expansion of 1/3 in y 1.119 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.119 * [taylor]: Taking taylor expansion of y in y 1.121 * [taylor]: Taking taylor expansion of x in y 1.121 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 1.121 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 1.121 * [taylor]: Taking taylor expansion of 3 in x 1.121 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 1.121 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 1.121 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 1.121 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.121 * [taylor]: Taking taylor expansion of -1 in x 1.122 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.122 * [taylor]: Taking taylor expansion of 1/3 in x 1.122 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.122 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.122 * [taylor]: Taking taylor expansion of y in x 1.123 * [taylor]: Taking taylor expansion of x in x 1.123 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 1.123 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 1.123 * [taylor]: Taking taylor expansion of 3 in x 1.123 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 1.123 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 1.123 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 1.123 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.123 * [taylor]: Taking taylor expansion of -1 in x 1.124 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.124 * [taylor]: Taking taylor expansion of 1/3 in x 1.124 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.124 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.124 * [taylor]: Taking taylor expansion of y in x 1.125 * [taylor]: Taking taylor expansion of x in x 1.126 * [taylor]: Taking taylor expansion of (- (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 1.126 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 1.126 * [taylor]: Taking taylor expansion of 3 in y 1.126 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 1.127 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.127 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.127 * [taylor]: Taking taylor expansion of -1 in y 1.128 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.128 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.128 * [taylor]: Taking taylor expansion of 1/3 in y 1.128 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.128 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.128 * [taylor]: Taking taylor expansion of y in y 1.139 * [taylor]: Taking taylor expansion of 0 in y 1.158 * [taylor]: Taking taylor expansion of 0 in y 1.187 * [taylor]: Taking taylor expansion of 0 in y 1.188 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2) 1.188 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/3))) in (x y) around 0 1.188 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 1.188 * [taylor]: Taking taylor expansion of x in y 1.188 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 1.188 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.188 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.188 * [taylor]: Taking taylor expansion of 1/3 in y 1.188 * [taylor]: Taking taylor expansion of (log y) in y 1.188 * [taylor]: Taking taylor expansion of y in y 1.189 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 1.189 * [taylor]: Taking taylor expansion of x in x 1.189 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 1.189 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 1.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 1.190 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 1.190 * [taylor]: Taking taylor expansion of 1/3 in x 1.190 * [taylor]: Taking taylor expansion of (log y) in x 1.190 * [taylor]: Taking taylor expansion of y in x 1.190 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 1.190 * [taylor]: Taking taylor expansion of x in x 1.190 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 1.190 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 1.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 1.190 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 1.190 * [taylor]: Taking taylor expansion of 1/3 in x 1.190 * [taylor]: Taking taylor expansion of (log y) in x 1.190 * [taylor]: Taking taylor expansion of y in x 1.190 * [taylor]: Taking taylor expansion of 0 in y 1.194 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 1.194 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.194 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.194 * [taylor]: Taking taylor expansion of 1/3 in y 1.194 * [taylor]: Taking taylor expansion of (log y) in y 1.194 * [taylor]: Taking taylor expansion of y in y 1.199 * [taylor]: Taking taylor expansion of 0 in y 1.207 * [taylor]: Taking taylor expansion of 0 in y 1.207 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in (x y) around 0 1.207 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 1.207 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 1.207 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.207 * [taylor]: Taking taylor expansion of 1/3 in y 1.207 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.207 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.207 * [taylor]: Taking taylor expansion of y in y 1.208 * [taylor]: Taking taylor expansion of x in y 1.208 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 1.208 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 1.208 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.209 * [taylor]: Taking taylor expansion of 1/3 in x 1.209 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.209 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.209 * [taylor]: Taking taylor expansion of y in x 1.209 * [taylor]: Taking taylor expansion of x in x 1.209 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 1.209 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 1.209 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.209 * [taylor]: Taking taylor expansion of 1/3 in x 1.209 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.209 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.209 * [taylor]: Taking taylor expansion of y in x 1.209 * [taylor]: Taking taylor expansion of x in x 1.209 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 1.209 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.215 * [taylor]: Taking taylor expansion of 1/3 in y 1.215 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.215 * [taylor]: Taking taylor expansion of y in y 1.219 * [taylor]: Taking taylor expansion of 0 in y 1.226 * [taylor]: Taking taylor expansion of 0 in y 1.237 * [taylor]: Taking taylor expansion of 0 in y 1.238 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (x y) around 0 1.238 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 1.238 * [taylor]: Taking taylor expansion of -1 in y 1.238 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 1.238 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 1.238 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.238 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.238 * [taylor]: Taking taylor expansion of -1 in y 1.238 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.238 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.238 * [taylor]: Taking taylor expansion of 1/3 in y 1.239 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.239 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.239 * [taylor]: Taking taylor expansion of y in y 1.240 * [taylor]: Taking taylor expansion of x in y 1.241 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 1.241 * [taylor]: Taking taylor expansion of -1 in x 1.241 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 1.241 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 1.241 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 1.241 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.241 * [taylor]: Taking taylor expansion of -1 in x 1.241 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.241 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.241 * [taylor]: Taking taylor expansion of 1/3 in x 1.241 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.241 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.241 * [taylor]: Taking taylor expansion of y in x 1.242 * [taylor]: Taking taylor expansion of x in x 1.243 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 1.243 * [taylor]: Taking taylor expansion of -1 in x 1.243 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 1.243 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 1.243 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 1.243 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.243 * [taylor]: Taking taylor expansion of -1 in x 1.244 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.244 * [taylor]: Taking taylor expansion of 1/3 in x 1.244 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.244 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.244 * [taylor]: Taking taylor expansion of y in x 1.245 * [taylor]: Taking taylor expansion of x in x 1.245 * [taylor]: Taking taylor expansion of (* -1 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 1.245 * [taylor]: Taking taylor expansion of -1 in y 1.246 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 1.246 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.246 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.246 * [taylor]: Taking taylor expansion of -1 in y 1.246 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.246 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.246 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.246 * [taylor]: Taking taylor expansion of 1/3 in y 1.246 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.246 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.246 * [taylor]: Taking taylor expansion of y in y 1.253 * [taylor]: Taking taylor expansion of 0 in y 1.265 * [taylor]: Taking taylor expansion of 0 in y 1.283 * [taylor]: Taking taylor expansion of 0 in y 1.283 * * * [progress]: simplifying candidates 1.285 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (exp (* x (* 2 (log (cbrt y))))) (exp (* x (log (cbrt y))))) (log (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (exp (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (* (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))) (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (* (* (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (+ (pow (* x (* 2 (log (cbrt y)))) 3) (pow (* x (log (cbrt y))) 3)) (+ (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))) (- (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))) (- (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))) (* (* x (log (cbrt y))) (* x (log (cbrt y))))) (- (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) (+ (* 2 (log (cbrt y))) (log (cbrt y))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt (* (cbrt y) (cbrt y)))))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt (sqrt y))))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt 1)))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (sqrt (cbrt y))))) (+ (* x (* 2 (log (cbrt y)))) (* x (log 1))) (+ (* x (* 2 (log (cbrt y)))) (* (log (cbrt (* (cbrt y) (cbrt y)))) x)) (+ (* x (* 2 (log (cbrt y)))) (* (log (cbrt (sqrt y))) x)) (+ (* x (* 2 (log (cbrt y)))) (* (log (cbrt 1)) x)) (+ (* x (* 2 (log (cbrt y)))) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x)) (+ (* x (* 2 (log (cbrt y)))) (* (log (sqrt (cbrt y))) x)) (+ (* x (* 2 (log (cbrt y)))) (* (log 1) x)) (+ (* x (* 2 (log (cbrt (cbrt y))))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (cbrt (sqrt y))))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (cbrt (cbrt y))))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (sqrt (cbrt y))))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) (+ (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (cbrt (sqrt y))) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (sqrt (cbrt y))) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (sqrt (cbrt y)))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))) (+ (* (* (log (cbrt (cbrt y))) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (cbrt (sqrt y))) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (cbrt y)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (cbrt (cbrt y))) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (sqrt (cbrt y))) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (cbrt y)) 2) x) (* x (log (cbrt y)))) (* x (log (cbrt y))) (+ (log x) (log (log (cbrt y)))) (log (* x (log (cbrt y)))) (exp (* x (log (cbrt y)))) (* (* (* x x) x) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y))))) (cbrt (* x (log (cbrt y)))) (* (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* x (log (cbrt (* (cbrt y) (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt 1))) (* x (log (cbrt y))) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log 1)) (* x (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt 1)) x) (* (log (cbrt y)) x) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log 1) x) (* (log (cbrt y)) x) (* x 1/3) (* x 1) (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* x (sqrt (log (cbrt y)))) (* x 1) (* (cbrt x) (log (cbrt y))) (* (sqrt x) (log (cbrt y))) (* x (log (cbrt y))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (* 3 (* x (log (pow y 1/3)))) (* 3 (* x (log (pow (/ 1 y) -1/3)))) (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (* x (log (pow y 1/3))) (* x (log (pow (/ 1 y) -1/3))) (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))) 1.290 * * [simplify]: iteration 0 : 345 enodes (cost 729 ) 1.297 * * [simplify]: iteration 1 : 1431 enodes (cost 634 ) 1.330 * * [simplify]: iteration 2 : 5001 enodes (cost 547 ) 1.333 * [simplify]: Simplified to: (* (log y) 1/3) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (* (log y) 1/3) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow (pow y 1/3) (* 3 x)) (log (* (log y) x)) (pow (pow y 1/3) (* 3 x)) (* (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))) (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (pow (* (log y) x) 3) (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (* 9 (pow (* x (log (cbrt y))) 3)) (* (* (* x (log (cbrt y))) x) (log y)) (* (* (* x (log (cbrt y))) x) (log y)) (* x (log (pow y 1/3))) (log y) (* x (+ (* 2/3 (log y)) (log (cbrt (* (cbrt y) (cbrt y)))))) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* 2/3 (* (log y) x)) (* (* 2 x) (+ (log (pow y 1/3)) (log (cbrt (cbrt y))))) (* x (+ (* 2/3 (log y)) (log (sqrt (cbrt y))))) (* 2/3 (* (log y) x)) (* x (+ (* 2/3 (log y)) (log (cbrt (* (cbrt y) (cbrt y)))))) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* 2/3 (* (log y) x)) (* (* 2 x) (+ (log (pow y 1/3)) (log (cbrt (cbrt y))))) (* x (+ (* 2/3 (log y)) (log (sqrt (cbrt y))))) (* 2/3 (* (log y) x)) (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y)))) (* x (+ (* (log (cbrt (sqrt y))) 2) (log (cbrt y)))) (* x (log y)) (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y)))) (* x (+ (* (log (sqrt (cbrt y))) 2) (log (cbrt y)))) (* x (log y)) (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y)))) (* x (+ (* (log (cbrt (sqrt y))) 2) (log (cbrt y)))) (* x (log y)) (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y)))) (* x (+ (* (log (sqrt (cbrt y))) 2) (log (cbrt y)))) (* x (log y)) (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y)))) (* x (+ (* (log (cbrt (sqrt y))) 2) (log (cbrt y)))) (* x (log y)) (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y)))) (* x (+ (* (log (sqrt (cbrt y))) 2) (log (cbrt y)))) (* x (log y)) (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y)))) (* x (+ (* (log (cbrt (sqrt y))) 2) (log (cbrt y)))) (* x (log y)) (* x (+ (* (log (cbrt (cbrt y))) 2) (log (cbrt y)))) (* x (+ (* (log (sqrt (cbrt y))) 2) (log (cbrt y)))) (* x (log y)) (* x (log (pow y 1/3))) (log (* x (log (cbrt y)))) (log (* x (log (cbrt y)))) (pow (pow y 1/3) x) (pow (* x (log (cbrt y))) 3) (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y))))) (cbrt (* x (log (cbrt y)))) (pow (* x (log (cbrt y))) 3) (sqrt (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* x (log (cbrt (* (cbrt y) (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))) 0 (* x (log (pow y 1/3))) (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) 0 (* x (log (pow y 1/3))) (* x (log (cbrt (* (cbrt y) (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))) 0 (* x (log (pow y 1/3))) (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) 0 (* x (log (pow y 1/3))) (* x 1/3) x (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* x (sqrt (log (cbrt y)))) x (* (cbrt x) (log (cbrt y))) (* (sqrt x) (log (cbrt y))) (* x (log (pow y 1/3))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (* x (log y)) (* -1 (* (log (/ 1 y)) x)) (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (* x (log (pow y 1/3))) (* x (log (pow (/ 1 y) -1/3))) (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))) 1.334 * * * [progress]: adding candidates to table 1.666 * * [progress]: iteration 3 / 4 1.666 * * * [progress]: picking best candidate 1.680 * * * * [pick]: Picked # 1.680 * * * [progress]: localizing error 1.699 * * * [progress]: generating rewritten candidates 1.699 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1) 1.701 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 2 1) 1.703 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 1) 1.708 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.724 * * * [progress]: generating series expansions 1.724 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1) 1.725 * [approximate]: Taking taylor expansion of (pow y 1/6) in (y) around 0 1.725 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 1.725 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 1.725 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 1.725 * [taylor]: Taking taylor expansion of 1/6 in y 1.725 * [taylor]: Taking taylor expansion of (log y) in y 1.725 * [taylor]: Taking taylor expansion of y in y 1.726 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 1.726 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 1.726 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 1.726 * [taylor]: Taking taylor expansion of 1/6 in y 1.726 * [taylor]: Taking taylor expansion of (log y) in y 1.726 * [taylor]: Taking taylor expansion of y in y 1.774 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/6) in (y) around 0 1.774 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 1.774 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 1.774 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 1.774 * [taylor]: Taking taylor expansion of 1/6 in y 1.774 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.774 * [taylor]: Taking taylor expansion of y in y 1.775 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 1.775 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 1.775 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 1.775 * [taylor]: Taking taylor expansion of 1/6 in y 1.775 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.775 * [taylor]: Taking taylor expansion of y in y 1.833 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in (y) around 0 1.833 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 1.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 1.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 1.833 * [taylor]: Taking taylor expansion of 1/3 in y 1.833 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 1.833 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 1.833 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.833 * [taylor]: Taking taylor expansion of -1 in y 1.833 * [taylor]: Taking taylor expansion of y in y 1.836 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 1.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 1.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 1.836 * [taylor]: Taking taylor expansion of 1/3 in y 1.836 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 1.836 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 1.836 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.836 * [taylor]: Taking taylor expansion of -1 in y 1.837 * [taylor]: Taking taylor expansion of y in y 1.872 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 2 1) 1.872 * [approximate]: Taking taylor expansion of (pow y 1/6) in (y) around 0 1.872 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 1.872 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 1.872 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 1.872 * [taylor]: Taking taylor expansion of 1/6 in y 1.872 * [taylor]: Taking taylor expansion of (log y) in y 1.872 * [taylor]: Taking taylor expansion of y in y 1.873 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 1.873 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 1.873 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 1.873 * [taylor]: Taking taylor expansion of 1/6 in y 1.873 * [taylor]: Taking taylor expansion of (log y) in y 1.873 * [taylor]: Taking taylor expansion of y in y 1.927 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/6) in (y) around 0 1.927 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 1.927 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 1.927 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 1.927 * [taylor]: Taking taylor expansion of 1/6 in y 1.927 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.927 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.927 * [taylor]: Taking taylor expansion of y in y 1.928 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 1.928 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 1.928 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 1.928 * [taylor]: Taking taylor expansion of 1/6 in y 1.928 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.928 * [taylor]: Taking taylor expansion of y in y 1.984 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in (y) around 0 1.985 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 1.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 1.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 1.985 * [taylor]: Taking taylor expansion of 1/3 in y 1.985 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 1.985 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 1.985 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.985 * [taylor]: Taking taylor expansion of -1 in y 1.985 * [taylor]: Taking taylor expansion of y in y 1.988 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 1.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 1.988 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 1.988 * [taylor]: Taking taylor expansion of 1/3 in y 1.988 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 1.988 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 1.988 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.988 * [taylor]: Taking taylor expansion of -1 in y 1.988 * [taylor]: Taking taylor expansion of y in y 2.023 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 1) 2.023 * [approximate]: Taking taylor expansion of (* 2/3 (log y)) in (y) around 0 2.023 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y 2.023 * [taylor]: Taking taylor expansion of 2/3 in y 2.023 * [taylor]: Taking taylor expansion of (log y) in y 2.023 * [taylor]: Taking taylor expansion of y in y 2.023 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y 2.023 * [taylor]: Taking taylor expansion of 2/3 in y 2.023 * [taylor]: Taking taylor expansion of (log y) in y 2.023 * [taylor]: Taking taylor expansion of y in y 2.069 * [approximate]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in (y) around 0 2.069 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y 2.069 * [taylor]: Taking taylor expansion of 2/3 in y 2.069 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.069 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.069 * [taylor]: Taking taylor expansion of y in y 2.070 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y 2.070 * [taylor]: Taking taylor expansion of 2/3 in y 2.070 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.070 * [taylor]: Taking taylor expansion of y in y 2.119 * [approximate]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in (y) around 0 2.119 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y 2.119 * [taylor]: Taking taylor expansion of 2/3 in y 2.119 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 2.119 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.119 * [taylor]: Taking taylor expansion of -1 in y 2.119 * [taylor]: Taking taylor expansion of y in y 2.119 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y 2.120 * [taylor]: Taking taylor expansion of 2/3 in y 2.120 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 2.120 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.120 * [taylor]: Taking taylor expansion of -1 in y 2.120 * [taylor]: Taking taylor expansion of y in y 2.168 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 2.168 * [approximate]: Taking taylor expansion of (+ (* 2/3 (* x (log y))) (* 2 (* (log (pow y 1/6)) x))) in (x y) around 0 2.168 * [taylor]: Taking taylor expansion of (+ (* 2/3 (* x (log y))) (* 2 (* (log (pow y 1/6)) x))) in y 2.168 * [taylor]: Taking taylor expansion of (* 2/3 (* x (log y))) in y 2.168 * [taylor]: Taking taylor expansion of 2/3 in y 2.169 * [taylor]: Taking taylor expansion of (* x (log y)) in y 2.169 * [taylor]: Taking taylor expansion of x in y 2.169 * [taylor]: Taking taylor expansion of (log y) in y 2.169 * [taylor]: Taking taylor expansion of y in y 2.169 * [taylor]: Taking taylor expansion of (* 2 (* (log (pow y 1/6)) x)) in y 2.169 * [taylor]: Taking taylor expansion of 2 in y 2.169 * [taylor]: Taking taylor expansion of (* (log (pow y 1/6)) x) in y 2.169 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in y 2.169 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 2.169 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 2.169 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 2.169 * [taylor]: Taking taylor expansion of 1/6 in y 2.169 * [taylor]: Taking taylor expansion of (log y) in y 2.169 * [taylor]: Taking taylor expansion of y in y 2.170 * [taylor]: Taking taylor expansion of x in y 2.170 * [taylor]: Taking taylor expansion of (+ (* 2/3 (* x (log y))) (* 2 (* (log (pow y 1/6)) x))) in x 2.170 * [taylor]: Taking taylor expansion of (* 2/3 (* x (log y))) in x 2.170 * [taylor]: Taking taylor expansion of 2/3 in x 2.170 * [taylor]: Taking taylor expansion of (* x (log y)) in x 2.170 * [taylor]: Taking taylor expansion of x in x 2.170 * [taylor]: Taking taylor expansion of (log y) in x 2.170 * [taylor]: Taking taylor expansion of y in x 2.170 * [taylor]: Taking taylor expansion of (* 2 (* (log (pow y 1/6)) x)) in x 2.170 * [taylor]: Taking taylor expansion of 2 in x 2.170 * [taylor]: Taking taylor expansion of (* (log (pow y 1/6)) x) in x 2.170 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in x 2.170 * [taylor]: Taking taylor expansion of (pow y 1/6) in x 2.170 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in x 2.170 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in x 2.170 * [taylor]: Taking taylor expansion of 1/6 in x 2.170 * [taylor]: Taking taylor expansion of (log y) in x 2.170 * [taylor]: Taking taylor expansion of y in x 2.170 * [taylor]: Taking taylor expansion of x in x 2.170 * [taylor]: Taking taylor expansion of (+ (* 2/3 (* x (log y))) (* 2 (* (log (pow y 1/6)) x))) in x 2.170 * [taylor]: Taking taylor expansion of (* 2/3 (* x (log y))) in x 2.170 * [taylor]: Taking taylor expansion of 2/3 in x 2.170 * [taylor]: Taking taylor expansion of (* x (log y)) in x 2.170 * [taylor]: Taking taylor expansion of x in x 2.170 * [taylor]: Taking taylor expansion of (log y) in x 2.170 * [taylor]: Taking taylor expansion of y in x 2.170 * [taylor]: Taking taylor expansion of (* 2 (* (log (pow y 1/6)) x)) in x 2.170 * [taylor]: Taking taylor expansion of 2 in x 2.170 * [taylor]: Taking taylor expansion of (* (log (pow y 1/6)) x) in x 2.170 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in x 2.170 * [taylor]: Taking taylor expansion of (pow y 1/6) in x 2.170 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in x 2.170 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in x 2.170 * [taylor]: Taking taylor expansion of 1/6 in x 2.170 * [taylor]: Taking taylor expansion of (log y) in x 2.170 * [taylor]: Taking taylor expansion of y in x 2.171 * [taylor]: Taking taylor expansion of x in x 2.172 * [taylor]: Taking taylor expansion of 0 in y 2.175 * [taylor]: Taking taylor expansion of (+ (* 2 (log (pow y 1/6))) (* 2/3 (log y))) in y 2.175 * [taylor]: Taking taylor expansion of (* 2 (log (pow y 1/6))) in y 2.175 * [taylor]: Taking taylor expansion of 2 in y 2.175 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in y 2.175 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 2.175 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 2.175 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 2.175 * [taylor]: Taking taylor expansion of 1/6 in y 2.175 * [taylor]: Taking taylor expansion of (log y) in y 2.175 * [taylor]: Taking taylor expansion of y in y 2.176 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y 2.176 * [taylor]: Taking taylor expansion of 2/3 in y 2.176 * [taylor]: Taking taylor expansion of (log y) in y 2.176 * [taylor]: Taking taylor expansion of y in y 2.397 * [taylor]: Taking taylor expansion of 0 in y 2.412 * [taylor]: Taking taylor expansion of 0 in y 2.413 * [approximate]: Taking taylor expansion of (+ (* 2/3 (/ (log (/ 1 y)) x)) (* 2 (/ (log (pow (/ 1 y) 1/6)) x))) in (x y) around 0 2.413 * [taylor]: Taking taylor expansion of (+ (* 2/3 (/ (log (/ 1 y)) x)) (* 2 (/ (log (pow (/ 1 y) 1/6)) x))) in y 2.413 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ 1 y)) x)) in y 2.413 * [taylor]: Taking taylor expansion of 2/3 in y 2.413 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 2.413 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.413 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.413 * [taylor]: Taking taylor expansion of y in y 2.413 * [taylor]: Taking taylor expansion of x in y 2.414 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/6)) x)) in y 2.414 * [taylor]: Taking taylor expansion of 2 in y 2.414 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/6)) x) in y 2.414 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in y 2.414 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 2.414 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 2.414 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 2.414 * [taylor]: Taking taylor expansion of 1/6 in y 2.414 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.414 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.414 * [taylor]: Taking taylor expansion of y in y 2.415 * [taylor]: Taking taylor expansion of x in y 2.415 * [taylor]: Taking taylor expansion of (+ (* 2/3 (/ (log (/ 1 y)) x)) (* 2 (/ (log (pow (/ 1 y) 1/6)) x))) in x 2.415 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ 1 y)) x)) in x 2.415 * [taylor]: Taking taylor expansion of 2/3 in x 2.415 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 2.415 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.415 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.415 * [taylor]: Taking taylor expansion of y in x 2.415 * [taylor]: Taking taylor expansion of x in x 2.415 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/6)) x)) in x 2.415 * [taylor]: Taking taylor expansion of 2 in x 2.415 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/6)) x) in x 2.416 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in x 2.416 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in x 2.416 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in x 2.416 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in x 2.416 * [taylor]: Taking taylor expansion of 1/6 in x 2.416 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.416 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.416 * [taylor]: Taking taylor expansion of y in x 2.416 * [taylor]: Taking taylor expansion of x in x 2.416 * [taylor]: Taking taylor expansion of (+ (* 2/3 (/ (log (/ 1 y)) x)) (* 2 (/ (log (pow (/ 1 y) 1/6)) x))) in x 2.416 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ 1 y)) x)) in x 2.416 * [taylor]: Taking taylor expansion of 2/3 in x 2.416 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 2.416 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.416 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.416 * [taylor]: Taking taylor expansion of y in x 2.416 * [taylor]: Taking taylor expansion of x in x 2.416 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/6)) x)) in x 2.416 * [taylor]: Taking taylor expansion of 2 in x 2.416 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/6)) x) in x 2.416 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in x 2.416 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in x 2.416 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in x 2.416 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in x 2.416 * [taylor]: Taking taylor expansion of 1/6 in x 2.416 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.416 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.416 * [taylor]: Taking taylor expansion of y in x 2.417 * [taylor]: Taking taylor expansion of x in x 2.417 * [taylor]: Taking taylor expansion of (+ (* 2/3 (log (/ 1 y))) (* 2 (log (pow (/ 1 y) 1/6)))) in y 2.417 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y 2.417 * [taylor]: Taking taylor expansion of 2/3 in y 2.417 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.417 * [taylor]: Taking taylor expansion of y in y 2.418 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 y) 1/6))) in y 2.418 * [taylor]: Taking taylor expansion of 2 in y 2.418 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in y 2.418 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 2.418 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 2.418 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 2.418 * [taylor]: Taking taylor expansion of 1/6 in y 2.418 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.418 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.418 * [taylor]: Taking taylor expansion of y in y 2.424 * [taylor]: Taking taylor expansion of 0 in y 2.437 * [taylor]: Taking taylor expansion of 0 in y 2.457 * [taylor]: Taking taylor expansion of 0 in y 2.457 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x)))) in (x y) around 0 2.457 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x)))) in y 2.457 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x))) in y 2.457 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) in y 2.457 * [taylor]: Taking taylor expansion of 2 in y 2.457 * [taylor]: Taking taylor expansion of (/ (log (pow (sqrt (/ -1 y)) 1/3)) x) in y 2.457 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 y)) 1/3)) in y 2.457 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 2.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 2.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 2.457 * [taylor]: Taking taylor expansion of 1/3 in y 2.457 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.457 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.457 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.457 * [taylor]: Taking taylor expansion of -1 in y 2.457 * [taylor]: Taking taylor expansion of y in y 2.461 * [taylor]: Taking taylor expansion of x in y 2.462 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ -1 y)) x)) in y 2.462 * [taylor]: Taking taylor expansion of 2/3 in y 2.462 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 2.462 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 2.462 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.462 * [taylor]: Taking taylor expansion of -1 in y 2.462 * [taylor]: Taking taylor expansion of y in y 2.463 * [taylor]: Taking taylor expansion of x in y 2.464 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x)))) in x 2.464 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x))) in x 2.464 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) in x 2.464 * [taylor]: Taking taylor expansion of 2 in x 2.464 * [taylor]: Taking taylor expansion of (/ (log (pow (sqrt (/ -1 y)) 1/3)) x) in x 2.464 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 y)) 1/3)) in x 2.464 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in x 2.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in x 2.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in x 2.464 * [taylor]: Taking taylor expansion of 1/3 in x 2.464 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.464 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.464 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.464 * [taylor]: Taking taylor expansion of -1 in x 2.464 * [taylor]: Taking taylor expansion of y in x 2.465 * [taylor]: Taking taylor expansion of x in x 2.465 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ -1 y)) x)) in x 2.465 * [taylor]: Taking taylor expansion of 2/3 in x 2.465 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 2.465 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 2.465 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.465 * [taylor]: Taking taylor expansion of -1 in x 2.465 * [taylor]: Taking taylor expansion of y in x 2.465 * [taylor]: Taking taylor expansion of x in x 2.465 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x)))) in x 2.465 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) (* 2/3 (/ (log (/ -1 y)) x))) in x 2.465 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (sqrt (/ -1 y)) 1/3)) x)) in x 2.465 * [taylor]: Taking taylor expansion of 2 in x 2.465 * [taylor]: Taking taylor expansion of (/ (log (pow (sqrt (/ -1 y)) 1/3)) x) in x 2.465 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 y)) 1/3)) in x 2.465 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in x 2.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in x 2.465 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in x 2.465 * [taylor]: Taking taylor expansion of 1/3 in x 2.465 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.465 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.465 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.465 * [taylor]: Taking taylor expansion of -1 in x 2.465 * [taylor]: Taking taylor expansion of y in x 2.466 * [taylor]: Taking taylor expansion of x in x 2.466 * [taylor]: Taking taylor expansion of (* 2/3 (/ (log (/ -1 y)) x)) in x 2.466 * [taylor]: Taking taylor expansion of 2/3 in x 2.466 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 2.466 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 2.466 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.466 * [taylor]: Taking taylor expansion of -1 in x 2.466 * [taylor]: Taking taylor expansion of y in x 2.466 * [taylor]: Taking taylor expansion of x in x 2.466 * [taylor]: Taking taylor expansion of (- (+ (* 2 (log (pow (sqrt (/ -1 y)) 1/3))) (* 2/3 (log (/ -1 y))))) in y 2.466 * [taylor]: Taking taylor expansion of (+ (* 2 (log (pow (sqrt (/ -1 y)) 1/3))) (* 2/3 (log (/ -1 y)))) in y 2.466 * [taylor]: Taking taylor expansion of (* 2 (log (pow (sqrt (/ -1 y)) 1/3))) in y 2.466 * [taylor]: Taking taylor expansion of 2 in y 2.466 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 y)) 1/3)) in y 2.466 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 2.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 2.466 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 2.466 * [taylor]: Taking taylor expansion of 1/3 in y 2.466 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.467 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.467 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.467 * [taylor]: Taking taylor expansion of -1 in y 2.467 * [taylor]: Taking taylor expansion of y in y 2.470 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y 2.470 * [taylor]: Taking taylor expansion of 2/3 in y 2.470 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 2.470 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.470 * [taylor]: Taking taylor expansion of -1 in y 2.470 * [taylor]: Taking taylor expansion of y in y 2.488 * [taylor]: Taking taylor expansion of 0 in y 2.518 * [taylor]: Taking taylor expansion of 0 in y 2.558 * * * [progress]: simplifying candidates 2.559 * [simplify]: Simplifying using # : (log (cbrt (sqrt y))) (exp (cbrt (sqrt y))) (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (cbrt (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt 1)) (cbrt (sqrt y)) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (log (cbrt (sqrt y))) (exp (cbrt (sqrt y))) (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (cbrt (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt 1)) (cbrt (sqrt y)) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (* 2/3 (log y)) (+ (log 2/3) (log (log y))) (log (* 2/3 (log y))) (exp (* 2/3 (log y))) (* (* (* 2/3 2/3) 2/3) (* (* (log y) (log y)) (log y))) (* (cbrt (* 2/3 (log y))) (cbrt (* 2/3 (log y)))) (cbrt (* 2/3 (log y))) (* (* (* 2/3 (log y)) (* 2/3 (log y))) (* 2/3 (log y))) (sqrt (* 2/3 (log y))) (sqrt (* 2/3 (log y))) (* (sqrt 2/3) (sqrt (log y))) (* (sqrt 2/3) (sqrt (log y))) (* 2/3 (log (* (cbrt y) (cbrt y)))) (* 2/3 (log (cbrt y))) (* 2/3 (log (sqrt y))) (* 2/3 (log (sqrt y))) (* 2/3 (log 1)) (* 2/3 (log y)) (* (log (* (cbrt y) (cbrt y))) 2/3) (* (log (cbrt y)) 2/3) (* (log (sqrt y)) 2/3) (* (log (sqrt y)) 2/3) (* (log 1) 2/3) (* (log y) 2/3) (* 2/3 1) (* 2/3 (* (cbrt (log y)) (cbrt (log y)))) (* 2/3 (sqrt (log y))) (* 2/3 1) (* (cbrt 2/3) (log y)) (* (sqrt 2/3) (log y)) (* 2/3 (log y)) (* (exp (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (exp (* x (log (cbrt (sqrt y)))))) (log (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (exp (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (* (cbrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (cbrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))))) (cbrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (* (* (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (sqrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (sqrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (+ (pow (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) 3) (pow (* x (log (cbrt (sqrt y)))) 3)) (+ (* (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (- (* (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y))))) (* (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))))) (- (* (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))))) (- (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))) (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt y)))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y))))))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt (* (cbrt y) (cbrt y))))))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt (sqrt y)))))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt 1))))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt (sqrt y)))))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt 1)))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))))))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (sqrt (cbrt (sqrt y)))))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log 1))) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y))))) x)) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (cbrt (sqrt (* (cbrt y) (cbrt y))))) x)) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (cbrt (sqrt (sqrt y)))) x)) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (cbrt (sqrt 1))) x)) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (cbrt (sqrt (sqrt y)))) x)) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (cbrt 1)) x)) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))))) x)) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (sqrt (cbrt (sqrt y)))) x)) (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log 1) x)) (+ (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y))))) (+ (* (log (cbrt (sqrt y))) x) (* x (log (cbrt (sqrt y))))) (pow y 1/6) (pow (/ 1 y) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (pow +nan.0 1/3) (/ 1 (pow y 2)))) (- (* +nan.0 (* (pow +nan.0 1/3) (/ 1 y)))))) (pow y 1/6) (pow (/ 1 y) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (pow +nan.0 1/3) (/ 1 (pow y 2)))) (- (* +nan.0 (* (pow +nan.0 1/3) (/ 1 y)))))) (* 2/3 (log y)) (* -2/3 (log (/ 1 y))) (* 2/3 (- (log -1) (log (/ -1 y)))) (* (+ (* 2 (log (pow y 1/6))) (* 2/3 (log y))) x) (* (- (* 2 (log (pow (/ 1 y) -1/6))) (* 2/3 (log (/ 1 y)))) x) (- (+ (* 2 (* (log (pow +nan.0 1/3)) x)) (* 2/3 (* (log -1) x))) (+ (* +nan.0 (/ x (pow y 2))) (- (* 2/3 (* x (log (/ -1 y)))) (* +nan.0 (/ x y))))) 2.568 * * [simplify]: iteration 0 : 411 enodes (cost 778 ) 2.576 * * [simplify]: iteration 1 : 1405 enodes (cost 707 ) 2.606 * * [simplify]: iteration 2 : 5002 enodes (cost 645 ) 2.609 * [simplify]: Simplified to: (log (cbrt (sqrt y))) (exp (cbrt (sqrt y))) (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (cbrt (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (sqrt y) (sqrt (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (log (cbrt (sqrt y))) (exp (cbrt (sqrt y))) (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (cbrt (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (sqrt y) (sqrt (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (* 2/3 (log y)) (log (* 2/3 (log y))) (log (* 2/3 (log y))) (pow y 2/3) (pow (* 2/3 (log y)) 3) (* (cbrt (* 2/3 (log y))) (cbrt (* 2/3 (log y)))) (cbrt (* 2/3 (log y))) (pow (* 2/3 (log y)) 3) (sqrt (* 2/3 (log y))) (sqrt (* 2/3 (log y))) (* (sqrt 2/3) (sqrt (log y))) (* (sqrt 2/3) (sqrt (log y))) (* (log (cbrt y)) 4/3) (* 2/3 (log (cbrt y))) (* 2/3 (log (sqrt y))) (* 2/3 (log (sqrt y))) 0 (* 2/3 (log y)) (* (log (cbrt y)) 4/3) (* 2/3 (log (cbrt y))) (* 2/3 (log (sqrt y))) (* 2/3 (log (sqrt y))) 0 (* 2/3 (log y)) 2/3 (* 2/3 (* (cbrt (log y)) (cbrt (log y)))) (* 2/3 (sqrt (log y))) 2/3 (* (cbrt 2/3) (log y)) (* (sqrt 2/3) (log y)) (* 2/3 (log y)) (pow (exp (+ (* 2 (log (cbrt (sqrt y)))) (* 2/3 (log y)))) x) (log (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (pow (exp (+ (* 2 (log (cbrt (sqrt y)))) (* 2/3 (log y)))) x) (* (cbrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (cbrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y))))))) (cbrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (pow (* (+ (* 2 (log (cbrt (sqrt y)))) (* 2/3 (log y))) x) 3) (sqrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (sqrt (+ (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))) (+ (pow (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) 3) (pow (* x (log (cbrt (sqrt y)))) 3)) (+ (* (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y))))) (* (* (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) x) (* 2/3 (log y)))) (* (* (* (+ (* 2 (log (cbrt (sqrt y)))) (* 2/3 (log y))) x) (log y)) (* 2/3 x)) (* x (* 2/3 (log y))) (+ (* 2 (log (cbrt (sqrt y)))) (* 2/3 (log y))) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y))))))) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt (* (cbrt y) (cbrt y))))))) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt (sqrt y)))))) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt 1)))) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt (sqrt y)))))) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt 1)))) (* (+ (log (cbrt (sqrt y))) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt (sqrt y))))))) x) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (sqrt (cbrt (sqrt y)))))) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y))))))) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt (* (cbrt y) (cbrt y))))))) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt (sqrt y)))))) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt 1)))) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt (sqrt (sqrt y)))))) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (cbrt 1)))) (* (+ (log (cbrt (sqrt y))) (+ (* 2/3 (log y)) (* 2 (log (cbrt (cbrt (sqrt y))))))) x) (* x (+ (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (log (sqrt (cbrt (sqrt y)))))) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (log (cbrt (sqrt y))) (+ x x)) (* (log (cbrt (sqrt y))) (+ x x)) (pow y 1/6) (pow (/ 1 y) -1/6) (+ (+ (pow +nan.0 1/3) (/ (* +nan.0 (pow +nan.0 1/3)) y)) (/ (- (pow +nan.0 4/3)) (pow y 2))) (pow y 1/6) (pow (/ 1 y) -1/6) (+ (+ (pow +nan.0 1/3) (/ (* +nan.0 (pow +nan.0 1/3)) y)) (/ (- (pow +nan.0 4/3)) (pow y 2))) (* 2/3 (log y)) (* -2/3 (log (/ 1 y))) (+ 0 (* 2/3 (log y))) (* x (log y)) (* (- (* 2 (log (pow (/ 1 y) -1/6))) (* 2/3 (log (/ 1 y)))) x) (+ (- (* x (+ (* 2/3 (log -1)) (* 2 (log (pow +nan.0 1/3))))) (* 2/3 (* x (log (/ -1 y))))) (* (/ x y) (- +nan.0 (/ +nan.0 y)))) 2.610 * * * [progress]: adding candidates to table 2.920 * * [progress]: iteration 4 / 4 2.920 * * * [progress]: picking best candidate 2.931 * * * * [pick]: Picked # 2.931 * * * [progress]: localizing error 2.955 * * * [progress]: generating rewritten candidates 2.955 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1) 2.957 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 2 1) 2.961 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2 1 1) 2.962 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 2 1 1 2) 2.965 * * * [progress]: generating series expansions 2.965 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1) 2.965 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 2.965 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 2.965 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 2.965 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 2.965 * [taylor]: Taking taylor expansion of 1/9 in y 2.965 * [taylor]: Taking taylor expansion of (log y) in y 2.965 * [taylor]: Taking taylor expansion of y in y 2.966 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 2.966 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 2.966 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 2.966 * [taylor]: Taking taylor expansion of 1/9 in y 2.966 * [taylor]: Taking taylor expansion of (log y) in y 2.966 * [taylor]: Taking taylor expansion of y in y 3.015 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 3.016 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 3.016 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 3.016 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 3.016 * [taylor]: Taking taylor expansion of 1/9 in y 3.016 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.016 * [taylor]: Taking taylor expansion of y in y 3.016 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 3.017 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 3.017 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 3.017 * [taylor]: Taking taylor expansion of 1/9 in y 3.017 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.017 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.017 * [taylor]: Taking taylor expansion of y in y 3.070 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 3.070 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 3.070 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 3.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 3.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 3.070 * [taylor]: Taking taylor expansion of 1/3 in y 3.070 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 3.070 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.070 * [taylor]: Taking taylor expansion of -1 in y 3.073 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 3.073 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 3.073 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 3.073 * [taylor]: Taking taylor expansion of 1/9 in y 3.073 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.073 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.073 * [taylor]: Taking taylor expansion of y in y 3.074 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 3.074 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 3.074 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 3.074 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 3.074 * [taylor]: Taking taylor expansion of 1/3 in y 3.074 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 3.074 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.074 * [taylor]: Taking taylor expansion of -1 in y 3.078 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 3.078 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 3.078 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 3.078 * [taylor]: Taking taylor expansion of 1/9 in y 3.078 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.078 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.078 * [taylor]: Taking taylor expansion of y in y 3.211 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 2 1) 3.211 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/9) in (y) around 0 3.211 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y 3.211 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y 3.211 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y 3.211 * [taylor]: Taking taylor expansion of 1/9 in y 3.211 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 3.211 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.211 * [taylor]: Taking taylor expansion of y in y 3.212 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y 3.212 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y 3.212 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y 3.212 * [taylor]: Taking taylor expansion of 1/9 in y 3.212 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 3.212 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.212 * [taylor]: Taking taylor expansion of y in y 3.269 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in (y) around 0 3.269 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 3.269 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 3.269 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 3.269 * [taylor]: Taking taylor expansion of 1/9 in y 3.269 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.269 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.269 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.269 * [taylor]: Taking taylor expansion of y in y 3.270 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 3.270 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 3.270 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 3.270 * [taylor]: Taking taylor expansion of 1/9 in y 3.270 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.270 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.270 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.270 * [taylor]: Taking taylor expansion of y in y 3.331 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow y 2)) 1/9)) in (y) around 0 3.331 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow y 2)) 1/9)) in y 3.331 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y 3.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y 3.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y 3.331 * [taylor]: Taking taylor expansion of 1/3 in y 3.331 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y 3.331 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 3.331 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.331 * [taylor]: Taking taylor expansion of -1 in y 3.337 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 3.337 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 3.337 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 3.337 * [taylor]: Taking taylor expansion of 1/9 in y 3.337 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.337 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.337 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.337 * [taylor]: Taking taylor expansion of y in y 3.338 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow y 2)) 1/9)) in y 3.338 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y 3.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y 3.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y 3.338 * [taylor]: Taking taylor expansion of 1/3 in y 3.338 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y 3.338 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 3.338 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.338 * [taylor]: Taking taylor expansion of -1 in y 3.345 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 3.345 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 3.345 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 3.345 * [taylor]: Taking taylor expansion of 1/9 in y 3.345 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.345 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.345 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.345 * [taylor]: Taking taylor expansion of y in y 3.486 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2 1 1) 3.486 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 3.486 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.486 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.486 * [taylor]: Taking taylor expansion of 1/3 in y 3.486 * [taylor]: Taking taylor expansion of (log y) in y 3.486 * [taylor]: Taking taylor expansion of y in y 3.486 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.486 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.487 * [taylor]: Taking taylor expansion of 1/3 in y 3.487 * [taylor]: Taking taylor expansion of (log y) in y 3.487 * [taylor]: Taking taylor expansion of y in y 3.539 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 3.539 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.539 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.539 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.539 * [taylor]: Taking taylor expansion of 1/3 in y 3.539 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.539 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.539 * [taylor]: Taking taylor expansion of y in y 3.540 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.540 * [taylor]: Taking taylor expansion of 1/3 in y 3.540 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.540 * [taylor]: Taking taylor expansion of y in y 3.597 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 3.597 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.597 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.597 * [taylor]: Taking taylor expansion of -1 in y 3.598 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.598 * [taylor]: Taking taylor expansion of 1/3 in y 3.598 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.598 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.598 * [taylor]: Taking taylor expansion of y in y 3.598 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.599 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.599 * [taylor]: Taking taylor expansion of -1 in y 3.599 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.599 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.599 * [taylor]: Taking taylor expansion of 1/3 in y 3.599 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.599 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.599 * [taylor]: Taking taylor expansion of y in y 3.662 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 2 1 1 2) 3.662 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 3.662 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.662 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.662 * [taylor]: Taking taylor expansion of 1/3 in y 3.662 * [taylor]: Taking taylor expansion of (log y) in y 3.662 * [taylor]: Taking taylor expansion of y in y 3.663 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.663 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.663 * [taylor]: Taking taylor expansion of 1/3 in y 3.663 * [taylor]: Taking taylor expansion of (log y) in y 3.663 * [taylor]: Taking taylor expansion of y in y 3.716 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 3.716 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.716 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.716 * [taylor]: Taking taylor expansion of 1/3 in y 3.716 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.716 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.716 * [taylor]: Taking taylor expansion of y in y 3.717 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.717 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.717 * [taylor]: Taking taylor expansion of 1/3 in y 3.717 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.717 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.717 * [taylor]: Taking taylor expansion of y in y 3.773 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 3.774 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.774 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.774 * [taylor]: Taking taylor expansion of -1 in y 3.774 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.774 * [taylor]: Taking taylor expansion of 1/3 in y 3.774 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.774 * [taylor]: Taking taylor expansion of y in y 3.775 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.775 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.775 * [taylor]: Taking taylor expansion of -1 in y 3.776 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.776 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.776 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.776 * [taylor]: Taking taylor expansion of 1/3 in y 3.776 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.776 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.776 * [taylor]: Taking taylor expansion of y in y 3.843 * * * [progress]: simplifying candidates 3.844 * [simplify]: Simplifying using # : (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (* (cbrt y) (cbrt y)))) (exp (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt y)) (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y))))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 2/9) (pow (/ 1 y) -2/9) (* (pow (pow (cbrt -1) 2) 1/3) (pow (pow y 2) 1/9)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 3.847 * * [simplify]: iteration 0 : 106 enodes (cost 215 ) 3.849 * * [simplify]: iteration 1 : 236 enodes (cost 195 ) 3.854 * * [simplify]: iteration 2 : 753 enodes (cost 185 ) 3.869 * * [simplify]: iteration 3 : 3141 enodes (cost 185 ) 3.941 * * [simplify]: iteration 4 : 5001 enodes (cost 180 ) 3.943 * [simplify]: Simplified to: (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (pow y 1/3) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (* (cbrt y) (cbrt y)))) (exp (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt y)) (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y))))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (pow y 2/3) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (pow y 1/3) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 2/9) (pow (/ 1 y) -2/9) (* (pow (pow (cbrt -1) 2) 1/3) (pow (pow y 2) 1/9)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 3.943 * * * [progress]: adding candidates to table 4.191 * [progress]: [Phase 3 of 3] Extracting. 4.191 * * [regime]: Finding splitpoints for: (# # # # # #) 4.193 * * * [regime-changes]: Trying 5 branch expressions: ((log t) t z y x) 4.193 * * * * [regimes]: Trying to branch on (log t) from (# # # # # #) 4.228 * * * * [regimes]: Trying to branch on t from (# # # # # #) 4.257 * * * * [regimes]: Trying to branch on z from (# # # # # #) 4.288 * * * * [regimes]: Trying to branch on y from (# # # # # #) 4.319 * * * * [regimes]: Trying to branch on x from (# # # # # #) 4.350 * * * [regime]: Found split indices: #