9.865 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.038 * * * [progress]: [2/2] Setting up program. 0.042 * [progress]: [Phase 2 of 3] Improving. 0.042 * [simplify]: Simplifying using # : (- (- (* x (log y)) z) y) 0.043 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.043 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.045 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 0.048 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 0.059 * * [simplify]: iteration 4 : 50 enodes (cost 8 ) 0.064 * * [simplify]: iteration 5 : 58 enodes (cost 8 ) 0.071 * * [simplify]: iteration 6 : 78 enodes (cost 8 ) 0.084 * * [simplify]: iteration 7 : 109 enodes (cost 8 ) 0.099 * * [simplify]: iteration 8 : 125 enodes (cost 8 ) 0.115 * * [simplify]: iteration 9 : 135 enodes (cost 8 ) 0.130 * * [simplify]: iteration 10 : 142 enodes (cost 8 ) 0.144 * * [simplify]: iteration 11 : 144 enodes (cost 8 ) 0.161 * * [simplify]: iteration 12 : 146 enodes (cost 8 ) 0.176 * * [simplify]: iteration done : 146 enodes (cost 8 ) 0.176 * [simplify]: Simplified to: (- (- (* x (log y)) z) y) 0.177 * * [progress]: iteration 1 / 4 0.177 * * * [progress]: picking best candidate 0.180 * * * * [pick]: Picked # 0.180 * * * [progress]: localizing error 0.187 * * * [progress]: generating rewritten candidates 0.187 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.192 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.197 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.206 * * * [progress]: generating series expansions 0.206 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.206 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 0.207 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.207 * [taylor]: Taking taylor expansion of x in y 0.207 * [taylor]: Taking taylor expansion of (log y) in y 0.207 * [taylor]: Taking taylor expansion of y in y 0.207 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of (log y) in x 0.207 * [taylor]: Taking taylor expansion of y in x 0.207 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of (log y) in x 0.207 * [taylor]: Taking taylor expansion of y in x 0.207 * [taylor]: Taking taylor expansion of 0 in y 0.207 * [taylor]: Taking taylor expansion of (log y) in y 0.207 * [taylor]: Taking taylor expansion of y in y 0.208 * [taylor]: Taking taylor expansion of 0 in y 0.209 * [taylor]: Taking taylor expansion of 0 in y 0.209 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 0.209 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.209 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.209 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.209 * [taylor]: Taking taylor expansion of y in y 0.209 * [taylor]: Taking taylor expansion of x in y 0.209 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.209 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.209 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.209 * [taylor]: Taking taylor expansion of y in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.209 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.209 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.209 * [taylor]: Taking taylor expansion of y in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.210 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.210 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.210 * [taylor]: Taking taylor expansion of y in y 0.210 * [taylor]: Taking taylor expansion of 0 in y 0.210 * [taylor]: Taking taylor expansion of 0 in y 0.211 * [taylor]: Taking taylor expansion of 0 in y 0.211 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 0.211 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 0.211 * [taylor]: Taking taylor expansion of -1 in y 0.212 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.212 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.212 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.212 * [taylor]: Taking taylor expansion of -1 in y 0.212 * [taylor]: Taking taylor expansion of y in y 0.212 * [taylor]: Taking taylor expansion of x in y 0.212 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.212 * [taylor]: Taking taylor expansion of -1 in x 0.212 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.212 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.212 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.212 * [taylor]: Taking taylor expansion of -1 in x 0.212 * [taylor]: Taking taylor expansion of y in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.212 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.212 * [taylor]: Taking taylor expansion of -1 in x 0.212 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.212 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.212 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.212 * [taylor]: Taking taylor expansion of -1 in x 0.212 * [taylor]: Taking taylor expansion of y in x 0.212 * [taylor]: Taking taylor expansion of x in x 0.212 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 0.212 * [taylor]: Taking taylor expansion of -1 in y 0.212 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.212 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.212 * [taylor]: Taking taylor expansion of -1 in y 0.212 * [taylor]: Taking taylor expansion of y in y 0.213 * [taylor]: Taking taylor expansion of 0 in y 0.214 * [taylor]: Taking taylor expansion of 0 in y 0.214 * [taylor]: Taking taylor expansion of 0 in y 0.215 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.215 * [approximate]: Taking taylor expansion of (- (* x (log y)) z) in (x y z) around 0 0.215 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in z 0.215 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.215 * [taylor]: Taking taylor expansion of x in z 0.215 * [taylor]: Taking taylor expansion of (log y) in z 0.215 * [taylor]: Taking taylor expansion of y in z 0.215 * [taylor]: Taking taylor expansion of z in z 0.215 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in y 0.215 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.215 * [taylor]: Taking taylor expansion of x in y 0.215 * [taylor]: Taking taylor expansion of (log y) in y 0.215 * [taylor]: Taking taylor expansion of y in y 0.215 * [taylor]: Taking taylor expansion of z in y 0.215 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x 0.215 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (log y) in x 0.215 * [taylor]: Taking taylor expansion of y in x 0.215 * [taylor]: Taking taylor expansion of z in x 0.215 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x 0.215 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (log y) in x 0.215 * [taylor]: Taking taylor expansion of y in x 0.215 * [taylor]: Taking taylor expansion of z in x 0.215 * [taylor]: Taking taylor expansion of (neg z) in y 0.215 * [taylor]: Taking taylor expansion of z in y 0.215 * [taylor]: Taking taylor expansion of (neg z) in z 0.215 * [taylor]: Taking taylor expansion of z in z 0.216 * [taylor]: Taking taylor expansion of (log y) in y 0.216 * [taylor]: Taking taylor expansion of y in y 0.216 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in z 0.216 * [taylor]: Taking taylor expansion of (log y) in z 0.216 * [taylor]: Taking taylor expansion of y in z 0.216 * [taylor]: Taking taylor expansion of (log 1) in z 0.216 * [taylor]: Taking taylor expansion of 1 in z 0.216 * [taylor]: Taking taylor expansion of 0 in z 0.216 * [taylor]: Taking taylor expansion of 0 in y 0.216 * [taylor]: Taking taylor expansion of 0 in z 0.216 * [taylor]: Taking taylor expansion of 0 in z 0.216 * [taylor]: Taking taylor expansion of 0 in z 0.217 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in (x y z) around 0 0.217 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in z 0.217 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.217 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.217 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.217 * [taylor]: Taking taylor expansion of y in z 0.217 * [taylor]: Taking taylor expansion of x in z 0.217 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.217 * [taylor]: Taking taylor expansion of z in z 0.217 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in y 0.217 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.217 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.217 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.217 * [taylor]: Taking taylor expansion of y in y 0.217 * [taylor]: Taking taylor expansion of x in y 0.217 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.217 * [taylor]: Taking taylor expansion of z in y 0.217 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x 0.218 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.218 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.218 * [taylor]: Taking taylor expansion of y in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.218 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.218 * [taylor]: Taking taylor expansion of z in x 0.218 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x 0.218 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.218 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.218 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.218 * [taylor]: Taking taylor expansion of y in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.218 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.218 * [taylor]: Taking taylor expansion of z in x 0.218 * [taylor]: Taking taylor expansion of (log (/ 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.218 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in z 0.218 * [taylor]: Taking taylor expansion of (log 1) in z 0.218 * [taylor]: Taking taylor expansion of 1 in z 0.218 * [taylor]: Taking taylor expansion of (log y) in z 0.218 * [taylor]: Taking taylor expansion of y in z 0.219 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 0.219 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.219 * [taylor]: Taking taylor expansion of z in y 0.219 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.219 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.219 * [taylor]: Taking taylor expansion of z in z 0.219 * [taylor]: Taking taylor expansion of 0 in z 0.219 * [taylor]: Taking taylor expansion of 0 in y 0.219 * [taylor]: Taking taylor expansion of 0 in z 0.219 * [taylor]: Taking taylor expansion of 0 in z 0.220 * [taylor]: Taking taylor expansion of 0 in z 0.221 * [taylor]: Taking taylor expansion of 0 in y 0.221 * [taylor]: Taking taylor expansion of 0 in z 0.221 * [taylor]: Taking taylor expansion of 0 in z 0.221 * [taylor]: Taking taylor expansion of 0 in z 0.222 * [taylor]: Taking taylor expansion of 0 in z 0.222 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in (x y z) around 0 0.222 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in z 0.222 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.222 * [taylor]: Taking taylor expansion of z in z 0.222 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.222 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.222 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.222 * [taylor]: Taking taylor expansion of -1 in z 0.222 * [taylor]: Taking taylor expansion of y in z 0.222 * [taylor]: Taking taylor expansion of x in z 0.222 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in y 0.222 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.222 * [taylor]: Taking taylor expansion of z in y 0.222 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.222 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.222 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.222 * [taylor]: Taking taylor expansion of -1 in y 0.222 * [taylor]: Taking taylor expansion of y in y 0.222 * [taylor]: Taking taylor expansion of x in y 0.223 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.223 * [taylor]: Taking taylor expansion of z in x 0.223 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.223 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.223 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.223 * [taylor]: Taking taylor expansion of -1 in x 0.223 * [taylor]: Taking taylor expansion of y in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.223 * [taylor]: Taking taylor expansion of z in x 0.223 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.223 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.223 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.223 * [taylor]: Taking taylor expansion of -1 in x 0.223 * [taylor]: Taking taylor expansion of y in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y 0.223 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.223 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.223 * [taylor]: Taking taylor expansion of -1 in y 0.223 * [taylor]: Taking taylor expansion of y in y 0.223 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.223 * [taylor]: Taking taylor expansion of (log y) in z 0.223 * [taylor]: Taking taylor expansion of y in z 0.223 * [taylor]: Taking taylor expansion of (log -1) in z 0.223 * [taylor]: Taking taylor expansion of -1 in z 0.224 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.224 * [taylor]: Taking taylor expansion of z in y 0.224 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.224 * [taylor]: Taking taylor expansion of z in z 0.224 * [taylor]: Taking taylor expansion of 0 in z 0.225 * [taylor]: Taking taylor expansion of 0 in y 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.226 * [taylor]: Taking taylor expansion of 0 in y 0.226 * [taylor]: Taking taylor expansion of 0 in z 0.226 * [taylor]: Taking taylor expansion of 0 in z 0.226 * [taylor]: Taking taylor expansion of 0 in z 0.227 * [taylor]: Taking taylor expansion of 0 in z 0.227 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.227 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 0.227 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 0.227 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.227 * [taylor]: Taking taylor expansion of x in z 0.227 * [taylor]: Taking taylor expansion of (log y) in z 0.227 * [taylor]: Taking taylor expansion of y in z 0.227 * [taylor]: Taking taylor expansion of (+ z y) in z 0.227 * [taylor]: Taking taylor expansion of z in z 0.227 * [taylor]: Taking taylor expansion of y in z 0.227 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 0.227 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.227 * [taylor]: Taking taylor expansion of x in y 0.227 * [taylor]: Taking taylor expansion of (log y) in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.227 * [taylor]: Taking taylor expansion of (+ z y) in y 0.227 * [taylor]: Taking taylor expansion of z in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.227 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 0.227 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.227 * [taylor]: Taking taylor expansion of x in x 0.227 * [taylor]: Taking taylor expansion of (log y) in x 0.227 * [taylor]: Taking taylor expansion of y in x 0.227 * [taylor]: Taking taylor expansion of (+ z y) in x 0.227 * [taylor]: Taking taylor expansion of z in x 0.227 * [taylor]: Taking taylor expansion of y in x 0.227 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 0.227 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.227 * [taylor]: Taking taylor expansion of x in x 0.227 * [taylor]: Taking taylor expansion of (log y) in x 0.228 * [taylor]: Taking taylor expansion of y in x 0.228 * [taylor]: Taking taylor expansion of (+ z y) in x 0.228 * [taylor]: Taking taylor expansion of z in x 0.228 * [taylor]: Taking taylor expansion of y in x 0.228 * [taylor]: Taking taylor expansion of (neg (+ z y)) in y 0.228 * [taylor]: Taking taylor expansion of (+ z y) in y 0.228 * [taylor]: Taking taylor expansion of z in y 0.228 * [taylor]: Taking taylor expansion of y in y 0.228 * [taylor]: Taking taylor expansion of (neg z) in z 0.228 * [taylor]: Taking taylor expansion of z in z 0.228 * [taylor]: Taking taylor expansion of (log y) in y 0.228 * [taylor]: Taking taylor expansion of y in y 0.228 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in z 0.228 * [taylor]: Taking taylor expansion of (log y) in z 0.228 * [taylor]: Taking taylor expansion of y in z 0.228 * [taylor]: Taking taylor expansion of (log 1) in z 0.228 * [taylor]: Taking taylor expansion of 1 in z 0.228 * [taylor]: Taking taylor expansion of (neg 1) in z 0.228 * [taylor]: Taking taylor expansion of 1 in z 0.229 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in (x y z) around 0 0.229 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in z 0.229 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.229 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.229 * [taylor]: Taking taylor expansion of y in z 0.229 * [taylor]: Taking taylor expansion of x in z 0.229 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.229 * [taylor]: Taking taylor expansion of y in z 0.229 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.229 * [taylor]: Taking taylor expansion of z in z 0.229 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in y 0.229 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.229 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.229 * [taylor]: Taking taylor expansion of y in y 0.229 * [taylor]: Taking taylor expansion of x in y 0.229 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.229 * [taylor]: Taking taylor expansion of y in y 0.229 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.229 * [taylor]: Taking taylor expansion of z in y 0.229 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in x 0.229 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.229 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.230 * [taylor]: Taking taylor expansion of y in x 0.230 * [taylor]: Taking taylor expansion of x in x 0.230 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.230 * [taylor]: Taking taylor expansion of y in x 0.230 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.230 * [taylor]: Taking taylor expansion of z in x 0.230 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in x 0.230 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.230 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.230 * [taylor]: Taking taylor expansion of y in x 0.230 * [taylor]: Taking taylor expansion of x in x 0.230 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.230 * [taylor]: Taking taylor expansion of y in x 0.230 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.230 * [taylor]: Taking taylor expansion of z in x 0.230 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.230 * [taylor]: Taking taylor expansion of y in y 0.231 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (/ 1 z))) in y 0.231 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.231 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.231 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.231 * [taylor]: Taking taylor expansion of z in y 0.231 * [taylor]: Taking taylor expansion of (neg 1) in z 0.231 * [taylor]: Taking taylor expansion of 1 in z 0.231 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in z 0.231 * [taylor]: Taking taylor expansion of (log 1) in z 0.231 * [taylor]: Taking taylor expansion of 1 in z 0.231 * [taylor]: Taking taylor expansion of (log y) in z 0.231 * [taylor]: Taking taylor expansion of y in z 0.231 * [taylor]: Taking taylor expansion of 0 in y 0.232 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 0.232 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.232 * [taylor]: Taking taylor expansion of z in z 0.232 * [taylor]: Taking taylor expansion of 0 in z 0.232 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in (x y z) around 0 0.232 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in z 0.232 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.232 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.232 * [taylor]: Taking taylor expansion of y in z 0.232 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.232 * [taylor]: Taking taylor expansion of z in z 0.232 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.232 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.232 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.233 * [taylor]: Taking taylor expansion of -1 in z 0.233 * [taylor]: Taking taylor expansion of y in z 0.233 * [taylor]: Taking taylor expansion of x in z 0.233 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in y 0.233 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.233 * [taylor]: Taking taylor expansion of y in y 0.233 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.233 * [taylor]: Taking taylor expansion of z in y 0.233 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.233 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.233 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.233 * [taylor]: Taking taylor expansion of -1 in y 0.233 * [taylor]: Taking taylor expansion of y in y 0.233 * [taylor]: Taking taylor expansion of x in y 0.233 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in x 0.233 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.233 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.233 * [taylor]: Taking taylor expansion of y in x 0.233 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.233 * [taylor]: Taking taylor expansion of z in x 0.233 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.233 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.233 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.233 * [taylor]: Taking taylor expansion of -1 in x 0.233 * [taylor]: Taking taylor expansion of y in x 0.233 * [taylor]: Taking taylor expansion of x in x 0.233 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in x 0.233 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.233 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.233 * [taylor]: Taking taylor expansion of y in x 0.233 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.233 * [taylor]: Taking taylor expansion of z in x 0.234 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.234 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.234 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.234 * [taylor]: Taking taylor expansion of -1 in x 0.234 * [taylor]: Taking taylor expansion of y in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.234 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y 0.234 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.234 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.234 * [taylor]: Taking taylor expansion of -1 in y 0.234 * [taylor]: Taking taylor expansion of y in y 0.234 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.234 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.234 * [taylor]: Taking taylor expansion of z in y 0.234 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.234 * [taylor]: Taking taylor expansion of y in y 0.234 * [taylor]: Taking taylor expansion of 1 in z 0.235 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.235 * [taylor]: Taking taylor expansion of (log y) in z 0.235 * [taylor]: Taking taylor expansion of y in z 0.235 * [taylor]: Taking taylor expansion of (log -1) in z 0.235 * [taylor]: Taking taylor expansion of -1 in z 0.235 * [taylor]: Taking taylor expansion of 0 in y 0.235 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.235 * [taylor]: Taking taylor expansion of z in z 0.235 * [taylor]: Taking taylor expansion of 0 in z 0.236 * * * [progress]: simplifying candidates 0.237 * [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 z)) (log (- (* x (log y)) z)) (exp (- (* x (log y)) z)) (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z))) (cbrt (- (* x (log y)) z)) (* (* (- (* x (log y)) z) (- (* x (log y)) z)) (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)) (- (pow (* x (log y)) 3) (pow z 3)) (+ (* (* x (log y)) (* x (log y))) (+ (* z z) (* (* x (log y)) z))) (neg z) (- (* (* x (log y)) (* x (log y))) (* z z)) (+ (* x (log y)) z) (- (* x (log (cbrt y))) z) (- (* x (log (sqrt y))) z) (- (* x (log y)) z) (- (* (log (cbrt y)) x) z) (- (* (log (sqrt y)) x) z) (- (* (log y) x) z) (neg z) (/ (/ (exp (* x (log y))) (exp z)) (exp y)) (/ (exp (- (* x (log y)) z)) (exp y)) (log (- (- (* x (log y)) z) y)) (exp (- (- (* x (log y)) z) y)) (* (cbrt (- (- (* x (log y)) z) y)) (cbrt (- (- (* x (log y)) z) y))) (cbrt (- (- (* x (log y)) z) y)) (* (* (- (- (* x (log y)) z) y) (- (- (* x (log y)) z) y)) (- (- (* x (log y)) z) y)) (sqrt (- (- (* x (log y)) z) y)) (sqrt (- (- (* x (log y)) z) y)) (- (pow (- (* x (log y)) z) 3) (pow y 3)) (+ (* (- (* x (log y)) z) (- (* x (log y)) z)) (+ (* y y) (* (- (* x (log y)) z) y))) (neg y) (- (* (- (* x (log y)) z) (- (* x (log y)) z)) (* y y)) (+ (- (* x (log y)) z) y) (+ (sqrt (- (* x (log y)) z)) (sqrt y)) (- (sqrt (- (* x (log y)) z)) (sqrt y)) (- (- (* x (log y)) z) y) (- (neg z) y) (- (- (* x (log (cbrt y))) z) y) (- (- (* x (log (sqrt y))) z) y) (- (- (* x (log y)) z) y) (- (- (* (log (cbrt y)) x) z) y) (- (- (* (log (sqrt y)) x) z) y) (- (- (* (log y) x) z) y) (- (neg z) y) (+ z y) (neg y) (* x (+ (log y) (log 1))) (* (- (log 1) (log (/ 1 y))) x) (* x (- (log -1) (log (/ -1 y)))) (- (+ (* x (log y)) (* x (log 1))) z) (- (* x (log 1)) (+ z (* x (log (/ 1 y))))) (- (* x (log -1)) (+ (* x (log (/ -1 y))) z)) (- (+ (* x (log y)) (* x (log 1))) (+ z y)) (- (* x (log 1)) (+ z (+ y (* x (log (/ 1 y)))))) (- (* x (log -1)) (+ (* x (log (/ -1 y))) (+ z y))) 0.243 * * [simplify]: iteration 0 : 131 enodes (cost 727 ) 0.265 * * [simplify]: iteration 1 : 267 enodes (cost 679 ) 0.322 * * [simplify]: iteration 2 : 552 enodes (cost 641 ) 0.560 * * [simplify]: iteration 3 : 1558 enodes (cost 596 ) 1.364 * * [simplify]: iteration done : 5000 enodes (cost 596 ) 1.364 * [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))) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) (* (* 2 (log (cbrt y))) x) (* 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)) (/ (pow y x) (exp z)) (log (- (* x (log y)) z)) (/ (pow y x) (exp z)) (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z))) (cbrt (- (* x (log y)) z)) (pow (- (* (log y) x) z) 3) (sqrt (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)) (- (pow (* x (log y)) 3) (pow z 3)) (+ (* (+ (* x (log y)) z) (* x (log y))) (* z z)) (neg z) (- (* (* x (log y)) (* x (log y))) (* z z)) (+ (* x (log y)) z) (- (* x (log (cbrt y))) z) (- (* x (log (sqrt y))) z) (- (* x (log y)) z) (- (* x (log (cbrt y))) z) (- (* x (log (sqrt y))) z) (- (* x (log y)) z) (neg z) (/ (pow y x) (exp (+ z y))) (/ (pow y x) (exp (+ z y))) (log (- (- (* x (log y)) z) y)) (/ (pow y x) (exp (+ z y))) (* (cbrt (- (- (* x (log y)) z) y)) (cbrt (- (- (* x (log y)) z) y))) (cbrt (- (- (* x (log y)) z) y)) (pow (- (* x (log y)) (+ z y)) 3) (sqrt (- (- (* x (log y)) z) y)) (sqrt (- (- (* x (log y)) z) y)) (- (pow (- (* x (log y)) z) 3) (pow y 3)) (+ (* y y) (* (- (* x (log y)) z) (+ (- (* x (log y)) z) y))) (neg y) (- (* (- (* x (log y)) z) (- (* x (log y)) z)) (* y y)) (+ (- (* x (log y)) z) y) (+ (sqrt (- (* x (log y)) z)) (sqrt y)) (- (sqrt (- (* x (log y)) z)) (sqrt y)) (- (* x (log y)) (+ z y)) (- (neg y) z) (- (- (* x (log (cbrt y))) z) y) (- (- (* x (log (sqrt y))) z) y) (- (* x (log y)) (+ z y)) (- (- (* x (log (cbrt y))) z) y) (- (- (* x (log (sqrt y))) z) y) (- (* x (log y)) (+ z y)) (- (neg y) z) (+ z y) (neg y) (* x (log y)) (* x (log y)) (* x (log y)) (- (* x (log y)) z) (- (* x (log y)) z) (- (* x (log y)) z) (- (* x (log y)) (+ z y)) (- (* x (log y)) (+ z y)) (- (* x (log y)) (+ z y)) 1.365 * * * [progress]: adding candidates to table 1.443 * * [progress]: iteration 2 / 4 1.443 * * * [progress]: picking best candidate 1.465 * * * * [pick]: Picked # 1.465 * * * [progress]: localizing error 1.472 * * * [progress]: generating rewritten candidates 1.472 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 1.476 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.484 * * * [progress]: generating series expansions 1.484 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 1.485 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 1.485 * [taylor]: Taking taylor expansion of (* x (log y)) in y 1.485 * [taylor]: Taking taylor expansion of x in y 1.485 * [taylor]: Taking taylor expansion of (log y) in y 1.485 * [taylor]: Taking taylor expansion of y in y 1.485 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.485 * [taylor]: Taking taylor expansion of x in x 1.485 * [taylor]: Taking taylor expansion of (log y) in x 1.485 * [taylor]: Taking taylor expansion of y in x 1.485 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.485 * [taylor]: Taking taylor expansion of x in x 1.485 * [taylor]: Taking taylor expansion of (log y) in x 1.485 * [taylor]: Taking taylor expansion of y in x 1.485 * [taylor]: Taking taylor expansion of 0 in y 1.485 * [taylor]: Taking taylor expansion of (log y) in y 1.485 * [taylor]: Taking taylor expansion of y in y 1.486 * [taylor]: Taking taylor expansion of 0 in y 1.486 * [taylor]: Taking taylor expansion of 0 in y 1.486 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 1.486 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.486 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.486 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.486 * [taylor]: Taking taylor expansion of y in y 1.486 * [taylor]: Taking taylor expansion of x in y 1.486 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.487 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.487 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.487 * [taylor]: Taking taylor expansion of y in x 1.487 * [taylor]: Taking taylor expansion of x in x 1.487 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.487 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.487 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.487 * [taylor]: Taking taylor expansion of y in x 1.487 * [taylor]: Taking taylor expansion of x in x 1.487 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.487 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.487 * [taylor]: Taking taylor expansion of y in y 1.487 * [taylor]: Taking taylor expansion of 0 in y 1.488 * [taylor]: Taking taylor expansion of 0 in y 1.489 * [taylor]: Taking taylor expansion of 0 in y 1.489 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 1.489 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 1.489 * [taylor]: Taking taylor expansion of -1 in y 1.489 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.489 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.489 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.489 * [taylor]: Taking taylor expansion of -1 in y 1.489 * [taylor]: Taking taylor expansion of y in y 1.489 * [taylor]: Taking taylor expansion of x in y 1.489 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 1.489 * [taylor]: Taking taylor expansion of -1 in x 1.489 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.489 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.489 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.489 * [taylor]: Taking taylor expansion of -1 in x 1.489 * [taylor]: Taking taylor expansion of y in x 1.489 * [taylor]: Taking taylor expansion of x in x 1.489 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 1.489 * [taylor]: Taking taylor expansion of -1 in x 1.489 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.489 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.489 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.489 * [taylor]: Taking taylor expansion of -1 in x 1.489 * [taylor]: Taking taylor expansion of y in x 1.489 * [taylor]: Taking taylor expansion of x in x 1.490 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 1.490 * [taylor]: Taking taylor expansion of -1 in y 1.490 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.490 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.490 * [taylor]: Taking taylor expansion of -1 in y 1.490 * [taylor]: Taking taylor expansion of y in y 1.490 * [taylor]: Taking taylor expansion of 0 in y 1.491 * [taylor]: Taking taylor expansion of 0 in y 1.492 * [taylor]: Taking taylor expansion of 0 in y 1.492 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.492 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 1.492 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 1.492 * [taylor]: Taking taylor expansion of (* x (log y)) in z 1.492 * [taylor]: Taking taylor expansion of x in z 1.492 * [taylor]: Taking taylor expansion of (log y) in z 1.492 * [taylor]: Taking taylor expansion of y in z 1.492 * [taylor]: Taking taylor expansion of (+ z y) in z 1.492 * [taylor]: Taking taylor expansion of z in z 1.492 * [taylor]: Taking taylor expansion of y in z 1.492 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 1.492 * [taylor]: Taking taylor expansion of (* x (log y)) in y 1.492 * [taylor]: Taking taylor expansion of x in y 1.492 * [taylor]: Taking taylor expansion of (log y) in y 1.493 * [taylor]: Taking taylor expansion of y in y 1.493 * [taylor]: Taking taylor expansion of (+ z y) in y 1.493 * [taylor]: Taking taylor expansion of z in y 1.493 * [taylor]: Taking taylor expansion of y in y 1.493 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 1.493 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.493 * [taylor]: Taking taylor expansion of x in x 1.493 * [taylor]: Taking taylor expansion of (log y) in x 1.493 * [taylor]: Taking taylor expansion of y in x 1.493 * [taylor]: Taking taylor expansion of (+ z y) in x 1.493 * [taylor]: Taking taylor expansion of z in x 1.493 * [taylor]: Taking taylor expansion of y in x 1.493 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 1.493 * [taylor]: Taking taylor expansion of (* x (log y)) in x 1.493 * [taylor]: Taking taylor expansion of x in x 1.493 * [taylor]: Taking taylor expansion of (log y) in x 1.493 * [taylor]: Taking taylor expansion of y in x 1.493 * [taylor]: Taking taylor expansion of (+ z y) in x 1.493 * [taylor]: Taking taylor expansion of z in x 1.493 * [taylor]: Taking taylor expansion of y in x 1.493 * [taylor]: Taking taylor expansion of (neg (+ z y)) in y 1.493 * [taylor]: Taking taylor expansion of (+ z y) in y 1.493 * [taylor]: Taking taylor expansion of z in y 1.493 * [taylor]: Taking taylor expansion of y in y 1.493 * [taylor]: Taking taylor expansion of (neg z) in z 1.493 * [taylor]: Taking taylor expansion of z in z 1.493 * [taylor]: Taking taylor expansion of (log y) in y 1.493 * [taylor]: Taking taylor expansion of y in y 1.493 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in z 1.493 * [taylor]: Taking taylor expansion of (log y) in z 1.493 * [taylor]: Taking taylor expansion of y in z 1.494 * [taylor]: Taking taylor expansion of (log 1) in z 1.494 * [taylor]: Taking taylor expansion of 1 in z 1.494 * [taylor]: Taking taylor expansion of (neg 1) in z 1.494 * [taylor]: Taking taylor expansion of 1 in z 1.494 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in (x y z) around 0 1.494 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in z 1.494 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 1.494 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 1.494 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.494 * [taylor]: Taking taylor expansion of y in z 1.494 * [taylor]: Taking taylor expansion of x in z 1.494 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 1.494 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.494 * [taylor]: Taking taylor expansion of z in z 1.494 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.494 * [taylor]: Taking taylor expansion of y in z 1.494 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in y 1.494 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 1.494 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.494 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.494 * [taylor]: Taking taylor expansion of y in y 1.494 * [taylor]: Taking taylor expansion of x in y 1.495 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 1.495 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.495 * [taylor]: Taking taylor expansion of z in y 1.495 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.495 * [taylor]: Taking taylor expansion of y in y 1.495 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 1.495 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.495 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.495 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.495 * [taylor]: Taking taylor expansion of y in x 1.495 * [taylor]: Taking taylor expansion of x in x 1.495 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 1.495 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.495 * [taylor]: Taking taylor expansion of z in x 1.495 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.495 * [taylor]: Taking taylor expansion of y in x 1.495 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 1.495 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 1.495 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.495 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.495 * [taylor]: Taking taylor expansion of y in x 1.495 * [taylor]: Taking taylor expansion of x in x 1.495 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 1.495 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.495 * [taylor]: Taking taylor expansion of z in x 1.495 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.495 * [taylor]: Taking taylor expansion of y in x 1.495 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.495 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.495 * [taylor]: Taking taylor expansion of y in y 1.496 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 z) (/ 1 y))) in y 1.496 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 1.496 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.496 * [taylor]: Taking taylor expansion of z in y 1.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.496 * [taylor]: Taking taylor expansion of y in y 1.496 * [taylor]: Taking taylor expansion of (neg 1) in z 1.496 * [taylor]: Taking taylor expansion of 1 in z 1.496 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in z 1.496 * [taylor]: Taking taylor expansion of (log 1) in z 1.496 * [taylor]: Taking taylor expansion of 1 in z 1.496 * [taylor]: Taking taylor expansion of (log y) in z 1.496 * [taylor]: Taking taylor expansion of y in z 1.497 * [taylor]: Taking taylor expansion of 0 in y 1.497 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.497 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.497 * [taylor]: Taking taylor expansion of z in z 1.497 * [taylor]: Taking taylor expansion of 0 in z 1.498 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in (x y z) around 0 1.498 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in z 1.498 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 1.498 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.498 * [taylor]: Taking taylor expansion of z in z 1.498 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.498 * [taylor]: Taking taylor expansion of y in z 1.498 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 1.498 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 1.498 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.498 * [taylor]: Taking taylor expansion of -1 in z 1.498 * [taylor]: Taking taylor expansion of y in z 1.498 * [taylor]: Taking taylor expansion of x in z 1.498 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in y 1.498 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 1.498 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.498 * [taylor]: Taking taylor expansion of z in y 1.498 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.498 * [taylor]: Taking taylor expansion of y in y 1.498 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 1.498 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.498 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.498 * [taylor]: Taking taylor expansion of -1 in y 1.498 * [taylor]: Taking taylor expansion of y in y 1.498 * [taylor]: Taking taylor expansion of x in y 1.498 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 1.498 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 1.498 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.498 * [taylor]: Taking taylor expansion of z in x 1.498 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.498 * [taylor]: Taking taylor expansion of y in x 1.498 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.498 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.499 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.499 * [taylor]: Taking taylor expansion of -1 in x 1.499 * [taylor]: Taking taylor expansion of y in x 1.499 * [taylor]: Taking taylor expansion of x in x 1.499 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 1.499 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 1.499 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.499 * [taylor]: Taking taylor expansion of z in x 1.499 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.499 * [taylor]: Taking taylor expansion of y in x 1.499 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 1.499 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 1.499 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.499 * [taylor]: Taking taylor expansion of -1 in x 1.499 * [taylor]: Taking taylor expansion of y in x 1.499 * [taylor]: Taking taylor expansion of x in x 1.499 * [taylor]: Taking taylor expansion of (neg (log (/ -1 y))) in y 1.499 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 1.499 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.499 * [taylor]: Taking taylor expansion of -1 in y 1.499 * [taylor]: Taking taylor expansion of y in y 1.500 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 1.500 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.500 * [taylor]: Taking taylor expansion of y in y 1.500 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.500 * [taylor]: Taking taylor expansion of z in y 1.500 * [taylor]: Taking taylor expansion of 1 in z 1.500 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 1.500 * [taylor]: Taking taylor expansion of (log y) in z 1.500 * [taylor]: Taking taylor expansion of y in z 1.500 * [taylor]: Taking taylor expansion of (log -1) in z 1.500 * [taylor]: Taking taylor expansion of -1 in z 1.500 * [taylor]: Taking taylor expansion of 0 in y 1.500 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.500 * [taylor]: Taking taylor expansion of z in z 1.501 * [taylor]: Taking taylor expansion of 0 in z 1.501 * * * [progress]: simplifying candidates 1.502 * [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 z) (exp y))) (/ (exp (* x (log y))) (exp (+ z y))) (log (- (* x (log y)) (+ z y))) (exp (- (* x (log y)) (+ z y))) (* (cbrt (- (* x (log y)) (+ z y))) (cbrt (- (* x (log y)) (+ z y)))) (cbrt (- (* x (log y)) (+ z y))) (* (* (- (* x (log y)) (+ z y)) (- (* x (log y)) (+ z y))) (- (* x (log y)) (+ z y))) (sqrt (- (* x (log y)) (+ z y))) (sqrt (- (* x (log y)) (+ z y))) (- (pow (* x (log y)) 3) (pow (+ z y) 3)) (+ (* (* x (log y)) (* x (log y))) (+ (* (+ z y) (+ z y)) (* (* x (log y)) (+ z y)))) (neg (+ z y)) (- (* (* x (log y)) (* x (log y))) (* (+ z y) (+ z y))) (+ (* x (log y)) (+ z y)) (- (* x (log y)) z) (- (* x (log (cbrt y))) (+ z y)) (- (* x (log (sqrt y))) (+ z y)) (- (* x (log y)) (+ z y)) (- (* (log (cbrt y)) x) (+ z y)) (- (* (log (sqrt y)) x) (+ z y)) (- (* (log y) x) (+ z y)) (neg (+ z y)) (* x (+ (log y) (log 1))) (* (- (log 1) (log (/ 1 y))) x) (* x (- (log -1) (log (/ -1 y)))) (- (+ (* x (log y)) (* x (log 1))) (+ z y)) (- (* x (log 1)) (+ z (+ y (* x (log (/ 1 y)))))) (- (* x (log -1)) (+ (* x (log (/ -1 y))) (+ z y))) 1.504 * * [simplify]: iteration 0 : 102 enodes (cost 490 ) 1.525 * * [simplify]: iteration 1 : 222 enodes (cost 460 ) 1.578 * * [simplify]: iteration 2 : 507 enodes (cost 414 ) 1.796 * * [simplify]: iteration 3 : 1551 enodes (cost 400 ) 2.678 * * [simplify]: iteration done : 5000 enodes (cost 400 ) 2.679 * [simplify]: Simplified to: (* (log y) x) (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))) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* (log y) x) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* (log y) x) x (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) x (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* (log y) x) (/ (pow y x) (exp (+ z y))) (/ (pow y x) (exp (+ z y))) (log (- (* x (log y)) (+ z y))) (/ (pow y x) (exp (+ z y))) (* (cbrt (- (* x (log y)) (+ z y))) (cbrt (- (* x (log y)) (+ z y)))) (cbrt (- (* x (log y)) (+ z y))) (pow (- (* x (log y)) (+ z y)) 3) (sqrt (- (* x (log y)) (+ z y))) (sqrt (- (* x (log y)) (+ z y))) (- (pow (* x (log y)) 3) (pow (+ z y) 3)) (+ (* (+ z y) (+ z y)) (* (+ (* x (log y)) (+ z y)) (* (log y) x))) (neg (+ z y)) (- (* (* x (log y)) (* x (log y))) (* (+ z y) (+ z y))) (+ (* x (log y)) (+ z y)) (- (* (log y) x) z) (- (* x (log (cbrt y))) (+ z y)) (- (* x (log (sqrt y))) (+ z y)) (- (- (* (log y) x) y) z) (- (* x (log (cbrt y))) (+ z y)) (- (* x (log (sqrt y))) (+ z y)) (- (- (* (log y) x) y) z) (neg (+ z y)) (* (log y) x) (* (log y) x) (* (log y) x) (- (- (* (log y) x) y) z) (- (- (* (log y) x) y) z) (- (- (* (log y) x) y) z) 2.679 * * * [progress]: adding candidates to table 2.722 * * [progress]: iteration 3 / 4 2.722 * * * [progress]: picking best candidate 2.741 * * * * [pick]: Picked # 2.741 * * * [progress]: localizing error 2.751 * * * [progress]: generating rewritten candidates 2.751 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 2.757 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 2.763 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 2.771 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2) 2.776 * * * [progress]: generating series expansions 2.776 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 2.776 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (x y) around 0 2.776 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 2.776 * [taylor]: Taking taylor expansion of x in y 2.776 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.776 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.776 * [taylor]: Taking taylor expansion of y in y 2.776 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 2.776 * [taylor]: Taking taylor expansion of x in x 2.776 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 2.776 * [taylor]: Taking taylor expansion of (sqrt y) in x 2.776 * [taylor]: Taking taylor expansion of y in x 2.777 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 2.777 * [taylor]: Taking taylor expansion of x in x 2.777 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 2.777 * [taylor]: Taking taylor expansion of (sqrt y) in x 2.777 * [taylor]: Taking taylor expansion of y in x 2.777 * [taylor]: Taking taylor expansion of 0 in y 2.777 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.777 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.777 * [taylor]: Taking taylor expansion of y in y 2.778 * [taylor]: Taking taylor expansion of 0 in y 2.778 * [taylor]: Taking taylor expansion of 0 in y 2.780 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (x y) around 0 2.780 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 2.780 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.780 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.780 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.780 * [taylor]: Taking taylor expansion of y in y 2.780 * [taylor]: Taking taylor expansion of x in y 2.780 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 2.780 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 2.780 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 2.780 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.780 * [taylor]: Taking taylor expansion of y in x 2.780 * [taylor]: Taking taylor expansion of x in x 2.780 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 2.780 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 2.780 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 2.780 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.780 * [taylor]: Taking taylor expansion of y in x 2.780 * [taylor]: Taking taylor expansion of x in x 2.780 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.780 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.780 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.780 * [taylor]: Taking taylor expansion of y in y 2.781 * [taylor]: Taking taylor expansion of 0 in y 2.782 * [taylor]: Taking taylor expansion of 0 in y 2.783 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (x y) around 0 2.783 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y 2.783 * [taylor]: Taking taylor expansion of -1 in y 2.783 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 2.783 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.783 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.783 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.783 * [taylor]: Taking taylor expansion of -1 in y 2.783 * [taylor]: Taking taylor expansion of y in y 2.783 * [taylor]: Taking taylor expansion of x in y 2.783 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 2.783 * [taylor]: Taking taylor expansion of -1 in x 2.783 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 2.783 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.783 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.783 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.783 * [taylor]: Taking taylor expansion of -1 in x 2.783 * [taylor]: Taking taylor expansion of y in x 2.783 * [taylor]: Taking taylor expansion of x in x 2.783 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 2.783 * [taylor]: Taking taylor expansion of -1 in x 2.783 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 2.783 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.783 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.783 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.783 * [taylor]: Taking taylor expansion of -1 in x 2.783 * [taylor]: Taking taylor expansion of y in x 2.784 * [taylor]: Taking taylor expansion of x in x 2.784 * [taylor]: Taking taylor expansion of (* -1 (log (sqrt (/ -1 y)))) in y 2.784 * [taylor]: Taking taylor expansion of -1 in y 2.784 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.784 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.784 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.784 * [taylor]: Taking taylor expansion of -1 in y 2.784 * [taylor]: Taking taylor expansion of y in y 2.784 * [taylor]: Taking taylor expansion of 0 in y 2.785 * [taylor]: Taking taylor expansion of 0 in y 2.786 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 2.786 * [approximate]: Taking taylor expansion of (* x (log (sqrt y))) in (x y) around 0 2.786 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 2.786 * [taylor]: Taking taylor expansion of x in y 2.786 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.786 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.787 * [taylor]: Taking taylor expansion of y in y 2.787 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 2.787 * [taylor]: Taking taylor expansion of x in x 2.787 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 2.787 * [taylor]: Taking taylor expansion of (sqrt y) in x 2.787 * [taylor]: Taking taylor expansion of y in x 2.787 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 2.787 * [taylor]: Taking taylor expansion of x in x 2.787 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 2.787 * [taylor]: Taking taylor expansion of (sqrt y) in x 2.787 * [taylor]: Taking taylor expansion of y in x 2.787 * [taylor]: Taking taylor expansion of 0 in y 2.787 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.787 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.787 * [taylor]: Taking taylor expansion of y in y 2.788 * [taylor]: Taking taylor expansion of 0 in y 2.788 * [taylor]: Taking taylor expansion of 0 in y 2.789 * [approximate]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in (x y) around 0 2.789 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 2.789 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.789 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.789 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.790 * [taylor]: Taking taylor expansion of y in y 2.790 * [taylor]: Taking taylor expansion of x in y 2.790 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 2.790 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 2.790 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 2.790 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.790 * [taylor]: Taking taylor expansion of y in x 2.790 * [taylor]: Taking taylor expansion of x in x 2.790 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 2.790 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 2.790 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 2.790 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.790 * [taylor]: Taking taylor expansion of y in x 2.790 * [taylor]: Taking taylor expansion of x in x 2.790 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.790 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.790 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.790 * [taylor]: Taking taylor expansion of y in y 2.791 * [taylor]: Taking taylor expansion of 0 in y 2.791 * [taylor]: Taking taylor expansion of 0 in y 2.792 * [approximate]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in (x y) around 0 2.792 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in y 2.793 * [taylor]: Taking taylor expansion of -1 in y 2.793 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 2.793 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.793 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.793 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.793 * [taylor]: Taking taylor expansion of -1 in y 2.793 * [taylor]: Taking taylor expansion of y in y 2.793 * [taylor]: Taking taylor expansion of x in y 2.793 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 2.793 * [taylor]: Taking taylor expansion of -1 in x 2.793 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 2.793 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.793 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.793 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.793 * [taylor]: Taking taylor expansion of -1 in x 2.793 * [taylor]: Taking taylor expansion of y in x 2.793 * [taylor]: Taking taylor expansion of x in x 2.793 * [taylor]: Taking taylor expansion of (* -1 (/ (log (sqrt (/ -1 y))) x)) in x 2.793 * [taylor]: Taking taylor expansion of -1 in x 2.793 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 2.793 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.793 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.793 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.793 * [taylor]: Taking taylor expansion of -1 in x 2.793 * [taylor]: Taking taylor expansion of y in x 2.793 * [taylor]: Taking taylor expansion of x in x 2.794 * [taylor]: Taking taylor expansion of (* -1 (log (sqrt (/ -1 y)))) in y 2.794 * [taylor]: Taking taylor expansion of -1 in y 2.794 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.794 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.794 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.794 * [taylor]: Taking taylor expansion of -1 in y 2.794 * [taylor]: Taking taylor expansion of y in y 2.794 * [taylor]: Taking taylor expansion of 0 in y 2.795 * [taylor]: Taking taylor expansion of 0 in y 2.796 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 2.796 * [approximate]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in (x y z) around 0 2.796 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in z 2.796 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in z 2.796 * [taylor]: Taking taylor expansion of 2 in z 2.796 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in z 2.796 * [taylor]: Taking taylor expansion of x in z 2.796 * [taylor]: Taking taylor expansion of (log (sqrt y)) in z 2.796 * [taylor]: Taking taylor expansion of (sqrt y) in z 2.796 * [taylor]: Taking taylor expansion of y in z 2.797 * [taylor]: Taking taylor expansion of z in z 2.797 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in y 2.797 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in y 2.797 * [taylor]: Taking taylor expansion of 2 in y 2.797 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in y 2.797 * [taylor]: Taking taylor expansion of x in y 2.797 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.797 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.797 * [taylor]: Taking taylor expansion of y in y 2.797 * [taylor]: Taking taylor expansion of z in y 2.797 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in x 2.797 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in x 2.797 * [taylor]: Taking taylor expansion of 2 in x 2.797 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 2.797 * [taylor]: Taking taylor expansion of x in x 2.797 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 2.797 * [taylor]: Taking taylor expansion of (sqrt y) in x 2.797 * [taylor]: Taking taylor expansion of y in x 2.797 * [taylor]: Taking taylor expansion of z in x 2.797 * [taylor]: Taking taylor expansion of (- (* 2 (* x (log (sqrt y)))) z) in x 2.797 * [taylor]: Taking taylor expansion of (* 2 (* x (log (sqrt y)))) in x 2.797 * [taylor]: Taking taylor expansion of 2 in x 2.797 * [taylor]: Taking taylor expansion of (* x (log (sqrt y))) in x 2.797 * [taylor]: Taking taylor expansion of x in x 2.797 * [taylor]: Taking taylor expansion of (log (sqrt y)) in x 2.797 * [taylor]: Taking taylor expansion of (sqrt y) in x 2.797 * [taylor]: Taking taylor expansion of y in x 2.797 * [taylor]: Taking taylor expansion of z in x 2.797 * [taylor]: Taking taylor expansion of (neg z) in y 2.797 * [taylor]: Taking taylor expansion of z in y 2.797 * [taylor]: Taking taylor expansion of (neg z) in z 2.797 * [taylor]: Taking taylor expansion of z in z 2.798 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt y))) in y 2.798 * [taylor]: Taking taylor expansion of 2 in y 2.798 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.798 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.798 * [taylor]: Taking taylor expansion of y in y 2.798 * [taylor]: Taking taylor expansion of (* 2 (+ (log NAN) (log y))) in z 2.798 * [taylor]: Taking taylor expansion of 2 in z 2.798 * [taylor]: Taking taylor expansion of (+ (log NAN) (log y)) in z 2.798 * [taylor]: Taking taylor expansion of (log NAN) in z 2.798 * [taylor]: Taking taylor expansion of NAN in z 2.798 * [taylor]: Taking taylor expansion of (log y) in z 2.798 * [taylor]: Taking taylor expansion of y in z 2.798 * [taylor]: Taking taylor expansion of 0 in z 2.799 * [taylor]: Taking taylor expansion of 0 in y 2.799 * [taylor]: Taking taylor expansion of 0 in z 2.799 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 2)) in z 2.799 * [taylor]: Taking taylor expansion of 2 in z 2.799 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 2.799 * [taylor]: Taking taylor expansion of NAN in z 2.800 * [approximate]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in (x y z) around 0 2.800 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in z 2.800 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in z 2.800 * [taylor]: Taking taylor expansion of 2 in z 2.800 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in z 2.800 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in z 2.800 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in z 2.800 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.800 * [taylor]: Taking taylor expansion of y in z 2.800 * [taylor]: Taking taylor expansion of x in z 2.800 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.800 * [taylor]: Taking taylor expansion of z in z 2.800 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in y 2.800 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in y 2.800 * [taylor]: Taking taylor expansion of 2 in y 2.800 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in y 2.800 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.800 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.800 * [taylor]: Taking taylor expansion of y in y 2.800 * [taylor]: Taking taylor expansion of x in y 2.801 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.801 * [taylor]: Taking taylor expansion of z in y 2.801 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in x 2.801 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in x 2.801 * [taylor]: Taking taylor expansion of 2 in x 2.801 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 2.801 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 2.801 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 2.801 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.801 * [taylor]: Taking taylor expansion of y in x 2.801 * [taylor]: Taking taylor expansion of x in x 2.801 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.801 * [taylor]: Taking taylor expansion of z in x 2.801 * [taylor]: Taking taylor expansion of (- (* 2 (/ (log (sqrt (/ 1 y))) x)) (/ 1 z)) in x 2.801 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ 1 y))) x)) in x 2.801 * [taylor]: Taking taylor expansion of 2 in x 2.801 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ 1 y))) x) in x 2.801 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in x 2.801 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in x 2.801 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.801 * [taylor]: Taking taylor expansion of y in x 2.801 * [taylor]: Taking taylor expansion of x in x 2.801 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.801 * [taylor]: Taking taylor expansion of z in x 2.802 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ 1 y)))) in y 2.802 * [taylor]: Taking taylor expansion of 2 in y 2.802 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.802 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.802 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.802 * [taylor]: Taking taylor expansion of y in y 2.802 * [taylor]: Taking taylor expansion of (* 2 (log NAN)) in z 2.802 * [taylor]: Taking taylor expansion of 2 in z 2.802 * [taylor]: Taking taylor expansion of (log NAN) in z 2.802 * [taylor]: Taking taylor expansion of NAN in z 2.802 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in y 2.802 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.802 * [taylor]: Taking taylor expansion of z in y 2.802 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.802 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.802 * [taylor]: Taking taylor expansion of z in z 2.803 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 2)) in z 2.803 * [taylor]: Taking taylor expansion of 2 in z 2.803 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 2.803 * [taylor]: Taking taylor expansion of NAN in z 2.807 * [taylor]: Taking taylor expansion of 0 in y 2.807 * [taylor]: Taking taylor expansion of 0 in z 2.807 * [taylor]: Taking taylor expansion of 0 in z 2.808 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 2.808 * [taylor]: Taking taylor expansion of NAN in z 2.808 * [approximate]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in (x y z) around 0 2.809 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in z 2.809 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.809 * [taylor]: Taking taylor expansion of z in z 2.809 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in z 2.809 * [taylor]: Taking taylor expansion of 2 in z 2.809 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in z 2.809 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in z 2.809 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in z 2.809 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.809 * [taylor]: Taking taylor expansion of -1 in z 2.809 * [taylor]: Taking taylor expansion of y in z 2.809 * [taylor]: Taking taylor expansion of x in z 2.809 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in y 2.809 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.809 * [taylor]: Taking taylor expansion of z in y 2.809 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in y 2.809 * [taylor]: Taking taylor expansion of 2 in y 2.809 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in y 2.809 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.809 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.809 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.809 * [taylor]: Taking taylor expansion of -1 in y 2.809 * [taylor]: Taking taylor expansion of y in y 2.809 * [taylor]: Taking taylor expansion of x in y 2.809 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in x 2.809 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.809 * [taylor]: Taking taylor expansion of z in x 2.809 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in x 2.809 * [taylor]: Taking taylor expansion of 2 in x 2.809 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 2.809 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.809 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.809 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.809 * [taylor]: Taking taylor expansion of -1 in x 2.809 * [taylor]: Taking taylor expansion of y in x 2.810 * [taylor]: Taking taylor expansion of x in x 2.810 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 2 (/ (log (sqrt (/ -1 y))) x))) in x 2.810 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.810 * [taylor]: Taking taylor expansion of z in x 2.810 * [taylor]: Taking taylor expansion of (* 2 (/ (log (sqrt (/ -1 y))) x)) in x 2.810 * [taylor]: Taking taylor expansion of 2 in x 2.810 * [taylor]: Taking taylor expansion of (/ (log (sqrt (/ -1 y))) x) in x 2.810 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 2.810 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 2.810 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.810 * [taylor]: Taking taylor expansion of -1 in x 2.810 * [taylor]: Taking taylor expansion of y in x 2.810 * [taylor]: Taking taylor expansion of x in x 2.810 * [taylor]: Taking taylor expansion of (neg (* 2 (log (sqrt (/ -1 y))))) in y 2.810 * [taylor]: Taking taylor expansion of (* 2 (log (sqrt (/ -1 y)))) in y 2.810 * [taylor]: Taking taylor expansion of 2 in y 2.810 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.810 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.810 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.810 * [taylor]: Taking taylor expansion of -1 in y 2.810 * [taylor]: Taking taylor expansion of y in y 2.811 * [taylor]: Taking taylor expansion of (neg (* 2 (log NAN))) in z 2.811 * [taylor]: Taking taylor expansion of (* 2 (log NAN)) in z 2.811 * [taylor]: Taking taylor expansion of 2 in z 2.811 * [taylor]: Taking taylor expansion of (log NAN) in z 2.811 * [taylor]: Taking taylor expansion of NAN in z 2.811 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.811 * [taylor]: Taking taylor expansion of z in y 2.811 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.811 * [taylor]: Taking taylor expansion of z in z 2.812 * [taylor]: Taking taylor expansion of (neg (* 2 (pow NAN 2))) in z 2.812 * [taylor]: Taking taylor expansion of (* 2 (pow NAN 2)) in z 2.812 * [taylor]: Taking taylor expansion of 2 in z 2.812 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 2.812 * [taylor]: Taking taylor expansion of NAN in z 2.812 * [taylor]: Taking taylor expansion of 0 in y 2.812 * [taylor]: Taking taylor expansion of 0 in z 2.812 * [taylor]: Taking taylor expansion of 0 in z 2.813 * [taylor]: Taking taylor expansion of (neg (pow NAN 4)) in z 2.813 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 2.813 * [taylor]: Taking taylor expansion of NAN in z 2.814 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2) 2.814 * [approximate]: Taking taylor expansion of (log (sqrt y)) in (y) around 0 2.814 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.814 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.814 * [taylor]: Taking taylor expansion of y in y 2.814 * [taylor]: Taking taylor expansion of (log (sqrt y)) in y 2.814 * [taylor]: Taking taylor expansion of (sqrt y) in y 2.814 * [taylor]: Taking taylor expansion of y in y 2.815 * [approximate]: Taking taylor expansion of (log (sqrt (/ 1 y))) in (y) around 0 2.815 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.815 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.815 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.815 * [taylor]: Taking taylor expansion of y in y 2.815 * [taylor]: Taking taylor expansion of (log (sqrt (/ 1 y))) in y 2.815 * [taylor]: Taking taylor expansion of (sqrt (/ 1 y)) in y 2.815 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.815 * [taylor]: Taking taylor expansion of y in y 2.817 * [approximate]: Taking taylor expansion of (log (sqrt (/ -1 y))) in (y) around 0 2.817 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.817 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.817 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.817 * [taylor]: Taking taylor expansion of -1 in y 2.817 * [taylor]: Taking taylor expansion of y in y 2.817 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 2.817 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 2.817 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.817 * [taylor]: Taking taylor expansion of -1 in y 2.817 * [taylor]: Taking taylor expansion of y in y 2.818 * * * [progress]: simplifying candidates 2.820 * [simplify]: Simplifying using # : (* x (log (sqrt y))) (+ (log x) (log (log (sqrt y)))) (log (* x (log (sqrt y)))) (exp (* x (log (sqrt y)))) (* (* (* x x) x) (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y)))) (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y))))) (cbrt (* x (log (sqrt y)))) (* (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* x (log (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))) (* x (log (sqrt (* (cbrt y) (cbrt y))))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt 1))) (* x (log (sqrt y))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log 1)) (* x (log (sqrt y))) (* (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))) x) (* (log (cbrt (sqrt y))) x) (* (log (sqrt (* (cbrt y) (cbrt y)))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt 1)) x) (* (log (sqrt y)) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log 1) x) (* (log (sqrt y)) x) (* x 1/2) (* x 1) (* x (/ 1 2)) (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))) (* x (sqrt (log (sqrt y)))) (* x 1) (* (cbrt x) (log (sqrt y))) (* (sqrt x) (log (sqrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (+ (log x) (log (log (sqrt y)))) (log (* x (log (sqrt y)))) (exp (* x (log (sqrt y)))) (* (* (* x x) x) (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y)))) (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y))))) (cbrt (* x (log (sqrt y)))) (* (* (* x (log (sqrt y))) (* x (log (sqrt y)))) (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* x (log (* (cbrt (sqrt y)) (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))) (* x (log (sqrt (* (cbrt y) (cbrt y))))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt 1))) (* x (log (sqrt y))) (* x (log (sqrt (sqrt y)))) (* x (log (sqrt (sqrt y)))) (* x (log 1)) (* x (log (sqrt y))) (* (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))) x) (* (log (cbrt (sqrt y))) x) (* (log (sqrt (* (cbrt y) (cbrt y)))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt 1)) x) (* (log (sqrt y)) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log 1) x) (* (log (sqrt y)) x) (* x 1/2) (* x 1) (* x (/ 1 2)) (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))) (* x (sqrt (log (sqrt y)))) (* x 1) (* (cbrt x) (log (sqrt y))) (* (sqrt x) (log (sqrt y))) (* x (log (sqrt y))) (/ (* (exp (* x (log (sqrt y)))) (exp (* x (log (sqrt y))))) (exp z)) (/ (exp (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (exp z)) (log (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (exp (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (* (cbrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (cbrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))) (cbrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (* (* (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z) (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (sqrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (sqrt (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)) (- (pow (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) 3) (pow z 3)) (+ (* (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (+ (* z z) (* (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z))) (neg z) (- (* (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (* z z)) (+ (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z) (+ (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt z)) (- (sqrt (+ (* x (log (sqrt y))) (* x (log (sqrt y))))) (sqrt z)) (- (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z) (- (* x (log (sqrt y))) z) (neg z) (log (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (log (cbrt (sqrt y))) (log (sqrt (* (cbrt y) (cbrt y)))) (log (sqrt (cbrt y))) (log (sqrt (sqrt y))) (log (sqrt (sqrt y))) (log (sqrt 1)) (log (sqrt y)) (log (sqrt (sqrt y))) (log (sqrt (sqrt y))) (log 1) (log (sqrt y)) (log y) (log (sqrt y)) (log y) (log (log (sqrt y))) (exp (log (sqrt y))) (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y)))) (cbrt (log (sqrt y))) (* (* (log (sqrt y)) (log (sqrt y))) (log (sqrt y))) (sqrt (log (sqrt y))) (sqrt (log (sqrt y))) (+ (* x (* (pow NAN 2) y)) (+ (* (log NAN) x) (+ (* (log y) x) (* 1/2 (* x (* (pow NAN 4) (pow y 2))))))) (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (+ (* (log NAN) x) (/ (* x (pow NAN 2)) y))) (- (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (* (log NAN) x)) (/ (* x (pow NAN 2)) y)) (+ (* x (* (pow NAN 2) y)) (+ (* (log NAN) x) (+ (* (log y) x) (* 1/2 (* x (* (pow NAN 4) (pow y 2))))))) (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (+ (* (log NAN) x) (/ (* x (pow NAN 2)) y))) (- (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (* (log NAN) x)) (/ (* x (pow NAN 2)) y)) (- (+ (* 2 (* x (* (pow NAN 2) y))) (+ (* 2 (* (log NAN) x)) (* 2 (* (log y) x)))) z) (- (+ (* 2 (* (log NAN) x)) (* 2 (/ (* x (pow NAN 2)) y))) z) (- (* 2 (* (log NAN) x)) (+ z (* 2 (/ (* x (pow NAN 2)) y)))) (+ (log NAN) (+ (* 1/2 (* (pow NAN 4) (pow y 2))) (+ (* (pow NAN 2) y) (log y)))) (+ (log NAN) (+ (/ (pow NAN 2) y) (* 1/2 (/ (pow NAN 4) (pow y 2))))) (- (+ (log NAN) (* 1/2 (/ (pow NAN 4) (pow y 2)))) (/ (pow NAN 2) y)) 2.825 * * [simplify]: iteration 0 : 148 enodes (cost 1290 ) 2.854 * * [simplify]: iteration 1 : 318 enodes (cost 1147 ) 2.925 * * [simplify]: iteration 2 : 847 enodes (cost 1038 ) 3.328 * * [simplify]: iteration 3 : 2907 enodes (cost 1020 ) 4.344 * * [simplify]: iteration done : 5001 enodes (cost 1020 ) 4.345 * [simplify]: Simplified to: (* x (log (sqrt y))) (log (* x (log (sqrt y)))) (log (* x (log (sqrt y)))) (pow (sqrt y) x) (pow (* x (log (sqrt y))) 3) (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y))))) (cbrt (* x (log (sqrt y)))) (pow (* x (log (sqrt y))) 3) (sqrt (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt (sqrt y)))) (* x (log (fabs (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt (sqrt y)))) (* x (log (fabs (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* x 1/2) x (* x 1/2) (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))) (* x (sqrt (log (sqrt y)))) x (* (cbrt x) (log (sqrt y))) (* (sqrt x) (log (sqrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (log (* x (log (sqrt y)))) (log (* x (log (sqrt y)))) (pow (sqrt y) x) (pow (* x (log (sqrt y))) 3) (* (cbrt (* x (log (sqrt y)))) (cbrt (* x (log (sqrt y))))) (cbrt (* x (log (sqrt y)))) (pow (* x (log (sqrt y))) 3) (sqrt (* x (log (sqrt y)))) (sqrt (* x (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (sqrt x) (sqrt (log (sqrt y)))) (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt (sqrt y)))) (* x (log (fabs (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt (sqrt y)))) (* x (log (fabs (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* (log (sqrt (sqrt y))) x) (* (log (sqrt (sqrt y))) x) 0 (* x (log (sqrt y))) (* x 1/2) x (* x 1/2) (* x (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y))))) (* x (sqrt (log (sqrt y)))) x (* (cbrt x) (log (sqrt y))) (* (sqrt x) (log (sqrt y))) (* x (log (sqrt y))) (/ (pow (sqrt y) (* 2 x)) (exp z)) (/ (pow (sqrt y) (* 2 x)) (exp z)) (log (- (* 2 (* (log (sqrt y)) x)) z)) (/ (pow (sqrt y) (* 2 x)) (exp z)) (* (cbrt (- (* 2 (* (log (sqrt y)) x)) z)) (cbrt (- (* 2 (* (log (sqrt y)) x)) z))) (cbrt (- (* 2 (* (log (sqrt y)) x)) z)) (pow (- (* 2 (* (log (sqrt y)) x)) z) 3) (sqrt (- (* 2 (* (log (sqrt y)) x)) z)) (sqrt (- (* 2 (* (log (sqrt y)) x)) z)) (- (pow (* 2 (* (log (sqrt y)) x)) 3) (pow z 3)) (+ (* 2 (* (* x (log (sqrt y))) (+ z (* 2 (* (log (sqrt y)) x))))) (* z z)) (neg z) (- (* 4 (* (* x (log (sqrt y))) (* x (log (sqrt y))))) (* z z)) (+ z (* 2 (* (log (sqrt y)) x))) (+ (sqrt (* 2 (* (log (sqrt y)) x))) (sqrt z)) (- (sqrt (* 2 (* (log (sqrt y)) x))) (sqrt z)) (- (* 2 (* (log (sqrt y)) x)) z) (- (* x (log (sqrt y))) z) (neg z) (* 2 (log (cbrt (sqrt y)))) (log (cbrt (sqrt y))) (log (fabs (cbrt y))) (log (sqrt (cbrt y))) (log (sqrt (sqrt y))) (log (sqrt (sqrt y))) 0 (log (sqrt y)) (log (sqrt (sqrt y))) (log (sqrt (sqrt y))) 0 (log (sqrt y)) (log y) (log (sqrt y)) (log y) (log (log (sqrt y))) (sqrt y) (* (cbrt (log (sqrt y))) (cbrt (log (sqrt y)))) (cbrt (log (sqrt y))) (pow (log (sqrt y)) 3) (sqrt (log (sqrt y))) (sqrt (log (sqrt y))) (+ (* x (+ (log NAN) (* y (+ (pow NAN 2) (* (* 1/2 (pow NAN 4)) y))))) (* (log y) x)) (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (+ (* (log NAN) x) (/ (* x (pow NAN 2)) y))) (- (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (* (log NAN) x)) (/ (* x (pow NAN 2)) y)) (+ (* x (+ (log NAN) (* y (+ (pow NAN 2) (* (* 1/2 (pow NAN 4)) y))))) (* (log y) x)) (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (+ (* (log NAN) x) (/ (* x (pow NAN 2)) y))) (- (+ (* 1/2 (/ (* x (pow NAN 4)) (pow y 2))) (* (log NAN) x)) (/ (* x (pow NAN 2)) y)) (- (* (* x (+ (+ (* (pow NAN 2) y) (log y)) (log NAN))) 2) z) (- (* 2 (+ (* (log NAN) x) (/ (* x (pow NAN 2)) y))) z) (- (* 2 (- (* (log NAN) x) (/ (* x (pow NAN 2)) y))) z) (+ (+ (log y) (log NAN)) (* y (+ (pow NAN 2) (* (* 1/2 (pow NAN 4)) y)))) (+ (log NAN) (+ (/ (pow NAN 2) y) (* 1/2 (/ (pow NAN 4) (pow y 2))))) (- (+ (log NAN) (* 1/2 (/ (pow NAN 4) (pow y 2)))) (/ (pow NAN 2) y)) 4.346 * * * [progress]: adding candidates to table 4.445 * * [progress]: iteration 4 / 4 4.445 * * * [progress]: picking best candidate 4.462 * * * * [pick]: Picked # 4.462 * * * [progress]: localizing error 4.474 * * * [progress]: generating rewritten candidates 4.474 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1) 4.476 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1) 4.477 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 4.488 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 4.496 * * * [progress]: generating series expansions 4.496 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1) 4.496 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.496 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.496 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.496 * [taylor]: Taking taylor expansion of 1/3 in y 4.496 * [taylor]: Taking taylor expansion of (log y) in y 4.497 * [taylor]: Taking taylor expansion of y in y 4.497 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.497 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.497 * [taylor]: Taking taylor expansion of 1/3 in y 4.497 * [taylor]: Taking taylor expansion of (log y) in y 4.497 * [taylor]: Taking taylor expansion of y in y 4.504 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.504 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.504 * [taylor]: Taking taylor expansion of 1/3 in y 4.504 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.504 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.504 * [taylor]: Taking taylor expansion of y in y 4.504 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.505 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.505 * [taylor]: Taking taylor expansion of 1/3 in y 4.505 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.505 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.505 * [taylor]: Taking taylor expansion of y in y 4.512 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 4.512 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.512 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.512 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.512 * [taylor]: Taking taylor expansion of 1/3 in y 4.512 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.512 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.512 * [taylor]: Taking taylor expansion of y in y 4.512 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.512 * [taylor]: Taking taylor expansion of -1 in y 4.512 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.512 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.512 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.512 * [taylor]: Taking taylor expansion of 1/3 in y 4.512 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.512 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.512 * [taylor]: Taking taylor expansion of y in y 4.513 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.513 * [taylor]: Taking taylor expansion of -1 in y 4.521 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1) 4.521 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.521 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.521 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.521 * [taylor]: Taking taylor expansion of 1/3 in y 4.521 * [taylor]: Taking taylor expansion of (log y) in y 4.521 * [taylor]: Taking taylor expansion of y in y 4.521 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.521 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.521 * [taylor]: Taking taylor expansion of 1/3 in y 4.521 * [taylor]: Taking taylor expansion of (log y) in y 4.521 * [taylor]: Taking taylor expansion of y in y 4.528 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.528 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.528 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.528 * [taylor]: Taking taylor expansion of 1/3 in y 4.528 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.528 * [taylor]: Taking taylor expansion of y in y 4.528 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.528 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.528 * [taylor]: Taking taylor expansion of 1/3 in y 4.528 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.528 * [taylor]: Taking taylor expansion of y in y 4.535 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 4.535 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.535 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.535 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.535 * [taylor]: Taking taylor expansion of 1/3 in y 4.535 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.535 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.535 * [taylor]: Taking taylor expansion of y in y 4.535 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.535 * [taylor]: Taking taylor expansion of -1 in y 4.535 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.535 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.535 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.535 * [taylor]: Taking taylor expansion of 1/3 in y 4.535 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.535 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.535 * [taylor]: Taking taylor expansion of y in y 4.535 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.535 * [taylor]: Taking taylor expansion of -1 in y 4.544 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 4.544 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (y x) around 0 4.544 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 4.544 * [taylor]: Taking taylor expansion of 3 in x 4.544 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 4.544 * [taylor]: Taking taylor expansion of x in x 4.544 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 4.544 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.544 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.544 * [taylor]: Taking taylor expansion of 1/3 in x 4.544 * [taylor]: Taking taylor expansion of (log y) in x 4.544 * [taylor]: Taking taylor expansion of y in x 4.544 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 4.544 * [taylor]: Taking taylor expansion of 3 in y 4.544 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.544 * [taylor]: Taking taylor expansion of x in y 4.544 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.544 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.544 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.544 * [taylor]: Taking taylor expansion of 1/3 in y 4.544 * [taylor]: Taking taylor expansion of (log y) in y 4.544 * [taylor]: Taking taylor expansion of y in y 4.545 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 4.545 * [taylor]: Taking taylor expansion of 3 in y 4.545 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.545 * [taylor]: Taking taylor expansion of x in y 4.545 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.545 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.545 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.545 * [taylor]: Taking taylor expansion of 1/3 in y 4.545 * [taylor]: Taking taylor expansion of (log y) in y 4.545 * [taylor]: Taking taylor expansion of y in y 4.545 * [taylor]: Taking taylor expansion of (* x (+ (log y) (log 1))) in x 4.545 * [taylor]: Taking taylor expansion of x in x 4.545 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 4.545 * [taylor]: Taking taylor expansion of (log y) in x 4.545 * [taylor]: Taking taylor expansion of y in x 4.545 * [taylor]: Taking taylor expansion of (log 1) in x 4.545 * [taylor]: Taking taylor expansion of 1 in x 4.546 * [taylor]: Taking taylor expansion of 0 in x 4.547 * [taylor]: Taking taylor expansion of 0 in x 4.549 * [taylor]: Taking taylor expansion of 0 in x 4.549 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 4.549 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 4.549 * [taylor]: Taking taylor expansion of 3 in x 4.549 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 4.549 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 4.549 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.549 * [taylor]: Taking taylor expansion of 1/3 in x 4.549 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.549 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.549 * [taylor]: Taking taylor expansion of y in x 4.550 * [taylor]: Taking taylor expansion of x in x 4.550 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.550 * [taylor]: Taking taylor expansion of 3 in y 4.550 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.550 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.550 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.550 * [taylor]: Taking taylor expansion of 1/3 in y 4.550 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.550 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.550 * [taylor]: Taking taylor expansion of y in y 4.550 * [taylor]: Taking taylor expansion of x in y 4.550 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.550 * [taylor]: Taking taylor expansion of 3 in y 4.550 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.550 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.550 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.550 * [taylor]: Taking taylor expansion of 1/3 in y 4.550 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.550 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.550 * [taylor]: Taking taylor expansion of y in y 4.551 * [taylor]: Taking taylor expansion of x in y 4.551 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log y)) x) in x 4.551 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 4.551 * [taylor]: Taking taylor expansion of (log 1) in x 4.551 * [taylor]: Taking taylor expansion of 1 in x 4.551 * [taylor]: Taking taylor expansion of (log y) in x 4.551 * [taylor]: Taking taylor expansion of y in x 4.551 * [taylor]: Taking taylor expansion of x in x 4.552 * [taylor]: Taking taylor expansion of 0 in x 4.553 * [taylor]: Taking taylor expansion of 0 in x 4.555 * [taylor]: Taking taylor expansion of 0 in x 4.556 * [approximate]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x))) in (y x) around 0 4.556 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x))) in x 4.556 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in x 4.556 * [taylor]: Taking taylor expansion of 3 in x 4.556 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in x 4.556 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in x 4.556 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in x 4.556 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.556 * [taylor]: Taking taylor expansion of 1/3 in x 4.556 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.556 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.556 * [taylor]: Taking taylor expansion of y in x 4.557 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.557 * [taylor]: Taking taylor expansion of -1 in x 4.557 * [taylor]: Taking taylor expansion of x in x 4.557 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x))) in y 4.557 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 4.557 * [taylor]: Taking taylor expansion of 3 in y 4.557 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 4.557 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 4.557 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.557 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.557 * [taylor]: Taking taylor expansion of 1/3 in y 4.557 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.557 * [taylor]: Taking taylor expansion of y in y 4.557 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.557 * [taylor]: Taking taylor expansion of -1 in y 4.558 * [taylor]: Taking taylor expansion of x in y 4.558 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x))) in y 4.558 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 4.558 * [taylor]: Taking taylor expansion of 3 in y 4.558 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 4.558 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 4.558 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.558 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.558 * [taylor]: Taking taylor expansion of 1/3 in y 4.558 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.558 * [taylor]: Taking taylor expansion of y in y 4.558 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.558 * [taylor]: Taking taylor expansion of -1 in y 4.559 * [taylor]: Taking taylor expansion of x in y 4.559 * [taylor]: Taking taylor expansion of (neg (* 3 (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x))) in x 4.559 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x)) in x 4.559 * [taylor]: Taking taylor expansion of 3 in x 4.559 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x) in x 4.559 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) in x 4.559 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y))))) in x 4.559 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.559 * [taylor]: Taking taylor expansion of -1 in x 4.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log y)))) in x 4.559 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log y))) in x 4.559 * [taylor]: Taking taylor expansion of 1/3 in x 4.559 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 4.559 * [taylor]: Taking taylor expansion of (log 1) in x 4.559 * [taylor]: Taking taylor expansion of 1 in x 4.559 * [taylor]: Taking taylor expansion of (log y) in x 4.559 * [taylor]: Taking taylor expansion of y in x 4.560 * [taylor]: Taking taylor expansion of x in x 4.561 * [taylor]: Taking taylor expansion of 0 in x 4.564 * [taylor]: Taking taylor expansion of 0 in x 4.567 * [taylor]: Taking taylor expansion of 0 in x 4.570 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 4.570 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in (y x) around 0 4.570 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 4.570 * [taylor]: Taking taylor expansion of 2 in x 4.570 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 4.570 * [taylor]: Taking taylor expansion of x in x 4.570 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 4.570 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.570 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.570 * [taylor]: Taking taylor expansion of 1/3 in x 4.570 * [taylor]: Taking taylor expansion of (log y) in x 4.570 * [taylor]: Taking taylor expansion of y in x 4.570 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 4.570 * [taylor]: Taking taylor expansion of 2 in y 4.570 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.570 * [taylor]: Taking taylor expansion of x in y 4.570 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.570 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.570 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.570 * [taylor]: Taking taylor expansion of 1/3 in y 4.570 * [taylor]: Taking taylor expansion of (log y) in y 4.570 * [taylor]: Taking taylor expansion of y in y 4.571 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 4.571 * [taylor]: Taking taylor expansion of 2 in y 4.571 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.571 * [taylor]: Taking taylor expansion of x in y 4.571 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.571 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.571 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.571 * [taylor]: Taking taylor expansion of 1/3 in y 4.571 * [taylor]: Taking taylor expansion of (log y) in y 4.571 * [taylor]: Taking taylor expansion of y in y 4.571 * [taylor]: Taking taylor expansion of (* 2/3 (* x (+ (log y) (log 1)))) in x 4.571 * [taylor]: Taking taylor expansion of 2/3 in x 4.571 * [taylor]: Taking taylor expansion of (* x (+ (log y) (log 1))) in x 4.571 * [taylor]: Taking taylor expansion of x in x 4.571 * [taylor]: Taking taylor expansion of (+ (log y) (log 1)) in x 4.571 * [taylor]: Taking taylor expansion of (log y) in x 4.571 * [taylor]: Taking taylor expansion of y in x 4.571 * [taylor]: Taking taylor expansion of (log 1) in x 4.571 * [taylor]: Taking taylor expansion of 1 in x 4.572 * [taylor]: Taking taylor expansion of 0 in x 4.573 * [taylor]: Taking taylor expansion of 0 in x 4.575 * [taylor]: Taking taylor expansion of 0 in x 4.575 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 4.575 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x 4.575 * [taylor]: Taking taylor expansion of 2 in x 4.575 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 4.575 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 4.575 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.575 * [taylor]: Taking taylor expansion of 1/3 in x 4.575 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.575 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.575 * [taylor]: Taking taylor expansion of y in x 4.575 * [taylor]: Taking taylor expansion of x in x 4.576 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.576 * [taylor]: Taking taylor expansion of 2 in y 4.576 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.576 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.576 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.576 * [taylor]: Taking taylor expansion of 1/3 in y 4.576 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.576 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.576 * [taylor]: Taking taylor expansion of y in y 4.576 * [taylor]: Taking taylor expansion of x in y 4.576 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.576 * [taylor]: Taking taylor expansion of 2 in y 4.576 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.576 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.576 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.576 * [taylor]: Taking taylor expansion of 1/3 in y 4.576 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.576 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.576 * [taylor]: Taking taylor expansion of y in y 4.577 * [taylor]: Taking taylor expansion of x in y 4.577 * [taylor]: Taking taylor expansion of (* 2/3 (/ (- (log 1) (log y)) x)) in x 4.577 * [taylor]: Taking taylor expansion of 2/3 in x 4.577 * [taylor]: Taking taylor expansion of (/ (- (log 1) (log y)) x) in x 4.577 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 4.577 * [taylor]: Taking taylor expansion of (log 1) in x 4.577 * [taylor]: Taking taylor expansion of 1 in x 4.577 * [taylor]: Taking taylor expansion of (log y) in x 4.577 * [taylor]: Taking taylor expansion of y in x 4.577 * [taylor]: Taking taylor expansion of x in x 4.578 * [taylor]: Taking taylor expansion of 0 in x 4.579 * [taylor]: Taking taylor expansion of 0 in x 4.581 * [taylor]: Taking taylor expansion of 0 in x 4.582 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in (y x) around 0 4.582 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in x 4.582 * [taylor]: Taking taylor expansion of -2 in x 4.582 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in x 4.582 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in x 4.582 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in x 4.582 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.582 * [taylor]: Taking taylor expansion of 1/3 in x 4.582 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.582 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.582 * [taylor]: Taking taylor expansion of y in x 4.582 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.582 * [taylor]: Taking taylor expansion of -1 in x 4.583 * [taylor]: Taking taylor expansion of x in x 4.583 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 4.583 * [taylor]: Taking taylor expansion of -2 in y 4.583 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 4.583 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 4.583 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.583 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.583 * [taylor]: Taking taylor expansion of 1/3 in y 4.583 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.583 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.583 * [taylor]: Taking taylor expansion of y in y 4.583 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.583 * [taylor]: Taking taylor expansion of -1 in y 4.583 * [taylor]: Taking taylor expansion of x in y 4.584 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x)) in y 4.584 * [taylor]: Taking taylor expansion of -2 in y 4.584 * [taylor]: Taking taylor expansion of (/ (log (* (pow (/ 1 y) 1/3) (cbrt -1))) x) in y 4.584 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 y) 1/3) (cbrt -1))) in y 4.584 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.584 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.584 * [taylor]: Taking taylor expansion of 1/3 in y 4.584 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.584 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.584 * [taylor]: Taking taylor expansion of y in y 4.587 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.587 * [taylor]: Taking taylor expansion of -1 in y 4.587 * [taylor]: Taking taylor expansion of x in y 4.588 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x)) in x 4.588 * [taylor]: Taking taylor expansion of -2 in x 4.588 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) x) in x 4.588 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y)))))) in x 4.588 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log 1) (log y))))) in x 4.588 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.588 * [taylor]: Taking taylor expansion of -1 in x 4.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log y)))) in x 4.588 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log y))) in x 4.588 * [taylor]: Taking taylor expansion of 1/3 in x 4.588 * [taylor]: Taking taylor expansion of (- (log 1) (log y)) in x 4.588 * [taylor]: Taking taylor expansion of (log 1) in x 4.588 * [taylor]: Taking taylor expansion of 1 in x 4.588 * [taylor]: Taking taylor expansion of (log y) in x 4.588 * [taylor]: Taking taylor expansion of y in x 4.589 * [taylor]: Taking taylor expansion of x in x 4.590 * [taylor]: Taking taylor expansion of 0 in x 4.592 * [taylor]: Taking taylor expansion of 0 in x 4.596 * [taylor]: Taking taylor expansion of 0 in x 4.598 * * * [progress]: simplifying candidates 4.599 * [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 (* (* 2 (log (cbrt y))) x)) (exp (* x (log (cbrt y))))) (log (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (exp (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (* (cbrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (cbrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))) (cbrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (* (* (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (+ (pow (* (* 2 (log (cbrt y))) x) 3) (pow (* x (log (cbrt y))) 3)) (+ (* (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x)) (- (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))) (- (* (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x)) (* (* x (log (cbrt y))) (* x (log (cbrt y))))) (- (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt (* (cbrt y) (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt (sqrt y))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt 1)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (sqrt (cbrt y))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log 1))) (+ (* (* 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))) x) (* (* 2 (log (cbrt y))) x) (+ (+ (log 2) (log (log (cbrt y)))) (log x)) (+ (log (* 2 (log (cbrt y)))) (log x)) (log (* (* 2 (log (cbrt y))) x)) (exp (* (* 2 (log (cbrt y))) x)) (* (* (* (* 2 2) 2) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (* x x) x)) (* (* (* (* 2 (log (cbrt y))) (* 2 (log (cbrt y)))) (* 2 (log (cbrt y)))) (* (* x x) x)) (* (cbrt (* (* 2 (log (cbrt y))) x)) (cbrt (* (* 2 (log (cbrt y))) x))) (cbrt (* (* 2 (log (cbrt y))) x)) (* (* (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x)) (* (* 2 (log (cbrt y))) x)) (sqrt (* (* 2 (log (cbrt y))) x)) (sqrt (* (* 2 (log (cbrt y))) x)) (* (* 2 (log (cbrt y))) (* (cbrt x) (cbrt x))) (* (* 2 (log (cbrt y))) (sqrt x)) (* (* 2 (log (cbrt y))) 1) (* (log (cbrt y)) x) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (* x (+ (log y) (log 1))) (* (- (log 1) (log (/ 1 y))) x) (* 3 (* x (log (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1))))) (* (+ (* 2/3 (log y)) (* 2/3 (log 1))) x) (* 2/3 (* (- (log 1) (log (/ 1 y))) x)) (* 2 (* x (log (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1))))) 4.603 * * [simplify]: iteration 0 : 131 enodes (cost 853 ) 4.625 * * [simplify]: iteration 1 : 311 enodes (cost 767 ) 4.738 * * [simplify]: iteration 2 : 878 enodes (cost 607 ) 5.796 * * [simplify]: iteration 3 : 3236 enodes (cost 545 ) 7.734 * * [simplify]: iteration done : 5000 enodes (cost 543 ) 7.734 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (pow (cbrt y) 2)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow (cbrt y) 2)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (exp (* 3 (* x (log (cbrt y))))) (log (* 3 (* x (log (cbrt y))))) (exp (* 3 (* x (log (cbrt y))))) (* (cbrt (* 3 (* x (log (cbrt y))))) (cbrt (* 3 (* x (log (cbrt y)))))) (cbrt (* 3 (* x (log (cbrt y))))) (pow (* 3 (* x (log (cbrt y)))) 3) (sqrt (* 3 (* x (log (cbrt y))))) (sqrt (* 3 (* x (log (cbrt y))))) (* 9 (pow (* x (log (cbrt y))) 3)) (* (* x (* x (log (cbrt y)))) (* (log (cbrt y)) 3)) (* (* x (* x (log (cbrt y)))) (* (log (cbrt y)) 3)) (* x (log (cbrt y))) (* (+ (* 2 (log (cbrt y))) (log (cbrt (pow (cbrt y) 2)))) x) (* x (+ (* 2 (log (cbrt y))) (log (cbrt (sqrt y))))) (* (* 2 (log (cbrt y))) x) (* (+ (* 2 (log (cbrt (cbrt y)))) (* 2 (log (cbrt y)))) x) (* x (+ (* 2 (log (cbrt y))) (log (sqrt (cbrt y))))) (* (* 2 (log (cbrt y))) x) (* (+ (* 2 (log (cbrt y))) (log (cbrt (pow (cbrt y) 2)))) x) (* x (+ (* 2 (log (cbrt y))) (log (cbrt (sqrt y))))) (* (* 2 (log (cbrt y))) x) (* (+ (* 2 (log (cbrt (cbrt y)))) (* 2 (log (cbrt y)))) x) (* x (+ (* 2 (log (cbrt y))) (log (sqrt (cbrt y))))) (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x) (log (* (* 2 (log (cbrt y))) x)) (log (* (* 2 (log (cbrt y))) x)) (log (* (* 2 (log (cbrt y))) x)) (pow (pow (cbrt y) 2) x) (* 8 (pow (* x (log (cbrt y))) 3)) (* 8 (pow (* x (log (cbrt y))) 3)) (* (cbrt (* (* 2 (log (cbrt y))) x)) (cbrt (* (* 2 (log (cbrt y))) x))) (cbrt (* (* 2 (log (cbrt y))) x)) (* 8 (pow (* x (log (cbrt y))) 3)) (sqrt (* (* 2 (log (cbrt y))) x)) (sqrt (* (* 2 (log (cbrt y))) x)) (* (* 2 (log (cbrt y))) (* (cbrt x) (cbrt x))) (* (* 2 (log (cbrt y))) (sqrt x)) (* 2 (log (cbrt y))) (* x (log (cbrt y))) (cbrt y) (cbrt y) (* (cbrt (exp (neg (log (/ -1 y))))) (cbrt -1)) (cbrt y) (cbrt y) (* (cbrt (exp (neg (log (/ -1 y))))) (cbrt -1)) (* (log y) x) (* (log y) x) (* (* 3 (- (log (cbrt -1)) (* 1/3 (log (/ -1 y))))) x) (* x (* 2/3 (log y))) (* x (* 2/3 (log y))) (* (* 2 x) (- (log (cbrt -1)) (* 1/3 (log (/ -1 y))))) 7.735 * * * [progress]: adding candidates to table 7.818 * [progress]: [Phase 3 of 3] Extracting. 7.818 * * [regime]: Finding splitpoints for: (# # # # # #) 7.820 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 7.820 * * * * [regimes]: Trying to branch on z from (# # # # # #) 7.877 * * * * [regimes]: Trying to branch on y from (# # # # # #) 7.932 * * * * [regimes]: Trying to branch on x from (# # # # # #) 7.988 * * * [regime]: Found split indices: #