31.590 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.041 * * * [progress]: [2/2] Setting up program. 0.043 * [progress]: [Phase 2 of 3] Improving. 0.044 * [simplify]: Simplifying using # : (- (+ x (cos y)) (* z (sin y))) 0.045 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.046 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.047 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.050 * * [simplify]: iteration 3 : 33 enodes (cost 9 ) 0.054 * * [simplify]: iteration 4 : 39 enodes (cost 9 ) 0.058 * * [simplify]: iteration 5 : 48 enodes (cost 9 ) 0.064 * * [simplify]: iteration 6 : 61 enodes (cost 9 ) 0.071 * * [simplify]: iteration 7 : 74 enodes (cost 9 ) 0.079 * * [simplify]: iteration 8 : 87 enodes (cost 9 ) 0.092 * * [simplify]: iteration 9 : 101 enodes (cost 9 ) 0.105 * * [simplify]: iteration 10 : 122 enodes (cost 9 ) 0.121 * * [simplify]: iteration 11 : 136 enodes (cost 9 ) 0.143 * * [simplify]: iteration done : 136 enodes (cost 9 ) 0.143 * [simplify]: Simplified to: (- (+ x (cos y)) (* z (sin y))) 0.144 * * [progress]: iteration 1 / 4 0.144 * * * [progress]: picking best candidate 0.146 * * * * [pick]: Picked # 0.146 * * * [progress]: localizing error 0.155 * * * [progress]: generating rewritten candidates 0.155 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.159 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.161 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.181 * * * [progress]: generating series expansions 0.181 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.181 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 0.181 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.181 * [taylor]: Taking taylor expansion of (sin y) in y 0.181 * [taylor]: Taking taylor expansion of y in y 0.181 * [taylor]: Taking taylor expansion of z in y 0.181 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.181 * [taylor]: Taking taylor expansion of (sin y) in z 0.181 * [taylor]: Taking taylor expansion of y in z 0.181 * [taylor]: Taking taylor expansion of z in z 0.181 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.181 * [taylor]: Taking taylor expansion of (sin y) in z 0.181 * [taylor]: Taking taylor expansion of y in z 0.181 * [taylor]: Taking taylor expansion of z in z 0.182 * [taylor]: Taking taylor expansion of 0 in y 0.184 * [taylor]: Taking taylor expansion of (sin y) in y 0.184 * [taylor]: Taking taylor expansion of y in y 0.186 * [taylor]: Taking taylor expansion of 0 in y 0.190 * [taylor]: Taking taylor expansion of 0 in y 0.194 * [taylor]: Taking taylor expansion of 0 in y 0.194 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.194 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.194 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.194 * [taylor]: Taking taylor expansion of z in y 0.194 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.194 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.194 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.194 * [taylor]: Taking taylor expansion of y in z 0.194 * [taylor]: Taking taylor expansion of z in z 0.195 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.195 * [taylor]: Taking taylor expansion of (sin (/ 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.195 * [taylor]: Taking taylor expansion of z in z 0.195 * [taylor]: Taking taylor expansion of (sin (/ 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.200 * [taylor]: Taking taylor expansion of 0 in y 0.203 * [taylor]: Taking taylor expansion of 0 in y 0.207 * [taylor]: Taking taylor expansion of 0 in y 0.207 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.207 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.207 * [taylor]: Taking taylor expansion of -1 in y 0.207 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.207 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.207 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.207 * [taylor]: Taking taylor expansion of -1 in y 0.207 * [taylor]: Taking taylor expansion of y in y 0.207 * [taylor]: Taking taylor expansion of z in y 0.207 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.207 * [taylor]: Taking taylor expansion of -1 in z 0.207 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.207 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.207 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.207 * [taylor]: Taking taylor expansion of -1 in z 0.208 * [taylor]: Taking taylor expansion of y in z 0.208 * [taylor]: Taking taylor expansion of z in z 0.208 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.208 * [taylor]: Taking taylor expansion of -1 in z 0.208 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.208 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.208 * [taylor]: Taking taylor expansion of -1 in z 0.208 * [taylor]: Taking taylor expansion of y in z 0.208 * [taylor]: Taking taylor expansion of z in z 0.208 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.208 * [taylor]: Taking taylor expansion of -1 in y 0.208 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.208 * [taylor]: Taking taylor expansion of -1 in y 0.208 * [taylor]: Taking taylor expansion of y in y 0.211 * [taylor]: Taking taylor expansion of 0 in y 0.215 * [taylor]: Taking taylor expansion of 0 in y 0.220 * [taylor]: Taking taylor expansion of 0 in y 0.220 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.220 * [approximate]: Taking taylor expansion of (+ x (cos y)) in (x y) around 0 0.220 * [taylor]: Taking taylor expansion of (+ x (cos y)) in y 0.220 * [taylor]: Taking taylor expansion of x in y 0.220 * [taylor]: Taking taylor expansion of (cos y) in y 0.220 * [taylor]: Taking taylor expansion of y in y 0.220 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.220 * [taylor]: Taking taylor expansion of (cos y) in x 0.220 * [taylor]: Taking taylor expansion of y in x 0.220 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.220 * [taylor]: Taking taylor expansion of (cos y) in x 0.220 * [taylor]: Taking taylor expansion of y in x 0.221 * [taylor]: Taking taylor expansion of (cos y) in y 0.221 * [taylor]: Taking taylor expansion of y in y 0.223 * [taylor]: Taking taylor expansion of 1 in y 0.226 * [taylor]: Taking taylor expansion of 0 in y 0.227 * [approximate]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in (x y) around 0 0.227 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y 0.227 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.227 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.227 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.227 * [taylor]: Taking taylor expansion of x in y 0.227 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 0.227 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.227 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.227 * [taylor]: Taking taylor expansion of y in x 0.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.227 * [taylor]: Taking taylor expansion of x in x 0.228 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 0.228 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.228 * [taylor]: Taking taylor expansion of y in x 0.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.228 * [taylor]: Taking taylor expansion of x in x 0.228 * [taylor]: Taking taylor expansion of 1 in y 0.229 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.229 * [taylor]: Taking taylor expansion of y in y 0.232 * [taylor]: Taking taylor expansion of 0 in y 0.235 * [taylor]: Taking taylor expansion of 0 in y 0.235 * [approximate]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in (x y) around 0 0.235 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in y 0.235 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.235 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.235 * [taylor]: Taking taylor expansion of -1 in y 0.235 * [taylor]: Taking taylor expansion of y in y 0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.236 * [taylor]: Taking taylor expansion of x in y 0.236 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x 0.236 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.236 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.236 * [taylor]: Taking taylor expansion of -1 in x 0.236 * [taylor]: Taking taylor expansion of y in x 0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.236 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y)) (/ 1 x)) in x 0.236 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.236 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.236 * [taylor]: Taking taylor expansion of -1 in x 0.236 * [taylor]: Taking taylor expansion of y in x 0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.236 * [taylor]: Taking taylor expansion of x in x 0.237 * [taylor]: Taking taylor expansion of -1 in y 0.238 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.238 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.238 * [taylor]: Taking taylor expansion of -1 in y 0.238 * [taylor]: Taking taylor expansion of y in y 0.241 * [taylor]: Taking taylor expansion of 0 in y 0.244 * [taylor]: Taking taylor expansion of 0 in y 0.244 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.245 * [approximate]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in (x y z) around 0 0.245 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in z 0.245 * [taylor]: Taking taylor expansion of (+ x (cos y)) in z 0.245 * [taylor]: Taking taylor expansion of x in z 0.245 * [taylor]: Taking taylor expansion of (cos y) in z 0.245 * [taylor]: Taking taylor expansion of y in z 0.245 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.245 * [taylor]: Taking taylor expansion of (sin y) in z 0.245 * [taylor]: Taking taylor expansion of y in z 0.245 * [taylor]: Taking taylor expansion of z in z 0.245 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in y 0.245 * [taylor]: Taking taylor expansion of (+ x (cos y)) in y 0.245 * [taylor]: Taking taylor expansion of x in y 0.245 * [taylor]: Taking taylor expansion of (cos y) in y 0.245 * [taylor]: Taking taylor expansion of y in y 0.245 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.245 * [taylor]: Taking taylor expansion of (sin y) in y 0.245 * [taylor]: Taking taylor expansion of y in y 0.245 * [taylor]: Taking taylor expansion of z in y 0.245 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in x 0.245 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.245 * [taylor]: Taking taylor expansion of (cos y) in x 0.245 * [taylor]: Taking taylor expansion of y in x 0.245 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.245 * [taylor]: Taking taylor expansion of (sin y) in x 0.245 * [taylor]: Taking taylor expansion of y in x 0.245 * [taylor]: Taking taylor expansion of z in x 0.245 * [taylor]: Taking taylor expansion of (- (+ x (cos y)) (* (sin y) z)) in x 0.245 * [taylor]: Taking taylor expansion of (+ x (cos y)) in x 0.245 * [taylor]: Taking taylor expansion of x in x 0.245 * [taylor]: Taking taylor expansion of (cos y) in x 0.245 * [taylor]: Taking taylor expansion of y in x 0.245 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.245 * [taylor]: Taking taylor expansion of (sin y) in x 0.245 * [taylor]: Taking taylor expansion of y in x 0.245 * [taylor]: Taking taylor expansion of z in x 0.246 * [taylor]: Taking taylor expansion of (- (cos y) (* (sin y) z)) in y 0.246 * [taylor]: Taking taylor expansion of (cos y) in y 0.246 * [taylor]: Taking taylor expansion of y in y 0.246 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.246 * [taylor]: Taking taylor expansion of (sin y) in y 0.246 * [taylor]: Taking taylor expansion of y in y 0.246 * [taylor]: Taking taylor expansion of z in y 0.247 * [taylor]: Taking taylor expansion of 1 in z 0.250 * [taylor]: Taking taylor expansion of 1 in y 0.250 * [taylor]: Taking taylor expansion of 1 in z 0.251 * [taylor]: Taking taylor expansion of (- z) in z 0.251 * [taylor]: Taking taylor expansion of z in z 0.256 * [taylor]: Taking taylor expansion of 0 in y 0.256 * [taylor]: Taking taylor expansion of 0 in z 0.256 * [taylor]: Taking taylor expansion of 0 in z 0.258 * [taylor]: Taking taylor expansion of -1/2 in z 0.259 * [approximate]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in (x y z) around 0 0.259 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in z 0.259 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in z 0.259 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.259 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.259 * [taylor]: Taking taylor expansion of y in z 0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.259 * [taylor]: Taking taylor expansion of x in z 0.259 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.259 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.259 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.259 * [taylor]: Taking taylor expansion of y in z 0.259 * [taylor]: Taking taylor expansion of z in z 0.259 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in y 0.259 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y 0.259 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.259 * [taylor]: Taking taylor expansion of y in y 0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.260 * [taylor]: Taking taylor expansion of x in y 0.260 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.260 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.260 * [taylor]: Taking taylor expansion of y in y 0.260 * [taylor]: Taking taylor expansion of z in y 0.260 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x 0.260 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 0.260 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.260 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.260 * [taylor]: Taking taylor expansion of y in x 0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.260 * [taylor]: Taking taylor expansion of x in x 0.261 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.261 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.261 * [taylor]: Taking taylor expansion of y in x 0.261 * [taylor]: Taking taylor expansion of z in x 0.261 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x 0.261 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 0.261 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.261 * [taylor]: Taking taylor expansion of y in x 0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.261 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.261 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.261 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.261 * [taylor]: Taking taylor expansion of y in x 0.262 * [taylor]: Taking taylor expansion of z in x 0.262 * [taylor]: Taking taylor expansion of 1 in y 0.262 * [taylor]: Taking taylor expansion of 1 in z 0.263 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in y 0.263 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.263 * [taylor]: Taking taylor expansion of y in y 0.264 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.264 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.264 * [taylor]: Taking taylor expansion of y in y 0.264 * [taylor]: Taking taylor expansion of z in y 0.264 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in z 0.264 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.264 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.264 * [taylor]: Taking taylor expansion of y in z 0.264 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.264 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.264 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.265 * [taylor]: Taking taylor expansion of y in z 0.265 * [taylor]: Taking taylor expansion of z in z 0.265 * [taylor]: Taking taylor expansion of 0 in z 0.269 * [taylor]: Taking taylor expansion of 0 in y 0.270 * [taylor]: Taking taylor expansion of 0 in z 0.270 * [taylor]: Taking taylor expansion of 0 in z 0.270 * [taylor]: Taking taylor expansion of 0 in z 0.274 * [approximate]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in (x y z) around 0 0.274 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in z 0.274 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z 0.274 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.274 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.274 * [taylor]: Taking taylor expansion of -1 in z 0.274 * [taylor]: Taking taylor expansion of y in z 0.274 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.274 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.274 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.274 * [taylor]: Taking taylor expansion of -1 in z 0.274 * [taylor]: Taking taylor expansion of y in z 0.274 * [taylor]: Taking taylor expansion of z in z 0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.274 * [taylor]: Taking taylor expansion of x in z 0.275 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in y 0.275 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y 0.275 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.275 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.275 * [taylor]: Taking taylor expansion of -1 in y 0.275 * [taylor]: Taking taylor expansion of y in y 0.275 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.275 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.275 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.275 * [taylor]: Taking taylor expansion of -1 in y 0.275 * [taylor]: Taking taylor expansion of y in y 0.275 * [taylor]: Taking taylor expansion of z in y 0.276 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.276 * [taylor]: Taking taylor expansion of x in y 0.276 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x 0.276 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x 0.276 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.276 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.276 * [taylor]: Taking taylor expansion of -1 in x 0.276 * [taylor]: Taking taylor expansion of y in x 0.276 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.276 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.276 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.276 * [taylor]: Taking taylor expansion of -1 in x 0.276 * [taylor]: Taking taylor expansion of y in x 0.276 * [taylor]: Taking taylor expansion of z in x 0.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.276 * [taylor]: Taking taylor expansion of x in x 0.276 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x 0.276 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x 0.276 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.276 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.276 * [taylor]: Taking taylor expansion of -1 in x 0.276 * [taylor]: Taking taylor expansion of y in x 0.277 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.277 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.277 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.277 * [taylor]: Taking taylor expansion of -1 in x 0.277 * [taylor]: Taking taylor expansion of y in x 0.277 * [taylor]: Taking taylor expansion of z in x 0.277 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.278 * [taylor]: Taking taylor expansion of -1 in y 0.278 * [taylor]: Taking taylor expansion of -1 in z 0.279 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y 0.279 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.279 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.279 * [taylor]: Taking taylor expansion of -1 in y 0.279 * [taylor]: Taking taylor expansion of y in y 0.279 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.279 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.279 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.279 * [taylor]: Taking taylor expansion of -1 in y 0.279 * [taylor]: Taking taylor expansion of y in y 0.280 * [taylor]: Taking taylor expansion of z in y 0.280 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z 0.280 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.280 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.280 * [taylor]: Taking taylor expansion of -1 in z 0.280 * [taylor]: Taking taylor expansion of y in z 0.280 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.280 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.280 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.280 * [taylor]: Taking taylor expansion of -1 in z 0.280 * [taylor]: Taking taylor expansion of y in z 0.280 * [taylor]: Taking taylor expansion of z in z 0.280 * [taylor]: Taking taylor expansion of 0 in z 0.285 * [taylor]: Taking taylor expansion of 0 in y 0.285 * [taylor]: Taking taylor expansion of 0 in z 0.285 * [taylor]: Taking taylor expansion of 0 in z 0.286 * [taylor]: Taking taylor expansion of 0 in z 0.291 * * * [progress]: simplifying candidates 0.292 * [simplify]: Simplifying using # : (* z (sin y)) (+ (log z) (log (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (* (* (* z z) z) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (* (* (* z (sin y)) (* z (sin y))) (* z (sin y))) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) (* z 1) (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (* (exp x) (exp (cos y))) (log (+ x (cos y))) (exp (+ x (cos y))) (* (cbrt (+ x (cos y))) (cbrt (+ x (cos y)))) (cbrt (+ x (cos y))) (* (* (+ x (cos y)) (+ x (cos y))) (+ x (cos y))) (sqrt (+ x (cos y))) (sqrt (+ x (cos y))) (+ (pow x 3) (pow (cos y) 3)) (+ (* x x) (- (* (cos y) (cos y)) (* x (cos y)))) (- (* x x) (* (cos y) (cos y))) (- x (cos y)) (+ x (cos y)) (/ (* (exp x) (exp (cos y))) (exp (* z (sin y)))) (/ (exp (+ x (cos y))) (exp (* z (sin y)))) (log (- (+ x (cos y)) (* z (sin y)))) (exp (- (+ x (cos y)) (* z (sin y)))) (* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y))))) (cbrt (- (+ x (cos y)) (* z (sin y)))) (* (* (- (+ x (cos y)) (* z (sin y))) (- (+ x (cos y)) (* z (sin y)))) (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (+ x (cos y)) (+ x (cos y))) (+ (* (* z (sin y)) (* z (sin y))) (* (+ x (cos y)) (* z (sin y))))) (- (* z (sin y))) (- (* (+ x (cos y)) (+ x (cos y))) (* (* z (sin y)) (* z (sin y)))) (+ (+ x (cos y)) (* z (sin y))) (- (cos y) (* z (sin y))) (- (* z (sin y))) (* z y) (* (sin y) z) (* (sin y) z) (- (+ x 1) (* 1/2 (pow y 2))) (+ x (cos y)) (+ x (cos y)) (- (+ x 1) (* 1/2 (pow y 2))) (- (+ x (cos y)) (* (sin y) z)) (- (+ x (cos y)) (* (sin y) z)) 0.294 * * [simplify]: iteration 0 : 84 enodes (cost 477 ) 0.308 * * [simplify]: iteration 1 : 195 enodes (cost 446 ) 0.341 * * [simplify]: iteration 2 : 479 enodes (cost 438 ) 0.440 * * [simplify]: iteration 3 : 1385 enodes (cost 438 ) 0.886 * * [simplify]: iteration 4 : 4449 enodes (cost 438 ) 2.074 * * [simplify]: iteration done : 5000 enodes (cost 438 ) 2.075 * [simplify]: Simplified to: (* z (sin y)) (log (* z (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (pow (* z (sin y)) 3) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (pow (* z (sin y)) 3) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) z (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (exp (+ x (cos y))) (log (+ x (cos y))) (exp (+ x (cos y))) (* (cbrt (+ x (cos y))) (cbrt (+ x (cos y)))) (cbrt (+ x (cos y))) (pow (+ x (cos y)) 3) (sqrt (+ x (cos y))) (sqrt (+ x (cos y))) (+ (pow x 3) (pow (cos y) 3)) (+ (* (cos y) (- (cos y) x)) (* x x)) (- (* x x) (* (cos y) (cos y))) (- x (cos y)) (+ x (cos y)) (exp (- (+ x (cos y)) (* z (sin y)))) (exp (- (+ x (cos y)) (* z (sin y)))) (log (- (+ x (cos y)) (* z (sin y)))) (exp (- (+ x (cos y)) (* z (sin y)))) (* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y))))) (cbrt (- (+ x (cos y)) (* z (sin y)))) (* (* (- (+ x (cos y)) (* z (sin y))) (- (+ x (cos y)) (* z (sin y)))) (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (sqrt (- (+ x (cos y)) (* z (sin y)))) (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (+ x (cos y)) (+ x (cos y))) (* (* z (sin y)) (+ (+ x (cos y)) (* z (sin y))))) (- (* z (sin y))) (- (* (+ x (cos y)) (+ x (cos y))) (* (* z (sin y)) (* z (sin y)))) (+ (+ x (cos y)) (* z (sin y))) (- (cos y) (* z (sin y))) (- (* z (sin y))) (* z y) (* z (sin y)) (* z (sin y)) (- (+ x 1) (* 1/2 (pow y 2))) (+ x (cos y)) (+ x (cos y)) (- (+ x 1) (* 1/2 (pow y 2))) (- (+ x (cos y)) (* z (sin y))) (- (+ x (cos y)) (* z (sin y))) 2.075 * * * [progress]: adding candidates to table 2.191 * * [progress]: iteration 2 / 4 2.191 * * * [progress]: picking best candidate 2.206 * * * * [pick]: Picked # 2.206 * * * [progress]: localizing error 2.219 * * * [progress]: generating rewritten candidates 2.219 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 2.220 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 2.221 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 2.221 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 2.230 * * * [progress]: generating series expansions 2.230 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 2.230 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 2.230 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 2.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 2.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 2.230 * [taylor]: Taking taylor expansion of 1/3 in y 2.230 * [taylor]: Taking taylor expansion of (log (sin y)) in y 2.230 * [taylor]: Taking taylor expansion of (sin y) in y 2.230 * [taylor]: Taking taylor expansion of y in y 2.232 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 2.232 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 2.232 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 2.232 * [taylor]: Taking taylor expansion of 1/3 in y 2.232 * [taylor]: Taking taylor expansion of (log (sin y)) in y 2.232 * [taylor]: Taking taylor expansion of (sin y) in y 2.232 * [taylor]: Taking taylor expansion of y in y 2.260 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 2.260 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 2.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 2.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 2.260 * [taylor]: Taking taylor expansion of 1/3 in y 2.260 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 2.260 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.260 * [taylor]: Taking taylor expansion of y in y 2.260 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 2.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 2.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 2.260 * [taylor]: Taking taylor expansion of 1/3 in y 2.260 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 2.260 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.260 * [taylor]: Taking taylor expansion of y in y 2.293 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 2.293 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 2.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 2.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 2.293 * [taylor]: Taking taylor expansion of 1/3 in y 2.293 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 2.293 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.293 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.293 * [taylor]: Taking taylor expansion of -1 in y 2.293 * [taylor]: Taking taylor expansion of y in y 2.294 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 2.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 2.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 2.294 * [taylor]: Taking taylor expansion of 1/3 in y 2.294 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 2.294 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.294 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.294 * [taylor]: Taking taylor expansion of -1 in y 2.294 * [taylor]: Taking taylor expansion of y in y 2.329 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 2.329 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 2.329 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 2.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 2.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 2.329 * [taylor]: Taking taylor expansion of 1/3 in y 2.329 * [taylor]: Taking taylor expansion of (log (sin y)) in y 2.329 * [taylor]: Taking taylor expansion of (sin y) in y 2.329 * [taylor]: Taking taylor expansion of y in y 2.330 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 2.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 2.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 2.330 * [taylor]: Taking taylor expansion of 1/3 in y 2.330 * [taylor]: Taking taylor expansion of (log (sin y)) in y 2.330 * [taylor]: Taking taylor expansion of (sin y) in y 2.330 * [taylor]: Taking taylor expansion of y in y 2.354 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 2.354 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 2.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 2.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 2.355 * [taylor]: Taking taylor expansion of 1/3 in y 2.355 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 2.355 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.355 * [taylor]: Taking taylor expansion of y in y 2.355 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 2.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 2.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 2.355 * [taylor]: Taking taylor expansion of 1/3 in y 2.355 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 2.355 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.355 * [taylor]: Taking taylor expansion of y in y 2.387 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 2.387 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 2.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 2.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 2.387 * [taylor]: Taking taylor expansion of 1/3 in y 2.387 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 2.387 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.387 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.387 * [taylor]: Taking taylor expansion of -1 in y 2.387 * [taylor]: Taking taylor expansion of y in y 2.388 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 2.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 2.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 2.388 * [taylor]: Taking taylor expansion of 1/3 in y 2.388 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 2.388 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.388 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.388 * [taylor]: Taking taylor expansion of -1 in y 2.388 * [taylor]: Taking taylor expansion of y in y 2.423 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 2.423 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 2.423 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 2.423 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 2.423 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 2.423 * [taylor]: Taking taylor expansion of 1/3 in y 2.423 * [taylor]: Taking taylor expansion of (log (sin y)) in y 2.423 * [taylor]: Taking taylor expansion of (sin y) in y 2.423 * [taylor]: Taking taylor expansion of y in y 2.424 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 2.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 2.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 2.424 * [taylor]: Taking taylor expansion of 1/3 in y 2.424 * [taylor]: Taking taylor expansion of (log (sin y)) in y 2.424 * [taylor]: Taking taylor expansion of (sin y) in y 2.424 * [taylor]: Taking taylor expansion of y in y 2.449 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 2.449 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 2.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 2.449 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 2.449 * [taylor]: Taking taylor expansion of 1/3 in y 2.449 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 2.449 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.449 * [taylor]: Taking taylor expansion of y in y 2.450 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 2.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 2.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 2.450 * [taylor]: Taking taylor expansion of 1/3 in y 2.450 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 2.450 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.450 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.450 * [taylor]: Taking taylor expansion of y in y 2.486 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 2.486 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 2.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 2.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 2.486 * [taylor]: Taking taylor expansion of 1/3 in y 2.486 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 2.486 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.486 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.486 * [taylor]: Taking taylor expansion of -1 in y 2.486 * [taylor]: Taking taylor expansion of y in y 2.486 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 2.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 2.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 2.486 * [taylor]: Taking taylor expansion of 1/3 in y 2.486 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 2.486 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.486 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.486 * [taylor]: Taking taylor expansion of -1 in y 2.486 * [taylor]: Taking taylor expansion of y in y 2.519 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 2.519 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0 2.519 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 2.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 2.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 2.519 * [taylor]: Taking taylor expansion of 1/3 in y 2.519 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 2.519 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 2.519 * [taylor]: Taking taylor expansion of (sin y) in y 2.519 * [taylor]: Taking taylor expansion of y in y 2.520 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 2.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 2.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 2.520 * [taylor]: Taking taylor expansion of 1/3 in y 2.520 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 2.520 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 2.520 * [taylor]: Taking taylor expansion of (sin y) in y 2.520 * [taylor]: Taking taylor expansion of y in y 2.547 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0 2.547 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 2.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 2.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 2.547 * [taylor]: Taking taylor expansion of 1/3 in y 2.547 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 2.547 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 2.547 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.547 * [taylor]: Taking taylor expansion of y in y 2.548 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 2.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 2.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 2.548 * [taylor]: Taking taylor expansion of 1/3 in y 2.548 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 2.548 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 2.548 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.548 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.548 * [taylor]: Taking taylor expansion of y in y 2.589 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0 2.589 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 2.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 2.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 2.589 * [taylor]: Taking taylor expansion of 1/3 in y 2.589 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 2.589 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 2.589 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.589 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.589 * [taylor]: Taking taylor expansion of -1 in y 2.590 * [taylor]: Taking taylor expansion of y in y 2.590 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 2.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 2.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 2.590 * [taylor]: Taking taylor expansion of 1/3 in y 2.590 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 2.590 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 2.590 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.590 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.590 * [taylor]: Taking taylor expansion of -1 in y 2.590 * [taylor]: Taking taylor expansion of y in y 2.628 * * * [progress]: simplifying candidates 2.629 * [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) 2.632 * * [simplify]: iteration 0 : 75 enodes (cost 710 ) 2.653 * * [simplify]: iteration 1 : 156 enodes (cost 628 ) 2.680 * * [simplify]: iteration 2 : 408 enodes (cost 534 ) 2.851 * * [simplify]: iteration 3 : 1332 enodes (cost 512 ) 3.784 * * [simplify]: iteration 4 : 4355 enodes (cost 505 ) 5.851 * * [simplify]: iteration done : 5000 enodes (cost 505 ) 5.852 * [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)))) (* (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 (sqrt (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))) 5) (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))) (pow (sin y) 2/3) (pow (sin y) 2/3) 5.852 * * * [progress]: adding candidates to table 6.074 * * [progress]: iteration 3 / 4 6.074 * * * [progress]: picking best candidate 6.093 * * * * [pick]: Picked # 6.093 * * * [progress]: localizing error 6.110 * * * [progress]: generating rewritten candidates 6.110 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 2) 6.111 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 2) 6.112 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1) 6.113 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 6.115 * * * [progress]: generating series expansions 6.115 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 2) 6.115 * [approximate]: Taking taylor expansion of (pow (sin y) 1/9) in (y) around 0 6.115 * [taylor]: Taking taylor expansion of (pow (sin y) 1/9) in y 6.115 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin y)))) in y 6.115 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin y))) in y 6.115 * [taylor]: Taking taylor expansion of 1/9 in y 6.115 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.115 * [taylor]: Taking taylor expansion of (sin y) in y 6.115 * [taylor]: Taking taylor expansion of y in y 6.116 * [taylor]: Taking taylor expansion of (pow (sin y) 1/9) in y 6.117 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin y)))) in y 6.117 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin y))) in y 6.117 * [taylor]: Taking taylor expansion of 1/9 in y 6.117 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.117 * [taylor]: Taking taylor expansion of (sin y) in y 6.117 * [taylor]: Taking taylor expansion of y in y 6.142 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/9) in (y) around 0 6.142 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/9) in y 6.142 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (/ 1 y))))) in y 6.142 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (/ 1 y)))) in y 6.142 * [taylor]: Taking taylor expansion of 1/9 in y 6.142 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.142 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.142 * [taylor]: Taking taylor expansion of y in y 6.143 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/9) in y 6.143 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (/ 1 y))))) in y 6.143 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (/ 1 y)))) in y 6.143 * [taylor]: Taking taylor expansion of 1/9 in y 6.143 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.143 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.143 * [taylor]: Taking taylor expansion of y in y 6.178 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/9) in (y) around 0 6.178 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/9) in y 6.179 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (/ -1 y))))) in y 6.179 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (/ -1 y)))) in y 6.179 * [taylor]: Taking taylor expansion of 1/9 in y 6.179 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.179 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.179 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.179 * [taylor]: Taking taylor expansion of -1 in y 6.179 * [taylor]: Taking taylor expansion of y in y 6.179 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/9) in y 6.179 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (/ -1 y))))) in y 6.179 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (/ -1 y)))) in y 6.179 * [taylor]: Taking taylor expansion of 1/9 in y 6.179 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.179 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.179 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.179 * [taylor]: Taking taylor expansion of -1 in y 6.179 * [taylor]: Taking taylor expansion of y in y 6.212 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 2) 6.212 * [approximate]: Taking taylor expansion of (pow (sin y) 1/9) in (y) around 0 6.212 * [taylor]: Taking taylor expansion of (pow (sin y) 1/9) in y 6.212 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin y)))) in y 6.212 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin y))) in y 6.212 * [taylor]: Taking taylor expansion of 1/9 in y 6.212 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.212 * [taylor]: Taking taylor expansion of (sin y) in y 6.212 * [taylor]: Taking taylor expansion of y in y 6.213 * [taylor]: Taking taylor expansion of (pow (sin y) 1/9) in y 6.213 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin y)))) in y 6.213 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin y))) in y 6.213 * [taylor]: Taking taylor expansion of 1/9 in y 6.213 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.213 * [taylor]: Taking taylor expansion of (sin y) in y 6.213 * [taylor]: Taking taylor expansion of y in y 6.240 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/9) in (y) around 0 6.240 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/9) in y 6.240 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (/ 1 y))))) in y 6.240 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (/ 1 y)))) in y 6.240 * [taylor]: Taking taylor expansion of 1/9 in y 6.240 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.240 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.240 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.240 * [taylor]: Taking taylor expansion of y in y 6.241 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/9) in y 6.241 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (/ 1 y))))) in y 6.241 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (/ 1 y)))) in y 6.241 * [taylor]: Taking taylor expansion of 1/9 in y 6.241 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.241 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.241 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.241 * [taylor]: Taking taylor expansion of y in y 6.273 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/9) in (y) around 0 6.274 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/9) in y 6.274 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (/ -1 y))))) in y 6.274 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (/ -1 y)))) in y 6.274 * [taylor]: Taking taylor expansion of 1/9 in y 6.274 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.274 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.274 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.274 * [taylor]: Taking taylor expansion of -1 in y 6.274 * [taylor]: Taking taylor expansion of y in y 6.274 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/9) in y 6.274 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (/ -1 y))))) in y 6.274 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (/ -1 y)))) in y 6.274 * [taylor]: Taking taylor expansion of 1/9 in y 6.274 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.274 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.274 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.274 * [taylor]: Taking taylor expansion of -1 in y 6.274 * [taylor]: Taking taylor expansion of y in y 6.306 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1) 6.306 * [approximate]: Taking taylor expansion of (pow (sin y) 1/9) in (y) around 0 6.306 * [taylor]: Taking taylor expansion of (pow (sin y) 1/9) in y 6.306 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin y)))) in y 6.306 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin y))) in y 6.306 * [taylor]: Taking taylor expansion of 1/9 in y 6.306 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.306 * [taylor]: Taking taylor expansion of (sin y) in y 6.306 * [taylor]: Taking taylor expansion of y in y 6.310 * [taylor]: Taking taylor expansion of (pow (sin y) 1/9) in y 6.310 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin y)))) in y 6.310 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin y))) in y 6.310 * [taylor]: Taking taylor expansion of 1/9 in y 6.310 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.310 * [taylor]: Taking taylor expansion of (sin y) in y 6.310 * [taylor]: Taking taylor expansion of y in y 6.335 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/9) in (y) around 0 6.335 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/9) in y 6.335 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (/ 1 y))))) in y 6.335 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (/ 1 y)))) in y 6.335 * [taylor]: Taking taylor expansion of 1/9 in y 6.335 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.335 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.335 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.335 * [taylor]: Taking taylor expansion of y in y 6.335 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/9) in y 6.335 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (/ 1 y))))) in y 6.335 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (/ 1 y)))) in y 6.335 * [taylor]: Taking taylor expansion of 1/9 in y 6.335 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.335 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.335 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.335 * [taylor]: Taking taylor expansion of y in y 6.367 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/9) in (y) around 0 6.368 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/9) in y 6.368 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (/ -1 y))))) in y 6.368 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (/ -1 y)))) in y 6.368 * [taylor]: Taking taylor expansion of 1/9 in y 6.368 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.368 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.368 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.368 * [taylor]: Taking taylor expansion of -1 in y 6.368 * [taylor]: Taking taylor expansion of y in y 6.368 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/9) in y 6.368 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (/ -1 y))))) in y 6.368 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (/ -1 y)))) in y 6.368 * [taylor]: Taking taylor expansion of 1/9 in y 6.368 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.368 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.368 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.368 * [taylor]: Taking taylor expansion of -1 in y 6.368 * [taylor]: Taking taylor expansion of y in y 6.403 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 6.403 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 6.403 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.403 * [taylor]: Taking taylor expansion of 1/3 in y 6.403 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.403 * [taylor]: Taking taylor expansion of (sin y) in y 6.403 * [taylor]: Taking taylor expansion of y in y 6.404 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.404 * [taylor]: Taking taylor expansion of 1/3 in y 6.404 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.404 * [taylor]: Taking taylor expansion of (sin y) in y 6.404 * [taylor]: Taking taylor expansion of y in y 6.428 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 6.428 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.428 * [taylor]: Taking taylor expansion of 1/3 in y 6.428 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.428 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.428 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.428 * [taylor]: Taking taylor expansion of y in y 6.429 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.429 * [taylor]: Taking taylor expansion of 1/3 in y 6.429 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.429 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.429 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.429 * [taylor]: Taking taylor expansion of y in y 6.461 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 6.461 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.461 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.461 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.461 * [taylor]: Taking taylor expansion of 1/3 in y 6.461 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.461 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.461 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.461 * [taylor]: Taking taylor expansion of -1 in y 6.461 * [taylor]: Taking taylor expansion of y in y 6.462 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.462 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.462 * [taylor]: Taking taylor expansion of 1/3 in y 6.462 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.462 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.462 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.462 * [taylor]: Taking taylor expansion of -1 in y 6.462 * [taylor]: Taking taylor expansion of y in y 6.497 * * * [progress]: simplifying candidates 6.498 * [simplify]: Simplifying using # : (log (cbrt (cbrt (sin y)))) (exp (cbrt (cbrt (sin y)))) (cbrt (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (cbrt (sqrt (sin y)))) (cbrt (cbrt (sqrt (sin y)))) (cbrt (cbrt 1)) (cbrt (cbrt (sin y))) (cbrt (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (sqrt (cbrt (sin y)))) (cbrt (sqrt (cbrt (sin y)))) (cbrt 1) (cbrt (cbrt (sin y))) (* (cbrt (cbrt (cbrt (sin y)))) (cbrt (cbrt (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y)))) (sqrt (cbrt (cbrt (sin y)))) (sqrt (cbrt (cbrt (sin y)))) (log (cbrt (cbrt (sin y)))) (exp (cbrt (cbrt (sin y)))) (cbrt (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (cbrt (sqrt (sin y)))) (cbrt (cbrt (sqrt (sin y)))) (cbrt (cbrt 1)) (cbrt (cbrt (sin y))) (cbrt (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (sqrt (cbrt (sin y)))) (cbrt (sqrt (cbrt (sin y)))) (cbrt 1) (cbrt (cbrt (sin y))) (* (cbrt (cbrt (cbrt (sin y)))) (cbrt (cbrt (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y)))) (sqrt (cbrt (cbrt (sin y)))) (sqrt (cbrt (cbrt (sin y)))) (log (cbrt (cbrt (sin y)))) (exp (cbrt (cbrt (sin y)))) (cbrt (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (cbrt (sqrt (sin y)))) (cbrt (cbrt (sqrt (sin y)))) (cbrt (cbrt 1)) (cbrt (cbrt (sin y))) (cbrt (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (sqrt (cbrt (sin y)))) (cbrt (sqrt (cbrt (sin y)))) (cbrt 1) (cbrt (cbrt (sin y))) (* (cbrt (cbrt (cbrt (sin y)))) (cbrt (cbrt (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y)))) (sqrt (cbrt (cbrt (sin y)))) (sqrt (cbrt (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))) (- (pow y 1/9) (+ (* 1/54 (pow (pow y 19) 1/9)) (* 13/29160 (pow (pow y 37) 1/9)))) (pow (sin y) 1/9) (pow (sin y) 1/9) (- (pow y 1/9) (+ (* 1/54 (pow (pow y 19) 1/9)) (* 13/29160 (pow (pow y 37) 1/9)))) (pow (sin y) 1/9) (pow (sin y) 1/9) (- (pow y 1/9) (+ (* 1/54 (pow (pow y 19) 1/9)) (* 13/29160 (pow (pow y 37) 1/9)))) (pow (sin y) 1/9) (pow (sin y) 1/9) (- (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) 6.500 * * [simplify]: iteration 0 : 56 enodes (cost 509 ) 6.509 * * [simplify]: iteration 1 : 113 enodes (cost 494 ) 6.526 * * [simplify]: iteration 2 : 224 enodes (cost 452 ) 6.565 * * [simplify]: iteration 3 : 479 enodes (cost 440 ) 6.662 * * [simplify]: iteration 4 : 1291 enodes (cost 440 ) 7.196 * * [simplify]: iteration 5 : 4949 enodes (cost 440 ) 8.775 * * [simplify]: iteration done : 5000 enodes (cost 440 ) 8.775 * [simplify]: Simplified to: (log (cbrt (cbrt (sin y)))) (exp (cbrt (cbrt (sin y)))) (cbrt (cbrt (pow (sin y) 2/3))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (cbrt (sqrt (sin y)))) (cbrt (cbrt (sqrt (sin y)))) 1 (cbrt (cbrt (sin y))) (cbrt (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (sqrt (cbrt (sin y)))) (cbrt (sqrt (cbrt (sin y)))) 1 (cbrt (cbrt (sin y))) (* (cbrt (cbrt (cbrt (sin y)))) (cbrt (cbrt (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (sin y)) (sqrt (cbrt (cbrt (sin y)))) (sqrt (cbrt (cbrt (sin y)))) (log (cbrt (cbrt (sin y)))) (exp (cbrt (cbrt (sin y)))) (cbrt (cbrt (pow (sin y) 2/3))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (cbrt (sqrt (sin y)))) (cbrt (cbrt (sqrt (sin y)))) 1 (cbrt (cbrt (sin y))) (cbrt (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (sqrt (cbrt (sin y)))) (cbrt (sqrt (cbrt (sin y)))) 1 (cbrt (cbrt (sin y))) (* (cbrt (cbrt (cbrt (sin y)))) (cbrt (cbrt (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (sin y)) (sqrt (cbrt (cbrt (sin y)))) (sqrt (cbrt (cbrt (sin y)))) (log (cbrt (cbrt (sin y)))) (exp (cbrt (cbrt (sin y)))) (cbrt (cbrt (pow (sin y) 2/3))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (cbrt (sqrt (sin y)))) (cbrt (cbrt (sqrt (sin y)))) 1 (cbrt (cbrt (sin y))) (cbrt (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (sqrt (cbrt (sin y)))) (cbrt (sqrt (cbrt (sin y)))) 1 (cbrt (cbrt (sin y))) (* (cbrt (cbrt (cbrt (sin y)))) (cbrt (cbrt (cbrt (sin y))))) (cbrt (cbrt (cbrt (sin y)))) (cbrt (sin y)) (sqrt (cbrt (cbrt (sin y)))) (sqrt (cbrt (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))) (- (pow y 1/9) (+ (* 1/54 (pow (pow y 19) 1/9)) (* 13/29160 (pow (pow y 37) 1/9)))) (pow (sin y) 1/9) (pow (sin y) 1/9) (- (pow y 1/9) (+ (* 1/54 (pow (pow y 19) 1/9)) (* 13/29160 (pow (pow y 37) 1/9)))) (pow (sin y) 1/9) (pow (sin y) 1/9) (- (pow y 1/9) (+ (* 1/54 (pow (pow y 19) 1/9)) (* 13/29160 (pow (pow y 37) 1/9)))) (pow (sin y) 1/9) (pow (sin y) 1/9) (- (- (cbrt y) (* 1/3240 (cbrt (pow y 13)))) (* (cbrt (pow y 7)) 1/18)) (cbrt (sin y)) (cbrt (sin y)) 8.776 * * * [progress]: adding candidates to table 8.998 * * [progress]: iteration 4 / 4 8.998 * * * [progress]: picking best candidate 9.013 * * * * [pick]: Picked # 9.014 * * * [progress]: localizing error 9.028 * * * [progress]: generating rewritten candidates 9.028 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 9.030 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 9.030 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 9.045 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 9.057 * * * [progress]: generating series expansions 9.057 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 9.058 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0 9.058 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 9.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 9.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 9.058 * [taylor]: Taking taylor expansion of 1/3 in y 9.058 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 9.058 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 9.058 * [taylor]: Taking taylor expansion of (sin y) in y 9.058 * [taylor]: Taking taylor expansion of y in y 9.059 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 9.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 9.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 9.059 * [taylor]: Taking taylor expansion of 1/3 in y 9.059 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 9.059 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 9.059 * [taylor]: Taking taylor expansion of (sin y) in y 9.060 * [taylor]: Taking taylor expansion of y in y 9.087 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0 9.087 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 9.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 9.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 9.087 * [taylor]: Taking taylor expansion of 1/3 in y 9.087 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 9.087 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 9.087 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.087 * [taylor]: Taking taylor expansion of y in y 9.088 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 9.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 9.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 9.088 * [taylor]: Taking taylor expansion of 1/3 in y 9.088 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 9.088 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 9.088 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.088 * [taylor]: Taking taylor expansion of y in y 9.126 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0 9.126 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 9.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 9.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 9.126 * [taylor]: Taking taylor expansion of 1/3 in y 9.126 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 9.126 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 9.126 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.126 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.126 * [taylor]: Taking taylor expansion of -1 in y 9.126 * [taylor]: Taking taylor expansion of y in y 9.127 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 9.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 9.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 9.127 * [taylor]: Taking taylor expansion of 1/3 in y 9.127 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 9.127 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 9.127 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.127 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.127 * [taylor]: Taking taylor expansion of -1 in y 9.127 * [taylor]: Taking taylor expansion of y in y 9.169 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 9.169 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 9.169 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 9.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 9.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 9.169 * [taylor]: Taking taylor expansion of 1/3 in y 9.169 * [taylor]: Taking taylor expansion of (log (sin y)) in y 9.169 * [taylor]: Taking taylor expansion of (sin y) in y 9.169 * [taylor]: Taking taylor expansion of y in y 9.170 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 9.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 9.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 9.171 * [taylor]: Taking taylor expansion of 1/3 in y 9.171 * [taylor]: Taking taylor expansion of (log (sin y)) in y 9.171 * [taylor]: Taking taylor expansion of (sin y) in y 9.171 * [taylor]: Taking taylor expansion of y in y 9.195 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 9.195 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 9.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 9.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 9.195 * [taylor]: Taking taylor expansion of 1/3 in y 9.195 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 9.195 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.195 * [taylor]: Taking taylor expansion of y in y 9.195 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 9.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 9.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 9.195 * [taylor]: Taking taylor expansion of 1/3 in y 9.195 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 9.195 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.195 * [taylor]: Taking taylor expansion of y in y 9.231 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 9.231 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 9.232 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 9.232 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 9.232 * [taylor]: Taking taylor expansion of 1/3 in y 9.232 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 9.232 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.232 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.232 * [taylor]: Taking taylor expansion of -1 in y 9.232 * [taylor]: Taking taylor expansion of y in y 9.232 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 9.232 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 9.232 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 9.232 * [taylor]: Taking taylor expansion of 1/3 in y 9.232 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 9.232 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.232 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.232 * [taylor]: Taking taylor expansion of -1 in y 9.232 * [taylor]: Taking taylor expansion of y in y 9.265 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 9.265 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 9.265 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 9.265 * [taylor]: Taking taylor expansion of (sin y) in y 9.265 * [taylor]: Taking taylor expansion of y in y 9.265 * [taylor]: Taking taylor expansion of z in y 9.265 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 9.265 * [taylor]: Taking taylor expansion of (sin y) in z 9.265 * [taylor]: Taking taylor expansion of y in z 9.265 * [taylor]: Taking taylor expansion of z in z 9.265 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 9.265 * [taylor]: Taking taylor expansion of (sin y) in z 9.265 * [taylor]: Taking taylor expansion of y in z 9.265 * [taylor]: Taking taylor expansion of z in z 9.265 * [taylor]: Taking taylor expansion of 0 in y 9.267 * [taylor]: Taking taylor expansion of (sin y) in y 9.267 * [taylor]: Taking taylor expansion of y in y 9.270 * [taylor]: Taking taylor expansion of 0 in y 9.273 * [taylor]: Taking taylor expansion of 0 in y 9.277 * [taylor]: Taking taylor expansion of 0 in y 9.278 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 9.278 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 9.278 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.278 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.278 * [taylor]: Taking taylor expansion of y in y 9.278 * [taylor]: Taking taylor expansion of z in y 9.278 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 9.278 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 9.278 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.278 * [taylor]: Taking taylor expansion of y in z 9.278 * [taylor]: Taking taylor expansion of z in z 9.279 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 9.279 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 9.279 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.279 * [taylor]: Taking taylor expansion of y in z 9.279 * [taylor]: Taking taylor expansion of z in z 9.279 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.279 * [taylor]: Taking taylor expansion of y in y 9.281 * [taylor]: Taking taylor expansion of 0 in y 9.284 * [taylor]: Taking taylor expansion of 0 in y 9.288 * [taylor]: Taking taylor expansion of 0 in y 9.289 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 9.289 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 9.289 * [taylor]: Taking taylor expansion of -1 in y 9.289 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 9.289 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.289 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.289 * [taylor]: Taking taylor expansion of -1 in y 9.289 * [taylor]: Taking taylor expansion of y in y 9.289 * [taylor]: Taking taylor expansion of z in y 9.289 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 9.289 * [taylor]: Taking taylor expansion of -1 in z 9.289 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 9.289 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 9.289 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.289 * [taylor]: Taking taylor expansion of -1 in z 9.289 * [taylor]: Taking taylor expansion of y in z 9.289 * [taylor]: Taking taylor expansion of z in z 9.289 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 9.289 * [taylor]: Taking taylor expansion of -1 in z 9.289 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 9.289 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 9.289 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.289 * [taylor]: Taking taylor expansion of -1 in z 9.290 * [taylor]: Taking taylor expansion of y in z 9.290 * [taylor]: Taking taylor expansion of z in z 9.290 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 9.290 * [taylor]: Taking taylor expansion of -1 in y 9.290 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.290 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.290 * [taylor]: Taking taylor expansion of -1 in y 9.290 * [taylor]: Taking taylor expansion of y in y 9.293 * [taylor]: Taking taylor expansion of 0 in y 9.296 * [taylor]: Taking taylor expansion of 0 in y 9.304 * [taylor]: Taking taylor expansion of 0 in y 9.304 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 9.305 * [approximate]: Taking taylor expansion of (* (pow (pow (sin y) 2) 1/3) z) in (z y) around 0 9.305 * [taylor]: Taking taylor expansion of (* (pow (pow (sin y) 2) 1/3) z) in y 9.305 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 9.305 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 9.305 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 9.305 * [taylor]: Taking taylor expansion of 1/3 in y 9.305 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 9.305 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 9.305 * [taylor]: Taking taylor expansion of (sin y) in y 9.305 * [taylor]: Taking taylor expansion of y in y 9.306 * [taylor]: Taking taylor expansion of z in y 9.306 * [taylor]: Taking taylor expansion of (* (pow (pow (sin y) 2) 1/3) z) in z 9.306 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in z 9.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in z 9.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in z 9.306 * [taylor]: Taking taylor expansion of 1/3 in z 9.306 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in z 9.306 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z 9.306 * [taylor]: Taking taylor expansion of (sin y) in z 9.306 * [taylor]: Taking taylor expansion of y in z 9.307 * [taylor]: Taking taylor expansion of z in z 9.307 * [taylor]: Taking taylor expansion of (* (pow (pow (sin y) 2) 1/3) z) in z 9.307 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in z 9.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in z 9.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in z 9.307 * [taylor]: Taking taylor expansion of 1/3 in z 9.307 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in z 9.307 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z 9.307 * [taylor]: Taking taylor expansion of (sin y) in z 9.307 * [taylor]: Taking taylor expansion of y in z 9.307 * [taylor]: Taking taylor expansion of z in z 9.308 * [taylor]: Taking taylor expansion of 0 in y 9.311 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 9.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 9.311 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 9.311 * [taylor]: Taking taylor expansion of 1/3 in y 9.311 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 9.311 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 9.311 * [taylor]: Taking taylor expansion of (sin y) in y 9.311 * [taylor]: Taking taylor expansion of y in y 9.317 * [taylor]: Taking taylor expansion of 0 in y 9.328 * [taylor]: Taking taylor expansion of 0 in y 9.328 * [approximate]: Taking taylor expansion of (* (pow (pow (sin (/ 1 y)) 2) 1/3) (/ 1 z)) in (z y) around 0 9.328 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (/ 1 y)) 2) 1/3) (/ 1 z)) in y 9.328 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 9.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 9.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 9.328 * [taylor]: Taking taylor expansion of 1/3 in y 9.328 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 9.328 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 9.328 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.328 * [taylor]: Taking taylor expansion of y in y 9.329 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.329 * [taylor]: Taking taylor expansion of z in y 9.329 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (/ 1 y)) 2) 1/3) (/ 1 z)) in z 9.329 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in z 9.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in z 9.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in z 9.329 * [taylor]: Taking taylor expansion of 1/3 in z 9.329 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in z 9.329 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z 9.329 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 9.329 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.329 * [taylor]: Taking taylor expansion of y in z 9.330 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.330 * [taylor]: Taking taylor expansion of z in z 9.330 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (/ 1 y)) 2) 1/3) (/ 1 z)) in z 9.330 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in z 9.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in z 9.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in z 9.330 * [taylor]: Taking taylor expansion of 1/3 in z 9.330 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in z 9.330 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z 9.330 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 9.330 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.330 * [taylor]: Taking taylor expansion of y in z 9.331 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.331 * [taylor]: Taking taylor expansion of z in z 9.331 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 9.331 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 9.331 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 9.331 * [taylor]: Taking taylor expansion of 1/3 in y 9.331 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 9.331 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 9.331 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 9.331 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.331 * [taylor]: Taking taylor expansion of y in y 9.336 * [taylor]: Taking taylor expansion of 0 in y 9.343 * [taylor]: Taking taylor expansion of 0 in y 9.354 * [taylor]: Taking taylor expansion of 0 in y 9.354 * [approximate]: Taking taylor expansion of (* -1 (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z))) in (z y) around 0 9.354 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z))) in y 9.354 * [taylor]: Taking taylor expansion of -1 in y 9.354 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z)) in y 9.354 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 9.354 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 9.354 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 9.354 * [taylor]: Taking taylor expansion of 1/3 in y 9.354 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 9.354 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 9.354 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.354 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.354 * [taylor]: Taking taylor expansion of -1 in y 9.354 * [taylor]: Taking taylor expansion of y in y 9.355 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.355 * [taylor]: Taking taylor expansion of z in y 9.355 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z))) in z 9.355 * [taylor]: Taking taylor expansion of -1 in z 9.355 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z)) in z 9.355 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in z 9.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in z 9.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in z 9.355 * [taylor]: Taking taylor expansion of 1/3 in z 9.355 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in z 9.355 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z 9.355 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 9.355 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.355 * [taylor]: Taking taylor expansion of -1 in z 9.355 * [taylor]: Taking taylor expansion of y in z 9.356 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.356 * [taylor]: Taking taylor expansion of z in z 9.356 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z))) in z 9.356 * [taylor]: Taking taylor expansion of -1 in z 9.356 * [taylor]: Taking taylor expansion of (* (pow (pow (sin (/ -1 y)) 2) 1/3) (/ 1 z)) in z 9.356 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in z 9.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in z 9.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in z 9.356 * [taylor]: Taking taylor expansion of 1/3 in z 9.356 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in z 9.356 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z 9.356 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 9.356 * [taylor]: Taking taylor expansion of (/ -1 y) in z 9.356 * [taylor]: Taking taylor expansion of -1 in z 9.356 * [taylor]: Taking taylor expansion of y in z 9.357 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.357 * [taylor]: Taking taylor expansion of z in z 9.358 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (sin (/ -1 y)) 2) 1/3)) in y 9.358 * [taylor]: Taking taylor expansion of -1 in y 9.358 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 9.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 9.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 9.358 * [taylor]: Taking taylor expansion of 1/3 in y 9.358 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 9.358 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 9.358 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 9.358 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.358 * [taylor]: Taking taylor expansion of -1 in y 9.358 * [taylor]: Taking taylor expansion of y in y 9.363 * [taylor]: Taking taylor expansion of 0 in y 9.372 * [taylor]: Taking taylor expansion of 0 in y 9.384 * [taylor]: Taking taylor expansion of 0 in y 9.385 * * * [progress]: simplifying candidates 9.386 * [simplify]: Simplifying using # : (log (cbrt (pow (sin y) 2))) (exp (cbrt (pow (sin y) 2))) (cbrt (pow (* (cbrt (sin y)) (cbrt (sin y))) 2)) (cbrt (pow (cbrt (sin y)) 2)) (cbrt (pow (sqrt (sin y)) 2)) (cbrt (pow (sqrt (sin y)) 2)) (cbrt (pow 1 2)) (cbrt (pow (sin y) 2)) (cbrt (sin y)) (cbrt (sin y)) (cbrt (* (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2)))) (cbrt (cbrt (pow (sin y) 2))) (cbrt (sqrt (pow (sin y) 2))) (cbrt (sqrt (pow (sin y) 2))) (cbrt 1) (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) (/ 2 2))) (cbrt (pow (sin y) (/ 2 2))) (* (cbrt (cbrt (pow (sin y) 2))) (cbrt (cbrt (pow (sin y) 2)))) (cbrt (cbrt (pow (sin y) 2))) (* (* (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2))) (cbrt (pow (sin y) 2))) (sqrt (cbrt (pow (sin y) 2))) (sqrt (cbrt (pow (sin y) 2))) (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))) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y))) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y))) (+ (+ (log z) (log (cbrt (pow (sin y) 2)))) (log (cbrt (sin y)))) (+ (log (* z (cbrt (pow (sin y) 2)))) (log (cbrt (sin y)))) (log (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (exp (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (* (* (* (* z z) z) (pow (sin y) 2)) (sin y)) (* (* (* (* z (cbrt (pow (sin y) 2))) (* z (cbrt (pow (sin y) 2)))) (* z (cbrt (pow (sin y) 2)))) (sin y)) (* (cbrt (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (cbrt (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y))))) (cbrt (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (* (* (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y))) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (sqrt (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (sqrt (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (* (* z (cbrt (pow (sin y) 2))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sqrt (sin y)))) (* (* z (cbrt (pow (sin y) 2))) (cbrt 1)) (* (* z (cbrt (pow (sin y) 2))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (* (* z (cbrt (pow (sin y) 2))) (sqrt (cbrt (sin y)))) (* (* z (cbrt (pow (sin y) 2))) 1) (* (cbrt (pow (sin y) 2)) (cbrt (sin y))) (* z (cbrt (pow (sin y) 2))) (+ (log z) (log (cbrt (pow (sin y) 2)))) (log (* z (cbrt (pow (sin y) 2)))) (exp (* z (cbrt (pow (sin y) 2)))) (* (* (* z z) z) (pow (sin y) 2)) (* (cbrt (* z (cbrt (pow (sin y) 2)))) (cbrt (* z (cbrt (pow (sin y) 2))))) (cbrt (* z (cbrt (pow (sin y) 2)))) (* (* (* z (cbrt (pow (sin y) 2))) (* z (cbrt (pow (sin y) 2)))) (* z (cbrt (pow (sin y) 2)))) (sqrt (* z (cbrt (pow (sin y) 2)))) (sqrt (* z (cbrt (pow (sin y) 2)))) (* (sqrt z) (cbrt (pow (sqrt (sin y)) 2))) (* (sqrt z) (cbrt (pow (sqrt (sin y)) 2))) (* (sqrt z) (cbrt (sin y))) (* (sqrt z) (cbrt (sin y))) (* (sqrt z) (cbrt (sqrt (pow (sin y) 2)))) (* (sqrt z) (cbrt (sqrt (pow (sin y) 2)))) (* (sqrt z) (cbrt (pow (sin y) (/ 2 2)))) (* (sqrt z) (cbrt (pow (sin y) (/ 2 2)))) (* (sqrt z) (sqrt (cbrt (pow (sin y) 2)))) (* (sqrt z) (sqrt (cbrt (pow (sin y) 2)))) (* z (cbrt (pow (* (cbrt (sin y)) (cbrt (sin y))) 2))) (* z (cbrt (pow (sqrt (sin y)) 2))) (* z (cbrt (pow 1 2))) (* z (cbrt (sin y))) (* z (cbrt (* (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2))))) (* z (cbrt (sqrt (pow (sin y) 2)))) (* z (cbrt 1)) (* z (cbrt (pow (sin y) (/ 2 2)))) (* z (* (cbrt (cbrt (pow (sin y) 2))) (cbrt (cbrt (pow (sin y) 2))))) (* z (sqrt (cbrt (pow (sin y) 2)))) (* z 1) (* (cbrt z) (cbrt (pow (sin y) 2))) (* (sqrt z) (cbrt (pow (sin y) 2))) (* z (cbrt (pow (sin y) 2))) (- (+ (* 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) (- (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) (* z y) (* (sin y) z) (* (sin y) z) (* z (pow (pow y 2) 1/3)) (* (pow (pow (sin y) 2) 1/3) z) (* (pow (pow (sin y) 2) 1/3) z) 9.393 * * [simplify]: iteration 0 : 128 enodes (cost 911 ) 9.425 * * [simplify]: iteration 1 : 290 enodes (cost 853 ) 9.510 * * [simplify]: iteration 2 : 822 enodes (cost 732 ) 10.190 * * [simplify]: iteration 3 : 3204 enodes (cost 714 ) 11.299 * * [simplify]: iteration done : 5000 enodes (cost 714 ) 11.299 * [simplify]: Simplified to: (log (cbrt (pow (sin y) 2))) (exp (cbrt (pow (sin y) 2))) (cbrt (pow (sin y) 4/3)) (cbrt (pow (sin y) 2/3)) (cbrt (sin y)) (cbrt (sin y)) 1 (cbrt (pow (sin y) 2)) (cbrt (sin y)) (cbrt (sin y)) (cbrt (pow (pow (sin y) 2) 2/3)) (cbrt (cbrt (pow (sin y) 2))) (cbrt (fabs (sin y))) (cbrt (fabs (sin y))) 1 (cbrt (pow (sin y) 2)) (cbrt (sin y)) (cbrt (sin y)) (* (cbrt (cbrt (pow (sin y) 2))) (cbrt (cbrt (pow (sin y) 2)))) (cbrt (cbrt (pow (sin y) 2))) (pow (sin y) 2) (sqrt (cbrt (pow (sin y) 2))) (sqrt (cbrt (pow (sin y) 2))) (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))) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y))) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y))) (log (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (log (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (log (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (exp (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (* (pow (sin y) 3) (pow z 3)) (* (pow (sin y) 3) (pow z 3)) (* (cbrt (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (cbrt (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y))))) (cbrt (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (* (pow (sin y) 3) (pow z 3)) (sqrt (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (sqrt (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))) (* (* z (cbrt (pow (sin y) 2))) (cbrt (pow (sin y) 2/3))) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sqrt (sin y)))) (* z (cbrt (pow (sin y) 2))) (* (* z (cbrt (pow (sin y) 2))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (* (* z (cbrt (pow (sin y) 2))) (sqrt (cbrt (sin y)))) (* z (cbrt (pow (sin y) 2))) (* (cbrt (pow (sin y) 2)) (cbrt (sin y))) (* z (cbrt (pow (sin y) 2))) (log (* z (cbrt (pow (sin y) 2)))) (log (* z (cbrt (pow (sin y) 2)))) (exp (* z (cbrt (pow (sin y) 2)))) (* (pow z 3) (pow (sin y) 2)) (* (cbrt (* z (cbrt (pow (sin y) 2)))) (cbrt (* z (cbrt (pow (sin y) 2))))) (cbrt (* z (cbrt (pow (sin y) 2)))) (* (pow z 3) (pow (sin y) 2)) (sqrt (* z (cbrt (pow (sin y) 2)))) (sqrt (* z (cbrt (pow (sin y) 2)))) (* (sqrt z) (cbrt (sin y))) (* (sqrt z) (cbrt (sin y))) (* (sqrt z) (cbrt (sin y))) (* (sqrt z) (cbrt (sin y))) (* (sqrt z) (cbrt (fabs (sin y)))) (* (sqrt z) (cbrt (fabs (sin y)))) (* (sqrt z) (cbrt (sin y))) (* (sqrt z) (cbrt (sin y))) (* (sqrt z) (sqrt (cbrt (pow (sin y) 2)))) (* (sqrt z) (sqrt (cbrt (pow (sin y) 2)))) (* z (cbrt (pow (sin y) 4/3))) (* z (cbrt (sin y))) z (* z (cbrt (sin y))) (* (cbrt (pow (pow (sin y) 2) 2/3)) z) (* z (cbrt (fabs (sin y)))) z (* z (cbrt (sin y))) (* z (* (cbrt (cbrt (pow (sin y) 2))) (cbrt (cbrt (pow (sin y) 2))))) (* z (sqrt (cbrt (pow (sin y) 2)))) z (* (cbrt z) (cbrt (pow (sin y) 2))) (* (sqrt z) (cbrt (pow (sin y) 2))) (* z (cbrt (pow (sin y) 2))) (+ (* 1/405 (cbrt (pow y 14))) (- (pow y 2/3) (* 1/9 (cbrt (pow y 8))))) (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2)) (- (- (cbrt y) (* 1/3240 (cbrt (pow y 13)))) (* 1/18 (cbrt (pow y 7)))) (cbrt (sin y)) (cbrt (sin y)) (* z y) (* (sin y) z) (* (sin y) z) (* z (cbrt (pow y 2))) (* z (cbrt (pow (sin y) 2))) (* z (cbrt (pow (sin y) 2))) 11.300 * * * [progress]: adding candidates to table 11.544 * [progress]: [Phase 3 of 3] Extracting. 11.545 * * [regime]: Finding splitpoints for: (# # # # # # # #) 11.547 * * * [regime-changes]: Trying 4 branch expressions: ((- (+ x (cos y)) (* z (sin y))) z y x) 11.547 * * * * [regimes]: Trying to branch on (- (+ x (cos y)) (* z (sin y))) from (# # # # # # # #) 11.591 * * * * [regimes]: Trying to branch on z from (# # # # # # # #) 11.628 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 11.665 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 11.702 * * * [regime]: Found split indices: #