5.379 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.051 * * * [progress]: [2/2] Setting up program. 0.054 * [progress]: [Phase 2 of 3] Improving. 0.054 * [simplify]: Simplifying using # : (+ (* x (cos y)) (* z (sin y))) 0.056 * * [simplify]: iteration 0 : 11 enodes (cost 5 ) 0.058 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 0.058 * [simplify]: Simplified to: (+ (* x (cos y)) (* z (sin y))) 0.058 * * [progress]: iteration 1 / 4 0.058 * * * [progress]: picking best candidate 0.060 * * * * [pick]: Picked # 0.060 * * * [progress]: localizing error 0.069 * * * [progress]: generating rewritten candidates 0.069 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.073 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.077 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.090 * * * [progress]: generating series expansions 0.090 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.090 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 0.090 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.090 * [taylor]: Taking taylor expansion of (sin y) in y 0.090 * [taylor]: Taking taylor expansion of y in y 0.090 * [taylor]: Taking taylor expansion of z in y 0.090 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.090 * [taylor]: Taking taylor expansion of (sin y) in z 0.090 * [taylor]: Taking taylor expansion of y in z 0.090 * [taylor]: Taking taylor expansion of z in z 0.090 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.090 * [taylor]: Taking taylor expansion of (sin y) in z 0.090 * [taylor]: Taking taylor expansion of y in z 0.091 * [taylor]: Taking taylor expansion of z in z 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.093 * [taylor]: Taking taylor expansion of (sin y) in y 0.093 * [taylor]: Taking taylor expansion of y in y 0.095 * [taylor]: Taking taylor expansion of 0 in y 0.099 * [taylor]: Taking taylor expansion of 0 in y 0.103 * [taylor]: Taking taylor expansion of 0 in y 0.103 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.103 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.103 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.104 * [taylor]: Taking taylor expansion of y in y 0.104 * [taylor]: Taking taylor expansion of z in y 0.104 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.104 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.104 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.104 * [taylor]: Taking taylor expansion of y in z 0.104 * [taylor]: Taking taylor expansion of z in z 0.104 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.104 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.104 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.104 * [taylor]: Taking taylor expansion of y in z 0.104 * [taylor]: Taking taylor expansion of z in z 0.105 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.105 * [taylor]: Taking taylor expansion of y in y 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.110 * [taylor]: Taking taylor expansion of 0 in y 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.114 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.114 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.114 * [taylor]: Taking taylor expansion of -1 in y 0.114 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.114 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.114 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.114 * [taylor]: Taking taylor expansion of -1 in y 0.114 * [taylor]: Taking taylor expansion of y in y 0.115 * [taylor]: Taking taylor expansion of z in y 0.115 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.115 * [taylor]: Taking taylor expansion of -1 in z 0.115 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.115 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.115 * [taylor]: Taking taylor expansion of -1 in z 0.115 * [taylor]: Taking taylor expansion of y in z 0.115 * [taylor]: Taking taylor expansion of z in z 0.115 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.115 * [taylor]: Taking taylor expansion of -1 in z 0.115 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.115 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.115 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.115 * [taylor]: Taking taylor expansion of -1 in z 0.115 * [taylor]: Taking taylor expansion of y in z 0.115 * [taylor]: Taking taylor expansion of z in z 0.116 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.116 * [taylor]: Taking taylor expansion of -1 in y 0.116 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.116 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.116 * [taylor]: Taking taylor expansion of -1 in y 0.116 * [taylor]: Taking taylor expansion of y in y 0.119 * [taylor]: Taking taylor expansion of 0 in y 0.123 * [taylor]: Taking taylor expansion of 0 in y 0.131 * [taylor]: Taking taylor expansion of 0 in y 0.131 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.131 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0 0.131 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 0.131 * [taylor]: Taking taylor expansion of x in y 0.131 * [taylor]: Taking taylor expansion of (cos y) in y 0.131 * [taylor]: Taking taylor expansion of y in y 0.131 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.132 * [taylor]: Taking taylor expansion of (cos y) in x 0.132 * [taylor]: Taking taylor expansion of y in x 0.132 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.132 * [taylor]: Taking taylor expansion of x in x 0.132 * [taylor]: Taking taylor expansion of (cos y) in x 0.132 * [taylor]: Taking taylor expansion of y in x 0.132 * [taylor]: Taking taylor expansion of 0 in y 0.134 * [taylor]: Taking taylor expansion of (cos y) in y 0.134 * [taylor]: Taking taylor expansion of y in y 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.141 * [taylor]: Taking taylor expansion of 0 in y 0.141 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 0.141 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.141 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.141 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.141 * [taylor]: Taking taylor expansion of y in y 0.141 * [taylor]: Taking taylor expansion of x in y 0.141 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.142 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.142 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.142 * [taylor]: Taking taylor expansion of y in x 0.142 * [taylor]: Taking taylor expansion of x in x 0.142 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.142 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.142 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.142 * [taylor]: Taking taylor expansion of y in x 0.142 * [taylor]: Taking taylor expansion of x in x 0.143 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.143 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.143 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of 0 in y 0.149 * [taylor]: Taking taylor expansion of 0 in y 0.153 * [taylor]: Taking taylor expansion of 0 in y 0.153 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 0.153 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 0.153 * [taylor]: Taking taylor expansion of -1 in y 0.153 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.153 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.153 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.153 * [taylor]: Taking taylor expansion of -1 in y 0.153 * [taylor]: Taking taylor expansion of y in y 0.154 * [taylor]: Taking taylor expansion of x in y 0.154 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.154 * [taylor]: Taking taylor expansion of -1 in x 0.154 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.154 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.154 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.154 * [taylor]: Taking taylor expansion of -1 in x 0.154 * [taylor]: Taking taylor expansion of y in x 0.154 * [taylor]: Taking taylor expansion of x in x 0.154 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.154 * [taylor]: Taking taylor expansion of -1 in x 0.154 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.154 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.154 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.154 * [taylor]: Taking taylor expansion of -1 in x 0.154 * [taylor]: Taking taylor expansion of y in x 0.155 * [taylor]: Taking taylor expansion of x in x 0.155 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.155 * [taylor]: Taking taylor expansion of -1 in y 0.155 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.155 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.155 * [taylor]: Taking taylor expansion of -1 in y 0.155 * [taylor]: Taking taylor expansion of y in y 0.159 * [taylor]: Taking taylor expansion of 0 in y 0.163 * [taylor]: Taking taylor expansion of 0 in y 0.168 * [taylor]: Taking taylor expansion of 0 in y 0.169 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.169 * [approximate]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in (x y z) around 0 0.169 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in z 0.169 * [taylor]: Taking taylor expansion of (* x (cos y)) in z 0.169 * [taylor]: Taking taylor expansion of x in z 0.169 * [taylor]: Taking taylor expansion of (cos y) in z 0.169 * [taylor]: Taking taylor expansion of y in z 0.169 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.169 * [taylor]: Taking taylor expansion of (sin y) in z 0.169 * [taylor]: Taking taylor expansion of y in z 0.169 * [taylor]: Taking taylor expansion of z in z 0.169 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in y 0.169 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 0.169 * [taylor]: Taking taylor expansion of x in y 0.169 * [taylor]: Taking taylor expansion of (cos y) in y 0.169 * [taylor]: Taking taylor expansion of y in y 0.169 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.169 * [taylor]: Taking taylor expansion of (sin y) in y 0.169 * [taylor]: Taking taylor expansion of y in y 0.169 * [taylor]: Taking taylor expansion of z in y 0.169 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in x 0.169 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.169 * [taylor]: Taking taylor expansion of x in x 0.169 * [taylor]: Taking taylor expansion of (cos y) in x 0.169 * [taylor]: Taking taylor expansion of y in x 0.169 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.169 * [taylor]: Taking taylor expansion of (sin y) in x 0.169 * [taylor]: Taking taylor expansion of y in x 0.169 * [taylor]: Taking taylor expansion of z in x 0.169 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in x 0.169 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.169 * [taylor]: Taking taylor expansion of x in x 0.169 * [taylor]: Taking taylor expansion of (cos y) in x 0.169 * [taylor]: Taking taylor expansion of y in x 0.170 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.170 * [taylor]: Taking taylor expansion of (sin y) in x 0.170 * [taylor]: Taking taylor expansion of y in x 0.170 * [taylor]: Taking taylor expansion of z in x 0.170 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.170 * [taylor]: Taking taylor expansion of (sin y) in y 0.170 * [taylor]: Taking taylor expansion of y in y 0.170 * [taylor]: Taking taylor expansion of z in y 0.170 * [taylor]: Taking taylor expansion of 0 in z 0.174 * [taylor]: Taking taylor expansion of (cos y) in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.174 * [taylor]: Taking taylor expansion of 1 in z 0.175 * [taylor]: Taking taylor expansion of z in z 0.180 * [taylor]: Taking taylor expansion of 0 in y 0.181 * [taylor]: Taking taylor expansion of 0 in z 0.181 * [taylor]: Taking taylor expansion of 0 in z 0.182 * [taylor]: Taking taylor expansion of 0 in z 0.182 * [approximate]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in (x y z) around 0 0.182 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z 0.182 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in z 0.182 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.182 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.182 * [taylor]: Taking taylor expansion of y in z 0.182 * [taylor]: Taking taylor expansion of x in z 0.183 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.183 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.183 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.183 * [taylor]: Taking taylor expansion of y in z 0.183 * [taylor]: Taking taylor expansion of z in z 0.183 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y 0.183 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.183 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.183 * [taylor]: Taking taylor expansion of y in y 0.183 * [taylor]: Taking taylor expansion of x in y 0.183 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.184 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.184 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.184 * [taylor]: Taking taylor expansion of y in y 0.184 * [taylor]: Taking taylor expansion of z in y 0.184 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x 0.184 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.184 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.184 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.184 * [taylor]: Taking taylor expansion of y in x 0.184 * [taylor]: Taking taylor expansion of x in x 0.184 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.185 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.185 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.185 * [taylor]: Taking taylor expansion of y in x 0.185 * [taylor]: Taking taylor expansion of z in x 0.185 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x 0.185 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.185 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.185 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.185 * [taylor]: Taking taylor expansion of y in x 0.185 * [taylor]: Taking taylor expansion of x in x 0.185 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.185 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.185 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.185 * [taylor]: Taking taylor expansion of y in x 0.185 * [taylor]: Taking taylor expansion of z in x 0.186 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.186 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.186 * [taylor]: Taking taylor expansion of y in y 0.186 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.186 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.186 * [taylor]: Taking taylor expansion of y in z 0.189 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.189 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.189 * [taylor]: Taking taylor expansion of y in y 0.189 * [taylor]: Taking taylor expansion of z in y 0.189 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.189 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.189 * [taylor]: Taking taylor expansion of y in z 0.189 * [taylor]: Taking taylor expansion of z in z 0.190 * [taylor]: Taking taylor expansion of 0 in z 0.195 * [taylor]: Taking taylor expansion of 0 in y 0.195 * [taylor]: Taking taylor expansion of 0 in z 0.195 * [taylor]: Taking taylor expansion of 0 in z 0.195 * [taylor]: Taking taylor expansion of 0 in z 0.206 * [taylor]: Taking taylor expansion of 0 in y 0.206 * [taylor]: Taking taylor expansion of 0 in z 0.206 * [taylor]: Taking taylor expansion of 0 in z 0.206 * [taylor]: Taking taylor expansion of 0 in z 0.206 * [taylor]: Taking taylor expansion of 0 in z 0.207 * [approximate]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in (x y z) around 0 0.207 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in z 0.207 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z)) in z 0.207 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in z 0.207 * [taylor]: Taking taylor expansion of (cos (/ -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.207 * [taylor]: Taking taylor expansion of y in z 0.207 * [taylor]: Taking taylor expansion of x 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 (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in y 0.208 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z)) in y 0.208 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.208 * [taylor]: Taking taylor expansion of (cos (/ -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.209 * [taylor]: Taking taylor expansion of x in y 0.209 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.209 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.209 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.209 * [taylor]: Taking taylor expansion of -1 in y 0.209 * [taylor]: Taking taylor expansion of y in y 0.209 * [taylor]: Taking taylor expansion of z in y 0.209 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in x 0.209 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z)) in x 0.209 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.209 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.209 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.209 * [taylor]: Taking taylor expansion of -1 in x 0.209 * [taylor]: Taking taylor expansion of y in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.210 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.210 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.210 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.210 * [taylor]: Taking taylor expansion of -1 in x 0.210 * [taylor]: Taking taylor expansion of y in x 0.210 * [taylor]: Taking taylor expansion of z in x 0.210 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in x 0.210 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z)) in x 0.210 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.210 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.210 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.210 * [taylor]: Taking taylor expansion of -1 in x 0.210 * [taylor]: Taking taylor expansion of y in x 0.210 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.213 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.213 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.213 * [taylor]: Taking taylor expansion of -1 in x 0.213 * [taylor]: Taking taylor expansion of y in x 0.214 * [taylor]: Taking taylor expansion of z in x 0.214 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in y 0.214 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.214 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.214 * [taylor]: Taking taylor expansion of -1 in y 0.214 * [taylor]: Taking taylor expansion of y in y 0.215 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in z 0.215 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.215 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.215 * [taylor]: Taking taylor expansion of -1 in z 0.215 * [taylor]: Taking taylor expansion of y in z 0.217 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z)) in y 0.217 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.217 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.217 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.217 * [taylor]: Taking taylor expansion of -1 in y 0.217 * [taylor]: Taking taylor expansion of y in y 0.218 * [taylor]: Taking taylor expansion of z in y 0.218 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z)) in z 0.218 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.218 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.218 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.218 * [taylor]: Taking taylor expansion of -1 in z 0.218 * [taylor]: Taking taylor expansion of y in z 0.218 * [taylor]: Taking taylor expansion of z in z 0.219 * [taylor]: Taking taylor expansion of 0 in z 0.225 * [taylor]: Taking taylor expansion of 0 in y 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.226 * [taylor]: Taking taylor expansion of 0 in z 0.238 * [taylor]: Taking taylor expansion of 0 in y 0.238 * [taylor]: Taking taylor expansion of 0 in z 0.238 * [taylor]: Taking taylor expansion of 0 in z 0.238 * [taylor]: Taking taylor expansion of 0 in z 0.238 * [taylor]: Taking taylor expansion of 0 in z 0.239 * * * [progress]: simplifying candidates 0.240 * [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)) (* x (cos y)) (+ (log x) (log (cos y))) (log (* x (cos y))) (exp (* x (cos y))) (* (* (* x x) x) (* (* (cos y) (cos y)) (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))) (* (sqrt x) (sqrt (cos y))) (* (sqrt x) (sqrt (cos y))) (* x (* (cbrt (cos y)) (cbrt (cos y)))) (* x (sqrt (cos y))) (* x 1) (* (cbrt x) (cos y)) (* (sqrt x) (cos y)) (* x (cos 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))))) (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y))) (+ (* x (cos y)) (* z (sin y))) (+ (* x (cos y)) (* z (sin y))) (+ (* x (cos y)) (* z (sin y))) (+ (* x (cos y)) (* z (sin y))) (* z y) (* (sin y) z) (* (sin y) z) x (* x (cos y)) (* x (cos y)) x (+ (* x (cos y)) (* (sin y) z)) (+ (* x (cos y)) (* (sin y) z)) 0.244 * * [simplify]: iteration 0 : 177 enodes (cost 268 ) 0.248 * * [simplify]: iteration 1 : 679 enodes (cost 247 ) 0.263 * * [simplify]: iteration 2 : 2062 enodes (cost 247 ) 0.306 * * [simplify]: iteration 3 : 5001 enodes (cost 247 ) 0.308 * [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)) (* x (cos y)) (log (* x (cos y))) (log (* x (cos y))) (exp (* x (cos y))) (pow (* x (cos y)) 3) (* (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))) (* (sqrt x) (sqrt (cos y))) (* (sqrt x) (sqrt (cos y))) (* x (* (cbrt (cos y)) (cbrt (cos y)))) (* x (sqrt (cos y))) x (* (cbrt x) (cos y)) (* (sqrt x) (cos y)) (* x (cos 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)))) (pow (+ (* x (cos y)) (* (sin y) z)) 3) (sqrt (+ (* x (cos y)) (* z (sin y)))) (sqrt (+ (* x (cos y)) (* z (sin y)))) (+ (pow (* x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (* z (sin y)) (- (* z (sin y)) (* x (cos y)))) (* (* x (cos y)) (* x (cos y)))) (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y))) (+ (* x (cos y)) (* (sin y) z)) (+ (* x (cos y)) (* (sin y) z)) (+ (* x (cos y)) (* (sin y) z)) (+ (* x (cos y)) (* (sin y) z)) (* z y) (* z (sin y)) (* z (sin y)) x (* x (cos y)) (* x (cos y)) x (+ (* x (cos y)) (* (sin y) z)) (+ (* x (cos y)) (* (sin y) z)) 0.309 * * * [progress]: adding candidates to table 0.395 * * [progress]: iteration 2 / 4 0.395 * * * [progress]: picking best candidate 0.421 * * * * [pick]: Picked # 0.421 * * * [progress]: localizing error 0.433 * * * [progress]: generating rewritten candidates 0.433 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 0.435 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 0.436 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 0.438 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 0.445 * * * [progress]: generating series expansions 0.445 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 0.445 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 0.445 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.445 * [taylor]: Taking taylor expansion of 1/3 in y 0.445 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.445 * [taylor]: Taking taylor expansion of (cos y) in y 0.445 * [taylor]: Taking taylor expansion of y in y 0.450 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.451 * [taylor]: Taking taylor expansion of 1/3 in y 0.451 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.451 * [taylor]: Taking taylor expansion of (cos y) in y 0.451 * [taylor]: Taking taylor expansion of y in y 0.476 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 0.476 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.476 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.477 * [taylor]: Taking taylor expansion of 1/3 in y 0.477 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.477 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.477 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.477 * [taylor]: Taking taylor expansion of y in y 0.477 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.477 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.477 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.477 * [taylor]: Taking taylor expansion of 1/3 in y 0.477 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.477 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.477 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.477 * [taylor]: Taking taylor expansion of y in y 0.511 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 0.511 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.511 * [taylor]: Taking taylor expansion of 1/3 in y 0.511 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.511 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.511 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.511 * [taylor]: Taking taylor expansion of -1 in y 0.512 * [taylor]: Taking taylor expansion of y in y 0.512 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.512 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.512 * [taylor]: Taking taylor expansion of 1/3 in y 0.512 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.512 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.512 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.512 * [taylor]: Taking taylor expansion of -1 in y 0.512 * [taylor]: Taking taylor expansion of y in y 0.549 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 0.549 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 0.549 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.549 * [taylor]: Taking taylor expansion of 1/3 in y 0.549 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.549 * [taylor]: Taking taylor expansion of (cos y) in y 0.549 * [taylor]: Taking taylor expansion of y in y 0.554 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.554 * [taylor]: Taking taylor expansion of 1/3 in y 0.554 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.554 * [taylor]: Taking taylor expansion of (cos y) in y 0.554 * [taylor]: Taking taylor expansion of y in y 0.576 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 0.577 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.577 * [taylor]: Taking taylor expansion of 1/3 in y 0.577 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.577 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.577 * [taylor]: Taking taylor expansion of y in y 0.577 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.577 * [taylor]: Taking taylor expansion of 1/3 in y 0.577 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.577 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.577 * [taylor]: Taking taylor expansion of y in y 0.612 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 0.612 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.612 * [taylor]: Taking taylor expansion of 1/3 in y 0.612 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.612 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.612 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.612 * [taylor]: Taking taylor expansion of -1 in y 0.612 * [taylor]: Taking taylor expansion of y in y 0.613 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.613 * [taylor]: Taking taylor expansion of 1/3 in y 0.613 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.613 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.613 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.613 * [taylor]: Taking taylor expansion of -1 in y 0.613 * [taylor]: Taking taylor expansion of y in y 0.650 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 0.650 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 0.650 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.650 * [taylor]: Taking taylor expansion of 1/3 in y 0.650 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.650 * [taylor]: Taking taylor expansion of (cos y) in y 0.650 * [taylor]: Taking taylor expansion of y in y 0.654 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.654 * [taylor]: Taking taylor expansion of 1/3 in y 0.654 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.654 * [taylor]: Taking taylor expansion of (cos y) in y 0.654 * [taylor]: Taking taylor expansion of y in y 0.677 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 0.677 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.677 * [taylor]: Taking taylor expansion of 1/3 in y 0.677 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.677 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.677 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.677 * [taylor]: Taking taylor expansion of y in y 0.677 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.677 * [taylor]: Taking taylor expansion of 1/3 in y 0.677 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.677 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.677 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.677 * [taylor]: Taking taylor expansion of y in y 0.714 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 0.714 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.715 * [taylor]: Taking taylor expansion of 1/3 in y 0.715 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.715 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.715 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.715 * [taylor]: Taking taylor expansion of -1 in y 0.715 * [taylor]: Taking taylor expansion of y in y 0.715 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.715 * [taylor]: Taking taylor expansion of 1/3 in y 0.715 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.715 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.715 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.715 * [taylor]: Taking taylor expansion of -1 in y 0.715 * [taylor]: Taking taylor expansion of y in y 0.750 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 0.750 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 0.750 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 0.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 0.750 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 0.750 * [taylor]: Taking taylor expansion of 1/3 in y 0.750 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 0.750 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 0.750 * [taylor]: Taking taylor expansion of (cos y) in y 0.750 * [taylor]: Taking taylor expansion of y in y 0.756 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 0.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 0.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 0.756 * [taylor]: Taking taylor expansion of 1/3 in y 0.756 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 0.756 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 0.756 * [taylor]: Taking taylor expansion of (cos y) in y 0.756 * [taylor]: Taking taylor expansion of y in y 0.823 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 0.823 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 0.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 0.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 0.824 * [taylor]: Taking taylor expansion of 1/3 in y 0.824 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 0.824 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 0.824 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.824 * [taylor]: Taking taylor expansion of y in y 0.824 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 0.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 0.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 0.824 * [taylor]: Taking taylor expansion of 1/3 in y 0.824 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 0.824 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 0.824 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.824 * [taylor]: Taking taylor expansion of y in y 0.867 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 0.867 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 0.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 0.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 0.867 * [taylor]: Taking taylor expansion of 1/3 in y 0.867 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 0.867 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 0.867 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.867 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.867 * [taylor]: Taking taylor expansion of -1 in y 0.867 * [taylor]: Taking taylor expansion of y in y 0.868 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 0.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 0.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 0.868 * [taylor]: Taking taylor expansion of 1/3 in y 0.868 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 0.868 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 0.868 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.868 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.868 * [taylor]: Taking taylor expansion of -1 in y 0.868 * [taylor]: Taking taylor expansion of y in y 0.907 * * * [progress]: simplifying candidates 0.908 * [simplify]: Simplifying using # : (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (+ 1/3 1/3) (+ 1 1) (* (cos y) (cos y)) (* (cbrt (cos y)) (cbrt (cos y))) (+ 1 1) (+ (log (cbrt (cos y))) (log (cbrt (cos y)))) (log (* (cbrt (cos y)) (cbrt (cos y)))) (exp (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (cos y)) (* (cos y) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (cos y)) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (cos y)) (cbrt (cos y))) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 1 1) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 2 1/3) (* 2 1) (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* (cbrt (cos y)) (cbrt 1)) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (* (cbrt (cos y)) 1) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (sqrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) 0.912 * * [simplify]: iteration 0 : 131 enodes (cost 478 ) 0.916 * * [simplify]: iteration 1 : 525 enodes (cost 405 ) 0.933 * * [simplify]: iteration 2 : 3612 enodes (cost 363 ) 1.007 * * [simplify]: iteration 3 : 5001 enodes (cost 357 ) 1.010 * [simplify]: Simplified to: (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) 2/3 2 (pow (cos y) 2) (pow (cos y) 2/3) 2 (* 2/3 (log (cos y))) (* 2/3 (log (cos y))) (pow (exp 1) (pow (cos y) 2/3)) (pow (cos y) 2) (pow (cos y) 2) (pow (cos y) 2) (pow (cos y) 2) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (pow (cos y) 2) (fabs (pow (cos y) 1/3)) (fabs (pow (cos y) 1/3)) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) 1 (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (pow (cos y) 1/3) (pow (cos y) 1/3) 1 (pow (cos y) 2/3) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (pow (cos y) 1/3) (pow (cos y) 1/3) 2/3 2 (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (pow (cos y) 1/3) (pow (cbrt (cbrt (cos y))) 5) (pow (sqrt (cbrt (cos y))) 3) (pow (cos y) 1/3) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (pow (sqrt (cbrt (cos y))) 3) (pow (cos y) 2/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (cos y) 2/3) (pow (cos y) 2/3) 1.010 * * * [progress]: adding candidates to table 1.195 * * [progress]: iteration 3 / 4 1.195 * * * [progress]: picking best candidate 1.220 * * * * [pick]: Picked # 1.220 * * * [progress]: localizing error 1.235 * * * [progress]: generating rewritten candidates 1.235 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.237 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 1.239 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.258 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.267 * * * [progress]: generating series expansions 1.267 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.267 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.267 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.267 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.267 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.267 * [taylor]: Taking taylor expansion of 1/3 in y 1.267 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.267 * [taylor]: Taking taylor expansion of (cos y) in y 1.267 * [taylor]: Taking taylor expansion of y in y 1.272 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.272 * [taylor]: Taking taylor expansion of 1/3 in y 1.272 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.272 * [taylor]: Taking taylor expansion of (cos y) in y 1.272 * [taylor]: Taking taylor expansion of y in y 1.293 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.293 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.293 * [taylor]: Taking taylor expansion of 1/3 in y 1.293 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.293 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.293 * [taylor]: Taking taylor expansion of y in y 1.294 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.294 * [taylor]: Taking taylor expansion of 1/3 in y 1.294 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.294 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.294 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.294 * [taylor]: Taking taylor expansion of y in y 1.334 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.334 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.334 * [taylor]: Taking taylor expansion of 1/3 in y 1.334 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.334 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.334 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.334 * [taylor]: Taking taylor expansion of -1 in y 1.334 * [taylor]: Taking taylor expansion of y in y 1.334 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.334 * [taylor]: Taking taylor expansion of 1/3 in y 1.334 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.334 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.334 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.335 * [taylor]: Taking taylor expansion of -1 in y 1.335 * [taylor]: Taking taylor expansion of y in y 1.368 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 1.368 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 1.368 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.368 * [taylor]: Taking taylor expansion of (cos y) in y 1.368 * [taylor]: Taking taylor expansion of y in y 1.368 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.368 * [taylor]: Taking taylor expansion of (cos y) in y 1.368 * [taylor]: Taking taylor expansion of y in y 1.374 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 1.374 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.374 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.374 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.374 * [taylor]: Taking taylor expansion of y in y 1.374 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.374 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.374 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.374 * [taylor]: Taking taylor expansion of y in y 1.379 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 1.379 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.380 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.380 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.380 * [taylor]: Taking taylor expansion of -1 in y 1.380 * [taylor]: Taking taylor expansion of y in y 1.380 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.380 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.380 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.380 * [taylor]: Taking taylor expansion of -1 in y 1.380 * [taylor]: Taking taylor expansion of y in y 1.385 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.385 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0 1.385 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 1.385 * [taylor]: Taking taylor expansion of x in y 1.385 * [taylor]: Taking taylor expansion of (cos y) in y 1.385 * [taylor]: Taking taylor expansion of y in y 1.385 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 1.385 * [taylor]: Taking taylor expansion of x in x 1.385 * [taylor]: Taking taylor expansion of (cos y) in x 1.385 * [taylor]: Taking taylor expansion of y in x 1.386 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 1.386 * [taylor]: Taking taylor expansion of x in x 1.386 * [taylor]: Taking taylor expansion of (cos y) in x 1.386 * [taylor]: Taking taylor expansion of y in x 1.386 * [taylor]: Taking taylor expansion of 0 in y 1.388 * [taylor]: Taking taylor expansion of (cos y) in y 1.388 * [taylor]: Taking taylor expansion of y in y 1.391 * [taylor]: Taking taylor expansion of 0 in y 1.395 * [taylor]: Taking taylor expansion of 0 in y 1.395 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 1.395 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 1.395 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.395 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.395 * [taylor]: Taking taylor expansion of y in y 1.396 * [taylor]: Taking taylor expansion of x in y 1.396 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 1.396 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.396 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.396 * [taylor]: Taking taylor expansion of y in x 1.396 * [taylor]: Taking taylor expansion of x in x 1.396 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 1.396 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.396 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.396 * [taylor]: Taking taylor expansion of y in x 1.396 * [taylor]: Taking taylor expansion of x in x 1.397 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.397 * [taylor]: Taking taylor expansion of y in y 1.400 * [taylor]: Taking taylor expansion of 0 in y 1.403 * [taylor]: Taking taylor expansion of 0 in y 1.412 * [taylor]: Taking taylor expansion of 0 in y 1.413 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 1.413 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 1.413 * [taylor]: Taking taylor expansion of -1 in y 1.413 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 1.413 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.413 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.413 * [taylor]: Taking taylor expansion of -1 in y 1.413 * [taylor]: Taking taylor expansion of y in y 1.413 * [taylor]: Taking taylor expansion of x in y 1.413 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 1.413 * [taylor]: Taking taylor expansion of -1 in x 1.413 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 1.413 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.413 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.414 * [taylor]: Taking taylor expansion of -1 in x 1.414 * [taylor]: Taking taylor expansion of y in x 1.414 * [taylor]: Taking taylor expansion of x in x 1.414 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 1.414 * [taylor]: Taking taylor expansion of -1 in x 1.414 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 1.414 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.414 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.414 * [taylor]: Taking taylor expansion of -1 in x 1.414 * [taylor]: Taking taylor expansion of y in x 1.414 * [taylor]: Taking taylor expansion of x in x 1.415 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 1.415 * [taylor]: Taking taylor expansion of -1 in y 1.415 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.415 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.415 * [taylor]: Taking taylor expansion of -1 in y 1.415 * [taylor]: Taking taylor expansion of y in y 1.418 * [taylor]: Taking taylor expansion of 0 in y 1.422 * [taylor]: Taking taylor expansion of 0 in y 1.428 * [taylor]: Taking taylor expansion of 0 in y 1.428 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.429 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 1.429 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 1.429 * [taylor]: Taking taylor expansion of (sin y) in y 1.429 * [taylor]: Taking taylor expansion of y in y 1.429 * [taylor]: Taking taylor expansion of z in y 1.429 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.429 * [taylor]: Taking taylor expansion of (sin y) in z 1.429 * [taylor]: Taking taylor expansion of y in z 1.429 * [taylor]: Taking taylor expansion of z in z 1.429 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.429 * [taylor]: Taking taylor expansion of (sin y) in z 1.429 * [taylor]: Taking taylor expansion of y in z 1.429 * [taylor]: Taking taylor expansion of z in z 1.429 * [taylor]: Taking taylor expansion of 0 in y 1.431 * [taylor]: Taking taylor expansion of (sin y) in y 1.431 * [taylor]: Taking taylor expansion of y in y 1.433 * [taylor]: Taking taylor expansion of 0 in y 1.437 * [taylor]: Taking taylor expansion of 0 in y 1.442 * [taylor]: Taking taylor expansion of 0 in y 1.442 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 1.442 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 1.442 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.442 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.442 * [taylor]: Taking taylor expansion of y in y 1.443 * [taylor]: Taking taylor expansion of z in y 1.443 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.443 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.443 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.443 * [taylor]: Taking taylor expansion of y in z 1.443 * [taylor]: Taking taylor expansion of z in z 1.443 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.443 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.443 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.443 * [taylor]: Taking taylor expansion of y in z 1.443 * [taylor]: Taking taylor expansion of z in z 1.443 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.443 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.443 * [taylor]: Taking taylor expansion of y in y 1.446 * [taylor]: Taking taylor expansion of 0 in y 1.449 * [taylor]: Taking taylor expansion of 0 in y 1.454 * [taylor]: Taking taylor expansion of 0 in y 1.454 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 1.454 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 1.454 * [taylor]: Taking taylor expansion of -1 in y 1.455 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 1.455 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.455 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.455 * [taylor]: Taking taylor expansion of -1 in y 1.455 * [taylor]: Taking taylor expansion of y in y 1.455 * [taylor]: Taking taylor expansion of z in y 1.455 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 1.455 * [taylor]: Taking taylor expansion of -1 in z 1.455 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.455 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.455 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.455 * [taylor]: Taking taylor expansion of -1 in z 1.455 * [taylor]: Taking taylor expansion of y in z 1.455 * [taylor]: Taking taylor expansion of z in z 1.455 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 1.455 * [taylor]: Taking taylor expansion of -1 in z 1.455 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.455 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.455 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.455 * [taylor]: Taking taylor expansion of -1 in z 1.455 * [taylor]: Taking taylor expansion of y in z 1.456 * [taylor]: Taking taylor expansion of z in z 1.456 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 1.456 * [taylor]: Taking taylor expansion of -1 in y 1.456 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.456 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.456 * [taylor]: Taking taylor expansion of -1 in y 1.456 * [taylor]: Taking taylor expansion of y in y 1.459 * [taylor]: Taking taylor expansion of 0 in y 1.463 * [taylor]: Taking taylor expansion of 0 in y 1.469 * [taylor]: Taking taylor expansion of 0 in y 1.469 * * * [progress]: simplifying candidates 1.470 * [simplify]: Simplifying using # : (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (* (log (cos y)) 2) (* (log (cos y)) 2) (* 1 2) (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (pow (cos y) 1) (pow (* (cbrt (cos y)) (cbrt (cos y))) 2) (pow (cbrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow 1 2) (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)) (* (* (pow (cos y) 2) (pow (cos y) 2)) (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (pow (cos y) (/ 2 2)) (pow (cos y) (/ 2 2)) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (+ (+ (log x) (* (* (log (cos y)) 2) 1/3)) (log (cbrt (cos y)))) (+ (+ (log x) (* (* (log (cos y)) 2) 1/3)) (log (cbrt (cos y)))) (+ (+ (log x) (* (log (pow (cos y) 2)) 1/3)) (log (cbrt (cos y)))) (+ (+ (log x) (* (log (pow (cos y) 2)) 1/3)) (log (cbrt (cos y)))) (+ (+ (log x) (log (pow (pow (cos y) 2) 1/3))) (log (cbrt (cos y)))) (+ (log (* x (pow (pow (cos y) 2) 1/3))) (log (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (exp (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* (* (* x x) x) (pow (cos y) 2)) (cos y)) (* (* (* (* x x) x) (pow (cos y) 2)) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (* (* (* x x) x) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3))) (cos y)) (* (* (* (* x x) x) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (* (* (* x (pow (pow (cos y) 2) 1/3)) (* x (pow (pow (cos y) 2) 1/3))) (* x (pow (pow (cos y) 2) 1/3))) (cos y)) (* (* (* (* x (pow (pow (cos y) 2) 1/3)) (* x (pow (pow (cos y) 2) 1/3))) (* x (pow (pow (cos y) 2) 1/3))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (sqrt (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (sqrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt 1)) (* (* x (pow (pow (cos y) 2) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) 1) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (* (cbrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (cos y))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (cos y))) (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (cbrt (cos y))) (* (pow (pow (cbrt (cos y)) 2) 1/3) (cbrt (cos y))) (* (pow (pow (sqrt (cos y)) 2) 1/3) (cbrt (cos y))) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (* (pow (cos y) 1/3) (cbrt (cos y))) (* (pow (cbrt (pow (cos y) 2)) 1/3) (cbrt (cos y))) (* (pow (sqrt (pow (cos y) 2)) 1/3) (cbrt (cos y))) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (* (pow (pow (cos y) (/ 2 2)) 1/3) (cbrt (cos y))) (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (sqrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (* (pow (pow (cos y) 2) (/ 1/3 2)) (cbrt (cos y))) (* (* (cbrt x) (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* x (cbrt (cos y))) (* 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)) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) x (* x (cos y)) (* x (cos y)) (* z y) (* (sin y) z) (* (sin y) z) 1.477 * * [simplify]: iteration 0 : 459 enodes (cost 903 ) 1.487 * * [simplify]: iteration 1 : 1874 enodes (cost 785 ) 1.522 * * [simplify]: iteration 2 : 5002 enodes (cost 756 ) 1.527 * [simplify]: Simplified to: (log (cbrt (cos y))) (exp (cbrt (cos y))) (pow (pow (cos y) 2/3) 1/3) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (pow (cos y) 2)) (log (pow (cos y) 2)) 2 (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (cos y) (pow (cos y) 4/3) (pow (cos y) 2/3) (cos y) (cos y) 1 (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3) (pow (cos y) 6) (fabs (cos y)) (fabs (cos y)) (cos y) (cos y) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (exp (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (pow (cos y) 3) (pow x 3)) (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (cbrt (sqrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x)) (* (* (cbrt (sqrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x)) (* (* (sqrt (cbrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x)) (* (* (sqrt (cbrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x)) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) 2) 1/6)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) 2) 1/6)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) 2) 1/6)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) 2) 1/6)) (sqrt (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2/3) 1/3)) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (sqrt (cos y)))) (* x (pow (pow (cos y) 2) 1/3)) (* (* x (pow (pow (cos y) 2) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y)))) (* x (pow (pow (cos y) 2) 1/3)) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (* (cbrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (cos y))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (pow (cos y) 2/3) (sqrt x)) (* (pow (cos y) 2/3) (sqrt x)) (* (* (sqrt x) (pow (cos y) 1/3)) (pow (fabs (cos y)) 1/3)) (* (pow (cos y) 2/3) (sqrt x)) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (cos y))) (* (* (sqrt x) (pow (pow (cos y) 2) 1/6)) (cbrt (cos y))) (* (pow (pow (cos y) 2/3) 1/3) (pow (cos y) 1/3)) (pow (cos y) 2/3) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (pow (cos y) 2/3) (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (pow (fabs (cos y)) 1/3) (pow (cos y) 1/3)) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (pow (cos y) 2/3) (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (sqrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (* (pow (pow (cos y) 2) 1/6) (cbrt (cos y))) (* (* (cbrt x) (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* x (cbrt (cos y))) (* 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)) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) x (* x (cos y)) (* x (cos y)) (* z y) (* z (sin y)) (* z (sin y)) 1.527 * * * [progress]: adding candidates to table 1.822 * * [progress]: iteration 4 / 4 1.822 * * * [progress]: picking best candidate 1.852 * * * * [pick]: Picked # 1.852 * * * [progress]: localizing error 1.875 * * * [progress]: generating rewritten candidates 1.875 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 1.877 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 1.879 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 1.881 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.904 * * * [progress]: generating series expansions 1.904 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 1.904 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.904 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.904 * [taylor]: Taking taylor expansion of 1/3 in y 1.904 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.904 * [taylor]: Taking taylor expansion of (cos y) in y 1.904 * [taylor]: Taking taylor expansion of y in y 1.909 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.909 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.909 * [taylor]: Taking taylor expansion of 1/3 in y 1.909 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.909 * [taylor]: Taking taylor expansion of (cos y) in y 1.909 * [taylor]: Taking taylor expansion of y in y 1.931 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.931 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.931 * [taylor]: Taking taylor expansion of 1/3 in y 1.931 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.931 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.931 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.931 * [taylor]: Taking taylor expansion of y in y 1.932 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.932 * [taylor]: Taking taylor expansion of 1/3 in y 1.932 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.932 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.932 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.932 * [taylor]: Taking taylor expansion of y in y 1.970 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.970 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.970 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.971 * [taylor]: Taking taylor expansion of 1/3 in y 1.971 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.971 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.971 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.971 * [taylor]: Taking taylor expansion of -1 in y 1.971 * [taylor]: Taking taylor expansion of y in y 1.971 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.971 * [taylor]: Taking taylor expansion of 1/3 in y 1.971 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.971 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.971 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.971 * [taylor]: Taking taylor expansion of -1 in y 1.971 * [taylor]: Taking taylor expansion of y in y 2.005 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 2.005 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 2.005 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.005 * [taylor]: Taking taylor expansion of (cos y) in y 2.005 * [taylor]: Taking taylor expansion of y in y 2.005 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.006 * [taylor]: Taking taylor expansion of (cos y) in y 2.006 * [taylor]: Taking taylor expansion of y in y 2.012 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 2.012 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.012 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.012 * [taylor]: Taking taylor expansion of y in y 2.012 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.012 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.012 * [taylor]: Taking taylor expansion of y in y 2.017 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 2.017 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.017 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.017 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.017 * [taylor]: Taking taylor expansion of -1 in y 2.017 * [taylor]: Taking taylor expansion of y in y 2.018 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.018 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.018 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.018 * [taylor]: Taking taylor expansion of -1 in y 2.018 * [taylor]: Taking taylor expansion of y in y 2.023 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 2.023 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 2.023 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.023 * [taylor]: Taking taylor expansion of 1/3 in y 2.023 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.023 * [taylor]: Taking taylor expansion of (cos y) in y 2.023 * [taylor]: Taking taylor expansion of y in y 2.032 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.032 * [taylor]: Taking taylor expansion of 1/3 in y 2.032 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.032 * [taylor]: Taking taylor expansion of (cos y) in y 2.032 * [taylor]: Taking taylor expansion of y in y 2.054 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 2.054 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.054 * [taylor]: Taking taylor expansion of 1/3 in y 2.054 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.054 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.054 * [taylor]: Taking taylor expansion of y in y 2.055 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.055 * [taylor]: Taking taylor expansion of 1/3 in y 2.055 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.055 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.055 * [taylor]: Taking taylor expansion of y in y 2.089 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 2.089 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.089 * [taylor]: Taking taylor expansion of 1/3 in y 2.089 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.089 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.089 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.089 * [taylor]: Taking taylor expansion of -1 in y 2.089 * [taylor]: Taking taylor expansion of y in y 2.089 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.089 * [taylor]: Taking taylor expansion of 1/3 in y 2.089 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.089 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.089 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.089 * [taylor]: Taking taylor expansion of -1 in y 2.090 * [taylor]: Taking taylor expansion of y in y 2.129 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.129 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0 2.129 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 2.129 * [taylor]: Taking taylor expansion of x in y 2.129 * [taylor]: Taking taylor expansion of (cos y) in y 2.129 * [taylor]: Taking taylor expansion of y in y 2.129 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 2.129 * [taylor]: Taking taylor expansion of x in x 2.129 * [taylor]: Taking taylor expansion of (cos y) in x 2.129 * [taylor]: Taking taylor expansion of y in x 2.129 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 2.129 * [taylor]: Taking taylor expansion of x in x 2.129 * [taylor]: Taking taylor expansion of (cos y) in x 2.129 * [taylor]: Taking taylor expansion of y in x 2.130 * [taylor]: Taking taylor expansion of 0 in y 2.132 * [taylor]: Taking taylor expansion of (cos y) in y 2.132 * [taylor]: Taking taylor expansion of y in y 2.135 * [taylor]: Taking taylor expansion of 0 in y 2.139 * [taylor]: Taking taylor expansion of 0 in y 2.140 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 2.140 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 2.140 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.140 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.140 * [taylor]: Taking taylor expansion of y in y 2.140 * [taylor]: Taking taylor expansion of x in y 2.140 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 2.140 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.140 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.140 * [taylor]: Taking taylor expansion of y in x 2.141 * [taylor]: Taking taylor expansion of x in x 2.141 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 2.141 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.141 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.141 * [taylor]: Taking taylor expansion of y in x 2.141 * [taylor]: Taking taylor expansion of x in x 2.142 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.142 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.142 * [taylor]: Taking taylor expansion of y in y 2.144 * [taylor]: Taking taylor expansion of 0 in y 2.148 * [taylor]: Taking taylor expansion of 0 in y 2.152 * [taylor]: Taking taylor expansion of 0 in y 2.153 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 2.153 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 2.153 * [taylor]: Taking taylor expansion of -1 in y 2.153 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 2.153 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.153 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.153 * [taylor]: Taking taylor expansion of -1 in y 2.153 * [taylor]: Taking taylor expansion of y in y 2.153 * [taylor]: Taking taylor expansion of x in y 2.153 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 2.153 * [taylor]: Taking taylor expansion of -1 in x 2.153 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 2.153 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.153 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.153 * [taylor]: Taking taylor expansion of -1 in x 2.153 * [taylor]: Taking taylor expansion of y in x 2.154 * [taylor]: Taking taylor expansion of x in x 2.154 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 2.154 * [taylor]: Taking taylor expansion of -1 in x 2.154 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 2.154 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.154 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.154 * [taylor]: Taking taylor expansion of -1 in x 2.154 * [taylor]: Taking taylor expansion of y in x 2.154 * [taylor]: Taking taylor expansion of x in x 2.155 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 2.155 * [taylor]: Taking taylor expansion of -1 in y 2.155 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.155 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.155 * [taylor]: Taking taylor expansion of -1 in y 2.155 * [taylor]: Taking taylor expansion of y in y 2.158 * [taylor]: Taking taylor expansion of 0 in y 2.162 * [taylor]: Taking taylor expansion of 0 in y 2.168 * [taylor]: Taking taylor expansion of 0 in y 2.168 * * * [progress]: simplifying candidates 2.170 * [simplify]: Simplifying using # : (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (* (log (cos y)) 2) (* (log (cos y)) 2) (* 1 2) (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (pow (cos y) 1) (pow (* (cbrt (cos y)) (cbrt (cos y))) 2) (pow (cbrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow 1 2) (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)) (* (* (pow (cos y) 2) (pow (cos y) 2)) (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (pow (cos y) (/ 2 2)) (pow (cos y) (/ 2 2)) (log (* (cbrt (exp (cbrt (cos y)))) (cbrt (exp (cbrt (cos y)))))) (log (cbrt (exp (cbrt (cos y))))) (log (sqrt (exp (cbrt (cos y))))) (log (sqrt (exp (cbrt (cos y))))) (log 1) (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y)))) (log (exp (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))) (log (exp (cbrt (sqrt (cos y))))) (log (exp (cbrt 1))) (log (exp (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))) (log (exp (sqrt (cbrt (cos y))))) (log (exp 1)) (log (log (exp (cbrt (cos y))))) (exp (log (exp (cbrt (cos y))))) (* (cbrt (log (exp (cbrt (cos y))))) (cbrt (log (exp (cbrt (cos y)))))) (cbrt (log (exp (cbrt (cos y))))) (* (* (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y))))) (log (exp (cbrt (cos y))))) (sqrt (log (exp (cbrt (cos y))))) (sqrt (log (exp (cbrt (cos y))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (+ (+ (log x) (* (* (log (cos y)) 2) 1/3)) (log (log (exp (cbrt (cos y)))))) (+ (+ (log x) (* (* (log (cos y)) 2) 1/3)) (log (log (exp (cbrt (cos y)))))) (+ (+ (log x) (* (log (pow (cos y) 2)) 1/3)) (log (log (exp (cbrt (cos y)))))) (+ (+ (log x) (* (log (pow (cos y) 2)) 1/3)) (log (log (exp (cbrt (cos y)))))) (+ (+ (log x) (log (pow (pow (cos y) 2) 1/3))) (log (log (exp (cbrt (cos y)))))) (+ (log (* x (pow (pow (cos y) 2) 1/3))) (log (log (exp (cbrt (cos y)))))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (exp (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (* (* (* (* x x) x) (pow (cos y) 2)) (* (* (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y))))) (log (exp (cbrt (cos y)))))) (* (* (* (* x x) x) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3))) (* (* (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y))))) (log (exp (cbrt (cos y)))))) (* (* (* (* x (pow (pow (cos y) 2) 1/3)) (* x (pow (pow (cos y) 2) 1/3))) (* x (pow (pow (cos y) 2) 1/3))) (* (* (log (exp (cbrt (cos y)))) (log (exp (cbrt (cos y))))) (log (exp (cbrt (cos y)))))) (* (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (* (* (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (log (exp (cbrt (cos y)))))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (log (exp (cbrt (cos y)))))) (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (sqrt (log (exp (cbrt (cos y)))))) (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (sqrt (log (exp (cbrt (cos y)))))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (log (exp (cbrt (cos y)))))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (log (exp (cbrt (cos y)))))) (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (sqrt (log (exp (cbrt (cos y)))))) (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (sqrt (log (exp (cbrt (cos y)))))) (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (sqrt (log (exp (cbrt (cos y)))))) (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (sqrt (log (exp (cbrt (cos y)))))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (log (exp (cbrt (cos y)))))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (log (exp (cbrt (cos y)))))) (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (sqrt (log (exp (cbrt (cos y)))))) (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (sqrt (log (exp (cbrt (cos y)))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (* (cbrt (exp (cbrt (cos y)))) (cbrt (exp (cbrt (cos y))))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (cbrt (exp (cbrt (cos y)))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (sqrt (exp (cbrt (cos y)))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (sqrt (exp (cbrt (cos y)))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log 1)) (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* (log (* (cbrt (exp (cbrt (cos y)))) (cbrt (exp (cbrt (cos y)))))) (* x (pow (pow (cos y) 2) 1/3))) (* (log (cbrt (exp (cbrt (cos y))))) (* x (pow (pow (cos y) 2) 1/3))) (* (log (sqrt (exp (cbrt (cos y))))) (* x (pow (pow (cos y) 2) 1/3))) (* (log (sqrt (exp (cbrt (cos y))))) (* x (pow (pow (cos y) 2) 1/3))) (* (log 1) (* x (pow (pow (cos y) 2) 1/3))) (* (log (exp (cbrt (cos y)))) (* x (pow (pow (cos y) 2) 1/3))) (* (* x (pow (pow (cos y) 2) 1/3)) 1) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (sqrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (* (cbrt (log (exp (cbrt (cos y))))) (cbrt (log (exp (cbrt (cos y))))))) (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (log (exp (cbrt (cos y)))))) (* (* x (pow (pow (cos y) 2) 1/3)) 1) (* (pow (pow (cos y) 2) 1/3) (log (exp (cbrt (cos y))))) (* (cbrt (* x (pow (pow (cos y) 2) 1/3))) (log (exp (cbrt (cos y))))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (log (exp (cbrt (cos y))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (log (exp (cbrt (cos y))))) (* (* (sqrt x) (pow (cos y) 1/3)) (log (exp (cbrt (cos y))))) (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (log (exp (cbrt (cos y))))) (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (log (exp (cbrt (cos y))))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (log (exp (cbrt (cos y))))) (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (log (exp (cbrt (cos y))))) (* (pow (pow (cbrt (cos y)) 2) 1/3) (log (exp (cbrt (cos y))))) (* (pow (pow (sqrt (cos y)) 2) 1/3) (log (exp (cbrt (cos y))))) (* (pow (pow (cos y) 2) 1/3) (log (exp (cbrt (cos y))))) (* (pow (cos y) 1/3) (log (exp (cbrt (cos y))))) (* (pow (cbrt (pow (cos y) 2)) 1/3) (log (exp (cbrt (cos y))))) (* (pow (sqrt (pow (cos y) 2)) 1/3) (log (exp (cbrt (cos y))))) (* (pow (pow (cos y) 2) 1/3) (log (exp (cbrt (cos y))))) (* (pow (pow (cos y) (/ 2 2)) 1/3) (log (exp (cbrt (cos y))))) (* (cbrt (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* (sqrt (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* (pow (pow (cos y) 2) 1/3) (log (exp (cbrt (cos y))))) (* (pow (pow (cos y) 2) (/ 1/3 2)) (log (exp (cbrt (cos y))))) (* (* (cbrt x) (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* (* (sqrt x) (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))) (* x (log (exp (cbrt (cos y))))) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) x (* x (cos y)) (* x (cos y)) 2.177 * * [simplify]: iteration 0 : 424 enodes (cost 978 ) 2.185 * * [simplify]: iteration 1 : 1684 enodes (cost 803 ) 2.217 * * [simplify]: iteration 2 : 5001 enodes (cost 778 ) 2.222 * [simplify]: Simplified to: (log (cbrt (cos y))) (exp (cbrt (cos y))) (pow (pow (cos y) 2/3) 1/3) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (pow (cos y) 2)) (log (pow (cos y) 2)) 2 (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (cos y) (pow (cos y) 4/3) (pow (cos y) 2/3) (cos y) (cos y) 1 (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 3) (fabs (cos y)) (fabs (cos y)) (cos y) (cos y) (* 2 (log (cbrt (exp (cbrt (cos y)))))) (log (cbrt (exp (cbrt (cos y))))) (log (sqrt (exp (cbrt (cos y))))) (log (sqrt (exp (cbrt (cos y))))) 0 (pow (cos y) 1/3) (pow (cos y) 1/3) (pow (pow (cos y) 2/3) 1/3) (cbrt (sqrt (cos y))) 1 (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (sqrt (cbrt (cos y))) 1 (log (cbrt (cos y))) (exp (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3)) (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3)) (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3)) (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3)) (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3)) (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3)) (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3)) (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3)) (+ (log (* (pow (cos y) 1/3) x)) (* (log (cos y)) 2/3)) (pow (exp (cbrt (cos y))) (* x (pow (pow (cos y) 2) 1/3))) (* (pow (cos y) 2) (* (cos y) (pow x 3))) (* (pow (cos y) 2) (* (cos y) (pow x 3))) (* (pow (cos y) 2) (* (cos y) (pow x 3))) (* (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y))))))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (* (pow (cos y) 2) (* (cos y) (pow x 3))) (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (log (exp (cbrt (cos y)))))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt (cbrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x)) (* (* (sqrt (cbrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x)) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt (cbrt (cos y))) (pow (pow (cos y) 2) 1/6)) (sqrt x)) (* (* (sqrt (cbrt (cos y))) (pow (pow (cos y) 2) 1/6)) (sqrt x)) (* (* (* 2 (log (cbrt (exp (cbrt (cos y)))))) (pow (pow (cos y) 2) 1/3)) x) (* (* x (pow (pow (cos y) 2) 1/3)) (log (cbrt (exp (cbrt (cos y)))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (sqrt (exp (cbrt (cos y)))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (sqrt (exp (cbrt (cos y)))))) 0 (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3)) (* (* (* 2 (log (cbrt (exp (cbrt (cos y)))))) (pow (pow (cos y) 2) 1/3)) x) (* (* x (pow (pow (cos y) 2) 1/3)) (log (cbrt (exp (cbrt (cos y)))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (sqrt (exp (cbrt (cos y)))))) (* (* x (pow (pow (cos y) 2) 1/3)) (log (sqrt (exp (cbrt (cos y)))))) 0 (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3)) (* x (pow (pow (cos y) 2) 1/3)) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (sqrt (cos y)))) (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3)) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y)))) (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3)) (* (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y)))) (* x (pow (pow (cos y) 2) 1/3)) (* (pow (cos y) 1/3) (pow (pow (cos y) 2) 1/3)) (* (pow (cos y) 1/3) (cbrt (* x (pow (pow (cos y) 2) 1/3)))) (* (pow (cos y) 1/3) (sqrt (* x (pow (pow (cos y) 2) 1/3)))) (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3)) (* (pow (cos y) 2/3) (sqrt x)) (* (pow (cos y) 2/3) (sqrt x)) (* (* (sqrt x) (pow (cos y) 1/3)) (pow (fabs (cos y)) 1/3)) (* (pow (cos y) 2/3) (sqrt x)) (* (pow (cos y) 1/3) (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3)))) (* (* (sqrt x) (pow (cos y) 1/3)) (pow (pow (cos y) 2) 1/6)) (* (pow (pow (cos y) 2/3) 1/3) (pow (cos y) 1/3)) (pow (cos y) 2/3) (* (pow (cos y) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (cos y) 2/3) (* (pow (cos y) 1/3) (cbrt (pow (pow (cos y) 2) 1/3))) (* (pow (fabs (cos y)) 1/3) (pow (cos y) 1/3)) (* (pow (cos y) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (cos y) 2/3) (* (pow (cos y) 1/3) (cbrt (pow (pow (cos y) 2) 1/3))) (* (pow (cos y) 1/3) (sqrt (pow (pow (cos y) 2) 1/3))) (* (pow (cos y) 1/3) (pow (pow (cos y) 2) 1/3)) (* (pow (pow (cos y) 2) 1/6) (pow (cos y) 1/3)) (* (pow (cos y) 1/3) (* (cbrt x) (pow (pow (cos y) 2) 1/3))) (* (pow (cos y) 1/3) (* (sqrt x) (pow (pow (cos y) 2) 1/3))) (* (* (pow (cos y) 1/3) x) (pow (pow (cos y) 2) 1/3)) (* (pow (cos y) 1/3) x) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) x (* x (cos y)) (* x (cos y)) 2.222 * * * [progress]: adding candidates to table 2.564 * [progress]: [Phase 3 of 3] Extracting. 2.564 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 2.567 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 2.567 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # #) 2.613 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # #) 2.659 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # #) 2.704 * * * [regime]: Found split indices: #