12.549 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.053 * * * [progress]: [2/2] Setting up program. 0.055 * [progress]: [Phase 2 of 3] Improving. 0.056 * [simplify]: Simplifying using # : (+ (* x (sin y)) (* z (cos y))) 0.057 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.057 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 0.059 * * [simplify]: iteration done : 11 enodes (cost 9 ) 0.059 * [simplify]: Simplified to: (+ (* x (sin y)) (* z (cos y))) 0.059 * * [progress]: iteration 1 / 4 0.059 * * * [progress]: picking best candidate 0.061 * * * * [pick]: Picked # 0.061 * * * [progress]: localizing error 0.074 * * * [progress]: generating rewritten candidates 0.074 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.078 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.081 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.085 * * * [progress]: generating series expansions 0.085 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.086 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 0.086 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.086 * [taylor]: Taking taylor expansion of (cos y) in y 0.086 * [taylor]: Taking taylor expansion of y in y 0.086 * [taylor]: Taking taylor expansion of z in y 0.086 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.086 * [taylor]: Taking taylor expansion of (cos y) in z 0.086 * [taylor]: Taking taylor expansion of y in z 0.086 * [taylor]: Taking taylor expansion of z in z 0.086 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.086 * [taylor]: Taking taylor expansion of (cos y) in z 0.086 * [taylor]: Taking taylor expansion of y in z 0.086 * [taylor]: Taking taylor expansion of z in z 0.087 * [taylor]: Taking taylor expansion of 0 in y 0.089 * [taylor]: Taking taylor expansion of (cos y) in y 0.090 * [taylor]: Taking taylor expansion of y in y 0.092 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 0.096 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.096 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.096 * [taylor]: Taking taylor expansion of y in y 0.096 * [taylor]: Taking taylor expansion of z in y 0.096 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.096 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.096 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.096 * [taylor]: Taking taylor expansion of y in z 0.097 * [taylor]: Taking taylor expansion of z in z 0.097 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.097 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.097 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.097 * [taylor]: Taking taylor expansion of y in z 0.097 * [taylor]: Taking taylor expansion of z in z 0.098 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.100 * [taylor]: Taking taylor expansion of 0 in y 0.104 * [taylor]: Taking taylor expansion of 0 in y 0.108 * [taylor]: Taking taylor expansion of 0 in y 0.108 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 0.108 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.108 * [taylor]: Taking taylor expansion of -1 in y 0.108 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.108 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.108 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.108 * [taylor]: Taking taylor expansion of -1 in y 0.108 * [taylor]: Taking taylor expansion of y in y 0.108 * [taylor]: Taking taylor expansion of z in y 0.108 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.108 * [taylor]: Taking taylor expansion of -1 in z 0.108 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.108 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.108 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.108 * [taylor]: Taking taylor expansion of -1 in z 0.108 * [taylor]: Taking taylor expansion of y in z 0.109 * [taylor]: Taking taylor expansion of z in z 0.109 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.109 * [taylor]: Taking taylor expansion of -1 in z 0.109 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.109 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.109 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.109 * [taylor]: Taking taylor expansion of -1 in z 0.109 * [taylor]: Taking taylor expansion of y in z 0.109 * [taylor]: Taking taylor expansion of z in z 0.110 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.110 * [taylor]: Taking taylor expansion of -1 in y 0.110 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.110 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.110 * [taylor]: Taking taylor expansion of -1 in y 0.110 * [taylor]: Taking taylor expansion of y in y 0.113 * [taylor]: Taking taylor expansion of 0 in y 0.117 * [taylor]: Taking taylor expansion of 0 in y 0.123 * [taylor]: Taking taylor expansion of 0 in y 0.123 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.123 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0 0.123 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.123 * [taylor]: Taking taylor expansion of x in y 0.123 * [taylor]: Taking taylor expansion of (sin y) in y 0.123 * [taylor]: Taking taylor expansion of y in y 0.123 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.123 * [taylor]: Taking taylor expansion of x in x 0.123 * [taylor]: Taking taylor expansion of (sin y) in x 0.123 * [taylor]: Taking taylor expansion of y in x 0.124 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.124 * [taylor]: Taking taylor expansion of x in x 0.124 * [taylor]: Taking taylor expansion of (sin y) in x 0.124 * [taylor]: Taking taylor expansion of y in x 0.124 * [taylor]: Taking taylor expansion of 0 in y 0.126 * [taylor]: Taking taylor expansion of (sin y) in y 0.126 * [taylor]: Taking taylor expansion of y in y 0.128 * [taylor]: Taking taylor expansion of 0 in y 0.132 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0 0.137 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 0.137 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.137 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.137 * [taylor]: Taking taylor expansion of y in y 0.137 * [taylor]: Taking taylor expansion of x in y 0.137 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.137 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.137 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.137 * [taylor]: Taking taylor expansion of y in x 0.137 * [taylor]: Taking taylor expansion of x in x 0.138 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.138 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.138 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.138 * [taylor]: Taking taylor expansion of y in x 0.138 * [taylor]: Taking taylor expansion of x in x 0.138 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.138 * [taylor]: Taking taylor expansion of y in y 0.141 * [taylor]: Taking taylor expansion of 0 in y 0.144 * [taylor]: Taking taylor expansion of 0 in y 0.148 * [taylor]: Taking taylor expansion of 0 in y 0.148 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0 0.148 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y 0.148 * [taylor]: Taking taylor expansion of -1 in y 0.148 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 0.148 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.148 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.148 * [taylor]: Taking taylor expansion of -1 in y 0.148 * [taylor]: Taking taylor expansion of y in y 0.148 * [taylor]: Taking taylor expansion of x in y 0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x 0.149 * [taylor]: Taking taylor expansion of -1 in x 0.149 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.149 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.149 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.149 * [taylor]: Taking taylor expansion of -1 in x 0.149 * [taylor]: Taking taylor expansion of y in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x 0.149 * [taylor]: Taking taylor expansion of -1 in x 0.149 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.149 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.149 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.149 * [taylor]: Taking taylor expansion of -1 in x 0.149 * [taylor]: Taking taylor expansion of y in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.149 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.149 * [taylor]: Taking taylor expansion of -1 in y 0.149 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.149 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.149 * [taylor]: Taking taylor expansion of -1 in y 0.149 * [taylor]: Taking taylor expansion of y in y 0.152 * [taylor]: Taking taylor expansion of 0 in y 0.161 * [taylor]: Taking taylor expansion of 0 in y 0.167 * [taylor]: Taking taylor expansion of 0 in y 0.167 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.167 * [approximate]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos y))) in (x y z) around 0 0.167 * [taylor]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos y))) in z 0.167 * [taylor]: Taking taylor expansion of (* x (sin y)) in z 0.167 * [taylor]: Taking taylor expansion of x in z 0.167 * [taylor]: Taking taylor expansion of (sin y) in z 0.167 * [taylor]: Taking taylor expansion of y in z 0.167 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 0.167 * [taylor]: Taking taylor expansion of z in z 0.167 * [taylor]: Taking taylor expansion of (cos y) in z 0.167 * [taylor]: Taking taylor expansion of y in z 0.167 * [taylor]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos y))) in y 0.167 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.167 * [taylor]: Taking taylor expansion of x in y 0.167 * [taylor]: Taking taylor expansion of (sin y) in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.167 * [taylor]: Taking taylor expansion of (* z (cos y)) in y 0.167 * [taylor]: Taking taylor expansion of z in y 0.167 * [taylor]: Taking taylor expansion of (cos y) in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.167 * [taylor]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos y))) in x 0.168 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.168 * [taylor]: Taking taylor expansion of (sin y) in x 0.168 * [taylor]: Taking taylor expansion of y in x 0.168 * [taylor]: Taking taylor expansion of (* z (cos y)) in x 0.168 * [taylor]: Taking taylor expansion of z in x 0.168 * [taylor]: Taking taylor expansion of (cos y) in x 0.168 * [taylor]: Taking taylor expansion of y in x 0.168 * [taylor]: Taking taylor expansion of (+ (* x (sin y)) (* z (cos y))) in x 0.168 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.168 * [taylor]: Taking taylor expansion of (sin y) in x 0.168 * [taylor]: Taking taylor expansion of y in x 0.168 * [taylor]: Taking taylor expansion of (* z (cos y)) in x 0.168 * [taylor]: Taking taylor expansion of z in x 0.168 * [taylor]: Taking taylor expansion of (cos y) in x 0.168 * [taylor]: Taking taylor expansion of y in x 0.169 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.169 * [taylor]: Taking taylor expansion of (cos y) in y 0.169 * [taylor]: Taking taylor expansion of y in y 0.169 * [taylor]: Taking taylor expansion of z in y 0.169 * [taylor]: Taking taylor expansion of z in z 0.173 * [taylor]: Taking taylor expansion of (sin y) in y 0.173 * [taylor]: Taking taylor expansion of y in y 0.173 * [taylor]: Taking taylor expansion of 0 in z 0.173 * [taylor]: Taking taylor expansion of 0 in z 0.179 * [taylor]: Taking taylor expansion of 0 in y 0.179 * [taylor]: Taking taylor expansion of 0 in z 0.179 * [taylor]: Taking taylor expansion of 1 in z 0.180 * [taylor]: Taking taylor expansion of (- (* 1/2 z)) in z 0.180 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 0.181 * [taylor]: Taking taylor expansion of 1/2 in z 0.181 * [taylor]: Taking taylor expansion of z in z 0.188 * [taylor]: Taking taylor expansion of 0 in y 0.188 * [taylor]: Taking taylor expansion of 0 in z 0.188 * [taylor]: Taking taylor expansion of 0 in z 0.188 * [approximate]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in (x y z) around 0 0.188 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in z 0.188 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in z 0.188 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.188 * [taylor]: Taking taylor expansion of y in z 0.189 * [taylor]: Taking taylor expansion of x in z 0.189 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.189 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.189 * [taylor]: Taking taylor expansion of y in z 0.189 * [taylor]: Taking taylor expansion of z in z 0.189 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in y 0.189 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 0.189 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.189 * [taylor]: Taking taylor expansion of y in y 0.190 * [taylor]: Taking taylor expansion of x in y 0.190 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.190 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.190 * [taylor]: Taking taylor expansion of y in y 0.190 * [taylor]: Taking taylor expansion of z in y 0.190 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in x 0.190 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.190 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.190 * [taylor]: Taking taylor expansion of y in x 0.190 * [taylor]: Taking taylor expansion of x in x 0.190 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.190 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.191 * [taylor]: Taking taylor expansion of y in x 0.191 * [taylor]: Taking taylor expansion of z in x 0.191 * [taylor]: Taking taylor expansion of (+ (/ (sin (/ 1 y)) x) (/ (cos (/ 1 y)) z)) in x 0.191 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.191 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.191 * [taylor]: Taking taylor expansion of y in x 0.191 * [taylor]: Taking taylor expansion of x in x 0.191 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.191 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.191 * [taylor]: Taking taylor expansion of y in x 0.191 * [taylor]: Taking taylor expansion of z in x 0.192 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.192 * [taylor]: Taking taylor expansion of y in y 0.192 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.192 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.192 * [taylor]: Taking taylor expansion of y in z 0.195 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.195 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.195 * [taylor]: Taking taylor expansion of y in y 0.195 * [taylor]: Taking taylor expansion of z in y 0.195 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.195 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.195 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.195 * [taylor]: Taking taylor expansion of y in z 0.196 * [taylor]: Taking taylor expansion of z in z 0.196 * [taylor]: Taking taylor expansion of 0 in z 0.202 * [taylor]: Taking taylor expansion of 0 in y 0.202 * [taylor]: Taking taylor expansion of 0 in z 0.202 * [taylor]: Taking taylor expansion of 0 in z 0.202 * [taylor]: Taking taylor expansion of 0 in z 0.212 * [taylor]: Taking taylor expansion of 0 in y 0.212 * [taylor]: Taking taylor expansion of 0 in z 0.212 * [taylor]: Taking taylor expansion of 0 in z 0.213 * [taylor]: Taking taylor expansion of 0 in z 0.213 * [taylor]: Taking taylor expansion of 0 in z 0.213 * [approximate]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in (x y z) around 0 0.213 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in z 0.213 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x)) in z 0.213 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.213 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.213 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.213 * [taylor]: Taking taylor expansion of -1 in z 0.213 * [taylor]: Taking taylor expansion of y in z 0.213 * [taylor]: Taking taylor expansion of z in z 0.214 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in z 0.214 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.214 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.214 * [taylor]: Taking taylor expansion of -1 in z 0.214 * [taylor]: Taking taylor expansion of y in z 0.214 * [taylor]: Taking taylor expansion of x in z 0.214 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in y 0.214 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x)) in y 0.214 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.214 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.214 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.214 * [taylor]: Taking taylor expansion of -1 in y 0.214 * [taylor]: Taking taylor expansion of y in y 0.215 * [taylor]: Taking taylor expansion of z in y 0.215 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 0.215 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.215 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.215 * [taylor]: Taking taylor expansion of -1 in y 0.215 * [taylor]: Taking taylor expansion of y in y 0.215 * [taylor]: Taking taylor expansion of x in y 0.215 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in x 0.215 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x)) in x 0.215 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.215 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.215 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.215 * [taylor]: Taking taylor expansion of -1 in x 0.215 * [taylor]: Taking taylor expansion of y in x 0.215 * [taylor]: Taking taylor expansion of z in x 0.216 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.216 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.216 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.216 * [taylor]: Taking taylor expansion of -1 in x 0.216 * [taylor]: Taking taylor expansion of y in x 0.216 * [taylor]: Taking taylor expansion of x in x 0.216 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in x 0.216 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x)) in x 0.216 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.216 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.216 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.216 * [taylor]: Taking taylor expansion of -1 in x 0.216 * [taylor]: Taking taylor expansion of y in x 0.216 * [taylor]: Taking taylor expansion of z in x 0.217 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.217 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.217 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.217 * [taylor]: Taking taylor expansion of -1 in x 0.217 * [taylor]: Taking taylor expansion of y in x 0.217 * [taylor]: Taking taylor expansion of x in x 0.217 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y))) in y 0.217 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.217 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.217 * [taylor]: Taking taylor expansion of -1 in y 0.217 * [taylor]: Taking taylor expansion of y in y 0.218 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y))) in z 0.218 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.218 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.218 * [taylor]: Taking taylor expansion of -1 in z 0.218 * [taylor]: Taking taylor expansion of y in z 0.220 * [taylor]: Taking taylor expansion of (- (/ (cos (/ -1 y)) z)) in y 0.220 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.220 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.220 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.220 * [taylor]: Taking taylor expansion of -1 in y 0.220 * [taylor]: Taking taylor expansion of y in y 0.221 * [taylor]: Taking taylor expansion of z in y 0.221 * [taylor]: Taking taylor expansion of (- (/ (cos (/ -1 y)) z)) in z 0.221 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.221 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.221 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.221 * [taylor]: Taking taylor expansion of -1 in z 0.221 * [taylor]: Taking taylor expansion of y in z 0.221 * [taylor]: Taking taylor expansion of z in z 0.222 * [taylor]: Taking taylor expansion of 0 in z 0.227 * [taylor]: Taking taylor expansion of 0 in y 0.227 * [taylor]: Taking taylor expansion of 0 in z 0.228 * [taylor]: Taking taylor expansion of 0 in z 0.228 * [taylor]: Taking taylor expansion of 0 in z 0.239 * [taylor]: Taking taylor expansion of 0 in y 0.239 * [taylor]: Taking taylor expansion of 0 in z 0.239 * [taylor]: Taking taylor expansion of 0 in z 0.240 * [taylor]: Taking taylor expansion of 0 in z 0.240 * [taylor]: Taking taylor expansion of 0 in z 0.241 * * * [progress]: simplifying candidates 0.241 * [simplify]: Simplifying using # : (* z (cos y)) (+ (log z) (log (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (* (* (* z z) z) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (* (* (* z (cos y)) (* z (cos y))) (* z (cos y))) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) (* z 1) (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) (* x (sin y)) (+ (log x) (log (sin y))) (log (* x (sin y))) (exp (* x (sin y))) (* (* (* x x) x) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y))) (* (* (* x (sin y)) (* x (sin y))) (* x (sin y))) (sqrt (* x (sin y))) (sqrt (* x (sin y))) (* (sqrt x) (sqrt (sin y))) (* (sqrt x) (sqrt (sin y))) (* x (* (cbrt (sin y)) (cbrt (sin y)))) (* x (sqrt (sin y))) (* x 1) (* (cbrt x) (sin y)) (* (sqrt x) (sin y)) (* x (sin y)) (* (exp (* x (sin y))) (exp (* z (cos y)))) (log (+ (* x (sin y)) (* z (cos y)))) (exp (+ (* x (sin y)) (* z (cos y)))) (* (cbrt (+ (* x (sin y)) (* z (cos y)))) (cbrt (+ (* x (sin y)) (* z (cos y))))) (cbrt (+ (* x (sin y)) (* z (cos y)))) (* (* (+ (* x (sin y)) (* z (cos y))) (+ (* x (sin y)) (* z (cos y)))) (+ (* x (sin y)) (* z (cos y)))) (sqrt (+ (* x (sin y)) (* z (cos y)))) (sqrt (+ (* x (sin y)) (* z (cos y)))) (+ (pow (* x (sin y)) 3) (pow (* z (cos y)) 3)) (+ (* (* x (sin y)) (* x (sin y))) (- (* (* z (cos y)) (* z (cos y))) (* (* x (sin y)) (* z (cos y))))) (- (* (* x (sin y)) (* x (sin y))) (* (* z (cos y)) (* z (cos y)))) (- (* x (sin y)) (* z (cos y))) z (* z (cos y)) (* z (cos y)) (* x y) (* x (sin y)) (* x (sin y)) (+ z (* x y)) (+ (* (cos y) z) (* x (sin y))) (+ (* (cos y) z) (* x (sin y))) 0.243 * * [simplify]: iteration 0 : 82 enodes (cost 458 ) 0.261 * * [simplify]: iteration 1 : 184 enodes (cost 430 ) 0.297 * * [simplify]: iteration 2 : 539 enodes (cost 396 ) 0.502 * * [simplify]: iteration 3 : 1591 enodes (cost 396 ) 1.452 * * [simplify]: iteration 4 : 3657 enodes (cost 396 ) 3.211 * * [simplify]: iteration done : 5001 enodes (cost 396 ) 3.212 * [simplify]: Simplified to: (* z (cos y)) (log (* z (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (pow (* z (cos y)) 3) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (pow (* z (cos y)) 3) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) z (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) (* x (sin y)) (log (* x (sin y))) (log (* x (sin y))) (exp (* x (sin y))) (pow (* x (sin y)) 3) (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y))) (pow (* x (sin y)) 3) (sqrt (* x (sin y))) (sqrt (* x (sin y))) (* (sqrt x) (sqrt (sin y))) (* (sqrt x) (sqrt (sin y))) (* x (* (cbrt (sin y)) (cbrt (sin y)))) (* x (sqrt (sin y))) x (* (cbrt x) (sin y)) (* (sqrt x) (sin y)) (* x (sin y)) (exp (+ (* x (sin y)) (* z (cos y)))) (log (+ (* x (sin y)) (* z (cos y)))) (exp (+ (* x (sin y)) (* z (cos y)))) (* (cbrt (+ (* x (sin y)) (* z (cos y)))) (cbrt (+ (* x (sin y)) (* z (cos y))))) (cbrt (+ (* x (sin y)) (* z (cos y)))) (pow (+ (* (cos y) z) (* x (sin y))) 3) (sqrt (+ (* x (sin y)) (* z (cos y)))) (sqrt (+ (* x (sin y)) (* z (cos y)))) (+ (pow (* x (sin y)) 3) (pow (* z (cos y)) 3)) (+ (* (* x (sin y)) (* x (sin y))) (* (* z (cos y)) (- (* z (cos y)) (* x (sin y))))) (- (* (* x (sin y)) (* x (sin y))) (* (* z (cos y)) (* z (cos y)))) (- (* x (sin y)) (* z (cos y))) z (* z (cos y)) (* z (cos y)) (* x y) (* x (sin y)) (* x (sin y)) (+ z (* x y)) (+ (* x (sin y)) (* z (cos y))) (+ (* x (sin y)) (* z (cos y))) 3.212 * * * [progress]: adding candidates to table 3.337 * * [progress]: iteration 2 / 4 3.338 * * * [progress]: picking best candidate 3.362 * * * * [pick]: Picked # 3.362 * * * [progress]: localizing error 3.375 * * * [progress]: generating rewritten candidates 3.375 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 3.376 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 3.377 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 3.377 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 3.386 * * * [progress]: generating series expansions 3.386 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 3.386 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 3.386 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 3.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 3.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 3.386 * [taylor]: Taking taylor expansion of 1/3 in y 3.386 * [taylor]: Taking taylor expansion of (log (sin y)) in y 3.386 * [taylor]: Taking taylor expansion of (sin y) in y 3.386 * [taylor]: Taking taylor expansion of y in y 3.387 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 3.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 3.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 3.387 * [taylor]: Taking taylor expansion of 1/3 in y 3.387 * [taylor]: Taking taylor expansion of (log (sin y)) in y 3.387 * [taylor]: Taking taylor expansion of (sin y) in y 3.387 * [taylor]: Taking taylor expansion of y in y 3.417 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 3.417 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 3.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 3.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 3.417 * [taylor]: Taking taylor expansion of 1/3 in y 3.417 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 3.417 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.417 * [taylor]: Taking taylor expansion of y in y 3.417 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 3.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 3.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 3.418 * [taylor]: Taking taylor expansion of 1/3 in y 3.418 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 3.418 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.418 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.418 * [taylor]: Taking taylor expansion of y in y 3.454 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 3.454 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 3.454 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 3.454 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 3.454 * [taylor]: Taking taylor expansion of 1/3 in y 3.454 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 3.454 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.454 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.454 * [taylor]: Taking taylor expansion of -1 in y 3.454 * [taylor]: Taking taylor expansion of y in y 3.454 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 3.454 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 3.454 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 3.454 * [taylor]: Taking taylor expansion of 1/3 in y 3.455 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 3.455 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.455 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.455 * [taylor]: Taking taylor expansion of -1 in y 3.455 * [taylor]: Taking taylor expansion of y in y 3.490 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 3.491 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 3.491 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 3.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 3.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 3.491 * [taylor]: Taking taylor expansion of 1/3 in y 3.491 * [taylor]: Taking taylor expansion of (log (sin y)) in y 3.491 * [taylor]: Taking taylor expansion of (sin y) in y 3.491 * [taylor]: Taking taylor expansion of y in y 3.495 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 3.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 3.495 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 3.495 * [taylor]: Taking taylor expansion of 1/3 in y 3.495 * [taylor]: Taking taylor expansion of (log (sin y)) in y 3.495 * [taylor]: Taking taylor expansion of (sin y) in y 3.495 * [taylor]: Taking taylor expansion of y in y 3.521 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 3.521 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 3.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 3.521 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 3.521 * [taylor]: Taking taylor expansion of 1/3 in y 3.521 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 3.521 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.521 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.521 * [taylor]: Taking taylor expansion of y in y 3.521 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 3.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 3.521 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 3.522 * [taylor]: Taking taylor expansion of 1/3 in y 3.522 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 3.522 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.522 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.522 * [taylor]: Taking taylor expansion of y in y 3.556 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 3.557 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 3.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 3.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 3.557 * [taylor]: Taking taylor expansion of 1/3 in y 3.557 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 3.557 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.557 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.557 * [taylor]: Taking taylor expansion of -1 in y 3.557 * [taylor]: Taking taylor expansion of y in y 3.557 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 3.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 3.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 3.557 * [taylor]: Taking taylor expansion of 1/3 in y 3.557 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 3.557 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.557 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.557 * [taylor]: Taking taylor expansion of -1 in y 3.557 * [taylor]: Taking taylor expansion of y in y 3.595 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 3.595 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 3.595 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 3.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 3.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 3.596 * [taylor]: Taking taylor expansion of 1/3 in y 3.596 * [taylor]: Taking taylor expansion of (log (sin y)) in y 3.596 * [taylor]: Taking taylor expansion of (sin y) in y 3.596 * [taylor]: Taking taylor expansion of y in y 3.597 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 3.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 3.597 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 3.597 * [taylor]: Taking taylor expansion of 1/3 in y 3.597 * [taylor]: Taking taylor expansion of (log (sin y)) in y 3.597 * [taylor]: Taking taylor expansion of (sin y) in y 3.597 * [taylor]: Taking taylor expansion of y in y 3.622 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 3.622 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 3.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 3.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 3.622 * [taylor]: Taking taylor expansion of 1/3 in y 3.622 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 3.622 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.622 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.622 * [taylor]: Taking taylor expansion of y in y 3.623 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 3.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 3.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 3.623 * [taylor]: Taking taylor expansion of 1/3 in y 3.623 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 3.623 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.623 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.623 * [taylor]: Taking taylor expansion of y in y 3.658 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 3.659 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 3.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 3.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 3.659 * [taylor]: Taking taylor expansion of 1/3 in y 3.659 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 3.659 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.659 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.659 * [taylor]: Taking taylor expansion of -1 in y 3.659 * [taylor]: Taking taylor expansion of y in y 3.659 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 3.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 3.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 3.659 * [taylor]: Taking taylor expansion of 1/3 in y 3.659 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 3.659 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.659 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.659 * [taylor]: Taking taylor expansion of -1 in y 3.659 * [taylor]: Taking taylor expansion of y in y 3.698 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 3.699 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0 3.699 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 3.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 3.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 3.699 * [taylor]: Taking taylor expansion of 1/3 in y 3.699 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 3.699 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 3.699 * [taylor]: Taking taylor expansion of (sin y) in y 3.699 * [taylor]: Taking taylor expansion of y in y 3.700 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 3.700 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 3.700 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 3.700 * [taylor]: Taking taylor expansion of 1/3 in y 3.700 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 3.700 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 3.700 * [taylor]: Taking taylor expansion of (sin y) in y 3.700 * [taylor]: Taking taylor expansion of y in y 3.730 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0 3.730 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 3.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 3.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 3.730 * [taylor]: Taking taylor expansion of 1/3 in y 3.730 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 3.730 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 3.730 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.730 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.730 * [taylor]: Taking taylor expansion of y in y 3.731 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 3.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 3.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 3.731 * [taylor]: Taking taylor expansion of 1/3 in y 3.731 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 3.731 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 3.731 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.731 * [taylor]: Taking taylor expansion of y in y 3.776 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0 3.776 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 3.776 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 3.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 3.777 * [taylor]: Taking taylor expansion of 1/3 in y 3.777 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 3.777 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 3.777 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.777 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.777 * [taylor]: Taking taylor expansion of -1 in y 3.777 * [taylor]: Taking taylor expansion of y in y 3.777 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 3.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 3.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 3.777 * [taylor]: Taking taylor expansion of 1/3 in y 3.777 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 3.778 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 3.778 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.778 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.778 * [taylor]: Taking taylor expansion of -1 in y 3.778 * [taylor]: Taking taylor expansion of y in y 3.820 * * * [progress]: simplifying candidates 3.821 * [simplify]: Simplifying using # : (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 (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))) (+ 1/3 1/3) (+ 1 1) (* (sin y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (+ 1 1) (+ (log (cbrt (sin y))) (log (cbrt (sin y)))) (log (* (cbrt (sin y)) (cbrt (sin y)))) (exp (* (cbrt (sin y)) (cbrt (sin y)))) (* (sin y) (sin y)) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))) (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* 1 1) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* 2 1/3) (* 2 1) (* (cbrt (sin y)) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (* (cbrt (sin y)) (cbrt 1)) (* (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (* (cbrt (sin y)) (sqrt (cbrt (sin y)))) (* (cbrt (sin y)) 1) (* (cbrt (cbrt (sin y))) (cbrt (sin y))) (* (cbrt (sqrt (sin y))) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (cbrt (sin y))) (cbrt (sin y))) (* (sqrt (cbrt (sin y))) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y))) (- (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 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) (- (+ (* 1/405 (pow (pow y 14) 1/3)) (pow y 2/3)) (* 1/9 (pow (pow y 8) 1/3))) (pow (pow (sin y) 2) 1/3) (pow (pow (sin y) 2) 1/3) 3.824 * * [simplify]: iteration 0 : 75 enodes (cost 710 ) 3.845 * * [simplify]: iteration 1 : 156 enodes (cost 628 ) 3.887 * * [simplify]: iteration 2 : 464 enodes (cost 534 ) 4.181 * * [simplify]: iteration 3 : 2018 enodes (cost 512 ) 5.106 * * [simplify]: iteration done : 5000 enodes (cost 512 ) 5.106 * [simplify]: Simplified to: (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 (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))) 2/3 2 (pow (sin y) 2) (pow (sin y) 2/3) 2 (log (pow (sin y) 2/3)) (log (pow (sin y) 2/3)) (exp (pow (sin y) 2/3)) (pow (sin y) 2) (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3))) (cbrt (pow (sin y) 2/3)) (pow (sin y) 2) (fabs (cbrt (sin y))) (fabs (cbrt (sin y))) (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) 1 (pow (sin y) 2/3) (pow (cbrt (cbrt (sin y))) 4) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (sin y)) (cbrt (sin y)) 1 (pow (sin y) 2/3) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (cbrt (sin y)) (cbrt (sin y)) 2/3 2 (* (cbrt (pow (sin y) 2/3)) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (cbrt (sin y)) (* (pow (cbrt (cbrt (sin y))) 4) (cbrt (cbrt (sin y)))) (pow (sqrt (cbrt (sin y))) 3) (cbrt (sin y)) (pow (cbrt (cbrt (sin y))) 4) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (pow (sin y) 2/3) (pow (cbrt (cbrt (sin y))) 4) (pow (sqrt (cbrt (sin y))) 3) (pow (sin y) 2/3) (- (cbrt y) (+ (* (cbrt (pow y 13)) 1/3240) (* (cbrt (pow y 7)) 1/18))) (cbrt (sin y)) (cbrt (sin y)) (- (cbrt y) (+ (* (cbrt (pow y 13)) 1/3240) (* (cbrt (pow y 7)) 1/18))) (cbrt (sin y)) (cbrt (sin y)) (- (cbrt y) (+ (* (cbrt (pow y 13)) 1/3240) (* (cbrt (pow y 7)) 1/18))) (cbrt (sin y)) (cbrt (sin y)) (+ (* 1/405 (cbrt (pow y 14))) (- (pow y 2/3) (* (cbrt (pow y 8)) 1/9))) (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2)) 5.107 * * * [progress]: adding candidates to table 5.337 * * [progress]: iteration 3 / 4 5.337 * * * [progress]: picking best candidate 5.360 * * * * [pick]: Picked # 5.360 * * * [progress]: localizing error 5.374 * * * [progress]: generating rewritten candidates 5.374 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 5.376 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 5.377 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 5.379 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 5.388 * * * [progress]: generating series expansions 5.388 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 5.389 * [approximate]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in (x y) around 0 5.389 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in y 5.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in y 5.389 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in y 5.389 * [taylor]: Taking taylor expansion of 1/3 in y 5.389 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in y 5.389 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 5.389 * [taylor]: Taking taylor expansion of x in y 5.389 * [taylor]: Taking taylor expansion of (sin y) in y 5.389 * [taylor]: Taking taylor expansion of y in y 5.390 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 5.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 5.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 5.390 * [taylor]: Taking taylor expansion of 1/3 in x 5.390 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 5.390 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 5.390 * [taylor]: Taking taylor expansion of x in x 5.390 * [taylor]: Taking taylor expansion of (sin y) in x 5.390 * [taylor]: Taking taylor expansion of y in x 5.393 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 5.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 5.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 5.393 * [taylor]: Taking taylor expansion of 1/3 in x 5.393 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 5.393 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 5.393 * [taylor]: Taking taylor expansion of x in x 5.393 * [taylor]: Taking taylor expansion of (sin y) in x 5.393 * [taylor]: Taking taylor expansion of y in x 5.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (sin y))))) in y 5.396 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (sin y)))) in y 5.396 * [taylor]: Taking taylor expansion of 1/3 in y 5.396 * [taylor]: Taking taylor expansion of (+ (log x) (log (sin y))) in y 5.396 * [taylor]: Taking taylor expansion of (log x) in y 5.396 * [taylor]: Taking taylor expansion of x in y 5.396 * [taylor]: Taking taylor expansion of (log (sin y)) in y 5.396 * [taylor]: Taking taylor expansion of (sin y) in y 5.396 * [taylor]: Taking taylor expansion of y in y 5.402 * [taylor]: Taking taylor expansion of 0 in y 5.411 * [taylor]: Taking taylor expansion of 0 in y 5.426 * [taylor]: Taking taylor expansion of 0 in y 5.445 * [taylor]: Taking taylor expansion of 0 in y 5.445 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in (x y) around 0 5.445 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in y 5.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in y 5.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in y 5.445 * [taylor]: Taking taylor expansion of 1/3 in y 5.445 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in y 5.445 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 5.445 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.445 * [taylor]: Taking taylor expansion of y in y 5.446 * [taylor]: Taking taylor expansion of x in y 5.446 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 5.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 5.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 5.446 * [taylor]: Taking taylor expansion of 1/3 in x 5.446 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 5.446 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 5.446 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.446 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.446 * [taylor]: Taking taylor expansion of y in x 5.446 * [taylor]: Taking taylor expansion of x in x 5.447 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 5.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 5.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 5.447 * [taylor]: Taking taylor expansion of 1/3 in x 5.447 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 5.447 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 5.447 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.447 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.447 * [taylor]: Taking taylor expansion of y in x 5.447 * [taylor]: Taking taylor expansion of x in x 5.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log x)))) in y 5.448 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log x))) in y 5.448 * [taylor]: Taking taylor expansion of 1/3 in y 5.448 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log x)) in y 5.448 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 5.448 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.448 * [taylor]: Taking taylor expansion of y in y 5.449 * [taylor]: Taking taylor expansion of (log x) in y 5.449 * [taylor]: Taking taylor expansion of x in y 5.453 * [taylor]: Taking taylor expansion of 0 in y 5.462 * [taylor]: Taking taylor expansion of 0 in y 5.477 * [taylor]: Taking taylor expansion of 0 in y 5.478 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in (x y) around 0 5.478 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in y 5.478 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.478 * [taylor]: Taking taylor expansion of -1 in y 5.478 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in y 5.478 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in y 5.478 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in y 5.479 * [taylor]: Taking taylor expansion of 1/3 in y 5.479 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in y 5.479 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 5.479 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.479 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.479 * [taylor]: Taking taylor expansion of -1 in y 5.479 * [taylor]: Taking taylor expansion of y in y 5.479 * [taylor]: Taking taylor expansion of x in y 5.479 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 5.479 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.479 * [taylor]: Taking taylor expansion of -1 in x 5.480 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 5.480 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 5.480 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 5.480 * [taylor]: Taking taylor expansion of 1/3 in x 5.480 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 5.480 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 5.480 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.480 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.480 * [taylor]: Taking taylor expansion of -1 in x 5.480 * [taylor]: Taking taylor expansion of y in x 5.480 * [taylor]: Taking taylor expansion of x in x 5.481 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 5.481 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.481 * [taylor]: Taking taylor expansion of -1 in x 5.482 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 5.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 5.482 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 5.482 * [taylor]: Taking taylor expansion of 1/3 in x 5.482 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 5.482 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 5.482 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.482 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.482 * [taylor]: Taking taylor expansion of -1 in x 5.482 * [taylor]: Taking taylor expansion of y in x 5.482 * [taylor]: Taking taylor expansion of x in x 5.483 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log x))))) in y 5.483 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.483 * [taylor]: Taking taylor expansion of -1 in y 5.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log x)))) in y 5.484 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log x))) in y 5.484 * [taylor]: Taking taylor expansion of 1/3 in y 5.484 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log x)) in y 5.484 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 5.484 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.484 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.484 * [taylor]: Taking taylor expansion of -1 in y 5.484 * [taylor]: Taking taylor expansion of y in y 5.485 * [taylor]: Taking taylor expansion of (log x) in y 5.485 * [taylor]: Taking taylor expansion of x in y 5.491 * [taylor]: Taking taylor expansion of 0 in y 5.501 * [taylor]: Taking taylor expansion of 0 in y 5.517 * [taylor]: Taking taylor expansion of 0 in y 5.518 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 5.518 * [approximate]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in (x y) around 0 5.518 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in y 5.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in y 5.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in y 5.518 * [taylor]: Taking taylor expansion of 1/3 in y 5.518 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in y 5.518 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 5.518 * [taylor]: Taking taylor expansion of x in y 5.518 * [taylor]: Taking taylor expansion of (sin y) in y 5.518 * [taylor]: Taking taylor expansion of y in y 5.519 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 5.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 5.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 5.519 * [taylor]: Taking taylor expansion of 1/3 in x 5.519 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 5.519 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 5.519 * [taylor]: Taking taylor expansion of x in x 5.519 * [taylor]: Taking taylor expansion of (sin y) in x 5.519 * [taylor]: Taking taylor expansion of y in x 5.522 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 5.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 5.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 5.522 * [taylor]: Taking taylor expansion of 1/3 in x 5.522 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 5.522 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 5.522 * [taylor]: Taking taylor expansion of x in x 5.522 * [taylor]: Taking taylor expansion of (sin y) in x 5.522 * [taylor]: Taking taylor expansion of y in x 5.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (sin y))))) in y 5.524 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (sin y)))) in y 5.524 * [taylor]: Taking taylor expansion of 1/3 in y 5.524 * [taylor]: Taking taylor expansion of (+ (log x) (log (sin y))) in y 5.524 * [taylor]: Taking taylor expansion of (log x) in y 5.524 * [taylor]: Taking taylor expansion of x in y 5.525 * [taylor]: Taking taylor expansion of (log (sin y)) in y 5.525 * [taylor]: Taking taylor expansion of (sin y) in y 5.525 * [taylor]: Taking taylor expansion of y in y 5.530 * [taylor]: Taking taylor expansion of 0 in y 5.540 * [taylor]: Taking taylor expansion of 0 in y 5.554 * [taylor]: Taking taylor expansion of 0 in y 5.576 * [taylor]: Taking taylor expansion of 0 in y 5.577 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in (x y) around 0 5.577 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in y 5.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in y 5.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in y 5.577 * [taylor]: Taking taylor expansion of 1/3 in y 5.577 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in y 5.577 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 5.577 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.577 * [taylor]: Taking taylor expansion of y in y 5.577 * [taylor]: Taking taylor expansion of x in y 5.578 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 5.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 5.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 5.578 * [taylor]: Taking taylor expansion of 1/3 in x 5.578 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 5.578 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 5.578 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.578 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.578 * [taylor]: Taking taylor expansion of y in x 5.578 * [taylor]: Taking taylor expansion of x in x 5.579 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 5.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 5.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 5.579 * [taylor]: Taking taylor expansion of 1/3 in x 5.579 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 5.579 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 5.579 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.579 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.579 * [taylor]: Taking taylor expansion of y in x 5.579 * [taylor]: Taking taylor expansion of x in x 5.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log x)))) in y 5.580 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log x))) in y 5.580 * [taylor]: Taking taylor expansion of 1/3 in y 5.580 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log x)) in y 5.580 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 5.580 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.580 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.580 * [taylor]: Taking taylor expansion of y in y 5.581 * [taylor]: Taking taylor expansion of (log x) in y 5.581 * [taylor]: Taking taylor expansion of x in y 5.586 * [taylor]: Taking taylor expansion of 0 in y 5.595 * [taylor]: Taking taylor expansion of 0 in y 5.608 * [taylor]: Taking taylor expansion of 0 in y 5.608 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in (x y) around 0 5.608 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in y 5.608 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.609 * [taylor]: Taking taylor expansion of -1 in y 5.609 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in y 5.609 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in y 5.609 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in y 5.609 * [taylor]: Taking taylor expansion of 1/3 in y 5.609 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in y 5.610 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 5.610 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.610 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.610 * [taylor]: Taking taylor expansion of -1 in y 5.610 * [taylor]: Taking taylor expansion of y in y 5.610 * [taylor]: Taking taylor expansion of x in y 5.610 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 5.610 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.610 * [taylor]: Taking taylor expansion of -1 in x 5.611 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 5.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 5.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 5.611 * [taylor]: Taking taylor expansion of 1/3 in x 5.611 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 5.611 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 5.611 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.611 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.611 * [taylor]: Taking taylor expansion of -1 in x 5.611 * [taylor]: Taking taylor expansion of y in x 5.611 * [taylor]: Taking taylor expansion of x in x 5.612 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 5.612 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.612 * [taylor]: Taking taylor expansion of -1 in x 5.613 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 5.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 5.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 5.613 * [taylor]: Taking taylor expansion of 1/3 in x 5.613 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 5.613 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 5.613 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.613 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.613 * [taylor]: Taking taylor expansion of -1 in x 5.613 * [taylor]: Taking taylor expansion of y in x 5.613 * [taylor]: Taking taylor expansion of x in x 5.615 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log x))))) in y 5.615 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.615 * [taylor]: Taking taylor expansion of -1 in y 5.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log x)))) in y 5.615 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log x))) in y 5.615 * [taylor]: Taking taylor expansion of 1/3 in y 5.615 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log x)) in y 5.615 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 5.615 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.616 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.616 * [taylor]: Taking taylor expansion of -1 in y 5.616 * [taylor]: Taking taylor expansion of y in y 5.616 * [taylor]: Taking taylor expansion of (log x) in y 5.616 * [taylor]: Taking taylor expansion of x in y 5.622 * [taylor]: Taking taylor expansion of 0 in y 5.632 * [taylor]: Taking taylor expansion of 0 in y 5.649 * [taylor]: Taking taylor expansion of 0 in y 5.650 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 5.650 * [approximate]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in (x y) around 0 5.650 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in y 5.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in y 5.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in y 5.650 * [taylor]: Taking taylor expansion of 1/3 in y 5.650 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in y 5.650 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 5.650 * [taylor]: Taking taylor expansion of x in y 5.650 * [taylor]: Taking taylor expansion of (sin y) in y 5.650 * [taylor]: Taking taylor expansion of y in y 5.651 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 5.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 5.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 5.651 * [taylor]: Taking taylor expansion of 1/3 in x 5.652 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 5.652 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 5.652 * [taylor]: Taking taylor expansion of x in x 5.652 * [taylor]: Taking taylor expansion of (sin y) in x 5.652 * [taylor]: Taking taylor expansion of y in x 5.654 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 5.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 5.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 5.654 * [taylor]: Taking taylor expansion of 1/3 in x 5.654 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 5.654 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 5.654 * [taylor]: Taking taylor expansion of x in x 5.654 * [taylor]: Taking taylor expansion of (sin y) in x 5.654 * [taylor]: Taking taylor expansion of y in x 5.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (sin y))))) in y 5.657 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (sin y)))) in y 5.657 * [taylor]: Taking taylor expansion of 1/3 in y 5.657 * [taylor]: Taking taylor expansion of (+ (log x) (log (sin y))) in y 5.657 * [taylor]: Taking taylor expansion of (log x) in y 5.657 * [taylor]: Taking taylor expansion of x in y 5.657 * [taylor]: Taking taylor expansion of (log (sin y)) in y 5.657 * [taylor]: Taking taylor expansion of (sin y) in y 5.657 * [taylor]: Taking taylor expansion of y in y 5.666 * [taylor]: Taking taylor expansion of 0 in y 5.675 * [taylor]: Taking taylor expansion of 0 in y 5.690 * [taylor]: Taking taylor expansion of 0 in y 5.710 * [taylor]: Taking taylor expansion of 0 in y 5.710 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in (x y) around 0 5.710 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in y 5.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in y 5.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in y 5.710 * [taylor]: Taking taylor expansion of 1/3 in y 5.710 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in y 5.710 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 5.710 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.710 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.710 * [taylor]: Taking taylor expansion of y in y 5.711 * [taylor]: Taking taylor expansion of x in y 5.711 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 5.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 5.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 5.711 * [taylor]: Taking taylor expansion of 1/3 in x 5.711 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 5.711 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 5.711 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.711 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.711 * [taylor]: Taking taylor expansion of y in x 5.711 * [taylor]: Taking taylor expansion of x in x 5.712 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 5.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 5.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 5.712 * [taylor]: Taking taylor expansion of 1/3 in x 5.712 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 5.712 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 5.712 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.712 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.712 * [taylor]: Taking taylor expansion of y in x 5.712 * [taylor]: Taking taylor expansion of x in x 5.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log x)))) in y 5.713 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log x))) in y 5.713 * [taylor]: Taking taylor expansion of 1/3 in y 5.713 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log x)) in y 5.713 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 5.713 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.713 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.713 * [taylor]: Taking taylor expansion of y in y 5.714 * [taylor]: Taking taylor expansion of (log x) in y 5.714 * [taylor]: Taking taylor expansion of x in y 5.718 * [taylor]: Taking taylor expansion of 0 in y 5.727 * [taylor]: Taking taylor expansion of 0 in y 5.741 * [taylor]: Taking taylor expansion of 0 in y 5.741 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in (x y) around 0 5.741 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in y 5.741 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.741 * [taylor]: Taking taylor expansion of -1 in y 5.742 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in y 5.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in y 5.742 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in y 5.742 * [taylor]: Taking taylor expansion of 1/3 in y 5.742 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in y 5.742 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 5.742 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.742 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.742 * [taylor]: Taking taylor expansion of -1 in y 5.742 * [taylor]: Taking taylor expansion of y in y 5.742 * [taylor]: Taking taylor expansion of x in y 5.743 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 5.743 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.743 * [taylor]: Taking taylor expansion of -1 in x 5.744 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 5.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 5.744 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 5.744 * [taylor]: Taking taylor expansion of 1/3 in x 5.744 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 5.744 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 5.744 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.744 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.744 * [taylor]: Taking taylor expansion of -1 in x 5.744 * [taylor]: Taking taylor expansion of y in x 5.744 * [taylor]: Taking taylor expansion of x in x 5.745 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 5.745 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.745 * [taylor]: Taking taylor expansion of -1 in x 5.745 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 5.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 5.746 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 5.746 * [taylor]: Taking taylor expansion of 1/3 in x 5.746 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 5.746 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 5.746 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.746 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.746 * [taylor]: Taking taylor expansion of -1 in x 5.746 * [taylor]: Taking taylor expansion of y in x 5.746 * [taylor]: Taking taylor expansion of x in x 5.747 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log x))))) in y 5.747 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.747 * [taylor]: Taking taylor expansion of -1 in y 5.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log x)))) in y 5.748 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log x))) in y 5.748 * [taylor]: Taking taylor expansion of 1/3 in y 5.748 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log x)) in y 5.748 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 5.748 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.748 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.748 * [taylor]: Taking taylor expansion of -1 in y 5.748 * [taylor]: Taking taylor expansion of y in y 5.748 * [taylor]: Taking taylor expansion of (log x) in y 5.749 * [taylor]: Taking taylor expansion of x in y 5.755 * [taylor]: Taking taylor expansion of 0 in y 5.769 * [taylor]: Taking taylor expansion of 0 in y 5.785 * [taylor]: Taking taylor expansion of 0 in y 5.786 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 5.786 * [approximate]: Taking taylor expansion of (pow (* (pow x 2) (pow (sin y) 2)) 1/3) in (x y) around 0 5.786 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow (sin y) 2)) 1/3) in y 5.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow (sin y) 2))))) in y 5.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow (sin y) 2)))) in y 5.786 * [taylor]: Taking taylor expansion of 1/3 in y 5.786 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow (sin y) 2))) in y 5.786 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sin y) 2)) in y 5.786 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.786 * [taylor]: Taking taylor expansion of x in y 5.786 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 5.786 * [taylor]: Taking taylor expansion of (sin y) in y 5.786 * [taylor]: Taking taylor expansion of y in y 5.788 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow (sin y) 2)) 1/3) in x 5.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow (sin y) 2))))) in x 5.788 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow (sin y) 2)))) in x 5.788 * [taylor]: Taking taylor expansion of 1/3 in x 5.788 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow (sin y) 2))) in x 5.788 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sin y) 2)) in x 5.788 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.788 * [taylor]: Taking taylor expansion of x in x 5.788 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in x 5.788 * [taylor]: Taking taylor expansion of (sin y) in x 5.788 * [taylor]: Taking taylor expansion of y in x 5.790 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow (sin y) 2)) 1/3) in x 5.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow (sin y) 2))))) in x 5.790 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow (sin y) 2)))) in x 5.790 * [taylor]: Taking taylor expansion of 1/3 in x 5.790 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow (sin y) 2))) in x 5.790 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sin y) 2)) in x 5.790 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.790 * [taylor]: Taking taylor expansion of x in x 5.790 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in x 5.790 * [taylor]: Taking taylor expansion of (sin y) in x 5.790 * [taylor]: Taking taylor expansion of y in x 5.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log x)) (log (pow (sin y) 2))))) in y 5.791 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log x)) (log (pow (sin y) 2)))) in y 5.791 * [taylor]: Taking taylor expansion of 1/3 in y 5.791 * [taylor]: Taking taylor expansion of (+ (* 2 (log x)) (log (pow (sin y) 2))) in y 5.791 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 5.791 * [taylor]: Taking taylor expansion of 2 in y 5.791 * [taylor]: Taking taylor expansion of (log x) in y 5.791 * [taylor]: Taking taylor expansion of x in y 5.791 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 5.791 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 5.791 * [taylor]: Taking taylor expansion of (sin y) in y 5.791 * [taylor]: Taking taylor expansion of y in y 5.798 * [taylor]: Taking taylor expansion of 0 in y 5.808 * [taylor]: Taking taylor expansion of 0 in y 5.825 * [taylor]: Taking taylor expansion of 0 in y 5.848 * [taylor]: Taking taylor expansion of 0 in y 5.849 * [approximate]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow x 2)) 1/3) in (x y) around 0 5.849 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow x 2)) 1/3) in y 5.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow x 2))))) in y 5.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow x 2)))) in y 5.849 * [taylor]: Taking taylor expansion of 1/3 in y 5.849 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow x 2))) in y 5.849 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow x 2)) in y 5.849 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 5.849 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.849 * [taylor]: Taking taylor expansion of y in y 5.849 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.849 * [taylor]: Taking taylor expansion of x in y 5.850 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow x 2)) 1/3) in x 5.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow x 2))))) in x 5.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow x 2)))) in x 5.850 * [taylor]: Taking taylor expansion of 1/3 in x 5.850 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow x 2))) in x 5.850 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow x 2)) in x 5.850 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in x 5.850 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.850 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.850 * [taylor]: Taking taylor expansion of y in x 5.850 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.850 * [taylor]: Taking taylor expansion of x in x 5.852 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow x 2)) 1/3) in x 5.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow x 2))))) in x 5.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow x 2)))) in x 5.852 * [taylor]: Taking taylor expansion of 1/3 in x 5.852 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow x 2))) in x 5.852 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow x 2)) in x 5.852 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in x 5.852 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 5.852 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.852 * [taylor]: Taking taylor expansion of y in x 5.852 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.852 * [taylor]: Taking taylor expansion of x in x 5.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log x))))) in y 5.856 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log x)))) in y 5.856 * [taylor]: Taking taylor expansion of 1/3 in y 5.856 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log x))) in y 5.856 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 5.856 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 5.856 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.856 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.856 * [taylor]: Taking taylor expansion of y in y 5.857 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 5.857 * [taylor]: Taking taylor expansion of 2 in y 5.857 * [taylor]: Taking taylor expansion of (log x) in y 5.857 * [taylor]: Taking taylor expansion of x in y 5.863 * [taylor]: Taking taylor expansion of 0 in y 5.874 * [taylor]: Taking taylor expansion of 0 in y 5.890 * [taylor]: Taking taylor expansion of 0 in y 5.890 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sin (/ -1 y)) 2) (pow x 2)) 1/3)) in (x y) around 0 5.890 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sin (/ -1 y)) 2) (pow x 2)) 1/3)) in y 5.890 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 5.890 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.890 * [taylor]: Taking taylor expansion of -1 in y 5.891 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow x 2)) 1/3) in y 5.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow x 2))))) in y 5.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow x 2)))) in y 5.891 * [taylor]: Taking taylor expansion of 1/3 in y 5.891 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow x 2))) in y 5.891 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow x 2)) in y 5.891 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 5.891 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.891 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.891 * [taylor]: Taking taylor expansion of -1 in y 5.891 * [taylor]: Taking taylor expansion of y in y 5.892 * [taylor]: Taking taylor expansion of (pow x 2) in y 5.892 * [taylor]: Taking taylor expansion of x in y 5.892 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sin (/ -1 y)) 2) (pow x 2)) 1/3)) in x 5.892 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 5.892 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.892 * [taylor]: Taking taylor expansion of -1 in x 5.894 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow x 2)) 1/3) in x 5.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow x 2))))) in x 5.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow x 2)))) in x 5.894 * [taylor]: Taking taylor expansion of 1/3 in x 5.894 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow x 2))) in x 5.894 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow x 2)) in x 5.894 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in x 5.894 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.894 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.894 * [taylor]: Taking taylor expansion of -1 in x 5.894 * [taylor]: Taking taylor expansion of y in x 5.894 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.894 * [taylor]: Taking taylor expansion of x in x 5.895 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (sin (/ -1 y)) 2) (pow x 2)) 1/3)) in x 5.895 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 5.895 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.895 * [taylor]: Taking taylor expansion of -1 in x 5.896 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow x 2)) 1/3) in x 5.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow x 2))))) in x 5.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow x 2)))) in x 5.896 * [taylor]: Taking taylor expansion of 1/3 in x 5.897 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow x 2))) in x 5.897 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow x 2)) in x 5.897 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in x 5.897 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 5.897 * [taylor]: Taking taylor expansion of (/ -1 y) in x 5.897 * [taylor]: Taking taylor expansion of -1 in x 5.897 * [taylor]: Taking taylor expansion of y in x 5.897 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.897 * [taylor]: Taking taylor expansion of x in x 5.900 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log x)))))) in y 5.900 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 5.900 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.900 * [taylor]: Taking taylor expansion of -1 in y 5.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log x))))) in y 5.901 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log x)))) in y 5.901 * [taylor]: Taking taylor expansion of 1/3 in y 5.901 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log x))) in y 5.901 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 5.901 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 5.901 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.901 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.901 * [taylor]: Taking taylor expansion of -1 in y 5.901 * [taylor]: Taking taylor expansion of y in y 5.902 * [taylor]: Taking taylor expansion of (* 2 (log x)) in y 5.902 * [taylor]: Taking taylor expansion of 2 in y 5.902 * [taylor]: Taking taylor expansion of (log x) in y 5.902 * [taylor]: Taking taylor expansion of x in y 5.911 * [taylor]: Taking taylor expansion of 0 in y 5.925 * [taylor]: Taking taylor expansion of 0 in y 5.946 * [taylor]: Taking taylor expansion of 0 in y 5.947 * * * [progress]: simplifying candidates 5.949 * [simplify]: Simplifying using # : (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (+ 1/3 1/3) (+ 1 1) (* (* x (sin y)) (* x (sin y))) (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (+ 1 1) (+ (log (cbrt (* x (sin y)))) (log (cbrt (* x (sin y))))) (log (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))) (exp (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))) (* (* x (sin y)) (* x (sin y))) (* (cbrt (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))) (cbrt (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))))) (cbrt (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))) (* (* (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))) (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))) (sqrt (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))) (sqrt (* (cbrt (* x (sin y))) (cbrt (* x (sin y))))) (* (cbrt x) (cbrt x)) (* (cbrt (sin y)) (cbrt (sin y))) (* (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y)))))) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (* (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y))))) (* (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y))))) (* 1 1) (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (* (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y))))) (* (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y))))) (* 2 1/3) (* 2 1) (* (cbrt (* x (sin y))) (cbrt x)) (* (cbrt (* x (sin y))) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y)))))) (* (cbrt (* x (sin y))) (sqrt (cbrt (* x (sin y))))) (* (cbrt (* x (sin y))) 1) (* (cbrt (sin y)) (cbrt (* x (sin y)))) (* (cbrt (cbrt (* x (sin y)))) (cbrt (* x (sin y)))) (* (sqrt (cbrt (* x (sin y)))) (cbrt (* x (sin y)))) (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (- (exp (* 1/3 (+ (log x) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log x) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 x)))))) (- (exp (* 1/3 (+ (log x) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log x) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 x)))))) (- (exp (* 1/3 (+ (log x) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log x) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 x)))))) (- (exp (* 1/3 (+ (* 2 (log x)) (* 2 (log y))))) (* 1/9 (* (pow y 2) (exp (* 1/3 (+ (* 2 (log x)) (* 2 (log y)))))))) (exp (* 1/3 (- (log (pow (sin y) 2)) (* 2 (log (/ 1 x)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (sin y) 2)) (* 2 (log (/ -1 x))))))) 5.955 * * [simplify]: iteration 0 : 87 enodes (cost 790 ) 5.971 * * [simplify]: iteration 1 : 189 enodes (cost 713 ) 6.014 * * [simplify]: iteration 2 : 552 enodes (cost 633 ) 6.289 * * [simplify]: iteration 3 : 2321 enodes (cost 536 ) 7.187 * * [simplify]: iteration done : 5000 enodes (cost 536 ) 7.187 * [simplify]: Simplified to: (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* x (sin y)) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* x (sin y)) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* x (sin y)) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) 2/3 2 (pow (cbrt (* x (sin y))) 6) (pow (sqrt (cbrt (* x (sin y)))) 4) 2 (* 2 (log (cbrt (* x (sin y))))) (* 2 (log (cbrt (* x (sin y))))) (exp (pow (sqrt (cbrt (* x (sin y)))) 4)) (pow (cbrt (* x (sin y))) 6) (* (cbrt (pow (sqrt (cbrt (* x (sin y)))) 4)) (cbrt (pow (sqrt (cbrt (* x (sin y)))) 4))) (cbrt (pow (sqrt (cbrt (* x (sin y)))) 4)) (pow (cbrt (* x (sin y))) 6) (fabs (cbrt (* x (sin y)))) (fabs (cbrt (* x (sin y)))) (* (cbrt x) (cbrt x)) (* (cbrt (sin y)) (cbrt (sin y))) (pow (cbrt (cbrt (* x (sin y)))) 4) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (* x (sin y))) (cbrt (* x (sin y))) 1 (pow (sqrt (cbrt (* x (sin y)))) 4) (cbrt (* x (sin y))) (cbrt (* x (sin y))) 2/3 2 (* (cbrt (* x (sin y))) (cbrt x)) (* (cbrt (cbrt (* x (sin y)))) (pow (cbrt (cbrt (* x (sin y)))) 4)) (pow (sqrt (cbrt (* x (sin y)))) 3) (cbrt (* x (sin y))) (* (cbrt (sin y)) (cbrt (* x (sin y)))) (pow (cbrt (cbrt (* x (sin y)))) 4) (pow (sqrt (cbrt (* x (sin y)))) 3) (pow (sqrt (cbrt (* x (sin y)))) 4) (* (+ (* -1/18 (pow y 2)) 1) (cbrt (exp (+ (log x) (log y))))) (cbrt (exp (+ (log (sin y)) (log x)))) (* (cbrt (exp (- (log (sin y)) (log (/ -1 x))))) (cbrt -1)) (* (+ (* -1/18 (pow y 2)) 1) (cbrt (exp (+ (log x) (log y))))) (cbrt (exp (+ (log (sin y)) (log x)))) (* (cbrt (exp (- (log (sin y)) (log (/ -1 x))))) (cbrt -1)) (* (+ (* -1/18 (pow y 2)) 1) (cbrt (exp (+ (log x) (log y))))) (cbrt (exp (+ (log (sin y)) (log x)))) (* (cbrt (exp (- (log (sin y)) (log (/ -1 x))))) (cbrt -1)) (* (+ (* (pow y 2) -1/9) 1) (* (pow y 2/3) (pow x 2/3))) (cbrt (exp (* 2 (+ (log (sin y)) (log x))))) (* (pow (cbrt -1) 2) (cbrt (exp (* 2 (- (log (sin y)) (log (/ -1 x))))))) 7.187 * * * [progress]: adding candidates to table 7.426 * * [progress]: iteration 4 / 4 7.426 * * * [progress]: picking best candidate 7.450 * * * * [pick]: Picked # 7.450 * * * [progress]: localizing error 7.469 * * * [progress]: generating rewritten candidates 7.469 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 7.471 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 7.473 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1) 7.475 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1) 7.477 * * * [progress]: generating series expansions 7.477 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 7.477 * [approximate]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in (x y) around 0 7.477 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in y 7.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in y 7.477 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in y 7.477 * [taylor]: Taking taylor expansion of 1/3 in y 7.477 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in y 7.477 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 7.477 * [taylor]: Taking taylor expansion of x in y 7.477 * [taylor]: Taking taylor expansion of (sin y) in y 7.477 * [taylor]: Taking taylor expansion of y in y 7.479 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 7.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 7.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 7.479 * [taylor]: Taking taylor expansion of 1/3 in x 7.479 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 7.479 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 7.479 * [taylor]: Taking taylor expansion of x in x 7.479 * [taylor]: Taking taylor expansion of (sin y) in x 7.479 * [taylor]: Taking taylor expansion of y in x 7.481 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 7.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 7.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 7.481 * [taylor]: Taking taylor expansion of 1/3 in x 7.481 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 7.481 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 7.481 * [taylor]: Taking taylor expansion of x in x 7.481 * [taylor]: Taking taylor expansion of (sin y) in x 7.481 * [taylor]: Taking taylor expansion of y in x 7.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (sin y))))) in y 7.484 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (sin y)))) in y 7.484 * [taylor]: Taking taylor expansion of 1/3 in y 7.484 * [taylor]: Taking taylor expansion of (+ (log x) (log (sin y))) in y 7.484 * [taylor]: Taking taylor expansion of (log x) in y 7.484 * [taylor]: Taking taylor expansion of x in y 7.484 * [taylor]: Taking taylor expansion of (log (sin y)) in y 7.484 * [taylor]: Taking taylor expansion of (sin y) in y 7.484 * [taylor]: Taking taylor expansion of y in y 7.491 * [taylor]: Taking taylor expansion of 0 in y 7.501 * [taylor]: Taking taylor expansion of 0 in y 7.516 * [taylor]: Taking taylor expansion of 0 in y 7.539 * [taylor]: Taking taylor expansion of 0 in y 7.540 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in (x y) around 0 7.540 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in y 7.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in y 7.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in y 7.540 * [taylor]: Taking taylor expansion of 1/3 in y 7.540 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in y 7.540 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 7.540 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.540 * [taylor]: Taking taylor expansion of y in y 7.541 * [taylor]: Taking taylor expansion of x in y 7.541 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 7.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 7.541 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 7.541 * [taylor]: Taking taylor expansion of 1/3 in x 7.541 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 7.541 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 7.541 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.541 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.541 * [taylor]: Taking taylor expansion of y in x 7.541 * [taylor]: Taking taylor expansion of x in x 7.542 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 7.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 7.542 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 7.542 * [taylor]: Taking taylor expansion of 1/3 in x 7.542 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 7.542 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 7.542 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.542 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.542 * [taylor]: Taking taylor expansion of y in x 7.542 * [taylor]: Taking taylor expansion of x in x 7.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log x)))) in y 7.543 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log x))) in y 7.543 * [taylor]: Taking taylor expansion of 1/3 in y 7.543 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log x)) in y 7.543 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 7.543 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.543 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.543 * [taylor]: Taking taylor expansion of y in y 7.544 * [taylor]: Taking taylor expansion of (log x) in y 7.544 * [taylor]: Taking taylor expansion of x in y 7.548 * [taylor]: Taking taylor expansion of 0 in y 7.557 * [taylor]: Taking taylor expansion of 0 in y 7.571 * [taylor]: Taking taylor expansion of 0 in y 7.571 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in (x y) around 0 7.571 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in y 7.571 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.571 * [taylor]: Taking taylor expansion of -1 in y 7.572 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in y 7.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in y 7.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in y 7.572 * [taylor]: Taking taylor expansion of 1/3 in y 7.572 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in y 7.572 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 7.572 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.572 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.572 * [taylor]: Taking taylor expansion of -1 in y 7.572 * [taylor]: Taking taylor expansion of y in y 7.573 * [taylor]: Taking taylor expansion of x in y 7.573 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 7.573 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.573 * [taylor]: Taking taylor expansion of -1 in x 7.574 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 7.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 7.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 7.574 * [taylor]: Taking taylor expansion of 1/3 in x 7.574 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 7.574 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 7.574 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.574 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.574 * [taylor]: Taking taylor expansion of -1 in x 7.574 * [taylor]: Taking taylor expansion of y in x 7.574 * [taylor]: Taking taylor expansion of x in x 7.575 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 7.575 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.575 * [taylor]: Taking taylor expansion of -1 in x 7.576 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 7.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 7.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 7.576 * [taylor]: Taking taylor expansion of 1/3 in x 7.576 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 7.576 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 7.576 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.576 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.576 * [taylor]: Taking taylor expansion of -1 in x 7.576 * [taylor]: Taking taylor expansion of y in x 7.576 * [taylor]: Taking taylor expansion of x in x 7.577 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log x))))) in y 7.577 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.578 * [taylor]: Taking taylor expansion of -1 in y 7.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log x)))) in y 7.578 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log x))) in y 7.578 * [taylor]: Taking taylor expansion of 1/3 in y 7.578 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log x)) in y 7.578 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 7.578 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.578 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.578 * [taylor]: Taking taylor expansion of -1 in y 7.579 * [taylor]: Taking taylor expansion of y in y 7.579 * [taylor]: Taking taylor expansion of (log x) in y 7.579 * [taylor]: Taking taylor expansion of x in y 7.585 * [taylor]: Taking taylor expansion of 0 in y 7.597 * [taylor]: Taking taylor expansion of 0 in y 7.613 * [taylor]: Taking taylor expansion of 0 in y 7.614 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 7.614 * [approximate]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in (x y) around 0 7.614 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in y 7.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in y 7.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in y 7.614 * [taylor]: Taking taylor expansion of 1/3 in y 7.614 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in y 7.614 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 7.614 * [taylor]: Taking taylor expansion of x in y 7.614 * [taylor]: Taking taylor expansion of (sin y) in y 7.614 * [taylor]: Taking taylor expansion of y in y 7.615 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 7.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 7.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 7.615 * [taylor]: Taking taylor expansion of 1/3 in x 7.615 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 7.616 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 7.616 * [taylor]: Taking taylor expansion of x in x 7.616 * [taylor]: Taking taylor expansion of (sin y) in x 7.616 * [taylor]: Taking taylor expansion of y in x 7.618 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 7.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 7.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 7.618 * [taylor]: Taking taylor expansion of 1/3 in x 7.618 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 7.618 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 7.618 * [taylor]: Taking taylor expansion of x in x 7.618 * [taylor]: Taking taylor expansion of (sin y) in x 7.618 * [taylor]: Taking taylor expansion of y in x 7.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (sin y))))) in y 7.621 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (sin y)))) in y 7.621 * [taylor]: Taking taylor expansion of 1/3 in y 7.621 * [taylor]: Taking taylor expansion of (+ (log x) (log (sin y))) in y 7.621 * [taylor]: Taking taylor expansion of (log x) in y 7.621 * [taylor]: Taking taylor expansion of x in y 7.621 * [taylor]: Taking taylor expansion of (log (sin y)) in y 7.621 * [taylor]: Taking taylor expansion of (sin y) in y 7.621 * [taylor]: Taking taylor expansion of y in y 7.627 * [taylor]: Taking taylor expansion of 0 in y 7.643 * [taylor]: Taking taylor expansion of 0 in y 7.658 * [taylor]: Taking taylor expansion of 0 in y 7.678 * [taylor]: Taking taylor expansion of 0 in y 7.678 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in (x y) around 0 7.678 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in y 7.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in y 7.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in y 7.678 * [taylor]: Taking taylor expansion of 1/3 in y 7.678 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in y 7.678 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 7.678 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.678 * [taylor]: Taking taylor expansion of y in y 7.679 * [taylor]: Taking taylor expansion of x in y 7.679 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 7.679 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 7.679 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 7.679 * [taylor]: Taking taylor expansion of 1/3 in x 7.679 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 7.679 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 7.679 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.679 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.679 * [taylor]: Taking taylor expansion of y in x 7.679 * [taylor]: Taking taylor expansion of x in x 7.680 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 7.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 7.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 7.680 * [taylor]: Taking taylor expansion of 1/3 in x 7.680 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 7.680 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 7.680 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.680 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.680 * [taylor]: Taking taylor expansion of y in x 7.680 * [taylor]: Taking taylor expansion of x in x 7.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log x)))) in y 7.681 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log x))) in y 7.681 * [taylor]: Taking taylor expansion of 1/3 in y 7.681 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log x)) in y 7.681 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 7.681 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.681 * [taylor]: Taking taylor expansion of y in y 7.682 * [taylor]: Taking taylor expansion of (log x) in y 7.682 * [taylor]: Taking taylor expansion of x in y 7.687 * [taylor]: Taking taylor expansion of 0 in y 7.696 * [taylor]: Taking taylor expansion of 0 in y 7.709 * [taylor]: Taking taylor expansion of 0 in y 7.710 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in (x y) around 0 7.710 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in y 7.710 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.710 * [taylor]: Taking taylor expansion of -1 in y 7.711 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in y 7.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in y 7.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in y 7.711 * [taylor]: Taking taylor expansion of 1/3 in y 7.711 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in y 7.711 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 7.711 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.711 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.711 * [taylor]: Taking taylor expansion of -1 in y 7.711 * [taylor]: Taking taylor expansion of y in y 7.711 * [taylor]: Taking taylor expansion of x in y 7.712 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 7.712 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.712 * [taylor]: Taking taylor expansion of -1 in x 7.713 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 7.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 7.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 7.713 * [taylor]: Taking taylor expansion of 1/3 in x 7.713 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 7.713 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 7.713 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.713 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.713 * [taylor]: Taking taylor expansion of -1 in x 7.713 * [taylor]: Taking taylor expansion of y in x 7.713 * [taylor]: Taking taylor expansion of x in x 7.714 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 7.714 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.714 * [taylor]: Taking taylor expansion of -1 in x 7.715 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 7.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 7.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 7.715 * [taylor]: Taking taylor expansion of 1/3 in x 7.715 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 7.715 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 7.715 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.715 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.715 * [taylor]: Taking taylor expansion of -1 in x 7.715 * [taylor]: Taking taylor expansion of y in x 7.715 * [taylor]: Taking taylor expansion of x in x 7.716 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log x))))) in y 7.716 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.716 * [taylor]: Taking taylor expansion of -1 in y 7.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log x)))) in y 7.717 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log x))) in y 7.717 * [taylor]: Taking taylor expansion of 1/3 in y 7.717 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log x)) in y 7.717 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 7.717 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.717 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.717 * [taylor]: Taking taylor expansion of -1 in y 7.717 * [taylor]: Taking taylor expansion of y in y 7.718 * [taylor]: Taking taylor expansion of (log x) in y 7.718 * [taylor]: Taking taylor expansion of x in y 7.724 * [taylor]: Taking taylor expansion of 0 in y 7.735 * [taylor]: Taking taylor expansion of 0 in y 7.758 * [taylor]: Taking taylor expansion of 0 in y 7.758 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1) 7.759 * [approximate]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in (x y) around 0 7.759 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in y 7.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in y 7.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in y 7.759 * [taylor]: Taking taylor expansion of 1/3 in y 7.759 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in y 7.759 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 7.759 * [taylor]: Taking taylor expansion of x in y 7.759 * [taylor]: Taking taylor expansion of (sin y) in y 7.759 * [taylor]: Taking taylor expansion of y in y 7.760 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 7.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 7.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 7.760 * [taylor]: Taking taylor expansion of 1/3 in x 7.760 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 7.760 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 7.760 * [taylor]: Taking taylor expansion of x in x 7.760 * [taylor]: Taking taylor expansion of (sin y) in x 7.760 * [taylor]: Taking taylor expansion of y in x 7.763 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 7.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 7.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 7.763 * [taylor]: Taking taylor expansion of 1/3 in x 7.763 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 7.763 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 7.763 * [taylor]: Taking taylor expansion of x in x 7.763 * [taylor]: Taking taylor expansion of (sin y) in x 7.763 * [taylor]: Taking taylor expansion of y in x 7.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (sin y))))) in y 7.766 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (sin y)))) in y 7.766 * [taylor]: Taking taylor expansion of 1/3 in y 7.766 * [taylor]: Taking taylor expansion of (+ (log x) (log (sin y))) in y 7.766 * [taylor]: Taking taylor expansion of (log x) in y 7.766 * [taylor]: Taking taylor expansion of x in y 7.766 * [taylor]: Taking taylor expansion of (log (sin y)) in y 7.766 * [taylor]: Taking taylor expansion of (sin y) in y 7.766 * [taylor]: Taking taylor expansion of y in y 7.772 * [taylor]: Taking taylor expansion of 0 in y 7.781 * [taylor]: Taking taylor expansion of 0 in y 7.796 * [taylor]: Taking taylor expansion of 0 in y 7.818 * [taylor]: Taking taylor expansion of 0 in y 7.818 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in (x y) around 0 7.818 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in y 7.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in y 7.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in y 7.818 * [taylor]: Taking taylor expansion of 1/3 in y 7.818 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in y 7.818 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 7.818 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.818 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.818 * [taylor]: Taking taylor expansion of y in y 7.819 * [taylor]: Taking taylor expansion of x in y 7.819 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 7.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 7.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 7.819 * [taylor]: Taking taylor expansion of 1/3 in x 7.819 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 7.819 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 7.819 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.819 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.819 * [taylor]: Taking taylor expansion of y in x 7.819 * [taylor]: Taking taylor expansion of x in x 7.820 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 7.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 7.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 7.820 * [taylor]: Taking taylor expansion of 1/3 in x 7.820 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 7.820 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 7.820 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.820 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.820 * [taylor]: Taking taylor expansion of y in x 7.820 * [taylor]: Taking taylor expansion of x in x 7.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log x)))) in y 7.821 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log x))) in y 7.821 * [taylor]: Taking taylor expansion of 1/3 in y 7.821 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log x)) in y 7.821 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 7.821 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.821 * [taylor]: Taking taylor expansion of y in y 7.822 * [taylor]: Taking taylor expansion of (log x) in y 7.822 * [taylor]: Taking taylor expansion of x in y 7.827 * [taylor]: Taking taylor expansion of 0 in y 7.836 * [taylor]: Taking taylor expansion of 0 in y 7.855 * [taylor]: Taking taylor expansion of 0 in y 7.855 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in (x y) around 0 7.855 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in y 7.855 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.855 * [taylor]: Taking taylor expansion of -1 in y 7.856 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in y 7.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in y 7.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in y 7.856 * [taylor]: Taking taylor expansion of 1/3 in y 7.856 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in y 7.856 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 7.856 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.856 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.856 * [taylor]: Taking taylor expansion of -1 in y 7.856 * [taylor]: Taking taylor expansion of y in y 7.857 * [taylor]: Taking taylor expansion of x in y 7.857 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 7.857 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.857 * [taylor]: Taking taylor expansion of -1 in x 7.858 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 7.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 7.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 7.858 * [taylor]: Taking taylor expansion of 1/3 in x 7.858 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 7.858 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 7.858 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.858 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.858 * [taylor]: Taking taylor expansion of -1 in x 7.858 * [taylor]: Taking taylor expansion of y in x 7.858 * [taylor]: Taking taylor expansion of x in x 7.859 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 7.859 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.859 * [taylor]: Taking taylor expansion of -1 in x 7.860 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 7.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 7.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 7.860 * [taylor]: Taking taylor expansion of 1/3 in x 7.860 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 7.860 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 7.860 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.860 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.860 * [taylor]: Taking taylor expansion of -1 in x 7.860 * [taylor]: Taking taylor expansion of y in x 7.860 * [taylor]: Taking taylor expansion of x in x 7.862 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log x))))) in y 7.862 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.862 * [taylor]: Taking taylor expansion of -1 in y 7.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log x)))) in y 7.863 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log x))) in y 7.863 * [taylor]: Taking taylor expansion of 1/3 in y 7.863 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log x)) in y 7.863 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 7.863 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.863 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.863 * [taylor]: Taking taylor expansion of -1 in y 7.863 * [taylor]: Taking taylor expansion of y in y 7.863 * [taylor]: Taking taylor expansion of (log x) in y 7.863 * [taylor]: Taking taylor expansion of x in y 7.869 * [taylor]: Taking taylor expansion of 0 in y 7.881 * [taylor]: Taking taylor expansion of 0 in y 7.897 * [taylor]: Taking taylor expansion of 0 in y 7.898 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1) 7.898 * [approximate]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in (x y) around 0 7.898 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in y 7.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in y 7.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in y 7.898 * [taylor]: Taking taylor expansion of 1/3 in y 7.898 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in y 7.898 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 7.898 * [taylor]: Taking taylor expansion of x in y 7.898 * [taylor]: Taking taylor expansion of (sin y) in y 7.898 * [taylor]: Taking taylor expansion of y in y 7.900 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 7.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 7.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 7.900 * [taylor]: Taking taylor expansion of 1/3 in x 7.900 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 7.900 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 7.900 * [taylor]: Taking taylor expansion of x in x 7.900 * [taylor]: Taking taylor expansion of (sin y) in x 7.900 * [taylor]: Taking taylor expansion of y in x 7.903 * [taylor]: Taking taylor expansion of (pow (* x (sin y)) 1/3) in x 7.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (sin y))))) in x 7.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (sin y)))) in x 7.903 * [taylor]: Taking taylor expansion of 1/3 in x 7.903 * [taylor]: Taking taylor expansion of (log (* x (sin y))) in x 7.903 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 7.903 * [taylor]: Taking taylor expansion of x in x 7.903 * [taylor]: Taking taylor expansion of (sin y) in x 7.903 * [taylor]: Taking taylor expansion of y in x 7.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (log (sin y))))) in y 7.905 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (sin y)))) in y 7.905 * [taylor]: Taking taylor expansion of 1/3 in y 7.905 * [taylor]: Taking taylor expansion of (+ (log x) (log (sin y))) in y 7.905 * [taylor]: Taking taylor expansion of (log x) in y 7.906 * [taylor]: Taking taylor expansion of x in y 7.906 * [taylor]: Taking taylor expansion of (log (sin y)) in y 7.906 * [taylor]: Taking taylor expansion of (sin y) in y 7.906 * [taylor]: Taking taylor expansion of y in y 7.912 * [taylor]: Taking taylor expansion of 0 in y 7.921 * [taylor]: Taking taylor expansion of 0 in y 7.936 * [taylor]: Taking taylor expansion of 0 in y 7.963 * [taylor]: Taking taylor expansion of 0 in y 7.963 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in (x y) around 0 7.963 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in y 7.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in y 7.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in y 7.963 * [taylor]: Taking taylor expansion of 1/3 in y 7.963 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in y 7.963 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 7.963 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.963 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.963 * [taylor]: Taking taylor expansion of y in y 7.964 * [taylor]: Taking taylor expansion of x in y 7.964 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 7.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 7.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 7.964 * [taylor]: Taking taylor expansion of 1/3 in x 7.964 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 7.964 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 7.964 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.964 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.964 * [taylor]: Taking taylor expansion of y in x 7.964 * [taylor]: Taking taylor expansion of x in x 7.965 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) x) 1/3) in x 7.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) x)))) in x 7.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) x))) in x 7.965 * [taylor]: Taking taylor expansion of 1/3 in x 7.965 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) x)) in x 7.965 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 7.965 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 7.965 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.965 * [taylor]: Taking taylor expansion of y in x 7.966 * [taylor]: Taking taylor expansion of x in x 7.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log x)))) in y 7.967 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log x))) in y 7.967 * [taylor]: Taking taylor expansion of 1/3 in y 7.967 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log x)) in y 7.967 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 7.967 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 7.967 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.967 * [taylor]: Taking taylor expansion of y in y 7.967 * [taylor]: Taking taylor expansion of (log x) in y 7.967 * [taylor]: Taking taylor expansion of x in y 7.972 * [taylor]: Taking taylor expansion of 0 in y 7.981 * [taylor]: Taking taylor expansion of 0 in y 7.994 * [taylor]: Taking taylor expansion of 0 in y 7.995 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in (x y) around 0 7.995 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in y 7.995 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.995 * [taylor]: Taking taylor expansion of -1 in y 7.996 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in y 7.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in y 7.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in y 7.996 * [taylor]: Taking taylor expansion of 1/3 in y 7.996 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in y 7.996 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 7.996 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 7.996 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.996 * [taylor]: Taking taylor expansion of -1 in y 7.996 * [taylor]: Taking taylor expansion of y in y 7.996 * [taylor]: Taking taylor expansion of x in y 7.997 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 7.997 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.997 * [taylor]: Taking taylor expansion of -1 in x 7.997 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 7.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 7.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 7.997 * [taylor]: Taking taylor expansion of 1/3 in x 7.998 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 7.998 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 7.998 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.998 * [taylor]: Taking taylor expansion of (/ -1 y) in x 7.998 * [taylor]: Taking taylor expansion of -1 in x 7.998 * [taylor]: Taking taylor expansion of y in x 7.998 * [taylor]: Taking taylor expansion of x in x 7.998 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (sin (/ -1 y)) x) 1/3)) in x 7.999 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.999 * [taylor]: Taking taylor expansion of -1 in x 7.999 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) x) 1/3) in x 7.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) x)))) in x 7.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) x))) in x 7.999 * [taylor]: Taking taylor expansion of 1/3 in x 7.999 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) x)) in x 7.999 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 7.999 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 7.999 * [taylor]: Taking taylor expansion of (/ -1 y) in x 8.000 * [taylor]: Taking taylor expansion of -1 in x 8.000 * [taylor]: Taking taylor expansion of y in x 8.000 * [taylor]: Taking taylor expansion of x in x 8.001 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log x))))) in y 8.001 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.001 * [taylor]: Taking taylor expansion of -1 in y 8.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log x)))) in y 8.002 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log x))) in y 8.002 * [taylor]: Taking taylor expansion of 1/3 in y 8.002 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log x)) in y 8.002 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 8.002 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 8.002 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.002 * [taylor]: Taking taylor expansion of -1 in y 8.002 * [taylor]: Taking taylor expansion of y in y 8.002 * [taylor]: Taking taylor expansion of (log x) in y 8.002 * [taylor]: Taking taylor expansion of x in y 8.009 * [taylor]: Taking taylor expansion of 0 in y 8.020 * [taylor]: Taking taylor expansion of 0 in y 8.037 * [taylor]: Taking taylor expansion of 0 in y 8.038 * * * [progress]: simplifying candidates 8.038 * [simplify]: Simplifying using # : (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (- (exp (* 1/3 (+ (log x) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log x) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 x)))))) (- (exp (* 1/3 (+ (log x) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log x) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 x)))))) (- (exp (* 1/3 (+ (log x) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log x) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 x)))))) (- (exp (* 1/3 (+ (log x) (log y)))) (* 1/18 (* (pow y 2) (exp (* 1/3 (+ (log x) (log y))))))) (exp (* 1/3 (- (log (sin y)) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log (sin y)) (log (/ -1 x)))))) 8.040 * * [simplify]: iteration 0 : 41 enodes (cost 452 ) 8.053 * * [simplify]: iteration 1 : 79 enodes (cost 448 ) 8.065 * * [simplify]: iteration 2 : 158 enodes (cost 404 ) 8.096 * * [simplify]: iteration 3 : 472 enodes (cost 352 ) 8.284 * * [simplify]: iteration 4 : 1980 enodes (cost 316 ) 8.942 * * [simplify]: iteration done : 5001 enodes (cost 316 ) 8.943 * [simplify]: Simplified to: (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* x (sin y)) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* x (sin y)) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* x (sin y)) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (log (cbrt (* x (sin y)))) (exp (cbrt (* x (sin y)))) (cbrt x) (cbrt (sin y)) (* (cbrt (cbrt (* x (sin y)))) (cbrt (cbrt (* x (sin y))))) (cbrt (cbrt (* x (sin y)))) (* x (sin y)) (sqrt (cbrt (* x (sin y)))) (sqrt (cbrt (* x (sin y)))) (* (+ (* -1/18 (pow y 2)) 1) (cbrt (* x y))) (cbrt (* x (sin y))) (* (cbrt -1) (cbrt (/ (sin y) (/ -1 x)))) (* (+ (* -1/18 (pow y 2)) 1) (cbrt (* x y))) (cbrt (* x (sin y))) (* (cbrt -1) (cbrt (/ (sin y) (/ -1 x)))) (* (+ (* -1/18 (pow y 2)) 1) (cbrt (* x y))) (cbrt (* x (sin y))) (* (cbrt -1) (cbrt (/ (sin y) (/ -1 x)))) (* (+ (* -1/18 (pow y 2)) 1) (cbrt (* x y))) (cbrt (* x (sin y))) (* (cbrt -1) (cbrt (/ (sin y) (/ -1 x)))) 8.943 * * * [progress]: adding candidates to table 9.132 * [progress]: [Phase 3 of 3] Extracting. 9.132 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 9.136 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 9.136 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # #) 9.184 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # #) 9.232 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 9.279 * * * [regime]: Found split indices: #