4.644 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.049 * * * [progress]: [2/2] Setting up program. 0.052 * [progress]: [Phase 2 of 3] Improving. 0.053 * [simplify]: Simplifying using # : (+ (* x (cos y)) (* z (sin y))) 0.054 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.055 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 0.056 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 0.057 * * [simplify]: iteration done : 15 enodes (cost 8 ) 0.057 * [simplify]: Simplified to: (fma x (cos y) (* z (sin y))) 0.061 * * [progress]: iteration 1 / 4 0.061 * * * [progress]: picking best candidate 0.063 * * * * [pick]: Picked # 0.063 * * * [progress]: localizing error 0.072 * * * [progress]: generating rewritten candidates 0.072 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.076 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.079 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.083 * * * [progress]: generating series expansions 0.083 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.083 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0 0.083 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 0.083 * [taylor]: Taking taylor expansion of x in y 0.083 * [taylor]: Taking taylor expansion of (cos y) in y 0.083 * [taylor]: Taking taylor expansion of y in y 0.083 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.083 * [taylor]: Taking taylor expansion of x in x 0.083 * [taylor]: Taking taylor expansion of (cos y) in x 0.083 * [taylor]: Taking taylor expansion of y in x 0.084 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.084 * [taylor]: Taking taylor expansion of x in x 0.084 * [taylor]: Taking taylor expansion of (cos y) in x 0.084 * [taylor]: Taking taylor expansion of y in x 0.088 * [taylor]: Taking taylor expansion of 0 in y 0.090 * [taylor]: Taking taylor expansion of (cos y) in y 0.090 * [taylor]: Taking taylor expansion of y in y 0.093 * [taylor]: Taking taylor expansion of 0 in y 0.097 * [taylor]: Taking taylor expansion of 0 in y 0.097 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 0.097 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.097 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.098 * [taylor]: Taking taylor expansion of x in y 0.098 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.098 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.098 * [taylor]: Taking taylor expansion of y in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.099 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.099 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.099 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.099 * [taylor]: Taking taylor expansion of y in x 0.099 * [taylor]: Taking taylor expansion of x in x 0.099 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.099 * [taylor]: Taking taylor expansion of y in y 0.102 * [taylor]: Taking taylor expansion of 0 in y 0.105 * [taylor]: Taking taylor expansion of 0 in y 0.109 * [taylor]: Taking taylor expansion of 0 in y 0.110 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 0.110 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 0.110 * [taylor]: Taking taylor expansion of -1 in y 0.110 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.110 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.110 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.110 * [taylor]: Taking taylor expansion of -1 in y 0.110 * [taylor]: Taking taylor expansion of y in y 0.110 * [taylor]: Taking taylor expansion of x in y 0.110 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.110 * [taylor]: Taking taylor expansion of -1 in x 0.110 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.110 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.110 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.110 * [taylor]: Taking taylor expansion of -1 in x 0.110 * [taylor]: Taking taylor expansion of y in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.111 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.111 * [taylor]: Taking taylor expansion of -1 in x 0.111 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.111 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.111 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.111 * [taylor]: Taking taylor expansion of -1 in x 0.111 * [taylor]: Taking taylor expansion of y in x 0.111 * [taylor]: Taking taylor expansion of x in x 0.112 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.112 * [taylor]: Taking taylor expansion of -1 in y 0.112 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.112 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.112 * [taylor]: Taking taylor expansion of -1 in y 0.112 * [taylor]: Taking taylor expansion of y in y 0.115 * [taylor]: Taking taylor expansion of 0 in y 0.119 * [taylor]: Taking taylor expansion of 0 in y 0.124 * [taylor]: Taking taylor expansion of 0 in y 0.125 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.125 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 0.125 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.125 * [taylor]: Taking taylor expansion of (sin y) in y 0.125 * [taylor]: Taking taylor expansion of y in y 0.125 * [taylor]: Taking taylor expansion of z in y 0.125 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.125 * [taylor]: Taking taylor expansion of (sin y) in z 0.125 * [taylor]: Taking taylor expansion of y in z 0.125 * [taylor]: Taking taylor expansion of z in z 0.125 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.125 * [taylor]: Taking taylor expansion of (sin y) in z 0.125 * [taylor]: Taking taylor expansion of y in z 0.125 * [taylor]: Taking taylor expansion of z in z 0.125 * [taylor]: Taking taylor expansion of 0 in y 0.127 * [taylor]: Taking taylor expansion of (sin y) in y 0.127 * [taylor]: Taking taylor expansion of y in y 0.129 * [taylor]: Taking taylor expansion of 0 in y 0.133 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.137 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.137 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.137 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.137 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.137 * [taylor]: Taking taylor expansion of y in y 0.138 * [taylor]: Taking taylor expansion of z in y 0.138 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.138 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.138 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.138 * [taylor]: Taking taylor expansion of y in z 0.138 * [taylor]: Taking taylor expansion of z in z 0.138 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.138 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.138 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.138 * [taylor]: Taking taylor expansion of y in z 0.138 * [taylor]: Taking taylor expansion of z in z 0.138 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.138 * [taylor]: Taking taylor expansion of y in y 0.141 * [taylor]: Taking taylor expansion of 0 in y 0.144 * [taylor]: Taking taylor expansion of 0 in y 0.148 * [taylor]: Taking taylor expansion of 0 in y 0.148 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.148 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.148 * [taylor]: Taking taylor expansion of -1 in y 0.148 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.148 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.148 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.148 * [taylor]: Taking taylor expansion of -1 in y 0.148 * [taylor]: Taking taylor expansion of y in y 0.148 * [taylor]: Taking taylor expansion of z in y 0.148 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.148 * [taylor]: Taking taylor expansion of -1 in z 0.148 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.148 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.148 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.149 * [taylor]: Taking taylor expansion of -1 in z 0.149 * [taylor]: Taking taylor expansion of y in z 0.149 * [taylor]: Taking taylor expansion of z in z 0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.149 * [taylor]: Taking taylor expansion of -1 in z 0.149 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.149 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.149 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.149 * [taylor]: Taking taylor expansion of -1 in z 0.149 * [taylor]: Taking taylor expansion of y in z 0.149 * [taylor]: Taking taylor expansion of z in z 0.149 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.149 * [taylor]: Taking taylor expansion of -1 in y 0.149 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.149 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.149 * [taylor]: Taking taylor expansion of -1 in y 0.149 * [taylor]: Taking taylor expansion of y in y 0.152 * [taylor]: Taking taylor expansion of 0 in y 0.156 * [taylor]: Taking taylor expansion of 0 in y 0.161 * [taylor]: Taking taylor expansion of 0 in y 0.162 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.162 * [approximate]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in (x y z) around 0 0.162 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in z 0.162 * [taylor]: Taking taylor expansion of (* x (cos y)) in z 0.162 * [taylor]: Taking taylor expansion of x in z 0.162 * [taylor]: Taking taylor expansion of (cos y) in z 0.162 * [taylor]: Taking taylor expansion of y in z 0.162 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.162 * [taylor]: Taking taylor expansion of (sin y) in z 0.162 * [taylor]: Taking taylor expansion of y in z 0.162 * [taylor]: Taking taylor expansion of z in z 0.162 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in y 0.162 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 0.162 * [taylor]: Taking taylor expansion of x in y 0.162 * [taylor]: Taking taylor expansion of (cos y) in y 0.162 * [taylor]: Taking taylor expansion of y in y 0.162 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.162 * [taylor]: Taking taylor expansion of (sin y) in y 0.162 * [taylor]: Taking taylor expansion of y in y 0.162 * [taylor]: Taking taylor expansion of z in y 0.162 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in x 0.162 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.162 * [taylor]: Taking taylor expansion of (cos y) in x 0.162 * [taylor]: Taking taylor expansion of y in x 0.162 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.162 * [taylor]: Taking taylor expansion of (sin y) in x 0.162 * [taylor]: Taking taylor expansion of y in x 0.162 * [taylor]: Taking taylor expansion of z in x 0.162 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in x 0.162 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.162 * [taylor]: Taking taylor expansion of (cos y) in x 0.162 * [taylor]: Taking taylor expansion of y in x 0.162 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.162 * [taylor]: Taking taylor expansion of (sin y) in x 0.163 * [taylor]: Taking taylor expansion of y in x 0.163 * [taylor]: Taking taylor expansion of z in x 0.163 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.163 * [taylor]: Taking taylor expansion of (sin y) in y 0.163 * [taylor]: Taking taylor expansion of y in y 0.163 * [taylor]: Taking taylor expansion of z in y 0.163 * [taylor]: Taking taylor expansion of 0 in z 0.167 * [taylor]: Taking taylor expansion of (cos y) in y 0.167 * [taylor]: Taking taylor expansion of y in y 0.167 * [taylor]: Taking taylor expansion of 1 in z 0.168 * [taylor]: Taking taylor expansion of z in z 0.173 * [taylor]: Taking taylor expansion of 0 in y 0.174 * [taylor]: Taking taylor expansion of 0 in z 0.174 * [taylor]: Taking taylor expansion of 0 in z 0.178 * [taylor]: Taking taylor expansion of 0 in z 0.178 * [approximate]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in (x y z) around 0 0.178 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z 0.178 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in z 0.178 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.178 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.178 * [taylor]: Taking taylor expansion of y in z 0.178 * [taylor]: Taking taylor expansion of x in z 0.179 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.179 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.179 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.179 * [taylor]: Taking taylor expansion of y in z 0.179 * [taylor]: Taking taylor expansion of z in z 0.179 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y 0.179 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.179 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.179 * [taylor]: Taking taylor expansion of y in y 0.180 * [taylor]: Taking taylor expansion of x in y 0.180 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.180 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.180 * [taylor]: Taking taylor expansion of y in y 0.180 * [taylor]: Taking taylor expansion of z in y 0.180 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x 0.180 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.180 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.180 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.180 * [taylor]: Taking taylor expansion of y in x 0.180 * [taylor]: Taking taylor expansion of x in x 0.181 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.181 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.181 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.181 * [taylor]: Taking taylor expansion of y in x 0.181 * [taylor]: Taking taylor expansion of z in x 0.181 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x 0.181 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.181 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.181 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.181 * [taylor]: Taking taylor expansion of y in x 0.181 * [taylor]: Taking taylor expansion of x in x 0.182 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.182 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.182 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.182 * [taylor]: Taking taylor expansion of y in x 0.182 * [taylor]: Taking taylor expansion of z in x 0.182 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.182 * [taylor]: Taking taylor expansion of y in y 0.182 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.182 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.182 * [taylor]: Taking taylor expansion of y in z 0.185 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.185 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.185 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.185 * [taylor]: Taking taylor expansion of y in y 0.185 * [taylor]: Taking taylor expansion of z in y 0.185 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.185 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.186 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.186 * [taylor]: Taking taylor expansion of y in z 0.186 * [taylor]: Taking taylor expansion of z in z 0.186 * [taylor]: Taking taylor expansion of 0 in z 0.191 * [taylor]: Taking taylor expansion of 0 in y 0.191 * [taylor]: Taking taylor expansion of 0 in z 0.192 * [taylor]: Taking taylor expansion of 0 in z 0.192 * [taylor]: Taking taylor expansion of 0 in z 0.202 * [taylor]: Taking taylor expansion of 0 in y 0.202 * [taylor]: Taking taylor expansion of 0 in z 0.202 * [taylor]: Taking taylor expansion of 0 in z 0.202 * [taylor]: Taking taylor expansion of 0 in z 0.202 * [taylor]: Taking taylor expansion of 0 in z 0.203 * [approximate]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in (x y z) around 0 0.203 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in z 0.203 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z)) in z 0.203 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in z 0.203 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.203 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.203 * [taylor]: Taking taylor expansion of -1 in z 0.203 * [taylor]: Taking taylor expansion of y in z 0.204 * [taylor]: Taking taylor expansion of x in z 0.204 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.204 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.204 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.204 * [taylor]: Taking taylor expansion of -1 in z 0.204 * [taylor]: Taking taylor expansion of y in z 0.204 * [taylor]: Taking taylor expansion of z in z 0.204 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in y 0.204 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z)) in y 0.204 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.204 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.204 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.204 * [taylor]: Taking taylor expansion of -1 in y 0.204 * [taylor]: Taking taylor expansion of y in y 0.205 * [taylor]: Taking taylor expansion of x in y 0.205 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.205 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.205 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.205 * [taylor]: Taking taylor expansion of -1 in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.205 * [taylor]: Taking taylor expansion of z in y 0.205 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in x 0.205 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z)) in x 0.205 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.205 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.205 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.205 * [taylor]: Taking taylor expansion of -1 in x 0.205 * [taylor]: Taking taylor expansion of y in x 0.206 * [taylor]: Taking taylor expansion of x in x 0.206 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.206 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.206 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.206 * [taylor]: Taking taylor expansion of -1 in x 0.206 * [taylor]: Taking taylor expansion of y in x 0.206 * [taylor]: Taking taylor expansion of z in x 0.206 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in x 0.206 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z)) in x 0.206 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.206 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.206 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.206 * [taylor]: Taking taylor expansion of -1 in x 0.206 * [taylor]: Taking taylor expansion of y in x 0.207 * [taylor]: Taking taylor expansion of x in x 0.207 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.207 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.207 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.207 * [taylor]: Taking taylor expansion of -1 in x 0.207 * [taylor]: Taking taylor expansion of y in x 0.207 * [taylor]: Taking taylor expansion of z in x 0.207 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in y 0.207 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.208 * [taylor]: Taking taylor expansion of -1 in y 0.208 * [taylor]: Taking taylor expansion of y in y 0.208 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in z 0.208 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.208 * [taylor]: Taking taylor expansion of -1 in z 0.208 * [taylor]: Taking taylor expansion of y in z 0.211 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z)) in y 0.211 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.211 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.211 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.211 * [taylor]: Taking taylor expansion of -1 in y 0.211 * [taylor]: Taking taylor expansion of y in y 0.211 * [taylor]: Taking taylor expansion of z in y 0.211 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z)) in z 0.211 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.211 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.211 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.211 * [taylor]: Taking taylor expansion of -1 in z 0.211 * [taylor]: Taking taylor expansion of y in z 0.211 * [taylor]: Taking taylor expansion of z in z 0.212 * [taylor]: Taking taylor expansion of 0 in z 0.218 * [taylor]: Taking taylor expansion of 0 in y 0.218 * [taylor]: Taking taylor expansion of 0 in z 0.218 * [taylor]: Taking taylor expansion of 0 in z 0.219 * [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.230 * [taylor]: Taking taylor expansion of 0 in z 0.230 * [taylor]: Taking taylor expansion of 0 in z 0.230 * [taylor]: Taking taylor expansion of 0 in z 0.231 * * * [progress]: simplifying candidates 0.232 * [simplify]: Simplifying using # : (expm1 (* x (cos y))) (log1p (* x (cos 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)) (expm1 (* z (sin y))) (log1p (* z (sin 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)) (expm1 (+ (* x (cos y)) (* z (sin y)))) (log1p (+ (* x (cos y)) (* z (sin y)))) (* (exp (* x (cos y))) (exp (* z (sin y)))) (log (+ (* x (cos y)) (* z (sin y)))) (exp (+ (* x (cos y)) (* z (sin y)))) (* (cbrt (+ (* x (cos y)) (* z (sin y)))) (cbrt (+ (* x (cos y)) (* z (sin y))))) (cbrt (+ (* x (cos y)) (* z (sin y)))) (* (* (+ (* x (cos y)) (* z (sin y))) (+ (* x (cos y)) (* z (sin y)))) (+ (* x (cos y)) (* z (sin y)))) (sqrt (+ (* x (cos y)) (* z (sin y)))) (sqrt (+ (* x (cos y)) (* z (sin y)))) (+ (pow (* x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (* x (cos y)) (* x (cos y))) (- (* (* z (sin y)) (* z (sin y))) (* (* x (cos y)) (* z (sin y))))) (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y))) x (* x (cos y)) (* x (cos y)) (* z y) (* (sin y) z) (* (sin y) z) x (+ (* x (cos y)) (* (sin y) z)) (+ (* x (cos y)) (* (sin y) z)) 0.234 * * [simplify]: iteration 0 : 87 enodes (cost 494 ) 0.247 * * [simplify]: iteration 1 : 198 enodes (cost 449 ) 0.288 * * [simplify]: iteration 2 : 643 enodes (cost 417 ) 0.496 * * [simplify]: iteration 3 : 2056 enodes (cost 417 ) 1.549 * * [simplify]: iteration done : 5000 enodes (cost 417 ) 1.550 * [simplify]: Simplified to: (expm1 (* x (cos y))) (log1p (* x (cos 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)) (expm1 (* z (sin y))) (log1p (* z (sin y))) (* (sin y) z) (log (* z (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (pow (* (sin y) z) 3) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (pow (* (sin y) z) 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)) (* (sin y) z) (expm1 (fma x (cos y) (* (sin y) z))) (log1p (fma x (cos y) (* (sin y) z))) (exp (fma x (cos y) (* (sin y) z))) (log (fma x (cos y) (* (sin y) z))) (exp (fma x (cos y) (* (sin y) z))) (* (cbrt (fma x (cos y) (* (sin y) z))) (cbrt (fma x (cos y) (* (sin y) z)))) (cbrt (fma x (cos y) (* (sin y) z))) (pow (fma x (cos y) (* (sin y) z)) 3) (sqrt (fma x (cos y) (* (sin y) z))) (sqrt (fma x (cos y) (* (sin y) z))) (+ (pow (* x (cos y)) 3) (pow (* z (sin y)) 3)) (fma (* x (cos y)) (* x (cos y)) (* (* (sin y) z) (- (* (sin y) z) (* x (cos y))))) (* (fma x (cos y) (* (sin y) z)) (- (* x (cos y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y))) x (* x (cos y)) (* x (cos y)) (* z y) (* (sin y) z) (* (sin y) z) x (fma (cos y) x (* (sin y) z)) (fma (cos y) x (* (sin y) z)) 1.550 * * * [progress]: adding candidates to table 1.698 * * [progress]: iteration 2 / 4 1.698 * * * [progress]: picking best candidate 1.719 * * * * [pick]: Picked # 1.719 * * * [progress]: localizing error 1.734 * * * [progress]: generating rewritten candidates 1.734 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.735 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 1.736 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 1.736 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1.744 * * * [progress]: generating series expansions 1.744 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.745 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.745 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.745 * [taylor]: Taking taylor expansion of 1/3 in y 1.745 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.745 * [taylor]: Taking taylor expansion of (cos y) in y 1.745 * [taylor]: Taking taylor expansion of y in y 1.749 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.749 * [taylor]: Taking taylor expansion of 1/3 in y 1.750 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.750 * [taylor]: Taking taylor expansion of (cos y) in y 1.750 * [taylor]: Taking taylor expansion of y in y 1.771 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.771 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.771 * [taylor]: Taking taylor expansion of 1/3 in y 1.771 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.771 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.771 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.771 * [taylor]: Taking taylor expansion of y in y 1.772 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.772 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.772 * [taylor]: Taking taylor expansion of 1/3 in y 1.772 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.772 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.772 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.772 * [taylor]: Taking taylor expansion of y in y 1.809 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.810 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.810 * [taylor]: Taking taylor expansion of 1/3 in y 1.810 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.810 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.810 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.810 * [taylor]: Taking taylor expansion of -1 in y 1.810 * [taylor]: Taking taylor expansion of y in y 1.810 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.810 * [taylor]: Taking taylor expansion of 1/3 in y 1.810 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.810 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.810 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.810 * [taylor]: Taking taylor expansion of -1 in y 1.810 * [taylor]: Taking taylor expansion of y in y 1.844 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 1.844 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.844 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.844 * [taylor]: Taking taylor expansion of 1/3 in y 1.844 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.844 * [taylor]: Taking taylor expansion of (cos y) in y 1.844 * [taylor]: Taking taylor expansion of y in y 1.848 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.848 * [taylor]: Taking taylor expansion of 1/3 in y 1.848 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.848 * [taylor]: Taking taylor expansion of (cos y) in y 1.848 * [taylor]: Taking taylor expansion of y in y 1.870 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.870 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.870 * [taylor]: Taking taylor expansion of 1/3 in y 1.870 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.870 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.870 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.870 * [taylor]: Taking taylor expansion of y in y 1.870 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.871 * [taylor]: Taking taylor expansion of 1/3 in y 1.871 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.871 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.871 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.871 * [taylor]: Taking taylor expansion of y in y 1.910 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.911 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.911 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.911 * [taylor]: Taking taylor expansion of 1/3 in y 1.911 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.911 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.911 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.911 * [taylor]: Taking taylor expansion of -1 in y 1.911 * [taylor]: Taking taylor expansion of y in y 1.911 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.911 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.911 * [taylor]: Taking taylor expansion of 1/3 in y 1.911 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.911 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.911 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.911 * [taylor]: Taking taylor expansion of -1 in y 1.911 * [taylor]: Taking taylor expansion of y in y 1.944 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 1.944 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.944 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.945 * [taylor]: Taking taylor expansion of 1/3 in y 1.945 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.945 * [taylor]: Taking taylor expansion of (cos y) in y 1.945 * [taylor]: Taking taylor expansion of y in y 1.949 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.949 * [taylor]: Taking taylor expansion of 1/3 in y 1.949 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.949 * [taylor]: Taking taylor expansion of (cos y) in y 1.949 * [taylor]: Taking taylor expansion of y in y 1.971 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.971 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.971 * [taylor]: Taking taylor expansion of 1/3 in y 1.971 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.971 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.971 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.971 * [taylor]: Taking taylor expansion of y in y 1.971 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.972 * [taylor]: Taking taylor expansion of 1/3 in y 1.972 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.972 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.972 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.972 * [taylor]: Taking taylor expansion of y in y 2.010 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 2.011 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.011 * [taylor]: Taking taylor expansion of 1/3 in y 2.011 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.011 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.011 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.011 * [taylor]: Taking taylor expansion of -1 in y 2.011 * [taylor]: Taking taylor expansion of y in y 2.011 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.011 * [taylor]: Taking taylor expansion of 1/3 in y 2.011 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.011 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.011 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.011 * [taylor]: Taking taylor expansion of -1 in y 2.011 * [taylor]: Taking taylor expansion of y in y 2.044 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 2.044 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 2.044 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.044 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.044 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.044 * [taylor]: Taking taylor expansion of 1/3 in y 2.044 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.044 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.044 * [taylor]: Taking taylor expansion of (cos y) in y 2.044 * [taylor]: Taking taylor expansion of y in y 2.050 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.050 * [taylor]: Taking taylor expansion of 1/3 in y 2.050 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.050 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.050 * [taylor]: Taking taylor expansion of (cos y) in y 2.050 * [taylor]: Taking taylor expansion of y in y 2.119 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 2.119 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.119 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.119 * [taylor]: Taking taylor expansion of 1/3 in y 2.119 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.119 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.119 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.119 * [taylor]: Taking taylor expansion of y in y 2.120 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.120 * [taylor]: Taking taylor expansion of 1/3 in y 2.120 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.120 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.120 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.120 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.120 * [taylor]: Taking taylor expansion of y in y 2.165 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 2.165 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.165 * [taylor]: Taking taylor expansion of 1/3 in y 2.165 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.165 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.165 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.165 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.165 * [taylor]: Taking taylor expansion of -1 in y 2.165 * [taylor]: Taking taylor expansion of y in y 2.166 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.166 * [taylor]: Taking taylor expansion of 1/3 in y 2.166 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.166 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.166 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.166 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.166 * [taylor]: Taking taylor expansion of -1 in y 2.166 * [taylor]: Taking taylor expansion of y in y 2.205 * * * [progress]: simplifying candidates 2.207 * [simplify]: Simplifying using # : (expm1 (cbrt (cos y))) (log1p (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))) (expm1 (cbrt (cos y))) (log1p (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))) (expm1 (cbrt (cos y))) (log1p (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))) (expm1 (* (cbrt (cos y)) (cbrt (cos y)))) (log1p (* (cbrt (cos y)) (cbrt (cos y)))) (+ 1/3 1/3) (+ 1 1) (* (cos y) (cos y)) (* (cbrt (cos y)) (cbrt (cos y))) (+ 1 1) (+ (log (cbrt (cos y))) (log (cbrt (cos y)))) (log (* (cbrt (cos y)) (cbrt (cos y)))) (exp (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (cos y)) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (cos y)) (cbrt (cos y))) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 1 1) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 2 1/3) (* 2 1) (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* (cbrt (cos y)) (cbrt 1)) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (* (cbrt (cos y)) 1) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (sqrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (- 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) 2.210 * * [simplify]: iteration 0 : 68 enodes (cost 726 ) 2.228 * * [simplify]: iteration 1 : 131 enodes (cost 655 ) 2.268 * * [simplify]: iteration 2 : 486 enodes (cost 551 ) 2.534 * * [simplify]: iteration 3 : 2287 enodes (cost 529 ) 3.985 * * [simplify]: iteration done : 5000 enodes (cost 529 ) 3.986 * [simplify]: Simplified to: (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (pow (cos y) 2/3)) (log1p (pow (cos y) 2/3)) 2/3 2 (pow (cos y) 2) (pow (cos y) 2/3) 2 (log (pow (cos y) 2/3)) (log (pow (cos y) 2/3)) (exp (pow (cos y) 2/3)) (pow (cos y) 2) (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3))) (cbrt (pow (cos y) 2/3)) (pow (cos y) 2) (fabs (cbrt (cos y))) (fabs (cbrt (cos y))) (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3))) (* (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)))) (cbrt (cos y)) (cbrt (cos y)) 1 (pow (cos y) 2/3) (* (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))) (cbrt (sqrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 2/3 2 (* (cbrt (pow (cos y) 2/3)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (cbrt (cos y)) (* (pow (cbrt (cbrt (cos y))) 4) (cbrt (cbrt (cos y)))) (pow (sqrt (cbrt (cos y))) 3) (cbrt (cos y)) (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 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6)))) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)) 3.987 * * * [progress]: adding candidates to table 4.238 * * [progress]: iteration 3 / 4 4.238 * * * [progress]: picking best candidate 4.261 * * * * [pick]: Picked # 4.261 * * * [progress]: localizing error 4.275 * * * [progress]: generating rewritten candidates 4.275 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 4.277 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 4.277 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 4.279 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 4.297 * * * [progress]: generating series expansions 4.297 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 4.297 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 4.297 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 4.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 4.297 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 4.297 * [taylor]: Taking taylor expansion of 1/3 in y 4.297 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 4.297 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 4.297 * [taylor]: Taking taylor expansion of (cos y) in y 4.297 * [taylor]: Taking taylor expansion of y in y 4.303 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 4.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 4.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 4.303 * [taylor]: Taking taylor expansion of 1/3 in y 4.303 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 4.303 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 4.303 * [taylor]: Taking taylor expansion of (cos y) in y 4.303 * [taylor]: Taking taylor expansion of y in y 4.375 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 4.375 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 4.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 4.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 4.375 * [taylor]: Taking taylor expansion of 1/3 in y 4.375 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 4.375 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 4.375 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.375 * [taylor]: Taking taylor expansion of y in y 4.376 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 4.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 4.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 4.376 * [taylor]: Taking taylor expansion of 1/3 in y 4.376 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 4.376 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 4.376 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.376 * [taylor]: Taking taylor expansion of y in y 4.416 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 4.416 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 4.416 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 4.416 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 4.416 * [taylor]: Taking taylor expansion of 1/3 in y 4.416 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 4.416 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 4.416 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.416 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.416 * [taylor]: Taking taylor expansion of -1 in y 4.416 * [taylor]: Taking taylor expansion of y in y 4.417 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 4.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 4.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 4.417 * [taylor]: Taking taylor expansion of 1/3 in y 4.417 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 4.417 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 4.417 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.417 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.417 * [taylor]: Taking taylor expansion of -1 in y 4.417 * [taylor]: Taking taylor expansion of y in y 4.464 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 4.464 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 4.464 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.464 * [taylor]: Taking taylor expansion of 1/3 in y 4.464 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.464 * [taylor]: Taking taylor expansion of (cos y) in y 4.464 * [taylor]: Taking taylor expansion of y in y 4.469 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.469 * [taylor]: Taking taylor expansion of 1/3 in y 4.469 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.469 * [taylor]: Taking taylor expansion of (cos y) in y 4.469 * [taylor]: Taking taylor expansion of y in y 4.491 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 4.491 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.491 * [taylor]: Taking taylor expansion of 1/3 in y 4.491 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.491 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.492 * [taylor]: Taking taylor expansion of y in y 4.492 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.492 * [taylor]: Taking taylor expansion of 1/3 in y 4.492 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.492 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.492 * [taylor]: Taking taylor expansion of y in y 4.526 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 4.526 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.526 * [taylor]: Taking taylor expansion of 1/3 in y 4.526 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.526 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.526 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.526 * [taylor]: Taking taylor expansion of -1 in y 4.527 * [taylor]: Taking taylor expansion of y in y 4.528 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.528 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.528 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.528 * [taylor]: Taking taylor expansion of 1/3 in y 4.528 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.528 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.528 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.528 * [taylor]: Taking taylor expansion of -1 in y 4.528 * [taylor]: Taking taylor expansion of y in y 4.568 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 4.568 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 4.568 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 4.568 * [taylor]: Taking taylor expansion of (cos y) in y 4.568 * [taylor]: Taking taylor expansion of y in y 4.568 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 4.568 * [taylor]: Taking taylor expansion of (cos y) in y 4.568 * [taylor]: Taking taylor expansion of y in y 4.574 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 4.574 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 4.574 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.575 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.575 * [taylor]: Taking taylor expansion of y in y 4.575 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 4.575 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.575 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.575 * [taylor]: Taking taylor expansion of y in y 4.580 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 4.580 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 4.580 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.580 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.580 * [taylor]: Taking taylor expansion of -1 in y 4.580 * [taylor]: Taking taylor expansion of y in y 4.581 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 4.581 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.581 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.581 * [taylor]: Taking taylor expansion of -1 in y 4.581 * [taylor]: Taking taylor expansion of y in y 4.586 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 4.586 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0 4.586 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 4.586 * [taylor]: Taking taylor expansion of x in y 4.586 * [taylor]: Taking taylor expansion of (cos y) in y 4.586 * [taylor]: Taking taylor expansion of y in y 4.586 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 4.586 * [taylor]: Taking taylor expansion of x in x 4.586 * [taylor]: Taking taylor expansion of (cos y) in x 4.586 * [taylor]: Taking taylor expansion of y in x 4.586 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 4.586 * [taylor]: Taking taylor expansion of x in x 4.586 * [taylor]: Taking taylor expansion of (cos y) in x 4.586 * [taylor]: Taking taylor expansion of y in x 4.587 * [taylor]: Taking taylor expansion of 0 in y 4.589 * [taylor]: Taking taylor expansion of (cos y) in y 4.589 * [taylor]: Taking taylor expansion of y in y 4.591 * [taylor]: Taking taylor expansion of 0 in y 4.595 * [taylor]: Taking taylor expansion of 0 in y 4.596 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 4.596 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 4.596 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.596 * [taylor]: Taking taylor expansion of y in y 4.596 * [taylor]: Taking taylor expansion of x in y 4.596 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 4.596 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.596 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.596 * [taylor]: Taking taylor expansion of y in x 4.596 * [taylor]: Taking taylor expansion of x in x 4.597 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 4.597 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 4.597 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.597 * [taylor]: Taking taylor expansion of y in x 4.597 * [taylor]: Taking taylor expansion of x in x 4.597 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.597 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.597 * [taylor]: Taking taylor expansion of y in y 4.600 * [taylor]: Taking taylor expansion of 0 in y 4.603 * [taylor]: Taking taylor expansion of 0 in y 4.607 * [taylor]: Taking taylor expansion of 0 in y 4.608 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 4.608 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 4.608 * [taylor]: Taking taylor expansion of -1 in y 4.608 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 4.608 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.608 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.608 * [taylor]: Taking taylor expansion of -1 in y 4.608 * [taylor]: Taking taylor expansion of y in y 4.608 * [taylor]: Taking taylor expansion of x in y 4.608 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 4.608 * [taylor]: Taking taylor expansion of -1 in x 4.608 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 4.609 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.609 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.609 * [taylor]: Taking taylor expansion of -1 in x 4.609 * [taylor]: Taking taylor expansion of y in x 4.609 * [taylor]: Taking taylor expansion of x in x 4.609 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 4.609 * [taylor]: Taking taylor expansion of -1 in x 4.609 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 4.609 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 4.609 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.609 * [taylor]: Taking taylor expansion of -1 in x 4.609 * [taylor]: Taking taylor expansion of y in x 4.609 * [taylor]: Taking taylor expansion of x in x 4.610 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 4.610 * [taylor]: Taking taylor expansion of -1 in y 4.610 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.610 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.610 * [taylor]: Taking taylor expansion of -1 in y 4.610 * [taylor]: Taking taylor expansion of y in y 4.613 * [taylor]: Taking taylor expansion of 0 in y 4.617 * [taylor]: Taking taylor expansion of 0 in y 4.623 * [taylor]: Taking taylor expansion of 0 in y 4.623 * * * [progress]: simplifying candidates 4.624 * [simplify]: Simplifying using # : (expm1 (cbrt (pow (cos y) 2))) (log1p (cbrt (pow (cos y) 2))) (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))) (expm1 (cbrt (cos y))) (log1p (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))) (expm1 (pow (cos y) 2)) (log1p (pow (cos y) 2)) (* (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)) (expm1 (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (log1p (* (* 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))) (+ (+ (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 (cbrt (pow (cos y) 2))) (* x (cbrt (pow (cos y) 2)))) (* x (cbrt (pow (cos y) 2)))) (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)))) (* (* 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))) (- 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)) 4.634 * * [simplify]: iteration 0 : 112 enodes (cost 763 ) 4.655 * * [simplify]: iteration 1 : 250 enodes (cost 706 ) 4.725 * * [simplify]: iteration 2 : 1026 enodes (cost 610 ) 5.184 * * [simplify]: iteration done : 5001 enodes (cost 607 ) 5.185 * [simplify]: Simplified to: (expm1 (cbrt (pow (cos y) 2))) (log1p (cbrt (pow (cos y) 2))) (* 2/3 (log (cos y))) (exp (cbrt (pow (cos y) 2))) (cbrt (pow (cbrt (cos y)) 4)) (cbrt (pow (cos y) 2/3)) (cbrt (cos y)) (cbrt (cos y)) 1 (cbrt (pow (cos y) 2)) (cbrt (cos y)) (cbrt (cos y)) (cbrt (pow (pow (cos y) 2) 2/3)) (cbrt (cbrt (pow (cos y) 2))) (cbrt (fabs (cos y))) (cbrt (fabs (cos y))) 1 (cbrt (pow (cos y) 2)) (cbrt (cos y)) (cbrt (cos y)) (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))) (pow (cbrt (pow (cos y) 2)) 3) (sqrt (cbrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (pow (cbrt (cos y)) 3) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (pow (cos y) 2)) (log1p (pow (cos y) 2)) (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 (cbrt (cos y)) 4) (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) (cbrt (pow (cos y) 2)) (pow (cos y) 6) (fabs (cos y)) (fabs (cos y)) (cos y) (cos y) (expm1 (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (log1p (* (* 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))) (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 x 3) (pow (cos y) 3)) (* (pow (* x (cbrt (pow (cos y) 2))) 3) (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)))) (pow (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) 3) (sqrt (* (* 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 (pow (cos y) 2/3)))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y)))) (* (cbrt (pow (cos y) 2)) x) (* (* x (cbrt (pow (cos y) 2))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* x (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y)))) (* (cbrt (pow (cos y) 2)) x) (* (cbrt (pow (cos y) 2)) (cbrt (cos y))) (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6)))) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- (fma 1/3 (pow y 4) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) x (* x (cos y)) (* x (cos y)) 5.185 * * * [progress]: adding candidates to table 5.445 * * [progress]: iteration 4 / 4 5.445 * * * [progress]: picking best candidate 5.472 * * * * [pick]: Picked # 5.472 * * * [progress]: localizing error 5.494 * * * [progress]: generating rewritten candidates 5.495 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1) 5.496 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 5.496 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1) 5.498 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 5.499 * * * [progress]: generating series expansions 5.499 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1) 5.499 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 5.499 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 5.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 5.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 5.499 * [taylor]: Taking taylor expansion of 1/3 in y 5.499 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 5.499 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 5.499 * [taylor]: Taking taylor expansion of (cos y) in y 5.499 * [taylor]: Taking taylor expansion of y in y 5.505 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 5.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 5.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 5.506 * [taylor]: Taking taylor expansion of 1/3 in y 5.506 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 5.506 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 5.506 * [taylor]: Taking taylor expansion of (cos y) in y 5.506 * [taylor]: Taking taylor expansion of y in y 5.577 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 5.577 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 5.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 5.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 5.577 * [taylor]: Taking taylor expansion of 1/3 in y 5.577 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 5.577 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 5.577 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.578 * [taylor]: Taking taylor expansion of y in y 5.578 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 5.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 5.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 5.578 * [taylor]: Taking taylor expansion of 1/3 in y 5.578 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 5.578 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 5.578 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.578 * [taylor]: Taking taylor expansion of y in y 5.618 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 5.618 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 5.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 5.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 5.618 * [taylor]: Taking taylor expansion of 1/3 in y 5.619 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 5.619 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 5.619 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.619 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.619 * [taylor]: Taking taylor expansion of -1 in y 5.619 * [taylor]: Taking taylor expansion of y in y 5.619 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 5.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 5.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 5.619 * [taylor]: Taking taylor expansion of 1/3 in y 5.619 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 5.619 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 5.620 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.620 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.620 * [taylor]: Taking taylor expansion of -1 in y 5.620 * [taylor]: Taking taylor expansion of y in y 5.665 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 5.665 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 5.665 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 5.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 5.665 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 5.665 * [taylor]: Taking taylor expansion of 1/3 in y 5.665 * [taylor]: Taking taylor expansion of (log (cos y)) in y 5.665 * [taylor]: Taking taylor expansion of (cos y) in y 5.665 * [taylor]: Taking taylor expansion of y in y 5.670 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 5.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 5.670 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 5.670 * [taylor]: Taking taylor expansion of 1/3 in y 5.670 * [taylor]: Taking taylor expansion of (log (cos y)) in y 5.670 * [taylor]: Taking taylor expansion of (cos y) in y 5.670 * [taylor]: Taking taylor expansion of y in y 5.691 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 5.691 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 5.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 5.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 5.692 * [taylor]: Taking taylor expansion of 1/3 in y 5.692 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 5.692 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.692 * [taylor]: Taking taylor expansion of y in y 5.692 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 5.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 5.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 5.692 * [taylor]: Taking taylor expansion of 1/3 in y 5.692 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 5.692 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.692 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.692 * [taylor]: Taking taylor expansion of y in y 5.727 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 5.727 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 5.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 5.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 5.727 * [taylor]: Taking taylor expansion of 1/3 in y 5.727 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 5.727 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.727 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.727 * [taylor]: Taking taylor expansion of -1 in y 5.727 * [taylor]: Taking taylor expansion of y in y 5.728 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 5.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 5.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 5.728 * [taylor]: Taking taylor expansion of 1/3 in y 5.728 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 5.728 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.728 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.728 * [taylor]: Taking taylor expansion of -1 in y 5.728 * [taylor]: Taking taylor expansion of y in y 5.768 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1) 5.768 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 5.769 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 5.769 * [taylor]: Taking taylor expansion of (cos y) in y 5.769 * [taylor]: Taking taylor expansion of y in y 5.769 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 5.769 * [taylor]: Taking taylor expansion of (cos y) in y 5.769 * [taylor]: Taking taylor expansion of y in y 5.775 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 5.775 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 5.775 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.775 * [taylor]: Taking taylor expansion of y in y 5.775 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 5.775 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.775 * [taylor]: Taking taylor expansion of y in y 5.780 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 5.780 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 5.780 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.780 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.780 * [taylor]: Taking taylor expansion of -1 in y 5.780 * [taylor]: Taking taylor expansion of y in y 5.780 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 5.780 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.781 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.781 * [taylor]: Taking taylor expansion of -1 in y 5.781 * [taylor]: Taking taylor expansion of y in y 5.785 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 5.785 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos y) 2) 1/3))) in (y) around 0 5.785 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos y) 2) 1/3))) in y 5.786 * [taylor]: Rewrote expression to (- (exp (log1p (pow (pow (cos y) 2) 1/3))) 1) 5.786 * [taylor]: Taking taylor expansion of (exp (log1p (pow (pow (cos y) 2) 1/3))) in y 5.786 * [taylor]: Taking taylor expansion of (log1p (pow (pow (cos y) 2) 1/3)) in y 5.786 * [taylor]: Rewrote expression to (log (+ 1 (pow (pow (cos y) 2) 1/3))) 5.786 * [taylor]: Taking taylor expansion of (+ 1 (pow (pow (cos y) 2) 1/3)) in y 5.786 * [taylor]: Taking taylor expansion of 1 in y 5.786 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 5.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 5.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 5.786 * [taylor]: Taking taylor expansion of 1/3 in y 5.786 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 5.786 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 5.786 * [taylor]: Taking taylor expansion of (cos y) in y 5.786 * [taylor]: Taking taylor expansion of y in y 5.792 * [taylor]: Taking taylor expansion of 1 in y 5.792 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos y) 2) 1/3))) in y 5.792 * [taylor]: Rewrote expression to (- (exp (log1p (pow (pow (cos y) 2) 1/3))) 1) 5.792 * [taylor]: Taking taylor expansion of (exp (log1p (pow (pow (cos y) 2) 1/3))) in y 5.793 * [taylor]: Taking taylor expansion of (log1p (pow (pow (cos y) 2) 1/3)) in y 5.793 * [taylor]: Rewrote expression to (log (+ 1 (pow (pow (cos y) 2) 1/3))) 5.793 * [taylor]: Taking taylor expansion of (+ 1 (pow (pow (cos y) 2) 1/3)) in y 5.793 * [taylor]: Taking taylor expansion of 1 in y 5.793 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 5.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 5.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 5.793 * [taylor]: Taking taylor expansion of 1/3 in y 5.793 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 5.793 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 5.793 * [taylor]: Taking taylor expansion of (cos y) in y 5.793 * [taylor]: Taking taylor expansion of y in y 5.799 * [taylor]: Taking taylor expansion of 1 in y 5.934 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) in (y) around 0 5.934 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) in y 5.934 * [taylor]: Rewrote expression to (- (exp (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) 1) 5.934 * [taylor]: Taking taylor expansion of (exp (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) in y 5.934 * [taylor]: Taking taylor expansion of (log1p (pow (pow (cos (/ 1 y)) 2) 1/3)) in y 5.934 * [taylor]: Rewrote expression to (log (+ 1 (pow (pow (cos (/ 1 y)) 2) 1/3))) 5.934 * [taylor]: Taking taylor expansion of (+ 1 (pow (pow (cos (/ 1 y)) 2) 1/3)) in y 5.934 * [taylor]: Taking taylor expansion of 1 in y 5.934 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 5.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 5.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 5.934 * [taylor]: Taking taylor expansion of 1/3 in y 5.934 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 5.934 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 5.934 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.934 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.934 * [taylor]: Taking taylor expansion of y in y 5.935 * [taylor]: Taking taylor expansion of 1 in y 5.935 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) in y 5.935 * [taylor]: Rewrote expression to (- (exp (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) 1) 5.935 * [taylor]: Taking taylor expansion of (exp (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) in y 5.935 * [taylor]: Taking taylor expansion of (log1p (pow (pow (cos (/ 1 y)) 2) 1/3)) in y 5.935 * [taylor]: Rewrote expression to (log (+ 1 (pow (pow (cos (/ 1 y)) 2) 1/3))) 5.935 * [taylor]: Taking taylor expansion of (+ 1 (pow (pow (cos (/ 1 y)) 2) 1/3)) in y 5.935 * [taylor]: Taking taylor expansion of 1 in y 5.935 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 5.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 5.936 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 5.936 * [taylor]: Taking taylor expansion of 1/3 in y 5.936 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 5.936 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 5.936 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.936 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.936 * [taylor]: Taking taylor expansion of y in y 5.937 * [taylor]: Taking taylor expansion of 1 in y 6.017 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) in (y) around 0 6.017 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) in y 6.017 * [taylor]: Rewrote expression to (- (exp (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) 1) 6.017 * [taylor]: Taking taylor expansion of (exp (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) in y 6.017 * [taylor]: Taking taylor expansion of (log1p (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 6.017 * [taylor]: Rewrote expression to (log (+ 1 (pow (pow (cos (/ -1 y)) 2) 1/3))) 6.017 * [taylor]: Taking taylor expansion of (+ 1 (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 6.017 * [taylor]: Taking taylor expansion of 1 in y 6.017 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 6.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 6.017 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 6.017 * [taylor]: Taking taylor expansion of 1/3 in y 6.017 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 6.017 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 6.017 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.017 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.017 * [taylor]: Taking taylor expansion of -1 in y 6.017 * [taylor]: Taking taylor expansion of y in y 6.019 * [taylor]: Taking taylor expansion of 1 in y 6.019 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) in y 6.019 * [taylor]: Rewrote expression to (- (exp (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) 1) 6.019 * [taylor]: Taking taylor expansion of (exp (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) in y 6.019 * [taylor]: Taking taylor expansion of (log1p (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 6.019 * [taylor]: Rewrote expression to (log (+ 1 (pow (pow (cos (/ -1 y)) 2) 1/3))) 6.019 * [taylor]: Taking taylor expansion of (+ 1 (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 6.019 * [taylor]: Taking taylor expansion of 1 in y 6.019 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 6.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 6.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 6.019 * [taylor]: Taking taylor expansion of 1/3 in y 6.019 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 6.019 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 6.019 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.019 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.019 * [taylor]: Taking taylor expansion of -1 in y 6.019 * [taylor]: Taking taylor expansion of y in y 6.020 * [taylor]: Taking taylor expansion of 1 in y 6.101 * * * [progress]: simplifying candidates 6.102 * [simplify]: Simplifying using # : (expm1 (cbrt (pow (cos y) 2))) (log1p (cbrt (pow (cos y) 2))) (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))) (expm1 (cbrt (cos y))) (log1p (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))) (expm1 (pow (cos y) 2)) (log1p (pow (cos y) 2)) (* (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)) (exp (log1p (cbrt (pow (cos y) 2)))) (expm1 (expm1 (log1p (cbrt (pow (cos y) 2))))) (log1p (expm1 (log1p (cbrt (pow (cos y) 2))))) (log (expm1 (log1p (cbrt (pow (cos y) 2))))) (exp (expm1 (log1p (cbrt (pow (cos y) 2))))) (* (cbrt (expm1 (log1p (cbrt (pow (cos y) 2))))) (cbrt (expm1 (log1p (cbrt (pow (cos y) 2)))))) (cbrt (expm1 (log1p (cbrt (pow (cos y) 2))))) (* (* (expm1 (log1p (cbrt (pow (cos y) 2)))) (expm1 (log1p (cbrt (pow (cos y) 2))))) (expm1 (log1p (cbrt (pow (cos y) 2))))) (sqrt (expm1 (log1p (cbrt (pow (cos y) 2))))) (sqrt (expm1 (log1p (cbrt (pow (cos y) 2))))) (- 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) (- 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) 6.105 * * [simplify]: iteration 0 : 91 enodes (cost 565 ) 6.121 * * [simplify]: iteration 1 : 168 enodes (cost 491 ) 6.168 * * [simplify]: iteration 2 : 515 enodes (cost 427 ) 6.411 * * [simplify]: iteration 3 : 1685 enodes (cost 414 ) 7.583 * * [simplify]: iteration done : 5000 enodes (cost 414 ) 7.584 * [simplify]: Simplified to: (expm1 (cbrt (pow (cos y) 2))) (log1p (cbrt (pow (cos y) 2))) (* 2/3 (log (cos y))) (exp (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 4/3)) (cbrt (pow (cos y) 2/3)) (cbrt (cos y)) (cbrt (cos y)) 1 (cbrt (pow (cos y) 2)) (cbrt (cos y)) (cbrt (cos y)) (cbrt (pow (pow (cos y) 2) 2/3)) (cbrt (cbrt (pow (cos y) 2))) (cbrt (fabs (cos y))) (cbrt (fabs (cos y))) 1 (cbrt (pow (cos y) 2)) (cbrt (cos y)) (cbrt (cos y)) (* (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))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (pow (cos y) 2)) (log1p (pow (cos y) 2)) (* 2 (log (cos y))) (* 2 (log (cos y))) 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) (* 2 (log (cos y))) (exp (pow (cos y) 2)) (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2)) (pow (pow (cos y) 2) 3) (fabs (cos y)) (fabs (cos y)) (cos y) (cos y) (exp (log1p (cbrt (pow (cos y) 2)))) (expm1 (cbrt (pow (cos y) 2))) (log1p (cbrt (pow (cos y) 2))) (* 2/3 (log (cos y))) (exp (cbrt (pow (cos y) 2))) (* (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))) (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6)))) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- (fma 1/3 (pow y 4) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6)))) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)) 7.584 * * * [progress]: adding candidates to table 7.827 * [progress]: [Phase 3 of 3] Extracting. 7.827 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 7.829 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 7.829 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # #) 7.876 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # #) 7.922 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 7.968 * * * [regime]: Found split indices: #