544.058 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.114 * * * [progress]: [2/2] Setting up program. 0.122 * [progress]: [Phase 2 of 3] Improving. 0.122 * [simplify]: Simplifying using # : (- (* x (cos y)) (* z (sin y))) 0.124 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.126 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 0.129 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 0.133 * * [simplify]: iteration done : 19 enodes (cost 9 ) 0.133 * [simplify]: Simplified to: (- (* x (cos y)) (* z (sin y))) 0.134 * * [progress]: iteration 1 / 4 0.134 * * * [progress]: picking best candidate 0.142 * * * * [pick]: Picked # 0.142 * * * [progress]: localizing error 0.162 * * * [progress]: generating rewritten candidates 0.162 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.171 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.180 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 0.184 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.194 * * * [progress]: generating series expansions 0.194 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.195 * [approximate]: Taking taylor expansion of (* z (sin y)) in (z y) around 0 0.195 * [taylor]: Taking taylor expansion of (* z (sin y)) in y 0.195 * [taylor]: Taking taylor expansion of z in y 0.195 * [taylor]: Taking taylor expansion of (sin y) in y 0.195 * [taylor]: Taking taylor expansion of y in y 0.195 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 0.195 * [taylor]: Taking taylor expansion of z in z 0.195 * [taylor]: Taking taylor expansion of (sin y) in z 0.195 * [taylor]: Taking taylor expansion of y in z 0.195 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 0.195 * [taylor]: Taking taylor expansion of z in z 0.195 * [taylor]: Taking taylor expansion of (sin y) in z 0.195 * [taylor]: Taking taylor expansion of y in z 0.195 * [taylor]: Taking taylor expansion of 0 in y 0.196 * [taylor]: Taking taylor expansion of (sin y) in y 0.196 * [taylor]: Taking taylor expansion of y in y 0.197 * [taylor]: Taking taylor expansion of 0 in y 0.198 * [taylor]: Taking taylor expansion of 0 in y 0.200 * [taylor]: Taking taylor expansion of 0 in y 0.200 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.200 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.200 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.200 * [taylor]: Taking taylor expansion of y in y 0.200 * [taylor]: Taking taylor expansion of z in y 0.200 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.200 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.201 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.201 * [taylor]: Taking taylor expansion of y in z 0.201 * [taylor]: Taking taylor expansion of z in z 0.201 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.201 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.201 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.201 * [taylor]: Taking taylor expansion of y in z 0.201 * [taylor]: Taking taylor expansion of z in z 0.202 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.202 * [taylor]: Taking taylor expansion of y in y 0.203 * [taylor]: Taking taylor expansion of 0 in y 0.204 * [taylor]: Taking taylor expansion of 0 in y 0.206 * [taylor]: Taking taylor expansion of 0 in y 0.206 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.206 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.206 * [taylor]: Taking taylor expansion of -1 in y 0.206 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.206 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.206 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.206 * [taylor]: Taking taylor expansion of -1 in y 0.206 * [taylor]: Taking taylor expansion of y in y 0.207 * [taylor]: Taking taylor expansion of z in y 0.207 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.207 * [taylor]: Taking taylor expansion of -1 in z 0.207 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.207 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.207 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.207 * [taylor]: Taking taylor expansion of -1 in z 0.207 * [taylor]: Taking taylor expansion of y in z 0.207 * [taylor]: Taking taylor expansion of z in z 0.207 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.207 * [taylor]: Taking taylor expansion of -1 in z 0.207 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.208 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.208 * [taylor]: Taking taylor expansion of -1 in z 0.208 * [taylor]: Taking taylor expansion of y in z 0.208 * [taylor]: Taking taylor expansion of z in z 0.208 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.208 * [taylor]: Taking taylor expansion of -1 in y 0.208 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.208 * [taylor]: Taking taylor expansion of -1 in y 0.208 * [taylor]: Taking taylor expansion of y in y 0.210 * [taylor]: Taking taylor expansion of 0 in y 0.211 * [taylor]: Taking taylor expansion of 0 in y 0.212 * [taylor]: Taking taylor expansion of 0 in y 0.212 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.213 * [approximate]: Taking taylor expansion of (* (cos y) x) in (x y) around 0 0.213 * [taylor]: Taking taylor expansion of (* (cos y) x) in y 0.213 * [taylor]: Taking taylor expansion of (cos y) in y 0.213 * [taylor]: Taking taylor expansion of y in y 0.213 * [taylor]: Taking taylor expansion of x in y 0.213 * [taylor]: Taking taylor expansion of (* (cos y) x) in x 0.213 * [taylor]: Taking taylor expansion of (cos y) in x 0.213 * [taylor]: Taking taylor expansion of y in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of (* (cos y) x) in x 0.213 * [taylor]: Taking taylor expansion of (cos y) in x 0.213 * [taylor]: Taking taylor expansion of y in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of 0 in y 0.214 * [taylor]: Taking taylor expansion of (cos y) in y 0.214 * [taylor]: Taking taylor expansion of y in y 0.215 * [taylor]: Taking taylor expansion of 0 in y 0.216 * [taylor]: Taking taylor expansion of 0 in y 0.216 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 0.216 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.216 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.216 * [taylor]: Taking taylor expansion of y in y 0.216 * [taylor]: Taking taylor expansion of x in y 0.216 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.216 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.216 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.216 * [taylor]: Taking taylor expansion of y in x 0.217 * [taylor]: Taking taylor expansion of x in x 0.217 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.217 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.217 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.217 * [taylor]: Taking taylor expansion of y in x 0.217 * [taylor]: Taking taylor expansion of x in x 0.218 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.218 * [taylor]: Taking taylor expansion of y in y 0.218 * [taylor]: Taking taylor expansion of 0 in y 0.219 * [taylor]: Taking taylor expansion of 0 in y 0.221 * [taylor]: Taking taylor expansion of 0 in y 0.221 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 0.221 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 0.221 * [taylor]: Taking taylor expansion of -1 in y 0.221 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.221 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.221 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.221 * [taylor]: Taking taylor expansion of -1 in y 0.221 * [taylor]: Taking taylor expansion of y in y 0.221 * [taylor]: Taking taylor expansion of x in y 0.221 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.221 * [taylor]: Taking taylor expansion of -1 in x 0.221 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.221 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.222 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.222 * [taylor]: Taking taylor expansion of -1 in x 0.222 * [taylor]: Taking taylor expansion of y in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.222 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.222 * [taylor]: Taking taylor expansion of -1 in x 0.222 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.222 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.222 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.222 * [taylor]: Taking taylor expansion of -1 in x 0.222 * [taylor]: Taking taylor expansion of y in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.223 * [taylor]: Taking taylor expansion of -1 in y 0.223 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.223 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.223 * [taylor]: Taking taylor expansion of -1 in y 0.223 * [taylor]: Taking taylor expansion of y in y 0.224 * [taylor]: Taking taylor expansion of 0 in y 0.225 * [taylor]: Taking taylor expansion of 0 in y 0.227 * [taylor]: Taking taylor expansion of 0 in y 0.227 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 0.227 * [approximate]: Taking taylor expansion of (sin y) in (y) around 0 0.227 * [taylor]: Taking taylor expansion of (sin y) in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.227 * [taylor]: Taking taylor expansion of (sin y) in y 0.227 * [taylor]: Taking taylor expansion of y in y 0.229 * [approximate]: Taking taylor expansion of (sin (/ 1 y)) in (y) around 0 0.229 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.229 * [taylor]: Taking taylor expansion of y in y 0.230 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.230 * [taylor]: Taking taylor expansion of y in y 0.230 * [approximate]: Taking taylor expansion of (sin (/ -1 y)) in (y) around 0 0.230 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.230 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.230 * [taylor]: Taking taylor expansion of -1 in y 0.230 * [taylor]: Taking taylor expansion of y in y 0.230 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.230 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.230 * [taylor]: Taking taylor expansion of -1 in y 0.230 * [taylor]: Taking taylor expansion of y in y 0.231 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.231 * [approximate]: Taking taylor expansion of (- (* (cos y) x) (* z (sin y))) in (x y z) around 0 0.231 * [taylor]: Taking taylor expansion of (- (* (cos y) x) (* z (sin y))) in z 0.231 * [taylor]: Taking taylor expansion of (* (cos y) x) in z 0.231 * [taylor]: Taking taylor expansion of (cos y) in z 0.231 * [taylor]: Taking taylor expansion of y in z 0.231 * [taylor]: Taking taylor expansion of x in z 0.231 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 0.231 * [taylor]: Taking taylor expansion of z in z 0.231 * [taylor]: Taking taylor expansion of (sin y) in z 0.231 * [taylor]: Taking taylor expansion of y in z 0.232 * [taylor]: Taking taylor expansion of (- (* (cos y) x) (* z (sin y))) in y 0.232 * [taylor]: Taking taylor expansion of (* (cos y) x) in y 0.232 * [taylor]: Taking taylor expansion of (cos y) in y 0.232 * [taylor]: Taking taylor expansion of y in y 0.232 * [taylor]: Taking taylor expansion of x in y 0.232 * [taylor]: Taking taylor expansion of (* z (sin y)) in y 0.232 * [taylor]: Taking taylor expansion of z in y 0.232 * [taylor]: Taking taylor expansion of (sin y) in y 0.232 * [taylor]: Taking taylor expansion of y in y 0.232 * [taylor]: Taking taylor expansion of (- (* (cos y) x) (* z (sin y))) in x 0.232 * [taylor]: Taking taylor expansion of (* (cos y) x) in x 0.232 * [taylor]: Taking taylor expansion of (cos y) in x 0.232 * [taylor]: Taking taylor expansion of y in x 0.232 * [taylor]: Taking taylor expansion of x in x 0.232 * [taylor]: Taking taylor expansion of (* z (sin y)) in x 0.232 * [taylor]: Taking taylor expansion of z in x 0.232 * [taylor]: Taking taylor expansion of (sin y) in x 0.232 * [taylor]: Taking taylor expansion of y in x 0.232 * [taylor]: Taking taylor expansion of (- (* (cos y) x) (* z (sin y))) in x 0.232 * [taylor]: Taking taylor expansion of (* (cos y) x) in x 0.232 * [taylor]: Taking taylor expansion of (cos y) in x 0.232 * [taylor]: Taking taylor expansion of y in x 0.233 * [taylor]: Taking taylor expansion of x in x 0.233 * [taylor]: Taking taylor expansion of (* z (sin y)) in x 0.233 * [taylor]: Taking taylor expansion of z in x 0.233 * [taylor]: Taking taylor expansion of (sin y) in x 0.233 * [taylor]: Taking taylor expansion of y in x 0.233 * [taylor]: Taking taylor expansion of (neg (* z (sin y))) in y 0.233 * [taylor]: Taking taylor expansion of (* z (sin y)) in y 0.233 * [taylor]: Taking taylor expansion of z in y 0.233 * [taylor]: Taking taylor expansion of (sin y) in y 0.233 * [taylor]: Taking taylor expansion of y in y 0.234 * [taylor]: Taking taylor expansion of 0 in z 0.235 * [taylor]: Taking taylor expansion of (cos y) in y 0.235 * [taylor]: Taking taylor expansion of y in y 0.235 * [taylor]: Taking taylor expansion of 1 in z 0.235 * [taylor]: Taking taylor expansion of (neg z) in z 0.235 * [taylor]: Taking taylor expansion of z in z 0.236 * [taylor]: Taking taylor expansion of 0 in y 0.236 * [taylor]: Taking taylor expansion of 0 in z 0.237 * [taylor]: Taking taylor expansion of 0 in z 0.237 * [taylor]: Taking taylor expansion of 0 in z 0.237 * [approximate]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in (x y z) around 0 0.237 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z 0.237 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in z 0.238 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.238 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.238 * [taylor]: Taking taylor expansion of y in z 0.238 * [taylor]: Taking taylor expansion of x in z 0.238 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.238 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.238 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.238 * [taylor]: Taking taylor expansion of y in z 0.238 * [taylor]: Taking taylor expansion of z in z 0.239 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y 0.239 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.239 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.239 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.239 * [taylor]: Taking taylor expansion of y in y 0.239 * [taylor]: Taking taylor expansion of x in y 0.239 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.239 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.239 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.239 * [taylor]: Taking taylor expansion of y in y 0.239 * [taylor]: Taking taylor expansion of z in y 0.239 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x 0.240 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.240 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.240 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.240 * [taylor]: Taking taylor expansion of y in x 0.240 * [taylor]: Taking taylor expansion of x in x 0.240 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.240 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.240 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.240 * [taylor]: Taking taylor expansion of y in x 0.241 * [taylor]: Taking taylor expansion of z in x 0.241 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x 0.241 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.241 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.241 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.241 * [taylor]: Taking taylor expansion of y in x 0.241 * [taylor]: Taking taylor expansion of x in x 0.242 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.242 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.242 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.242 * [taylor]: Taking taylor expansion of y in x 0.242 * [taylor]: Taking taylor expansion of z in x 0.242 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.242 * [taylor]: Taking taylor expansion of y in y 0.243 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.243 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.243 * [taylor]: Taking taylor expansion of y in z 0.244 * [taylor]: Taking taylor expansion of (neg (/ (sin (/ 1 y)) z)) in y 0.244 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.244 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.244 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.244 * [taylor]: Taking taylor expansion of y in y 0.244 * [taylor]: Taking taylor expansion of z in y 0.244 * [taylor]: Taking taylor expansion of (neg (/ (sin (/ 1 y)) z)) in z 0.244 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.244 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.244 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.244 * [taylor]: Taking taylor expansion of y in z 0.244 * [taylor]: Taking taylor expansion of z in z 0.245 * [taylor]: Taking taylor expansion of 0 in z 0.247 * [taylor]: Taking taylor expansion of 0 in y 0.247 * [taylor]: Taking taylor expansion of 0 in z 0.247 * [taylor]: Taking taylor expansion of 0 in z 0.247 * [taylor]: Taking taylor expansion of 0 in z 0.250 * [taylor]: Taking taylor expansion of 0 in y 0.251 * [taylor]: Taking taylor expansion of 0 in z 0.251 * [taylor]: Taking taylor expansion of 0 in z 0.251 * [taylor]: Taking taylor expansion of 0 in z 0.251 * [taylor]: Taking taylor expansion of 0 in z 0.259 * [approximate]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in (x y z) around 0 0.259 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in z 0.259 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.259 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.259 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.259 * [taylor]: Taking taylor expansion of -1 in z 0.259 * [taylor]: Taking taylor expansion of y in z 0.259 * [taylor]: Taking taylor expansion of z in z 0.259 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in z 0.260 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.260 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.260 * [taylor]: Taking taylor expansion of -1 in z 0.260 * [taylor]: Taking taylor expansion of y in z 0.260 * [taylor]: Taking taylor expansion of x in z 0.260 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in y 0.260 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.260 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.260 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.260 * [taylor]: Taking taylor expansion of -1 in y 0.260 * [taylor]: Taking taylor expansion of y in y 0.260 * [taylor]: Taking taylor expansion of z in y 0.261 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.261 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.261 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.261 * [taylor]: Taking taylor expansion of -1 in y 0.261 * [taylor]: Taking taylor expansion of y in y 0.261 * [taylor]: Taking taylor expansion of x in y 0.261 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x 0.261 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.261 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.261 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.261 * [taylor]: Taking taylor expansion of -1 in x 0.261 * [taylor]: Taking taylor expansion of y in x 0.261 * [taylor]: Taking taylor expansion of z in x 0.262 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.262 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.262 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.262 * [taylor]: Taking taylor expansion of -1 in x 0.262 * [taylor]: Taking taylor expansion of y in x 0.262 * [taylor]: Taking taylor expansion of x in x 0.262 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x 0.262 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.262 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.262 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.262 * [taylor]: Taking taylor expansion of -1 in x 0.262 * [taylor]: Taking taylor expansion of y in x 0.263 * [taylor]: Taking taylor expansion of z in x 0.263 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.263 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.263 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.263 * [taylor]: Taking taylor expansion of -1 in x 0.263 * [taylor]: Taking taylor expansion of y in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of (neg (cos (/ -1 y))) in y 0.264 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.264 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.264 * [taylor]: Taking taylor expansion of -1 in y 0.264 * [taylor]: Taking taylor expansion of y in y 0.265 * [taylor]: Taking taylor expansion of (neg (cos (/ -1 y))) in z 0.265 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.265 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.265 * [taylor]: Taking taylor expansion of -1 in z 0.265 * [taylor]: Taking taylor expansion of y in z 0.266 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.266 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.266 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.266 * [taylor]: Taking taylor expansion of -1 in y 0.266 * [taylor]: Taking taylor expansion of y in y 0.266 * [taylor]: Taking taylor expansion of z in y 0.266 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.266 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.266 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.266 * [taylor]: Taking taylor expansion of -1 in z 0.266 * [taylor]: Taking taylor expansion of y in z 0.266 * [taylor]: Taking taylor expansion of z in z 0.267 * [taylor]: Taking taylor expansion of 0 in z 0.269 * [taylor]: Taking taylor expansion of 0 in y 0.270 * [taylor]: Taking taylor expansion of 0 in z 0.270 * [taylor]: Taking taylor expansion of 0 in z 0.270 * [taylor]: Taking taylor expansion of 0 in z 0.273 * [taylor]: Taking taylor expansion of 0 in y 0.273 * [taylor]: Taking taylor expansion of 0 in z 0.273 * [taylor]: Taking taylor expansion of 0 in z 0.274 * [taylor]: Taking taylor expansion of 0 in z 0.274 * [taylor]: Taking taylor expansion of 0 in z 0.275 * * * [progress]: simplifying candidates 0.276 * [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)) (log (sin y)) (exp (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (* (* (sin y) (sin y)) (sin y)) (sqrt (sin y)) (sqrt (sin y)) (/ (exp (* x (cos y))) (exp (* z (sin y)))) (log (- (* x (cos y)) (* z (sin y)))) (exp (- (* x (cos y)) (* z (sin y)))) (* (cbrt (- (* x (cos y)) (* z (sin y)))) (cbrt (- (* x (cos y)) (* z (sin y))))) (cbrt (- (* x (cos y)) (* z (sin y)))) (* (* (- (* x (cos y)) (* z (sin y))) (- (* x (cos y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y)))) (- (pow (* x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (* x (cos y)) (* x (cos y))) (+ (* (* z (sin y)) (* z (sin y))) (* (* x (cos y)) (* z (sin y))))) (neg (* z (sin y))) (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y)))) (+ (* x (cos y)) (* z (sin y))) (neg (* z (sin y))) (* z y) (* z (sin y)) (* z (sin y)) x (* (cos y) x) (* (cos y) x) (- (+ (* 1/120 (pow y 5)) y) (* 1/6 (pow y 3))) (sin y) (sin y) x (- (* (cos y) x) (* z (sin y))) (- (* (cos y) x) (* z (sin y))) 0.278 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 0.278 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 0.279 * * [simplify]: iteration done : 5 enodes (cost 4 ) 0.281 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.282 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 0.283 * * [simplify]: iteration done : 7 enodes (cost 6 ) 0.285 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.286 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.287 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 0.289 * * [simplify]: iteration done : 10 enodes (cost 5 ) 0.291 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.292 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.294 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.297 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 0.303 * * [simplify]: iteration 4 : 45 enodes (cost 5 ) 0.317 * * [simplify]: iteration 5 : 101 enodes (cost 5 ) 0.390 * * [simplify]: iteration 6 : 240 enodes (cost 5 ) 0.675 * * [simplify]: iteration 7 : 694 enodes (cost 5 ) 3.024 * * [simplify]: iteration 8 : 2697 enodes (cost 5 ) 6.823 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 6.825 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 6.827 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 6.832 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 6.859 * * [simplify]: iteration 3 : 79 enodes (cost 8 ) 6.900 * * [simplify]: iteration 4 : 137 enodes (cost 6 ) 7.003 * * [simplify]: iteration 5 : 259 enodes (cost 6 ) 7.294 * * [simplify]: iteration 6 : 654 enodes (cost 6 ) 8.703 * * [simplify]: iteration 7 : 2457 enodes (cost 6 ) 10.671 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 10.672 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 10.673 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 10.674 * * [simplify]: iteration done : 7 enodes (cost 11 ) 10.674 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 10.675 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 10.675 * * [simplify]: iteration done : 6 enodes (cost 5 ) 10.676 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 10.677 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 10.680 * * [simplify]: iteration 2 : 46 enodes (cost 6 ) 10.696 * * [simplify]: iteration 3 : 89 enodes (cost 6 ) 10.719 * * [simplify]: iteration 4 : 105 enodes (cost 6 ) 10.751 * * [simplify]: iteration 5 : 151 enodes (cost 6 ) 10.810 * * [simplify]: iteration 6 : 283 enodes (cost 6 ) 10.976 * * [simplify]: iteration 7 : 735 enodes (cost 6 ) 12.530 * * [simplify]: iteration 8 : 2697 enodes (cost 6 ) 15.489 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 15.490 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 15.490 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 15.491 * * [simplify]: iteration done : 6 enodes (cost 5 ) 15.492 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 15.492 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 15.493 * * [simplify]: iteration done : 6 enodes (cost 5 ) 15.493 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 15.494 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 15.494 * * [simplify]: iteration done : 7 enodes (cost 6 ) 15.495 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 15.496 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 15.496 * * [simplify]: iteration done : 7 enodes (cost 6 ) 15.497 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 15.498 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 15.499 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 15.500 * * [simplify]: iteration done : 11 enodes (cost 9 ) 15.501 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 15.502 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 15.503 * * [simplify]: iteration done : 6 enodes (cost 5 ) 15.503 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 15.504 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 15.504 * * [simplify]: iteration done : 6 enodes (cost 1 ) 15.504 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 15.505 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 15.505 * * [simplify]: iteration done : 6 enodes (cost 5 ) 15.506 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 15.507 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 15.507 * * [simplify]: iteration done : 6 enodes (cost 5 ) 15.508 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 15.508 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 15.509 * * [simplify]: iteration done : 5 enodes (cost 4 ) 15.509 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 15.510 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 15.510 * * [simplify]: iteration done : 5 enodes (cost 4 ) 15.511 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 15.512 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 15.512 * * [simplify]: iteration done : 7 enodes (cost 6 ) 15.513 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 15.513 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 15.514 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 15.515 * * [simplify]: iteration done : 10 enodes (cost 5 ) 15.516 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 15.517 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 15.518 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 15.519 * * [simplify]: iteration 3 : 22 enodes (cost 5 ) 15.522 * * [simplify]: iteration 4 : 45 enodes (cost 5 ) 15.529 * * [simplify]: iteration 5 : 101 enodes (cost 5 ) 15.566 * * [simplify]: iteration 6 : 240 enodes (cost 5 ) 15.711 * * [simplify]: iteration 7 : 694 enodes (cost 5 ) 16.838 * * [simplify]: iteration 8 : 2697 enodes (cost 5 ) 18.788 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 18.789 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 18.790 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 18.793 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 18.801 * * [simplify]: iteration 3 : 79 enodes (cost 8 ) 18.822 * * [simplify]: iteration 4 : 137 enodes (cost 6 ) 18.875 * * [simplify]: iteration 5 : 259 enodes (cost 6 ) 19.022 * * [simplify]: iteration 6 : 654 enodes (cost 6 ) 19.980 * * [simplify]: iteration 7 : 2457 enodes (cost 6 ) 21.844 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 21.850 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 21.851 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 21.852 * * [simplify]: iteration done : 7 enodes (cost 11 ) 21.852 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 21.853 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 21.853 * * [simplify]: iteration done : 6 enodes (cost 5 ) 21.854 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 21.855 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 21.859 * * [simplify]: iteration 2 : 46 enodes (cost 6 ) 21.870 * * [simplify]: iteration 3 : 89 enodes (cost 6 ) 21.893 * * [simplify]: iteration 4 : 105 enodes (cost 6 ) 21.924 * * [simplify]: iteration 5 : 151 enodes (cost 6 ) 21.982 * * [simplify]: iteration 6 : 283 enodes (cost 6 ) 22.144 * * [simplify]: iteration 7 : 735 enodes (cost 6 ) 23.190 * * [simplify]: iteration 8 : 2697 enodes (cost 6 ) 25.459 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 25.460 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 25.460 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 25.461 * * [simplify]: iteration done : 6 enodes (cost 5 ) 25.461 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 25.462 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 25.462 * * [simplify]: iteration done : 6 enodes (cost 5 ) 25.463 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 25.464 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 25.464 * * [simplify]: iteration done : 7 enodes (cost 6 ) 25.465 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 25.466 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 25.466 * * [simplify]: iteration done : 7 enodes (cost 6 ) 25.467 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 25.468 * * [simplify]: iteration 1 : 9 enodes (cost 9 ) 25.469 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 25.471 * * [simplify]: iteration done : 11 enodes (cost 9 ) 25.471 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 25.472 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 25.472 * * [simplify]: iteration done : 6 enodes (cost 5 ) 25.473 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 25.473 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 25.473 * * [simplify]: iteration done : 6 enodes (cost 1 ) 25.474 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 25.475 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 25.475 * * [simplify]: iteration done : 6 enodes (cost 5 ) 25.476 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 25.476 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 25.477 * * [simplify]: iteration done : 6 enodes (cost 5 ) 25.477 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 25.478 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 25.478 * * [simplify]: iteration done : 5 enodes (cost 4 ) 25.479 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 25.479 * * [simplify]: iteration done : 3 enodes (cost 3 ) 25.480 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 25.480 * * [simplify]: iteration done : 3 enodes (cost 3 ) 25.481 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 25.481 * * [simplify]: iteration done : 4 enodes (cost 7 ) 25.482 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 25.482 * * [simplify]: iteration done : 3 enodes (cost 3 ) 25.483 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 25.483 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 25.484 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 25.485 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 25.486 * * [simplify]: iteration 4 : 18 enodes (cost 4 ) 25.493 * * [simplify]: iteration 5 : 28 enodes (cost 4 ) 25.496 * * [simplify]: iteration 6 : 49 enodes (cost 4 ) 25.505 * * [simplify]: iteration 7 : 108 enodes (cost 4 ) 25.551 * * [simplify]: iteration 8 : 316 enodes (cost 4 ) 26.020 * * [simplify]: iteration 9 : 1236 enodes (cost 4 ) 28.459 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 28.460 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.460 * * [simplify]: iteration done : 3 enodes (cost 3 ) 28.461 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 28.461 * * [simplify]: iteration done : 3 enodes (cost 3 ) 28.462 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 28.463 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 28.472 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 28.475 * * [simplify]: iteration 3 : 62 enodes (cost 10 ) 28.486 * * [simplify]: iteration 4 : 161 enodes (cost 10 ) 28.533 * * [simplify]: iteration 5 : 607 enodes (cost 10 ) 29.406 * * [simplify]: iteration 6 : 3919 enodes (cost 10 ) 30.765 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 30.765 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 30.766 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 30.768 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 30.774 * * [simplify]: iteration done : 20 enodes (cost 10 ) 30.775 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 30.776 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 30.778 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 30.782 * * [simplify]: iteration 3 : 55 enodes (cost 10 ) 30.790 * * [simplify]: iteration 4 : 121 enodes (cost 10 ) 30.819 * * [simplify]: iteration 5 : 455 enodes (cost 10 ) 31.382 * * [simplify]: iteration 6 : 2440 enodes (cost 10 ) 32.461 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 32.462 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 32.467 * * [simplify]: iteration 1 : 14 enodes (cost 21 ) 32.468 * * [simplify]: iteration 2 : 21 enodes (cost 21 ) 32.471 * * [simplify]: iteration done : 21 enodes (cost 21 ) 32.471 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 32.472 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 32.474 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 32.476 * * [simplify]: iteration done : 20 enodes (cost 10 ) 32.477 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 32.478 * * [simplify]: iteration 1 : 15 enodes (cost 29 ) 32.481 * * [simplify]: iteration 2 : 36 enodes (cost 11 ) 32.488 * * [simplify]: iteration 3 : 127 enodes (cost 11 ) 32.532 * * [simplify]: iteration 4 : 510 enodes (cost 11 ) 32.902 * * [simplify]: iteration 5 : 1914 enodes (cost 11 ) 34.628 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 34.629 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 34.630 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 34.632 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 34.634 * * [simplify]: iteration done : 20 enodes (cost 10 ) 34.635 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 34.636 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 34.637 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 34.640 * * [simplify]: iteration done : 20 enodes (cost 10 ) 34.640 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 34.642 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 34.648 * * [simplify]: iteration 2 : 118 enodes (cost 13 ) 34.685 * * [simplify]: iteration 3 : 389 enodes (cost 13 ) 34.891 * * [simplify]: iteration 4 : 906 enodes (cost 13 ) 35.587 * * [simplify]: iteration 5 : 2381 enodes (cost 13 ) 37.130 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 37.131 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 37.138 * * [simplify]: iteration 1 : 39 enodes (cost 24 ) 37.148 * * [simplify]: iteration 2 : 96 enodes (cost 24 ) 37.171 * * [simplify]: iteration 3 : 139 enodes (cost 24 ) 37.203 * * [simplify]: iteration 4 : 151 enodes (cost 24 ) 37.235 * * [simplify]: iteration 5 : 153 enodes (cost 24 ) 37.267 * * [simplify]: iteration done : 153 enodes (cost 24 ) 37.268 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 37.269 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 37.270 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 37.271 * * [simplify]: iteration done : 12 enodes (cost 5 ) 37.272 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 37.274 * * [simplify]: iteration 1 : 31 enodes (cost 19 ) 37.280 * * [simplify]: iteration 2 : 72 enodes (cost 19 ) 37.296 * * [simplify]: iteration 3 : 131 enodes (cost 19 ) 37.326 * * [simplify]: iteration 4 : 196 enodes (cost 19 ) 37.376 * * [simplify]: iteration 5 : 329 enodes (cost 19 ) 37.486 * * [simplify]: iteration 6 : 527 enodes (cost 19 ) 37.697 * * [simplify]: iteration 7 : 897 enodes (cost 19 ) 38.784 * * [simplify]: iteration 8 : 2705 enodes (cost 19 ) 41.074 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 41.074 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 41.075 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 41.077 * * [simplify]: iteration done : 11 enodes (cost 9 ) 41.077 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 41.078 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 41.079 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 41.080 * * [simplify]: iteration done : 12 enodes (cost 5 ) 41.081 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 41.081 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 41.081 * * [simplify]: iteration done : 4 enodes (cost 3 ) 41.082 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 41.082 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 41.083 * * [simplify]: iteration done : 5 enodes (cost 4 ) 41.084 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 41.084 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 41.085 * * [simplify]: iteration done : 5 enodes (cost 4 ) 41.085 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 41.085 * * [simplify]: iteration done : 1 enodes (cost 1 ) 41.086 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 41.086 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 41.087 * * [simplify]: iteration done : 5 enodes (cost 4 ) 41.088 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 41.088 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 41.089 * * [simplify]: iteration done : 5 enodes (cost 4 ) 41.089 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 41.091 * * [simplify]: iteration 1 : 30 enodes (cost 13 ) 41.095 * * [simplify]: iteration 2 : 72 enodes (cost 13 ) 41.108 * * [simplify]: iteration 3 : 158 enodes (cost 13 ) 41.156 * * [simplify]: iteration 4 : 346 enodes (cost 13 ) 41.307 * * [simplify]: iteration 5 : 880 enodes (cost 13 ) 42.423 * * [simplify]: iteration 6 : 3259 enodes (cost 13 ) 44.414 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 44.414 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 44.414 * * [simplify]: iteration done : 2 enodes (cost 2 ) 44.415 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 44.415 * * [simplify]: iteration done : 2 enodes (cost 2 ) 44.416 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 44.416 * * [simplify]: iteration done : 1 enodes (cost 1 ) 44.417 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 44.417 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 44.419 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 44.421 * * [simplify]: iteration done : 19 enodes (cost 9 ) 44.422 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 44.423 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 44.424 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 44.426 * * [simplify]: iteration done : 19 enodes (cost 9 ) 44.427 * [simplify]: Simplified to: (* z (sin y)) (+ (log z) (log (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) (log (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)) (log (sin y)) (exp (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)) (pow (sin y) 3) (sqrt (sin y)) (sqrt (sin y)) (exp (- (* x (cos y)) (* z (sin y)))) (log (- (* x (cos y)) (* z (sin y)))) (exp (- (* x (cos y)) (* z (sin y)))) (* (cbrt (- (* x (cos y)) (* z (sin y)))) (cbrt (- (* x (cos y)) (* z (sin y))))) (cbrt (- (* x (cos y)) (* z (sin y)))) (pow (- (* x (cos y)) (* z (sin y))) 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)))) (neg (* z (sin y))) (* (+ (* x (cos y)) (* z (sin y))) (- (* x (cos y)) (* z (sin y)))) (+ (* x (cos y)) (* z (sin y))) (neg (* z (sin y))) (* z y) (* z (sin y)) (* z (sin y)) x (* (cos y) x) (* (cos y) x) (- (+ (* 1/120 (pow y 5)) y) (* 1/6 (pow y 3))) (sin y) (sin y) x (- (* (cos y) x) (* z (sin y))) (- (* (cos y) x) (* z (sin y))) 44.427 * * * [progress]: adding candidates to table 44.503 * * [progress]: iteration 2 / 4 44.503 * * * [progress]: picking best candidate 44.542 * * * * [pick]: Picked # 44.542 * * * [progress]: localizing error 44.555 * * * [progress]: generating rewritten candidates 44.556 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 44.557 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 44.559 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 44.561 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 44.569 * * * [progress]: generating series expansions 44.569 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 44.570 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 44.570 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 44.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 44.570 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 44.570 * [taylor]: Taking taylor expansion of 1/3 in y 44.570 * [taylor]: Taking taylor expansion of (log (cos y)) in y 44.570 * [taylor]: Taking taylor expansion of (cos y) in y 44.570 * [taylor]: Taking taylor expansion of y in y 44.570 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 44.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 44.570 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 44.570 * [taylor]: Taking taylor expansion of 1/3 in y 44.570 * [taylor]: Taking taylor expansion of (log (cos y)) in y 44.570 * [taylor]: Taking taylor expansion of (cos y) in y 44.570 * [taylor]: Taking taylor expansion of y in y 44.574 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 44.574 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 44.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 44.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 44.574 * [taylor]: Taking taylor expansion of 1/3 in y 44.574 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 44.574 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 44.574 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.574 * [taylor]: Taking taylor expansion of y in y 44.574 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 44.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 44.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 44.574 * [taylor]: Taking taylor expansion of 1/3 in y 44.574 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 44.574 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 44.574 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.574 * [taylor]: Taking taylor expansion of y in y 44.583 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 44.583 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 44.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 44.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 44.583 * [taylor]: Taking taylor expansion of 1/3 in y 44.583 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 44.583 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 44.583 * [taylor]: Taking taylor expansion of (/ -1 y) in y 44.583 * [taylor]: Taking taylor expansion of -1 in y 44.583 * [taylor]: Taking taylor expansion of y in y 44.583 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 44.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 44.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 44.583 * [taylor]: Taking taylor expansion of 1/3 in y 44.583 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 44.583 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 44.583 * [taylor]: Taking taylor expansion of (/ -1 y) in y 44.583 * [taylor]: Taking taylor expansion of -1 in y 44.583 * [taylor]: Taking taylor expansion of y in y 44.591 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 44.591 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 44.591 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 44.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 44.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 44.591 * [taylor]: Taking taylor expansion of 1/3 in y 44.591 * [taylor]: Taking taylor expansion of (log (cos y)) in y 44.591 * [taylor]: Taking taylor expansion of (cos y) in y 44.591 * [taylor]: Taking taylor expansion of y in y 44.591 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 44.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 44.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 44.591 * [taylor]: Taking taylor expansion of 1/3 in y 44.591 * [taylor]: Taking taylor expansion of (log (cos y)) in y 44.591 * [taylor]: Taking taylor expansion of (cos y) in y 44.591 * [taylor]: Taking taylor expansion of y in y 44.594 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 44.595 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 44.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 44.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 44.595 * [taylor]: Taking taylor expansion of 1/3 in y 44.595 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 44.595 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 44.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.595 * [taylor]: Taking taylor expansion of y in y 44.595 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 44.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 44.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 44.595 * [taylor]: Taking taylor expansion of 1/3 in y 44.595 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 44.595 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 44.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.595 * [taylor]: Taking taylor expansion of y in y 44.603 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 44.603 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 44.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 44.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 44.603 * [taylor]: Taking taylor expansion of 1/3 in y 44.603 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 44.603 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 44.603 * [taylor]: Taking taylor expansion of (/ -1 y) in y 44.603 * [taylor]: Taking taylor expansion of -1 in y 44.603 * [taylor]: Taking taylor expansion of y in y 44.603 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 44.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 44.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 44.603 * [taylor]: Taking taylor expansion of 1/3 in y 44.603 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 44.603 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 44.603 * [taylor]: Taking taylor expansion of (/ -1 y) in y 44.603 * [taylor]: Taking taylor expansion of -1 in y 44.603 * [taylor]: Taking taylor expansion of y in y 44.611 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 44.611 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 44.611 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 44.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 44.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 44.611 * [taylor]: Taking taylor expansion of 1/3 in y 44.611 * [taylor]: Taking taylor expansion of (log (cos y)) in y 44.611 * [taylor]: Taking taylor expansion of (cos y) in y 44.611 * [taylor]: Taking taylor expansion of y in y 44.611 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 44.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 44.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 44.611 * [taylor]: Taking taylor expansion of 1/3 in y 44.611 * [taylor]: Taking taylor expansion of (log (cos y)) in y 44.611 * [taylor]: Taking taylor expansion of (cos y) in y 44.611 * [taylor]: Taking taylor expansion of y in y 44.614 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 44.614 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 44.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 44.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 44.614 * [taylor]: Taking taylor expansion of 1/3 in y 44.614 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 44.614 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 44.614 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.614 * [taylor]: Taking taylor expansion of y in y 44.615 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 44.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 44.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 44.615 * [taylor]: Taking taylor expansion of 1/3 in y 44.615 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 44.615 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 44.615 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.615 * [taylor]: Taking taylor expansion of y in y 44.622 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 44.622 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 44.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 44.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 44.622 * [taylor]: Taking taylor expansion of 1/3 in y 44.622 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 44.622 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 44.622 * [taylor]: Taking taylor expansion of (/ -1 y) in y 44.622 * [taylor]: Taking taylor expansion of -1 in y 44.622 * [taylor]: Taking taylor expansion of y in y 44.623 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 44.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 44.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 44.623 * [taylor]: Taking taylor expansion of 1/3 in y 44.623 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 44.623 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 44.623 * [taylor]: Taking taylor expansion of (/ -1 y) in y 44.623 * [taylor]: Taking taylor expansion of -1 in y 44.623 * [taylor]: Taking taylor expansion of y in y 44.631 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 44.635 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 44.635 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 44.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 44.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 44.635 * [taylor]: Taking taylor expansion of 1/3 in y 44.635 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 44.635 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 44.635 * [taylor]: Taking taylor expansion of (cos y) in y 44.635 * [taylor]: Taking taylor expansion of y in y 44.636 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 44.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 44.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 44.636 * [taylor]: Taking taylor expansion of 1/3 in y 44.636 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 44.636 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 44.636 * [taylor]: Taking taylor expansion of (cos y) in y 44.636 * [taylor]: Taking taylor expansion of y in y 44.645 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 44.645 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 44.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 44.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 44.645 * [taylor]: Taking taylor expansion of 1/3 in y 44.645 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 44.645 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 44.645 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 44.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.645 * [taylor]: Taking taylor expansion of y in y 44.645 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 44.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 44.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 44.645 * [taylor]: Taking taylor expansion of 1/3 in y 44.645 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 44.645 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 44.645 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 44.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 44.645 * [taylor]: Taking taylor expansion of y in y 44.655 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 44.655 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 44.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 44.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 44.655 * [taylor]: Taking taylor expansion of 1/3 in y 44.655 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 44.655 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 44.655 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 44.655 * [taylor]: Taking taylor expansion of (/ -1 y) in y 44.655 * [taylor]: Taking taylor expansion of -1 in y 44.655 * [taylor]: Taking taylor expansion of y in y 44.656 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 44.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 44.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 44.656 * [taylor]: Taking taylor expansion of 1/3 in y 44.656 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 44.656 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 44.656 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 44.656 * [taylor]: Taking taylor expansion of (/ -1 y) in y 44.656 * [taylor]: Taking taylor expansion of -1 in y 44.656 * [taylor]: Taking taylor expansion of y in y 44.665 * * * [progress]: simplifying candidates 44.666 * [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)) (* (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))) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (pow 1 1/3) (+ (* 1/405 (pow y 6)) (* 1/3 (pow y 2)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) 44.667 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 44.667 * * [simplify]: iteration done : 4 enodes (cost 4 ) 44.668 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 44.668 * * [simplify]: iteration done : 4 enodes (cost 4 ) 44.669 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 44.669 * * [simplify]: iteration done : 5 enodes (cost 8 ) 44.670 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 44.670 * * [simplify]: iteration done : 4 enodes (cost 4 ) 44.671 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 44.671 * * [simplify]: iteration done : 4 enodes (cost 4 ) 44.672 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 44.672 * * [simplify]: iteration done : 4 enodes (cost 4 ) 44.673 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 44.673 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 44.673 * * [simplify]: iteration done : 4 enodes (cost 1 ) 44.674 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 44.674 * * [simplify]: iteration done : 3 enodes (cost 3 ) 44.675 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 44.675 * * [simplify]: iteration done : 5 enodes (cost 9 ) 44.676 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 44.676 * * [simplify]: iteration done : 4 enodes (cost 4 ) 44.677 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 44.677 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 44.678 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 44.679 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 44.680 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 44.682 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 44.686 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 44.696 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 44.742 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 45.180 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 47.764 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 47.765 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 47.765 * * [simplify]: iteration done : 4 enodes (cost 4 ) 47.765 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 47.766 * * [simplify]: iteration done : 4 enodes (cost 4 ) 47.766 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 47.767 * * [simplify]: iteration done : 4 enodes (cost 4 ) 47.767 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 47.768 * * [simplify]: iteration done : 4 enodes (cost 4 ) 47.768 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 47.769 * * [simplify]: iteration done : 5 enodes (cost 8 ) 47.769 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 47.770 * * [simplify]: iteration done : 4 enodes (cost 4 ) 47.770 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 47.771 * * [simplify]: iteration done : 4 enodes (cost 4 ) 47.771 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 47.772 * * [simplify]: iteration done : 4 enodes (cost 4 ) 47.772 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 47.772 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 47.772 * * [simplify]: iteration done : 4 enodes (cost 1 ) 47.773 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 47.773 * * [simplify]: iteration done : 3 enodes (cost 3 ) 47.774 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 47.774 * * [simplify]: iteration done : 5 enodes (cost 9 ) 47.775 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 47.775 * * [simplify]: iteration done : 4 enodes (cost 4 ) 47.776 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 47.777 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 47.777 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 47.778 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 47.780 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 47.782 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 47.785 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 47.795 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 47.841 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 48.293 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 50.669 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 50.669 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.670 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.670 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.671 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.671 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.672 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.672 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.673 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.673 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 50.674 * * [simplify]: iteration done : 5 enodes (cost 8 ) 50.674 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.675 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.675 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.676 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.676 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.676 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.677 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 50.677 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 50.677 * * [simplify]: iteration done : 4 enodes (cost 1 ) 50.678 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 50.678 * * [simplify]: iteration done : 3 enodes (cost 3 ) 50.679 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 50.679 * * [simplify]: iteration done : 5 enodes (cost 9 ) 50.680 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 50.681 * * [simplify]: iteration done : 4 enodes (cost 4 ) 50.681 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 50.682 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 50.683 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 50.684 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 50.685 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 50.687 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 50.691 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 50.704 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 50.746 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 51.182 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 53.520 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 53.521 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 53.521 * * [simplify]: iteration done : 4 enodes (cost 4 ) 53.522 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 53.522 * * [simplify]: iteration done : 4 enodes (cost 4 ) 53.523 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 53.523 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 53.523 * * [simplify]: iteration done : 5 enodes (cost 1 ) 53.524 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 53.524 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 53.525 * * [simplify]: iteration done : 6 enodes (cost 1 ) 53.525 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 53.526 * * [simplify]: iteration done : 3 enodes (cost 5 ) 53.526 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 53.527 * * [simplify]: iteration done : 4 enodes (cost 7 ) 53.527 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 53.528 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 53.528 * * [simplify]: iteration done : 6 enodes (cost 1 ) 53.528 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 53.529 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 53.530 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 53.531 * * [simplify]: iteration done : 8 enodes (cost 6 ) 53.531 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 53.532 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 53.533 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 53.534 * * [simplify]: iteration 3 : 10 enodes (cost 6 ) 53.534 * * [simplify]: iteration done : 10 enodes (cost 6 ) 53.535 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 53.536 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 53.536 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 53.538 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 53.545 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 53.550 * * [simplify]: iteration 5 : 74 enodes (cost 8 ) 53.570 * * [simplify]: iteration 6 : 183 enodes (cost 8 ) 53.667 * * [simplify]: iteration 7 : 561 enodes (cost 8 ) 54.527 * * [simplify]: iteration 8 : 2246 enodes (cost 8 ) 56.660 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 56.660 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 56.661 * * [simplify]: iteration done : 3 enodes (cost 5 ) 56.661 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 56.662 * * [simplify]: iteration done : 6 enodes (cost 17 ) 56.663 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 56.663 * * [simplify]: iteration done : 5 enodes (cost 8 ) 56.664 * * [simplify]: iteration 0 : 6 enodes (cost 23 ) 56.665 * * [simplify]: iteration 1 : 14 enodes (cost 23 ) 56.667 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 56.671 * * [simplify]: iteration 3 : 35 enodes (cost 5 ) 56.677 * * [simplify]: iteration 4 : 69 enodes (cost 5 ) 56.693 * * [simplify]: iteration 5 : 154 enodes (cost 5 ) 56.747 * * [simplify]: iteration 6 : 392 enodes (cost 5 ) 57.117 * * [simplify]: iteration 7 : 1360 enodes (cost 5 ) 59.042 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 59.043 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 59.044 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 59.044 * * [simplify]: iteration done : 6 enodes (cost 4 ) 59.045 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 59.045 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 59.046 * * [simplify]: iteration done : 6 enodes (cost 4 ) 59.046 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 59.047 * * [simplify]: iteration done : 6 enodes (cost 17 ) 59.048 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 59.048 * * [simplify]: iteration done : 5 enodes (cost 9 ) 59.049 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 59.049 * * [simplify]: iteration done : 5 enodes (cost 9 ) 59.050 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 59.050 * * [simplify]: iteration done : 5 enodes (cost 9 ) 59.051 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 59.051 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 59.052 * * [simplify]: iteration done : 5 enodes (cost 1 ) 59.052 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 59.053 * * [simplify]: iteration done : 4 enodes (cost 7 ) 59.053 * * [simplify]: iteration 0 : 6 enodes (cost 19 ) 59.054 * * [simplify]: iteration 1 : 10 enodes (cost 19 ) 59.055 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 59.057 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 59.060 * * [simplify]: iteration 4 : 36 enodes (cost 6 ) 59.068 * * [simplify]: iteration 5 : 64 enodes (cost 6 ) 59.078 * * [simplify]: iteration 6 : 135 enodes (cost 6 ) 59.121 * * [simplify]: iteration 7 : 352 enodes (cost 6 ) 59.479 * * [simplify]: iteration 8 : 1262 enodes (cost 6 ) 61.110 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 61.110 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 61.111 * * [simplify]: iteration done : 5 enodes (cost 9 ) 61.112 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 61.112 * * [simplify]: iteration done : 5 enodes (cost 3 ) 61.113 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 61.113 * * [simplify]: iteration done : 5 enodes (cost 3 ) 61.114 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 61.114 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 61.114 * * [simplify]: iteration done : 4 enodes (cost 1 ) 61.115 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 61.115 * * [simplify]: iteration done : 4 enodes (cost 7 ) 61.116 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 61.116 * * [simplify]: iteration done : 5 enodes (cost 9 ) 61.117 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 61.117 * * [simplify]: iteration done : 5 enodes (cost 9 ) 61.118 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 61.119 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 61.119 * * [simplify]: iteration done : 8 enodes (cost 9 ) 61.120 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 61.121 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 61.121 * * [simplify]: iteration done : 8 enodes (cost 9 ) 61.122 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 61.123 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 61.123 * * [simplify]: iteration done : 8 enodes (cost 9 ) 61.124 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 61.125 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 61.125 * * [simplify]: iteration done : 8 enodes (cost 9 ) 61.126 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 61.126 * * [simplify]: iteration done : 5 enodes (cost 3 ) 61.127 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 61.128 * * [simplify]: iteration done : 5 enodes (cost 3 ) 61.128 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 61.129 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 61.129 * * [simplify]: iteration done : 5 enodes (cost 1 ) 61.129 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 61.130 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 61.130 * * [simplify]: iteration done : 6 enodes (cost 1 ) 61.131 * * [simplify]: iteration 0 : 6 enodes (cost 12 ) 61.131 * * [simplify]: iteration 1 : 7 enodes (cost 12 ) 61.132 * * [simplify]: iteration done : 7 enodes (cost 12 ) 61.133 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 61.133 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 61.134 * * [simplify]: iteration done : 7 enodes (cost 8 ) 61.135 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 61.135 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 61.136 * * [simplify]: iteration done : 9 enodes (cost 5 ) 61.136 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 61.137 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 61.138 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 61.139 * * [simplify]: iteration done : 11 enodes (cost 13 ) 61.140 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 61.140 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 61.141 * * [simplify]: iteration done : 6 enodes (cost 8 ) 61.142 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 61.142 * * [simplify]: iteration 1 : 8 enodes (cost 3 ) 61.143 * * [simplify]: iteration 2 : 11 enodes (cost 3 ) 61.144 * * [simplify]: iteration done : 11 enodes (cost 3 ) 61.144 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 61.145 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 61.145 * * [simplify]: iteration done : 6 enodes (cost 8 ) 61.146 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 61.147 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 61.148 * * [simplify]: iteration done : 7 enodes (cost 8 ) 61.148 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 61.149 * * [simplify]: iteration done : 4 enodes (cost 7 ) 61.150 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 61.150 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 61.151 * * [simplify]: iteration done : 6 enodes (cost 8 ) 61.151 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 61.152 * * [simplify]: iteration 1 : 6 enodes (cost 8 ) 61.152 * * [simplify]: iteration done : 6 enodes (cost 8 ) 61.153 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 61.153 * * [simplify]: iteration done : 4 enodes (cost 7 ) 61.154 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 61.156 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 61.164 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 61.179 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 61.308 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 61.780 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 63.865 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 63.866 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 63.866 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 63.867 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 63.869 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 63.872 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 63.880 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 63.928 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 64.386 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 66.750 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 66.751 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 66.751 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 66.752 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 66.754 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 66.757 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 66.765 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 66.813 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 67.272 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 69.858 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 69.859 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 69.861 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 69.866 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 69.888 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 70.021 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 70.509 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 72.652 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 72.652 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 72.653 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 72.654 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 72.655 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 72.658 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 72.667 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 72.714 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 73.178 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 75.611 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 75.612 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 75.612 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 75.613 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 75.615 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 75.618 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 75.626 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 75.674 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 76.143 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 78.571 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 78.572 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 78.574 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 78.579 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 78.594 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 78.734 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 79.222 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 81.366 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 81.367 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 81.368 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 81.369 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 81.370 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 81.373 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 81.381 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 81.428 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 81.882 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 84.265 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 84.266 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 84.267 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 84.268 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 84.269 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 84.272 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 84.281 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 84.328 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 84.779 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 87.146 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 87.147 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 87.149 * * [simplify]: iteration 1 : 35 enodes (cost 13 ) 87.154 * * [simplify]: iteration 2 : 74 enodes (cost 13 ) 87.166 * * [simplify]: iteration 3 : 192 enodes (cost 13 ) 87.284 * * [simplify]: iteration 4 : 760 enodes (cost 13 ) 88.440 * * [simplify]: iteration 5 : 3249 enodes (cost 13 ) 90.253 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 90.253 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 90.254 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 90.256 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 90.259 * * [simplify]: iteration 3 : 51 enodes (cost 5 ) 90.265 * * [simplify]: iteration 4 : 99 enodes (cost 5 ) 90.283 * * [simplify]: iteration 5 : 226 enodes (cost 5 ) 90.381 * * [simplify]: iteration 6 : 649 enodes (cost 5 ) 91.326 * * [simplify]: iteration 7 : 2582 enodes (cost 5 ) 93.364 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 93.365 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 93.366 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 93.368 * * [simplify]: iteration 2 : 30 enodes (cost 5 ) 93.370 * * [simplify]: iteration 3 : 51 enodes (cost 5 ) 93.377 * * [simplify]: iteration 4 : 99 enodes (cost 5 ) 93.399 * * [simplify]: iteration 5 : 226 enodes (cost 5 ) 93.496 * * [simplify]: iteration 6 : 649 enodes (cost 5 ) 94.452 * * [simplify]: iteration 7 : 2582 enodes (cost 5 ) 96.277 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 96.278 * [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 (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))) (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 (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))) (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 (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))) 2/3 2 (* (cos y) (cos y)) (* (cbrt (cos y)) (cbrt (cos y))) 2 (* 2 (log (cbrt (cos y)))) (* 2 (log (cbrt (cos y)))) (exp (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (cos y)) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (cos y)) (fabs (cbrt (cos y))) (fabs (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)))) 1 (* (cbrt (cos y)) (cbrt (cos y))) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 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)))) (cbrt (cos y)) (cbrt (cos y)) 2/3 2 (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* 1 (cbrt (cos y))) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (cbrt (cos y)) (* (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/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (+ (* 1/405 (pow y 6)) (* 1/3 (pow y 2)))) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)) 96.279 * * * [progress]: adding candidates to table 96.352 * * [progress]: iteration 3 / 4 96.352 * * * [progress]: picking best candidate 96.395 * * * * [pick]: Picked # 96.395 * * * [progress]: localizing error 96.411 * * * [progress]: generating rewritten candidates 96.411 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 96.413 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 96.418 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 96.427 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 96.437 * * * [progress]: generating series expansions 96.437 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 96.437 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 96.437 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 96.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 96.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 96.437 * [taylor]: Taking taylor expansion of 1/3 in y 96.437 * [taylor]: Taking taylor expansion of (log (cos y)) in y 96.437 * [taylor]: Taking taylor expansion of (cos y) in y 96.437 * [taylor]: Taking taylor expansion of y in y 96.437 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 96.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 96.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 96.437 * [taylor]: Taking taylor expansion of 1/3 in y 96.437 * [taylor]: Taking taylor expansion of (log (cos y)) in y 96.437 * [taylor]: Taking taylor expansion of (cos y) in y 96.437 * [taylor]: Taking taylor expansion of y in y 96.440 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 96.440 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 96.440 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 96.440 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 96.441 * [taylor]: Taking taylor expansion of 1/3 in y 96.441 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 96.441 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 96.441 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.441 * [taylor]: Taking taylor expansion of y in y 96.441 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 96.441 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 96.441 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 96.441 * [taylor]: Taking taylor expansion of 1/3 in y 96.441 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 96.441 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 96.441 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.441 * [taylor]: Taking taylor expansion of y in y 96.448 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 96.448 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 96.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 96.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 96.448 * [taylor]: Taking taylor expansion of 1/3 in y 96.448 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 96.448 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 96.448 * [taylor]: Taking taylor expansion of (/ -1 y) in y 96.448 * [taylor]: Taking taylor expansion of -1 in y 96.448 * [taylor]: Taking taylor expansion of y in y 96.449 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 96.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 96.449 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 96.449 * [taylor]: Taking taylor expansion of 1/3 in y 96.449 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 96.449 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 96.449 * [taylor]: Taking taylor expansion of (/ -1 y) in y 96.449 * [taylor]: Taking taylor expansion of -1 in y 96.449 * [taylor]: Taking taylor expansion of y in y 96.457 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 96.457 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 96.457 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 96.457 * [taylor]: Taking taylor expansion of (cos y) in y 96.457 * [taylor]: Taking taylor expansion of y in y 96.457 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 96.457 * [taylor]: Taking taylor expansion of (cos y) in y 96.457 * [taylor]: Taking taylor expansion of y in y 96.458 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 96.458 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 96.458 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 96.458 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.458 * [taylor]: Taking taylor expansion of y in y 96.458 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 96.458 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 96.458 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.458 * [taylor]: Taking taylor expansion of y in y 96.459 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 96.459 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 96.459 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 96.459 * [taylor]: Taking taylor expansion of (/ -1 y) in y 96.459 * [taylor]: Taking taylor expansion of -1 in y 96.459 * [taylor]: Taking taylor expansion of y in y 96.459 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 96.459 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 96.459 * [taylor]: Taking taylor expansion of (/ -1 y) in y 96.459 * [taylor]: Taking taylor expansion of -1 in y 96.459 * [taylor]: Taking taylor expansion of y in y 96.460 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 96.460 * [approximate]: Taking taylor expansion of (* (cos y) x) in (x y) around 0 96.460 * [taylor]: Taking taylor expansion of (* (cos y) x) in y 96.460 * [taylor]: Taking taylor expansion of (cos y) in y 96.460 * [taylor]: Taking taylor expansion of y in y 96.460 * [taylor]: Taking taylor expansion of x in y 96.460 * [taylor]: Taking taylor expansion of (* (cos y) x) in x 96.460 * [taylor]: Taking taylor expansion of (cos y) in x 96.460 * [taylor]: Taking taylor expansion of y in x 96.460 * [taylor]: Taking taylor expansion of x in x 96.460 * [taylor]: Taking taylor expansion of (* (cos y) x) in x 96.461 * [taylor]: Taking taylor expansion of (cos y) in x 96.461 * [taylor]: Taking taylor expansion of y in x 96.461 * [taylor]: Taking taylor expansion of x in x 96.461 * [taylor]: Taking taylor expansion of 0 in y 96.461 * [taylor]: Taking taylor expansion of (cos y) in y 96.461 * [taylor]: Taking taylor expansion of y in y 96.461 * [taylor]: Taking taylor expansion of 0 in y 96.462 * [taylor]: Taking taylor expansion of 0 in y 96.462 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 96.462 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 96.462 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 96.462 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.462 * [taylor]: Taking taylor expansion of y in y 96.463 * [taylor]: Taking taylor expansion of x in y 96.463 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 96.463 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 96.463 * [taylor]: Taking taylor expansion of (/ 1 y) in x 96.463 * [taylor]: Taking taylor expansion of y in x 96.463 * [taylor]: Taking taylor expansion of x in x 96.463 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 96.463 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 96.463 * [taylor]: Taking taylor expansion of (/ 1 y) in x 96.463 * [taylor]: Taking taylor expansion of y in x 96.463 * [taylor]: Taking taylor expansion of x in x 96.463 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 96.463 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.463 * [taylor]: Taking taylor expansion of y in y 96.464 * [taylor]: Taking taylor expansion of 0 in y 96.464 * [taylor]: Taking taylor expansion of 0 in y 96.465 * [taylor]: Taking taylor expansion of 0 in y 96.465 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 96.465 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 96.465 * [taylor]: Taking taylor expansion of -1 in y 96.465 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 96.465 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 96.465 * [taylor]: Taking taylor expansion of (/ -1 y) in y 96.465 * [taylor]: Taking taylor expansion of -1 in y 96.465 * [taylor]: Taking taylor expansion of y in y 96.465 * [taylor]: Taking taylor expansion of x in y 96.465 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 96.465 * [taylor]: Taking taylor expansion of -1 in x 96.465 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 96.465 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 96.465 * [taylor]: Taking taylor expansion of (/ -1 y) in x 96.465 * [taylor]: Taking taylor expansion of -1 in x 96.465 * [taylor]: Taking taylor expansion of y in x 96.466 * [taylor]: Taking taylor expansion of x in x 96.466 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 96.466 * [taylor]: Taking taylor expansion of -1 in x 96.466 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 96.466 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 96.466 * [taylor]: Taking taylor expansion of (/ -1 y) in x 96.466 * [taylor]: Taking taylor expansion of -1 in x 96.466 * [taylor]: Taking taylor expansion of y in x 96.466 * [taylor]: Taking taylor expansion of x in x 96.466 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 96.466 * [taylor]: Taking taylor expansion of -1 in y 96.466 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 96.466 * [taylor]: Taking taylor expansion of (/ -1 y) in y 96.466 * [taylor]: Taking taylor expansion of -1 in y 96.466 * [taylor]: Taking taylor expansion of y in y 96.467 * [taylor]: Taking taylor expansion of 0 in y 96.467 * [taylor]: Taking taylor expansion of 0 in y 96.468 * [taylor]: Taking taylor expansion of 0 in y 96.468 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 96.468 * [approximate]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) x) in (x y) around 0 96.468 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) x) in y 96.468 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 96.468 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 96.468 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 96.468 * [taylor]: Taking taylor expansion of 1/3 in y 96.468 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 96.468 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 96.468 * [taylor]: Taking taylor expansion of (cos y) in y 96.468 * [taylor]: Taking taylor expansion of y in y 96.469 * [taylor]: Taking taylor expansion of x in y 96.469 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) x) in x 96.469 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in x 96.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in x 96.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in x 96.469 * [taylor]: Taking taylor expansion of 1/3 in x 96.469 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in x 96.469 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in x 96.469 * [taylor]: Taking taylor expansion of (cos y) in x 96.469 * [taylor]: Taking taylor expansion of y in x 96.469 * [taylor]: Taking taylor expansion of x in x 96.469 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) x) in x 96.469 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in x 96.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in x 96.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in x 96.469 * [taylor]: Taking taylor expansion of 1/3 in x 96.469 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in x 96.469 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in x 96.469 * [taylor]: Taking taylor expansion of (cos y) in x 96.469 * [taylor]: Taking taylor expansion of y in x 96.470 * [taylor]: Taking taylor expansion of x in x 96.470 * [taylor]: Taking taylor expansion of 0 in y 96.470 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 96.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 96.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 96.470 * [taylor]: Taking taylor expansion of 1/3 in y 96.471 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 96.471 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 96.471 * [taylor]: Taking taylor expansion of (cos y) in y 96.471 * [taylor]: Taking taylor expansion of y in y 96.472 * [taylor]: Taking taylor expansion of 0 in y 96.473 * [taylor]: Taking taylor expansion of 0 in y 96.474 * [approximate]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 x)) in (x y) around 0 96.474 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 x)) in y 96.474 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 96.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 96.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 96.474 * [taylor]: Taking taylor expansion of 1/3 in y 96.474 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 96.474 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 96.474 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 96.474 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.474 * [taylor]: Taking taylor expansion of y in y 96.474 * [taylor]: Taking taylor expansion of (/ 1 x) in y 96.474 * [taylor]: Taking taylor expansion of x in y 96.474 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 x)) in x 96.474 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in x 96.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in x 96.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in x 96.474 * [taylor]: Taking taylor expansion of 1/3 in x 96.474 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in x 96.474 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in x 96.474 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 96.474 * [taylor]: Taking taylor expansion of (/ 1 y) in x 96.474 * [taylor]: Taking taylor expansion of y in x 96.475 * [taylor]: Taking taylor expansion of (/ 1 x) in x 96.475 * [taylor]: Taking taylor expansion of x in x 96.475 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 x)) in x 96.475 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in x 96.475 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in x 96.475 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in x 96.475 * [taylor]: Taking taylor expansion of 1/3 in x 96.475 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in x 96.475 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in x 96.475 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 96.475 * [taylor]: Taking taylor expansion of (/ 1 y) in x 96.475 * [taylor]: Taking taylor expansion of y in x 96.475 * [taylor]: Taking taylor expansion of (/ 1 x) in x 96.475 * [taylor]: Taking taylor expansion of x in x 96.476 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 96.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 96.476 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 96.476 * [taylor]: Taking taylor expansion of 1/3 in y 96.476 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 96.476 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 96.476 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 96.476 * [taylor]: Taking taylor expansion of (/ 1 y) in y 96.476 * [taylor]: Taking taylor expansion of y in y 96.477 * [taylor]: Taking taylor expansion of 0 in y 96.479 * [taylor]: Taking taylor expansion of 0 in y 96.481 * [taylor]: Taking taylor expansion of 0 in y 96.481 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (cos (/ -1 y)) 2) 1/3))) in (x y) around 0 96.481 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (cos (/ -1 y)) 2) 1/3))) in y 96.481 * [taylor]: Taking taylor expansion of -1 in y 96.481 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 96.481 * [taylor]: Taking taylor expansion of (/ 1 x) in y 96.481 * [taylor]: Taking taylor expansion of x in y 96.481 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 96.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 96.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 96.482 * [taylor]: Taking taylor expansion of 1/3 in y 96.482 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 96.482 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 96.482 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 96.482 * [taylor]: Taking taylor expansion of (/ -1 y) in y 96.482 * [taylor]: Taking taylor expansion of -1 in y 96.482 * [taylor]: Taking taylor expansion of y in y 96.482 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (cos (/ -1 y)) 2) 1/3))) in x 96.482 * [taylor]: Taking taylor expansion of -1 in x 96.482 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (cos (/ -1 y)) 2) 1/3)) in x 96.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x 96.482 * [taylor]: Taking taylor expansion of x in x 96.482 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in x 96.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in x 96.482 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in x 96.482 * [taylor]: Taking taylor expansion of 1/3 in x 96.482 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in x 96.482 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in x 96.482 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 96.482 * [taylor]: Taking taylor expansion of (/ -1 y) in x 96.482 * [taylor]: Taking taylor expansion of -1 in x 96.482 * [taylor]: Taking taylor expansion of y in x 96.483 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (cos (/ -1 y)) 2) 1/3))) in x 96.483 * [taylor]: Taking taylor expansion of -1 in x 96.483 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (cos (/ -1 y)) 2) 1/3)) in x 96.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x 96.483 * [taylor]: Taking taylor expansion of x in x 96.483 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in x 96.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in x 96.483 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in x 96.483 * [taylor]: Taking taylor expansion of 1/3 in x 96.483 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in x 96.483 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in x 96.483 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 96.483 * [taylor]: Taking taylor expansion of (/ -1 y) in x 96.483 * [taylor]: Taking taylor expansion of -1 in x 96.483 * [taylor]: Taking taylor expansion of y in x 96.484 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 96.484 * [taylor]: Taking taylor expansion of -1 in y 96.484 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 96.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 96.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 96.484 * [taylor]: Taking taylor expansion of 1/3 in y 96.484 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 96.484 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 96.484 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 96.484 * [taylor]: Taking taylor expansion of (/ -1 y) in y 96.484 * [taylor]: Taking taylor expansion of -1 in y 96.484 * [taylor]: Taking taylor expansion of y in y 96.485 * [taylor]: Taking taylor expansion of 0 in y 96.487 * [taylor]: Taking taylor expansion of 0 in y 96.490 * [taylor]: Taking taylor expansion of 0 in y 96.490 * * * [progress]: simplifying candidates 96.492 * [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))) (* 1/2 (cos (* 2 y))) (+ (cos (+ y y)) (cos (- y y))) (+ 1 1) (* (cos y) (cos y)) (+ 1 1) (+ (log (cos y)) (log (cos y))) (log (* (cos y) (cos y))) (exp (* (cos y) (cos y))) (* (* (* (cos y) (cos y)) (cos y)) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* (cos y) (cos y))) (cbrt (* (cos y) (cos y)))) (cbrt (* (cos y) (cos y))) (* (* (* (cos y) (cos y)) (* (cos y) (cos y))) (* (cos y) (cos y))) (sqrt (* (cos y) (cos y))) (sqrt (* (cos y) (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y))) (* (sqrt (cos y)) (sqrt (cos y))) (* (sqrt (cos y)) (sqrt (cos y))) (* 1 1) (* (cos y) (cos y)) (* (sqrt (cos y)) (sqrt (cos y))) (* (sqrt (cos y)) (sqrt (cos y))) (* 2 1) (* (cos y) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (sqrt (cos y))) (* (cos y) 1) (* (cbrt (cos y)) (cos y)) (* (sqrt (cos y)) (cos y)) (* (cos y) (cos y)) (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y))) (+ (+ (log x) (* (+ (log (cos y)) (log (cos y))) 1/3)) (log (cbrt (cos y)))) (+ (+ (log x) (* (log (* (cos y) (cos y))) 1/3)) (log (cbrt (cos y)))) (+ (+ (log x) (* (log (* (cos y) (cos y))) 1/3)) (log (cbrt (cos y)))) (+ (+ (log x) (log (pow (* (cos y) (cos y)) 1/3))) (log (cbrt (cos y)))) (+ (log (* x (pow (* (cos y) (cos y)) 1/3))) (log (cbrt (cos y)))) (log (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (exp (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (* (* (* (* x x) x) (* (cos y) (cos y))) (cos y)) (* (* (* (* x x) x) (* (* (pow (* (cos y) (cos y)) 1/3) (pow (* (cos y) (cos y)) 1/3)) (pow (* (cos y) (cos y)) 1/3))) (cos y)) (* (* (* (* x (pow (* (cos y) (cos y)) 1/3)) (* x (pow (* (cos y) (cos y)) 1/3))) (* x (pow (* (cos y) (cos y)) 1/3))) (cos y)) (* (cbrt (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (cbrt (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y))))) (cbrt (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (* (* (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y))) (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (sqrt (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (sqrt (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (cos y)))) (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt (sqrt (cos y)))) (* (* x (pow (* (cos y) (cos y)) 1/3)) (cbrt 1)) (* (* x (pow (* (cos y) (cos y)) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* x (pow (* (cos y) (cos y)) 1/3)) (sqrt (cbrt (cos y)))) (* (* x (pow (* (cos y) (cos y)) 1/3)) 1) (* (pow (* (cos y) (cos y)) 1/3) (cbrt (cos y))) (+ (log x) (* (+ (log (cos y)) (log (cos y))) 1/3)) (+ (log x) (* (log (* (cos y) (cos y))) 1/3)) (+ (log x) (* (log (* (cos y) (cos y))) 1/3)) (+ (log x) (log (pow (* (cos y) (cos y)) 1/3))) (log (* x (pow (* (cos y) (cos y)) 1/3))) (exp (* x (pow (* (cos y) (cos y)) 1/3))) (* (* (* x x) x) (* (cos y) (cos y))) (* (* (* x x) x) (* (* (pow (* (cos y) (cos y)) 1/3) (pow (* (cos y) (cos y)) 1/3)) (pow (* (cos y) (cos y)) 1/3))) (* (cbrt (* x (pow (* (cos y) (cos y)) 1/3))) (cbrt (* x (pow (* (cos y) (cos y)) 1/3)))) (cbrt (* x (pow (* (cos y) (cos y)) 1/3))) (* (* (* x (pow (* (cos y) (cos y)) 1/3)) (* x (pow (* (cos y) (cos y)) 1/3))) (* x (pow (* (cos y) (cos y)) 1/3))) (sqrt (* x (pow (* (cos y) (cos y)) 1/3))) (sqrt (* x (pow (* (cos y) (cos y)) 1/3))) (* (sqrt x) (pow (cos y) 1/3)) (* (sqrt x) (pow (cos y) 1/3)) (* (sqrt x) (sqrt (pow (* (cos y) (cos y)) 1/3))) (* (sqrt x) (sqrt (pow (* (cos y) (cos y)) 1/3))) (* (sqrt x) (pow (* (cos y) (cos y)) (/ 1/3 2))) (* (sqrt x) (pow (* (cos y) (cos y)) (/ 1/3 2))) (* x (pow (cos y) 1/3)) (* x (* (cbrt (pow (* (cos y) (cos y)) 1/3)) (cbrt (pow (* (cos y) (cos y)) 1/3)))) (* x (sqrt (pow (* (cos y) (cos y)) 1/3))) (* x 1) (* x (pow (* (cos y) (cos y)) (/ 1/3 2))) (* (cbrt x) (pow (* (cos y) (cos y)) 1/3)) (* (sqrt x) (pow (* (cos y) (cos y)) 1/3)) (* x (pow (* (cos y) (cos y)) 1/3)) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (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 (* (cos y) x) (* (cos y) x) x (* (pow (pow (cos y) 2) 1/3) x) (* (pow (pow (cos y) 2) 1/3) x) 96.492 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 96.493 * * [simplify]: iteration done : 4 enodes (cost 4 ) 96.493 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 96.494 * * [simplify]: iteration done : 4 enodes (cost 4 ) 96.494 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 96.495 * * [simplify]: iteration done : 5 enodes (cost 8 ) 96.495 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 96.496 * * [simplify]: iteration done : 4 enodes (cost 4 ) 96.496 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 96.496 * * [simplify]: iteration done : 4 enodes (cost 4 ) 96.497 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 96.502 * * [simplify]: iteration done : 4 enodes (cost 4 ) 96.502 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 96.502 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 96.503 * * [simplify]: iteration done : 4 enodes (cost 1 ) 96.503 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 96.504 * * [simplify]: iteration done : 3 enodes (cost 3 ) 96.504 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 96.505 * * [simplify]: iteration done : 5 enodes (cost 9 ) 96.505 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 96.506 * * [simplify]: iteration done : 4 enodes (cost 4 ) 96.506 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 96.507 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 96.508 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 96.509 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 96.510 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 96.512 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 96.516 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 96.525 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 96.571 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 97.013 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 99.395 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 99.396 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 99.396 * * [simplify]: iteration done : 4 enodes (cost 4 ) 99.396 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 99.397 * * [simplify]: iteration done : 4 enodes (cost 4 ) 99.397 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 99.398 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 99.399 * * [simplify]: iteration done : 8 enodes (cost 6 ) 99.400 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 99.401 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 99.402 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 99.403 * * [simplify]: iteration done : 15 enodes (cost 6 ) 99.403 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 99.403 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 99.404 * * [simplify]: iteration done : 6 enodes (cost 1 ) 99.404 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 99.405 * * [simplify]: iteration done : 3 enodes (cost 5 ) 99.405 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 99.406 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 99.406 * * [simplify]: iteration done : 6 enodes (cost 1 ) 99.406 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 99.407 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 99.407 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 99.408 * * [simplify]: iteration done : 7 enodes (cost 5 ) 99.409 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 99.409 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 99.410 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 99.410 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 99.411 * * [simplify]: iteration done : 9 enodes (cost 5 ) 99.412 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 99.412 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 99.413 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 99.414 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 99.416 * * [simplify]: iteration 4 : 33 enodes (cost 6 ) 99.421 * * [simplify]: iteration 5 : 73 enodes (cost 6 ) 99.442 * * [simplify]: iteration 6 : 177 enodes (cost 6 ) 99.539 * * [simplify]: iteration 7 : 560 enodes (cost 6 ) 100.419 * * [simplify]: iteration 8 : 2247 enodes (cost 6 ) 102.551 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 102.552 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 102.553 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 102.555 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 102.559 * * [simplify]: iteration 3 : 34 enodes (cost 4 ) 102.565 * * [simplify]: iteration 4 : 67 enodes (cost 4 ) 102.580 * * [simplify]: iteration 5 : 147 enodes (cost 4 ) 102.632 * * [simplify]: iteration 6 : 370 enodes (cost 4 ) 103.005 * * [simplify]: iteration 7 : 1337 enodes (cost 4 ) 105.184 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 105.185 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 105.185 * * [simplify]: iteration done : 5 enodes (cost 13 ) 105.186 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 105.186 * * [simplify]: iteration done : 4 enodes (cost 6 ) 105.187 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 105.188 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 105.190 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 105.194 * * [simplify]: iteration 3 : 34 enodes (cost 4 ) 105.201 * * [simplify]: iteration 4 : 68 enodes (cost 4 ) 105.223 * * [simplify]: iteration 5 : 153 enodes (cost 4 ) 105.276 * * [simplify]: iteration 6 : 379 enodes (cost 4 ) 105.665 * * [simplify]: iteration 7 : 1358 enodes (cost 4 ) 107.712 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 107.713 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 107.713 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 107.714 * * [simplify]: iteration done : 5 enodes (cost 3 ) 107.715 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 107.715 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 107.716 * * [simplify]: iteration done : 5 enodes (cost 3 ) 107.716 * * [simplify]: iteration 0 : 5 enodes (cost 15 ) 107.717 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 107.718 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 107.720 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 107.722 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 107.727 * * [simplify]: iteration 5 : 61 enodes (cost 5 ) 107.737 * * [simplify]: iteration 6 : 131 enodes (cost 5 ) 107.781 * * [simplify]: iteration 7 : 348 enodes (cost 5 ) 108.128 * * [simplify]: iteration 8 : 1255 enodes (cost 5 ) 109.682 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 109.683 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 109.684 * * [simplify]: iteration done : 4 enodes (cost 7 ) 109.684 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 109.685 * * [simplify]: iteration done : 4 enodes (cost 2 ) 109.685 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 109.686 * * [simplify]: iteration done : 4 enodes (cost 2 ) 109.686 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 109.687 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 109.687 * * [simplify]: iteration done : 4 enodes (cost 1 ) 109.688 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 109.688 * * [simplify]: iteration done : 3 enodes (cost 5 ) 109.689 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 109.689 * * [simplify]: iteration done : 4 enodes (cost 2 ) 109.690 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 109.690 * * [simplify]: iteration done : 4 enodes (cost 2 ) 109.691 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 109.691 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 109.691 * * [simplify]: iteration done : 6 enodes (cost 1 ) 109.692 * * [simplify]: iteration 0 : 5 enodes (cost 10 ) 109.693 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 109.694 * * [simplify]: iteration 2 : 10 enodes (cost 10 ) 109.695 * * [simplify]: iteration done : 10 enodes (cost 10 ) 109.695 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 109.696 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 109.696 * * [simplify]: iteration done : 5 enodes (cost 6 ) 109.697 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 109.697 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 109.698 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 109.699 * * [simplify]: iteration done : 10 enodes (cost 2 ) 109.699 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 109.700 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 109.700 * * [simplify]: iteration done : 5 enodes (cost 6 ) 109.701 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 109.701 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 109.702 * * [simplify]: iteration done : 5 enodes (cost 6 ) 109.702 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 109.703 * * [simplify]: iteration done : 3 enodes (cost 5 ) 109.703 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 109.704 * * [simplify]: iteration 1 : 19 enodes (cost 12 ) 109.707 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 109.712 * * [simplify]: iteration 3 : 75 enodes (cost 12 ) 109.734 * * [simplify]: iteration 4 : 183 enodes (cost 12 ) 109.835 * * [simplify]: iteration 5 : 570 enodes (cost 12 ) 110.695 * * [simplify]: iteration 6 : 1962 enodes (cost 12 ) 113.951 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 113.952 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 113.953 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 113.956 * * [simplify]: iteration 2 : 34 enodes (cost 13 ) 113.965 * * [simplify]: iteration 3 : 52 enodes (cost 13 ) 113.981 * * [simplify]: iteration 4 : 62 enodes (cost 13 ) 113.989 * * [simplify]: iteration done : 62 enodes (cost 13 ) 113.990 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 113.991 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 113.994 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 113.999 * * [simplify]: iteration 3 : 50 enodes (cost 13 ) 114.007 * * [simplify]: iteration 4 : 62 enodes (cost 13 ) 114.015 * * [simplify]: iteration done : 62 enodes (cost 13 ) 114.016 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 114.017 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 114.019 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 114.024 * * [simplify]: iteration 3 : 50 enodes (cost 13 ) 114.035 * * [simplify]: iteration 4 : 62 enodes (cost 13 ) 114.044 * * [simplify]: iteration done : 62 enodes (cost 13 ) 114.044 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 114.046 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 114.048 * * [simplify]: iteration 2 : 41 enodes (cost 15 ) 114.054 * * [simplify]: iteration 3 : 72 enodes (cost 15 ) 114.067 * * [simplify]: iteration 4 : 172 enodes (cost 13 ) 114.127 * * [simplify]: iteration 5 : 458 enodes (cost 13 ) 114.477 * * [simplify]: iteration 6 : 1388 enodes (cost 13 ) 117.206 * * [simplify]: iteration 7 : 4914 enodes (cost 13 ) 118.571 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 118.571 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 118.573 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 118.575 * * [simplify]: iteration 2 : 41 enodes (cost 14 ) 118.581 * * [simplify]: iteration 3 : 81 enodes (cost 14 ) 118.595 * * [simplify]: iteration 4 : 201 enodes (cost 14 ) 118.684 * * [simplify]: iteration 5 : 628 enodes (cost 13 ) 119.243 * * [simplify]: iteration 6 : 1984 enodes (cost 13 ) 121.587 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 121.587 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 121.594 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 121.596 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 121.603 * * [simplify]: iteration 3 : 105 enodes (cost 13 ) 121.632 * * [simplify]: iteration 4 : 274 enodes (cost 13 ) 121.764 * * [simplify]: iteration 5 : 828 enodes (cost 13 ) 122.807 * * [simplify]: iteration 6 : 2837 enodes (cost 12 ) 125.398 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 125.399 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 125.400 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 125.403 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 125.410 * * [simplify]: iteration 3 : 115 enodes (cost 13 ) 125.440 * * [simplify]: iteration 4 : 335 enodes (cost 13 ) 125.582 * * [simplify]: iteration 5 : 1139 enodes (cost 13 ) 127.171 * * [simplify]: iteration 6 : 4953 enodes (cost 13 ) 128.311 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 128.312 * * [simplify]: iteration 0 : 8 enodes (cost 14 ) 128.313 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 128.316 * * [simplify]: iteration 2 : 46 enodes (cost 12 ) 128.333 * * [simplify]: iteration 3 : 87 enodes (cost 8 ) 128.356 * * [simplify]: iteration 4 : 117 enodes (cost 6 ) 128.394 * * [simplify]: iteration 5 : 193 enodes (cost 6 ) 128.486 * * [simplify]: iteration 6 : 438 enodes (cost 6 ) 128.911 * * [simplify]: iteration 7 : 1401 enodes (cost 6 ) 130.786 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 130.787 * * [simplify]: iteration 0 : 12 enodes (cost 32 ) 130.789 * * [simplify]: iteration 1 : 31 enodes (cost 23 ) 130.795 * * [simplify]: iteration 2 : 98 enodes (cost 15 ) 130.829 * * [simplify]: iteration 3 : 348 enodes (cost 12 ) 131.199 * * [simplify]: iteration 4 : 1645 enodes (cost 8 ) 133.193 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 133.194 * * [simplify]: iteration 0 : 10 enodes (cost 32 ) 133.196 * * [simplify]: iteration 1 : 30 enodes (cost 29 ) 133.202 * * [simplify]: iteration 2 : 103 enodes (cost 13 ) 133.249 * * [simplify]: iteration 3 : 429 enodes (cost 13 ) 133.875 * * [simplify]: iteration 4 : 2005 enodes (cost 12 ) 136.313 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 136.314 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 136.316 * * [simplify]: iteration 1 : 21 enodes (cost 27 ) 136.318 * * [simplify]: iteration 2 : 39 enodes (cost 27 ) 136.324 * * [simplify]: iteration 3 : 75 enodes (cost 27 ) 136.341 * * [simplify]: iteration 4 : 187 enodes (cost 27 ) 136.449 * * [simplify]: iteration 5 : 566 enodes (cost 27 ) 137.542 * * [simplify]: iteration 6 : 2024 enodes (cost 27 ) 140.542 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 140.543 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 140.544 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 140.546 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 140.552 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 140.568 * * [simplify]: iteration 4 : 187 enodes (cost 13 ) 140.669 * * [simplify]: iteration 5 : 562 enodes (cost 13 ) 141.568 * * [simplify]: iteration 6 : 2013 enodes (cost 13 ) 144.575 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 144.575 * * [simplify]: iteration 0 : 11 enodes (cost 41 ) 144.577 * * [simplify]: iteration 1 : 31 enodes (cost 38 ) 144.583 * * [simplify]: iteration 2 : 113 enodes (cost 14 ) 144.650 * * [simplify]: iteration 3 : 588 enodes (cost 14 ) 145.999 * * [simplify]: iteration 4 : 3434 enodes (cost 12 ) 148.079 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 148.080 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 148.086 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 148.089 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 148.094 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 148.115 * * [simplify]: iteration 4 : 187 enodes (cost 13 ) 148.215 * * [simplify]: iteration 5 : 562 enodes (cost 13 ) 149.090 * * [simplify]: iteration 6 : 2013 enodes (cost 13 ) 152.052 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 152.052 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 152.054 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 152.056 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 152.062 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 152.078 * * [simplify]: iteration 4 : 187 enodes (cost 13 ) 152.178 * * [simplify]: iteration 5 : 562 enodes (cost 13 ) 153.052 * * [simplify]: iteration 6 : 2013 enodes (cost 13 ) 156.023 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 156.024 * * [simplify]: iteration 0 : 11 enodes (cost 18 ) 156.025 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 156.028 * * [simplify]: iteration 2 : 39 enodes (cost 17 ) 156.038 * * [simplify]: iteration 3 : 75 enodes (cost 17 ) 156.055 * * [simplify]: iteration 4 : 181 enodes (cost 17 ) 156.154 * * [simplify]: iteration 5 : 548 enodes (cost 17 ) 156.962 * * [simplify]: iteration 6 : 1943 enodes (cost 17 ) 159.998 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 159.998 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 159.999 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 160.002 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 160.007 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 160.029 * * [simplify]: iteration 4 : 193 enodes (cost 13 ) 160.135 * * [simplify]: iteration 5 : 592 enodes (cost 13 ) 161.228 * * [simplify]: iteration 6 : 2038 enodes (cost 13 ) 164.068 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 164.069 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 164.070 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 164.073 * * [simplify]: iteration 2 : 40 enodes (cost 10 ) 164.080 * * [simplify]: iteration 3 : 78 enodes (cost 8 ) 164.099 * * [simplify]: iteration 4 : 170 enodes (cost 8 ) 164.176 * * [simplify]: iteration 5 : 409 enodes (cost 8 ) 164.580 * * [simplify]: iteration 6 : 1105 enodes (cost 8 ) 167.841 * * [simplify]: iteration 7 : 3792 enodes (cost 8 ) 170.696 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 170.696 * * [simplify]: iteration 0 : 11 enodes (cost 19 ) 170.698 * * [simplify]: iteration 1 : 23 enodes (cost 18 ) 170.701 * * [simplify]: iteration 2 : 50 enodes (cost 18 ) 170.709 * * [simplify]: iteration 3 : 118 enodes (cost 18 ) 170.753 * * [simplify]: iteration 4 : 316 enodes (cost 18 ) 171.009 * * [simplify]: iteration 5 : 986 enodes (cost 18 ) 173.277 * * [simplify]: iteration 6 : 3504 enodes (cost 18 ) 176.389 * * [simplify]: iteration done : 5000 enodes (cost 18 ) 176.390 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 176.391 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 176.394 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 176.399 * * [simplify]: iteration 3 : 74 enodes (cost 13 ) 176.422 * * [simplify]: iteration 4 : 193 enodes (cost 13 ) 176.530 * * [simplify]: iteration 5 : 592 enodes (cost 13 ) 177.410 * * [simplify]: iteration 6 : 2038 enodes (cost 13 ) 180.216 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 180.217 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 180.218 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 180.221 * * [simplify]: iteration 2 : 45 enodes (cost 8 ) 180.230 * * [simplify]: iteration 3 : 95 enodes (cost 8 ) 180.248 * * [simplify]: iteration 4 : 176 enodes (cost 8 ) 180.316 * * [simplify]: iteration 5 : 397 enodes (cost 8 ) 180.687 * * [simplify]: iteration 6 : 1097 enodes (cost 8 ) 183.873 * * [simplify]: iteration 7 : 3821 enodes (cost 8 ) 187.091 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 187.092 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 187.093 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 187.094 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 187.097 * * [simplify]: iteration 3 : 42 enodes (cost 10 ) 187.108 * * [simplify]: iteration 4 : 87 enodes (cost 10 ) 187.133 * * [simplify]: iteration 5 : 230 enodes (cost 10 ) 187.324 * * [simplify]: iteration 6 : 753 enodes (cost 10 ) 189.360 * * [simplify]: iteration 7 : 3060 enodes (cost 10 ) 193.327 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 193.328 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 193.329 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 193.330 * * [simplify]: iteration 2 : 22 enodes (cost 8 ) 193.339 * * [simplify]: iteration 3 : 32 enodes (cost 8 ) 193.342 * * [simplify]: iteration done : 32 enodes (cost 8 ) 193.343 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 193.344 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 193.346 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 193.349 * * [simplify]: iteration 3 : 30 enodes (cost 8 ) 193.353 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 193.356 * * [simplify]: iteration done : 34 enodes (cost 8 ) 193.357 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 193.358 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 193.359 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 193.362 * * [simplify]: iteration 3 : 30 enodes (cost 8 ) 193.365 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 193.369 * * [simplify]: iteration done : 34 enodes (cost 8 ) 193.369 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 193.370 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 193.372 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 193.375 * * [simplify]: iteration 3 : 52 enodes (cost 10 ) 193.383 * * [simplify]: iteration 4 : 118 enodes (cost 8 ) 193.418 * * [simplify]: iteration 5 : 299 enodes (cost 8 ) 193.581 * * [simplify]: iteration 6 : 878 enodes (cost 8 ) 194.692 * * [simplify]: iteration 7 : 3029 enodes (cost 8 ) 196.378 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 196.379 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 196.385 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 196.387 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 196.391 * * [simplify]: iteration 3 : 65 enodes (cost 9 ) 196.407 * * [simplify]: iteration 4 : 158 enodes (cost 9 ) 196.464 * * [simplify]: iteration 5 : 462 enodes (cost 8 ) 196.793 * * [simplify]: iteration 6 : 1423 enodes (cost 8 ) 199.274 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 199.275 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 199.276 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 199.278 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 199.282 * * [simplify]: iteration 3 : 65 enodes (cost 9 ) 199.292 * * [simplify]: iteration 4 : 168 enodes (cost 9 ) 199.340 * * [simplify]: iteration 5 : 557 enodes (cost 9 ) 199.877 * * [simplify]: iteration 6 : 2391 enodes (cost 9 ) 201.005 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 201.005 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 201.006 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 201.009 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 201.014 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 201.029 * * [simplify]: iteration 4 : 67 enodes (cost 9 ) 201.043 * * [simplify]: iteration 5 : 99 enodes (cost 9 ) 201.069 * * [simplify]: iteration 6 : 184 enodes (cost 9 ) 201.168 * * [simplify]: iteration 7 : 462 enodes (cost 9 ) 201.831 * * [simplify]: iteration 8 : 1493 enodes (cost 9 ) 204.418 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 204.419 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 204.421 * * [simplify]: iteration 1 : 27 enodes (cost 20 ) 204.425 * * [simplify]: iteration 2 : 73 enodes (cost 12 ) 204.447 * * [simplify]: iteration 3 : 220 enodes (cost 9 ) 204.595 * * [simplify]: iteration 4 : 864 enodes (cost 9 ) 206.999 * * [simplify]: iteration 5 : 4119 enodes (cost 9 ) 209.579 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 209.580 * * [simplify]: iteration 0 : 9 enodes (cost 21 ) 209.581 * * [simplify]: iteration 1 : 16 enodes (cost 19 ) 209.583 * * [simplify]: iteration 2 : 26 enodes (cost 19 ) 209.586 * * [simplify]: iteration 3 : 44 enodes (cost 19 ) 209.593 * * [simplify]: iteration 4 : 90 enodes (cost 19 ) 209.622 * * [simplify]: iteration 5 : 237 enodes (cost 19 ) 209.811 * * [simplify]: iteration 6 : 767 enodes (cost 19 ) 212.081 * * [simplify]: iteration 7 : 3060 enodes (cost 19 ) 214.609 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 214.610 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 214.611 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 214.613 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 214.615 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 214.627 * * [simplify]: iteration 4 : 92 enodes (cost 9 ) 214.652 * * [simplify]: iteration 5 : 243 enodes (cost 9 ) 214.849 * * [simplify]: iteration 6 : 783 enodes (cost 9 ) 216.967 * * [simplify]: iteration 7 : 3094 enodes (cost 9 ) 220.505 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 220.506 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 220.508 * * [simplify]: iteration 1 : 26 enodes (cost 26 ) 220.517 * * [simplify]: iteration 2 : 78 enodes (cost 10 ) 220.542 * * [simplify]: iteration 3 : 255 enodes (cost 10 ) 220.783 * * [simplify]: iteration 4 : 971 enodes (cost 9 ) 223.521 * * [simplify]: iteration 5 : 4017 enodes (cost 9 ) 226.474 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 226.475 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 226.476 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 226.478 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 226.480 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 226.488 * * [simplify]: iteration 4 : 92 enodes (cost 9 ) 226.513 * * [simplify]: iteration 5 : 243 enodes (cost 9 ) 226.710 * * [simplify]: iteration 6 : 783 enodes (cost 9 ) 228.852 * * [simplify]: iteration 7 : 3094 enodes (cost 9 ) 232.394 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 232.395 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 232.396 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 232.398 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 232.401 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 232.407 * * [simplify]: iteration 4 : 92 enodes (cost 9 ) 232.438 * * [simplify]: iteration 5 : 243 enodes (cost 9 ) 232.632 * * [simplify]: iteration 6 : 783 enodes (cost 9 ) 234.761 * * [simplify]: iteration 7 : 3094 enodes (cost 9 ) 238.597 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 238.598 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 238.604 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 238.605 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 238.608 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 238.615 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 238.644 * * [simplify]: iteration 5 : 238 enodes (cost 6 ) 238.832 * * [simplify]: iteration 6 : 770 enodes (cost 6 ) 240.972 * * [simplify]: iteration 7 : 3081 enodes (cost 6 ) 243.782 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 243.783 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 243.784 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 243.785 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 243.788 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 243.795 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 243.825 * * [simplify]: iteration 5 : 238 enodes (cost 6 ) 244.013 * * [simplify]: iteration 6 : 770 enodes (cost 6 ) 246.122 * * [simplify]: iteration 7 : 3081 enodes (cost 6 ) 248.932 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 248.933 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 248.934 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 248.936 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 248.938 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 248.941 * * [simplify]: iteration 4 : 55 enodes (cost 10 ) 248.957 * * [simplify]: iteration 5 : 115 enodes (cost 10 ) 249.007 * * [simplify]: iteration 6 : 337 enodes (cost 10 ) 249.461 * * [simplify]: iteration 7 : 1266 enodes (cost 10 ) 251.819 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 251.820 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 251.821 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 251.823 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 251.825 * * [simplify]: iteration 3 : 33 enodes (cost 10 ) 251.829 * * [simplify]: iteration 4 : 55 enodes (cost 10 ) 251.838 * * [simplify]: iteration 5 : 115 enodes (cost 10 ) 251.889 * * [simplify]: iteration 6 : 337 enodes (cost 10 ) 252.350 * * [simplify]: iteration 7 : 1266 enodes (cost 10 ) 254.715 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 254.716 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 254.717 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 254.718 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 254.721 * * [simplify]: iteration 3 : 46 enodes (cost 10 ) 254.728 * * [simplify]: iteration 4 : 94 enodes (cost 10 ) 254.754 * * [simplify]: iteration 5 : 241 enodes (cost 10 ) 254.948 * * [simplify]: iteration 6 : 772 enodes (cost 10 ) 257.058 * * [simplify]: iteration 7 : 3097 enodes (cost 10 ) 259.784 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 259.785 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 259.788 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 259.789 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 259.792 * * [simplify]: iteration 3 : 46 enodes (cost 10 ) 259.799 * * [simplify]: iteration 4 : 94 enodes (cost 10 ) 259.828 * * [simplify]: iteration 5 : 241 enodes (cost 10 ) 260.020 * * [simplify]: iteration 6 : 772 enodes (cost 10 ) 262.123 * * [simplify]: iteration 7 : 3097 enodes (cost 10 ) 265.104 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 265.104 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 265.105 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 265.107 * * [simplify]: iteration 2 : 23 enodes (cost 5 ) 265.110 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 265.117 * * [simplify]: iteration 4 : 91 enodes (cost 5 ) 265.140 * * [simplify]: iteration 5 : 234 enodes (cost 5 ) 265.340 * * [simplify]: iteration 6 : 770 enodes (cost 5 ) 267.527 * * [simplify]: iteration 7 : 3065 enodes (cost 5 ) 270.512 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 270.513 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 270.514 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 270.516 * * [simplify]: iteration 2 : 26 enodes (cost 17 ) 270.519 * * [simplify]: iteration 3 : 36 enodes (cost 17 ) 270.523 * * [simplify]: iteration 4 : 58 enodes (cost 17 ) 270.533 * * [simplify]: iteration 5 : 118 enodes (cost 17 ) 270.583 * * [simplify]: iteration 6 : 329 enodes (cost 17 ) 271.057 * * [simplify]: iteration 7 : 1260 enodes (cost 17 ) 273.428 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 273.429 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 273.430 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 273.431 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 273.438 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 273.442 * * [simplify]: iteration 4 : 54 enodes (cost 9 ) 273.452 * * [simplify]: iteration 5 : 119 enodes (cost 9 ) 273.502 * * [simplify]: iteration 6 : 332 enodes (cost 9 ) 273.965 * * [simplify]: iteration 7 : 1255 enodes (cost 9 ) 276.332 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 276.333 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 276.333 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 276.334 * * [simplify]: iteration done : 6 enodes (cost 1 ) 276.334 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 276.335 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 276.337 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 276.340 * * [simplify]: iteration 3 : 45 enodes (cost 9 ) 276.347 * * [simplify]: iteration 4 : 95 enodes (cost 9 ) 276.378 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 276.571 * * [simplify]: iteration 6 : 772 enodes (cost 9 ) 278.729 * * [simplify]: iteration 7 : 3071 enodes (cost 9 ) 282.311 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 282.312 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 282.313 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 282.315 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 282.317 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 282.329 * * [simplify]: iteration 4 : 91 enodes (cost 9 ) 282.354 * * [simplify]: iteration 5 : 239 enodes (cost 9 ) 282.545 * * [simplify]: iteration 6 : 764 enodes (cost 9 ) 284.527 * * [simplify]: iteration 7 : 3053 enodes (cost 9 ) 287.346 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 287.347 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 287.348 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 287.349 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 287.352 * * [simplify]: iteration 3 : 43 enodes (cost 9 ) 287.359 * * [simplify]: iteration 4 : 91 enodes (cost 9 ) 287.390 * * [simplify]: iteration 5 : 239 enodes (cost 9 ) 287.581 * * [simplify]: iteration 6 : 764 enodes (cost 9 ) 289.554 * * [simplify]: iteration 7 : 3053 enodes (cost 9 ) 292.376 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 292.376 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 292.377 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 292.379 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 292.381 * * [simplify]: iteration 3 : 42 enodes (cost 8 ) 292.388 * * [simplify]: iteration 4 : 87 enodes (cost 8 ) 292.417 * * [simplify]: iteration 5 : 238 enodes (cost 8 ) 292.606 * * [simplify]: iteration 6 : 768 enodes (cost 8 ) 295.005 * * [simplify]: iteration 7 : 3075 enodes (cost 8 ) 297.384 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 297.385 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 297.387 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 297.392 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 297.407 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 297.542 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 298.022 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 300.156 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 300.157 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 300.158 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 300.159 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 300.160 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 300.163 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 300.172 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 300.219 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 300.677 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 303.088 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 303.089 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 303.089 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 303.090 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 303.092 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 303.094 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 303.103 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 303.150 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 303.604 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 305.980 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 305.982 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 305.983 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 305.987 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 305.999 * * [simplify]: iteration 3 : 145 enodes (cost 11 ) 306.075 * * [simplify]: iteration 4 : 414 enodes (cost 11 ) 306.247 * * [simplify]: iteration 5 : 967 enodes (cost 11 ) 308.166 * * [simplify]: iteration 6 : 4256 enodes (cost 11 ) 311.235 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 311.236 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 311.236 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 311.238 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 311.239 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 311.243 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 311.252 * * [simplify]: iteration 5 : 117 enodes (cost 4 ) 311.301 * * [simplify]: iteration 6 : 333 enodes (cost 4 ) 311.782 * * [simplify]: iteration 7 : 1365 enodes (cost 4 ) 313.867 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 313.868 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 313.868 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 313.869 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 313.871 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 313.874 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 313.883 * * [simplify]: iteration 5 : 117 enodes (cost 4 ) 313.933 * * [simplify]: iteration 6 : 333 enodes (cost 4 ) 314.411 * * [simplify]: iteration 7 : 1365 enodes (cost 4 ) 316.499 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 316.500 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 316.500 * * [simplify]: iteration done : 1 enodes (cost 1 ) 316.501 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 316.501 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 316.501 * * [simplify]: iteration done : 5 enodes (cost 4 ) 316.502 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 316.503 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 316.503 * * [simplify]: iteration done : 5 enodes (cost 4 ) 316.504 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 316.504 * * [simplify]: iteration done : 1 enodes (cost 1 ) 316.505 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 316.506 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 316.509 * * [simplify]: iteration 2 : 37 enodes (cost 7 ) 316.512 * * [simplify]: iteration 3 : 66 enodes (cost 7 ) 316.522 * * [simplify]: iteration 4 : 135 enodes (cost 7 ) 316.561 * * [simplify]: iteration 5 : 346 enodes (cost 7 ) 316.810 * * [simplify]: iteration 6 : 1089 enodes (cost 7 ) 319.564 * * [simplify]: iteration 7 : 4387 enodes (cost 7 ) 322.070 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 322.071 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 322.073 * * [simplify]: iteration 1 : 19 enodes (cost 7 ) 322.075 * * [simplify]: iteration 2 : 37 enodes (cost 7 ) 322.079 * * [simplify]: iteration 3 : 66 enodes (cost 7 ) 322.089 * * [simplify]: iteration 4 : 135 enodes (cost 7 ) 322.128 * * [simplify]: iteration 5 : 346 enodes (cost 7 ) 322.383 * * [simplify]: iteration 6 : 1089 enodes (cost 7 ) 324.955 * * [simplify]: iteration 7 : 4387 enodes (cost 7 ) 327.457 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 327.458 * [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 (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))) (* 1/2 (cos (* 2 y))) (+ 1 (cos (+ y y))) 2 (* (cos y) (cos y)) 2 (* 2 (log (cos y))) (* 2 (log (cos y))) (exp (* (cos y) (cos y))) (pow (cos y) 6) (* (cbrt (* (cos y) (cos y))) (cbrt (* (cos y) (cos y)))) (cbrt (* (cos y) (cos y))) (pow (cos y) 6) (fabs (cos y)) (fabs (cos y)) (pow (cbrt (cos y)) 4) (* (cbrt (cos y)) (cbrt (cos y))) (cos y) (cos y) 1 (* (cos y) (cos y)) (cos y) (cos y) 2 (* (cos y) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (sqrt (cos y))) (cos y) (* (cbrt (cos y)) (cos y)) (* (sqrt (cos y)) (cos y)) (* (cos y) (cos y)) (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) x)) (+ (* 2/3 (log (cos y))) (+ (log x) (log (cbrt (cos y))))) (+ (+ (log (cbrt (cos y))) (log x)) (* 2/3 (log (cos y)))) (+ (+ (log (cbrt (cos y))) (log x)) (* 2/3 (log (cos y)))) (+ (log (cbrt (cos y))) (+ (* (log (cos y)) 2/3) (log x))) (+ (log (cbrt (cos y))) (+ (log x) (* 2/3 (log (cos y))))) (+ (log (* x (cbrt (cos y)))) (* (log (cos y)) 2/3)) (exp (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) x))) (pow (* x (cos y)) 3) (* (pow x 3) (pow (cos y) 3)) (* (* (* (cos y) (cos y)) (pow x 3)) (cos y)) (* (cbrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) x))) (cbrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) x)))) (cbrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) x))) (* (* (cos y) (cos y)) (* (cos y) (pow x 3))) (sqrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) x))) (sqrt (* (cbrt (cos y)) (* (cbrt (* (cos y) (cos y))) x))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cos y) (cos y))) x)) (* (cbrt (sqrt (cos y))) (* (cbrt (* (cos y) (cos y))) x)) (* (cbrt (* (cos y) (cos y))) x) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (* (cos y) (cos y))) x)) (* (sqrt (cbrt (cos y))) (* (cbrt (* (cos y) (cos y))) x)) (* (cbrt (* (cos y) (cos y))) x) (* (cbrt (cos y)) (cbrt (* (cos y) (cos y)))) (+ (* 2/3 (log (cos y))) (log x)) (+ (* 2/3 (log (cos y))) (log x)) (+ (* 2/3 (log (cos y))) (log x)) (+ (* (log (cos y)) 2/3) (log x)) (+ (log x) (* 2/3 (log (cos y)))) (exp (* (cbrt (* (cos y) (cos y))) x)) (* (* (cos y) (cos y)) (pow x 3)) (* (pow x 3) (* (cos y) (cos y))) (* (cbrt (* (cbrt (* (cos y) (cos y))) x)) (cbrt (* (cbrt (* (cos y) (cos y))) x))) (cbrt (* (cbrt (* (cos y) (cos y))) x)) (* (* (cos y) (cos y)) (pow x 3)) (sqrt (* (cbrt (* (cos y) (cos y))) x)) (sqrt (* (cbrt (* (cos y) (cos y))) x)) (* (cbrt (cos y)) (sqrt x)) (* (cbrt (cos y)) (sqrt x)) (* (sqrt (cbrt (* (cos y) (cos y)))) (sqrt x)) (* (sqrt (cbrt (* (cos y) (cos y)))) (sqrt x)) (* (pow (* (cos y) (cos y)) 1/6) (sqrt x)) (* (pow (* (cos y) (cos y)) 1/6) (sqrt x)) (* (cbrt (cos y)) x) (* (* (cbrt (cbrt (* (cos y) (cos y)))) (cbrt (cbrt (* (cos y) (cos y))))) x) (* (sqrt (cbrt (* (cos y) (cos y)))) x) x (* (pow (* (cos y) (cos y)) 1/6) x) (* (cbrt x) (cbrt (* (cos y) (cos y)))) (* (sqrt x) (cbrt (* (cos y) (cos y)))) (* (cbrt (* (cos y) (cos y))) x) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) x (* (cos y) x) (* (cos y) x) x (* (cbrt (pow (cos y) 2)) x) (* (cbrt (pow (cos y) 2)) x) 327.459 * * * [progress]: adding candidates to table 327.579 * * [progress]: iteration 4 / 4 327.579 * * * [progress]: picking best candidate 327.625 * * * * [pick]: Picked # 327.625 * * * [progress]: localizing error 327.648 * * * [progress]: generating rewritten candidates 327.648 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 327.652 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 327.654 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 327.656 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 327.668 * * * [progress]: generating series expansions 327.668 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 327.668 * [approximate]: Taking taylor expansion of (pow (cos y) 6) in (y) around 0 327.668 * [taylor]: Taking taylor expansion of (pow (cos y) 6) in y 327.668 * [taylor]: Taking taylor expansion of (cos y) in y 327.669 * [taylor]: Taking taylor expansion of y in y 327.669 * [taylor]: Taking taylor expansion of (pow (cos y) 6) in y 327.669 * [taylor]: Taking taylor expansion of (cos y) in y 327.669 * [taylor]: Taking taylor expansion of y in y 327.670 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 6) in (y) around 0 327.670 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 6) in y 327.670 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.670 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.670 * [taylor]: Taking taylor expansion of y in y 327.670 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 6) in y 327.670 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.670 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.670 * [taylor]: Taking taylor expansion of y in y 327.673 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 6) in (y) around 0 327.673 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 6) in y 327.673 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.673 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.673 * [taylor]: Taking taylor expansion of -1 in y 327.673 * [taylor]: Taking taylor expansion of y in y 327.673 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 6) in y 327.673 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.673 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.673 * [taylor]: Taking taylor expansion of -1 in y 327.673 * [taylor]: Taking taylor expansion of y in y 327.676 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 327.676 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 327.676 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 327.676 * [taylor]: Taking taylor expansion of (cos y) in y 327.677 * [taylor]: Taking taylor expansion of y in y 327.677 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 327.677 * [taylor]: Taking taylor expansion of (cos y) in y 327.677 * [taylor]: Taking taylor expansion of y in y 327.678 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 327.678 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 327.678 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.678 * [taylor]: Taking taylor expansion of y in y 327.678 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 327.678 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.678 * [taylor]: Taking taylor expansion of y in y 327.679 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 327.679 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 327.679 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.679 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.679 * [taylor]: Taking taylor expansion of -1 in y 327.679 * [taylor]: Taking taylor expansion of y in y 327.679 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 327.679 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.679 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.679 * [taylor]: Taking taylor expansion of -1 in y 327.679 * [taylor]: Taking taylor expansion of y in y 327.680 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 327.680 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 327.680 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 327.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 327.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 327.680 * [taylor]: Taking taylor expansion of 1/3 in y 327.680 * [taylor]: Taking taylor expansion of (log (cos y)) in y 327.680 * [taylor]: Taking taylor expansion of (cos y) in y 327.680 * [taylor]: Taking taylor expansion of y in y 327.680 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 327.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 327.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 327.680 * [taylor]: Taking taylor expansion of 1/3 in y 327.680 * [taylor]: Taking taylor expansion of (log (cos y)) in y 327.680 * [taylor]: Taking taylor expansion of (cos y) in y 327.680 * [taylor]: Taking taylor expansion of y in y 327.683 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 327.683 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 327.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 327.683 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 327.683 * [taylor]: Taking taylor expansion of 1/3 in y 327.683 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 327.683 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.683 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.683 * [taylor]: Taking taylor expansion of y in y 327.684 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 327.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 327.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 327.684 * [taylor]: Taking taylor expansion of 1/3 in y 327.684 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 327.684 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.684 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.684 * [taylor]: Taking taylor expansion of y in y 327.692 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 327.692 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 327.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 327.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 327.692 * [taylor]: Taking taylor expansion of 1/3 in y 327.692 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 327.692 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.692 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.692 * [taylor]: Taking taylor expansion of -1 in y 327.692 * [taylor]: Taking taylor expansion of y in y 327.692 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 327.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 327.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 327.692 * [taylor]: Taking taylor expansion of 1/3 in y 327.692 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 327.692 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.692 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.692 * [taylor]: Taking taylor expansion of -1 in y 327.692 * [taylor]: Taking taylor expansion of y in y 327.700 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 327.700 * [approximate]: Taking taylor expansion of (* (cos y) x) in (x y) around 0 327.700 * [taylor]: Taking taylor expansion of (* (cos y) x) in y 327.700 * [taylor]: Taking taylor expansion of (cos y) in y 327.700 * [taylor]: Taking taylor expansion of y in y 327.700 * [taylor]: Taking taylor expansion of x in y 327.700 * [taylor]: Taking taylor expansion of (* (cos y) x) in x 327.700 * [taylor]: Taking taylor expansion of (cos y) in x 327.700 * [taylor]: Taking taylor expansion of y in x 327.700 * [taylor]: Taking taylor expansion of x in x 327.700 * [taylor]: Taking taylor expansion of (* (cos y) x) in x 327.700 * [taylor]: Taking taylor expansion of (cos y) in x 327.700 * [taylor]: Taking taylor expansion of y in x 327.700 * [taylor]: Taking taylor expansion of x in x 327.701 * [taylor]: Taking taylor expansion of 0 in y 327.701 * [taylor]: Taking taylor expansion of (cos y) in y 327.701 * [taylor]: Taking taylor expansion of y in y 327.701 * [taylor]: Taking taylor expansion of 0 in y 327.702 * [taylor]: Taking taylor expansion of 0 in y 327.702 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 327.702 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 327.702 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.702 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.702 * [taylor]: Taking taylor expansion of y in y 327.702 * [taylor]: Taking taylor expansion of x in y 327.702 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 327.702 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 327.702 * [taylor]: Taking taylor expansion of (/ 1 y) in x 327.702 * [taylor]: Taking taylor expansion of y in x 327.702 * [taylor]: Taking taylor expansion of x in x 327.702 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 327.702 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 327.702 * [taylor]: Taking taylor expansion of (/ 1 y) in x 327.702 * [taylor]: Taking taylor expansion of y in x 327.702 * [taylor]: Taking taylor expansion of x in x 327.703 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 327.703 * [taylor]: Taking taylor expansion of (/ 1 y) in y 327.703 * [taylor]: Taking taylor expansion of y in y 327.703 * [taylor]: Taking taylor expansion of 0 in y 327.704 * [taylor]: Taking taylor expansion of 0 in y 327.704 * [taylor]: Taking taylor expansion of 0 in y 327.705 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 327.705 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 327.705 * [taylor]: Taking taylor expansion of -1 in y 327.705 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 327.705 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.705 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.705 * [taylor]: Taking taylor expansion of -1 in y 327.705 * [taylor]: Taking taylor expansion of y in y 327.705 * [taylor]: Taking taylor expansion of x in y 327.705 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 327.705 * [taylor]: Taking taylor expansion of -1 in x 327.705 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 327.705 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 327.705 * [taylor]: Taking taylor expansion of (/ -1 y) in x 327.705 * [taylor]: Taking taylor expansion of -1 in x 327.705 * [taylor]: Taking taylor expansion of y in x 327.705 * [taylor]: Taking taylor expansion of x in x 327.705 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 327.705 * [taylor]: Taking taylor expansion of -1 in x 327.705 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 327.705 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 327.705 * [taylor]: Taking taylor expansion of (/ -1 y) in x 327.705 * [taylor]: Taking taylor expansion of -1 in x 327.706 * [taylor]: Taking taylor expansion of y in x 327.706 * [taylor]: Taking taylor expansion of x in x 327.706 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 327.706 * [taylor]: Taking taylor expansion of -1 in y 327.706 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 327.706 * [taylor]: Taking taylor expansion of (/ -1 y) in y 327.706 * [taylor]: Taking taylor expansion of -1 in y 327.706 * [taylor]: Taking taylor expansion of y in y 327.706 * [taylor]: Taking taylor expansion of 0 in y 327.707 * [taylor]: Taking taylor expansion of 0 in y 327.708 * [taylor]: Taking taylor expansion of 0 in y 327.708 * * * [progress]: simplifying candidates 327.709 * [simplify]: Simplifying using # : (* (log (cos y)) 6) (* (log (cos y)) 6) (* 1 6) (pow (cos y) (* (cbrt 6) (cbrt 6))) (pow (cos y) (sqrt 6)) (pow (cos y) 1) (pow (* (cbrt (cos y)) (cbrt (cos y))) 6) (pow (cbrt (cos y)) 6) (pow (sqrt (cos y)) 6) (pow (sqrt (cos y)) 6) (pow 1 6) (pow (cos y) 6) (log (pow (cos y) 6)) (exp (pow (cos y) 6)) (* (cbrt (pow (cos y) 6)) (cbrt (pow (cos y) 6))) (cbrt (pow (cos y) 6)) (* (* (pow (cos y) 6) (pow (cos y) 6)) (pow (cos y) 6)) (sqrt (pow (cos y) 6)) (sqrt (pow (cos y) 6)) (pow (cos y) (/ 6 2)) (pow (cos y) (/ 6 2)) (log (cbrt (pow (cos y) 6))) (exp (cbrt (pow (cos y) 6))) (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 6)) (cbrt (pow (cbrt (cos y)) 6)) (cbrt (pow (sqrt (cos y)) 6)) (cbrt (pow (sqrt (cos y)) 6)) (cbrt (pow 1 6)) (cbrt (pow (cos y) 6)) (cbrt (* (cbrt (pow (cos y) 6)) (cbrt (pow (cos y) 6)))) (cbrt (cbrt (pow (cos y) 6))) (cbrt (sqrt (pow (cos y) 6))) (cbrt (sqrt (pow (cos y) 6))) (cbrt 1) (cbrt (pow (cos y) 6)) (cbrt (pow (cos y) (/ 6 2))) (cbrt (pow (cos y) (/ 6 2))) (* (cbrt (cbrt (pow (cos y) 6))) (cbrt (cbrt (pow (cos y) 6)))) (cbrt (cbrt (pow (cos y) 6))) (* (* (cbrt (pow (cos y) 6)) (cbrt (pow (cos y) 6))) (cbrt (pow (cos y) 6))) (sqrt (cbrt (pow (cos y) 6))) (sqrt (cbrt (pow (cos y) 6))) (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))) (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y))) (+ (+ (log x) (* (log (cbrt (pow (cos y) 6))) 1/3)) (log (cbrt (cos y)))) (+ (+ (log x) (* (log (cbrt (pow (cos y) 6))) 1/3)) (log (cbrt (cos y)))) (+ (+ (log x) (log (pow (cbrt (pow (cos y) 6)) 1/3))) (log (cbrt (cos y)))) (+ (log (* x (pow (cbrt (pow (cos y) 6)) 1/3))) (log (cbrt (cos y)))) (log (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y)))) (exp (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y)))) (* (* (* (* x x) x) (cbrt (pow (cos y) 6))) (cos y)) (* (* (* (* x x) x) (* (* (pow (cbrt (pow (cos y) 6)) 1/3) (pow (cbrt (pow (cos y) 6)) 1/3)) (pow (cbrt (pow (cos y) 6)) 1/3))) (cos y)) (* (* (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (* x (pow (cbrt (pow (cos y) 6)) 1/3))) (* x (pow (cbrt (pow (cos y) 6)) 1/3))) (cos y)) (* (cbrt (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y)))) (cbrt (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y))))) (cbrt (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y)))) (* (* (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y))) (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y)))) (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y)))) (sqrt (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y)))) (sqrt (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (cos y)))) (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt (sqrt (cos y)))) (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (cbrt 1)) (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) (sqrt (cbrt (cos y)))) (* (* x (pow (cbrt (pow (cos y) 6)) 1/3)) 1) (* (pow (cbrt (pow (cos y) 6)) 1/3) (cbrt (cos y))) (- (+ (* 4 (pow y 4)) 1) (* 3 (pow y 2))) (pow (cos y) 6) (pow (cos y) 6) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) (- (pow 1 1/3) (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (pow (cos y) 1/3) (pow (cos y) 1/3) x (* (cos y) x) (* (cos y) x) 327.709 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 327.710 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 327.711 * * [simplify]: iteration done : 6 enodes (cost 5 ) 327.711 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 327.712 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 327.712 * * [simplify]: iteration done : 6 enodes (cost 5 ) 327.713 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 327.713 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 327.714 * * [simplify]: iteration done : 6 enodes (cost 1 ) 327.714 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 327.715 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 327.716 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 327.718 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 327.725 * * [simplify]: iteration 4 : 98 enodes (cost 8 ) 327.764 * * [simplify]: iteration 5 : 256 enodes (cost 8 ) 327.995 * * [simplify]: iteration 6 : 882 enodes (cost 8 ) 329.747 * * [simplify]: iteration 7 : 3278 enodes (cost 8 ) 331.128 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 331.129 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 331.129 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 331.130 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 331.132 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 331.137 * * [simplify]: iteration 4 : 72 enodes (cost 5 ) 331.161 * * [simplify]: iteration 5 : 176 enodes (cost 5 ) 331.256 * * [simplify]: iteration 6 : 549 enodes (cost 5 ) 332.117 * * [simplify]: iteration 7 : 2166 enodes (cost 5 ) 334.342 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 334.343 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 334.343 * * [simplify]: iteration 1 : 11 enodes (cost 2 ) 334.344 * * [simplify]: iteration 2 : 18 enodes (cost 2 ) 334.346 * * [simplify]: iteration 3 : 29 enodes (cost 2 ) 334.349 * * [simplify]: iteration 4 : 51 enodes (cost 2 ) 334.364 * * [simplify]: iteration 5 : 112 enodes (cost 2 ) 334.406 * * [simplify]: iteration 6 : 321 enodes (cost 2 ) 334.859 * * [simplify]: iteration 7 : 1250 enodes (cost 2 ) 337.267 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 337.268 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 337.269 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 337.270 * * [simplify]: iteration 2 : 22 enodes (cost 9 ) 337.274 * * [simplify]: iteration 3 : 64 enodes (cost 9 ) 337.294 * * [simplify]: iteration 4 : 221 enodes (cost 5 ) 337.485 * * [simplify]: iteration 5 : 811 enodes (cost 4 ) 339.547 * * [simplify]: iteration 6 : 4017 enodes (cost 4 ) 342.121 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 342.121 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 342.127 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 342.128 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 342.130 * * [simplify]: iteration 3 : 40 enodes (cost 5 ) 342.144 * * [simplify]: iteration 4 : 86 enodes (cost 5 ) 342.165 * * [simplify]: iteration 5 : 203 enodes (cost 5 ) 342.303 * * [simplify]: iteration 6 : 638 enodes (cost 5 ) 343.549 * * [simplify]: iteration 7 : 2620 enodes (cost 5 ) 346.457 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 346.458 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 346.459 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 346.460 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 346.462 * * [simplify]: iteration 3 : 40 enodes (cost 5 ) 346.469 * * [simplify]: iteration 4 : 87 enodes (cost 4 ) 346.489 * * [simplify]: iteration 5 : 205 enodes (cost 4 ) 346.628 * * [simplify]: iteration 6 : 645 enodes (cost 4 ) 347.830 * * [simplify]: iteration 7 : 2541 enodes (cost 4 ) 350.652 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 350.652 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 350.653 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 350.654 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 350.656 * * [simplify]: iteration 3 : 40 enodes (cost 5 ) 350.669 * * [simplify]: iteration 4 : 87 enodes (cost 4 ) 350.690 * * [simplify]: iteration 5 : 205 enodes (cost 4 ) 350.829 * * [simplify]: iteration 6 : 645 enodes (cost 4 ) 352.038 * * [simplify]: iteration 7 : 2541 enodes (cost 4 ) 354.869 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 354.870 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 354.870 * * [simplify]: iteration 1 : 10 enodes (cost 1 ) 354.870 * * [simplify]: iteration done : 10 enodes (cost 1 ) 354.871 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 354.871 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 354.872 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 354.875 * * [simplify]: iteration 3 : 39 enodes (cost 4 ) 354.881 * * [simplify]: iteration 4 : 82 enodes (cost 4 ) 354.908 * * [simplify]: iteration 5 : 209 enodes (cost 4 ) 355.044 * * [simplify]: iteration 6 : 641 enodes (cost 4 ) 356.233 * * [simplify]: iteration 7 : 2543 enodes (cost 4 ) 358.850 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 358.850 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 358.851 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 358.852 * * [simplify]: iteration 2 : 24 enodes (cost 5 ) 358.855 * * [simplify]: iteration 3 : 52 enodes (cost 5 ) 358.865 * * [simplify]: iteration 4 : 135 enodes (cost 5 ) 358.913 * * [simplify]: iteration 5 : 346 enodes (cost 5 ) 359.150 * * [simplify]: iteration 6 : 1092 enodes (cost 5 ) 360.925 * * [simplify]: iteration 7 : 4173 enodes (cost 5 ) 362.558 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 362.559 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 362.559 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 362.561 * * [simplify]: iteration 2 : 21 enodes (cost 5 ) 362.563 * * [simplify]: iteration 3 : 51 enodes (cost 5 ) 362.577 * * [simplify]: iteration 4 : 125 enodes (cost 5 ) 362.613 * * [simplify]: iteration 5 : 355 enodes (cost 5 ) 362.810 * * [simplify]: iteration 6 : 1252 enodes (cost 5 ) 364.338 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 364.338 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 364.339 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 364.341 * * [simplify]: iteration 2 : 20 enodes (cost 11 ) 364.343 * * [simplify]: iteration 3 : 41 enodes (cost 11 ) 364.356 * * [simplify]: iteration 4 : 83 enodes (cost 11 ) 364.378 * * [simplify]: iteration 5 : 202 enodes (cost 4 ) 364.514 * * [simplify]: iteration 6 : 633 enodes (cost 4 ) 365.944 * * [simplify]: iteration 7 : 2499 enodes (cost 4 ) 367.783 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 367.784 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 367.784 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 367.785 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 367.787 * * [simplify]: iteration 3 : 40 enodes (cost 5 ) 367.794 * * [simplify]: iteration 4 : 82 enodes (cost 5 ) 367.819 * * [simplify]: iteration 5 : 197 enodes (cost 5 ) 367.958 * * [simplify]: iteration 6 : 651 enodes (cost 4 ) 369.191 * * [simplify]: iteration 7 : 2677 enodes (cost 4 ) 371.929 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 371.930 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 371.931 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 371.933 * * [simplify]: iteration 2 : 38 enodes (cost 6 ) 371.941 * * [simplify]: iteration 3 : 121 enodes (cost 6 ) 372.008 * * [simplify]: iteration 4 : 499 enodes (cost 6 ) 373.119 * * [simplify]: iteration 5 : 2210 enodes (cost 6 ) 376.033 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 376.034 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 376.035 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 376.036 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 376.038 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 376.045 * * [simplify]: iteration 4 : 83 enodes (cost 5 ) 376.070 * * [simplify]: iteration 5 : 207 enodes (cost 5 ) 376.199 * * [simplify]: iteration 6 : 638 enodes (cost 5 ) 377.355 * * [simplify]: iteration 7 : 2527 enodes (cost 5 ) 380.139 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 380.140 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 380.140 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 380.141 * * [simplify]: iteration 2 : 20 enodes (cost 5 ) 380.143 * * [simplify]: iteration 3 : 41 enodes (cost 5 ) 380.150 * * [simplify]: iteration 4 : 83 enodes (cost 5 ) 380.172 * * [simplify]: iteration 5 : 207 enodes (cost 5 ) 380.304 * * [simplify]: iteration 6 : 638 enodes (cost 5 ) 381.467 * * [simplify]: iteration 7 : 2527 enodes (cost 5 ) 384.277 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 384.277 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 384.278 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 384.280 * * [simplify]: iteration 2 : 20 enodes (cost 4 ) 384.282 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 384.286 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 384.296 * * [simplify]: iteration 5 : 118 enodes (cost 4 ) 384.346 * * [simplify]: iteration 6 : 326 enodes (cost 4 ) 384.806 * * [simplify]: iteration 7 : 1253 enodes (cost 4 ) 387.121 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 387.122 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 387.122 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 387.123 * * [simplify]: iteration 2 : 20 enodes (cost 4 ) 387.125 * * [simplify]: iteration 3 : 30 enodes (cost 4 ) 387.129 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 387.144 * * [simplify]: iteration 5 : 118 enodes (cost 4 ) 387.188 * * [simplify]: iteration 6 : 326 enodes (cost 4 ) 387.647 * * [simplify]: iteration 7 : 1253 enodes (cost 4 ) 389.986 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 389.987 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 389.987 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 389.988 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 389.991 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 390.004 * * [simplify]: iteration 4 : 83 enodes (cost 6 ) 390.025 * * [simplify]: iteration 5 : 202 enodes (cost 6 ) 390.162 * * [simplify]: iteration 6 : 635 enodes (cost 5 ) 391.591 * * [simplify]: iteration 7 : 2504 enodes (cost 5 ) 393.443 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 393.444 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 393.445 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 393.447 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 393.449 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 393.456 * * [simplify]: iteration 4 : 83 enodes (cost 6 ) 393.477 * * [simplify]: iteration 5 : 202 enodes (cost 6 ) 393.618 * * [simplify]: iteration 6 : 635 enodes (cost 5 ) 394.797 * * [simplify]: iteration 7 : 2506 enodes (cost 5 ) 396.660 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 396.661 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 396.662 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 396.663 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 396.667 * * [simplify]: iteration 3 : 65 enodes (cost 10 ) 396.686 * * [simplify]: iteration 4 : 228 enodes (cost 6 ) 396.870 * * [simplify]: iteration 5 : 823 enodes (cost 5 ) 399.026 * * [simplify]: iteration 6 : 4130 enodes (cost 5 ) 401.326 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 401.327 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 401.332 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 401.333 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 401.336 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 401.343 * * [simplify]: iteration 4 : 86 enodes (cost 6 ) 401.371 * * [simplify]: iteration 5 : 215 enodes (cost 6 ) 401.508 * * [simplify]: iteration 6 : 632 enodes (cost 5 ) 402.692 * * [simplify]: iteration 7 : 2496 enodes (cost 5 ) 404.687 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 404.688 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 404.688 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 404.690 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 404.692 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 404.699 * * [simplify]: iteration 4 : 87 enodes (cost 5 ) 404.725 * * [simplify]: iteration 5 : 211 enodes (cost 2 ) 404.869 * * [simplify]: iteration 6 : 640 enodes (cost 2 ) 406.051 * * [simplify]: iteration 7 : 2540 enodes (cost 2 ) 409.174 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 409.175 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 409.176 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 409.177 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 409.179 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 409.186 * * [simplify]: iteration 4 : 87 enodes (cost 5 ) 409.208 * * [simplify]: iteration 5 : 211 enodes (cost 2 ) 409.349 * * [simplify]: iteration 6 : 640 enodes (cost 2 ) 410.531 * * [simplify]: iteration 7 : 2540 enodes (cost 2 ) 413.919 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 413.919 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 413.920 * * [simplify]: iteration 1 : 11 enodes (cost 1 ) 413.921 * * [simplify]: iteration done : 11 enodes (cost 1 ) 413.921 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 413.922 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 413.923 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 413.925 * * [simplify]: iteration 3 : 40 enodes (cost 5 ) 413.932 * * [simplify]: iteration 4 : 82 enodes (cost 5 ) 413.954 * * [simplify]: iteration 5 : 197 enodes (cost 5 ) 414.102 * * [simplify]: iteration 6 : 651 enodes (cost 4 ) 415.373 * * [simplify]: iteration 7 : 2677 enodes (cost 4 ) 418.221 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 418.222 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 418.223 * * [simplify]: iteration 1 : 12 enodes (cost 12 ) 418.224 * * [simplify]: iteration 2 : 21 enodes (cost 12 ) 418.227 * * [simplify]: iteration 3 : 42 enodes (cost 12 ) 418.233 * * [simplify]: iteration 4 : 87 enodes (cost 12 ) 418.262 * * [simplify]: iteration 5 : 205 enodes (cost 5 ) 418.408 * * [simplify]: iteration 6 : 643 enodes (cost 5 ) 419.564 * * [simplify]: iteration 7 : 2467 enodes (cost 5 ) 422.041 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 422.042 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 422.042 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 422.043 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 422.046 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 422.057 * * [simplify]: iteration 4 : 83 enodes (cost 6 ) 422.080 * * [simplify]: iteration 5 : 202 enodes (cost 6 ) 422.220 * * [simplify]: iteration 6 : 633 enodes (cost 5 ) 423.420 * * [simplify]: iteration 7 : 2499 enodes (cost 5 ) 425.277 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 425.278 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 425.278 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 425.279 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 425.282 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 425.295 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 425.317 * * [simplify]: iteration 5 : 205 enodes (cost 6 ) 425.460 * * [simplify]: iteration 6 : 646 enodes (cost 6 ) 426.636 * * [simplify]: iteration 7 : 2543 enodes (cost 6 ) 428.914 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 428.915 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 428.916 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 428.917 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 428.919 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 428.926 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 428.947 * * [simplify]: iteration 5 : 205 enodes (cost 6 ) 429.087 * * [simplify]: iteration 6 : 646 enodes (cost 6 ) 430.256 * * [simplify]: iteration 7 : 2543 enodes (cost 6 ) 432.555 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 432.555 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 432.556 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 432.556 * * [simplify]: iteration done : 4 enodes (cost 1 ) 432.557 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 432.557 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 432.558 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 432.561 * * [simplify]: iteration 3 : 40 enodes (cost 5 ) 432.567 * * [simplify]: iteration 4 : 82 enodes (cost 5 ) 432.594 * * [simplify]: iteration 5 : 197 enodes (cost 5 ) 432.735 * * [simplify]: iteration 6 : 651 enodes (cost 4 ) 433.989 * * [simplify]: iteration 7 : 2677 enodes (cost 4 ) 436.765 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 436.766 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 436.767 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 436.768 * * [simplify]: iteration 2 : 21 enodes (cost 2 ) 436.770 * * [simplify]: iteration 3 : 31 enodes (cost 2 ) 436.773 * * [simplify]: iteration 4 : 54 enodes (cost 2 ) 436.788 * * [simplify]: iteration 5 : 110 enodes (cost 2 ) 436.835 * * [simplify]: iteration 6 : 324 enodes (cost 2 ) 437.540 * * [simplify]: iteration 7 : 1252 enodes (cost 2 ) 440.016 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 440.017 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 440.018 * * [simplify]: iteration 1 : 12 enodes (cost 5 ) 440.019 * * [simplify]: iteration 2 : 21 enodes (cost 2 ) 440.021 * * [simplify]: iteration 3 : 31 enodes (cost 2 ) 440.025 * * [simplify]: iteration 4 : 54 enodes (cost 2 ) 440.034 * * [simplify]: iteration 5 : 110 enodes (cost 2 ) 440.081 * * [simplify]: iteration 6 : 324 enodes (cost 2 ) 440.552 * * [simplify]: iteration 7 : 1252 enodes (cost 2 ) 442.980 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 442.980 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 442.981 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 442.983 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 442.985 * * [simplify]: iteration 3 : 42 enodes (cost 13 ) 442.992 * * [simplify]: iteration 4 : 87 enodes (cost 13 ) 443.018 * * [simplify]: iteration 5 : 205 enodes (cost 13 ) 443.159 * * [simplify]: iteration 6 : 643 enodes (cost 11 ) 444.305 * * [simplify]: iteration 7 : 2467 enodes (cost 11 ) 446.777 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 446.777 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 446.778 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 446.779 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 446.782 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 446.789 * * [simplify]: iteration 4 : 83 enodes (cost 6 ) 446.812 * * [simplify]: iteration 5 : 202 enodes (cost 6 ) 446.951 * * [simplify]: iteration 6 : 633 enodes (cost 5 ) 448.139 * * [simplify]: iteration 7 : 2499 enodes (cost 5 ) 449.934 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 449.935 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 449.936 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 449.937 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 449.941 * * [simplify]: iteration 3 : 46 enodes (cost 4 ) 449.950 * * [simplify]: iteration 4 : 90 enodes (cost 4 ) 449.976 * * [simplify]: iteration 5 : 218 enodes (cost 4 ) 450.121 * * [simplify]: iteration 6 : 670 enodes (cost 4 ) 451.387 * * [simplify]: iteration 7 : 2722 enodes (cost 4 ) 453.741 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 453.742 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 453.743 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 453.744 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 453.746 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 453.753 * * [simplify]: iteration 4 : 83 enodes (cost 6 ) 453.774 * * [simplify]: iteration 5 : 202 enodes (cost 6 ) 453.910 * * [simplify]: iteration 6 : 634 enodes (cost 3 ) 455.068 * * [simplify]: iteration 7 : 2501 enodes (cost 3 ) 456.905 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 456.906 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 456.907 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 456.908 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 456.910 * * [simplify]: iteration 3 : 41 enodes (cost 6 ) 456.917 * * [simplify]: iteration 4 : 83 enodes (cost 6 ) 456.940 * * [simplify]: iteration 5 : 202 enodes (cost 6 ) 457.074 * * [simplify]: iteration 6 : 634 enodes (cost 3 ) 458.238 * * [simplify]: iteration 7 : 2501 enodes (cost 3 ) 460.078 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 460.079 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 460.085 * * [simplify]: iteration done : 4 enodes (cost 4 ) 460.085 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 460.086 * * [simplify]: iteration done : 4 enodes (cost 4 ) 460.086 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 460.087 * * [simplify]: iteration done : 5 enodes (cost 8 ) 460.087 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 460.088 * * [simplify]: iteration done : 4 enodes (cost 4 ) 460.088 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 460.089 * * [simplify]: iteration done : 4 enodes (cost 4 ) 460.089 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 460.090 * * [simplify]: iteration done : 4 enodes (cost 4 ) 460.090 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 460.091 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 460.091 * * [simplify]: iteration done : 4 enodes (cost 1 ) 460.091 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 460.092 * * [simplify]: iteration done : 3 enodes (cost 3 ) 460.092 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 460.093 * * [simplify]: iteration done : 5 enodes (cost 9 ) 460.093 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 460.094 * * [simplify]: iteration done : 4 enodes (cost 4 ) 460.094 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 460.095 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 460.096 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 460.097 * * [simplify]: iteration 3 : 13 enodes (cost 2 ) 460.099 * * [simplify]: iteration 4 : 19 enodes (cost 2 ) 460.101 * * [simplify]: iteration 5 : 29 enodes (cost 2 ) 460.104 * * [simplify]: iteration 6 : 50 enodes (cost 2 ) 460.113 * * [simplify]: iteration 7 : 108 enodes (cost 2 ) 460.160 * * [simplify]: iteration 8 : 311 enodes (cost 2 ) 460.605 * * [simplify]: iteration 9 : 1229 enodes (cost 2 ) 463.261 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 463.261 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 463.262 * * [simplify]: iteration done : 4 enodes (cost 4 ) 463.262 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 463.263 * * [simplify]: iteration done : 4 enodes (cost 4 ) 463.263 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 463.265 * * [simplify]: iteration 1 : 25 enodes (cost 12 ) 463.268 * * [simplify]: iteration 2 : 52 enodes (cost 12 ) 463.274 * * [simplify]: iteration 3 : 109 enodes (cost 12 ) 463.302 * * [simplify]: iteration 4 : 262 enodes (cost 12 ) 463.424 * * [simplify]: iteration 5 : 754 enodes (cost 12 ) 464.412 * * [simplify]: iteration 6 : 2549 enodes (cost 11 ) 467.042 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 467.043 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 467.044 * * [simplify]: iteration 1 : 24 enodes (cost 16 ) 467.052 * * [simplify]: iteration 2 : 39 enodes (cost 16 ) 467.056 * * [simplify]: iteration 3 : 62 enodes (cost 16 ) 467.065 * * [simplify]: iteration 4 : 104 enodes (cost 16 ) 467.091 * * [simplify]: iteration 5 : 232 enodes (cost 16 ) 467.237 * * [simplify]: iteration 6 : 683 enodes (cost 15 ) 468.462 * * [simplify]: iteration 7 : 2566 enodes (cost 15 ) 470.785 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 470.786 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 470.788 * * [simplify]: iteration 1 : 24 enodes (cost 16 ) 470.791 * * [simplify]: iteration 2 : 39 enodes (cost 16 ) 470.795 * * [simplify]: iteration 3 : 62 enodes (cost 16 ) 470.804 * * [simplify]: iteration 4 : 104 enodes (cost 16 ) 470.834 * * [simplify]: iteration 5 : 232 enodes (cost 16 ) 470.979 * * [simplify]: iteration 6 : 683 enodes (cost 15 ) 472.182 * * [simplify]: iteration 7 : 2566 enodes (cost 15 ) 474.486 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 474.487 * * [simplify]: iteration 0 : 14 enodes (cost 16 ) 474.489 * * [simplify]: iteration 1 : 30 enodes (cost 15 ) 474.492 * * [simplify]: iteration 2 : 54 enodes (cost 15 ) 474.503 * * [simplify]: iteration 3 : 101 enodes (cost 15 ) 474.520 * * [simplify]: iteration 4 : 221 enodes (cost 15 ) 474.588 * * [simplify]: iteration 5 : 571 enodes (cost 15 ) 474.986 * * [simplify]: iteration 6 : 1812 enodes (cost 14 ) 476.666 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 476.667 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 476.668 * * [simplify]: iteration 1 : 28 enodes (cost 14 ) 476.671 * * [simplify]: iteration 2 : 56 enodes (cost 14 ) 476.683 * * [simplify]: iteration 3 : 117 enodes (cost 14 ) 476.703 * * [simplify]: iteration 4 : 279 enodes (cost 14 ) 476.801 * * [simplify]: iteration 5 : 762 enodes (cost 14 ) 477.392 * * [simplify]: iteration 6 : 2463 enodes (cost 13 ) 478.628 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 478.629 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 478.630 * * [simplify]: iteration 1 : 29 enodes (cost 13 ) 478.634 * * [simplify]: iteration 2 : 63 enodes (cost 13 ) 478.642 * * [simplify]: iteration 3 : 141 enodes (cost 13 ) 478.671 * * [simplify]: iteration 4 : 340 enodes (cost 13 ) 478.823 * * [simplify]: iteration 5 : 979 enodes (cost 13 ) 479.972 * * [simplify]: iteration 6 : 3304 enodes (cost 12 ) 481.744 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 481.745 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 481.747 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 481.750 * * [simplify]: iteration 2 : 65 enodes (cost 13 ) 481.759 * * [simplify]: iteration 3 : 151 enodes (cost 13 ) 481.795 * * [simplify]: iteration 4 : 410 enodes (cost 13 ) 482.013 * * [simplify]: iteration 5 : 1332 enodes (cost 13 ) 483.306 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 483.307 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 483.309 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 483.312 * * [simplify]: iteration 2 : 54 enodes (cost 12 ) 483.322 * * [simplify]: iteration 3 : 109 enodes (cost 12 ) 483.345 * * [simplify]: iteration 4 : 180 enodes (cost 12 ) 483.397 * * [simplify]: iteration 5 : 349 enodes (cost 8 ) 483.612 * * [simplify]: iteration 6 : 1054 enodes (cost 8 ) 485.380 * * [simplify]: iteration 7 : 4639 enodes (cost 6 ) 487.512 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 487.513 * * [simplify]: iteration 0 : 14 enodes (cost 32 ) 487.522 * * [simplify]: iteration 1 : 37 enodes (cost 23 ) 487.528 * * [simplify]: iteration 2 : 112 enodes (cost 15 ) 487.563 * * [simplify]: iteration 3 : 381 enodes (cost 12 ) 487.967 * * [simplify]: iteration 4 : 1723 enodes (cost 12 ) 490.692 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 490.693 * * [simplify]: iteration 0 : 12 enodes (cost 32 ) 490.695 * * [simplify]: iteration 1 : 36 enodes (cost 29 ) 490.702 * * [simplify]: iteration 2 : 117 enodes (cost 13 ) 490.750 * * [simplify]: iteration 3 : 445 enodes (cost 13 ) 491.361 * * [simplify]: iteration 4 : 2004 enodes (cost 12 ) 494.142 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 494.143 * * [simplify]: iteration 0 : 13 enodes (cost 29 ) 494.145 * * [simplify]: iteration 1 : 27 enodes (cost 27 ) 494.148 * * [simplify]: iteration 2 : 54 enodes (cost 27 ) 494.156 * * [simplify]: iteration 3 : 111 enodes (cost 27 ) 494.179 * * [simplify]: iteration 4 : 267 enodes (cost 27 ) 494.302 * * [simplify]: iteration 5 : 753 enodes (cost 27 ) 495.260 * * [simplify]: iteration 6 : 2550 enodes (cost 25 ) 497.356 * * [simplify]: iteration done : 5001 enodes (cost 25 ) 497.356 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 497.358 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 497.361 * * [simplify]: iteration 2 : 53 enodes (cost 13 ) 497.368 * * [simplify]: iteration 3 : 112 enodes (cost 13 ) 497.396 * * [simplify]: iteration 4 : 265 enodes (cost 13 ) 497.520 * * [simplify]: iteration 5 : 761 enodes (cost 13 ) 498.501 * * [simplify]: iteration 6 : 2618 enodes (cost 12 ) 500.876 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 500.877 * * [simplify]: iteration 0 : 13 enodes (cost 41 ) 500.879 * * [simplify]: iteration 1 : 37 enodes (cost 38 ) 500.885 * * [simplify]: iteration 2 : 127 enodes (cost 14 ) 500.949 * * [simplify]: iteration 3 : 618 enodes (cost 14 ) 502.253 * * [simplify]: iteration 4 : 3451 enodes (cost 12 ) 504.574 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 504.575 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 504.576 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 504.579 * * [simplify]: iteration 2 : 53 enodes (cost 13 ) 504.591 * * [simplify]: iteration 3 : 112 enodes (cost 13 ) 504.614 * * [simplify]: iteration 4 : 265 enodes (cost 13 ) 504.734 * * [simplify]: iteration 5 : 761 enodes (cost 13 ) 505.711 * * [simplify]: iteration 6 : 2618 enodes (cost 12 ) 508.073 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 508.074 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 508.076 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 508.079 * * [simplify]: iteration 2 : 53 enodes (cost 13 ) 508.086 * * [simplify]: iteration 3 : 112 enodes (cost 13 ) 508.112 * * [simplify]: iteration 4 : 265 enodes (cost 13 ) 508.236 * * [simplify]: iteration 5 : 761 enodes (cost 13 ) 509.438 * * [simplify]: iteration 6 : 2618 enodes (cost 12 ) 511.802 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 511.803 * * [simplify]: iteration 0 : 13 enodes (cost 18 ) 511.805 * * [simplify]: iteration 1 : 27 enodes (cost 17 ) 511.808 * * [simplify]: iteration 2 : 54 enodes (cost 17 ) 511.815 * * [simplify]: iteration 3 : 113 enodes (cost 17 ) 511.839 * * [simplify]: iteration 4 : 265 enodes (cost 17 ) 511.962 * * [simplify]: iteration 5 : 766 enodes (cost 17 ) 512.905 * * [simplify]: iteration 6 : 2572 enodes (cost 16 ) 515.265 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 515.266 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 515.267 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 515.270 * * [simplify]: iteration 2 : 53 enodes (cost 13 ) 515.277 * * [simplify]: iteration 3 : 112 enodes (cost 13 ) 515.305 * * [simplify]: iteration 4 : 263 enodes (cost 13 ) 515.426 * * [simplify]: iteration 5 : 752 enodes (cost 13 ) 516.400 * * [simplify]: iteration 6 : 2602 enodes (cost 12 ) 519.075 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 519.076 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 519.078 * * [simplify]: iteration 1 : 28 enodes (cost 10 ) 519.081 * * [simplify]: iteration 2 : 55 enodes (cost 10 ) 519.094 * * [simplify]: iteration 3 : 114 enodes (cost 8 ) 519.119 * * [simplify]: iteration 4 : 242 enodes (cost 8 ) 519.215 * * [simplify]: iteration 5 : 590 enodes (cost 8 ) 519.717 * * [simplify]: iteration 6 : 1689 enodes (cost 7 ) 521.468 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 521.469 * * [simplify]: iteration 0 : 13 enodes (cost 19 ) 521.471 * * [simplify]: iteration 1 : 29 enodes (cost 18 ) 521.474 * * [simplify]: iteration 2 : 65 enodes (cost 18 ) 521.490 * * [simplify]: iteration 3 : 154 enodes (cost 18 ) 521.540 * * [simplify]: iteration 4 : 398 enodes (cost 18 ) 521.822 * * [simplify]: iteration 5 : 1230 enodes (cost 18 ) 524.253 * * [simplify]: iteration 6 : 4172 enodes (cost 17 ) 526.579 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 526.579 * * [simplify]: iteration 0 : 12 enodes (cost 14 ) 526.581 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 526.584 * * [simplify]: iteration 2 : 53 enodes (cost 13 ) 526.591 * * [simplify]: iteration 3 : 112 enodes (cost 13 ) 526.614 * * [simplify]: iteration 4 : 263 enodes (cost 13 ) 526.737 * * [simplify]: iteration 5 : 752 enodes (cost 13 ) 527.705 * * [simplify]: iteration 6 : 2602 enodes (cost 12 ) 530.415 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 530.415 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 530.417 * * [simplify]: iteration 1 : 27 enodes (cost 8 ) 530.420 * * [simplify]: iteration 2 : 60 enodes (cost 8 ) 530.431 * * [simplify]: iteration 3 : 129 enodes (cost 8 ) 530.460 * * [simplify]: iteration 4 : 253 enodes (cost 8 ) 530.546 * * [simplify]: iteration 5 : 583 enodes (cost 8 ) 531.054 * * [simplify]: iteration 6 : 1658 enodes (cost 7 ) 533.037 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 533.038 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 533.039 * * [simplify]: iteration 1 : 20 enodes (cost 10 ) 533.041 * * [simplify]: iteration 2 : 39 enodes (cost 10 ) 533.052 * * [simplify]: iteration 3 : 78 enodes (cost 10 ) 533.065 * * [simplify]: iteration 4 : 168 enodes (cost 10 ) 533.117 * * [simplify]: iteration 5 : 443 enodes (cost 10 ) 533.452 * * [simplify]: iteration 6 : 1392 enodes (cost 9 ) 535.819 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 535.819 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 535.821 * * [simplify]: iteration 1 : 27 enodes (cost 13 ) 535.825 * * [simplify]: iteration 2 : 73 enodes (cost 13 ) 535.849 * * [simplify]: iteration 3 : 196 enodes (cost 13 ) 535.957 * * [simplify]: iteration 4 : 553 enodes (cost 13 ) 536.221 * * [simplify]: iteration 5 : 1309 enodes (cost 13 ) 538.144 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 538.145 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 538.146 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 538.147 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 538.149 * * [simplify]: iteration 3 : 39 enodes (cost 4 ) 538.155 * * [simplify]: iteration 4 : 82 enodes (cost 4 ) 538.183 * * [simplify]: iteration 5 : 209 enodes (cost 4 ) 538.322 * * [simplify]: iteration 6 : 641 enodes (cost 4 ) 539.490 * * [simplify]: iteration 7 : 2543 enodes (cost 4 ) 542.108 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 542.109 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 542.109 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 542.110 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 542.113 * * [simplify]: iteration 3 : 39 enodes (cost 4 ) 542.125 * * [simplify]: iteration 4 : 82 enodes (cost 4 ) 542.145 * * [simplify]: iteration 5 : 209 enodes (cost 4 ) 542.280 * * [simplify]: iteration 6 : 641 enodes (cost 4 ) 543.451 * * [simplify]: iteration 7 : 2543 enodes (cost 4 ) 546.070 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 546.070 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 546.072 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 546.076 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 546.089 * * [simplify]: iteration 3 : 145 enodes (cost 11 ) 546.165 * * [simplify]: iteration 4 : 414 enodes (cost 11 ) 546.339 * * [simplify]: iteration 5 : 967 enodes (cost 11 ) 548.268 * * [simplify]: iteration 6 : 4256 enodes (cost 11 ) 551.366 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 551.367 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 551.368 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 551.369 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 551.370 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 551.373 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 551.382 * * [simplify]: iteration 5 : 117 enodes (cost 4 ) 551.432 * * [simplify]: iteration 6 : 333 enodes (cost 4 ) 551.916 * * [simplify]: iteration 7 : 1365 enodes (cost 4 ) 554.023 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 554.024 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 554.024 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 554.025 * * [simplify]: iteration 2 : 17 enodes (cost 4 ) 554.027 * * [simplify]: iteration 3 : 28 enodes (cost 4 ) 554.030 * * [simplify]: iteration 4 : 53 enodes (cost 4 ) 554.038 * * [simplify]: iteration 5 : 117 enodes (cost 4 ) 554.089 * * [simplify]: iteration 6 : 333 enodes (cost 4 ) 554.580 * * [simplify]: iteration 7 : 1365 enodes (cost 4 ) 556.923 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 556.924 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 556.926 * * [simplify]: iteration 1 : 34 enodes (cost 13 ) 556.931 * * [simplify]: iteration 2 : 79 enodes (cost 13 ) 556.946 * * [simplify]: iteration 3 : 207 enodes (cost 13 ) 557.086 * * [simplify]: iteration 4 : 706 enodes (cost 13 ) 557.567 * * [simplify]: iteration 5 : 1987 enodes (cost 13 ) 559.695 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 559.696 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 559.697 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 559.698 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 559.699 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 559.702 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 559.710 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 559.758 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 560.220 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 562.597 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 562.597 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 562.598 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 562.599 * * [simplify]: iteration 2 : 16 enodes (cost 3 ) 562.600 * * [simplify]: iteration 3 : 26 enodes (cost 3 ) 562.603 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 562.612 * * [simplify]: iteration 5 : 111 enodes (cost 3 ) 562.658 * * [simplify]: iteration 6 : 324 enodes (cost 3 ) 563.113 * * [simplify]: iteration 7 : 1251 enodes (cost 3 ) 565.488 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 565.488 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 565.488 * * [simplify]: iteration done : 1 enodes (cost 1 ) 565.489 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 565.489 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 565.490 * * [simplify]: iteration done : 5 enodes (cost 4 ) 565.491 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 565.491 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 565.492 * * [simplify]: iteration done : 5 enodes (cost 4 ) 565.492 * [simplify]: Simplified to: (* (log (cos y)) 6) (* (log (cos y)) 6) 6 (pow (cos y) (* (cbrt 6) (cbrt 6))) (pow (cos y) (sqrt 6)) (cos y) (pow (cos y) 4) (pow (cbrt (cos y)) 6) (pow (cos y) 3) (pow (cos y) 3) 1 (pow (cos y) 6) (log (pow (cos y) 6)) (exp (pow (cos y) 6)) (pow (cos y) 4) (pow (cos y) 2) (pow (pow (cos y) 6) 3) (sqrt (pow (cos y) 6)) (sqrt (pow (cos y) 6)) (pow (cos y) 3) (pow (cos y) 3) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (cbrt (pow (cos y) 4)) (pow (cbrt (cos y)) 2) (cos y) (cos y) 1 (pow (cos y) 2) (cbrt (pow (cos y) 4)) (cbrt (pow (cos y) 2)) (cbrt (sqrt (pow (cos y) 6))) (cbrt (sqrt (pow (cos y) 6))) 1 (pow (cos y) 2) (cos y) (cos y) (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)) (pow (cos y) 6) (fabs (cos y)) (fabs (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 (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))) (* (cbrt (cos y)) (* (cbrt (pow (cos y) 2)) x)) (+ (+ (log x) (log (cbrt (cos y)))) (* 1/3 (log (pow (cos y) 2)))) (+ (+ (log x) (log (cbrt (cos y)))) (* 1/3 (log (pow (cos y) 2)))) (+ (+ (log x) (log (cbrt (cos y)))) (log (cbrt (pow (cos y) 2)))) (+ (log (* (cbrt (pow (cos y) 2)) x)) (log (cbrt (cos y)))) (log (* (cbrt (cos y)) (* (cbrt (pow (cos y) 2)) x))) (exp (* (cbrt (cos y)) (* (cbrt (cbrt (pow (cos y) 6))) x))) (pow (* (cos y) x) 3) (* (cbrt (pow (cos y) 6)) (* (pow x 3) (cos y))) (* (* (cos y) (pow x 3)) (cbrt (pow (cos y) 6))) (* (cbrt (* (cbrt (cos y)) (* (cbrt (pow (cos y) 2)) x))) (cbrt (* (cbrt (cos y)) (* (cbrt (pow (cos y) 2)) x)))) (cbrt (* (cbrt (cos y)) (* (cbrt (pow (cos y) 2)) x))) (* (pow x 3) (* (cbrt (pow (cos y) 6)) (cos y))) (sqrt (* (cbrt (cos y)) (* (cbrt (pow (cos y) 2)) x))) (sqrt (* (cbrt (cos y)) (* (cbrt (pow (cos y) 2)) x))) (* (cbrt (pow (cos y) 2)) (* x (cbrt (* (cbrt (cos y)) (cbrt (cos y)))))) (* (cbrt (pow (cos y) 2)) (* (cbrt (sqrt (cos y))) x)) (* (cbrt (pow (cos y) 2)) x) (* (cbrt (pow (cos y) 2)) (* x (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))))) (* (cbrt (pow (cos y) 2)) (* (sqrt (cbrt (cos y))) x)) (* x (cbrt (pow (cos y) 2))) (* (cbrt (cos y)) (cbrt (pow (cos y) 2))) (- (+ (* 4 (pow y 4)) 1) (* 3 (pow y 2))) (pow (cos y) 6) (pow (cos y) 6) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) (- 1 (+ (* 1/72 (pow y 4)) (* 1/6 (pow y 2)))) (cbrt (cos y)) (cbrt (cos y)) x (* (cos y) x) (* (cos y) x) 565.493 * * * [progress]: adding candidates to table 565.624 * [progress]: [Phase 3 of 3] Extracting. 565.625 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # #) 565.627 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 565.627 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # # #) 565.716 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # #) 565.802 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # #) 565.887 * * * [regime]: Found split indices: #