8.937 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.042 * * * [progress]: [2/2] Setting up program. 0.045 * [progress]: [Phase 2 of 3] Improving. 0.045 * [simplify]: Simplifying using # : (- (+ x (cos y)) (* z (sin y))) 0.046 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.047 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.049 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.052 * * [simplify]: iteration 3 : 33 enodes (cost 9 ) 0.059 * * [simplify]: iteration 4 : 39 enodes (cost 9 ) 0.064 * * [simplify]: iteration 5 : 48 enodes (cost 9 ) 0.070 * * [simplify]: iteration 6 : 61 enodes (cost 9 ) 0.077 * * [simplify]: iteration 7 : 79 enodes (cost 9 ) 0.086 * * [simplify]: iteration 8 : 95 enodes (cost 9 ) 0.097 * * [simplify]: iteration 9 : 102 enodes (cost 9 ) 0.111 * * [simplify]: iteration 10 : 127 enodes (cost 9 ) 0.128 * * [simplify]: iteration 11 : 139 enodes (cost 9 ) 0.150 * * [simplify]: iteration done : 139 enodes (cost 9 ) 0.150 * [simplify]: Simplified to: (- (+ x (cos y)) (* z (sin y))) 0.150 * * [progress]: iteration 1 / 4 0.150 * * * [progress]: picking best candidate 0.152 * * * * [pick]: Picked # 0.152 * * * [progress]: localizing error 0.162 * * * [progress]: generating rewritten candidates 0.162 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.165 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.184 * * * [progress]: generating series expansions 0.184 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.185 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 0.185 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.185 * [taylor]: Taking taylor expansion of (sin y) in y 0.185 * [taylor]: Taking taylor expansion of y in y 0.185 * [taylor]: Taking taylor expansion of z in y 0.185 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.185 * [taylor]: Taking taylor expansion of (sin y) in z 0.185 * [taylor]: Taking taylor expansion of y in z 0.185 * [taylor]: Taking taylor expansion of z in z 0.185 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.185 * [taylor]: Taking taylor expansion of (sin y) in z 0.185 * [taylor]: Taking taylor expansion of y in z 0.185 * [taylor]: Taking taylor expansion of z in z 0.186 * [taylor]: Taking taylor expansion of 0 in y 0.188 * [taylor]: Taking taylor expansion of (sin y) in y 0.188 * [taylor]: Taking taylor expansion of y in y 0.190 * [taylor]: Taking taylor expansion of 0 in y 0.194 * [taylor]: Taking taylor expansion of 0 in y 0.199 * [taylor]: Taking taylor expansion of 0 in y 0.199 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.199 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.199 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.199 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.199 * [taylor]: Taking taylor expansion of y in y 0.200 * [taylor]: Taking taylor expansion of z in y 0.200 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.200 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.200 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.200 * [taylor]: Taking taylor expansion of y in z 0.200 * [taylor]: Taking taylor expansion of z in z 0.200 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.200 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.200 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.200 * [taylor]: Taking taylor expansion of y in z 0.200 * [taylor]: Taking taylor expansion of z in z 0.201 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.201 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.201 * [taylor]: Taking taylor expansion of y in y 0.203 * [taylor]: Taking taylor expansion of 0 in y 0.206 * [taylor]: Taking taylor expansion of 0 in y 0.211 * [taylor]: Taking taylor expansion of 0 in y 0.211 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.211 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.211 * [taylor]: Taking taylor expansion of -1 in y 0.211 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.211 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.211 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.211 * [taylor]: Taking taylor expansion of -1 in y 0.211 * [taylor]: Taking taylor expansion of y in y 0.211 * [taylor]: Taking taylor expansion of z in y 0.211 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.212 * [taylor]: Taking taylor expansion of -1 in z 0.212 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.212 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.212 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.212 * [taylor]: Taking taylor expansion of -1 in z 0.212 * [taylor]: Taking taylor expansion of y in z 0.212 * [taylor]: Taking taylor expansion of z in z 0.212 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.212 * [taylor]: Taking taylor expansion of -1 in z 0.212 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.212 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.212 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.212 * [taylor]: Taking taylor expansion of -1 in z 0.212 * [taylor]: Taking taylor expansion of y in z 0.212 * [taylor]: Taking taylor expansion of z in z 0.212 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.212 * [taylor]: Taking taylor expansion of -1 in y 0.212 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.212 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.212 * [taylor]: Taking taylor expansion of -1 in y 0.212 * [taylor]: Taking taylor expansion of y in y 0.215 * [taylor]: Taking taylor expansion of 0 in y 0.220 * [taylor]: Taking taylor expansion of 0 in y 0.225 * [taylor]: Taking taylor expansion of 0 in y 0.225 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.225 * [approximate]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in (x y z) around 0 0.225 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in z 0.225 * [taylor]: Taking taylor expansion of (+ x (cos y)) in z 0.225 * [taylor]: Taking taylor expansion of x in z 0.225 * [taylor]: Taking taylor expansion of (cos y) in z 0.225 * [taylor]: Taking taylor expansion of y in z 0.225 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.226 * [taylor]: Taking taylor expansion of (sin y) in z 0.226 * [taylor]: Taking taylor expansion of y in z 0.226 * [taylor]: Taking taylor expansion of z in z 0.226 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in y 0.226 * [taylor]: Taking taylor expansion of (+ x (cos y)) in y 0.226 * [taylor]: Taking taylor expansion of x in y 0.226 * [taylor]: Taking taylor expansion of (cos y) in y 0.226 * [taylor]: Taking taylor expansion of y in y 0.226 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.226 * [taylor]: Taking taylor expansion of (sin y) in y 0.226 * [taylor]: Taking taylor expansion of y in y 0.226 * [taylor]: Taking taylor expansion of z in y 0.226 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in x 0.226 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 0.226 * [taylor]: Taking taylor expansion of x in x 0.226 * [taylor]: Taking taylor expansion of (cos y) in x 0.226 * [taylor]: Taking taylor expansion of y in x 0.226 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.226 * [taylor]: Taking taylor expansion of (sin y) in x 0.226 * [taylor]: Taking taylor expansion of y in x 0.226 * [taylor]: Taking taylor expansion of z in x 0.226 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in x 0.226 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 0.226 * [taylor]: Taking taylor expansion of x in x 0.226 * [taylor]: Taking taylor expansion of (cos y) in x 0.226 * [taylor]: Taking taylor expansion of y in x 0.226 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.226 * [taylor]: Taking taylor expansion of (sin y) in x 0.226 * [taylor]: Taking taylor expansion of y in x 0.226 * [taylor]: Taking taylor expansion of z in x 0.227 * [taylor]: Taking taylor expansion of (- (cos y) (* (sin y) z)) in y 0.227 * [taylor]: Taking taylor expansion of (cos y) in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.227 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.227 * [taylor]: Taking taylor expansion of (sin y) in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.227 * [taylor]: Taking taylor expansion of z in y 0.228 * [taylor]: Taking taylor expansion of 1 in z 0.232 * [taylor]: Taking taylor expansion of 1 in y 0.232 * [taylor]: Taking taylor expansion of 1 in z 0.233 * [taylor]: Taking taylor expansion of (- z) in z 0.233 * [taylor]: Taking taylor expansion of z in z 0.243 * [taylor]: Taking taylor expansion of 0 in y 0.243 * [taylor]: Taking taylor expansion of 0 in z 0.243 * [taylor]: Taking taylor expansion of 0 in z 0.245 * [taylor]: Taking taylor expansion of -1/2 in z 0.246 * [approximate]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in (x y z) around 0 0.246 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in z 0.246 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in z 0.246 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.246 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.246 * [taylor]: Taking taylor expansion of y in z 0.246 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.246 * [taylor]: Taking taylor expansion of x in z 0.246 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.246 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.246 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.246 * [taylor]: Taking taylor expansion of y in z 0.246 * [taylor]: Taking taylor expansion of z in z 0.246 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in y 0.246 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y 0.246 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.246 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.246 * [taylor]: Taking taylor expansion of y in y 0.247 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.247 * [taylor]: Taking taylor expansion of x in y 0.247 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.247 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.247 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.247 * [taylor]: Taking taylor expansion of y in y 0.247 * [taylor]: Taking taylor expansion of z in y 0.247 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x 0.247 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 0.247 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.247 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.247 * [taylor]: Taking taylor expansion of y in x 0.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.247 * [taylor]: Taking taylor expansion of x in x 0.248 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.248 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.248 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.248 * [taylor]: Taking taylor expansion of y in x 0.248 * [taylor]: Taking taylor expansion of z in x 0.248 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x 0.248 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 0.248 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.248 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.248 * [taylor]: Taking taylor expansion of y in x 0.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.248 * [taylor]: Taking taylor expansion of x in x 0.249 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.249 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.249 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.249 * [taylor]: Taking taylor expansion of y in x 0.249 * [taylor]: Taking taylor expansion of z in x 0.250 * [taylor]: Taking taylor expansion of 1 in y 0.250 * [taylor]: Taking taylor expansion of 1 in z 0.251 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in y 0.251 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.251 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.251 * [taylor]: Taking taylor expansion of y in y 0.251 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.251 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.251 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.251 * [taylor]: Taking taylor expansion of y in y 0.252 * [taylor]: Taking taylor expansion of z in y 0.252 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in z 0.252 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.252 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.252 * [taylor]: Taking taylor expansion of y in z 0.252 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.252 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.252 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.252 * [taylor]: Taking taylor expansion of y in z 0.252 * [taylor]: Taking taylor expansion of z in z 0.252 * [taylor]: Taking taylor expansion of 0 in z 0.258 * [taylor]: Taking taylor expansion of 0 in y 0.258 * [taylor]: Taking taylor expansion of 0 in z 0.258 * [taylor]: Taking taylor expansion of 0 in z 0.258 * [taylor]: Taking taylor expansion of 0 in z 0.262 * [approximate]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in (x y z) around 0 0.262 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in z 0.262 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z 0.262 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.262 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.262 * [taylor]: Taking taylor expansion of -1 in z 0.262 * [taylor]: Taking taylor expansion of y in z 0.262 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.262 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.262 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.262 * [taylor]: Taking taylor expansion of -1 in z 0.262 * [taylor]: Taking taylor expansion of y in z 0.262 * [taylor]: Taking taylor expansion of z in z 0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.263 * [taylor]: Taking taylor expansion of x in z 0.263 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in y 0.263 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y 0.263 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.263 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.263 * [taylor]: Taking taylor expansion of -1 in y 0.263 * [taylor]: Taking taylor expansion of y in y 0.263 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.263 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.263 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.263 * [taylor]: Taking taylor expansion of -1 in y 0.263 * [taylor]: Taking taylor expansion of y in y 0.264 * [taylor]: Taking taylor expansion of z in y 0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.264 * [taylor]: Taking taylor expansion of x in y 0.264 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x 0.264 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x 0.264 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.264 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.264 * [taylor]: Taking taylor expansion of -1 in x 0.264 * [taylor]: Taking taylor expansion of y in x 0.264 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.264 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.264 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.264 * [taylor]: Taking taylor expansion of -1 in x 0.264 * [taylor]: Taking taylor expansion of y in x 0.264 * [taylor]: Taking taylor expansion of z in x 0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x 0.265 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x 0.265 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.265 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.265 * [taylor]: Taking taylor expansion of -1 in x 0.265 * [taylor]: Taking taylor expansion of y in x 0.265 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.265 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.265 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.265 * [taylor]: Taking taylor expansion of -1 in x 0.265 * [taylor]: Taking taylor expansion of y in x 0.265 * [taylor]: Taking taylor expansion of z in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of -1 in y 0.266 * [taylor]: Taking taylor expansion of -1 in z 0.267 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y 0.267 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.267 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.267 * [taylor]: Taking taylor expansion of -1 in y 0.267 * [taylor]: Taking taylor expansion of y in y 0.268 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.268 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.268 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.268 * [taylor]: Taking taylor expansion of -1 in y 0.268 * [taylor]: Taking taylor expansion of y in y 0.268 * [taylor]: Taking taylor expansion of z in y 0.268 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z 0.269 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.269 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.269 * [taylor]: Taking taylor expansion of -1 in z 0.269 * [taylor]: Taking taylor expansion of y in z 0.269 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.269 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.269 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.269 * [taylor]: Taking taylor expansion of -1 in z 0.269 * [taylor]: Taking taylor expansion of y in z 0.269 * [taylor]: Taking taylor expansion of z in z 0.269 * [taylor]: Taking taylor expansion of 0 in z 0.274 * [taylor]: Taking taylor expansion of 0 in y 0.274 * [taylor]: Taking taylor expansion of 0 in z 0.274 * [taylor]: Taking taylor expansion of 0 in z 0.275 * [taylor]: Taking taylor expansion of 0 in z 0.278 * * * [progress]: simplifying candidates 0.279 * [simplify]: Simplifying using # : (* z (sin y)) (+ (log z) (log (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (* (* (* z z) z) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (* (* (* z (sin y)) (* z (sin y))) (* z (sin y))) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) (* z 1) (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (/ (* (exp x) (exp (cos y))) (exp (* z (sin y)))) (/ (exp (+ x (cos y))) (exp (* z (sin y)))) (log (- (+ x (cos y)) (* z (sin y)))) (exp (- (+ x (cos y)) (* z (sin y)))) (* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y))))) (cbrt (- (+ x (cos y)) (* z (sin y)))) (* (* (- (+ x (cos y)) (* z (sin y))) (- (+ x (cos y)) (* z (sin y)))) (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (+ x (cos y)) (+ x (cos y))) (+ (* (* z (sin y)) (* z (sin y))) (* (+ x (cos y)) (* z (sin y))))) (- (* z (sin y))) (- (* (+ x (cos y)) (+ x (cos y))) (* (* z (sin y)) (* z (sin y)))) (+ (+ x (cos y)) (* z (sin y))) (- (cos y) (* z (sin y))) (- (* z (sin y))) (* z y) (* (sin y) z) (* (sin y) z) (- (+ x 1) (* 1/2 (pow y 2))) (- (+ x (cos y)) (* (sin y) z)) (- (+ x (cos y)) (* (sin y) z)) 0.281 * * [simplify]: iteration 0 : 69 enodes (cost 365 ) 0.291 * * [simplify]: iteration 1 : 153 enodes (cost 346 ) 0.326 * * [simplify]: iteration 2 : 480 enodes (cost 338 ) 0.516 * * [simplify]: iteration 3 : 1903 enodes (cost 338 ) 1.105 * * [simplify]: iteration done : 5000 enodes (cost 338 ) 1.106 * [simplify]: Simplified to: (* z (sin y)) (log (* z (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (pow (* z (sin y)) 3) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (pow (* z (sin y)) 3) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) z (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (exp (- (+ x (cos y)) (* z (sin y)))) (exp (- (+ x (cos y)) (* z (sin y)))) (log (- (+ x (cos y)) (* z (sin y)))) (exp (- (+ x (cos y)) (* z (sin y)))) (* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y))))) (cbrt (- (+ x (cos y)) (* z (sin y)))) (* (* (- (+ x (cos y)) (* z (sin y))) (- (+ x (cos y)) (* z (sin y)))) (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (* z (sin y)) (+ (+ x (cos y)) (* z (sin y)))) (* (+ x (cos y)) (+ x (cos y)))) (- (* z (sin y))) (- (* (+ x (cos y)) (+ x (cos y))) (* (* z (sin y)) (* z (sin y)))) (+ (+ x (cos y)) (* z (sin y))) (- (cos y) (* z (sin y))) (- (* z (sin y))) (* z y) (* z (sin y)) (* z (sin y)) (- (+ x 1) (* 1/2 (pow y 2))) (- (+ x (cos y)) (* z (sin y))) (- (+ x (cos y)) (* z (sin y))) 1.106 * * * [progress]: adding candidates to table 1.193 * * [progress]: iteration 2 / 4 1.193 * * * [progress]: picking best candidate 1.202 * * * * [pick]: Picked # 1.203 * * * [progress]: localizing error 1.216 * * * [progress]: generating rewritten candidates 1.216 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.218 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 1.220 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 1.222 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.229 * * * [progress]: generating series expansions 1.229 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.229 * [approximate]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in (z y) around 0 1.229 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in y 1.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in y 1.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in y 1.229 * [taylor]: Taking taylor expansion of 1/3 in y 1.229 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in y 1.229 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 1.229 * [taylor]: Taking taylor expansion of (sin y) in y 1.229 * [taylor]: Taking taylor expansion of y in y 1.229 * [taylor]: Taking taylor expansion of z in y 1.231 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 1.231 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 1.231 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 1.231 * [taylor]: Taking taylor expansion of 1/3 in z 1.231 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 1.231 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.231 * [taylor]: Taking taylor expansion of (sin y) in z 1.231 * [taylor]: Taking taylor expansion of y in z 1.231 * [taylor]: Taking taylor expansion of z in z 1.234 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 1.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 1.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 1.234 * [taylor]: Taking taylor expansion of 1/3 in z 1.234 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 1.234 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.234 * [taylor]: Taking taylor expansion of (sin y) in z 1.234 * [taylor]: Taking taylor expansion of y in z 1.234 * [taylor]: Taking taylor expansion of z in z 1.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (sin y))))) in y 1.236 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (sin y)))) in y 1.236 * [taylor]: Taking taylor expansion of 1/3 in y 1.236 * [taylor]: Taking taylor expansion of (+ (log z) (log (sin y))) in y 1.236 * [taylor]: Taking taylor expansion of (log z) in y 1.236 * [taylor]: Taking taylor expansion of z in y 1.236 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.237 * [taylor]: Taking taylor expansion of (sin y) in y 1.237 * [taylor]: Taking taylor expansion of y in y 1.242 * [taylor]: Taking taylor expansion of 0 in y 1.252 * [taylor]: Taking taylor expansion of 0 in y 1.270 * [taylor]: Taking taylor expansion of 0 in y 1.289 * [taylor]: Taking taylor expansion of 0 in y 1.290 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 1.290 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 1.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 1.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 1.290 * [taylor]: Taking taylor expansion of 1/3 in y 1.290 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 1.290 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 1.290 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.290 * [taylor]: Taking taylor expansion of y in y 1.290 * [taylor]: Taking taylor expansion of z in y 1.291 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 1.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 1.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 1.291 * [taylor]: Taking taylor expansion of 1/3 in z 1.291 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 1.291 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.291 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.291 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.291 * [taylor]: Taking taylor expansion of y in z 1.291 * [taylor]: Taking taylor expansion of z in z 1.292 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 1.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 1.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 1.292 * [taylor]: Taking taylor expansion of 1/3 in z 1.292 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 1.292 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.292 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.292 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.292 * [taylor]: Taking taylor expansion of y in z 1.292 * [taylor]: Taking taylor expansion of z in z 1.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 1.293 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 1.293 * [taylor]: Taking taylor expansion of 1/3 in y 1.293 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 1.293 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.293 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.293 * [taylor]: Taking taylor expansion of y in y 1.293 * [taylor]: Taking taylor expansion of (log z) in y 1.293 * [taylor]: Taking taylor expansion of z in y 1.299 * [taylor]: Taking taylor expansion of 0 in y 1.308 * [taylor]: Taking taylor expansion of 0 in y 1.320 * [taylor]: Taking taylor expansion of 0 in y 1.321 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in (z y) around 0 1.321 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in y 1.321 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.321 * [taylor]: Taking taylor expansion of -1 in y 1.322 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 1.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 1.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 1.322 * [taylor]: Taking taylor expansion of 1/3 in y 1.322 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 1.322 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 1.322 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.322 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.322 * [taylor]: Taking taylor expansion of -1 in y 1.322 * [taylor]: Taking taylor expansion of y in y 1.322 * [taylor]: Taking taylor expansion of z in y 1.323 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 1.323 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.323 * [taylor]: Taking taylor expansion of -1 in z 1.323 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 1.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 1.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 1.324 * [taylor]: Taking taylor expansion of 1/3 in z 1.324 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 1.324 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.324 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.324 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.324 * [taylor]: Taking taylor expansion of -1 in z 1.324 * [taylor]: Taking taylor expansion of y in z 1.324 * [taylor]: Taking taylor expansion of z in z 1.325 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 1.325 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.325 * [taylor]: Taking taylor expansion of -1 in z 1.325 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 1.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 1.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 1.325 * [taylor]: Taking taylor expansion of 1/3 in z 1.325 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 1.325 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.326 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.326 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.326 * [taylor]: Taking taylor expansion of -1 in z 1.326 * [taylor]: Taking taylor expansion of y in z 1.326 * [taylor]: Taking taylor expansion of z in z 1.327 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 1.327 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.327 * [taylor]: Taking taylor expansion of -1 in y 1.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 1.328 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 1.328 * [taylor]: Taking taylor expansion of 1/3 in y 1.328 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 1.328 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.328 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.328 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.328 * [taylor]: Taking taylor expansion of -1 in y 1.328 * [taylor]: Taking taylor expansion of y in y 1.328 * [taylor]: Taking taylor expansion of (log z) in y 1.328 * [taylor]: Taking taylor expansion of z in y 1.334 * [taylor]: Taking taylor expansion of 0 in y 1.345 * [taylor]: Taking taylor expansion of 0 in y 1.367 * [taylor]: Taking taylor expansion of 0 in y 1.367 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 1.367 * [approximate]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in (z y) around 0 1.367 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in y 1.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in y 1.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in y 1.367 * [taylor]: Taking taylor expansion of 1/3 in y 1.368 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in y 1.368 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 1.368 * [taylor]: Taking taylor expansion of (sin y) in y 1.368 * [taylor]: Taking taylor expansion of y in y 1.368 * [taylor]: Taking taylor expansion of z in y 1.369 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 1.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 1.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 1.369 * [taylor]: Taking taylor expansion of 1/3 in z 1.369 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 1.369 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.369 * [taylor]: Taking taylor expansion of (sin y) in z 1.369 * [taylor]: Taking taylor expansion of y in z 1.369 * [taylor]: Taking taylor expansion of z in z 1.372 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 1.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 1.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 1.372 * [taylor]: Taking taylor expansion of 1/3 in z 1.372 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 1.372 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.372 * [taylor]: Taking taylor expansion of (sin y) in z 1.372 * [taylor]: Taking taylor expansion of y in z 1.372 * [taylor]: Taking taylor expansion of z in z 1.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (sin y))))) in y 1.374 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (sin y)))) in y 1.374 * [taylor]: Taking taylor expansion of 1/3 in y 1.374 * [taylor]: Taking taylor expansion of (+ (log z) (log (sin y))) in y 1.374 * [taylor]: Taking taylor expansion of (log z) in y 1.374 * [taylor]: Taking taylor expansion of z in y 1.374 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.374 * [taylor]: Taking taylor expansion of (sin y) in y 1.374 * [taylor]: Taking taylor expansion of y in y 1.380 * [taylor]: Taking taylor expansion of 0 in y 1.389 * [taylor]: Taking taylor expansion of 0 in y 1.403 * [taylor]: Taking taylor expansion of 0 in y 1.421 * [taylor]: Taking taylor expansion of 0 in y 1.421 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 1.421 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 1.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 1.421 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 1.421 * [taylor]: Taking taylor expansion of 1/3 in y 1.421 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 1.421 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 1.421 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.421 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.421 * [taylor]: Taking taylor expansion of y in y 1.422 * [taylor]: Taking taylor expansion of z in y 1.422 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 1.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 1.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 1.422 * [taylor]: Taking taylor expansion of 1/3 in z 1.422 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 1.422 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.422 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.422 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.422 * [taylor]: Taking taylor expansion of y in z 1.422 * [taylor]: Taking taylor expansion of z in z 1.423 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 1.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 1.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 1.423 * [taylor]: Taking taylor expansion of 1/3 in z 1.423 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 1.423 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.423 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.423 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.423 * [taylor]: Taking taylor expansion of y in z 1.423 * [taylor]: Taking taylor expansion of z in z 1.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 1.424 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 1.424 * [taylor]: Taking taylor expansion of 1/3 in y 1.424 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 1.424 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.424 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.424 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.424 * [taylor]: Taking taylor expansion of y in y 1.425 * [taylor]: Taking taylor expansion of (log z) in y 1.425 * [taylor]: Taking taylor expansion of z in y 1.429 * [taylor]: Taking taylor expansion of 0 in y 1.438 * [taylor]: Taking taylor expansion of 0 in y 1.450 * [taylor]: Taking taylor expansion of 0 in y 1.451 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in (z y) around 0 1.451 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in y 1.451 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.451 * [taylor]: Taking taylor expansion of -1 in y 1.451 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 1.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 1.451 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 1.452 * [taylor]: Taking taylor expansion of 1/3 in y 1.452 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 1.452 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 1.452 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.452 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.452 * [taylor]: Taking taylor expansion of -1 in y 1.452 * [taylor]: Taking taylor expansion of y in y 1.452 * [taylor]: Taking taylor expansion of z in y 1.452 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 1.452 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.452 * [taylor]: Taking taylor expansion of -1 in z 1.453 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 1.453 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 1.453 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 1.453 * [taylor]: Taking taylor expansion of 1/3 in z 1.453 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 1.453 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.453 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.453 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.453 * [taylor]: Taking taylor expansion of -1 in z 1.453 * [taylor]: Taking taylor expansion of y in z 1.453 * [taylor]: Taking taylor expansion of z in z 1.454 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 1.454 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.454 * [taylor]: Taking taylor expansion of -1 in z 1.455 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 1.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 1.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 1.456 * [taylor]: Taking taylor expansion of 1/3 in z 1.456 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 1.456 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.456 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.456 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.456 * [taylor]: Taking taylor expansion of -1 in z 1.456 * [taylor]: Taking taylor expansion of y in z 1.456 * [taylor]: Taking taylor expansion of z in z 1.462 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 1.462 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.462 * [taylor]: Taking taylor expansion of -1 in y 1.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 1.463 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 1.463 * [taylor]: Taking taylor expansion of 1/3 in y 1.463 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 1.463 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.463 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.463 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.464 * [taylor]: Taking taylor expansion of -1 in y 1.464 * [taylor]: Taking taylor expansion of y in y 1.464 * [taylor]: Taking taylor expansion of (log z) in y 1.464 * [taylor]: Taking taylor expansion of z in y 1.470 * [taylor]: Taking taylor expansion of 0 in y 1.480 * [taylor]: Taking taylor expansion of 0 in y 1.496 * [taylor]: Taking taylor expansion of 0 in y 1.497 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 1.497 * [approximate]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in (z y) around 0 1.497 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in y 1.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in y 1.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in y 1.497 * [taylor]: Taking taylor expansion of 1/3 in y 1.497 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in y 1.497 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 1.497 * [taylor]: Taking taylor expansion of (sin y) in y 1.497 * [taylor]: Taking taylor expansion of y in y 1.497 * [taylor]: Taking taylor expansion of z in y 1.498 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 1.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 1.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 1.498 * [taylor]: Taking taylor expansion of 1/3 in z 1.498 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 1.498 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.498 * [taylor]: Taking taylor expansion of (sin y) in z 1.498 * [taylor]: Taking taylor expansion of y in z 1.498 * [taylor]: Taking taylor expansion of z in z 1.501 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 1.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 1.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 1.501 * [taylor]: Taking taylor expansion of 1/3 in z 1.501 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 1.501 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.501 * [taylor]: Taking taylor expansion of (sin y) in z 1.501 * [taylor]: Taking taylor expansion of y in z 1.501 * [taylor]: Taking taylor expansion of z in z 1.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (sin y))))) in y 1.504 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (sin y)))) in y 1.504 * [taylor]: Taking taylor expansion of 1/3 in y 1.504 * [taylor]: Taking taylor expansion of (+ (log z) (log (sin y))) in y 1.504 * [taylor]: Taking taylor expansion of (log z) in y 1.504 * [taylor]: Taking taylor expansion of z in y 1.504 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.504 * [taylor]: Taking taylor expansion of (sin y) in y 1.504 * [taylor]: Taking taylor expansion of y in y 1.510 * [taylor]: Taking taylor expansion of 0 in y 1.518 * [taylor]: Taking taylor expansion of 0 in y 1.532 * [taylor]: Taking taylor expansion of 0 in y 1.550 * [taylor]: Taking taylor expansion of 0 in y 1.556 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 1.556 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 1.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 1.556 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 1.556 * [taylor]: Taking taylor expansion of 1/3 in y 1.557 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 1.557 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 1.557 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.557 * [taylor]: Taking taylor expansion of y in y 1.557 * [taylor]: Taking taylor expansion of z in y 1.557 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 1.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 1.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 1.558 * [taylor]: Taking taylor expansion of 1/3 in z 1.558 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 1.558 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.558 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.558 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.558 * [taylor]: Taking taylor expansion of y in z 1.558 * [taylor]: Taking taylor expansion of z in z 1.558 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 1.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 1.559 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 1.559 * [taylor]: Taking taylor expansion of 1/3 in z 1.559 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 1.559 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.559 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.559 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.559 * [taylor]: Taking taylor expansion of y in z 1.559 * [taylor]: Taking taylor expansion of z in z 1.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 1.560 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 1.560 * [taylor]: Taking taylor expansion of 1/3 in y 1.560 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 1.560 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.560 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.560 * [taylor]: Taking taylor expansion of y in y 1.560 * [taylor]: Taking taylor expansion of (log z) in y 1.560 * [taylor]: Taking taylor expansion of z in y 1.565 * [taylor]: Taking taylor expansion of 0 in y 1.573 * [taylor]: Taking taylor expansion of 0 in y 1.586 * [taylor]: Taking taylor expansion of 0 in y 1.586 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in (z y) around 0 1.586 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in y 1.586 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.586 * [taylor]: Taking taylor expansion of -1 in y 1.587 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 1.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 1.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 1.587 * [taylor]: Taking taylor expansion of 1/3 in y 1.587 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 1.587 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 1.587 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.587 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.587 * [taylor]: Taking taylor expansion of -1 in y 1.587 * [taylor]: Taking taylor expansion of y in y 1.587 * [taylor]: Taking taylor expansion of z in y 1.588 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 1.588 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.588 * [taylor]: Taking taylor expansion of -1 in z 1.588 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 1.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 1.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 1.589 * [taylor]: Taking taylor expansion of 1/3 in z 1.589 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 1.589 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.589 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.589 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.589 * [taylor]: Taking taylor expansion of -1 in z 1.589 * [taylor]: Taking taylor expansion of y in z 1.589 * [taylor]: Taking taylor expansion of z in z 1.590 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 1.590 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.590 * [taylor]: Taking taylor expansion of -1 in z 1.590 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 1.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 1.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 1.590 * [taylor]: Taking taylor expansion of 1/3 in z 1.590 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 1.590 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.590 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.590 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.590 * [taylor]: Taking taylor expansion of -1 in z 1.591 * [taylor]: Taking taylor expansion of y in z 1.591 * [taylor]: Taking taylor expansion of z in z 1.592 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 1.592 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.592 * [taylor]: Taking taylor expansion of -1 in y 1.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 1.593 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 1.593 * [taylor]: Taking taylor expansion of 1/3 in y 1.593 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 1.593 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.593 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.593 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.593 * [taylor]: Taking taylor expansion of -1 in y 1.593 * [taylor]: Taking taylor expansion of y in y 1.593 * [taylor]: Taking taylor expansion of (log z) in y 1.593 * [taylor]: Taking taylor expansion of z in y 1.599 * [taylor]: Taking taylor expansion of 0 in y 1.610 * [taylor]: Taking taylor expansion of 0 in y 1.626 * [taylor]: Taking taylor expansion of 0 in y 1.626 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.627 * [approximate]: Taking taylor expansion of (pow (* (pow (sin y) 2) (pow z 2)) 1/3) in (z y) around 0 1.627 * [taylor]: Taking taylor expansion of (pow (* (pow (sin y) 2) (pow z 2)) 1/3) in y 1.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin y) 2) (pow z 2))))) in y 1.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin y) 2) (pow z 2)))) in y 1.627 * [taylor]: Taking taylor expansion of 1/3 in y 1.627 * [taylor]: Taking taylor expansion of (log (* (pow (sin y) 2) (pow z 2))) in y 1.627 * [taylor]: Taking taylor expansion of (* (pow (sin y) 2) (pow z 2)) in y 1.627 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.627 * [taylor]: Taking taylor expansion of (sin y) in y 1.627 * [taylor]: Taking taylor expansion of y in y 1.627 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.627 * [taylor]: Taking taylor expansion of z in y 1.628 * [taylor]: Taking taylor expansion of (pow (* (pow (sin y) 2) (pow z 2)) 1/3) in z 1.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin y) 2) (pow z 2))))) in z 1.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin y) 2) (pow z 2)))) in z 1.629 * [taylor]: Taking taylor expansion of 1/3 in z 1.629 * [taylor]: Taking taylor expansion of (log (* (pow (sin y) 2) (pow z 2))) in z 1.629 * [taylor]: Taking taylor expansion of (* (pow (sin y) 2) (pow z 2)) in z 1.629 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z 1.629 * [taylor]: Taking taylor expansion of (sin y) in z 1.629 * [taylor]: Taking taylor expansion of y in z 1.629 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.629 * [taylor]: Taking taylor expansion of z in z 1.630 * [taylor]: Taking taylor expansion of (pow (* (pow (sin y) 2) (pow z 2)) 1/3) in z 1.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (sin y) 2) (pow z 2))))) in z 1.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (sin y) 2) (pow z 2)))) in z 1.630 * [taylor]: Taking taylor expansion of 1/3 in z 1.630 * [taylor]: Taking taylor expansion of (log (* (pow (sin y) 2) (pow z 2))) in z 1.630 * [taylor]: Taking taylor expansion of (* (pow (sin y) 2) (pow z 2)) in z 1.630 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z 1.630 * [taylor]: Taking taylor expansion of (sin y) in z 1.630 * [taylor]: Taking taylor expansion of y in z 1.630 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.630 * [taylor]: Taking taylor expansion of z in z 1.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (pow (sin y) 2))))) in y 1.632 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (pow (sin y) 2)))) in y 1.632 * [taylor]: Taking taylor expansion of 1/3 in y 1.632 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (pow (sin y) 2))) in y 1.632 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 1.632 * [taylor]: Taking taylor expansion of 2 in y 1.632 * [taylor]: Taking taylor expansion of (log z) in y 1.632 * [taylor]: Taking taylor expansion of z in y 1.632 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 1.632 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 1.632 * [taylor]: Taking taylor expansion of (sin y) in y 1.632 * [taylor]: Taking taylor expansion of y in y 1.638 * [taylor]: Taking taylor expansion of 0 in y 1.648 * [taylor]: Taking taylor expansion of 0 in y 1.865 * [taylor]: Taking taylor expansion of 0 in y 1.887 * [taylor]: Taking taylor expansion of 0 in y 1.888 * [approximate]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in (z y) around 0 1.888 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in y 1.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in y 1.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in y 1.888 * [taylor]: Taking taylor expansion of 1/3 in y 1.888 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in y 1.888 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in y 1.888 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.888 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.888 * [taylor]: Taking taylor expansion of y in y 1.889 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.889 * [taylor]: Taking taylor expansion of z in y 1.890 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in z 1.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in z 1.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in z 1.890 * [taylor]: Taking taylor expansion of 1/3 in z 1.890 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in z 1.890 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in z 1.890 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z 1.890 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.890 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.890 * [taylor]: Taking taylor expansion of y in z 1.890 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.890 * [taylor]: Taking taylor expansion of z in z 1.892 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in z 1.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in z 1.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in z 1.892 * [taylor]: Taking taylor expansion of 1/3 in z 1.892 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in z 1.892 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in z 1.892 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z 1.892 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.892 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.892 * [taylor]: Taking taylor expansion of y in z 1.892 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.892 * [taylor]: Taking taylor expansion of z in z 1.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z))))) in y 1.894 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z)))) in y 1.894 * [taylor]: Taking taylor expansion of 1/3 in y 1.894 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z))) in y 1.894 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 1.894 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 1.894 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.894 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.894 * [taylor]: Taking taylor expansion of y in y 1.894 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 1.894 * [taylor]: Taking taylor expansion of 2 in y 1.894 * [taylor]: Taking taylor expansion of (log z) in y 1.894 * [taylor]: Taking taylor expansion of z in y 1.900 * [taylor]: Taking taylor expansion of 0 in y 1.910 * [taylor]: Taking taylor expansion of 0 in y 1.925 * [taylor]: Taking taylor expansion of 0 in y 1.926 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3)) in (z y) around 0 1.926 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3)) in y 1.926 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 1.926 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.926 * [taylor]: Taking taylor expansion of -1 in y 1.927 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in y 1.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in y 1.927 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in y 1.927 * [taylor]: Taking taylor expansion of 1/3 in y 1.927 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in y 1.927 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in y 1.927 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.927 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.927 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.927 * [taylor]: Taking taylor expansion of -1 in y 1.927 * [taylor]: Taking taylor expansion of y in y 1.927 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.927 * [taylor]: Taking taylor expansion of z in y 1.928 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3)) in z 1.928 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 1.928 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.928 * [taylor]: Taking taylor expansion of -1 in z 1.929 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in z 1.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in z 1.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in z 1.929 * [taylor]: Taking taylor expansion of 1/3 in z 1.929 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in z 1.929 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in z 1.929 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z 1.929 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.929 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.929 * [taylor]: Taking taylor expansion of -1 in z 1.929 * [taylor]: Taking taylor expansion of y in z 1.929 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.929 * [taylor]: Taking taylor expansion of z in z 1.930 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3)) in z 1.931 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 1.931 * [taylor]: Taking taylor expansion of (cbrt -1) in z 1.931 * [taylor]: Taking taylor expansion of -1 in z 1.931 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in z 1.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in z 1.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in z 1.931 * [taylor]: Taking taylor expansion of 1/3 in z 1.931 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in z 1.931 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in z 1.931 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z 1.931 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.932 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.932 * [taylor]: Taking taylor expansion of -1 in z 1.932 * [taylor]: Taking taylor expansion of y in z 1.932 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.932 * [taylor]: Taking taylor expansion of z in z 1.935 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z)))))) in y 1.935 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 1.935 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.935 * [taylor]: Taking taylor expansion of -1 in y 1.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z))))) in y 1.936 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z)))) in y 1.936 * [taylor]: Taking taylor expansion of 1/3 in y 1.936 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z))) in y 1.936 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 1.936 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.936 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.936 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.936 * [taylor]: Taking taylor expansion of -1 in y 1.936 * [taylor]: Taking taylor expansion of y in y 1.937 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 1.937 * [taylor]: Taking taylor expansion of 2 in y 1.937 * [taylor]: Taking taylor expansion of (log z) in y 1.937 * [taylor]: Taking taylor expansion of z in y 1.950 * [taylor]: Taking taylor expansion of 0 in y 1.964 * [taylor]: Taking taylor expansion of 0 in y 1.983 * [taylor]: Taking taylor expansion of 0 in y 1.984 * * * [progress]: simplifying candidates 1.985 * [simplify]: Simplifying using # : (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (+ 1/3 1/3) (+ 1 1) (* (* z (sin y)) (* z (sin y))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (+ 1 1) (+ (log (cbrt (* z (sin y)))) (log (cbrt (* z (sin y))))) (log (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (exp (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (* (* z (sin y)) (* z (sin y))) (* (cbrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (cbrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))) (cbrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (* (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (sqrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (sqrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (* (cbrt z) (cbrt z)) (* (cbrt (sin y)) (cbrt (sin y))) (* (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y))))) (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y))))) (* 1 1) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y))))) (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y))))) (* 2 1/3) (* 2 1) (* (cbrt (* z (sin y))) (cbrt z)) (* (cbrt (* z (sin y))) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))) (* (cbrt (* z (sin y))) (sqrt (cbrt (* z (sin y))))) (* (cbrt (* z (sin y))) 1) (* (cbrt (sin y)) (cbrt (* z (sin y)))) (* (cbrt (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (* (sqrt (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (- (exp (* 1/3 (+ (log z) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log z) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 z)))))) (- (exp (* 1/3 (+ (log z) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log z) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 z)))))) (- (exp (* 1/3 (+ (log z) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log z) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 z)))))) (- (exp (* 1/3 (+ (* 2 (log z)) (* 2 (log y))))) (* 1/9 (* (exp (* 1/3 (+ (* 2 (log z)) (* 2 (log y))))) (pow y 2)))) (exp (* 1/3 (- (log (pow (sin y) 2)) (* 2 (log (/ 1 z)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (sin y) 2)) (* 2 (log (/ -1 z))))))) 1.988 * * [simplify]: iteration 0 : 87 enodes (cost 790 ) 2.004 * * [simplify]: iteration 1 : 189 enodes (cost 713 ) 2.045 * * [simplify]: iteration 2 : 552 enodes (cost 633 ) 2.336 * * [simplify]: iteration 3 : 2304 enodes (cost 542 ) 3.237 * * [simplify]: iteration done : 5001 enodes (cost 542 ) 3.237 * [simplify]: Simplified to: (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* z (sin y)) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* z (sin y)) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* z (sin y)) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) 2/3 2 (pow (cbrt (* z (sin y))) 6) (pow (sqrt (cbrt (* z (sin y)))) 4) 2 (* 2 (log (cbrt (* z (sin y))))) (* 2 (log (cbrt (* z (sin y))))) (exp (pow (sqrt (cbrt (* z (sin y)))) 4)) (pow (cbrt (* z (sin y))) 6) (* (cbrt (pow (sqrt (cbrt (* z (sin y)))) 4)) (cbrt (pow (sqrt (cbrt (* z (sin y)))) 4))) (cbrt (pow (sqrt (cbrt (* z (sin y)))) 4)) (pow (cbrt (* z (sin y))) 6) (fabs (cbrt (* z (sin y)))) (fabs (cbrt (* z (sin y)))) (* (cbrt z) (cbrt z)) (* (cbrt (sin y)) (cbrt (sin y))) (pow (cbrt (cbrt (* z (sin y)))) 4) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (* z (sin y))) (cbrt (* z (sin y))) 1 (pow (sqrt (cbrt (* z (sin y)))) 4) (cbrt (* z (sin y))) (cbrt (* z (sin y))) 2/3 2 (* (cbrt (* z (sin y))) (cbrt z)) (* (cbrt (cbrt (* z (sin y)))) (pow (cbrt (cbrt (* z (sin y)))) 4)) (pow (sqrt (cbrt (* z (sin y)))) 3) (cbrt (* z (sin y))) (* (cbrt (sin y)) (cbrt (* z (sin y)))) (pow (cbrt (cbrt (* z (sin y)))) 4) (pow (sqrt (cbrt (* z (sin y)))) 3) (pow (sqrt (cbrt (* z (sin y)))) 4) (* (+ (* -1/18 (pow y 2)) 1) (cbrt (exp (+ (log z) (log y))))) (cbrt (exp (+ (log (sin y)) (log z)))) (* (cbrt (exp (- (log (sin y)) (log (/ -1 z))))) (cbrt -1)) (* (+ (* -1/18 (pow y 2)) 1) (cbrt (exp (+ (log z) (log y))))) (cbrt (exp (+ (log (sin y)) (log z)))) (* (cbrt (exp (- (log (sin y)) (log (/ -1 z))))) (cbrt -1)) (* (+ (* -1/18 (pow y 2)) 1) (cbrt (exp (+ (log z) (log y))))) (cbrt (exp (+ (log (sin y)) (log z)))) (* (cbrt (exp (- (log (sin y)) (log (/ -1 z))))) (cbrt -1)) (- (* (pow y 2/3) (pow z 2/3)) (* (* 1/9 (* (pow y 2/3) (pow z 2/3))) (pow y 2))) (* (exp (* 2/3 (log (sin y)))) (pow z 2/3)) (* (pow (cbrt -1) 2) (cbrt (exp (* 2 (- (log (sin y)) (log (/ -1 z))))))) 3.238 * * * [progress]: adding candidates to table 3.462 * * [progress]: iteration 3 / 4 3.462 * * * [progress]: picking best candidate 3.473 * * * * [pick]: Picked # 3.473 * * * [progress]: localizing error 3.490 * * * [progress]: generating rewritten candidates 3.490 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 3.492 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 3.494 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 3.494 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 3.495 * * * [progress]: generating series expansions 3.495 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 3.495 * [approximate]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in (z y) around 0 3.496 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in y 3.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in y 3.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in y 3.496 * [taylor]: Taking taylor expansion of 1/3 in y 3.496 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in y 3.496 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 3.496 * [taylor]: Taking taylor expansion of (sin y) in y 3.496 * [taylor]: Taking taylor expansion of y in y 3.496 * [taylor]: Taking taylor expansion of z in y 3.497 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 3.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 3.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 3.497 * [taylor]: Taking taylor expansion of 1/3 in z 3.497 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 3.497 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 3.497 * [taylor]: Taking taylor expansion of (sin y) in z 3.497 * [taylor]: Taking taylor expansion of y in z 3.497 * [taylor]: Taking taylor expansion of z in z 3.500 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 3.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 3.500 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 3.500 * [taylor]: Taking taylor expansion of 1/3 in z 3.500 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 3.500 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 3.500 * [taylor]: Taking taylor expansion of (sin y) in z 3.500 * [taylor]: Taking taylor expansion of y in z 3.500 * [taylor]: Taking taylor expansion of z in z 3.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (sin y))))) in y 3.502 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (sin y)))) in y 3.502 * [taylor]: Taking taylor expansion of 1/3 in y 3.502 * [taylor]: Taking taylor expansion of (+ (log z) (log (sin y))) in y 3.503 * [taylor]: Taking taylor expansion of (log z) in y 3.503 * [taylor]: Taking taylor expansion of z in y 3.503 * [taylor]: Taking taylor expansion of (log (sin y)) in y 3.503 * [taylor]: Taking taylor expansion of (sin y) in y 3.503 * [taylor]: Taking taylor expansion of y in y 3.508 * [taylor]: Taking taylor expansion of 0 in y 3.517 * [taylor]: Taking taylor expansion of 0 in y 3.534 * [taylor]: Taking taylor expansion of 0 in y 3.552 * [taylor]: Taking taylor expansion of 0 in y 3.552 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 3.552 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 3.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 3.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 3.552 * [taylor]: Taking taylor expansion of 1/3 in y 3.552 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 3.553 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 3.553 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.553 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.553 * [taylor]: Taking taylor expansion of y in y 3.553 * [taylor]: Taking taylor expansion of z in y 3.553 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 3.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 3.553 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 3.553 * [taylor]: Taking taylor expansion of 1/3 in z 3.553 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 3.553 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.553 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.553 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.553 * [taylor]: Taking taylor expansion of y in z 3.554 * [taylor]: Taking taylor expansion of z in z 3.554 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 3.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 3.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 3.554 * [taylor]: Taking taylor expansion of 1/3 in z 3.554 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 3.555 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.555 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.555 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.555 * [taylor]: Taking taylor expansion of y in z 3.555 * [taylor]: Taking taylor expansion of z in z 3.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 3.556 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 3.556 * [taylor]: Taking taylor expansion of 1/3 in y 3.556 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 3.556 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 3.556 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.556 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.556 * [taylor]: Taking taylor expansion of y in y 3.556 * [taylor]: Taking taylor expansion of (log z) in y 3.556 * [taylor]: Taking taylor expansion of z in y 3.561 * [taylor]: Taking taylor expansion of 0 in y 3.570 * [taylor]: Taking taylor expansion of 0 in y 3.583 * [taylor]: Taking taylor expansion of 0 in y 3.584 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in (z y) around 0 3.584 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in y 3.584 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.584 * [taylor]: Taking taylor expansion of -1 in y 3.584 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 3.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 3.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 3.585 * [taylor]: Taking taylor expansion of 1/3 in y 3.585 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 3.585 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 3.585 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.585 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.585 * [taylor]: Taking taylor expansion of -1 in y 3.585 * [taylor]: Taking taylor expansion of y in y 3.585 * [taylor]: Taking taylor expansion of z in y 3.585 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 3.585 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.585 * [taylor]: Taking taylor expansion of -1 in z 3.586 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 3.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 3.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 3.586 * [taylor]: Taking taylor expansion of 1/3 in z 3.586 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 3.586 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.586 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.586 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.586 * [taylor]: Taking taylor expansion of -1 in z 3.586 * [taylor]: Taking taylor expansion of y in z 3.586 * [taylor]: Taking taylor expansion of z in z 3.587 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 3.587 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.587 * [taylor]: Taking taylor expansion of -1 in z 3.588 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 3.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 3.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 3.588 * [taylor]: Taking taylor expansion of 1/3 in z 3.588 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 3.588 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.588 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.588 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.588 * [taylor]: Taking taylor expansion of -1 in z 3.588 * [taylor]: Taking taylor expansion of y in z 3.588 * [taylor]: Taking taylor expansion of z in z 3.590 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 3.590 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.590 * [taylor]: Taking taylor expansion of -1 in y 3.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 3.590 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 3.591 * [taylor]: Taking taylor expansion of 1/3 in y 3.591 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 3.591 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 3.591 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.591 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.591 * [taylor]: Taking taylor expansion of -1 in y 3.591 * [taylor]: Taking taylor expansion of y in y 3.591 * [taylor]: Taking taylor expansion of (log z) in y 3.591 * [taylor]: Taking taylor expansion of z in y 3.597 * [taylor]: Taking taylor expansion of 0 in y 3.608 * [taylor]: Taking taylor expansion of 0 in y 3.626 * [taylor]: Taking taylor expansion of 0 in y 3.627 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 3.627 * [approximate]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in (z y) around 0 3.627 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in y 3.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in y 3.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in y 3.627 * [taylor]: Taking taylor expansion of 1/3 in y 3.627 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in y 3.627 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 3.627 * [taylor]: Taking taylor expansion of (sin y) in y 3.627 * [taylor]: Taking taylor expansion of y in y 3.627 * [taylor]: Taking taylor expansion of z in y 3.629 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 3.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 3.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 3.629 * [taylor]: Taking taylor expansion of 1/3 in z 3.629 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 3.629 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 3.629 * [taylor]: Taking taylor expansion of (sin y) in z 3.629 * [taylor]: Taking taylor expansion of y in z 3.629 * [taylor]: Taking taylor expansion of z in z 3.631 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 3.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 3.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 3.631 * [taylor]: Taking taylor expansion of 1/3 in z 3.631 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 3.631 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 3.631 * [taylor]: Taking taylor expansion of (sin y) in z 3.631 * [taylor]: Taking taylor expansion of y in z 3.631 * [taylor]: Taking taylor expansion of z in z 3.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (sin y))))) in y 3.634 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (sin y)))) in y 3.634 * [taylor]: Taking taylor expansion of 1/3 in y 3.634 * [taylor]: Taking taylor expansion of (+ (log z) (log (sin y))) in y 3.634 * [taylor]: Taking taylor expansion of (log z) in y 3.634 * [taylor]: Taking taylor expansion of z in y 3.634 * [taylor]: Taking taylor expansion of (log (sin y)) in y 3.634 * [taylor]: Taking taylor expansion of (sin y) in y 3.634 * [taylor]: Taking taylor expansion of y in y 3.640 * [taylor]: Taking taylor expansion of 0 in y 3.649 * [taylor]: Taking taylor expansion of 0 in y 3.663 * [taylor]: Taking taylor expansion of 0 in y 3.682 * [taylor]: Taking taylor expansion of 0 in y 3.682 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 3.682 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 3.682 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 3.682 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 3.682 * [taylor]: Taking taylor expansion of 1/3 in y 3.682 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 3.682 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 3.682 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.682 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.682 * [taylor]: Taking taylor expansion of y in y 3.683 * [taylor]: Taking taylor expansion of z in y 3.683 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 3.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 3.683 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 3.683 * [taylor]: Taking taylor expansion of 1/3 in z 3.683 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 3.683 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.683 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.683 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.683 * [taylor]: Taking taylor expansion of y in z 3.683 * [taylor]: Taking taylor expansion of z in z 3.684 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 3.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 3.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 3.684 * [taylor]: Taking taylor expansion of 1/3 in z 3.684 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 3.684 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.684 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.684 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.684 * [taylor]: Taking taylor expansion of y in z 3.685 * [taylor]: Taking taylor expansion of z in z 3.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 3.685 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 3.685 * [taylor]: Taking taylor expansion of 1/3 in y 3.685 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 3.686 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 3.686 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.686 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.686 * [taylor]: Taking taylor expansion of y in y 3.686 * [taylor]: Taking taylor expansion of (log z) in y 3.686 * [taylor]: Taking taylor expansion of z in y 3.691 * [taylor]: Taking taylor expansion of 0 in y 3.700 * [taylor]: Taking taylor expansion of 0 in y 3.712 * [taylor]: Taking taylor expansion of 0 in y 3.713 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in (z y) around 0 3.713 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in y 3.713 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.713 * [taylor]: Taking taylor expansion of -1 in y 3.714 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 3.714 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 3.714 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 3.714 * [taylor]: Taking taylor expansion of 1/3 in y 3.714 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 3.714 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 3.714 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.714 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.714 * [taylor]: Taking taylor expansion of -1 in y 3.714 * [taylor]: Taking taylor expansion of y in y 3.714 * [taylor]: Taking taylor expansion of z in y 3.714 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 3.715 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.715 * [taylor]: Taking taylor expansion of -1 in z 3.715 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 3.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 3.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 3.715 * [taylor]: Taking taylor expansion of 1/3 in z 3.715 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 3.715 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.716 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.716 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.716 * [taylor]: Taking taylor expansion of -1 in z 3.716 * [taylor]: Taking taylor expansion of y in z 3.716 * [taylor]: Taking taylor expansion of z in z 3.716 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 3.717 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.717 * [taylor]: Taking taylor expansion of -1 in z 3.717 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 3.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 3.717 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 3.717 * [taylor]: Taking taylor expansion of 1/3 in z 3.718 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 3.718 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.718 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.718 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.718 * [taylor]: Taking taylor expansion of -1 in z 3.718 * [taylor]: Taking taylor expansion of y in z 3.718 * [taylor]: Taking taylor expansion of z in z 3.725 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 3.725 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.725 * [taylor]: Taking taylor expansion of -1 in y 3.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 3.726 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 3.726 * [taylor]: Taking taylor expansion of 1/3 in y 3.726 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 3.726 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 3.726 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.726 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.726 * [taylor]: Taking taylor expansion of -1 in y 3.726 * [taylor]: Taking taylor expansion of y in y 3.726 * [taylor]: Taking taylor expansion of (log z) in y 3.726 * [taylor]: Taking taylor expansion of z in y 3.732 * [taylor]: Taking taylor expansion of 0 in y 3.743 * [taylor]: Taking taylor expansion of 0 in y 3.759 * [taylor]: Taking taylor expansion of 0 in y 3.760 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 3.760 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 3.760 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 3.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 3.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 3.760 * [taylor]: Taking taylor expansion of 1/3 in y 3.760 * [taylor]: Taking taylor expansion of (log (sin y)) in y 3.760 * [taylor]: Taking taylor expansion of (sin y) in y 3.760 * [taylor]: Taking taylor expansion of y in y 3.761 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 3.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 3.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 3.761 * [taylor]: Taking taylor expansion of 1/3 in y 3.761 * [taylor]: Taking taylor expansion of (log (sin y)) in y 3.761 * [taylor]: Taking taylor expansion of (sin y) in y 3.761 * [taylor]: Taking taylor expansion of y in y 3.787 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 3.788 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 3.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 3.788 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 3.788 * [taylor]: Taking taylor expansion of 1/3 in y 3.788 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 3.788 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.788 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.788 * [taylor]: Taking taylor expansion of y in y 3.788 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 3.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 3.788 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 3.788 * [taylor]: Taking taylor expansion of 1/3 in y 3.789 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 3.789 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.789 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.789 * [taylor]: Taking taylor expansion of y in y 3.832 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 3.832 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 3.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 3.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 3.832 * [taylor]: Taking taylor expansion of 1/3 in y 3.832 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 3.832 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.832 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.832 * [taylor]: Taking taylor expansion of -1 in y 3.832 * [taylor]: Taking taylor expansion of y in y 3.832 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 3.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 3.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 3.833 * [taylor]: Taking taylor expansion of 1/3 in y 3.833 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 3.833 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.833 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.833 * [taylor]: Taking taylor expansion of -1 in y 3.833 * [taylor]: Taking taylor expansion of y in y 3.870 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 3.870 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 3.870 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 3.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 3.870 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 3.870 * [taylor]: Taking taylor expansion of 1/3 in z 3.870 * [taylor]: Taking taylor expansion of (log z) in z 3.870 * [taylor]: Taking taylor expansion of z in z 3.871 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 3.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 3.871 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 3.871 * [taylor]: Taking taylor expansion of 1/3 in z 3.871 * [taylor]: Taking taylor expansion of (log z) in z 3.871 * [taylor]: Taking taylor expansion of z in z 3.927 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 3.928 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.928 * [taylor]: Taking taylor expansion of 1/3 in z 3.928 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.928 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.928 * [taylor]: Taking taylor expansion of z in z 3.929 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.929 * [taylor]: Taking taylor expansion of 1/3 in z 3.929 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.929 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.929 * [taylor]: Taking taylor expansion of z in z 3.988 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 3.988 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 3.988 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.989 * [taylor]: Taking taylor expansion of -1 in z 3.989 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.990 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.990 * [taylor]: Taking taylor expansion of 1/3 in z 3.990 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.990 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.990 * [taylor]: Taking taylor expansion of z in z 3.991 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 3.991 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.991 * [taylor]: Taking taylor expansion of -1 in z 3.991 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 3.991 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 3.991 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 3.991 * [taylor]: Taking taylor expansion of 1/3 in z 3.991 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 3.991 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.991 * [taylor]: Taking taylor expansion of z in z 4.055 * * * [progress]: simplifying candidates 4.055 * [simplify]: Simplifying using # : (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (- (exp (* 1/3 (+ (log z) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log z) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 z)))))) (- (exp (* 1/3 (+ (log z) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log z) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 z)))))) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) 4.058 * * [simplify]: iteration 0 : 81 enodes (cost 383 ) 4.076 * * [simplify]: iteration 1 : 161 enodes (cost 371 ) 4.103 * * [simplify]: iteration 2 : 336 enodes (cost 334 ) 4.182 * * [simplify]: iteration 3 : 943 enodes (cost 298 ) 4.679 * * [simplify]: iteration 4 : 4335 enodes (cost 284 ) 5.858 * * [simplify]: iteration done : 5000 enodes (cost 284 ) 5.859 * [simplify]: Simplified to: (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (sin y) z) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (sin y) z) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (pow (sin y) 2/3)) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (* (cbrt (* y z)) (+ (* -1/18 (pow y 2)) 1)) (cbrt (* z (sin y))) (* (cbrt -1) (cbrt (/ (sin y) (/ -1 z)))) (* (cbrt (* y z)) (+ (* -1/18 (pow y 2)) 1)) (cbrt (* z (sin y))) (* (cbrt -1) (cbrt (/ (sin y) (/ -1 z)))) (- (cbrt y) (+ (* 1/3240 (cbrt (pow y 13))) (* 1/18 (cbrt (pow y 7))))) (cbrt (sin y)) (cbrt (sin y)) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt (- z)) (cbrt -1)) 5.859 * * * [progress]: adding candidates to table 6.058 * * [progress]: iteration 4 / 4 6.058 * * * [progress]: picking best candidate 6.068 * * * * [pick]: Picked # 6.068 * * * [progress]: localizing error 6.086 * * * [progress]: generating rewritten candidates 6.087 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 6.088 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2 2) 6.089 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 6.090 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1) 6.091 * * * [progress]: generating series expansions 6.091 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 6.091 * [approximate]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in (z y) around 0 6.091 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in y 6.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in y 6.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in y 6.091 * [taylor]: Taking taylor expansion of 1/3 in y 6.091 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in y 6.091 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 6.091 * [taylor]: Taking taylor expansion of (sin y) in y 6.091 * [taylor]: Taking taylor expansion of y in y 6.091 * [taylor]: Taking taylor expansion of z in y 6.093 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 6.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 6.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 6.093 * [taylor]: Taking taylor expansion of 1/3 in z 6.093 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 6.093 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 6.093 * [taylor]: Taking taylor expansion of (sin y) in z 6.093 * [taylor]: Taking taylor expansion of y in z 6.093 * [taylor]: Taking taylor expansion of z in z 6.095 * [taylor]: Taking taylor expansion of (pow (* (sin y) z) 1/3) in z 6.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (sin y) z)))) in z 6.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (sin y) z))) in z 6.095 * [taylor]: Taking taylor expansion of 1/3 in z 6.095 * [taylor]: Taking taylor expansion of (log (* (sin y) z)) in z 6.095 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 6.095 * [taylor]: Taking taylor expansion of (sin y) in z 6.095 * [taylor]: Taking taylor expansion of y in z 6.095 * [taylor]: Taking taylor expansion of z in z 6.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (sin y))))) in y 6.098 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (sin y)))) in y 6.098 * [taylor]: Taking taylor expansion of 1/3 in y 6.098 * [taylor]: Taking taylor expansion of (+ (log z) (log (sin y))) in y 6.098 * [taylor]: Taking taylor expansion of (log z) in y 6.098 * [taylor]: Taking taylor expansion of z in y 6.098 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.098 * [taylor]: Taking taylor expansion of (sin y) in y 6.098 * [taylor]: Taking taylor expansion of y in y 6.104 * [taylor]: Taking taylor expansion of 0 in y 6.114 * [taylor]: Taking taylor expansion of 0 in y 6.127 * [taylor]: Taking taylor expansion of 0 in y 6.145 * [taylor]: Taking taylor expansion of 0 in y 6.146 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 6.146 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 6.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 6.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 6.146 * [taylor]: Taking taylor expansion of 1/3 in y 6.146 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 6.146 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 6.146 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.146 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.146 * [taylor]: Taking taylor expansion of y in y 6.146 * [taylor]: Taking taylor expansion of z in y 6.147 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 6.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 6.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 6.147 * [taylor]: Taking taylor expansion of 1/3 in z 6.147 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 6.147 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 6.147 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 6.147 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.147 * [taylor]: Taking taylor expansion of y in z 6.147 * [taylor]: Taking taylor expansion of z in z 6.148 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 6.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 6.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 6.148 * [taylor]: Taking taylor expansion of 1/3 in z 6.148 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 6.148 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 6.148 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 6.153 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.153 * [taylor]: Taking taylor expansion of y in z 6.153 * [taylor]: Taking taylor expansion of z in z 6.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 6.154 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 6.154 * [taylor]: Taking taylor expansion of 1/3 in y 6.154 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 6.154 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.154 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.154 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.154 * [taylor]: Taking taylor expansion of y in y 6.154 * [taylor]: Taking taylor expansion of (log z) in y 6.154 * [taylor]: Taking taylor expansion of z in y 6.159 * [taylor]: Taking taylor expansion of 0 in y 6.168 * [taylor]: Taking taylor expansion of 0 in y 6.181 * [taylor]: Taking taylor expansion of 0 in y 6.181 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in (z y) around 0 6.181 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in y 6.181 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.181 * [taylor]: Taking taylor expansion of -1 in y 6.182 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 6.182 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 6.182 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 6.182 * [taylor]: Taking taylor expansion of 1/3 in y 6.182 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 6.182 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 6.182 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.182 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.182 * [taylor]: Taking taylor expansion of -1 in y 6.182 * [taylor]: Taking taylor expansion of y in y 6.182 * [taylor]: Taking taylor expansion of z in y 6.183 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 6.183 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.183 * [taylor]: Taking taylor expansion of -1 in z 6.184 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 6.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 6.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 6.184 * [taylor]: Taking taylor expansion of 1/3 in z 6.184 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 6.184 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 6.184 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 6.184 * [taylor]: Taking taylor expansion of (/ -1 y) in z 6.184 * [taylor]: Taking taylor expansion of -1 in z 6.184 * [taylor]: Taking taylor expansion of y in z 6.184 * [taylor]: Taking taylor expansion of z in z 6.185 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) z) 1/3)) in z 6.185 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.185 * [taylor]: Taking taylor expansion of -1 in z 6.185 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 6.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 6.186 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 6.186 * [taylor]: Taking taylor expansion of 1/3 in z 6.186 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 6.186 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 6.186 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 6.186 * [taylor]: Taking taylor expansion of (/ -1 y) in z 6.186 * [taylor]: Taking taylor expansion of -1 in z 6.186 * [taylor]: Taking taylor expansion of y in z 6.186 * [taylor]: Taking taylor expansion of z in z 6.187 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 6.187 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.187 * [taylor]: Taking taylor expansion of -1 in y 6.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 6.188 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 6.188 * [taylor]: Taking taylor expansion of 1/3 in y 6.188 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 6.188 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.188 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.188 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.188 * [taylor]: Taking taylor expansion of -1 in y 6.188 * [taylor]: Taking taylor expansion of y in y 6.189 * [taylor]: Taking taylor expansion of (log z) in y 6.189 * [taylor]: Taking taylor expansion of z in y 6.194 * [taylor]: Taking taylor expansion of 0 in y 6.205 * [taylor]: Taking taylor expansion of 0 in y 6.221 * [taylor]: Taking taylor expansion of 0 in y 6.221 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2 2) 6.222 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 6.222 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.222 * [taylor]: Taking taylor expansion of 1/3 in y 6.222 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.222 * [taylor]: Taking taylor expansion of (sin y) in y 6.222 * [taylor]: Taking taylor expansion of y in y 6.223 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.223 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.223 * [taylor]: Taking taylor expansion of 1/3 in y 6.223 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.223 * [taylor]: Taking taylor expansion of (sin y) in y 6.223 * [taylor]: Taking taylor expansion of y in y 6.255 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 6.255 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.255 * [taylor]: Taking taylor expansion of 1/3 in y 6.255 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.255 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.255 * [taylor]: Taking taylor expansion of y in y 6.255 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.256 * [taylor]: Taking taylor expansion of 1/3 in y 6.256 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.256 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.256 * [taylor]: Taking taylor expansion of y in y 6.293 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 6.293 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.293 * [taylor]: Taking taylor expansion of 1/3 in y 6.293 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.294 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.294 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.294 * [taylor]: Taking taylor expansion of -1 in y 6.294 * [taylor]: Taking taylor expansion of y in y 6.294 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.294 * [taylor]: Taking taylor expansion of 1/3 in y 6.294 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.294 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.294 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.294 * [taylor]: Taking taylor expansion of -1 in y 6.294 * [taylor]: Taking taylor expansion of y in y 6.332 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 6.332 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 6.332 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.332 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.332 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.332 * [taylor]: Taking taylor expansion of 1/3 in y 6.332 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.332 * [taylor]: Taking taylor expansion of (sin y) in y 6.332 * [taylor]: Taking taylor expansion of y in y 6.333 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.333 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.333 * [taylor]: Taking taylor expansion of 1/3 in y 6.333 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.333 * [taylor]: Taking taylor expansion of (sin y) in y 6.333 * [taylor]: Taking taylor expansion of y in y 6.367 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 6.367 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.367 * [taylor]: Taking taylor expansion of 1/3 in y 6.367 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.367 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.367 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.367 * [taylor]: Taking taylor expansion of y in y 6.368 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.368 * [taylor]: Taking taylor expansion of 1/3 in y 6.368 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.368 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.368 * [taylor]: Taking taylor expansion of y in y 6.404 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 6.404 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.404 * [taylor]: Taking taylor expansion of 1/3 in y 6.404 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.404 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.404 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.404 * [taylor]: Taking taylor expansion of -1 in y 6.404 * [taylor]: Taking taylor expansion of y in y 6.405 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.405 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.405 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.405 * [taylor]: Taking taylor expansion of 1/3 in y 6.405 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.405 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.405 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.405 * [taylor]: Taking taylor expansion of -1 in y 6.405 * [taylor]: Taking taylor expansion of y in y 6.448 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1) 6.448 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 6.448 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 6.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 6.448 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 6.448 * [taylor]: Taking taylor expansion of 1/3 in z 6.448 * [taylor]: Taking taylor expansion of (log z) in z 6.448 * [taylor]: Taking taylor expansion of z in z 6.449 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 6.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 6.449 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 6.449 * [taylor]: Taking taylor expansion of 1/3 in z 6.449 * [taylor]: Taking taylor expansion of (log z) in z 6.449 * [taylor]: Taking taylor expansion of z in z 6.498 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 6.498 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 6.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 6.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 6.498 * [taylor]: Taking taylor expansion of 1/3 in z 6.498 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.498 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.498 * [taylor]: Taking taylor expansion of z in z 6.499 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 6.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 6.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 6.499 * [taylor]: Taking taylor expansion of 1/3 in z 6.499 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.499 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.499 * [taylor]: Taking taylor expansion of z in z 6.560 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 6.560 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 6.560 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.560 * [taylor]: Taking taylor expansion of -1 in z 6.561 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 6.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 6.561 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 6.561 * [taylor]: Taking taylor expansion of 1/3 in z 6.561 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.561 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.561 * [taylor]: Taking taylor expansion of z in z 6.562 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 6.562 * [taylor]: Taking taylor expansion of (cbrt -1) in z 6.562 * [taylor]: Taking taylor expansion of -1 in z 6.563 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 6.563 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 6.563 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 6.563 * [taylor]: Taking taylor expansion of 1/3 in z 6.563 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 6.563 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.563 * [taylor]: Taking taylor expansion of z in z 6.636 * * * [progress]: simplifying candidates 6.637 * [simplify]: Simplifying using # : (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (- (exp (* 1/3 (+ (log z) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log z) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 z))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 z)))))) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) 6.639 * * [simplify]: iteration 0 : 81 enodes (cost 362 ) 6.652 * * [simplify]: iteration 1 : 161 enodes (cost 345 ) 6.684 * * [simplify]: iteration 2 : 336 enodes (cost 310 ) 6.762 * * [simplify]: iteration 3 : 943 enodes (cost 286 ) 7.284 * * [simplify]: iteration 4 : 4335 enodes (cost 279 ) 8.508 * * [simplify]: iteration done : 5000 enodes (cost 279 ) 8.508 * [simplify]: Simplified to: (log (cbrt (* z (sin y)))) (exp (cbrt (* z (sin y)))) (cbrt z) (cbrt (sin y)) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (cbrt (cbrt (* z (sin y)))) (* (sin y) z) (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (pow (sin y) 2/3)) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (pow (sin y) 2/3)) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (* (cbrt (* y z)) (+ (* -1/18 (pow y 2)) 1)) (cbrt (* z (sin y))) (* (cbrt -1) (cbrt (/ (sin y) (/ -1 z)))) (- (cbrt y) (+ (* 1/3240 (cbrt (pow y 13))) (* 1/18 (cbrt (pow y 7))))) (cbrt (sin y)) (cbrt (sin y)) (- (cbrt y) (+ (* 1/3240 (cbrt (pow y 13))) (* 1/18 (cbrt (pow y 7))))) (cbrt (sin y)) (cbrt (sin y)) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt (- z)) (cbrt -1)) 8.509 * * * [progress]: adding candidates to table 8.725 * [progress]: [Phase 3 of 3] Extracting. 8.725 * * [regime]: Finding splitpoints for: (# # # # # # #) 8.728 * * * [regime-changes]: Trying 4 branch expressions: ((- (+ x (cos y)) (* z (sin y))) z y x) 8.728 * * * * [regimes]: Trying to branch on (- (+ x (cos y)) (* z (sin y))) from (# # # # # # #) 8.771 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 8.807 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 8.840 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 8.875 * * * [regime]: Found split indices: #