3.463 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.051 * * * [progress]: [2/2] Setting up program. 0.053 * [progress]: [Phase 2 of 3] Improving. 0.053 * [simplify]: Simplifying using # : (+ (* x (cos y)) (* z (sin y))) 0.056 * * [simplify]: iteration 0 : 12 enodes (cost 4 ) 0.057 * * [simplify]: iteration 1 : 15 enodes (cost 4 ) 0.058 * * [simplify]: iteration 2 : 15 enodes (cost 4 ) 0.058 * [simplify]: Simplified to: (fma x (cos y) (* z (sin y))) 0.062 * * [progress]: iteration 1 / 4 0.062 * * * [progress]: picking best candidate 0.064 * * * * [pick]: Picked # 0.064 * * * [progress]: localizing error 0.073 * * * [progress]: generating rewritten candidates 0.073 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.078 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.082 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.096 * * * [progress]: generating series expansions 0.096 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.097 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 0.097 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.097 * [taylor]: Taking taylor expansion of (sin y) in y 0.097 * [taylor]: Taking taylor expansion of y in y 0.097 * [taylor]: Taking taylor expansion of z in y 0.097 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.097 * [taylor]: Taking taylor expansion of (sin y) in z 0.097 * [taylor]: Taking taylor expansion of y in z 0.097 * [taylor]: Taking taylor expansion of z in z 0.097 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.097 * [taylor]: Taking taylor expansion of (sin y) in z 0.097 * [taylor]: Taking taylor expansion of y in z 0.097 * [taylor]: Taking taylor expansion of z in z 0.097 * [taylor]: Taking taylor expansion of 0 in y 0.099 * [taylor]: Taking taylor expansion of (sin y) in y 0.099 * [taylor]: Taking taylor expansion of y in y 0.101 * [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.109 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.109 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.109 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.109 * [taylor]: Taking taylor expansion of y in y 0.109 * [taylor]: Taking taylor expansion of z in y 0.109 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.109 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.109 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.109 * [taylor]: Taking taylor expansion of y in z 0.110 * [taylor]: Taking taylor expansion of z in z 0.110 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.110 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.110 * [taylor]: Taking taylor expansion of y in z 0.110 * [taylor]: Taking taylor expansion of z in z 0.110 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.110 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.110 * [taylor]: Taking taylor expansion of y in y 0.117 * [taylor]: Taking taylor expansion of 0 in y 0.120 * [taylor]: Taking taylor expansion of 0 in y 0.124 * [taylor]: Taking taylor expansion of 0 in y 0.125 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.125 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.125 * [taylor]: Taking taylor expansion of -1 in y 0.125 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.125 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.125 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.125 * [taylor]: Taking taylor expansion of -1 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 (* -1 (/ (sin (/ -1 y)) z)) in z 0.125 * [taylor]: Taking taylor expansion of -1 in z 0.125 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.125 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.125 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.125 * [taylor]: Taking taylor expansion of -1 in z 0.125 * [taylor]: Taking taylor expansion of y in z 0.125 * [taylor]: Taking taylor expansion of z in z 0.126 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.126 * [taylor]: Taking taylor expansion of -1 in z 0.126 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.126 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.126 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.126 * [taylor]: Taking taylor expansion of -1 in z 0.126 * [taylor]: Taking taylor expansion of y in z 0.126 * [taylor]: Taking taylor expansion of z in z 0.126 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.126 * [taylor]: Taking taylor expansion of -1 in y 0.126 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.126 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.126 * [taylor]: Taking taylor expansion of -1 in y 0.126 * [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.138 * [taylor]: Taking taylor expansion of 0 in y 0.138 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.138 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0 0.138 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 0.138 * [taylor]: Taking taylor expansion of x in y 0.138 * [taylor]: Taking taylor expansion of (cos y) in y 0.138 * [taylor]: Taking taylor expansion of y in y 0.138 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.138 * [taylor]: Taking taylor expansion of x in x 0.138 * [taylor]: Taking taylor expansion of (cos y) in x 0.138 * [taylor]: Taking taylor expansion of y in x 0.138 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.138 * [taylor]: Taking taylor expansion of x in x 0.138 * [taylor]: Taking taylor expansion of (cos y) in x 0.138 * [taylor]: Taking taylor expansion of y in x 0.139 * [taylor]: Taking taylor expansion of 0 in y 0.141 * [taylor]: Taking taylor expansion of (cos y) in y 0.141 * [taylor]: Taking taylor expansion of y in y 0.143 * [taylor]: Taking taylor expansion of 0 in y 0.147 * [taylor]: Taking taylor expansion of 0 in y 0.147 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 0.147 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.147 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.147 * [taylor]: Taking taylor expansion of y in y 0.148 * [taylor]: Taking taylor expansion of x in y 0.148 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.148 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.148 * [taylor]: Taking taylor expansion of y in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.148 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.148 * [taylor]: Taking taylor expansion of y in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.149 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.149 * [taylor]: Taking taylor expansion of y in y 0.152 * [taylor]: Taking taylor expansion of 0 in y 0.155 * [taylor]: Taking taylor expansion of 0 in y 0.158 * [taylor]: Taking taylor expansion of 0 in y 0.159 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 0.159 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 0.159 * [taylor]: Taking taylor expansion of -1 in y 0.159 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.159 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.159 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.159 * [taylor]: Taking taylor expansion of -1 in y 0.159 * [taylor]: Taking taylor expansion of y in y 0.159 * [taylor]: Taking taylor expansion of x in y 0.159 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.159 * [taylor]: Taking taylor expansion of -1 in x 0.159 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.159 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.159 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.159 * [taylor]: Taking taylor expansion of -1 in x 0.159 * [taylor]: Taking taylor expansion of y in x 0.159 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.160 * [taylor]: Taking taylor expansion of -1 in x 0.160 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.160 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.160 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.160 * [taylor]: Taking taylor expansion of -1 in x 0.160 * [taylor]: Taking taylor expansion of y in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.161 * [taylor]: Taking taylor expansion of -1 in y 0.161 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.161 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.161 * [taylor]: Taking taylor expansion of -1 in y 0.161 * [taylor]: Taking taylor expansion of y in y 0.164 * [taylor]: Taking taylor expansion of 0 in y 0.168 * [taylor]: Taking taylor expansion of 0 in y 0.173 * [taylor]: Taking taylor expansion of 0 in y 0.173 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.173 * [approximate]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in (x y z) around 0 0.173 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in z 0.173 * [taylor]: Taking taylor expansion of (* x (cos y)) in z 0.173 * [taylor]: Taking taylor expansion of x in z 0.173 * [taylor]: Taking taylor expansion of (cos y) in z 0.173 * [taylor]: Taking taylor expansion of y in z 0.173 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.174 * [taylor]: Taking taylor expansion of (sin y) in z 0.174 * [taylor]: Taking taylor expansion of y in z 0.174 * [taylor]: Taking taylor expansion of z in z 0.174 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in y 0.174 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 0.174 * [taylor]: Taking taylor expansion of x in y 0.174 * [taylor]: Taking taylor expansion of (cos y) in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.174 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.174 * [taylor]: Taking taylor expansion of (sin y) in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.174 * [taylor]: Taking taylor expansion of z in y 0.174 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in x 0.174 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.174 * [taylor]: Taking taylor expansion of x in x 0.174 * [taylor]: Taking taylor expansion of (cos y) in x 0.174 * [taylor]: Taking taylor expansion of y in x 0.174 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.174 * [taylor]: Taking taylor expansion of (sin y) in x 0.174 * [taylor]: Taking taylor expansion of y in x 0.174 * [taylor]: Taking taylor expansion of z in x 0.174 * [taylor]: Taking taylor expansion of (+ (* x (cos y)) (* (sin y) z)) in x 0.174 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.174 * [taylor]: Taking taylor expansion of x in x 0.174 * [taylor]: Taking taylor expansion of (cos y) in x 0.174 * [taylor]: Taking taylor expansion of y in x 0.174 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.174 * [taylor]: Taking taylor expansion of (sin y) in x 0.174 * [taylor]: Taking taylor expansion of y in x 0.174 * [taylor]: Taking taylor expansion of z in x 0.175 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.175 * [taylor]: Taking taylor expansion of (sin y) in y 0.175 * [taylor]: Taking taylor expansion of y in y 0.175 * [taylor]: Taking taylor expansion of z in y 0.175 * [taylor]: Taking taylor expansion of 0 in z 0.178 * [taylor]: Taking taylor expansion of (cos y) in y 0.178 * [taylor]: Taking taylor expansion of y in y 0.178 * [taylor]: Taking taylor expansion of 1 in z 0.179 * [taylor]: Taking taylor expansion of z in z 0.184 * [taylor]: Taking taylor expansion of 0 in y 0.184 * [taylor]: Taking taylor expansion of 0 in z 0.184 * [taylor]: Taking taylor expansion of 0 in z 0.185 * [taylor]: Taking taylor expansion of 0 in z 0.186 * [approximate]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in (x y z) around 0 0.186 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z 0.186 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in z 0.186 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.186 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.186 * [taylor]: Taking taylor expansion of y in z 0.186 * [taylor]: Taking taylor expansion of x in z 0.186 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.186 * [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.187 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y 0.187 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.187 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.187 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.187 * [taylor]: Taking taylor expansion of y in y 0.187 * [taylor]: Taking taylor expansion of x in y 0.187 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.187 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.187 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.187 * [taylor]: Taking taylor expansion of y in y 0.187 * [taylor]: Taking taylor expansion of z in y 0.187 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x 0.187 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.187 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.187 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.187 * [taylor]: Taking taylor expansion of y in x 0.188 * [taylor]: Taking taylor expansion of x in x 0.188 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.188 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.188 * [taylor]: Taking taylor expansion of y in x 0.188 * [taylor]: Taking taylor expansion of z in x 0.188 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x 0.188 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.188 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.188 * [taylor]: Taking taylor expansion of y in x 0.188 * [taylor]: Taking taylor expansion of x in x 0.189 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.189 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.189 * [taylor]: Taking taylor expansion of y in x 0.189 * [taylor]: Taking taylor expansion of z in x 0.189 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.189 * [taylor]: Taking taylor expansion of y in y 0.190 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.190 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.190 * [taylor]: Taking taylor expansion of y in z 0.192 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.192 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.192 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.192 * [taylor]: Taking taylor expansion of y in y 0.192 * [taylor]: Taking taylor expansion of z in y 0.192 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.192 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.192 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.193 * [taylor]: Taking taylor expansion of y in z 0.193 * [taylor]: Taking taylor expansion of z in z 0.193 * [taylor]: Taking taylor expansion of 0 in z 0.198 * [taylor]: Taking taylor expansion of 0 in y 0.198 * [taylor]: Taking taylor expansion of 0 in z 0.198 * [taylor]: Taking taylor expansion of 0 in z 0.198 * [taylor]: Taking taylor expansion of 0 in z 0.214 * [taylor]: Taking taylor expansion of 0 in y 0.214 * [taylor]: Taking taylor expansion of 0 in z 0.214 * [taylor]: Taking taylor expansion of 0 in z 0.214 * [taylor]: Taking taylor expansion of 0 in z 0.214 * [taylor]: Taking taylor expansion of 0 in z 0.215 * [approximate]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in (x y z) around 0 0.215 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in z 0.215 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z)) in z 0.215 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in z 0.215 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.215 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.215 * [taylor]: Taking taylor expansion of -1 in z 0.215 * [taylor]: Taking taylor expansion of y in z 0.215 * [taylor]: Taking taylor expansion of x in z 0.215 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.215 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.215 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.215 * [taylor]: Taking taylor expansion of -1 in z 0.215 * [taylor]: Taking taylor expansion of y in z 0.216 * [taylor]: Taking taylor expansion of z in z 0.216 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in y 0.216 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z)) in y 0.216 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.216 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.216 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.216 * [taylor]: Taking taylor expansion of -1 in y 0.216 * [taylor]: Taking taylor expansion of y in y 0.216 * [taylor]: Taking taylor expansion of x in y 0.216 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.216 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.216 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.216 * [taylor]: Taking taylor expansion of -1 in y 0.216 * [taylor]: Taking taylor expansion of y in y 0.217 * [taylor]: Taking taylor expansion of z in y 0.217 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in x 0.217 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z)) in x 0.217 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.217 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.217 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.217 * [taylor]: Taking taylor expansion of -1 in x 0.217 * [taylor]: Taking taylor expansion of y in x 0.217 * [taylor]: Taking taylor expansion of x in x 0.217 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.217 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.217 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.217 * [taylor]: Taking taylor expansion of -1 in x 0.217 * [taylor]: Taking taylor expansion of y in x 0.217 * [taylor]: Taking taylor expansion of z in x 0.218 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z))) in x 0.218 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) x) (/ (sin (/ -1 y)) z)) in x 0.218 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.218 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.218 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.218 * [taylor]: Taking taylor expansion of -1 in x 0.218 * [taylor]: Taking taylor expansion of y in x 0.218 * [taylor]: Taking taylor expansion of x in x 0.218 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.218 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.218 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.218 * [taylor]: Taking taylor expansion of -1 in x 0.218 * [taylor]: Taking taylor expansion of y in x 0.218 * [taylor]: Taking taylor expansion of z in x 0.219 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in y 0.219 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.219 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.219 * [taylor]: Taking taylor expansion of -1 in y 0.219 * [taylor]: Taking taylor expansion of y in y 0.219 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in z 0.219 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.219 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.219 * [taylor]: Taking taylor expansion of -1 in z 0.219 * [taylor]: Taking taylor expansion of y in z 0.222 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z)) in y 0.222 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.222 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.222 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.222 * [taylor]: Taking taylor expansion of -1 in y 0.222 * [taylor]: Taking taylor expansion of y in y 0.222 * [taylor]: Taking taylor expansion of z in y 0.222 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z)) in z 0.223 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.223 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.223 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.223 * [taylor]: Taking taylor expansion of -1 in z 0.223 * [taylor]: Taking taylor expansion of y in z 0.223 * [taylor]: Taking taylor expansion of z in z 0.223 * [taylor]: Taking taylor expansion of 0 in z 0.229 * [taylor]: Taking taylor expansion of 0 in y 0.229 * [taylor]: Taking taylor expansion of 0 in z 0.229 * [taylor]: Taking taylor expansion of 0 in z 0.229 * [taylor]: Taking taylor expansion of 0 in z 0.240 * [taylor]: Taking taylor expansion of 0 in y 0.240 * [taylor]: Taking taylor expansion of 0 in z 0.240 * [taylor]: Taking taylor expansion of 0 in z 0.240 * [taylor]: Taking taylor expansion of 0 in z 0.241 * [taylor]: Taking taylor expansion of 0 in z 0.241 * * * [progress]: simplifying candidates 0.242 * [simplify]: Simplifying using # : (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))) (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 (+ (* 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 (cos y)) (* z (sin y))) (+ (* x (cos y)) (* z (sin y))) (+ (* x (cos y)) (* z (sin y))) (+ (* x (cos y)) (* z (sin y))) (* z y) (* (sin y) z) (* (sin y) z) x (* x (cos y)) (* x (cos y)) x (+ (* x (cos y)) (* (sin y) z)) (+ (* x (cos y)) (* (sin y) z)) 0.246 * * [simplify]: iteration 0 : 195 enodes (cost 284 ) 0.250 * * [simplify]: iteration 1 : 748 enodes (cost 260 ) 0.266 * * [simplify]: iteration 2 : 2510 enodes (cost 260 ) 0.312 * * [simplify]: iteration 3 : 5003 enodes (cost 259 ) 0.314 * [simplify]: Simplified to: (expm1 (* z (sin y))) (log1p (* z (sin y))) (* z (sin y)) (log (* z (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (pow (* z (sin y)) 3) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (pow (* z (sin y)) 3) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) z (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (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 (+ (* x (cos y)) (* z (sin y)))) (log1p (+ (* x (cos y)) (* z (sin y)))) (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 (+ (* x (cos y)) (* z (sin y)))) (cbrt (+ (* x (cos y)) (* z (sin y))))) (cbrt (+ (* x (cos y)) (* z (sin y)))) (pow (fma x (cos y) (* (sin y) z)) 3) (sqrt (+ (* x (cos y)) (* z (sin y)))) (sqrt (+ (* x (cos y)) (* z (sin y)))) (+ (pow (* x (cos y)) 3) (pow (* z (sin y)) 3)) (fma (* x x) (* (cos y) (cos y)) (* (* z (sin y)) (- (* z (sin y)) (* x (cos y))))) (* (fma x (cos y) (* z (sin y))) (- (* x (cos y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y))) (fma x (cos y) (* (sin y) z)) (fma x (cos y) (* (sin y) z)) (fma x (cos y) (* (sin y) z)) (fma x (cos y) (* (sin y) z)) (* z y) (* z (sin y)) (* z (sin y)) x (* x (cos y)) (* x (cos y)) x (fma x (cos y) (* (sin y) z)) (fma x (cos y) (* (sin y) z)) 0.314 * * * [progress]: adding candidates to table 0.489 * * [progress]: iteration 2 / 4 0.489 * * * [progress]: picking best candidate 0.517 * * * * [pick]: Picked # 0.517 * * * [progress]: localizing error 0.529 * * * [progress]: generating rewritten candidates 0.529 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.531 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 0.532 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 0.534 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 0.541 * * * [progress]: generating series expansions 0.541 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.542 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 0.542 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.542 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.542 * [taylor]: Taking taylor expansion of 1/3 in y 0.542 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.542 * [taylor]: Taking taylor expansion of (cos y) in y 0.542 * [taylor]: Taking taylor expansion of y in y 0.546 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.546 * [taylor]: Taking taylor expansion of 1/3 in y 0.546 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.546 * [taylor]: Taking taylor expansion of (cos y) in y 0.546 * [taylor]: Taking taylor expansion of y in y 0.567 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 0.567 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.567 * [taylor]: Taking taylor expansion of 1/3 in y 0.567 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.567 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.567 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.567 * [taylor]: Taking taylor expansion of y in y 0.568 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.568 * [taylor]: Taking taylor expansion of 1/3 in y 0.568 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.568 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.568 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.568 * [taylor]: Taking taylor expansion of y in y 0.605 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 0.605 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.605 * [taylor]: Taking taylor expansion of 1/3 in y 0.605 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.605 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.605 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.605 * [taylor]: Taking taylor expansion of -1 in y 0.605 * [taylor]: Taking taylor expansion of y in y 0.606 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.606 * [taylor]: Taking taylor expansion of 1/3 in y 0.606 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.606 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.606 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.606 * [taylor]: Taking taylor expansion of -1 in y 0.606 * [taylor]: Taking taylor expansion of y in y 0.638 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 0.638 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 0.638 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.638 * [taylor]: Taking taylor expansion of 1/3 in y 0.638 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.638 * [taylor]: Taking taylor expansion of (cos y) in y 0.638 * [taylor]: Taking taylor expansion of y in y 0.643 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.643 * [taylor]: Taking taylor expansion of 1/3 in y 0.643 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.643 * [taylor]: Taking taylor expansion of (cos y) in y 0.643 * [taylor]: Taking taylor expansion of y in y 0.670 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 0.670 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.670 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.670 * [taylor]: Taking taylor expansion of 1/3 in y 0.670 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.670 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.670 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.670 * [taylor]: Taking taylor expansion of y in y 0.670 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.671 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.671 * [taylor]: Taking taylor expansion of 1/3 in y 0.671 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.671 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.671 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.671 * [taylor]: Taking taylor expansion of y in y 0.702 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 0.702 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.703 * [taylor]: Taking taylor expansion of 1/3 in y 0.703 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.703 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.703 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.703 * [taylor]: Taking taylor expansion of -1 in y 0.703 * [taylor]: Taking taylor expansion of y in y 0.703 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.703 * [taylor]: Taking taylor expansion of 1/3 in y 0.703 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.703 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.703 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.703 * [taylor]: Taking taylor expansion of -1 in y 0.703 * [taylor]: Taking taylor expansion of y in y 0.735 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 0.735 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 0.735 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.736 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.736 * [taylor]: Taking taylor expansion of 1/3 in y 0.736 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.736 * [taylor]: Taking taylor expansion of (cos y) in y 0.736 * [taylor]: Taking taylor expansion of y in y 0.740 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 0.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 0.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 0.740 * [taylor]: Taking taylor expansion of 1/3 in y 0.740 * [taylor]: Taking taylor expansion of (log (cos y)) in y 0.740 * [taylor]: Taking taylor expansion of (cos y) in y 0.740 * [taylor]: Taking taylor expansion of y in y 0.768 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 0.768 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.768 * [taylor]: Taking taylor expansion of 1/3 in y 0.768 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.768 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.768 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.768 * [taylor]: Taking taylor expansion of y in y 0.768 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 0.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 0.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 0.768 * [taylor]: Taking taylor expansion of 1/3 in y 0.768 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 0.768 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.769 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.769 * [taylor]: Taking taylor expansion of y in y 0.802 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 0.802 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.802 * [taylor]: Taking taylor expansion of 1/3 in y 0.802 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.802 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.802 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.802 * [taylor]: Taking taylor expansion of -1 in y 0.802 * [taylor]: Taking taylor expansion of y in y 0.802 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 0.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 0.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 0.803 * [taylor]: Taking taylor expansion of 1/3 in y 0.803 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 0.803 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.803 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.803 * [taylor]: Taking taylor expansion of -1 in y 0.803 * [taylor]: Taking taylor expansion of y in y 0.841 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 0.841 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 0.841 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 0.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 0.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 0.841 * [taylor]: Taking taylor expansion of 1/3 in y 0.841 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 0.841 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 0.841 * [taylor]: Taking taylor expansion of (cos y) in y 0.841 * [taylor]: Taking taylor expansion of y in y 0.846 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 0.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 0.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 0.847 * [taylor]: Taking taylor expansion of 1/3 in y 0.847 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 0.847 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 0.847 * [taylor]: Taking taylor expansion of (cos y) in y 0.847 * [taylor]: Taking taylor expansion of y in y 0.916 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 0.916 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 0.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 0.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 0.916 * [taylor]: Taking taylor expansion of 1/3 in y 0.916 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 0.916 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 0.916 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.916 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.916 * [taylor]: Taking taylor expansion of y in y 0.917 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 0.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 0.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 0.917 * [taylor]: Taking taylor expansion of 1/3 in y 0.917 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 0.917 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 0.917 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.917 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.917 * [taylor]: Taking taylor expansion of y in y 0.956 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 0.956 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 0.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 0.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 0.956 * [taylor]: Taking taylor expansion of 1/3 in y 0.956 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 0.956 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 0.956 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.956 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.956 * [taylor]: Taking taylor expansion of -1 in y 0.956 * [taylor]: Taking taylor expansion of y in y 0.957 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 0.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 0.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 0.957 * [taylor]: Taking taylor expansion of 1/3 in y 0.957 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 0.957 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 0.957 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.957 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.957 * [taylor]: Taking taylor expansion of -1 in y 0.957 * [taylor]: Taking taylor expansion of y in y 1.001 * * * [progress]: simplifying candidates 1.002 * [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)) (* (cos y) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (cos y)) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (cos y)) (cbrt (cos y))) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 1 1) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 2 1/3) (* 2 1) (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* (cbrt (cos y)) (cbrt 1)) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (* (cbrt (cos y)) 1) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (sqrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) 1.007 * * [simplify]: iteration 0 : 137 enodes (cost 508 ) 1.011 * * [simplify]: iteration 1 : 544 enodes (cost 435 ) 1.028 * * [simplify]: iteration 2 : 3708 enodes (cost 393 ) 1.108 * * [simplify]: iteration 3 : 5001 enodes (cost 387 ) 1.110 * [simplify]: Simplified to: (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))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (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))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (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))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (* (cbrt (cos y)) (cbrt (cos y)))) (log1p (* (cbrt (cos y)) (cbrt (cos y)))) 2/3 2 (pow (cos y) 2) (pow (cos y) 2/3) 2 (* 2/3 (log (cos y))) (* 2/3 (log (cos y))) (pow (exp 1) (pow (cos y) 2/3)) (pow (cos y) 2) (pow (cos y) 2) (pow (cos y) 2) (pow (cos y) 2) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (pow (cos y) 2) (fabs (pow (cos y) 1/3)) (fabs (pow (cos y) 1/3)) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) 1 (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (pow (cos y) 1/3) (pow (cos y) 1/3) 1 (pow (cos y) 2/3) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (pow (cos y) 1/3) (pow (cos y) 1/3) 2/3 2 (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (pow (cos y) 1/3) (pow (cbrt (cbrt (cos y))) 5) (pow (sqrt (cbrt (cos y))) 3) (pow (cos y) 1/3) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (pow (sqrt (cbrt (cos y))) 3) (pow (cos y) 2/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (cos y) 2/3) (pow (cos y) 2/3) 1.111 * * * [progress]: adding candidates to table 1.394 * * [progress]: iteration 3 / 4 1.394 * * * [progress]: picking best candidate 1.421 * * * * [pick]: Picked # 1.421 * * * [progress]: localizing error 1.435 * * * [progress]: generating rewritten candidates 1.436 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.439 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.440 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 1.442 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3) 1.448 * * * [progress]: generating series expansions 1.448 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.448 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 1.448 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 1.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 1.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 1.448 * [taylor]: Taking taylor expansion of 1/3 in y 1.448 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 1.448 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.448 * [taylor]: Taking taylor expansion of (cos y) in y 1.448 * [taylor]: Taking taylor expansion of y in y 1.455 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 1.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 1.455 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 1.455 * [taylor]: Taking taylor expansion of 1/3 in y 1.455 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 1.455 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.455 * [taylor]: Taking taylor expansion of (cos y) in y 1.455 * [taylor]: Taking taylor expansion of y in y 1.524 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 1.524 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 1.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 1.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 1.524 * [taylor]: Taking taylor expansion of 1/3 in y 1.524 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 1.524 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.524 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.524 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.524 * [taylor]: Taking taylor expansion of y in y 1.525 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 1.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 1.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 1.525 * [taylor]: Taking taylor expansion of 1/3 in y 1.525 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 1.525 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.525 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.525 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.525 * [taylor]: Taking taylor expansion of y in y 1.572 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 1.572 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 1.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 1.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 1.572 * [taylor]: Taking taylor expansion of 1/3 in y 1.572 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 1.572 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.572 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.572 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.572 * [taylor]: Taking taylor expansion of -1 in y 1.572 * [taylor]: Taking taylor expansion of y in y 1.573 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 1.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 1.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 1.573 * [taylor]: Taking taylor expansion of 1/3 in y 1.573 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 1.573 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.573 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.573 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.573 * [taylor]: Taking taylor expansion of -1 in y 1.573 * [taylor]: Taking taylor expansion of y in y 1.612 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.612 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.612 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.612 * [taylor]: Taking taylor expansion of 1/3 in y 1.612 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.612 * [taylor]: Taking taylor expansion of (cos y) in y 1.612 * [taylor]: Taking taylor expansion of y in y 1.617 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.617 * [taylor]: Taking taylor expansion of 1/3 in y 1.617 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.617 * [taylor]: Taking taylor expansion of (cos y) in y 1.617 * [taylor]: Taking taylor expansion of y in y 1.645 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.645 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.645 * [taylor]: Taking taylor expansion of 1/3 in y 1.645 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.645 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.645 * [taylor]: Taking taylor expansion of y in y 1.646 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.646 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.646 * [taylor]: Taking taylor expansion of 1/3 in y 1.646 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.646 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.646 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.646 * [taylor]: Taking taylor expansion of y in y 1.678 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.678 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.678 * [taylor]: Taking taylor expansion of 1/3 in y 1.678 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.678 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.678 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.678 * [taylor]: Taking taylor expansion of -1 in y 1.678 * [taylor]: Taking taylor expansion of y in y 1.679 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.679 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.679 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.679 * [taylor]: Taking taylor expansion of 1/3 in y 1.679 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.679 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.679 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.679 * [taylor]: Taking taylor expansion of -1 in y 1.679 * [taylor]: Taking taylor expansion of y in y 1.718 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 1.718 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 1.718 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.718 * [taylor]: Taking taylor expansion of (cos y) in y 1.718 * [taylor]: Taking taylor expansion of y in y 1.718 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.718 * [taylor]: Taking taylor expansion of (cos y) in y 1.718 * [taylor]: Taking taylor expansion of y in y 1.724 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 1.724 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.724 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.724 * [taylor]: Taking taylor expansion of y in y 1.725 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.725 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.725 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.725 * [taylor]: Taking taylor expansion of y in y 1.729 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 1.730 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.730 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.730 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.730 * [taylor]: Taking taylor expansion of -1 in y 1.730 * [taylor]: Taking taylor expansion of y in y 1.730 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.730 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.730 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.730 * [taylor]: Taking taylor expansion of -1 in y 1.730 * [taylor]: Taking taylor expansion of y in y 1.735 * * * * [progress]: [ 4 / 4 ] generating series at (2 3) 1.735 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 1.735 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 1.735 * [taylor]: Taking taylor expansion of (sin y) in y 1.735 * [taylor]: Taking taylor expansion of y in y 1.735 * [taylor]: Taking taylor expansion of z in y 1.735 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.735 * [taylor]: Taking taylor expansion of (sin y) in z 1.735 * [taylor]: Taking taylor expansion of y in z 1.735 * [taylor]: Taking taylor expansion of z in z 1.735 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 1.735 * [taylor]: Taking taylor expansion of (sin y) in z 1.735 * [taylor]: Taking taylor expansion of y in z 1.735 * [taylor]: Taking taylor expansion of z in z 1.735 * [taylor]: Taking taylor expansion of 0 in y 1.737 * [taylor]: Taking taylor expansion of (sin y) in y 1.737 * [taylor]: Taking taylor expansion of y in y 1.739 * [taylor]: Taking taylor expansion of 0 in y 1.743 * [taylor]: Taking taylor expansion of 0 in y 1.747 * [taylor]: Taking taylor expansion of 0 in y 1.747 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 1.747 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 1.747 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.747 * [taylor]: Taking taylor expansion of y in y 1.748 * [taylor]: Taking taylor expansion of z in y 1.748 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.748 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.748 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.748 * [taylor]: Taking taylor expansion of y in z 1.748 * [taylor]: Taking taylor expansion of z in z 1.748 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 1.748 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 1.748 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.748 * [taylor]: Taking taylor expansion of y in z 1.748 * [taylor]: Taking taylor expansion of z in z 1.748 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.748 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.748 * [taylor]: Taking taylor expansion of y in y 1.751 * [taylor]: Taking taylor expansion of 0 in y 1.754 * [taylor]: Taking taylor expansion of 0 in y 1.757 * [taylor]: Taking taylor expansion of 0 in y 1.758 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 1.758 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 1.758 * [taylor]: Taking taylor expansion of -1 in y 1.758 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 1.758 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.758 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.758 * [taylor]: Taking taylor expansion of -1 in y 1.758 * [taylor]: Taking taylor expansion of y in y 1.758 * [taylor]: Taking taylor expansion of z in y 1.758 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 1.758 * [taylor]: Taking taylor expansion of -1 in z 1.758 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.758 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.758 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.758 * [taylor]: Taking taylor expansion of -1 in z 1.758 * [taylor]: Taking taylor expansion of y in z 1.758 * [taylor]: Taking taylor expansion of z in z 1.758 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 1.758 * [taylor]: Taking taylor expansion of -1 in z 1.758 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 1.758 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 1.758 * [taylor]: Taking taylor expansion of (/ -1 y) in z 1.759 * [taylor]: Taking taylor expansion of -1 in z 1.759 * [taylor]: Taking taylor expansion of y in z 1.759 * [taylor]: Taking taylor expansion of z in z 1.759 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 1.759 * [taylor]: Taking taylor expansion of -1 in y 1.759 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.759 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.759 * [taylor]: Taking taylor expansion of -1 in y 1.759 * [taylor]: Taking taylor expansion of y in y 1.762 * [taylor]: Taking taylor expansion of 0 in y 1.766 * [taylor]: Taking taylor expansion of 0 in y 1.771 * [taylor]: Taking taylor expansion of 0 in y 1.771 * * * [progress]: simplifying candidates 1.772 * [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 (* 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)) (- 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) (* z y) (* (sin y) z) (* (sin y) z) 1.776 * * [simplify]: iteration 0 : 214 enodes (cost 330 ) 1.781 * * [simplify]: iteration 1 : 727 enodes (cost 287 ) 1.796 * * [simplify]: iteration 2 : 2955 enodes (cost 278 ) 1.868 * * [simplify]: iteration 3 : 5002 enodes (cost 277 ) 1.870 * [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)) (cbrt (cos y))) 2)) (cbrt (pow (cbrt (cos y)) 2)) (pow (cos y) 1/3) (pow (cos y) 1/3) 1 (pow (pow (cos y) 2) 1/3) (pow (cos y) 1/3) (pow (cos y) 1/3) (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))) 1 (pow (pow (cos y) 2) 1/3) (pow (cos y) 1/3) (pow (cos y) 1/3) (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))) (pow (cos y) 2) (sqrt (cbrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cbrt (cos y)) 2)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (pow (pow (cos y) 1/3) 1/2) (pow (pow (cos y) 1/3) 1/2) (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 (cos y) 4/3) (pow (cos y) 2/3) (cos y) (cos y) 1 (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (pow (pow (cos y) 2) 2/3) (pow (pow (cos y) 2) 1/3) (pow (cos y) 6) (fabs (cos y)) (fabs (cos y)) (cos y) (cos y) (expm1 (* z (sin y))) (log1p (* z (sin y))) (* z (sin y)) (log (* z (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (pow (* z (sin y)) 3) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (pow (* z (sin y)) 3) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) z (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (- 1 (fma 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 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (fma (pow y 4) 1/3 (- 1 (pow y 2))) (pow (cos y) 2) (pow (cos y) 2) (* z y) (* z (sin y)) (* z (sin y)) 1.870 * * * [progress]: adding candidates to table 2.319 * * [progress]: iteration 4 / 4 2.320 * * * [progress]: picking best candidate 2.346 * * * * [pick]: Picked # 2.346 * * * [progress]: localizing error 2.364 * * * [progress]: generating rewritten candidates 2.364 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 2.367 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 2.368 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1) 2.373 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 2.375 * * * [progress]: generating series expansions 2.375 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 2.375 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 2.375 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.375 * [taylor]: Taking taylor expansion of 1/3 in y 2.375 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.375 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.375 * [taylor]: Taking taylor expansion of (cos y) in y 2.375 * [taylor]: Taking taylor expansion of y in y 2.381 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.381 * [taylor]: Taking taylor expansion of 1/3 in y 2.381 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.381 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.381 * [taylor]: Taking taylor expansion of (cos y) in y 2.382 * [taylor]: Taking taylor expansion of y in y 2.447 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 2.448 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.448 * [taylor]: Taking taylor expansion of 1/3 in y 2.448 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.448 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.448 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.448 * [taylor]: Taking taylor expansion of y in y 2.448 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.449 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.449 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.449 * [taylor]: Taking taylor expansion of 1/3 in y 2.449 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.449 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.449 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.449 * [taylor]: Taking taylor expansion of y in y 2.487 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 2.487 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.487 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.487 * [taylor]: Taking taylor expansion of 1/3 in y 2.487 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.487 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.487 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.487 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.487 * [taylor]: Taking taylor expansion of -1 in y 2.487 * [taylor]: Taking taylor expansion of y in y 2.488 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.488 * [taylor]: Taking taylor expansion of 1/3 in y 2.488 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.488 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.488 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.488 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.488 * [taylor]: Taking taylor expansion of -1 in y 2.488 * [taylor]: Taking taylor expansion of y in y 2.529 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 2.529 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 2.529 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.529 * [taylor]: Taking taylor expansion of 1/3 in y 2.529 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.529 * [taylor]: Taking taylor expansion of (cos y) in y 2.529 * [taylor]: Taking taylor expansion of y in y 2.534 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.534 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.534 * [taylor]: Taking taylor expansion of 1/3 in y 2.534 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.534 * [taylor]: Taking taylor expansion of (cos y) in y 2.534 * [taylor]: Taking taylor expansion of y in y 2.555 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 2.555 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.555 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.555 * [taylor]: Taking taylor expansion of 1/3 in y 2.555 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.555 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.555 * [taylor]: Taking taylor expansion of y in y 2.555 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.555 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.555 * [taylor]: Taking taylor expansion of 1/3 in y 2.555 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.555 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.555 * [taylor]: Taking taylor expansion of y in y 2.587 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 2.588 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.588 * [taylor]: Taking taylor expansion of 1/3 in y 2.588 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.588 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.588 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.588 * [taylor]: Taking taylor expansion of -1 in y 2.588 * [taylor]: Taking taylor expansion of y in y 2.588 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.588 * [taylor]: Taking taylor expansion of 1/3 in y 2.588 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.588 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.588 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.588 * [taylor]: Taking taylor expansion of -1 in y 2.588 * [taylor]: Taking taylor expansion of y in y 2.626 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1) 2.626 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 2.626 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.626 * [taylor]: Taking taylor expansion of (cos y) in y 2.626 * [taylor]: Taking taylor expansion of y in y 2.626 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.626 * [taylor]: Taking taylor expansion of (cos y) in y 2.626 * [taylor]: Taking taylor expansion of y in y 2.632 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 2.632 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.632 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.632 * [taylor]: Taking taylor expansion of y in y 2.632 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.633 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.633 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.633 * [taylor]: Taking taylor expansion of y in y 2.637 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 2.637 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.637 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.637 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.637 * [taylor]: Taking taylor expansion of -1 in y 2.637 * [taylor]: Taking taylor expansion of y in y 2.638 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.638 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.638 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.638 * [taylor]: Taking taylor expansion of -1 in y 2.638 * [taylor]: Taking taylor expansion of y in y 2.642 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 2.642 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos y) 2) 1/3))) in (y) around 0 2.643 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos y) 2) 1/3))) in y 2.643 * [taylor]: Rewrote expression to (- (exp (log1p (pow (pow (cos y) 2) 1/3))) 1) 2.643 * [taylor]: Taking taylor expansion of (exp (log1p (pow (pow (cos y) 2) 1/3))) in y 2.643 * [taylor]: Taking taylor expansion of (log1p (pow (pow (cos y) 2) 1/3)) in y 2.643 * [taylor]: Rewrote expression to (log (+ 1 (pow (pow (cos y) 2) 1/3))) 2.643 * [taylor]: Taking taylor expansion of (+ 1 (pow (pow (cos y) 2) 1/3)) in y 2.643 * [taylor]: Taking taylor expansion of 1 in y 2.643 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.643 * [taylor]: Taking taylor expansion of 1/3 in y 2.643 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.643 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.643 * [taylor]: Taking taylor expansion of (cos y) in y 2.643 * [taylor]: Taking taylor expansion of y in y 2.649 * [taylor]: Taking taylor expansion of 1 in y 2.649 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos y) 2) 1/3))) in y 2.649 * [taylor]: Rewrote expression to (- (exp (log1p (pow (pow (cos y) 2) 1/3))) 1) 2.649 * [taylor]: Taking taylor expansion of (exp (log1p (pow (pow (cos y) 2) 1/3))) in y 2.649 * [taylor]: Taking taylor expansion of (log1p (pow (pow (cos y) 2) 1/3)) in y 2.649 * [taylor]: Rewrote expression to (log (+ 1 (pow (pow (cos y) 2) 1/3))) 2.649 * [taylor]: Taking taylor expansion of (+ 1 (pow (pow (cos y) 2) 1/3)) in y 2.649 * [taylor]: Taking taylor expansion of 1 in y 2.649 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.649 * [taylor]: Taking taylor expansion of 1/3 in y 2.649 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.649 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.649 * [taylor]: Taking taylor expansion of (cos y) in y 2.649 * [taylor]: Taking taylor expansion of y in y 2.656 * [taylor]: Taking taylor expansion of 1 in y 2.785 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) in (y) around 0 2.785 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) in y 2.785 * [taylor]: Rewrote expression to (- (exp (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) 1) 2.785 * [taylor]: Taking taylor expansion of (exp (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) in y 2.785 * [taylor]: Taking taylor expansion of (log1p (pow (pow (cos (/ 1 y)) 2) 1/3)) in y 2.785 * [taylor]: Rewrote expression to (log (+ 1 (pow (pow (cos (/ 1 y)) 2) 1/3))) 2.785 * [taylor]: Taking taylor expansion of (+ 1 (pow (pow (cos (/ 1 y)) 2) 1/3)) in y 2.785 * [taylor]: Taking taylor expansion of 1 in y 2.785 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.785 * [taylor]: Taking taylor expansion of 1/3 in y 2.785 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.785 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.785 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.785 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.785 * [taylor]: Taking taylor expansion of y in y 2.786 * [taylor]: Taking taylor expansion of 1 in y 2.786 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) in y 2.786 * [taylor]: Rewrote expression to (- (exp (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) 1) 2.786 * [taylor]: Taking taylor expansion of (exp (log1p (pow (pow (cos (/ 1 y)) 2) 1/3))) in y 2.786 * [taylor]: Taking taylor expansion of (log1p (pow (pow (cos (/ 1 y)) 2) 1/3)) in y 2.786 * [taylor]: Rewrote expression to (log (+ 1 (pow (pow (cos (/ 1 y)) 2) 1/3))) 2.786 * [taylor]: Taking taylor expansion of (+ 1 (pow (pow (cos (/ 1 y)) 2) 1/3)) in y 2.786 * [taylor]: Taking taylor expansion of 1 in y 2.786 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.787 * [taylor]: Taking taylor expansion of 1/3 in y 2.787 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.787 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.787 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.787 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.787 * [taylor]: Taking taylor expansion of y in y 2.788 * [taylor]: Taking taylor expansion of 1 in y 2.866 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) in (y) around 0 2.866 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) in y 2.866 * [taylor]: Rewrote expression to (- (exp (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) 1) 2.866 * [taylor]: Taking taylor expansion of (exp (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) in y 2.866 * [taylor]: Taking taylor expansion of (log1p (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 2.866 * [taylor]: Rewrote expression to (log (+ 1 (pow (pow (cos (/ -1 y)) 2) 1/3))) 2.866 * [taylor]: Taking taylor expansion of (+ 1 (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 2.866 * [taylor]: Taking taylor expansion of 1 in y 2.866 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.866 * [taylor]: Taking taylor expansion of 1/3 in y 2.866 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.866 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.866 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.866 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.866 * [taylor]: Taking taylor expansion of -1 in y 2.866 * [taylor]: Taking taylor expansion of y in y 2.867 * [taylor]: Taking taylor expansion of 1 in y 2.867 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) in y 2.867 * [taylor]: Rewrote expression to (- (exp (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) 1) 2.867 * [taylor]: Taking taylor expansion of (exp (log1p (pow (pow (cos (/ -1 y)) 2) 1/3))) in y 2.867 * [taylor]: Taking taylor expansion of (log1p (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 2.867 * [taylor]: Rewrote expression to (log (+ 1 (pow (pow (cos (/ -1 y)) 2) 1/3))) 2.867 * [taylor]: Taking taylor expansion of (+ 1 (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 2.867 * [taylor]: Taking taylor expansion of 1 in y 2.867 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.868 * [taylor]: Taking taylor expansion of 1/3 in y 2.868 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.868 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.868 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.868 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.868 * [taylor]: Taking taylor expansion of -1 in y 2.868 * [taylor]: Taking taylor expansion of y in y 2.869 * [taylor]: Taking taylor expansion of 1 in y 2.947 * * * [progress]: simplifying candidates 2.948 * [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) 2.952 * * [simplify]: iteration 0 : 166 enodes (cost 316 ) 2.955 * * [simplify]: iteration 1 : 515 enodes (cost 275 ) 2.967 * * [simplify]: iteration 2 : 1873 enodes (cost 263 ) 3.019 * * [simplify]: iteration 3 : 5001 enodes (cost 262 ) 3.021 * [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)) (cbrt (cos y))) 2)) (cbrt (pow (cbrt (cos y)) 2)) (pow (cos y) 1/3) (pow (cos y) 1/3) 1 (cbrt (pow (cos y) 2)) (pow (cos y) 1/3) (pow (cos y) 1/3) (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))) 1 (cbrt (pow (cos y) 2)) (pow (cos y) 1/3) (pow (cos y) 1/3) (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))) (pow (cos y) 2) (sqrt (cbrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cbrt (cos y)) 2)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (pow (cos y) 1/3) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (pow (pow (cos y) 1/3) 1/2) (pow (pow (cos y) 1/3) 1/2) (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 (cos y) 4/3) (pow (cos y) 2/3) (cos y) (cos y) 1 (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2)) (pow (cos y) 6) (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)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (fma (pow y 4) 1/3 (- 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)) 3.021 * * * [progress]: adding candidates to table 3.273 * [progress]: [Phase 3 of 3] Extracting. 3.274 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 3.276 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 3.276 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # #) 3.320 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # #) 3.364 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 3.409 * * * [regime]: Found split indices: #