7.765 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.028 * [simplify]: Simplifying using # : (- (- (* x (log y)) z) y) 0.029 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.030 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.032 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 0.035 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 0.043 * * [simplify]: iteration 4 : 50 enodes (cost 8 ) 0.048 * * [simplify]: iteration 5 : 58 enodes (cost 8 ) 0.054 * * [simplify]: iteration 6 : 79 enodes (cost 8 ) 0.064 * * [simplify]: iteration 7 : 113 enodes (cost 8 ) 0.080 * * [simplify]: iteration 8 : 132 enodes (cost 8 ) 0.100 * * [simplify]: iteration done : 132 enodes (cost 8 ) 0.100 * [simplify]: Simplified to: (- (- (* x (log y)) z) y) 0.100 * * [progress]: iteration 1 / 4 0.100 * * * [progress]: picking best candidate 0.102 * * * * [pick]: Picked # 0.102 * * * [progress]: localizing error 0.109 * * * [progress]: generating rewritten candidates 0.109 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.113 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.117 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.138 * * * [progress]: generating series expansions 0.139 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.139 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 0.139 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.139 * [taylor]: Taking taylor expansion of x in y 0.139 * [taylor]: Taking taylor expansion of (log y) in y 0.139 * [taylor]: Taking taylor expansion of y in y 0.139 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.139 * [taylor]: Taking taylor expansion of x in x 0.139 * [taylor]: Taking taylor expansion of (log y) in x 0.139 * [taylor]: Taking taylor expansion of y in x 0.139 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.139 * [taylor]: Taking taylor expansion of x in x 0.139 * [taylor]: Taking taylor expansion of (log y) in x 0.139 * [taylor]: Taking taylor expansion of y in x 0.140 * [taylor]: Taking taylor expansion of 0 in y 0.141 * [taylor]: Taking taylor expansion of (log y) in y 0.141 * [taylor]: Taking taylor expansion of y in y 0.143 * [taylor]: Taking taylor expansion of 0 in y 0.147 * [taylor]: Taking taylor expansion of 0 in y 0.147 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 0.147 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.147 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.147 * [taylor]: Taking taylor expansion of y in y 0.148 * [taylor]: Taking taylor expansion of x in y 0.148 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.148 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.148 * [taylor]: Taking taylor expansion of y in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.148 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.148 * [taylor]: Taking taylor expansion of y in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.149 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.149 * [taylor]: Taking taylor expansion of y in y 0.151 * [taylor]: Taking taylor expansion of 0 in y 0.154 * [taylor]: Taking taylor expansion of 0 in y 0.162 * [taylor]: Taking taylor expansion of 0 in y 0.162 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 0.162 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 0.163 * [taylor]: Taking taylor expansion of -1 in y 0.163 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.163 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.163 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.163 * [taylor]: Taking taylor expansion of -1 in y 0.163 * [taylor]: Taking taylor expansion of y in y 0.163 * [taylor]: Taking taylor expansion of x in y 0.165 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.165 * [taylor]: Taking taylor expansion of -1 in x 0.165 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.165 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.165 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.165 * [taylor]: Taking taylor expansion of -1 in x 0.165 * [taylor]: Taking taylor expansion of y in x 0.165 * [taylor]: Taking taylor expansion of x in x 0.165 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.165 * [taylor]: Taking taylor expansion of -1 in x 0.165 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.165 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.165 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.165 * [taylor]: Taking taylor expansion of -1 in x 0.165 * [taylor]: Taking taylor expansion of y in x 0.165 * [taylor]: Taking taylor expansion of x in x 0.165 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 0.165 * [taylor]: Taking taylor expansion of -1 in y 0.165 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.165 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.165 * [taylor]: Taking taylor expansion of -1 in y 0.165 * [taylor]: Taking taylor expansion of y in y 0.168 * [taylor]: Taking taylor expansion of 0 in y 0.173 * [taylor]: Taking taylor expansion of 0 in y 0.181 * [taylor]: Taking taylor expansion of 0 in y 0.181 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.181 * [approximate]: Taking taylor expansion of (- (* x (log y)) z) in (x y z) around 0 0.181 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in z 0.181 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.181 * [taylor]: Taking taylor expansion of x in z 0.181 * [taylor]: Taking taylor expansion of (log y) in z 0.181 * [taylor]: Taking taylor expansion of y in z 0.181 * [taylor]: Taking taylor expansion of z in z 0.181 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in y 0.181 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.181 * [taylor]: Taking taylor expansion of x in y 0.181 * [taylor]: Taking taylor expansion of (log y) in y 0.181 * [taylor]: Taking taylor expansion of y in y 0.182 * [taylor]: Taking taylor expansion of z in y 0.182 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x 0.182 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [taylor]: Taking taylor expansion of (log y) in x 0.182 * [taylor]: Taking taylor expansion of y in x 0.182 * [taylor]: Taking taylor expansion of z in x 0.182 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x 0.182 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [taylor]: Taking taylor expansion of (log y) in x 0.182 * [taylor]: Taking taylor expansion of y in x 0.182 * [taylor]: Taking taylor expansion of z in x 0.182 * [taylor]: Taking taylor expansion of (- z) in y 0.182 * [taylor]: Taking taylor expansion of z in y 0.182 * [taylor]: Taking taylor expansion of (- z) in z 0.182 * [taylor]: Taking taylor expansion of z in z 0.184 * [taylor]: Taking taylor expansion of (log y) in y 0.184 * [taylor]: Taking taylor expansion of y in y 0.184 * [taylor]: Taking taylor expansion of (log y) in z 0.184 * [taylor]: Taking taylor expansion of y in z 0.184 * [taylor]: Taking taylor expansion of 0 in z 0.187 * [taylor]: Taking taylor expansion of 0 in y 0.187 * [taylor]: Taking taylor expansion of 0 in z 0.188 * [taylor]: Taking taylor expansion of 0 in z 0.188 * [taylor]: Taking taylor expansion of 0 in z 0.189 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in (x y z) around 0 0.189 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in z 0.189 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.189 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.189 * [taylor]: Taking taylor expansion of y in z 0.189 * [taylor]: Taking taylor expansion of x in z 0.189 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.189 * [taylor]: Taking taylor expansion of z in z 0.190 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in y 0.190 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.190 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.190 * [taylor]: Taking taylor expansion of y in y 0.190 * [taylor]: Taking taylor expansion of x in y 0.191 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.191 * [taylor]: Taking taylor expansion of z in y 0.191 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x 0.191 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.191 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.191 * [taylor]: Taking taylor expansion of y in x 0.191 * [taylor]: Taking taylor expansion of x in x 0.191 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.191 * [taylor]: Taking taylor expansion of z in x 0.191 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x 0.191 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.191 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.191 * [taylor]: Taking taylor expansion of y in x 0.191 * [taylor]: Taking taylor expansion of x in x 0.191 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.191 * [taylor]: Taking taylor expansion of z in x 0.191 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.191 * [taylor]: Taking taylor expansion of y in y 0.192 * [taylor]: Taking taylor expansion of (- (log y)) in z 0.192 * [taylor]: Taking taylor expansion of (log y) in z 0.192 * [taylor]: Taking taylor expansion of y in z 0.193 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y 0.194 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.194 * [taylor]: Taking taylor expansion of z in y 0.194 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.194 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.194 * [taylor]: Taking taylor expansion of z in z 0.195 * [taylor]: Taking taylor expansion of 0 in z 0.198 * [taylor]: Taking taylor expansion of 0 in y 0.198 * [taylor]: Taking taylor expansion of 0 in z 0.198 * [taylor]: Taking taylor expansion of 0 in z 0.200 * [taylor]: Taking taylor expansion of 0 in z 0.205 * [taylor]: Taking taylor expansion of 0 in y 0.205 * [taylor]: Taking taylor expansion of 0 in z 0.205 * [taylor]: Taking taylor expansion of 0 in z 0.206 * [taylor]: Taking taylor expansion of 0 in z 0.209 * [taylor]: Taking taylor expansion of 0 in z 0.210 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in (x y z) around 0 0.210 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in z 0.210 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.210 * [taylor]: Taking taylor expansion of z in z 0.210 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.210 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.210 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.210 * [taylor]: Taking taylor expansion of -1 in z 0.210 * [taylor]: Taking taylor expansion of y in z 0.210 * [taylor]: Taking taylor expansion of x in z 0.210 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in y 0.210 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.210 * [taylor]: Taking taylor expansion of z in y 0.210 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 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 -1 in y 0.210 * [taylor]: Taking taylor expansion of y in y 0.211 * [taylor]: Taking taylor expansion of x in y 0.212 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x 0.212 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.212 * [taylor]: Taking taylor expansion of z 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 z) (/ (log (/ -1 y)) x)) in x 0.212 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.212 * [taylor]: Taking taylor expansion of z in x 0.213 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.213 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.213 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.213 * [taylor]: Taking taylor expansion of -1 in x 0.213 * [taylor]: Taking taylor expansion of y in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.213 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.213 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.213 * [taylor]: Taking taylor expansion of -1 in y 0.213 * [taylor]: Taking taylor expansion of y in y 0.214 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.214 * [taylor]: Taking taylor expansion of (log y) in z 0.214 * [taylor]: Taking taylor expansion of y in z 0.215 * [taylor]: Taking taylor expansion of (log -1) in z 0.215 * [taylor]: Taking taylor expansion of -1 in z 0.216 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.216 * [taylor]: Taking taylor expansion of z in y 0.216 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.216 * [taylor]: Taking taylor expansion of z in z 0.218 * [taylor]: Taking taylor expansion of 0 in z 0.222 * [taylor]: Taking taylor expansion of 0 in y 0.222 * [taylor]: Taking taylor expansion of 0 in z 0.222 * [taylor]: Taking taylor expansion of 0 in z 0.224 * [taylor]: Taking taylor expansion of 0 in z 0.230 * [taylor]: Taking taylor expansion of 0 in y 0.230 * [taylor]: Taking taylor expansion of 0 in z 0.231 * [taylor]: Taking taylor expansion of 0 in z 0.231 * [taylor]: Taking taylor expansion of 0 in z 0.234 * [taylor]: Taking taylor expansion of 0 in z 0.235 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.235 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 0.235 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 0.235 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.235 * [taylor]: Taking taylor expansion of x in z 0.235 * [taylor]: Taking taylor expansion of (log y) in z 0.235 * [taylor]: Taking taylor expansion of y in z 0.236 * [taylor]: Taking taylor expansion of (+ z y) in z 0.236 * [taylor]: Taking taylor expansion of z in z 0.236 * [taylor]: Taking taylor expansion of y in z 0.236 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 0.236 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.236 * [taylor]: Taking taylor expansion of x in y 0.236 * [taylor]: Taking taylor expansion of (log y) in y 0.236 * [taylor]: Taking taylor expansion of y in y 0.236 * [taylor]: Taking taylor expansion of (+ z y) in y 0.236 * [taylor]: Taking taylor expansion of z in y 0.236 * [taylor]: Taking taylor expansion of y in y 0.236 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 0.236 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.236 * [taylor]: Taking taylor expansion of (log y) in x 0.236 * [taylor]: Taking taylor expansion of y in x 0.236 * [taylor]: Taking taylor expansion of (+ z y) in x 0.236 * [taylor]: Taking taylor expansion of z in x 0.236 * [taylor]: Taking taylor expansion of y in x 0.236 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 0.236 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.236 * [taylor]: Taking taylor expansion of (log y) in x 0.236 * [taylor]: Taking taylor expansion of y in x 0.236 * [taylor]: Taking taylor expansion of (+ z y) in x 0.236 * [taylor]: Taking taylor expansion of z in x 0.236 * [taylor]: Taking taylor expansion of y in x 0.236 * [taylor]: Taking taylor expansion of (- (+ z y)) in y 0.236 * [taylor]: Taking taylor expansion of (+ z y) in y 0.236 * [taylor]: Taking taylor expansion of z in y 0.236 * [taylor]: Taking taylor expansion of y in y 0.237 * [taylor]: Taking taylor expansion of (- z) in z 0.237 * [taylor]: Taking taylor expansion of z in z 0.238 * [taylor]: Taking taylor expansion of (log y) in y 0.238 * [taylor]: Taking taylor expansion of y in y 0.239 * [taylor]: Taking taylor expansion of (log y) in z 0.239 * [taylor]: Taking taylor expansion of y in z 0.239 * [taylor]: Taking taylor expansion of -1 in z 0.240 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in (x y z) around 0 0.240 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in z 0.240 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.240 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.240 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.240 * [taylor]: Taking taylor expansion of y in z 0.240 * [taylor]: Taking taylor expansion of x in z 0.240 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.240 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.240 * [taylor]: Taking taylor expansion of y in z 0.240 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.240 * [taylor]: Taking taylor expansion of z in z 0.241 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in y 0.241 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.241 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.241 * [taylor]: Taking taylor expansion of y in y 0.241 * [taylor]: Taking taylor expansion of x in y 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.242 * [taylor]: Taking taylor expansion of y in y 0.242 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.242 * [taylor]: Taking taylor expansion of z in y 0.242 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in x 0.242 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.242 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.242 * [taylor]: Taking taylor expansion of y in x 0.242 * [taylor]: Taking taylor expansion of x in x 0.242 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.242 * [taylor]: Taking taylor expansion of y in x 0.242 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.243 * [taylor]: Taking taylor expansion of z in x 0.243 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 y) (/ 1 z))) in x 0.243 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.243 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.243 * [taylor]: Taking taylor expansion of y in x 0.243 * [taylor]: Taking taylor expansion of x in x 0.243 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.243 * [taylor]: Taking taylor expansion of y in x 0.243 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.243 * [taylor]: Taking taylor expansion of z in x 0.243 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.243 * [taylor]: Taking taylor expansion of y in y 0.245 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z))) in y 0.245 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.245 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.245 * [taylor]: Taking taylor expansion of y in y 0.245 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.245 * [taylor]: Taking taylor expansion of z in y 0.246 * [taylor]: Taking taylor expansion of -1 in z 0.249 * [taylor]: Taking taylor expansion of (- (log y)) in z 0.249 * [taylor]: Taking taylor expansion of (log y) in z 0.249 * [taylor]: Taking taylor expansion of y in z 0.252 * [taylor]: Taking taylor expansion of 0 in y 0.252 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.252 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.252 * [taylor]: Taking taylor expansion of z in z 0.254 * [taylor]: Taking taylor expansion of 0 in z 0.255 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in (x y z) around 0 0.255 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in z 0.255 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.255 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.255 * [taylor]: Taking taylor expansion of y in z 0.255 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.255 * [taylor]: Taking taylor expansion of z in z 0.255 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.255 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.255 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.255 * [taylor]: Taking taylor expansion of -1 in z 0.255 * [taylor]: Taking taylor expansion of y in z 0.255 * [taylor]: Taking taylor expansion of x in z 0.256 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in y 0.256 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.256 * [taylor]: Taking taylor expansion of y in y 0.256 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.256 * [taylor]: Taking taylor expansion of z in y 0.256 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.256 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.256 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.256 * [taylor]: Taking taylor expansion of -1 in y 0.256 * [taylor]: Taking taylor expansion of y in y 0.257 * [taylor]: Taking taylor expansion of x in y 0.258 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in x 0.258 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.258 * [taylor]: Taking taylor expansion of y in x 0.258 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.258 * [taylor]: Taking taylor expansion of z in x 0.258 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.258 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.258 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.258 * [taylor]: Taking taylor expansion of -1 in x 0.258 * [taylor]: Taking taylor expansion of y in x 0.258 * [taylor]: Taking taylor expansion of x in x 0.258 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 z)) (/ (log (/ -1 y)) x)) in x 0.258 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.258 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.258 * [taylor]: Taking taylor expansion of y in x 0.258 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.258 * [taylor]: Taking taylor expansion of z in x 0.258 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.258 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.258 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.258 * [taylor]: Taking taylor expansion of -1 in x 0.258 * [taylor]: Taking taylor expansion of y in x 0.258 * [taylor]: Taking taylor expansion of x in x 0.259 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.259 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.259 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.259 * [taylor]: Taking taylor expansion of -1 in y 0.259 * [taylor]: Taking taylor expansion of y in y 0.261 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.261 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.261 * [taylor]: Taking taylor expansion of z in y 0.261 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.261 * [taylor]: Taking taylor expansion of y in y 0.261 * [taylor]: Taking taylor expansion of 1 in z 0.262 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.262 * [taylor]: Taking taylor expansion of (log y) in z 0.262 * [taylor]: Taking taylor expansion of y in z 0.262 * [taylor]: Taking taylor expansion of (log -1) in z 0.262 * [taylor]: Taking taylor expansion of -1 in z 0.266 * [taylor]: Taking taylor expansion of 0 in y 0.266 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.266 * [taylor]: Taking taylor expansion of z in z 0.268 * [taylor]: Taking taylor expansion of 0 in z 0.270 * * * [progress]: simplifying candidates 0.271 * [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))) (- 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) (- 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))) (- 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) (- (- 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) (- (- z) y) (+ z y) (- y) (* x (log y)) (* -1 (* x (log (/ 1 y)))) (* (- (log -1) (log (/ -1 y))) x) (- (* x (log y)) z) (- (+ (* x (log (/ 1 y))) z)) (- (* (log -1) x) (+ z (* x (log (/ -1 y))))) (- (* x (log y)) (+ z y)) (- (+ (* x (log (/ 1 y))) (+ z y))) (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y)))))) 0.274 * * [simplify]: iteration 0 : 126 enodes (cost 705 ) 0.294 * * [simplify]: iteration 1 : 249 enodes (cost 666 ) 0.339 * * [simplify]: iteration 2 : 642 enodes (cost 629 ) 0.587 * * [simplify]: iteration 3 : 1714 enodes (cost 596 ) 1.160 * * [simplify]: iteration done : 5000 enodes (cost 596 ) 1.161 * [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)) (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)) (+ (* z z) (* (+ (* x (log y)) z) (* x (log y)))) (- z) (- (* (* x (log y)) (* x (log y))) (* z z)) (+ (* x (log y)) z) (- (* x (log (cbrt y))) z) (- (* x (log (sqrt y))) z) (- (* (log y) x) z) (- (* x (log (cbrt y))) z) (- (* x (log (sqrt y))) z) (- (* (log y) x) z) (- 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)) (+ (* (- (* x (log y)) z) (+ (- (* x (log y)) z) y)) (* y y)) (- 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)) (- (* (log y) x) (+ z y)) (- (+ z y)) (- (- (* x (log (cbrt y))) z) y) (- (- (* x (log (sqrt y))) z) y) (- (* (log y) x) (+ z y)) (- (- (* x (log (cbrt y))) z) y) (- (- (* x (log (sqrt y))) z) y) (- (* (log y) x) (+ z y)) (- (+ z y)) (+ z y) (- y) (* (log y) x) (* (log y) x) (* (log y) x) (- (* (log y) x) z) (- (* (log y) x) z) (- (* (log y) x) z) (- (* (log y) x) (+ z y)) (- (* (log y) x) (+ z y)) (- (* (log y) x) (+ z y)) 1.161 * * * [progress]: adding candidates to table 1.319 * * [progress]: iteration 2 / 4 1.319 * * * [progress]: picking best candidate 1.327 * * * * [pick]: Picked # 1.327 * * * [progress]: localizing error 1.340 * * * [progress]: generating rewritten candidates 1.340 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1) 1.340 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 2 1) 1.341 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.350 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1.357 * * * [progress]: generating series expansions 1.357 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1) 1.357 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.357 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.358 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.358 * [taylor]: Taking taylor expansion of 1/3 in y 1.358 * [taylor]: Taking taylor expansion of (log y) in y 1.358 * [taylor]: Taking taylor expansion of y in y 1.359 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.359 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.359 * [taylor]: Taking taylor expansion of 1/3 in y 1.359 * [taylor]: Taking taylor expansion of (log y) in y 1.359 * [taylor]: Taking taylor expansion of y in y 1.412 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.413 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.413 * [taylor]: Taking taylor expansion of 1/3 in y 1.413 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.413 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.413 * [taylor]: Taking taylor expansion of y in y 1.414 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.414 * [taylor]: Taking taylor expansion of 1/3 in y 1.414 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.414 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.414 * [taylor]: Taking taylor expansion of y in y 1.471 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 1.471 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.471 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.471 * [taylor]: Taking taylor expansion of -1 in y 1.472 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.472 * [taylor]: Taking taylor expansion of 1/3 in y 1.472 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.472 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.472 * [taylor]: Taking taylor expansion of y in y 1.473 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.473 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.473 * [taylor]: Taking taylor expansion of -1 in y 1.474 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.474 * [taylor]: Taking taylor expansion of 1/3 in y 1.474 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.474 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.474 * [taylor]: Taking taylor expansion of y in y 1.544 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 2 1) 1.545 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.545 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.545 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.545 * [taylor]: Taking taylor expansion of 1/3 in y 1.545 * [taylor]: Taking taylor expansion of (log y) in y 1.545 * [taylor]: Taking taylor expansion of y in y 1.545 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.545 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.545 * [taylor]: Taking taylor expansion of 1/3 in y 1.545 * [taylor]: Taking taylor expansion of (log y) in y 1.545 * [taylor]: Taking taylor expansion of y in y 1.596 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.596 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.596 * [taylor]: Taking taylor expansion of 1/3 in y 1.596 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.596 * [taylor]: Taking taylor expansion of y in y 1.597 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.597 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.597 * [taylor]: Taking taylor expansion of 1/3 in y 1.597 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.597 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.597 * [taylor]: Taking taylor expansion of y in y 1.653 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 1.653 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.653 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.653 * [taylor]: Taking taylor expansion of -1 in y 1.653 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.654 * [taylor]: Taking taylor expansion of 1/3 in y 1.654 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.654 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.654 * [taylor]: Taking taylor expansion of y in y 1.654 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.654 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.654 * [taylor]: Taking taylor expansion of -1 in y 1.655 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.655 * [taylor]: Taking taylor expansion of 1/3 in y 1.655 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.655 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.655 * [taylor]: Taking taylor expansion of y in y 1.724 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.724 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (y x) around 0 1.724 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 1.724 * [taylor]: Taking taylor expansion of 3 in x 1.724 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 1.724 * [taylor]: Taking taylor expansion of x in x 1.724 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 1.724 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 1.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 1.724 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 1.724 * [taylor]: Taking taylor expansion of 1/3 in x 1.724 * [taylor]: Taking taylor expansion of (log y) in x 1.724 * [taylor]: Taking taylor expansion of y in x 1.725 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 1.725 * [taylor]: Taking taylor expansion of 3 in y 1.725 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 1.725 * [taylor]: Taking taylor expansion of x in y 1.725 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 1.725 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.725 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.725 * [taylor]: Taking taylor expansion of 1/3 in y 1.725 * [taylor]: Taking taylor expansion of (log y) in y 1.725 * [taylor]: Taking taylor expansion of y in y 1.726 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 1.726 * [taylor]: Taking taylor expansion of 3 in y 1.726 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 1.726 * [taylor]: Taking taylor expansion of x in y 1.726 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 1.726 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.726 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.726 * [taylor]: Taking taylor expansion of 1/3 in y 1.726 * [taylor]: Taking taylor expansion of (log y) in y 1.726 * [taylor]: Taking taylor expansion of y in y 1.727 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 1.727 * [taylor]: Taking taylor expansion of 3 in x 1.727 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 1.727 * [taylor]: Taking taylor expansion of x in x 1.727 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 1.727 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 1.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 1.727 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 1.727 * [taylor]: Taking taylor expansion of 1/3 in x 1.727 * [taylor]: Taking taylor expansion of (log y) in x 1.727 * [taylor]: Taking taylor expansion of y in x 1.730 * [taylor]: Taking taylor expansion of 0 in x 1.738 * [taylor]: Taking taylor expansion of 0 in x 1.750 * [taylor]: Taking taylor expansion of 0 in x 1.751 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 1.751 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 1.751 * [taylor]: Taking taylor expansion of 3 in x 1.751 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 1.751 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 1.751 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.751 * [taylor]: Taking taylor expansion of 1/3 in x 1.751 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.751 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.751 * [taylor]: Taking taylor expansion of y in x 1.751 * [taylor]: Taking taylor expansion of x in x 1.751 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 1.751 * [taylor]: Taking taylor expansion of 3 in y 1.751 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 1.751 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 1.751 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.751 * [taylor]: Taking taylor expansion of 1/3 in y 1.751 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.751 * [taylor]: Taking taylor expansion of y in y 1.752 * [taylor]: Taking taylor expansion of x in y 1.752 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 1.752 * [taylor]: Taking taylor expansion of 3 in y 1.752 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 1.752 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 1.752 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.753 * [taylor]: Taking taylor expansion of 1/3 in y 1.753 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.753 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.753 * [taylor]: Taking taylor expansion of y in y 1.753 * [taylor]: Taking taylor expansion of x in y 1.754 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x 1.754 * [taylor]: Taking taylor expansion of 3 in x 1.754 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 1.754 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 1.754 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 1.754 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 1.754 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 1.754 * [taylor]: Taking taylor expansion of -1/3 in x 1.754 * [taylor]: Taking taylor expansion of (log y) in x 1.754 * [taylor]: Taking taylor expansion of y in x 1.754 * [taylor]: Taking taylor expansion of x in x 1.758 * [taylor]: Taking taylor expansion of 0 in x 1.766 * [taylor]: Taking taylor expansion of 0 in x 1.782 * [taylor]: Taking taylor expansion of 0 in x 1.791 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (y x) around 0 1.791 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 1.791 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 1.791 * [taylor]: Taking taylor expansion of 3 in x 1.791 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 1.791 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 1.791 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 1.791 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.791 * [taylor]: Taking taylor expansion of -1 in x 1.792 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.792 * [taylor]: Taking taylor expansion of 1/3 in x 1.792 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.792 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.792 * [taylor]: Taking taylor expansion of y in x 1.793 * [taylor]: Taking taylor expansion of x in x 1.793 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 1.793 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 1.793 * [taylor]: Taking taylor expansion of 3 in y 1.793 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 1.793 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 1.793 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.793 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.793 * [taylor]: Taking taylor expansion of -1 in y 1.794 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.794 * [taylor]: Taking taylor expansion of 1/3 in y 1.794 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.794 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.794 * [taylor]: Taking taylor expansion of y in y 1.796 * [taylor]: Taking taylor expansion of x in y 1.796 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 1.796 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 1.796 * [taylor]: Taking taylor expansion of 3 in y 1.796 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 1.796 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 1.796 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.796 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.796 * [taylor]: Taking taylor expansion of -1 in y 1.797 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.797 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.797 * [taylor]: Taking taylor expansion of 1/3 in y 1.797 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.797 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.797 * [taylor]: Taking taylor expansion of y in y 1.799 * [taylor]: Taking taylor expansion of x in y 1.800 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 1.800 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 1.800 * [taylor]: Taking taylor expansion of 3 in x 1.800 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 1.800 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 1.800 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 1.800 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.800 * [taylor]: Taking taylor expansion of -1 in x 1.801 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.801 * [taylor]: Taking taylor expansion of 1/3 in x 1.801 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.801 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.801 * [taylor]: Taking taylor expansion of y in x 1.802 * [taylor]: Taking taylor expansion of x in x 1.810 * [taylor]: Taking taylor expansion of 0 in x 1.823 * [taylor]: Taking taylor expansion of 0 in x 1.844 * [taylor]: Taking taylor expansion of 0 in x 1.856 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 1.856 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/3))) in (x y) around 0 1.856 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 1.856 * [taylor]: Taking taylor expansion of x in y 1.856 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 1.856 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.856 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.856 * [taylor]: Taking taylor expansion of 1/3 in y 1.856 * [taylor]: Taking taylor expansion of (log y) in y 1.856 * [taylor]: Taking taylor expansion of y in y 1.857 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 1.857 * [taylor]: Taking taylor expansion of x in x 1.857 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 1.857 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 1.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 1.857 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 1.857 * [taylor]: Taking taylor expansion of 1/3 in x 1.857 * [taylor]: Taking taylor expansion of (log y) in x 1.857 * [taylor]: Taking taylor expansion of y in x 1.857 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 1.857 * [taylor]: Taking taylor expansion of x in x 1.857 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 1.857 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 1.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 1.857 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 1.857 * [taylor]: Taking taylor expansion of 1/3 in x 1.857 * [taylor]: Taking taylor expansion of (log y) in x 1.857 * [taylor]: Taking taylor expansion of y in x 1.857 * [taylor]: Taking taylor expansion of 0 in y 1.860 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 1.860 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.860 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.860 * [taylor]: Taking taylor expansion of 1/3 in y 1.860 * [taylor]: Taking taylor expansion of (log y) in y 1.860 * [taylor]: Taking taylor expansion of y in y 1.868 * [taylor]: Taking taylor expansion of 0 in y 1.877 * [taylor]: Taking taylor expansion of 0 in y 1.878 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in (x y) around 0 1.878 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 1.878 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 1.878 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.878 * [taylor]: Taking taylor expansion of 1/3 in y 1.878 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.878 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.878 * [taylor]: Taking taylor expansion of y in y 1.879 * [taylor]: Taking taylor expansion of x in y 1.879 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 1.879 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 1.879 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.879 * [taylor]: Taking taylor expansion of 1/3 in x 1.879 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.879 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.879 * [taylor]: Taking taylor expansion of y in x 1.879 * [taylor]: Taking taylor expansion of x in x 1.879 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 1.879 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 1.879 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.879 * [taylor]: Taking taylor expansion of 1/3 in x 1.879 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.879 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.879 * [taylor]: Taking taylor expansion of y in x 1.880 * [taylor]: Taking taylor expansion of x in x 1.880 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 1.880 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.880 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.880 * [taylor]: Taking taylor expansion of 1/3 in y 1.880 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.880 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.880 * [taylor]: Taking taylor expansion of y in y 1.883 * [taylor]: Taking taylor expansion of 0 in y 1.891 * [taylor]: Taking taylor expansion of 0 in y 1.903 * [taylor]: Taking taylor expansion of 0 in y 1.903 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (x y) around 0 1.903 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 1.903 * [taylor]: Taking taylor expansion of -1 in y 1.903 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 1.903 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 1.903 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.903 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.903 * [taylor]: Taking taylor expansion of -1 in y 1.904 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.904 * [taylor]: Taking taylor expansion of 1/3 in y 1.904 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.904 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.904 * [taylor]: Taking taylor expansion of y in y 1.906 * [taylor]: Taking taylor expansion of x in y 1.906 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 1.906 * [taylor]: Taking taylor expansion of -1 in x 1.906 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 1.906 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 1.906 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 1.906 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.906 * [taylor]: Taking taylor expansion of -1 in x 1.907 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.907 * [taylor]: Taking taylor expansion of 1/3 in x 1.907 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.907 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.907 * [taylor]: Taking taylor expansion of y in x 1.908 * [taylor]: Taking taylor expansion of x in x 1.908 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 1.908 * [taylor]: Taking taylor expansion of -1 in x 1.908 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 1.908 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 1.908 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 1.909 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.909 * [taylor]: Taking taylor expansion of -1 in x 1.909 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.909 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.909 * [taylor]: Taking taylor expansion of 1/3 in x 1.909 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.909 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.909 * [taylor]: Taking taylor expansion of y in x 1.910 * [taylor]: Taking taylor expansion of x in x 1.911 * [taylor]: Taking taylor expansion of (* -1 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 1.911 * [taylor]: Taking taylor expansion of -1 in y 1.911 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 1.911 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.911 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.911 * [taylor]: Taking taylor expansion of -1 in y 1.912 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.912 * [taylor]: Taking taylor expansion of 1/3 in y 1.912 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.912 * [taylor]: Taking taylor expansion of y in y 1.919 * [taylor]: Taking taylor expansion of 0 in y 1.931 * [taylor]: Taking taylor expansion of 0 in y 1.950 * [taylor]: Taking taylor expansion of 0 in y 1.950 * * * [progress]: simplifying candidates 1.954 * [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)) (* x (log (cbrt y))) (+ (log x) (log (log (cbrt y)))) (log (* x (log (cbrt y)))) (exp (* x (log (cbrt y)))) (* (* (* x x) x) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y))))) (cbrt (* x (log (cbrt y)))) (* (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* x (log (cbrt (* (cbrt y) (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt 1))) (* x (log (cbrt y))) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log 1)) (* x (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt 1)) x) (* (log (cbrt y)) x) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log 1) x) (* (log (cbrt y)) x) (* x 1/3) (* x 1) (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* x (sqrt (log (cbrt y)))) (* x 1) (* (cbrt x) (log (cbrt y))) (* (sqrt x) (log (cbrt y))) (* x (log (cbrt y))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (* 3 (* x (log (pow y 1/3)))) (* 3 (* x (log (pow (/ 1 y) -1/3)))) (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (* x (log (pow y 1/3))) (* x (log (pow (/ 1 y) -1/3))) (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))) 1.957 * * [simplify]: iteration 0 : 119 enodes (cost 909 ) 1.980 * * [simplify]: iteration 1 : 256 enodes (cost 837 ) 2.050 * * [simplify]: iteration 2 : 795 enodes (cost 675 ) 2.589 * * [simplify]: iteration 3 : 3912 enodes (cost 588 ) 4.751 * * [simplify]: iteration done : 5000 enodes (cost 588 ) 4.751 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (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 y 2/3)) (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)) (pow (exp x) (log y)) (log (* (log y) x)) (pow (exp x) (log y)) (* (cbrt (* (log y) x)) (cbrt (* (log y) x))) (cbrt (* (log y) x)) (pow (* (log y) x) 3) (sqrt (* (log y) x)) (sqrt (* (log y) x)) (* 9 (pow (* x (log (cbrt y))) 3)) (* (* x (* x (log (cbrt y)))) (log y)) (* (* x (* x (log (cbrt y)))) (log y)) (* (log (cbrt y)) x) (* (+ (log (cbrt (pow y 2/3))) (* 2/3 (log y))) x) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (* (log y) 2/3)) (* x (* 2 (+ (log (cbrt y)) (log (cbrt (cbrt y)))))) (* x (+ (* 2/3 (log y)) (log (sqrt (cbrt y))))) (* x (* (log y) 2/3)) (* (+ (log (cbrt (pow y 2/3))) (* 2/3 (log y))) x) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (* (log y) 2/3)) (* x (* 2 (+ (log (cbrt y)) (log (cbrt (cbrt y)))))) (* x (+ (* 2/3 (log y)) (log (sqrt (cbrt y))))) (* x (* (log y) 2/3)) (* (log (cbrt y)) x) (log (* x (log (cbrt y)))) (log (* x (log (cbrt y)))) (pow (cbrt y) x) (pow (* x (log (cbrt y))) 3) (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y))))) (cbrt (* x (log (cbrt y)))) (pow (* x (log (cbrt y))) 3) (sqrt (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (log (cbrt (pow y 2/3))) x) (* (log (cbrt (cbrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt (sqrt y))) x) 0 (* (log (cbrt y)) x) (* (* 2 (log (cbrt (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) 0 (* (log (cbrt y)) x) (* (log (cbrt (pow y 2/3))) x) (* (log (cbrt (cbrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt (sqrt y))) x) 0 (* (log (cbrt y)) x) (* (* 2 (log (cbrt (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) 0 (* (log (cbrt y)) x) (* x 1/3) x (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* x (sqrt (log (cbrt y)))) x (* (cbrt x) (log (cbrt y))) (* (sqrt x) (log (cbrt y))) (* (log (cbrt y)) x) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (* (log y) x) (* (- x) (- (log y))) (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) (* (log (cbrt y)) x) (* (* x -1/3) (- (log y))) (* x (log (* (cbrt (- y)) (cbrt -1)))) 4.752 * * * [progress]: adding candidates to table 5.002 * * [progress]: iteration 3 / 4 5.002 * * * [progress]: picking best candidate 5.010 * * * * [pick]: Picked # 5.010 * * * [progress]: localizing error 5.028 * * * [progress]: generating rewritten candidates 5.028 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1) 5.029 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2 1) 5.030 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1) 5.034 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 5.048 * * * [progress]: generating series expansions 5.048 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1) 5.048 * [approximate]: Taking taylor expansion of (pow y 1/6) in (y) around 0 5.048 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 5.048 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 5.048 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 5.048 * [taylor]: Taking taylor expansion of 1/6 in y 5.048 * [taylor]: Taking taylor expansion of (log y) in y 5.048 * [taylor]: Taking taylor expansion of y in y 5.049 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 5.049 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 5.049 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 5.049 * [taylor]: Taking taylor expansion of 1/6 in y 5.049 * [taylor]: Taking taylor expansion of (log y) in y 5.049 * [taylor]: Taking taylor expansion of y in y 5.106 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/6) in (y) around 0 5.106 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 5.106 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 5.106 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 5.106 * [taylor]: Taking taylor expansion of 1/6 in y 5.106 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.106 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.106 * [taylor]: Taking taylor expansion of y in y 5.107 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 5.107 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 5.107 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 5.107 * [taylor]: Taking taylor expansion of 1/6 in y 5.107 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.107 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.107 * [taylor]: Taking taylor expansion of y in y 5.163 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in (y) around 0 5.163 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 5.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 5.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 5.163 * [taylor]: Taking taylor expansion of 1/3 in y 5.163 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 5.163 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 5.163 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.163 * [taylor]: Taking taylor expansion of -1 in y 5.163 * [taylor]: Taking taylor expansion of y in y 5.166 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 5.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 5.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 5.166 * [taylor]: Taking taylor expansion of 1/3 in y 5.166 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 5.166 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 5.166 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.166 * [taylor]: Taking taylor expansion of -1 in y 5.166 * [taylor]: Taking taylor expansion of y in y 5.202 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2 1) 5.202 * [approximate]: Taking taylor expansion of (pow y 1/6) in (y) around 0 5.202 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 5.202 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 5.202 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 5.202 * [taylor]: Taking taylor expansion of 1/6 in y 5.202 * [taylor]: Taking taylor expansion of (log y) in y 5.202 * [taylor]: Taking taylor expansion of y in y 5.203 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 5.203 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 5.203 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 5.203 * [taylor]: Taking taylor expansion of 1/6 in y 5.203 * [taylor]: Taking taylor expansion of (log y) in y 5.203 * [taylor]: Taking taylor expansion of y in y 5.258 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/6) in (y) around 0 5.258 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 5.258 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 5.258 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 5.258 * [taylor]: Taking taylor expansion of 1/6 in y 5.258 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.258 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.258 * [taylor]: Taking taylor expansion of y in y 5.259 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 5.259 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 5.259 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 5.259 * [taylor]: Taking taylor expansion of 1/6 in y 5.259 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.259 * [taylor]: Taking taylor expansion of y in y 5.316 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in (y) around 0 5.316 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 5.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 5.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 5.316 * [taylor]: Taking taylor expansion of 1/3 in y 5.316 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 5.316 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 5.316 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.316 * [taylor]: Taking taylor expansion of -1 in y 5.316 * [taylor]: Taking taylor expansion of y in y 5.319 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 5.319 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 5.319 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 5.319 * [taylor]: Taking taylor expansion of 1/3 in y 5.319 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 5.319 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 5.319 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.319 * [taylor]: Taking taylor expansion of -1 in y 5.319 * [taylor]: Taking taylor expansion of y in y 5.354 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1) 5.354 * [approximate]: Taking taylor expansion of (* 2/3 (log y)) in (y) around 0 5.354 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y 5.354 * [taylor]: Taking taylor expansion of 2/3 in y 5.354 * [taylor]: Taking taylor expansion of (log y) in y 5.354 * [taylor]: Taking taylor expansion of y in y 5.355 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y 5.355 * [taylor]: Taking taylor expansion of 2/3 in y 5.355 * [taylor]: Taking taylor expansion of (log y) in y 5.355 * [taylor]: Taking taylor expansion of y in y 5.400 * [approximate]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in (y) around 0 5.400 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y 5.401 * [taylor]: Taking taylor expansion of 2/3 in y 5.401 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.401 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.401 * [taylor]: Taking taylor expansion of y in y 5.401 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y 5.401 * [taylor]: Taking taylor expansion of 2/3 in y 5.401 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.401 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.401 * [taylor]: Taking taylor expansion of y in y 5.446 * [approximate]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in (y) around 0 5.446 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y 5.446 * [taylor]: Taking taylor expansion of 2/3 in y 5.446 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 5.446 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.446 * [taylor]: Taking taylor expansion of -1 in y 5.447 * [taylor]: Taking taylor expansion of y in y 5.447 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y 5.447 * [taylor]: Taking taylor expansion of 2/3 in y 5.447 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 5.447 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.447 * [taylor]: Taking taylor expansion of -1 in y 5.447 * [taylor]: Taking taylor expansion of y in y 5.503 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 5.503 * [approximate]: Taking taylor expansion of (* x (+ (log (pow y 1/6)) (* 2/3 (log y)))) in (x y) around 0 5.503 * [taylor]: Taking taylor expansion of (* x (+ (log (pow y 1/6)) (* 2/3 (log y)))) in y 5.503 * [taylor]: Taking taylor expansion of x in y 5.503 * [taylor]: Taking taylor expansion of (+ (log (pow y 1/6)) (* 2/3 (log y))) in y 5.503 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in y 5.503 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 5.503 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 5.503 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 5.503 * [taylor]: Taking taylor expansion of 1/6 in y 5.503 * [taylor]: Taking taylor expansion of (log y) in y 5.503 * [taylor]: Taking taylor expansion of y in y 5.504 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y 5.504 * [taylor]: Taking taylor expansion of 2/3 in y 5.504 * [taylor]: Taking taylor expansion of (log y) in y 5.504 * [taylor]: Taking taylor expansion of y in y 5.505 * [taylor]: Taking taylor expansion of (* x (+ (log (pow y 1/6)) (* 2/3 (log y)))) in x 5.505 * [taylor]: Taking taylor expansion of x in x 5.505 * [taylor]: Taking taylor expansion of (+ (log (pow y 1/6)) (* 2/3 (log y))) in x 5.505 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in x 5.505 * [taylor]: Taking taylor expansion of (pow y 1/6) in x 5.505 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in x 5.505 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in x 5.505 * [taylor]: Taking taylor expansion of 1/6 in x 5.505 * [taylor]: Taking taylor expansion of (log y) in x 5.505 * [taylor]: Taking taylor expansion of y in x 5.505 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in x 5.505 * [taylor]: Taking taylor expansion of 2/3 in x 5.505 * [taylor]: Taking taylor expansion of (log y) in x 5.505 * [taylor]: Taking taylor expansion of y in x 5.505 * [taylor]: Taking taylor expansion of (* x (+ (log (pow y 1/6)) (* 2/3 (log y)))) in x 5.505 * [taylor]: Taking taylor expansion of x in x 5.505 * [taylor]: Taking taylor expansion of (+ (log (pow y 1/6)) (* 2/3 (log y))) in x 5.505 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in x 5.505 * [taylor]: Taking taylor expansion of (pow y 1/6) in x 5.505 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in x 5.505 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in x 5.505 * [taylor]: Taking taylor expansion of 1/6 in x 5.505 * [taylor]: Taking taylor expansion of (log y) in x 5.505 * [taylor]: Taking taylor expansion of y in x 5.505 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in x 5.505 * [taylor]: Taking taylor expansion of 2/3 in x 5.505 * [taylor]: Taking taylor expansion of (log y) in x 5.505 * [taylor]: Taking taylor expansion of y in x 5.506 * [taylor]: Taking taylor expansion of 0 in y 5.509 * [taylor]: Taking taylor expansion of (+ (log (pow y 1/6)) (* 2/3 (log y))) in y 5.509 * [taylor]: Taking taylor expansion of (log (pow y 1/6)) in y 5.509 * [taylor]: Taking taylor expansion of (pow y 1/6) in y 5.509 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log y))) in y 5.509 * [taylor]: Taking taylor expansion of (* 1/6 (log y)) in y 5.509 * [taylor]: Taking taylor expansion of 1/6 in y 5.509 * [taylor]: Taking taylor expansion of (log y) in y 5.509 * [taylor]: Taking taylor expansion of y in y 5.510 * [taylor]: Taking taylor expansion of (* 2/3 (log y)) in y 5.510 * [taylor]: Taking taylor expansion of 2/3 in y 5.510 * [taylor]: Taking taylor expansion of (log y) in y 5.510 * [taylor]: Taking taylor expansion of y in y 5.517 * [taylor]: Taking taylor expansion of 0 in y 5.529 * [taylor]: Taking taylor expansion of 0 in y 5.530 * [approximate]: Taking taylor expansion of (/ (+ (* 2/3 (log (/ 1 y))) (log (pow (/ 1 y) 1/6))) x) in (x y) around 0 5.530 * [taylor]: Taking taylor expansion of (/ (+ (* 2/3 (log (/ 1 y))) (log (pow (/ 1 y) 1/6))) x) in y 5.530 * [taylor]: Taking taylor expansion of (+ (* 2/3 (log (/ 1 y))) (log (pow (/ 1 y) 1/6))) in y 5.530 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y 5.530 * [taylor]: Taking taylor expansion of 2/3 in y 5.530 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.530 * [taylor]: Taking taylor expansion of y in y 5.530 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in y 5.530 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 5.530 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 5.530 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 5.530 * [taylor]: Taking taylor expansion of 1/6 in y 5.530 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.531 * [taylor]: Taking taylor expansion of y in y 5.531 * [taylor]: Taking taylor expansion of x in y 5.532 * [taylor]: Taking taylor expansion of (/ (+ (* 2/3 (log (/ 1 y))) (log (pow (/ 1 y) 1/6))) x) in x 5.532 * [taylor]: Taking taylor expansion of (+ (* 2/3 (log (/ 1 y))) (log (pow (/ 1 y) 1/6))) in x 5.532 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in x 5.532 * [taylor]: Taking taylor expansion of 2/3 in x 5.532 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.532 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.532 * [taylor]: Taking taylor expansion of y in x 5.532 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in x 5.532 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in x 5.532 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in x 5.532 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in x 5.532 * [taylor]: Taking taylor expansion of 1/6 in x 5.532 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.532 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.532 * [taylor]: Taking taylor expansion of y in x 5.532 * [taylor]: Taking taylor expansion of x in x 5.533 * [taylor]: Taking taylor expansion of (/ (+ (* 2/3 (log (/ 1 y))) (log (pow (/ 1 y) 1/6))) x) in x 5.533 * [taylor]: Taking taylor expansion of (+ (* 2/3 (log (/ 1 y))) (log (pow (/ 1 y) 1/6))) in x 5.533 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in x 5.533 * [taylor]: Taking taylor expansion of 2/3 in x 5.533 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.533 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.533 * [taylor]: Taking taylor expansion of y in x 5.533 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in x 5.533 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in x 5.533 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in x 5.533 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in x 5.533 * [taylor]: Taking taylor expansion of 1/6 in x 5.533 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.533 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.533 * [taylor]: Taking taylor expansion of y in x 5.533 * [taylor]: Taking taylor expansion of x in x 5.534 * [taylor]: Taking taylor expansion of (+ (* 2/3 (log (/ 1 y))) (log (pow (/ 1 y) 1/6))) in y 5.534 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 y))) in y 5.534 * [taylor]: Taking taylor expansion of 2/3 in y 5.534 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.534 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.534 * [taylor]: Taking taylor expansion of y in y 5.534 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/6)) in y 5.534 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/6) in y 5.534 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 y)))) in y 5.534 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 y))) in y 5.534 * [taylor]: Taking taylor expansion of 1/6 in y 5.534 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.534 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.534 * [taylor]: Taking taylor expansion of y in y 5.539 * [taylor]: Taking taylor expansion of 0 in y 5.557 * [taylor]: Taking taylor expansion of 0 in y 5.574 * [taylor]: Taking taylor expansion of 0 in y 5.575 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (log (pow (sqrt (/ -1 y)) 1/3)) (* 2/3 (log (/ -1 y)))) x)) in (x y) around 0 5.575 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (pow (sqrt (/ -1 y)) 1/3)) (* 2/3 (log (/ -1 y)))) x)) in y 5.575 * [taylor]: Taking taylor expansion of -1 in y 5.575 * [taylor]: Taking taylor expansion of (/ (+ (log (pow (sqrt (/ -1 y)) 1/3)) (* 2/3 (log (/ -1 y)))) x) in y 5.575 * [taylor]: Taking taylor expansion of (+ (log (pow (sqrt (/ -1 y)) 1/3)) (* 2/3 (log (/ -1 y)))) in y 5.575 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 y)) 1/3)) in y 5.575 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 5.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 5.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 5.575 * [taylor]: Taking taylor expansion of 1/3 in y 5.575 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 5.575 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 5.575 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.575 * [taylor]: Taking taylor expansion of -1 in y 5.575 * [taylor]: Taking taylor expansion of y in y 5.579 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y 5.579 * [taylor]: Taking taylor expansion of 2/3 in y 5.579 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 5.579 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.579 * [taylor]: Taking taylor expansion of -1 in y 5.579 * [taylor]: Taking taylor expansion of y in y 5.579 * [taylor]: Taking taylor expansion of x in y 5.583 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (pow (sqrt (/ -1 y)) 1/3)) (* 2/3 (log (/ -1 y)))) x)) in x 5.583 * [taylor]: Taking taylor expansion of -1 in x 5.583 * [taylor]: Taking taylor expansion of (/ (+ (log (pow (sqrt (/ -1 y)) 1/3)) (* 2/3 (log (/ -1 y)))) x) in x 5.583 * [taylor]: Taking taylor expansion of (+ (log (pow (sqrt (/ -1 y)) 1/3)) (* 2/3 (log (/ -1 y)))) in x 5.583 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 y)) 1/3)) in x 5.583 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in x 5.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in x 5.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in x 5.583 * [taylor]: Taking taylor expansion of 1/3 in x 5.583 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 5.583 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 5.583 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.583 * [taylor]: Taking taylor expansion of -1 in x 5.583 * [taylor]: Taking taylor expansion of y in x 5.584 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in x 5.584 * [taylor]: Taking taylor expansion of 2/3 in x 5.584 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 5.584 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.584 * [taylor]: Taking taylor expansion of -1 in x 5.584 * [taylor]: Taking taylor expansion of y in x 5.584 * [taylor]: Taking taylor expansion of x in x 5.584 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (log (pow (sqrt (/ -1 y)) 1/3)) (* 2/3 (log (/ -1 y)))) x)) in x 5.584 * [taylor]: Taking taylor expansion of -1 in x 5.584 * [taylor]: Taking taylor expansion of (/ (+ (log (pow (sqrt (/ -1 y)) 1/3)) (* 2/3 (log (/ -1 y)))) x) in x 5.584 * [taylor]: Taking taylor expansion of (+ (log (pow (sqrt (/ -1 y)) 1/3)) (* 2/3 (log (/ -1 y)))) in x 5.584 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 y)) 1/3)) in x 5.584 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in x 5.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in x 5.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in x 5.584 * [taylor]: Taking taylor expansion of 1/3 in x 5.584 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in x 5.584 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in x 5.584 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.584 * [taylor]: Taking taylor expansion of -1 in x 5.584 * [taylor]: Taking taylor expansion of y in x 5.585 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in x 5.585 * [taylor]: Taking taylor expansion of 2/3 in x 5.585 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 5.585 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.585 * [taylor]: Taking taylor expansion of -1 in x 5.585 * [taylor]: Taking taylor expansion of y in x 5.585 * [taylor]: Taking taylor expansion of x in x 5.585 * [taylor]: Taking taylor expansion of (* -1 (+ (log (pow (sqrt (/ -1 y)) 1/3)) (* 2/3 (log (/ -1 y))))) in y 5.585 * [taylor]: Taking taylor expansion of -1 in y 5.585 * [taylor]: Taking taylor expansion of (+ (log (pow (sqrt (/ -1 y)) 1/3)) (* 2/3 (log (/ -1 y)))) in y 5.585 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 y)) 1/3)) in y 5.585 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 y)) 1/3) in y 5.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 y))))) in y 5.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 y)))) in y 5.586 * [taylor]: Taking taylor expansion of 1/3 in y 5.586 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 y))) in y 5.586 * [taylor]: Taking taylor expansion of (sqrt (/ -1 y)) in y 5.586 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.586 * [taylor]: Taking taylor expansion of -1 in y 5.586 * [taylor]: Taking taylor expansion of y in y 5.590 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 y))) in y 5.590 * [taylor]: Taking taylor expansion of 2/3 in y 5.590 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 5.590 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.590 * [taylor]: Taking taylor expansion of -1 in y 5.590 * [taylor]: Taking taylor expansion of y in y 5.600 * [taylor]: Taking taylor expansion of 0 in y 5.637 * [taylor]: Taking taylor expansion of 0 in y 5.677 * * * [progress]: simplifying candidates 5.678 * [simplify]: Simplifying using # : (log (cbrt (sqrt y))) (exp (cbrt (sqrt y))) (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (cbrt (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt 1)) (cbrt (sqrt y)) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (log (cbrt (sqrt y))) (exp (cbrt (sqrt y))) (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (cbrt (sqrt (* (cbrt y) (cbrt y)))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt 1)) (cbrt (sqrt y)) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) (cbrt 1) (cbrt (sqrt y)) (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (* (* (cbrt (sqrt y)) (cbrt (sqrt y))) (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (* 2/3 (log y)) (+ (log 2/3) (log (log y))) (log (* 2/3 (log y))) (exp (* 2/3 (log y))) (* (* (* 2/3 2/3) 2/3) (* (* (log y) (log y)) (log y))) (* (cbrt (* 2/3 (log y))) (cbrt (* 2/3 (log y)))) (cbrt (* 2/3 (log y))) (* (* (* 2/3 (log y)) (* 2/3 (log y))) (* 2/3 (log y))) (sqrt (* 2/3 (log y))) (sqrt (* 2/3 (log y))) (* (sqrt 2/3) (sqrt (log y))) (* (sqrt 2/3) (sqrt (log y))) (* 2/3 (log (* (cbrt y) (cbrt y)))) (* 2/3 (log (cbrt y))) (* 2/3 (log (sqrt y))) (* 2/3 (log (sqrt y))) (* 2/3 (log 1)) (* 2/3 (log y)) (* (log (* (cbrt y) (cbrt y))) 2/3) (* (log (cbrt y)) 2/3) (* (log (sqrt y)) 2/3) (* (log (sqrt y)) 2/3) (* (log 1) 2/3) (* (log y) 2/3) (* 2/3 1) (* 2/3 (* (cbrt (log y)) (cbrt (log y)))) (* 2/3 (sqrt (log y))) (* 2/3 1) (* (cbrt 2/3) (log y)) (* (sqrt 2/3) (log y)) (* 2/3 (log y)) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (+ (log x) (log (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (log (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (exp (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* (* (* x x) x) (* (* (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* (cbrt (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (cbrt (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))))) (cbrt (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* (* (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (sqrt (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (sqrt (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* (sqrt x) (sqrt (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* (sqrt x) (sqrt (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* x (* 2/3 (log y))) (* x (log (cbrt (sqrt y)))) (* (* 2/3 (log y)) x) (* (log (cbrt (sqrt y))) x) (* x (* (cbrt (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (cbrt (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))))) (* x (sqrt (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* x 1) (* (cbrt x) (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (sqrt x) (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (+ (pow (* 2/3 (log y)) 3) (pow (log (cbrt (sqrt y))) 3))) (* x (- (* (* 2/3 (log y)) (* 2/3 (log y))) (* (log (cbrt (sqrt y))) (log (cbrt (sqrt y)))))) (pow y 1/6) (pow (/ 1 y) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (pow +nan.0 1/3) (/ 1 (pow y 2)))) (- (* +nan.0 (* (pow +nan.0 1/3) (/ 1 y)))))) (pow y 1/6) (pow (/ 1 y) -1/6) (- (pow +nan.0 1/3) (+ (* +nan.0 (* (pow +nan.0 1/3) (/ 1 (pow y 2)))) (- (* +nan.0 (* (pow +nan.0 1/3) (/ 1 y)))))) (* 2/3 (log y)) (* -2/3 (log (/ 1 y))) (* 2/3 (- (log -1) (log (/ -1 y)))) (* x (+ (log (pow y 1/6)) (* 2/3 (log y)))) (* (- (log (pow (/ 1 y) -1/6)) (* 2/3 (log (/ 1 y)))) x) (- (+ (* (log (pow +nan.0 1/3)) x) (* 2/3 (* (log -1) x))) (+ (* +nan.0 (/ x (pow y 2))) (- (* 2/3 (* x (log (/ -1 y)))) (* +nan.0 (/ x y))))) 5.682 * * [simplify]: iteration 0 : 154 enodes (cost 849 ) 5.720 * * [simplify]: iteration 1 : 351 enodes (cost 797 ) 5.804 * * [simplify]: iteration 2 : 1126 enodes (cost 708 ) 6.636 * * [simplify]: iteration 3 : 4497 enodes (cost 684 ) 8.134 * * [simplify]: iteration done : 5001 enodes (cost 684 ) 8.135 * [simplify]: Simplified to: (log (cbrt (sqrt y))) (exp (cbrt (sqrt y))) (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (cbrt (fabs (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) 1 (cbrt (sqrt y)) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) 1 (cbrt (sqrt y)) (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (sqrt y) (sqrt (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (log (cbrt (sqrt y))) (exp (cbrt (sqrt y))) (cbrt (* (cbrt (sqrt y)) (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (cbrt (fabs (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) 1 (cbrt (sqrt y)) (cbrt (sqrt (sqrt y))) (cbrt (sqrt (sqrt y))) 1 (cbrt (sqrt y)) (* (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y)))) (cbrt (cbrt (sqrt y))) (sqrt y) (sqrt (cbrt (sqrt y))) (sqrt (cbrt (sqrt y))) (* (log y) 2/3) (log (* 2/3 (log y))) (log (* 2/3 (log y))) (pow y 2/3) (* 8/27 (pow (log y) 3)) (* (cbrt (* 2/3 (log y))) (cbrt (* 2/3 (log y)))) (cbrt (* 2/3 (log y))) (* 8/27 (pow (log y) 3)) (sqrt (* 2/3 (log y))) (sqrt (* 2/3 (log y))) (* (sqrt 2/3) (sqrt (log y))) (* (sqrt 2/3) (sqrt (log y))) (* (log (cbrt y)) 4/3) (* 2/3 (log (cbrt y))) (* 2/3 (log (sqrt y))) (* 2/3 (log (sqrt y))) 0 (* (log y) 2/3) (* (log (cbrt y)) 4/3) (* 2/3 (log (cbrt y))) (* 2/3 (log (sqrt y))) (* 2/3 (log (sqrt y))) 0 (* (log y) 2/3) 2/3 (* 2/3 (* (cbrt (log y)) (cbrt (log y)))) (* 2/3 (sqrt (log y))) 2/3 (* (cbrt 2/3) (log y)) (* (sqrt 2/3) (log y)) (* (log y) 2/3) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (log (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (log (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* (pow (pow y 2/3) x) (pow (cbrt (sqrt y)) x)) (pow (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) 3) (* (cbrt (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (cbrt (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))))) (cbrt (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (pow (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) 3) (sqrt (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (sqrt (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* (sqrt x) (sqrt (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* (sqrt x) (sqrt (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) (* (* 2/3 (log y)) x) (* (log (cbrt (sqrt y))) x) (* (* 2/3 (log y)) x) (* (log (cbrt (sqrt y))) x) (* x (* (cbrt (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (cbrt (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))))) (* x (sqrt (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))))) x (* (cbrt x) (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* (sqrt x) (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (+ (* 2/3 (log y)) (log (cbrt (sqrt y))))) (* x (+ (pow (* 2/3 (log y)) 3) (pow (log (cbrt (sqrt y))) 3))) (* x (- (* 4/9 (* (log y) (log y))) (* (log (cbrt (sqrt y))) (log (cbrt (sqrt y)))))) (pow y 1/6) (pow (/ 1 y) -1/6) (- (cbrt +nan.0) (* (cbrt +nan.0) (- (/ +nan.0 (pow y 2)) (/ +nan.0 y)))) (pow y 1/6) (pow (/ 1 y) -1/6) (- (cbrt +nan.0) (* (cbrt +nan.0) (- (/ +nan.0 (pow y 2)) (/ +nan.0 y)))) (* (log y) 2/3) (* (log y) 2/3) (* (log y) 2/3) (* (* (log y) x) 5/6) (* (* (log y) x) 5/6) (+ (- (* x (+ (log (cbrt +nan.0)) (* 2/3 (log -1)))) (* 2/3 (* x (log (/ -1 y))))) (* (/ x y) (- +nan.0 (/ +nan.0 y)))) 8.135 * * * [progress]: adding candidates to table 8.422 * * [progress]: iteration 4 / 4 8.422 * * * [progress]: picking best candidate 8.428 * * * * [pick]: Picked # 8.428 * * * [progress]: localizing error 8.441 * * * [progress]: generating rewritten candidates 8.442 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 8.443 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 8.458 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 8.462 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 8.476 * * * [progress]: generating series expansions 8.476 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 8.476 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow y 1/3)) in (y) around 0 8.476 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow y 1/3)) in y 8.476 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.476 * [taylor]: Taking taylor expansion of -1 in y 8.477 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.477 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.477 * [taylor]: Taking taylor expansion of 1/3 in y 8.477 * [taylor]: Taking taylor expansion of (log y) in y 8.477 * [taylor]: Taking taylor expansion of y in y 8.478 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow y 1/3)) in y 8.478 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.478 * [taylor]: Taking taylor expansion of -1 in y 8.479 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.479 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.479 * [taylor]: Taking taylor expansion of 1/3 in y 8.479 * [taylor]: Taking taylor expansion of (log y) in y 8.479 * [taylor]: Taking taylor expansion of y in y 8.540 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 8.540 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.540 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.540 * [taylor]: Taking taylor expansion of -1 in y 8.541 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.541 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.541 * [taylor]: Taking taylor expansion of 1/3 in y 8.541 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.541 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.541 * [taylor]: Taking taylor expansion of y in y 8.547 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.547 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.547 * [taylor]: Taking taylor expansion of -1 in y 8.548 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.548 * [taylor]: Taking taylor expansion of 1/3 in y 8.548 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.548 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.548 * [taylor]: Taking taylor expansion of y in y 8.613 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 8.613 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.613 * [taylor]: Taking taylor expansion of 1/3 in y 8.613 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.613 * [taylor]: Taking taylor expansion of y in y 8.614 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.614 * [taylor]: Taking taylor expansion of 1/3 in y 8.614 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.614 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.614 * [taylor]: Taking taylor expansion of y in y 8.672 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 8.672 * [approximate]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) in (x y) around 0 8.673 * [taylor]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) in y 8.673 * [taylor]: Taking taylor expansion of 3 in y 8.673 * [taylor]: Taking taylor expansion of (* x (log (* (pow (cbrt -1) 2) (pow y 1/3)))) in y 8.673 * [taylor]: Taking taylor expansion of x in y 8.673 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 1/3))) in y 8.673 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 1/3)) in y 8.673 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 8.673 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.673 * [taylor]: Taking taylor expansion of -1 in y 8.673 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.673 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.673 * [taylor]: Taking taylor expansion of 1/3 in y 8.673 * [taylor]: Taking taylor expansion of (log y) in y 8.674 * [taylor]: Taking taylor expansion of y in y 8.677 * [taylor]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) in x 8.677 * [taylor]: Taking taylor expansion of 3 in x 8.677 * [taylor]: Taking taylor expansion of (* x (log (* (pow (cbrt -1) 2) (pow y 1/3)))) in x 8.677 * [taylor]: Taking taylor expansion of x in x 8.677 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 1/3))) in x 8.677 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 1/3)) in x 8.677 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.677 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.677 * [taylor]: Taking taylor expansion of -1 in x 8.677 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 8.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 8.678 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 8.678 * [taylor]: Taking taylor expansion of 1/3 in x 8.678 * [taylor]: Taking taylor expansion of (log y) in x 8.678 * [taylor]: Taking taylor expansion of y in x 8.680 * [taylor]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) in x 8.680 * [taylor]: Taking taylor expansion of 3 in x 8.680 * [taylor]: Taking taylor expansion of (* x (log (* (pow (cbrt -1) 2) (pow y 1/3)))) in x 8.680 * [taylor]: Taking taylor expansion of x in x 8.680 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 1/3))) in x 8.680 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 1/3)) in x 8.680 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.680 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.680 * [taylor]: Taking taylor expansion of -1 in x 8.681 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 8.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 8.681 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 8.681 * [taylor]: Taking taylor expansion of 1/3 in x 8.681 * [taylor]: Taking taylor expansion of (log y) in x 8.681 * [taylor]: Taking taylor expansion of y in x 8.685 * [taylor]: Taking taylor expansion of 0 in y 8.690 * [taylor]: Taking taylor expansion of (* 3 (log (* (pow (cbrt -1) 2) (pow y 1/3)))) in y 8.690 * [taylor]: Taking taylor expansion of 3 in y 8.690 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 1/3))) in y 8.690 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 1/3)) in y 8.690 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 8.690 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.690 * [taylor]: Taking taylor expansion of -1 in y 8.691 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.691 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.691 * [taylor]: Taking taylor expansion of 1/3 in y 8.691 * [taylor]: Taking taylor expansion of (log y) in y 8.691 * [taylor]: Taking taylor expansion of y in y 8.711 * [taylor]: Taking taylor expansion of 0 in y 8.730 * [taylor]: Taking taylor expansion of 0 in y 8.732 * [approximate]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x)) in (x y) around 0 8.732 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x)) in y 8.732 * [taylor]: Taking taylor expansion of 3 in y 8.732 * [taylor]: Taking taylor expansion of (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x) in y 8.732 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) in y 8.732 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)) in y 8.732 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 8.732 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.732 * [taylor]: Taking taylor expansion of -1 in y 8.732 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.733 * [taylor]: Taking taylor expansion of 1/3 in y 8.733 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.733 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.733 * [taylor]: Taking taylor expansion of y in y 8.736 * [taylor]: Taking taylor expansion of x in y 8.737 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x)) in x 8.737 * [taylor]: Taking taylor expansion of 3 in x 8.737 * [taylor]: Taking taylor expansion of (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x) in x 8.737 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) in x 8.737 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)) in x 8.737 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.737 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.737 * [taylor]: Taking taylor expansion of -1 in x 8.737 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 8.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 8.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 8.738 * [taylor]: Taking taylor expansion of 1/3 in x 8.738 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.738 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.738 * [taylor]: Taking taylor expansion of y in x 8.740 * [taylor]: Taking taylor expansion of x in x 8.741 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x)) in x 8.741 * [taylor]: Taking taylor expansion of 3 in x 8.741 * [taylor]: Taking taylor expansion of (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x) in x 8.741 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) in x 8.741 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)) in x 8.741 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.741 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.741 * [taylor]: Taking taylor expansion of -1 in x 8.742 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 8.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 8.742 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 8.742 * [taylor]: Taking taylor expansion of 1/3 in x 8.742 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.742 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.742 * [taylor]: Taking taylor expansion of y in x 8.744 * [taylor]: Taking taylor expansion of x in x 8.746 * [taylor]: Taking taylor expansion of (* 3 (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)))) in y 8.746 * [taylor]: Taking taylor expansion of 3 in y 8.746 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) in y 8.746 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)) in y 8.746 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 8.746 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.746 * [taylor]: Taking taylor expansion of -1 in y 8.747 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.747 * [taylor]: Taking taylor expansion of 1/3 in y 8.747 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.747 * [taylor]: Taking taylor expansion of y in y 8.758 * [taylor]: Taking taylor expansion of 0 in y 8.774 * [taylor]: Taking taylor expansion of 0 in y 8.802 * [taylor]: Taking taylor expansion of 0 in y 8.804 * [approximate]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (x y) around 0 8.804 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 8.804 * [taylor]: Taking taylor expansion of -3 in y 8.804 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 8.804 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 8.804 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.804 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.804 * [taylor]: Taking taylor expansion of -1 in y 8.805 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.805 * [taylor]: Taking taylor expansion of 1/3 in y 8.805 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.805 * [taylor]: Taking taylor expansion of y in y 8.807 * [taylor]: Taking taylor expansion of x in y 8.807 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 8.807 * [taylor]: Taking taylor expansion of -3 in x 8.807 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 8.807 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 8.807 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 8.807 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.807 * [taylor]: Taking taylor expansion of -1 in x 8.808 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 8.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 8.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 8.808 * [taylor]: Taking taylor expansion of 1/3 in x 8.808 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.808 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.808 * [taylor]: Taking taylor expansion of y in x 8.809 * [taylor]: Taking taylor expansion of x in x 8.809 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 8.809 * [taylor]: Taking taylor expansion of -3 in x 8.809 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 8.809 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 8.809 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 8.809 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.809 * [taylor]: Taking taylor expansion of -1 in x 8.810 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 8.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 8.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 8.810 * [taylor]: Taking taylor expansion of 1/3 in x 8.810 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 8.810 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.810 * [taylor]: Taking taylor expansion of y in x 8.811 * [taylor]: Taking taylor expansion of x in x 8.812 * [taylor]: Taking taylor expansion of (* -3 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 8.812 * [taylor]: Taking taylor expansion of -3 in y 8.812 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 8.812 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.812 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.812 * [taylor]: Taking taylor expansion of -1 in y 8.813 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.813 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.813 * [taylor]: Taking taylor expansion of 1/3 in y 8.813 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.813 * [taylor]: Taking taylor expansion of y in y 8.820 * [taylor]: Taking taylor expansion of 0 in y 8.833 * [taylor]: Taking taylor expansion of 0 in y 8.853 * [taylor]: Taking taylor expansion of 0 in y 8.853 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 8.854 * [approximate]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 1/3))) in (y) around 0 8.854 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 1/3))) in y 8.854 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 1/3)) in y 8.854 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 8.854 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.854 * [taylor]: Taking taylor expansion of -1 in y 8.855 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.855 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.855 * [taylor]: Taking taylor expansion of 1/3 in y 8.855 * [taylor]: Taking taylor expansion of (log y) in y 8.855 * [taylor]: Taking taylor expansion of y in y 8.858 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 1/3))) in y 8.858 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 1/3)) in y 8.858 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 8.858 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.858 * [taylor]: Taking taylor expansion of -1 in y 8.859 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.859 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.859 * [taylor]: Taking taylor expansion of 1/3 in y 8.859 * [taylor]: Taking taylor expansion of (log y) in y 8.859 * [taylor]: Taking taylor expansion of y in y 8.976 * [approximate]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) in (y) around 0 8.976 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) in y 8.977 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)) in y 8.977 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 8.977 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.977 * [taylor]: Taking taylor expansion of -1 in y 8.983 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.983 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.983 * [taylor]: Taking taylor expansion of 1/3 in y 8.983 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.983 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.983 * [taylor]: Taking taylor expansion of y in y 8.986 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) in y 8.986 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)) in y 8.987 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 8.987 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.987 * [taylor]: Taking taylor expansion of -1 in y 8.987 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.987 * [taylor]: Taking taylor expansion of 1/3 in y 8.987 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.987 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.987 * [taylor]: Taking taylor expansion of y in y 9.109 * [approximate]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in (y) around 0 9.109 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 9.109 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 9.109 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.109 * [taylor]: Taking taylor expansion of -1 in y 9.110 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.110 * [taylor]: Taking taylor expansion of 1/3 in y 9.110 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.110 * [taylor]: Taking taylor expansion of y in y 9.112 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 9.112 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 9.112 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.112 * [taylor]: Taking taylor expansion of -1 in y 9.113 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.113 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.113 * [taylor]: Taking taylor expansion of 1/3 in y 9.113 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.113 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.113 * [taylor]: Taking taylor expansion of y in y 9.213 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 9.214 * [approximate]: Taking taylor expansion of (- (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) z) in (x y z) around 0 9.214 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) z) in z 9.214 * [taylor]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) in z 9.214 * [taylor]: Taking taylor expansion of 3 in z 9.214 * [taylor]: Taking taylor expansion of (* x (log (* (pow (cbrt -1) 2) (pow y 1/3)))) in z 9.214 * [taylor]: Taking taylor expansion of x in z 9.214 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 1/3))) in z 9.214 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 1/3)) in z 9.214 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 9.214 * [taylor]: Taking taylor expansion of (cbrt -1) in z 9.214 * [taylor]: Taking taylor expansion of -1 in z 9.215 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 9.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 9.215 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 9.215 * [taylor]: Taking taylor expansion of 1/3 in z 9.215 * [taylor]: Taking taylor expansion of (log y) in z 9.215 * [taylor]: Taking taylor expansion of y in z 9.218 * [taylor]: Taking taylor expansion of z in z 9.218 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) z) in y 9.218 * [taylor]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) in y 9.218 * [taylor]: Taking taylor expansion of 3 in y 9.218 * [taylor]: Taking taylor expansion of (* x (log (* (pow (cbrt -1) 2) (pow y 1/3)))) in y 9.218 * [taylor]: Taking taylor expansion of x in y 9.218 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 1/3))) in y 9.218 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 1/3)) in y 9.218 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 9.218 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.218 * [taylor]: Taking taylor expansion of -1 in y 9.219 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 9.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 9.219 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 9.219 * [taylor]: Taking taylor expansion of 1/3 in y 9.219 * [taylor]: Taking taylor expansion of (log y) in y 9.219 * [taylor]: Taking taylor expansion of y in y 9.222 * [taylor]: Taking taylor expansion of z in y 9.222 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) z) in x 9.222 * [taylor]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) in x 9.222 * [taylor]: Taking taylor expansion of 3 in x 9.222 * [taylor]: Taking taylor expansion of (* x (log (* (pow (cbrt -1) 2) (pow y 1/3)))) in x 9.222 * [taylor]: Taking taylor expansion of x in x 9.222 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 1/3))) in x 9.222 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 1/3)) in x 9.222 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 9.222 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.222 * [taylor]: Taking taylor expansion of -1 in x 9.223 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 9.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 9.223 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 9.223 * [taylor]: Taking taylor expansion of 1/3 in x 9.223 * [taylor]: Taking taylor expansion of (log y) in x 9.223 * [taylor]: Taking taylor expansion of y in x 9.225 * [taylor]: Taking taylor expansion of z in x 9.225 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) z) in x 9.225 * [taylor]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) in x 9.225 * [taylor]: Taking taylor expansion of 3 in x 9.226 * [taylor]: Taking taylor expansion of (* x (log (* (pow (cbrt -1) 2) (pow y 1/3)))) in x 9.226 * [taylor]: Taking taylor expansion of x in x 9.226 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 1/3))) in x 9.226 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 1/3)) in x 9.226 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 9.226 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.226 * [taylor]: Taking taylor expansion of -1 in x 9.226 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 9.226 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 9.226 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 9.226 * [taylor]: Taking taylor expansion of 1/3 in x 9.226 * [taylor]: Taking taylor expansion of (log y) in x 9.226 * [taylor]: Taking taylor expansion of y in x 9.229 * [taylor]: Taking taylor expansion of z in x 9.230 * [taylor]: Taking taylor expansion of (- z) in y 9.230 * [taylor]: Taking taylor expansion of z in y 9.230 * [taylor]: Taking taylor expansion of (- z) in z 9.230 * [taylor]: Taking taylor expansion of z in z 9.238 * [taylor]: Taking taylor expansion of (* 3 (log (* (pow (cbrt -1) 2) (pow y 1/3)))) in y 9.238 * [taylor]: Taking taylor expansion of 3 in y 9.238 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 1/3))) in y 9.238 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 1/3)) in y 9.238 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 9.238 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.238 * [taylor]: Taking taylor expansion of -1 in y 9.239 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 9.239 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 9.239 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 9.239 * [taylor]: Taking taylor expansion of 1/3 in y 9.239 * [taylor]: Taking taylor expansion of (log y) in y 9.239 * [taylor]: Taking taylor expansion of y in y 9.243 * [taylor]: Taking taylor expansion of (* 3 (log (* (pow (cbrt -1) 2) (pow y 1/3)))) in z 9.243 * [taylor]: Taking taylor expansion of 3 in z 9.243 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow y 1/3))) in z 9.243 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow y 1/3)) in z 9.243 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 9.243 * [taylor]: Taking taylor expansion of (cbrt -1) in z 9.243 * [taylor]: Taking taylor expansion of -1 in z 9.249 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 9.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 9.249 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 9.249 * [taylor]: Taking taylor expansion of 1/3 in z 9.249 * [taylor]: Taking taylor expansion of (log y) in z 9.249 * [taylor]: Taking taylor expansion of y in z 9.254 * [taylor]: Taking taylor expansion of 0 in z 9.264 * [taylor]: Taking taylor expansion of 0 in y 9.264 * [taylor]: Taking taylor expansion of 0 in z 9.270 * [taylor]: Taking taylor expansion of 0 in z 9.270 * [taylor]: Taking taylor expansion of 0 in z 9.277 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x)) (/ 1 z)) in (x y z) around 0 9.277 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x)) (/ 1 z)) in z 9.277 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x)) in z 9.277 * [taylor]: Taking taylor expansion of 3 in z 9.277 * [taylor]: Taking taylor expansion of (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x) in z 9.277 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) in z 9.277 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)) in z 9.277 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 9.277 * [taylor]: Taking taylor expansion of (cbrt -1) in z 9.277 * [taylor]: Taking taylor expansion of -1 in z 9.277 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 9.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 9.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 9.278 * [taylor]: Taking taylor expansion of 1/3 in z 9.278 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 9.278 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.278 * [taylor]: Taking taylor expansion of y in z 9.280 * [taylor]: Taking taylor expansion of x in z 9.281 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.281 * [taylor]: Taking taylor expansion of z in z 9.281 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x)) (/ 1 z)) in y 9.281 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x)) in y 9.281 * [taylor]: Taking taylor expansion of 3 in y 9.281 * [taylor]: Taking taylor expansion of (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x) in y 9.281 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) in y 9.281 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)) in y 9.281 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 9.281 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.281 * [taylor]: Taking taylor expansion of -1 in y 9.282 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.282 * [taylor]: Taking taylor expansion of 1/3 in y 9.282 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.282 * [taylor]: Taking taylor expansion of y in y 9.286 * [taylor]: Taking taylor expansion of x in y 9.286 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.286 * [taylor]: Taking taylor expansion of z in y 9.287 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x)) (/ 1 z)) in x 9.287 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x)) in x 9.287 * [taylor]: Taking taylor expansion of 3 in x 9.287 * [taylor]: Taking taylor expansion of (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x) in x 9.287 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) in x 9.287 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)) in x 9.287 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 9.287 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.287 * [taylor]: Taking taylor expansion of -1 in x 9.287 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 9.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 9.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 9.287 * [taylor]: Taking taylor expansion of 1/3 in x 9.287 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.287 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.288 * [taylor]: Taking taylor expansion of y in x 9.290 * [taylor]: Taking taylor expansion of x in x 9.291 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.291 * [taylor]: Taking taylor expansion of z in x 9.291 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x)) (/ 1 z)) in x 9.291 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x)) in x 9.291 * [taylor]: Taking taylor expansion of 3 in x 9.291 * [taylor]: Taking taylor expansion of (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) x) in x 9.291 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) in x 9.291 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)) in x 9.291 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 9.291 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.291 * [taylor]: Taking taylor expansion of -1 in x 9.292 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 9.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 9.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 9.292 * [taylor]: Taking taylor expansion of 1/3 in x 9.292 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.292 * [taylor]: Taking taylor expansion of y in x 9.295 * [taylor]: Taking taylor expansion of x in x 9.296 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.296 * [taylor]: Taking taylor expansion of z in x 9.297 * [taylor]: Taking taylor expansion of (* 3 (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)))) in y 9.297 * [taylor]: Taking taylor expansion of 3 in y 9.297 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) in y 9.297 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)) in y 9.297 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 9.297 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.297 * [taylor]: Taking taylor expansion of -1 in y 9.298 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.298 * [taylor]: Taking taylor expansion of 1/3 in y 9.298 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.298 * [taylor]: Taking taylor expansion of y in y 9.302 * [taylor]: Taking taylor expansion of (* 3 (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)))) in z 9.302 * [taylor]: Taking taylor expansion of 3 in z 9.302 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3))) in z 9.302 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 y) 1/3)) in z 9.302 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 9.302 * [taylor]: Taking taylor expansion of (cbrt -1) in z 9.302 * [taylor]: Taking taylor expansion of -1 in z 9.303 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 9.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 9.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 9.303 * [taylor]: Taking taylor expansion of 1/3 in z 9.303 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 9.303 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.303 * [taylor]: Taking taylor expansion of y in z 9.313 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y 9.313 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.313 * [taylor]: Taking taylor expansion of z in y 9.313 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 9.313 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.313 * [taylor]: Taking taylor expansion of z in z 9.319 * [taylor]: Taking taylor expansion of 0 in z 9.331 * [taylor]: Taking taylor expansion of 0 in y 9.331 * [taylor]: Taking taylor expansion of 0 in z 9.332 * [taylor]: Taking taylor expansion of 0 in z 9.347 * [taylor]: Taking taylor expansion of 0 in z 9.367 * [taylor]: Taking taylor expansion of 0 in y 9.367 * [taylor]: Taking taylor expansion of 0 in z 9.367 * [taylor]: Taking taylor expansion of 0 in z 9.367 * [taylor]: Taking taylor expansion of 0 in z 9.381 * [taylor]: Taking taylor expansion of 0 in z 9.382 * [approximate]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (x y z) around 0 9.382 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in z 9.382 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.382 * [taylor]: Taking taylor expansion of z in z 9.383 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in z 9.383 * [taylor]: Taking taylor expansion of 3 in z 9.383 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in z 9.383 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in z 9.383 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in z 9.383 * [taylor]: Taking taylor expansion of (cbrt -1) in z 9.383 * [taylor]: Taking taylor expansion of -1 in z 9.384 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 9.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 9.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 9.384 * [taylor]: Taking taylor expansion of 1/3 in z 9.384 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 9.384 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.384 * [taylor]: Taking taylor expansion of y in z 9.385 * [taylor]: Taking taylor expansion of x in z 9.385 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 9.385 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.385 * [taylor]: Taking taylor expansion of z in y 9.385 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 9.385 * [taylor]: Taking taylor expansion of 3 in y 9.385 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 9.385 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 9.385 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 9.385 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.385 * [taylor]: Taking taylor expansion of -1 in y 9.386 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.386 * [taylor]: Taking taylor expansion of 1/3 in y 9.386 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.386 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.386 * [taylor]: Taking taylor expansion of y in y 9.388 * [taylor]: Taking taylor expansion of x in y 9.389 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 9.389 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.389 * [taylor]: Taking taylor expansion of z in x 9.389 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 9.389 * [taylor]: Taking taylor expansion of 3 in x 9.389 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 9.389 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 9.389 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 9.389 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.389 * [taylor]: Taking taylor expansion of -1 in x 9.390 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 9.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 9.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 9.390 * [taylor]: Taking taylor expansion of 1/3 in x 9.390 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.390 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.390 * [taylor]: Taking taylor expansion of y in x 9.391 * [taylor]: Taking taylor expansion of x in x 9.391 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 9.391 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.391 * [taylor]: Taking taylor expansion of z in x 9.391 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 9.391 * [taylor]: Taking taylor expansion of 3 in x 9.391 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 9.391 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 9.391 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 9.391 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.391 * [taylor]: Taking taylor expansion of -1 in x 9.392 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 9.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 9.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 9.392 * [taylor]: Taking taylor expansion of 1/3 in x 9.392 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 9.392 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.392 * [taylor]: Taking taylor expansion of y in x 9.393 * [taylor]: Taking taylor expansion of x in x 9.395 * [taylor]: Taking taylor expansion of (- (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 9.395 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 9.395 * [taylor]: Taking taylor expansion of 3 in y 9.395 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 9.395 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 9.395 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.395 * [taylor]: Taking taylor expansion of -1 in y 9.396 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 9.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 9.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 9.396 * [taylor]: Taking taylor expansion of 1/3 in y 9.396 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.396 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.396 * [taylor]: Taking taylor expansion of y in y 9.398 * [taylor]: Taking taylor expansion of (- (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in z 9.398 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in z 9.398 * [taylor]: Taking taylor expansion of 3 in z 9.398 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in z 9.398 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in z 9.398 * [taylor]: Taking taylor expansion of (cbrt -1) in z 9.398 * [taylor]: Taking taylor expansion of -1 in z 9.399 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 9.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 9.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 9.399 * [taylor]: Taking taylor expansion of 1/3 in z 9.399 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 9.399 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.399 * [taylor]: Taking taylor expansion of y in z 9.405 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.405 * [taylor]: Taking taylor expansion of z in y 9.405 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.405 * [taylor]: Taking taylor expansion of z in z 9.410 * [taylor]: Taking taylor expansion of 0 in z 9.419 * [taylor]: Taking taylor expansion of 0 in y 9.420 * [taylor]: Taking taylor expansion of 0 in z 9.420 * [taylor]: Taking taylor expansion of 0 in z 9.428 * [taylor]: Taking taylor expansion of 0 in z 9.450 * [taylor]: Taking taylor expansion of 0 in y 9.450 * [taylor]: Taking taylor expansion of 0 in z 9.450 * [taylor]: Taking taylor expansion of 0 in z 9.450 * [taylor]: Taking taylor expansion of 0 in z 9.461 * [taylor]: Taking taylor expansion of 0 in z 9.462 * * * [progress]: simplifying candidates 9.464 * [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 -1) (cbrt y) (cbrt (- (* (cbrt y) (cbrt y)))) (cbrt (cbrt y)) (cbrt (- (sqrt y))) (cbrt (sqrt y)) (cbrt (- 1)) (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))) (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) (+ (+ (log 3) (log x)) (log (log (* (cbrt (- y)) (cbrt -1))))) (+ (log (* 3 x)) (log (log (* (cbrt (- y)) (cbrt -1))))) (log (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (exp (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (* (* (* (* 3 3) 3) (* (* x x) x)) (* (* (log (* (cbrt (- y)) (cbrt -1))) (log (* (cbrt (- y)) (cbrt -1)))) (log (* (cbrt (- y)) (cbrt -1))))) (* (* (* (* 3 x) (* 3 x)) (* 3 x)) (* (* (log (* (cbrt (- y)) (cbrt -1))) (log (* (cbrt (- y)) (cbrt -1)))) (log (* (cbrt (- y)) (cbrt -1))))) (* (cbrt (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (cbrt (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))))) (cbrt (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (* (* (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (sqrt (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (sqrt (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (* (* 3 x) (log (cbrt (- y)))) (* (* 3 x) (log (cbrt -1))) (* (log (cbrt (- y))) (* 3 x)) (* (log (cbrt -1)) (* 3 x)) (* (* 3 x) 1/3) (* (* 3 x) 1) (* (* 3 x) 1) (* (* 3 x) (* (cbrt (log (* (cbrt (- y)) (cbrt -1)))) (cbrt (log (* (cbrt (- y)) (cbrt -1)))))) (* (* 3 x) (sqrt (log (* (cbrt (- y)) (cbrt -1))))) (* (* 3 x) 1) (* x (log (* (cbrt (- y)) (cbrt -1)))) (log (cbrt (- y))) (log (cbrt -1)) (log (* (- y) -1)) (log (* (cbrt (- y)) (cbrt -1))) (log (* (cbrt (- y)) (cbrt -1))) (log (log (* (cbrt (- y)) (cbrt -1)))) (exp (log (* (cbrt (- y)) (cbrt -1)))) (* (cbrt (log (* (cbrt (- y)) (cbrt -1)))) (cbrt (log (* (cbrt (- y)) (cbrt -1))))) (cbrt (log (* (cbrt (- y)) (cbrt -1)))) (* (* (log (* (cbrt (- y)) (cbrt -1))) (log (* (cbrt (- y)) (cbrt -1)))) (log (* (cbrt (- y)) (cbrt -1)))) (sqrt (log (* (cbrt (- y)) (cbrt -1)))) (sqrt (log (* (cbrt (- y)) (cbrt -1)))) (/ (exp (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (exp z)) (log (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z)) (exp (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z)) (* (cbrt (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z)) (cbrt (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z))) (cbrt (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z)) (* (* (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z) (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z)) (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z)) (sqrt (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z)) (sqrt (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z)) (- (pow (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) 3) (pow z 3)) (+ (* (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (+ (* z z) (* (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z))) (- z) (- (* (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (* z z)) (+ (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z) (- (* (* 3 x) (log (cbrt -1))) z) (- (* (log (cbrt -1)) (* 3 x)) z) (- z) (* (cbrt -1) (pow y 1/3)) (* (cbrt -1) (pow y 1/3)) (pow (/ -1 y) -1/3) (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (log (* (pow (cbrt -1) 2) (pow y 1/3))) (log (* (pow (cbrt -1) 2) (pow y 1/3))) (log (* (pow (* -1 y) 1/3) (cbrt -1))) (- (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) z) (- (* 3 (* x (log (* (pow (cbrt -1) 2) (pow y 1/3))))) z) (- (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) z) 9.467 * * [simplify]: iteration 0 : 121 enodes (cost 953 ) 9.489 * * [simplify]: iteration 1 : 259 enodes (cost 889 ) 9.581 * * [simplify]: iteration 2 : 862 enodes (cost 788 ) 10.162 * * [simplify]: iteration 3 : 4469 enodes (cost 771 ) 12.257 * * [simplify]: iteration done : 5000 enodes (cost 771 ) 12.258 * [simplify]: Simplified to: (log (cbrt (- y))) (exp (cbrt (- y))) (cbrt (pow (- y) 2/3)) (cbrt (cbrt (- y))) (cbrt (sqrt (- y))) (cbrt (sqrt (- y))) 1 (cbrt (- y)) (cbrt -1) (cbrt y) (cbrt (- (pow y 2/3))) (cbrt (cbrt y)) (cbrt (- (sqrt y))) (cbrt (sqrt y)) (cbrt -1) (cbrt y) (cbrt (pow y 2/3)) (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))) (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) (log (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (log (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (log (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (pow (* (cbrt (- y)) (cbrt -1)) (* 3 x)) (pow (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) 3) (pow (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) 3) (* (cbrt (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (cbrt (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))))) (cbrt (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (pow (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) 3) (sqrt (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (sqrt (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (* (log (- y)) x) (* (* 3 x) (log (cbrt -1))) (* (log (- y)) x) (* (* 3 x) (log (cbrt -1))) x (* 3 x) (* 3 x) (* (* 3 x) (* (cbrt (log (* (cbrt (- y)) (cbrt -1)))) (cbrt (log (* (cbrt (- y)) (cbrt -1)))))) (* (* 3 x) (sqrt (log (* (cbrt (- y)) (cbrt -1))))) (* 3 x) (* x (log (* (cbrt (- y)) (cbrt -1)))) (log (cbrt (- y))) (log (cbrt -1)) (log y) (log (* (cbrt (- y)) (cbrt -1))) (log (* (cbrt (- y)) (cbrt -1))) (log (log (* (cbrt (- y)) (cbrt -1)))) (* (cbrt (- y)) (cbrt -1)) (* (cbrt (log (* (cbrt (- y)) (cbrt -1)))) (cbrt (log (* (cbrt (- y)) (cbrt -1))))) (cbrt (log (* (cbrt (- y)) (cbrt -1)))) (pow (log (* (cbrt (- y)) (cbrt -1))) 3) (sqrt (log (* (cbrt (- y)) (cbrt -1)))) (sqrt (log (* (cbrt (- y)) (cbrt -1)))) (/ (pow (* (cbrt (- y)) (cbrt -1)) (* 3 x)) (exp z)) (log (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z)) (/ (pow (* (cbrt (- y)) (cbrt -1)) (* 3 x)) (exp z)) (* (cbrt (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z)) (cbrt (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z))) (cbrt (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z)) (pow (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z) 3) (sqrt (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z)) (sqrt (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z)) (- (pow (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) 3) (pow z 3)) (+ (* (+ (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z) (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1))))) (* z z)) (- z) (- (* (* 9 (* x x)) (* (log (* (cbrt (- y)) (cbrt -1))) (log (* (cbrt (- y)) (cbrt -1))))) (* z z)) (+ (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z) (- (* (* 3 x) (log (cbrt -1))) z) (- (* (* 3 x) (log (cbrt -1))) z) (- z) (* (cbrt -1) (cbrt y)) (* (cbrt -1) (cbrt y)) (pow (/ -1 y) -1/3) (* (* (log (* (pow (cbrt -1) 2) (cbrt y))) x) 3) (* (* (log (* (pow (cbrt -1) 2) (cbrt y))) x) 3) (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) (log (* (pow (cbrt -1) 2) (cbrt y))) (log (* (pow (cbrt -1) 2) (cbrt y))) (log (* (cbrt (- y)) (cbrt -1))) (- (* (* (log (* (pow (cbrt -1) 2) (cbrt y))) x) 3) z) (- (* (* (log (* (pow (cbrt -1) 2) (cbrt y))) x) 3) z) (- (* (* 3 x) (log (* (cbrt (- y)) (cbrt -1)))) z) 12.258 * * * [progress]: adding candidates to table 12.455 * [progress]: [Phase 3 of 3] Extracting. 12.455 * * [regime]: Finding splitpoints for: (# # # #) 12.456 * * * [regime-changes]: Trying 4 branch expressions: ((- (- (* x (log y)) z) y) z y x) 12.456 * * * * [regimes]: Trying to branch on (- (- (* x (log y)) z) y) from (# # # #) 12.480 * * * * [regimes]: Trying to branch on z from (# # # #) 12.503 * * * * [regimes]: Trying to branch on y from (# # # #) 12.522 * * * * [regimes]: Trying to branch on x from (# # # #) 12.544 * * * [regime]: Found split indices: #