13.457 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.056 * * * [progress]: [2/2] Setting up program. 0.058 * [progress]: [Phase 2 of 3] Improving. 0.059 * [simplify]: Simplifying using # : (- (* x (cos y)) (* z (sin y))) 0.061 * * [simplify]: iteration 0 : 12 enodes (cost 5 ) 0.062 * * [simplify]: iteration 1 : 19 enodes (cost 5 ) 0.063 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 0.063 * [simplify]: Simplified to: (- (* x (cos y)) (* z (sin y))) 0.064 * * [progress]: iteration 1 / 4 0.064 * * * [progress]: picking best candidate 0.066 * * * * [pick]: Picked # 0.066 * * * [progress]: localizing error 0.076 * * * [progress]: generating rewritten candidates 0.076 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.080 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.083 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.098 * * * [progress]: generating series expansions 0.098 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.098 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 0.098 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.098 * [taylor]: Taking taylor expansion of (sin y) in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.098 * [taylor]: Taking taylor expansion of z in y 0.098 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.098 * [taylor]: Taking taylor expansion of (sin y) in z 0.098 * [taylor]: Taking taylor expansion of y in z 0.098 * [taylor]: Taking taylor expansion of z in z 0.098 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.098 * [taylor]: Taking taylor expansion of (sin y) in z 0.098 * [taylor]: Taking taylor expansion of y in z 0.098 * [taylor]: Taking taylor expansion of z in z 0.098 * [taylor]: Taking taylor expansion of 0 in y 0.100 * [taylor]: Taking taylor expansion of (sin y) in y 0.100 * [taylor]: Taking taylor expansion of y in y 0.103 * [taylor]: Taking taylor expansion of 0 in y 0.106 * [taylor]: Taking taylor expansion of 0 in y 0.110 * [taylor]: Taking taylor expansion of 0 in y 0.110 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.110 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.110 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.110 * [taylor]: Taking taylor expansion of y in y 0.111 * [taylor]: Taking taylor expansion of z in y 0.111 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.111 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.111 * [taylor]: Taking taylor expansion of y in z 0.111 * [taylor]: Taking taylor expansion of z in z 0.111 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.111 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.111 * [taylor]: Taking taylor expansion of y in z 0.111 * [taylor]: Taking taylor expansion of z in z 0.111 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.111 * [taylor]: Taking taylor expansion of y in y 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.117 * [taylor]: Taking taylor expansion of 0 in y 0.121 * [taylor]: Taking taylor expansion of 0 in y 0.121 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.121 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.121 * [taylor]: Taking taylor expansion of -1 in y 0.121 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.121 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.121 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.121 * [taylor]: Taking taylor expansion of -1 in y 0.121 * [taylor]: Taking taylor expansion of y in y 0.122 * [taylor]: Taking taylor expansion of z in y 0.122 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.122 * [taylor]: Taking taylor expansion of -1 in z 0.122 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.122 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.122 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.122 * [taylor]: Taking taylor expansion of -1 in z 0.122 * [taylor]: Taking taylor expansion of y in z 0.122 * [taylor]: Taking taylor expansion of z in z 0.122 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.122 * [taylor]: Taking taylor expansion of -1 in z 0.122 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.122 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.122 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.122 * [taylor]: Taking taylor expansion of -1 in z 0.122 * [taylor]: Taking taylor expansion of y in z 0.122 * [taylor]: Taking taylor expansion of z in z 0.123 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.123 * [taylor]: Taking taylor expansion of -1 in y 0.123 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.123 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.123 * [taylor]: Taking taylor expansion of -1 in y 0.123 * [taylor]: Taking taylor expansion of y in y 0.125 * [taylor]: Taking taylor expansion of 0 in y 0.129 * [taylor]: Taking taylor expansion of 0 in y 0.134 * [taylor]: Taking taylor expansion of 0 in y 0.134 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.135 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0 0.135 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 0.135 * [taylor]: Taking taylor expansion of x in y 0.135 * [taylor]: Taking taylor expansion of (cos y) in y 0.135 * [taylor]: Taking taylor expansion of y in y 0.135 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of (cos y) in x 0.135 * [taylor]: Taking taylor expansion of y in x 0.135 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of (cos y) in x 0.135 * [taylor]: Taking taylor expansion of y in x 0.135 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [taylor]: Taking taylor expansion of (cos y) in y 0.137 * [taylor]: Taking taylor expansion of y in y 0.144 * [taylor]: Taking taylor expansion of 0 in y 0.148 * [taylor]: Taking taylor expansion of 0 in y 0.148 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 0.148 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.148 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.148 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.148 * [taylor]: Taking taylor expansion of y in y 0.148 * [taylor]: Taking taylor expansion of x in y 0.149 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.149 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.149 * [taylor]: Taking taylor expansion of y in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.149 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.149 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.149 * [taylor]: Taking taylor expansion of y in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.150 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.150 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.150 * [taylor]: Taking taylor expansion of y in y 0.152 * [taylor]: Taking taylor expansion of 0 in y 0.156 * [taylor]: Taking taylor expansion of 0 in y 0.161 * [taylor]: Taking taylor expansion of 0 in y 0.161 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 0.161 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 0.161 * [taylor]: Taking taylor expansion of -1 in y 0.161 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.161 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.161 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.161 * [taylor]: Taking taylor expansion of -1 in y 0.161 * [taylor]: Taking taylor expansion of y in y 0.161 * [taylor]: Taking taylor expansion of x in y 0.161 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.161 * [taylor]: Taking taylor expansion of -1 in x 0.161 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.161 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.161 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.162 * [taylor]: Taking taylor expansion of -1 in x 0.162 * [taylor]: Taking taylor expansion of y in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.162 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.162 * [taylor]: Taking taylor expansion of -1 in x 0.162 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.162 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.162 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.162 * [taylor]: Taking taylor expansion of -1 in x 0.162 * [taylor]: Taking taylor expansion of y in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.163 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.163 * [taylor]: Taking taylor expansion of -1 in y 0.163 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.163 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.163 * [taylor]: Taking taylor expansion of -1 in y 0.163 * [taylor]: Taking taylor expansion of y in y 0.166 * [taylor]: Taking taylor expansion of 0 in y 0.170 * [taylor]: Taking taylor expansion of 0 in y 0.176 * [taylor]: Taking taylor expansion of 0 in y 0.176 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.176 * [approximate]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in (x y z) around 0 0.176 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in z 0.176 * [taylor]: Taking taylor expansion of (* x (cos y)) in z 0.176 * [taylor]: Taking taylor expansion of x in z 0.176 * [taylor]: Taking taylor expansion of (cos y) in z 0.176 * [taylor]: Taking taylor expansion of y in z 0.176 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.176 * [taylor]: Taking taylor expansion of (sin y) in z 0.176 * [taylor]: Taking taylor expansion of y in z 0.176 * [taylor]: Taking taylor expansion of z in z 0.176 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in y 0.176 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 0.176 * [taylor]: Taking taylor expansion of x in y 0.176 * [taylor]: Taking taylor expansion of (cos y) in y 0.176 * [taylor]: Taking taylor expansion of y in y 0.176 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.176 * [taylor]: Taking taylor expansion of (sin y) in y 0.176 * [taylor]: Taking taylor expansion of y in y 0.176 * [taylor]: Taking taylor expansion of z in y 0.176 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in x 0.176 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.176 * [taylor]: Taking taylor expansion of x in x 0.176 * [taylor]: Taking taylor expansion of (cos y) in x 0.176 * [taylor]: Taking taylor expansion of y in x 0.176 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.176 * [taylor]: Taking taylor expansion of (sin y) in x 0.177 * [taylor]: Taking taylor expansion of y in x 0.177 * [taylor]: Taking taylor expansion of z in x 0.177 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in x 0.177 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of (cos y) in x 0.177 * [taylor]: Taking taylor expansion of y in x 0.177 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.177 * [taylor]: Taking taylor expansion of (sin y) in x 0.177 * [taylor]: Taking taylor expansion of y in x 0.177 * [taylor]: Taking taylor expansion of z in x 0.177 * [taylor]: Taking taylor expansion of (- (* (sin y) z)) in y 0.177 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.177 * [taylor]: Taking taylor expansion of (sin y) in y 0.177 * [taylor]: Taking taylor expansion of y in y 0.177 * [taylor]: Taking taylor expansion of z in y 0.178 * [taylor]: Taking taylor expansion of 0 in z 0.182 * [taylor]: Taking taylor expansion of (cos y) in y 0.182 * [taylor]: Taking taylor expansion of y in y 0.182 * [taylor]: Taking taylor expansion of 1 in z 0.182 * [taylor]: Taking taylor expansion of (- z) in z 0.183 * [taylor]: Taking taylor expansion of z in z 0.188 * [taylor]: Taking taylor expansion of 0 in y 0.188 * [taylor]: Taking taylor expansion of 0 in z 0.189 * [taylor]: Taking taylor expansion of 0 in z 0.190 * [taylor]: Taking taylor expansion of 0 in z 0.190 * [approximate]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in (x y z) around 0 0.190 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z 0.190 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in z 0.190 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.190 * [taylor]: Taking taylor expansion of y in z 0.190 * [taylor]: Taking taylor expansion of x in z 0.191 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.191 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.191 * [taylor]: Taking taylor expansion of y in z 0.191 * [taylor]: Taking taylor expansion of z in z 0.191 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y 0.191 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.191 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.191 * [taylor]: Taking taylor expansion of y in y 0.191 * [taylor]: Taking taylor expansion of x in y 0.191 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.191 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.191 * [taylor]: Taking taylor expansion of y in y 0.192 * [taylor]: Taking taylor expansion of z in y 0.192 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x 0.192 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.192 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.192 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.192 * [taylor]: Taking taylor expansion of y in x 0.192 * [taylor]: Taking taylor expansion of x in x 0.192 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.192 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.193 * [taylor]: Taking taylor expansion of y in x 0.193 * [taylor]: Taking taylor expansion of z in x 0.193 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x 0.193 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.193 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.193 * [taylor]: Taking taylor expansion of y in x 0.193 * [taylor]: Taking taylor expansion of x in x 0.193 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.193 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.193 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.193 * [taylor]: Taking taylor expansion of y in x 0.193 * [taylor]: Taking taylor expansion of z in x 0.194 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.194 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.194 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.194 * [taylor]: Taking taylor expansion of y in z 0.197 * [taylor]: Taking taylor expansion of (- (/ (sin (/ 1 y)) z)) in y 0.197 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.197 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.197 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.197 * [taylor]: Taking taylor expansion of y in y 0.197 * [taylor]: Taking taylor expansion of z in y 0.197 * [taylor]: Taking taylor expansion of (- (/ (sin (/ 1 y)) z)) in z 0.197 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.197 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.197 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.197 * [taylor]: Taking taylor expansion of y in z 0.197 * [taylor]: Taking taylor expansion of z in z 0.198 * [taylor]: Taking taylor expansion of 0 in z 0.203 * [taylor]: Taking taylor expansion of 0 in y 0.203 * [taylor]: Taking taylor expansion of 0 in z 0.204 * [taylor]: Taking taylor expansion of 0 in z 0.204 * [taylor]: Taking taylor expansion of 0 in z 0.215 * [taylor]: Taking taylor expansion of 0 in y 0.215 * [taylor]: Taking taylor expansion of 0 in z 0.215 * [taylor]: Taking taylor expansion of 0 in z 0.215 * [taylor]: Taking taylor expansion of 0 in z 0.215 * [taylor]: Taking taylor expansion of 0 in z 0.216 * [approximate]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in (x y z) around 0 0.216 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in z 0.216 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.216 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.216 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.216 * [taylor]: Taking taylor expansion of -1 in z 0.216 * [taylor]: Taking taylor expansion of y in z 0.216 * [taylor]: Taking taylor expansion of z in z 0.216 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in z 0.216 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.216 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.216 * [taylor]: Taking taylor expansion of -1 in z 0.216 * [taylor]: Taking taylor expansion of y in z 0.216 * [taylor]: Taking taylor expansion of x in z 0.217 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in y 0.217 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.217 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.217 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.217 * [taylor]: Taking taylor expansion of -1 in y 0.217 * [taylor]: Taking taylor expansion of y in y 0.217 * [taylor]: Taking taylor expansion of z in y 0.217 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.217 * [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 -1 in y 0.218 * [taylor]: Taking taylor expansion of y in y 0.218 * [taylor]: Taking taylor expansion of x in y 0.218 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x 0.218 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.218 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.218 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.218 * [taylor]: Taking taylor expansion of -1 in x 0.218 * [taylor]: Taking taylor expansion of y in x 0.218 * [taylor]: Taking taylor expansion of z in x 0.218 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.218 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.218 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.218 * [taylor]: Taking taylor expansion of -1 in x 0.219 * [taylor]: Taking taylor expansion of y in x 0.219 * [taylor]: Taking taylor expansion of x in x 0.219 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x 0.219 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.219 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.219 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.219 * [taylor]: Taking taylor expansion of -1 in x 0.219 * [taylor]: Taking taylor expansion of y in x 0.219 * [taylor]: Taking taylor expansion of z in x 0.219 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.219 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.219 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.219 * [taylor]: Taking taylor expansion of -1 in x 0.219 * [taylor]: Taking taylor expansion of y in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.220 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in y 0.220 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.220 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.220 * [taylor]: Taking taylor expansion of -1 in y 0.220 * [taylor]: Taking taylor expansion of y in y 0.221 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in z 0.221 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.221 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.221 * [taylor]: Taking taylor expansion of -1 in z 0.221 * [taylor]: Taking taylor expansion of y in z 0.223 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.223 * [taylor]: Taking taylor expansion of (sin (/ -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 z in y 0.224 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.224 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.224 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.224 * [taylor]: Taking taylor expansion of -1 in z 0.224 * [taylor]: Taking taylor expansion of y in z 0.224 * [taylor]: Taking taylor expansion of z in z 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.230 * [taylor]: Taking taylor expansion of 0 in y 0.230 * [taylor]: Taking taylor expansion of 0 in z 0.231 * [taylor]: Taking taylor expansion of 0 in z 0.231 * [taylor]: Taking taylor expansion of 0 in z 0.248 * [taylor]: Taking taylor expansion of 0 in y 0.248 * [taylor]: Taking taylor expansion of 0 in z 0.248 * [taylor]: Taking taylor expansion of 0 in z 0.248 * [taylor]: Taking taylor expansion of 0 in z 0.248 * [taylor]: Taking taylor expansion of 0 in z 0.249 * * * [progress]: simplifying candidates 0.250 * [simplify]: Simplifying using # : (* z (sin y)) (+ (log z) (log (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (* (* (* z z) z) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (* (* (* z (sin y)) (* z (sin y))) (* z (sin y))) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) (* z 1) (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (* x (cos y)) (+ (log x) (log (cos y))) (log (* x (cos y))) (exp (* x (cos y))) (* (* (* x x) x) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* x (cos y))) (cbrt (* x (cos y)))) (cbrt (* x (cos y))) (* (* (* x (cos y)) (* x (cos y))) (* x (cos y))) (sqrt (* x (cos y))) (sqrt (* x (cos y))) (* (sqrt x) (sqrt (cos y))) (* (sqrt x) (sqrt (cos y))) (* x (* (cbrt (cos y)) (cbrt (cos y)))) (* x (sqrt (cos y))) (* x 1) (* (cbrt x) (cos y)) (* (sqrt x) (cos y)) (* x (cos y)) (/ (exp (* x (cos y))) (exp (* z (sin y)))) (log (- (* x (cos y)) (* z (sin y)))) (exp (- (* x (cos y)) (* z (sin y)))) (* (cbrt (- (* x (cos y)) (* z (sin y)))) (cbrt (- (* x (cos y)) (* z (sin y))))) (cbrt (- (* x (cos y)) (* z (sin y)))) (* (* (- (* x (cos y)) (* z (sin y))) (- (* x (cos y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y)))) (- (pow (* x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (* x (cos y)) (* x (cos y))) (+ (* (* z (sin y)) (* z (sin y))) (* (* x (cos y)) (* z (sin y))))) (- (* z (sin y))) (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y)))) (+ (* x (cos y)) (* z (sin y))) (+ (sqrt (* x (cos y))) (sqrt (* z (sin y)))) (- (sqrt (* x (cos y))) (sqrt (* z (sin y)))) (+ (sqrt (* x (cos y))) (* (sqrt z) (sqrt (sin y)))) (- (sqrt (* x (cos y))) (* (sqrt z) (sqrt (sin y)))) (+ (* (sqrt x) (sqrt (cos y))) (sqrt (* z (sin y)))) (- (* (sqrt x) (sqrt (cos y))) (sqrt (* z (sin y)))) (+ (* (sqrt x) (sqrt (cos y))) (* (sqrt z) (sqrt (sin y)))) (- (* (sqrt x) (sqrt (cos y))) (* (sqrt z) (sqrt (sin y)))) (- (* x (cos y)) (* z (sin y))) (- (* x (cos y)) (* z (sin y))) (- (* x (cos y)) (* z (sin y))) (- (* x (cos y)) (* z (sin y))) (- (* z (sin y))) (* z y) (* (sin y) z) (* (sin y) z) x (* x (cos y)) (* x (cos y)) x (- (* x (cos y)) (* (sin y) z)) (- (* x (cos y)) (* (sin y) z)) 0.254 * * [simplify]: iteration 0 : 192 enodes (cost 338 ) 0.258 * * [simplify]: iteration 1 : 664 enodes (cost 317 ) 0.272 * * [simplify]: iteration 2 : 2069 enodes (cost 317 ) 0.309 * * [simplify]: iteration 3 : 5001 enodes (cost 317 ) 0.310 * [simplify]: Simplified to: (* z (sin y)) (log (* z (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (pow (* z (sin y)) 3) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (pow (* z (sin y)) 3) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) z (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (* x (cos y)) (log (* x (cos y))) (log (* x (cos y))) (exp (* x (cos y))) (pow (* x (cos y)) 3) (* (cbrt (* x (cos y))) (cbrt (* x (cos y)))) (cbrt (* x (cos y))) (pow (* x (cos y)) 3) (sqrt (* x (cos y))) (sqrt (* x (cos y))) (* (sqrt x) (sqrt (cos y))) (* (sqrt x) (sqrt (cos y))) (* x (* (cbrt (cos y)) (cbrt (cos y)))) (* x (sqrt (cos y))) x (* (cbrt x) (cos y)) (* (sqrt x) (cos y)) (* x (cos y)) (exp (- (* x (cos y)) (* z (sin y)))) (log (- (* x (cos y)) (* z (sin y)))) (exp (- (* x (cos y)) (* z (sin y)))) (* (cbrt (- (* x (cos y)) (* z (sin y)))) (cbrt (- (* x (cos y)) (* z (sin y))))) (cbrt (- (* x (cos y)) (* z (sin y)))) (pow (- (* x (cos y)) (* (sin y) z)) 3) (sqrt (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y)))) (- (pow (* x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (* z (sin y)) (+ (* z (sin y)) (* x (cos y)))) (* (* x (cos y)) (* x (cos y)))) (- (* z (sin y))) (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y)))) (+ (* x (cos y)) (* z (sin y))) (+ (sqrt (* x (cos y))) (sqrt (* z (sin y)))) (- (sqrt (* x (cos y))) (sqrt (* z (sin y)))) (+ (sqrt (* x (cos y))) (* (sqrt z) (sqrt (sin y)))) (- (sqrt (* x (cos y))) (* (sqrt z) (sqrt (sin y)))) (+ (* (sqrt x) (sqrt (cos y))) (sqrt (* z (sin y)))) (- (* (sqrt x) (sqrt (cos y))) (sqrt (* z (sin y)))) (+ (* (sqrt x) (sqrt (cos y))) (* (sqrt z) (sqrt (sin y)))) (- (* (sqrt x) (sqrt (cos y))) (* (sqrt z) (sqrt (sin y)))) (- (* x (cos y)) (* (sin y) z)) (- (* x (cos y)) (* (sin y) z)) (- (* x (cos y)) (* (sin y) z)) (- (* x (cos y)) (* (sin y) z)) (- (* z (sin y))) (* z y) (* z (sin y)) (* z (sin y)) x (* x (cos y)) (* x (cos y)) x (- (* x (cos y)) (* (sin y) z)) (- (* x (cos y)) (* (sin y) z)) 0.311 * * * [progress]: adding candidates to table 0.452 * * [progress]: iteration 2 / 4 0.452 * * * [progress]: picking best candidate 0.479 * * * * [pick]: Picked # 0.479 * * * [progress]: localizing error 0.493 * * * [progress]: generating rewritten candidates 0.493 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 0.494 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 0.496 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 0.497 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 0.505 * * * [progress]: generating series expansions 0.505 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 0.505 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 0.505 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.505 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.505 * [taylor]: Taking taylor expansion of 1/3 in y 0.505 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.505 * [taylor]: Taking taylor expansion of (cos y) in y 0.505 * [taylor]: Taking taylor expansion of y in y 0.510 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.510 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.510 * [taylor]: Taking taylor expansion of 1/3 in y 0.510 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.510 * [taylor]: Taking taylor expansion of (cos y) in y 0.510 * [taylor]: Taking taylor expansion of y in y 0.531 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 0.531 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.531 * [taylor]: Taking taylor expansion of 1/3 in y 0.531 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.531 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.531 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.531 * [taylor]: Taking taylor expansion of y in y 0.532 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.532 * [taylor]: Taking taylor expansion of 1/3 in y 0.532 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.532 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.532 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.532 * [taylor]: Taking taylor expansion of y in y 0.571 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 0.571 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.571 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.571 * [taylor]: Taking taylor expansion of 1/3 in y 0.571 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.571 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.571 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.571 * [taylor]: Taking taylor expansion of -1 in y 0.571 * [taylor]: Taking taylor expansion of y in y 0.572 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.572 * [taylor]: Taking taylor expansion of 1/3 in y 0.572 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.572 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.572 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.572 * [taylor]: Taking taylor expansion of -1 in y 0.572 * [taylor]: Taking taylor expansion of y in y 0.605 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 0.605 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 0.606 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.606 * [taylor]: Taking taylor expansion of 1/3 in y 0.606 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.606 * [taylor]: Taking taylor expansion of (cos y) in y 0.606 * [taylor]: Taking taylor expansion of y in y 0.610 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.610 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.610 * [taylor]: Taking taylor expansion of 1/3 in y 0.610 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.610 * [taylor]: Taking taylor expansion of (cos y) in y 0.610 * [taylor]: Taking taylor expansion of y in y 0.632 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 0.632 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.632 * [taylor]: Taking taylor expansion of 1/3 in y 0.632 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.632 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.632 * [taylor]: Taking taylor expansion of y in y 0.633 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.633 * [taylor]: Taking taylor expansion of 1/3 in y 0.633 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.633 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.633 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.633 * [taylor]: Taking taylor expansion of y in y 0.673 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 0.673 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.673 * [taylor]: Taking taylor expansion of 1/3 in y 0.673 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.673 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.673 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.673 * [taylor]: Taking taylor expansion of -1 in y 0.673 * [taylor]: Taking taylor expansion of y in y 0.673 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.673 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.673 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.674 * [taylor]: Taking taylor expansion of 1/3 in y 0.674 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.674 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.674 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.674 * [taylor]: Taking taylor expansion of -1 in y 0.674 * [taylor]: Taking taylor expansion of y in y 0.708 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 0.708 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 0.708 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.708 * [taylor]: Taking taylor expansion of 1/3 in y 0.708 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.708 * [taylor]: Taking taylor expansion of (cos y) in y 0.708 * [taylor]: Taking taylor expansion of y in y 0.713 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.713 * [taylor]: Taking taylor expansion of 1/3 in y 0.713 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.713 * [taylor]: Taking taylor expansion of (cos y) in y 0.713 * [taylor]: Taking taylor expansion of y in y 0.740 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 0.741 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.741 * [taylor]: Taking taylor expansion of 1/3 in y 0.741 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.741 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.741 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.741 * [taylor]: Taking taylor expansion of y in y 0.741 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.741 * [taylor]: Taking taylor expansion of 1/3 in y 0.741 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.741 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.741 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.741 * [taylor]: Taking taylor expansion of y in y 0.776 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 0.776 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.776 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.777 * [taylor]: Taking taylor expansion of 1/3 in y 0.777 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.777 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.777 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.777 * [taylor]: Taking taylor expansion of -1 in y 0.777 * [taylor]: Taking taylor expansion of y in y 0.777 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.777 * [taylor]: Taking taylor expansion of 1/3 in y 0.777 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.777 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.777 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.777 * [taylor]: Taking taylor expansion of -1 in y 0.777 * [taylor]: Taking taylor expansion of y in y 0.810 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 0.811 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 0.811 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 0.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 0.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 0.811 * [taylor]: Taking taylor expansion of 1/3 in y 0.811 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 0.811 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 0.811 * [taylor]: Taking taylor expansion of (cos y) in y 0.811 * [taylor]: Taking taylor expansion of y in y 0.816 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 0.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 0.816 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 0.816 * [taylor]: Taking taylor expansion of 1/3 in y 0.816 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 0.816 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 0.816 * [taylor]: Taking taylor expansion of (cos y) in y 0.816 * [taylor]: Taking taylor expansion of y in y 0.888 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 0.888 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 0.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 0.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 0.888 * [taylor]: Taking taylor expansion of 1/3 in y 0.888 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 0.888 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 0.888 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.888 * [taylor]: Taking taylor expansion of y in y 0.889 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 0.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 0.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 0.889 * [taylor]: Taking taylor expansion of 1/3 in y 0.889 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 0.889 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 0.889 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.889 * [taylor]: Taking taylor expansion of y in y 0.936 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 0.936 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 0.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 0.936 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 0.936 * [taylor]: Taking taylor expansion of 1/3 in y 0.936 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 0.936 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 0.936 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.936 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.936 * [taylor]: Taking taylor expansion of -1 in y 0.936 * [taylor]: Taking taylor expansion of y in y 0.937 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 0.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 0.937 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 0.937 * [taylor]: Taking taylor expansion of 1/3 in y 0.937 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 0.937 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 0.937 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.937 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.937 * [taylor]: Taking taylor expansion of -1 in y 0.937 * [taylor]: Taking taylor expansion of y in y 0.977 * * * [progress]: simplifying candidates 0.978 * [simplify]: Simplifying using # : (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (+ 1/3 1/3) (+ 1 1) (* (cos y) (cos y)) (* (cbrt (cos y)) (cbrt (cos y))) (+ 1 1) (+ (log (cbrt (cos y))) (log (cbrt (cos y)))) (log (* (cbrt (cos y)) (cbrt (cos y)))) (exp (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (cos y)) (* (cos y) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (cos y)) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (cos y)) (cbrt (cos y))) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 1 1) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 2 1/3) (* 2 1) (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* (cbrt (cos y)) (cbrt 1)) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (* (cbrt (cos y)) 1) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (sqrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) 0.982 * * [simplify]: iteration 0 : 131 enodes (cost 478 ) 0.985 * * [simplify]: iteration 1 : 525 enodes (cost 405 ) 1.002 * * [simplify]: iteration 2 : 3653 enodes (cost 363 ) 1.080 * * [simplify]: iteration 3 : 5001 enodes (cost 357 ) 1.082 * [simplify]: Simplified to: (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) 2/3 2 (pow (cos y) 2) (pow (cos y) 2/3) 2 (* 2/3 (log (cos y))) (* 2/3 (log (cos y))) (pow (exp 1) (pow (cos y) 2/3)) (pow (cos y) 2) (pow (cos y) 2) (pow (cos y) 2) (pow (cos y) 2) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (pow (cos y) 2) (fabs (pow (cos y) 1/3)) (fabs (pow (cos y) 1/3)) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) 1 (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (pow (cos y) 1/3) (pow (cos y) 1/3) 1 (pow (cos y) 2/3) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (pow (cos y) 1/3) (pow (cos y) 1/3) 2/3 2 (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (pow (cos y) 1/3) (pow (cbrt (cbrt (cos y))) 5) (pow (sqrt (cbrt (cos y))) 3) (pow (cos y) 1/3) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (pow (sqrt (cbrt (cos y))) 3) (pow (cos y) 2/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (cos y) 2/3) (pow (cos y) 2/3) 1.082 * * * [progress]: adding candidates to table 1.337 * * [progress]: iteration 3 / 4 1.337 * * * [progress]: picking best candidate 1.365 * * * * [pick]: Picked # 1.365 * * * [progress]: localizing error 1.384 * * * [progress]: generating rewritten candidates 1.384 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.385 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 1.388 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.411 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.419 * * * [progress]: generating series expansions 1.419 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.419 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.420 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.420 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.420 * [taylor]: Taking taylor expansion of 1/3 in y 1.420 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.420 * [taylor]: Taking taylor expansion of (cos y) in y 1.420 * [taylor]: Taking taylor expansion of y in y 1.425 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.425 * [taylor]: Taking taylor expansion of 1/3 in y 1.425 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.425 * [taylor]: Taking taylor expansion of (cos y) in y 1.425 * [taylor]: Taking taylor expansion of y in y 1.446 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.446 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.446 * [taylor]: Taking taylor expansion of 1/3 in y 1.446 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.446 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.446 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.446 * [taylor]: Taking taylor expansion of y in y 1.447 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.447 * [taylor]: Taking taylor expansion of 1/3 in y 1.447 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.447 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.447 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.447 * [taylor]: Taking taylor expansion of y in y 1.480 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.480 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.487 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.487 * [taylor]: Taking taylor expansion of 1/3 in y 1.487 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.488 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.488 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.488 * [taylor]: Taking taylor expansion of -1 in y 1.488 * [taylor]: Taking taylor expansion of y in y 1.488 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.489 * [taylor]: Taking taylor expansion of 1/3 in y 1.489 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.489 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.489 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.489 * [taylor]: Taking taylor expansion of -1 in y 1.489 * [taylor]: Taking taylor expansion of y in y 1.522 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 1.522 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 1.522 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.522 * [taylor]: Taking taylor expansion of (cos y) in y 1.522 * [taylor]: Taking taylor expansion of y in y 1.522 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.522 * [taylor]: Taking taylor expansion of (cos y) in y 1.522 * [taylor]: Taking taylor expansion of y in y 1.528 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 1.528 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.528 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.528 * [taylor]: Taking taylor expansion of y in y 1.528 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.529 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.529 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.529 * [taylor]: Taking taylor expansion of y in y 1.534 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 1.534 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.534 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.534 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.534 * [taylor]: Taking taylor expansion of -1 in y 1.534 * [taylor]: Taking taylor expansion of y in y 1.534 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.534 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.534 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.534 * [taylor]: Taking taylor expansion of -1 in y 1.534 * [taylor]: Taking taylor expansion of y in y 1.539 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.539 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0 1.539 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 1.539 * [taylor]: Taking taylor expansion of x in y 1.539 * [taylor]: Taking taylor expansion of (cos y) in y 1.539 * [taylor]: Taking taylor expansion of y in y 1.539 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 1.539 * [taylor]: Taking taylor expansion of x in x 1.539 * [taylor]: Taking taylor expansion of (cos y) in x 1.539 * [taylor]: Taking taylor expansion of y in x 1.539 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 1.539 * [taylor]: Taking taylor expansion of x in x 1.540 * [taylor]: Taking taylor expansion of (cos y) in x 1.540 * [taylor]: Taking taylor expansion of y in x 1.540 * [taylor]: Taking taylor expansion of 0 in y 1.542 * [taylor]: Taking taylor expansion of (cos y) in y 1.542 * [taylor]: Taking taylor expansion of y in y 1.545 * [taylor]: Taking taylor expansion of 0 in y 1.549 * [taylor]: Taking taylor expansion of 0 in y 1.549 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 1.549 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 1.549 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.549 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.549 * [taylor]: Taking taylor expansion of y in y 1.550 * [taylor]: Taking taylor expansion of x in y 1.550 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 1.550 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.550 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.550 * [taylor]: Taking taylor expansion of y in x 1.550 * [taylor]: Taking taylor expansion of x in x 1.550 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 1.550 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 1.550 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.550 * [taylor]: Taking taylor expansion of y in x 1.550 * [taylor]: Taking taylor expansion of x in x 1.551 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.551 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.551 * [taylor]: Taking taylor expansion of y in y 1.554 * [taylor]: Taking taylor expansion of 0 in y 1.557 * [taylor]: Taking taylor expansion of 0 in y 1.561 * [taylor]: Taking taylor expansion of 0 in y 1.561 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 1.561 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 1.561 * [taylor]: Taking taylor expansion of -1 in y 1.561 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 1.561 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.561 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.561 * [taylor]: Taking taylor expansion of -1 in y 1.561 * [taylor]: Taking taylor expansion of y in y 1.562 * [taylor]: Taking taylor expansion of x in y 1.562 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 1.562 * [taylor]: Taking taylor expansion of -1 in x 1.562 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 1.562 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.562 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.562 * [taylor]: Taking taylor expansion of -1 in x 1.562 * [taylor]: Taking taylor expansion of y in x 1.562 * [taylor]: Taking taylor expansion of x in x 1.562 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 1.562 * [taylor]: Taking taylor expansion of -1 in x 1.563 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 1.563 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 1.563 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.563 * [taylor]: Taking taylor expansion of -1 in x 1.563 * [taylor]: Taking taylor expansion of y in x 1.563 * [taylor]: Taking taylor expansion of x in x 1.563 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 1.563 * [taylor]: Taking taylor expansion of -1 in y 1.563 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.563 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.563 * [taylor]: Taking taylor expansion of -1 in y 1.563 * [taylor]: Taking taylor expansion of y in y 1.566 * [taylor]: Taking taylor expansion of 0 in y 1.570 * [taylor]: Taking taylor expansion of 0 in y 1.582 * [taylor]: Taking taylor expansion of 0 in y 1.582 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.582 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 1.582 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 1.582 * [taylor]: Taking taylor expansion of (sin y) in y 1.582 * [taylor]: Taking taylor expansion of y in y 1.582 * [taylor]: Taking taylor expansion of z in y 1.582 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.582 * [taylor]: Taking taylor expansion of (sin y) in z 1.582 * [taylor]: Taking taylor expansion of y in z 1.582 * [taylor]: Taking taylor expansion of z in z 1.582 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.582 * [taylor]: Taking taylor expansion of (sin y) in z 1.582 * [taylor]: Taking taylor expansion of y in z 1.582 * [taylor]: Taking taylor expansion of z in z 1.583 * [taylor]: Taking taylor expansion of 0 in y 1.584 * [taylor]: Taking taylor expansion of (sin y) in y 1.584 * [taylor]: Taking taylor expansion of y in y 1.587 * [taylor]: Taking taylor expansion of 0 in y 1.590 * [taylor]: Taking taylor expansion of 0 in y 1.595 * [taylor]: Taking taylor expansion of 0 in y 1.595 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 1.595 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 1.595 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.595 * [taylor]: Taking taylor expansion of y in y 1.595 * [taylor]: Taking taylor expansion of z in y 1.595 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.595 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.596 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.596 * [taylor]: Taking taylor expansion of y in z 1.596 * [taylor]: Taking taylor expansion of z in z 1.596 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.596 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.596 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.596 * [taylor]: Taking taylor expansion of y in z 1.596 * [taylor]: Taking taylor expansion of z in z 1.596 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.596 * [taylor]: Taking taylor expansion of y in y 1.599 * [taylor]: Taking taylor expansion of 0 in y 1.602 * [taylor]: Taking taylor expansion of 0 in y 1.605 * [taylor]: Taking taylor expansion of 0 in y 1.606 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 1.606 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 1.606 * [taylor]: Taking taylor expansion of -1 in y 1.606 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 1.606 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.606 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.606 * [taylor]: Taking taylor expansion of -1 in y 1.606 * [taylor]: Taking taylor expansion of y in y 1.606 * [taylor]: Taking taylor expansion of z in y 1.606 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 1.606 * [taylor]: Taking taylor expansion of -1 in z 1.606 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.606 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.606 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.606 * [taylor]: Taking taylor expansion of -1 in z 1.606 * [taylor]: Taking taylor expansion of y in z 1.606 * [taylor]: Taking taylor expansion of z in z 1.606 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 1.606 * [taylor]: Taking taylor expansion of -1 in z 1.606 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.607 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.607 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.607 * [taylor]: Taking taylor expansion of -1 in z 1.607 * [taylor]: Taking taylor expansion of y in z 1.607 * [taylor]: Taking taylor expansion of z in z 1.607 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 1.607 * [taylor]: Taking taylor expansion of -1 in y 1.607 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.607 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.607 * [taylor]: Taking taylor expansion of -1 in y 1.607 * [taylor]: Taking taylor expansion of y in y 1.610 * [taylor]: Taking taylor expansion of 0 in y 1.614 * [taylor]: Taking taylor expansion of 0 in y 1.619 * [taylor]: Taking taylor expansion of 0 in y 1.619 * * * [progress]: simplifying candidates 1.621 * [simplify]: Simplifying using # : (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (* (log (cos y)) 2) (* (log (cos y)) 2) (* 1 2) (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (pow (cos y) 1) (pow (* (cbrt (cos y)) (cbrt (cos y))) 2) (pow (cbrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow 1 2) (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)) (* (* (pow (cos y) 2) (pow (cos y) 2)) (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (pow (cos y) (/ 2 2)) (pow (cos y) (/ 2 2)) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (+ (+ (log x) (* (* (log (cos y)) 2) 1/3)) (log (cbrt (cos y)))) (+ (+ (log x) (* (* (log (cos y)) 2) 1/3)) (log (cbrt (cos y)))) (+ (+ (log x) (* (log (pow (cos y) 2)) 1/3)) (log (cbrt (cos y)))) (+ (+ (log x) (* (log (pow (cos y) 2)) 1/3)) (log (cbrt (cos y)))) (+ (+ (log x) (log (pow (pow (cos y) 2) 1/3))) (log (cbrt (cos y)))) (+ (log (* x (pow (pow (cos y) 2) 1/3))) (log (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (exp (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* (* (* x x) x) (pow (cos y) 2)) (cos y)) (* (* (* (* x x) x) (pow (cos y) 2)) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (* (* (* x x) x) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3))) (cos y)) (* (* (* (* x x) x) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (* (* (* x (pow (pow (cos y) 2) 1/3)) (* x (pow (pow (cos y) 2) 1/3))) (* x (pow (pow (cos y) 2) 1/3))) (cos y)) (* (* (* (* x (pow (pow (cos y) 2) 1/3)) (* x (pow (pow (cos y) 2) 1/3))) (* x (pow (pow (cos y) 2) 1/3))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (sqrt (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (sqrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt 1)) (* (* x (pow (pow (cos y) 2) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) 1) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (* (cbrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (cos y))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (pow (pow (sqrt (cos y)) 2) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (pow (sqrt (pow (cos y) 2)) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (pow (pow (cos y) (/ 2 2)) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (cos y))) (* (* (sqrt x) (pow (pow (cos y) 2) (/ 1/3 2))) (cbrt (cos y))) (* (pow (pow (cbrt (cos y)) 2) 1/3) (cbrt (cos y))) (* (pow (pow (sqrt (cos y)) 2) 1/3) (cbrt (cos y))) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (* (pow (cos y) 1/3) (cbrt (cos y))) (* (pow (cbrt (pow (cos y) 2)) 1/3) (cbrt (cos y))) (* (pow (sqrt (pow (cos y) 2)) 1/3) (cbrt (cos y))) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (* (pow (pow (cos y) (/ 2 2)) 1/3) (cbrt (cos y))) (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (sqrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (* (pow (pow (cos y) 2) (/ 1/3 2)) (cbrt (cos y))) (* (* (cbrt x) (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* x (cbrt (cos y))) (* z (sin y)) (+ (log z) (log (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (* (* (* z z) z) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (* (* (* z (sin y)) (* z (sin y))) (* z (sin y))) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) (* z 1) (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) x (* x (cos y)) (* x (cos y)) (* z y) (* (sin y) z) (* (sin y) z) 1.628 * * [simplify]: iteration 0 : 459 enodes (cost 909 ) 1.636 * * [simplify]: iteration 1 : 1868 enodes (cost 785 ) 1.673 * * [simplify]: iteration 2 : 5001 enodes (cost 756 ) 1.677 * [simplify]: Simplified to: (log (cbrt (cos y))) (exp (cbrt (cos y))) (pow (pow (cos y) 2/3) 1/3) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (pow (cos y) 2)) (log (pow (cos y) 2)) 2 (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (cos y) (pow (cos y) 4/3) (pow (cos y) 2/3) (cos y) (cos y) 1 (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3) (pow (cos y) 6) (fabs (cos y)) (fabs (cos y)) (cos y) (cos y) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (exp (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))) (cbrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (pow (cos y) 3) (pow x 3)) (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (sqrt (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (cbrt (sqrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x)) (* (* (cbrt (sqrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x)) (* (* (sqrt (cbrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x)) (* (* (sqrt (cbrt (cos y))) (pow (fabs (cos y)) 1/3)) (sqrt x)) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (pow (cos y) 1/3)) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (sqrt (cbrt (cos y)))) (* (* (cbrt (sqrt (cos y))) (pow (pow (cos y) 2) 1/6)) (sqrt x)) (* (* (cbrt (sqrt (cos y))) (pow (pow (cos y) 2) 1/6)) (sqrt x)) (* (* (sqrt (cbrt (cos y))) (pow (pow (cos y) 2) 1/6)) (sqrt x)) (* (* (sqrt (cbrt (cos y))) (pow (pow (cos y) 2) 1/6)) (sqrt x)) (* (* x (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2/3) 1/3)) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (sqrt (cos y)))) (* x (pow (pow (cos y) 2) 1/3)) (* (* x (pow (pow (cos y) 2) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* x (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y)))) (* x (pow (pow (cos y) 2) 1/3)) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (* (cbrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (cos y))) (* (sqrt (* x (pow (pow (cos y) 2) 1/3))) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (pow (cos y) 2/3) (sqrt x)) (* (pow (cos y) 2/3) (sqrt x)) (* (* (sqrt x) (pow (cos y) 1/3)) (pow (fabs (cos y)) 1/3)) (* (pow (cos y) 2/3) (sqrt x)) (* (* (sqrt x) (sqrt (pow (pow (cos y) 2) 1/3))) (cbrt (cos y))) (* (* (sqrt x) (pow (cos y) 1/3)) (pow (pow (cos y) 2) 1/6)) (* (pow (pow (cos y) 2/3) 1/3) (pow (cos y) 1/3)) (pow (cos y) 2/3) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (pow (cos y) 2/3) (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (pow (fabs (cos y)) 1/3) (pow (cos y) 1/3)) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (pow (cos y) 2/3) (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (sqrt (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (* (pow (pow (cos y) 2) 1/6) (pow (cos y) 1/3)) (* (* (cbrt x) (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* (sqrt x) (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* x (cbrt (cos y))) (* z (sin y)) (log (* z (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (pow (* z (sin y)) 3) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (pow (* z (sin y)) 3) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) z (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) x (* x (cos y)) (* x (cos y)) (* z y) (* z (sin y)) (* z (sin y)) 1.677 * * * [progress]: adding candidates to table 2.086 * * [progress]: iteration 4 / 4 2.086 * * * [progress]: picking best candidate 2.111 * * * * [pick]: Picked # 2.111 * * * [progress]: localizing error 2.127 * * * [progress]: generating rewritten candidates 2.127 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 2.130 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 2.132 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 2.134 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.152 * * * [progress]: generating series expansions 2.152 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 2.152 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 2.152 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.152 * [taylor]: Taking taylor expansion of 1/3 in y 2.152 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.152 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.152 * [taylor]: Taking taylor expansion of (cos y) in y 2.152 * [taylor]: Taking taylor expansion of y in y 2.162 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.162 * [taylor]: Taking taylor expansion of 1/3 in y 2.162 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.162 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.162 * [taylor]: Taking taylor expansion of (cos y) in y 2.162 * [taylor]: Taking taylor expansion of y in y 2.233 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 2.233 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.233 * [taylor]: Taking taylor expansion of 1/3 in y 2.233 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.233 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.233 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.233 * [taylor]: Taking taylor expansion of y in y 2.234 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.234 * [taylor]: Taking taylor expansion of 1/3 in y 2.234 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.234 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.234 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.234 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.234 * [taylor]: Taking taylor expansion of y in y 2.273 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 2.273 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.273 * [taylor]: Taking taylor expansion of 1/3 in y 2.273 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.273 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.273 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.273 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.273 * [taylor]: Taking taylor expansion of -1 in y 2.273 * [taylor]: Taking taylor expansion of y in y 2.274 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.274 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.274 * [taylor]: Taking taylor expansion of 1/3 in y 2.274 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.274 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.274 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.274 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.274 * [taylor]: Taking taylor expansion of -1 in y 2.274 * [taylor]: Taking taylor expansion of y in y 2.312 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 2.312 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 2.312 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.312 * [taylor]: Taking taylor expansion of 1/3 in y 2.312 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.312 * [taylor]: Taking taylor expansion of (cos y) in y 2.312 * [taylor]: Taking taylor expansion of y in y 2.323 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.323 * [taylor]: Taking taylor expansion of 1/3 in y 2.323 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.323 * [taylor]: Taking taylor expansion of (cos y) in y 2.323 * [taylor]: Taking taylor expansion of y in y 2.346 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 2.346 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.346 * [taylor]: Taking taylor expansion of 1/3 in y 2.346 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.346 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.346 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.346 * [taylor]: Taking taylor expansion of y in y 2.347 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.347 * [taylor]: Taking taylor expansion of 1/3 in y 2.347 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.347 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.347 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.347 * [taylor]: Taking taylor expansion of y in y 2.379 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 2.380 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.380 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.380 * [taylor]: Taking taylor expansion of 1/3 in y 2.380 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.380 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.380 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.380 * [taylor]: Taking taylor expansion of -1 in y 2.380 * [taylor]: Taking taylor expansion of y in y 2.380 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.380 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.380 * [taylor]: Taking taylor expansion of 1/3 in y 2.380 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.380 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.380 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.380 * [taylor]: Taking taylor expansion of -1 in y 2.380 * [taylor]: Taking taylor expansion of y in y 2.420 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 2.420 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 2.420 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.420 * [taylor]: Taking taylor expansion of (cos y) in y 2.420 * [taylor]: Taking taylor expansion of y in y 2.420 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.420 * [taylor]: Taking taylor expansion of (cos y) in y 2.420 * [taylor]: Taking taylor expansion of y in y 2.426 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 2.426 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.426 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.426 * [taylor]: Taking taylor expansion of y in y 2.426 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.426 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.426 * [taylor]: Taking taylor expansion of y in y 2.431 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 2.431 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.431 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.431 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.431 * [taylor]: Taking taylor expansion of -1 in y 2.431 * [taylor]: Taking taylor expansion of y in y 2.432 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.432 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.432 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.432 * [taylor]: Taking taylor expansion of -1 in y 2.432 * [taylor]: Taking taylor expansion of y in y 2.436 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.437 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0 2.437 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 2.437 * [taylor]: Taking taylor expansion of x in y 2.437 * [taylor]: Taking taylor expansion of (cos y) in y 2.437 * [taylor]: Taking taylor expansion of y in y 2.437 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 2.437 * [taylor]: Taking taylor expansion of x in x 2.437 * [taylor]: Taking taylor expansion of (cos y) in x 2.437 * [taylor]: Taking taylor expansion of y in x 2.437 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 2.437 * [taylor]: Taking taylor expansion of x in x 2.437 * [taylor]: Taking taylor expansion of (cos y) in x 2.437 * [taylor]: Taking taylor expansion of y in x 2.437 * [taylor]: Taking taylor expansion of 0 in y 2.439 * [taylor]: Taking taylor expansion of (cos y) in y 2.440 * [taylor]: Taking taylor expansion of y in y 2.442 * [taylor]: Taking taylor expansion of 0 in y 2.446 * [taylor]: Taking taylor expansion of 0 in y 2.446 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 2.446 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 2.446 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.446 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.446 * [taylor]: Taking taylor expansion of y in y 2.446 * [taylor]: Taking taylor expansion of x in y 2.447 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 2.447 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.447 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.447 * [taylor]: Taking taylor expansion of y in x 2.447 * [taylor]: Taking taylor expansion of x in x 2.447 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 2.447 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.447 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.447 * [taylor]: Taking taylor expansion of y in x 2.447 * [taylor]: Taking taylor expansion of x in x 2.448 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.448 * [taylor]: Taking taylor expansion of y in y 2.450 * [taylor]: Taking taylor expansion of 0 in y 2.454 * [taylor]: Taking taylor expansion of 0 in y 2.457 * [taylor]: Taking taylor expansion of 0 in y 2.458 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 2.458 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 2.458 * [taylor]: Taking taylor expansion of -1 in y 2.458 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 2.458 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.458 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.458 * [taylor]: Taking taylor expansion of -1 in y 2.458 * [taylor]: Taking taylor expansion of y in y 2.458 * [taylor]: Taking taylor expansion of x in y 2.458 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 2.458 * [taylor]: Taking taylor expansion of -1 in x 2.458 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 2.458 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.458 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.459 * [taylor]: Taking taylor expansion of -1 in x 2.459 * [taylor]: Taking taylor expansion of y in x 2.459 * [taylor]: Taking taylor expansion of x in x 2.459 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 2.459 * [taylor]: Taking taylor expansion of -1 in x 2.459 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 2.459 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.459 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.459 * [taylor]: Taking taylor expansion of -1 in x 2.459 * [taylor]: Taking taylor expansion of y in x 2.459 * [taylor]: Taking taylor expansion of x in x 2.460 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 2.460 * [taylor]: Taking taylor expansion of -1 in y 2.460 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.460 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.460 * [taylor]: Taking taylor expansion of -1 in y 2.460 * [taylor]: Taking taylor expansion of y in y 2.463 * [taylor]: Taking taylor expansion of 0 in y 2.467 * [taylor]: Taking taylor expansion of 0 in y 2.472 * [taylor]: Taking taylor expansion of 0 in y 2.472 * * * [progress]: simplifying candidates 2.474 * [simplify]: Simplifying using # : (log (cbrt (pow (cos y) 2))) (exp (cbrt (pow (cos y) 2))) (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)) (cbrt (pow (cbrt (cos y)) 2)) (cbrt (pow (sqrt (cos y)) 2)) (cbrt (pow (sqrt (cos y)) 2)) (cbrt (pow 1 2)) (cbrt (pow (cos y) 2)) (cbrt (cos y)) (cbrt (cos y)) (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))) (cbrt 1) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) (/ 2 2))) (cbrt (pow (cos y) (/ 2 2))) (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))) (* (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (* (log (cos y)) 2) (* (log (cos y)) 2) (* 1 2) (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (pow (cos y) 1) (pow (* (cbrt (cos y)) (cbrt (cos y))) 2) (pow (cbrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow 1 2) (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)) (* (* (pow (cos y) 2) (pow (cos y) 2)) (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (pow (cos y) (/ 2 2)) (pow (cos y) (/ 2 2)) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (+ (+ (log x) (log (cbrt (pow (cos y) 2)))) (log (cbrt (cos y)))) (+ (log (* x (cbrt (pow (cos y) 2)))) (log (cbrt (cos y)))) (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (exp (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* (* (* x x) x) (pow (cos y) 2)) (cos y)) (* (* (* (* x x) x) (pow (cos y) 2)) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (* (* (* x x) x) (* (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)))) (cos y)) (* (* (* (* x x) x) (* (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (* (* (* x (cbrt (pow (cos y) 2))) (* x (cbrt (pow (cos y) 2)))) (* x (cbrt (pow (cos y) 2)))) (cos y)) (* (* (* (* x (cbrt (pow (cos y) 2))) (* x (cbrt (pow (cos y) 2)))) (* x (cbrt (pow (cos y) 2)))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))) (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (sqrt (* x (cbrt (pow (cos y) 2)))) (cbrt (sqrt (cos y)))) (* (sqrt (* x (cbrt (pow (cos y) 2)))) (cbrt (sqrt (cos y)))) (* (sqrt (* x (cbrt (pow (cos y) 2)))) (sqrt (cbrt (cos y)))) (* (sqrt (* x (cbrt (pow (cos y) 2)))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (pow (sqrt (cos y)) 2))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (pow (sqrt (cos y)) 2))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (pow (sqrt (cos y)) 2))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (pow (sqrt (cos y)) 2))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (sqrt (pow (cos y) 2)))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (sqrt (pow (cos y) 2)))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (sqrt (pow (cos y) 2)))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (sqrt (pow (cos y) 2)))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (pow (cos y) (/ 2 2)))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (pow (cos y) (/ 2 2)))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (pow (cos y) (/ 2 2)))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (pow (cos y) (/ 2 2)))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (cbrt (pow (cos y) 2)))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (sqrt (cbrt (pow (cos y) 2)))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (sqrt (cbrt (pow (cos y) 2)))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (cbrt (pow (cos y) 2)))) (sqrt (cbrt (cos y)))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y)))) (* (* x (cbrt (pow (cos y) 2))) (cbrt 1)) (* (* x (cbrt (pow (cos y) 2))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* x (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y)))) (* (* x (cbrt (pow (cos y) 2))) 1) (* (cbrt (pow (cos y) 2)) (cbrt (cos y))) (* (cbrt (* x (cbrt (pow (cos y) 2)))) (cbrt (cos y))) (* (sqrt (* x (cbrt (pow (cos y) 2)))) (cbrt (cos y))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (* (sqrt x) (cbrt (pow (sqrt (cos y)) 2))) (cbrt (cos y))) (* (* (sqrt x) (cbrt (cos y))) (cbrt (cos y))) (* (* (sqrt x) (cbrt (sqrt (pow (cos y) 2)))) (cbrt (cos y))) (* (* (sqrt x) (cbrt (pow (cos y) (/ 2 2)))) (cbrt (cos y))) (* (* (sqrt x) (sqrt (cbrt (pow (cos y) 2)))) (cbrt (cos y))) (* (cbrt (pow (cbrt (cos y)) 2)) (cbrt (cos y))) (* (cbrt (pow (sqrt (cos y)) 2)) (cbrt (cos y))) (* (cbrt (pow (cos y) 2)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (cos y))) (* (cbrt (pow (cos y) 2)) (cbrt (cos y))) (* (cbrt (pow (cos y) (/ 2 2))) (cbrt (cos y))) (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (sqrt (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (cbrt (pow (cos y) 2)) (cbrt (cos y))) (* (* (cbrt x) (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (* (sqrt x) (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* x (cbrt (cos y))) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) x (* x (cos y)) (* x (cos y)) 2.480 * * [simplify]: iteration 0 : 362 enodes (cost 863 ) 2.488 * * [simplify]: iteration 1 : 1573 enodes (cost 745 ) 2.518 * * [simplify]: iteration 2 : 5001 enodes (cost 711 ) 2.521 * [simplify]: Simplified to: (* 2/3 (log (cos y))) (exp (cbrt (pow (cos y) 2))) (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)) (cbrt (pow (cbrt (cos y)) 2)) (pow (cos y) 1/3) (pow (cos y) 1/3) 1 (pow (pow (cos y) 2) 1/3) (pow (cos y) 1/3) (pow (cos y) 1/3) (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))) 1 (pow (pow (cos y) 2) 1/3) (pow (cos y) 1/3) (pow (cos y) 1/3) (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))) (pow (cos y) 2) (sqrt (cbrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cbrt (cos y)) 2)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (log (pow (cos y) 2)) (log (pow (cos y) 2)) 2 (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (cos y) (pow (cos y) 4/3) (pow (cos y) 2/3) (cos y) (cos y) 1 (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3) (pow (cos y) 6) (fabs (cos y)) (fabs (cos y)) (cos y) (cos y) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (exp (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (pow (cos y) 3) (pow x 3)) (* (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))) (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (pow (cos y) 3) (pow x 3)) (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (sqrt (* x (cbrt (pow (cos y) 2)))) (cbrt (sqrt (cos y)))) (* (sqrt (* x (cbrt (pow (cos y) 2)))) (cbrt (sqrt (cos y)))) (* (sqrt (* x (cbrt (pow (cos y) 2)))) (sqrt (cbrt (cos y)))) (* (sqrt (* x (cbrt (pow (cos y) 2)))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (sqrt (pow (cos y) 2)))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (sqrt (pow (cos y) 2)))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (sqrt (pow (cos y) 2)))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (sqrt (pow (cos y) 2)))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (cbrt (pow (cos y) 2)))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (sqrt (cbrt (pow (cos y) 2)))) (cbrt (sqrt (cos y)))) (* (* (sqrt x) (sqrt (cbrt (pow (cos y) 2)))) (sqrt (cbrt (cos y)))) (* (* (sqrt x) (sqrt (cbrt (pow (cos y) 2)))) (sqrt (cbrt (cos y)))) (* (* x (pow (pow (cos y) 2) 1/3)) (cbrt (pow (cbrt (cos y)) 2))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y)))) (* x (cbrt (pow (cos y) 2))) (* (* x (cbrt (pow (cos y) 2))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* x (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y)))) (* x (cbrt (pow (cos y) 2))) (* (cbrt (pow (cos y) 2)) (cbrt (cos y))) (* (cbrt (* x (cbrt (pow (cos y) 2)))) (cbrt (cos y))) (* (sqrt (* x (cbrt (pow (cos y) 2)))) (cbrt (cos y))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (pow (cos y) 2/3) (sqrt x)) (* (pow (cos y) 2/3) (sqrt x)) (* (* (sqrt x) (cbrt (sqrt (pow (cos y) 2)))) (cbrt (cos y))) (* (pow (cos y) 2/3) (sqrt x)) (* (* (sqrt x) (sqrt (cbrt (pow (cos y) 2)))) (cbrt (cos y))) (* (cbrt (pow (cbrt (cos y)) 2)) (cbrt (cos y))) (pow (cos y) 2/3) (* (cbrt (pow (cos y) 2)) (cbrt (cos y))) (pow (cos y) 2/3) (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (cbrt (sqrt (pow (cos y) 2))) (cbrt (cos y))) (* (cbrt (pow (cos y) 2)) (cbrt (cos y))) (pow (cos y) 2/3) (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (sqrt (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (cbrt (pow (cos y) 2)) (cbrt (cos y))) (* (* (cbrt x) (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (* (sqrt x) (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* x (cbrt (cos y))) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) x (* x (cos y)) (* x (cos y)) 2.522 * * * [progress]: adding candidates to table 2.892 * [progress]: [Phase 3 of 3] Extracting. 2.893 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 2.899 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 2.899 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # #) 2.941 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # #) 2.985 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # #) 3.030 * * * [regime]: Found split indices: #