15.268 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.043 * * * [progress]: [2/2] Setting up program. 0.046 * [progress]: [Phase 2 of 3] Improving. 0.046 * [simplify]: Simplifying using # : (+ (+ x (sin y)) (* z (cos y))) 0.047 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.048 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.049 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 0.052 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 0.055 * * [simplify]: iteration done : 25 enodes (cost 8 ) 0.055 * [simplify]: Simplified to: (fma (cos y) z (+ x (sin y))) 0.058 * * [progress]: iteration 1 / 4 0.058 * * * [progress]: picking best candidate 0.061 * * * * [pick]: Picked # 0.061 * * * [progress]: localizing error 0.070 * * * [progress]: generating rewritten candidates 0.070 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.073 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.094 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.098 * * * [progress]: generating series expansions 0.098 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.099 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 0.099 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.099 * [taylor]: Taking taylor expansion of (cos y) in y 0.099 * [taylor]: Taking taylor expansion of y in y 0.099 * [taylor]: Taking taylor expansion of z in y 0.099 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.099 * [taylor]: Taking taylor expansion of (cos y) in z 0.099 * [taylor]: Taking taylor expansion of y in z 0.099 * [taylor]: Taking taylor expansion of z in z 0.099 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.099 * [taylor]: Taking taylor expansion of (cos y) in z 0.099 * [taylor]: Taking taylor expansion of y in z 0.099 * [taylor]: Taking taylor expansion of z in z 0.100 * [taylor]: Taking taylor expansion of 0 in y 0.102 * [taylor]: Taking taylor expansion of (cos y) in y 0.102 * [taylor]: Taking taylor expansion of y in y 0.105 * [taylor]: Taking taylor expansion of 0 in y 0.108 * [taylor]: Taking taylor expansion of 0 in y 0.109 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 0.109 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.109 * [taylor]: Taking taylor expansion of (cos (/ 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 (/ (cos (/ 1 y)) z) in z 0.109 * [taylor]: Taking taylor expansion of (cos (/ 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 (/ (cos (/ 1 y)) z) in z 0.110 * [taylor]: Taking taylor expansion of (cos (/ 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.111 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.111 * [taylor]: Taking taylor expansion of y in y 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.117 * [taylor]: Taking taylor expansion of 0 in y 0.122 * [taylor]: Taking taylor expansion of 0 in y 0.122 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 0.122 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.122 * [taylor]: Taking taylor expansion of -1 in y 0.122 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.122 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.122 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.122 * [taylor]: Taking taylor expansion of -1 in y 0.122 * [taylor]: Taking taylor expansion of y in y 0.122 * [taylor]: Taking taylor expansion of z in y 0.122 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.122 * [taylor]: Taking taylor expansion of -1 in z 0.122 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.122 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.122 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.122 * [taylor]: Taking taylor expansion of -1 in z 0.122 * [taylor]: Taking taylor expansion of y in z 0.123 * [taylor]: Taking taylor expansion of z in z 0.123 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.123 * [taylor]: Taking taylor expansion of -1 in z 0.123 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.123 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.123 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.123 * [taylor]: Taking taylor expansion of -1 in z 0.123 * [taylor]: Taking taylor expansion of y in z 0.123 * [taylor]: Taking taylor expansion of z in z 0.124 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.124 * [taylor]: Taking taylor expansion of -1 in y 0.124 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.124 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.124 * [taylor]: Taking taylor expansion of -1 in y 0.124 * [taylor]: Taking taylor expansion of y in y 0.127 * [taylor]: Taking taylor expansion of 0 in y 0.131 * [taylor]: Taking taylor expansion of 0 in y 0.136 * [taylor]: Taking taylor expansion of 0 in y 0.137 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.137 * [approximate]: Taking taylor expansion of (+ x (+ (sin y) (* z (cos y)))) in (x y z) around 0 0.137 * [taylor]: Taking taylor expansion of (+ x (+ (sin y) (* z (cos y)))) in z 0.137 * [taylor]: Taking taylor expansion of x in z 0.137 * [taylor]: Taking taylor expansion of (+ (sin y) (* z (cos y))) in z 0.137 * [taylor]: Taking taylor expansion of (sin y) in z 0.137 * [taylor]: Taking taylor expansion of y in z 0.137 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 0.137 * [taylor]: Taking taylor expansion of z in z 0.137 * [taylor]: Taking taylor expansion of (cos y) in z 0.137 * [taylor]: Taking taylor expansion of y in z 0.137 * [taylor]: Taking taylor expansion of (+ x (+ (sin y) (* z (cos y)))) in y 0.137 * [taylor]: Taking taylor expansion of x in y 0.137 * [taylor]: Taking taylor expansion of (+ (sin y) (* z (cos y))) in y 0.137 * [taylor]: Taking taylor expansion of (sin y) in y 0.137 * [taylor]: Taking taylor expansion of y in y 0.137 * [taylor]: Taking taylor expansion of (* z (cos y)) in y 0.137 * [taylor]: Taking taylor expansion of z in y 0.137 * [taylor]: Taking taylor expansion of (cos y) in y 0.137 * [taylor]: Taking taylor expansion of y in y 0.137 * [taylor]: Taking taylor expansion of (+ x (+ (sin y) (* z (cos y)))) in x 0.137 * [taylor]: Taking taylor expansion of x in x 0.137 * [taylor]: Taking taylor expansion of (+ (sin y) (* z (cos y))) in x 0.137 * [taylor]: Taking taylor expansion of (sin y) in x 0.137 * [taylor]: Taking taylor expansion of y in x 0.137 * [taylor]: Taking taylor expansion of (* z (cos y)) in x 0.137 * [taylor]: Taking taylor expansion of z in x 0.137 * [taylor]: Taking taylor expansion of (cos y) in x 0.137 * [taylor]: Taking taylor expansion of y in x 0.137 * [taylor]: Taking taylor expansion of (+ x (+ (sin y) (* z (cos y)))) in x 0.137 * [taylor]: Taking taylor expansion of x in x 0.137 * [taylor]: Taking taylor expansion of (+ (sin y) (* z (cos y))) in x 0.137 * [taylor]: Taking taylor expansion of (sin y) in x 0.137 * [taylor]: Taking taylor expansion of y in x 0.138 * [taylor]: Taking taylor expansion of (* z (cos y)) in x 0.138 * [taylor]: Taking taylor expansion of z 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 (+ (* z (cos y)) (sin y)) in y 0.138 * [taylor]: Taking taylor expansion of (* z (cos y)) in y 0.138 * [taylor]: Taking taylor expansion of z in y 0.138 * [taylor]: Taking taylor expansion of (cos y) in y 0.138 * [taylor]: Taking taylor expansion of y in y 0.139 * [taylor]: Taking taylor expansion of (sin y) in y 0.139 * [taylor]: Taking taylor expansion of y in y 0.139 * [taylor]: Taking taylor expansion of z in z 0.142 * [taylor]: Taking taylor expansion of 1 in y 0.142 * [taylor]: Taking taylor expansion of 1 in z 0.144 * [taylor]: Taking taylor expansion of 1 in z 0.144 * [approximate]: Taking taylor expansion of (+ (sin (/ 1 y)) (+ (/ (cos (/ 1 y)) z) (/ 1 x))) in (x y z) around 0 0.144 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (+ (/ (cos (/ 1 y)) z) (/ 1 x))) in z 0.144 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.144 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.144 * [taylor]: Taking taylor expansion of y in z 0.144 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ 1 x)) in z 0.144 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.144 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.144 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.144 * [taylor]: Taking taylor expansion of y in z 0.145 * [taylor]: Taking taylor expansion of z in z 0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.145 * [taylor]: Taking taylor expansion of x in z 0.145 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (+ (/ (cos (/ 1 y)) z) (/ 1 x))) in y 0.145 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.145 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.145 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ 1 x)) in y 0.145 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.145 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.145 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [taylor]: Taking taylor expansion of z in y 0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.146 * [taylor]: Taking taylor expansion of x in y 0.146 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (+ (/ (cos (/ 1 y)) z) (/ 1 x))) in x 0.146 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ 1 x)) in x 0.146 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.146 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of z in x 0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (+ (/ (cos (/ 1 y)) z) (/ 1 x))) in x 0.147 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.147 * [taylor]: Taking taylor expansion of y in x 0.147 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ 1 x)) in x 0.147 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.147 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.147 * [taylor]: Taking taylor expansion of y in x 0.147 * [taylor]: Taking taylor expansion of z in x 0.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.149 * [taylor]: Taking taylor expansion of 1 in y 0.149 * [taylor]: Taking taylor expansion of 1 in z 0.149 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in y 0.149 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.149 * [taylor]: Taking taylor expansion of y in y 0.150 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.150 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.150 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.150 * [taylor]: Taking taylor expansion of y in y 0.150 * [taylor]: Taking taylor expansion of z in y 0.150 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in z 0.150 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.150 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.150 * [taylor]: Taking taylor expansion of y in z 0.150 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.150 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.150 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.150 * [taylor]: Taking taylor expansion of y in z 0.150 * [taylor]: Taking taylor expansion of z in z 0.151 * [taylor]: Taking taylor expansion of 0 in z 0.155 * [taylor]: Taking taylor expansion of 0 in y 0.155 * [taylor]: Taking taylor expansion of 0 in z 0.156 * [taylor]: Taking taylor expansion of 0 in z 0.156 * [taylor]: Taking taylor expansion of 0 in z 0.159 * [approximate]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ (cos (/ -1 y)) z) (/ 1 x))) in (x y z) around 0 0.159 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ (cos (/ -1 y)) z) (/ 1 x))) in z 0.159 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.159 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.159 * [taylor]: Taking taylor expansion of -1 in z 0.159 * [taylor]: Taking taylor expansion of y in z 0.159 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ 1 x)) in z 0.159 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.159 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.159 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.159 * [taylor]: Taking taylor expansion of -1 in z 0.159 * [taylor]: Taking taylor expansion of y in z 0.160 * [taylor]: Taking taylor expansion of z in z 0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.160 * [taylor]: Taking taylor expansion of x in z 0.160 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ (cos (/ -1 y)) z) (/ 1 x))) in y 0.160 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.160 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.160 * [taylor]: Taking taylor expansion of -1 in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.160 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ 1 x)) in y 0.161 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.161 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.161 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.161 * [taylor]: Taking taylor expansion of -1 in y 0.161 * [taylor]: Taking taylor expansion of y in y 0.161 * [taylor]: Taking taylor expansion of z in y 0.161 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.161 * [taylor]: Taking taylor expansion of x in y 0.161 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ (cos (/ -1 y)) z) (/ 1 x))) in x 0.161 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.161 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.161 * [taylor]: Taking taylor expansion of -1 in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ 1 x)) in x 0.161 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.161 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.161 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.161 * [taylor]: Taking taylor expansion of -1 in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of z in x 0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.162 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (+ (/ (cos (/ -1 y)) z) (/ 1 x))) in x 0.162 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.162 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.162 * [taylor]: Taking taylor expansion of -1 in x 0.162 * [taylor]: Taking taylor expansion of y in x 0.162 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ 1 x)) in x 0.162 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.162 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.162 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.162 * [taylor]: Taking taylor expansion of -1 in x 0.163 * [taylor]: Taking taylor expansion of y in x 0.163 * [taylor]: Taking taylor expansion of z in x 0.163 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of -1 in y 0.164 * [taylor]: Taking taylor expansion of -1 in z 0.165 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ (cos (/ -1 y)) z)) in y 0.165 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.165 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.165 * [taylor]: Taking taylor expansion of -1 in y 0.165 * [taylor]: Taking taylor expansion of y in y 0.166 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.166 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.166 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.166 * [taylor]: Taking taylor expansion of -1 in y 0.166 * [taylor]: Taking taylor expansion of y in y 0.166 * [taylor]: Taking taylor expansion of z in y 0.166 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ (cos (/ -1 y)) z)) in z 0.166 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.166 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.167 * [taylor]: Taking taylor expansion of -1 in z 0.167 * [taylor]: Taking taylor expansion of y in z 0.167 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.167 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.167 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.167 * [taylor]: Taking taylor expansion of -1 in z 0.167 * [taylor]: Taking taylor expansion of y in z 0.167 * [taylor]: Taking taylor expansion of z in z 0.167 * [taylor]: Taking taylor expansion of 0 in z 0.172 * [taylor]: Taking taylor expansion of 0 in y 0.172 * [taylor]: Taking taylor expansion of 0 in z 0.173 * [taylor]: Taking taylor expansion of 0 in z 0.173 * [taylor]: Taking taylor expansion of 0 in z 0.176 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.176 * [approximate]: Taking taylor expansion of (+ x (sin y)) in (x y) around 0 0.177 * [taylor]: Taking taylor expansion of (+ x (sin y)) in y 0.177 * [taylor]: Taking taylor expansion of x in y 0.177 * [taylor]: Taking taylor expansion of (sin y) in y 0.177 * [taylor]: Taking taylor expansion of y in y 0.177 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of (sin y) in x 0.177 * [taylor]: Taking taylor expansion of y in x 0.177 * [taylor]: Taking taylor expansion of (+ x (sin y)) in x 0.177 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of (sin y) in x 0.177 * [taylor]: Taking taylor expansion of y in x 0.177 * [taylor]: Taking taylor expansion of (sin y) in y 0.177 * [taylor]: Taking taylor expansion of y in y 0.179 * [taylor]: Taking taylor expansion of 1 in y 0.185 * [taylor]: Taking taylor expansion of 0 in y 0.188 * [taylor]: Taking taylor expansion of 0 in y 0.188 * [approximate]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in (x y) around 0 0.188 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) in y 0.188 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.188 * [taylor]: Taking taylor expansion of y in y 0.189 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.189 * [taylor]: Taking taylor expansion of x in y 0.189 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) 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 (/ 1 x) in x 0.189 * [taylor]: Taking taylor expansion of x in x 0.189 * [taylor]: Taking taylor expansion of (+ (sin (/ 1 y)) (/ 1 x)) 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 (/ 1 x) in x 0.189 * [taylor]: Taking taylor expansion of x in x 0.190 * [taylor]: Taking taylor expansion of 1 in y 0.191 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.191 * [taylor]: Taking taylor expansion of y in y 0.193 * [taylor]: Taking taylor expansion of 0 in y 0.196 * [taylor]: Taking taylor expansion of 0 in y 0.196 * [approximate]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in (x y) around 0 0.196 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in y 0.196 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.197 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.197 * [taylor]: Taking taylor expansion of -1 in y 0.197 * [taylor]: Taking taylor expansion of y in y 0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.197 * [taylor]: Taking taylor expansion of x in y 0.197 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 0.197 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.197 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.197 * [taylor]: Taking taylor expansion of -1 in x 0.197 * [taylor]: Taking taylor expansion of y in x 0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.197 * [taylor]: Taking taylor expansion of x in x 0.197 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y)) (/ 1 x)) in x 0.197 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.197 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.197 * [taylor]: Taking taylor expansion of -1 in x 0.197 * [taylor]: Taking taylor expansion of y in x 0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.198 * [taylor]: Taking taylor expansion of x in x 0.198 * [taylor]: Taking taylor expansion of -1 in y 0.199 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.199 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.199 * [taylor]: Taking taylor expansion of -1 in y 0.199 * [taylor]: Taking taylor expansion of y in y 0.202 * [taylor]: Taking taylor expansion of 0 in y 0.205 * [taylor]: Taking taylor expansion of 0 in y 0.206 * * * [progress]: simplifying candidates 0.206 * [simplify]: Simplifying using # : (expm1 (* z (cos y))) (log1p (* z (cos y))) (* z (cos y)) (+ (log z) (log (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (* (* (* z z) z) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (* (* (* z (cos y)) (* z (cos y))) (* z (cos y))) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) (* z 1) (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) (expm1 (+ (+ x (sin y)) (* z (cos y)))) (log1p (+ (+ x (sin y)) (* z (cos y)))) (* (* (exp x) (exp (sin y))) (exp (* z (cos y)))) (* (exp (+ x (sin y))) (exp (* z (cos y)))) (log (+ (+ x (sin y)) (* z (cos y)))) (exp (+ (+ x (sin y)) (* z (cos y)))) (* (cbrt (+ (+ x (sin y)) (* z (cos y)))) (cbrt (+ (+ x (sin y)) (* z (cos y))))) (cbrt (+ (+ x (sin y)) (* z (cos y)))) (* (* (+ (+ x (sin y)) (* z (cos y))) (+ (+ x (sin y)) (* z (cos y)))) (+ (+ x (sin y)) (* z (cos y)))) (sqrt (+ (+ x (sin y)) (* z (cos y)))) (sqrt (+ (+ x (sin y)) (* z (cos y)))) (+ (pow (+ x (sin y)) 3) (pow (* z (cos y)) 3)) (+ (* (+ x (sin y)) (+ x (sin y))) (- (* (* z (cos y)) (* z (cos y))) (* (+ x (sin y)) (* z (cos y))))) (- (* (+ x (sin y)) (+ x (sin y))) (* (* z (cos y)) (* z (cos y)))) (- (+ x (sin y)) (* z (cos y))) (+ (sin y) (* z (cos y))) (expm1 (+ x (sin y))) (log1p (+ x (sin y))) (* (exp x) (exp (sin y))) (log (+ x (sin y))) (exp (+ x (sin y))) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (cbrt (+ x (sin y))) (* (* (+ x (sin y)) (+ x (sin y))) (+ x (sin y))) (sqrt (+ x (sin y))) (sqrt (+ x (sin y))) (+ (pow x 3) (pow (sin y) 3)) (+ (* x x) (- (* (sin y) (sin y)) (* x (sin y)))) (- (* x x) (* (sin y) (sin y))) (- x (sin y)) (+ x (sin y)) z (* z (cos y)) (* z (cos y)) (+ x (+ z y)) (+ x (+ (sin y) (* z (cos y)))) (+ x (+ (sin y) (* z (cos y)))) (+ x y) (+ x (sin y)) (+ x (sin y)) 0.208 * * [simplify]: iteration 0 : 84 enodes (cost 495 ) 0.223 * * [simplify]: iteration 1 : 209 enodes (cost 462 ) 0.263 * * [simplify]: iteration 2 : 549 enodes (cost 420 ) 0.434 * * [simplify]: iteration 3 : 1756 enodes (cost 420 ) 1.228 * * [simplify]: iteration done : 5001 enodes (cost 420 ) 1.228 * [simplify]: Simplified to: (expm1 (* z (cos y))) (log1p (* z (cos y))) (* z (cos y)) (log (* z (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (pow (* z (cos y)) 3) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (pow (* z (cos y)) 3) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) z (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) (expm1 (fma (cos y) z (+ x (sin y)))) (log1p (fma (cos y) z (+ x (sin y)))) (exp (fma (cos y) z (+ x (sin y)))) (exp (fma (cos y) z (+ x (sin y)))) (log (fma (cos y) z (+ x (sin y)))) (exp (fma (cos y) z (+ x (sin y)))) (* (cbrt (fma (cos y) z (+ x (sin y)))) (cbrt (fma (cos y) z (+ x (sin y))))) (cbrt (fma (cos y) z (+ x (sin y)))) (pow (fma (cos y) z (+ x (sin y))) 3) (sqrt (fma (cos y) z (+ x (sin y)))) (sqrt (fma (cos y) z (+ x (sin y)))) (+ (pow (+ x (sin y)) 3) (pow (* z (cos y)) 3)) (fma (+ x (sin y)) (+ x (sin y)) (* (* z (cos y)) (- (* z (cos y)) (+ x (sin y))))) (* (fma (cos y) z (+ x (sin y))) (- (+ x (sin y)) (* z (cos y)))) (- (+ x (sin y)) (* z (cos y))) (fma z (cos y) (sin y)) (expm1 (+ x (sin y))) (log1p (+ x (sin y))) (exp (+ x (sin y))) (log (+ x (sin y))) (exp (+ x (sin y))) (* (cbrt (+ x (sin y))) (cbrt (+ x (sin y)))) (cbrt (+ x (sin y))) (pow (+ x (sin y)) 3) (sqrt (+ x (sin y))) (sqrt (+ x (sin y))) (+ (pow x 3) (pow (sin y) 3)) (fma x x (* (sin y) (- (sin y) x))) (- (* x x) (* (sin y) (sin y))) (- x (sin y)) (+ x (sin y)) z (* z (cos y)) (* z (cos y)) (+ x (+ z y)) (fma (cos y) z (+ x (sin y))) (fma (cos y) z (+ x (sin y))) (+ x y) (+ x (sin y)) (+ x (sin y)) 1.228 * * * [progress]: adding candidates to table 1.393 * * [progress]: iteration 2 / 4 1.393 * * * [progress]: picking best candidate 1.410 * * * * [pick]: Picked # 1.410 * * * [progress]: localizing error 1.426 * * * [progress]: generating rewritten candidates 1.426 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1.427 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 1.427 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 1.428 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 1.436 * * * [progress]: generating series expansions 1.436 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1.436 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.436 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.437 * [taylor]: Taking taylor expansion of 1/3 in y 1.437 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.437 * [taylor]: Taking taylor expansion of (cos y) in y 1.437 * [taylor]: Taking taylor expansion of y in y 1.442 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.442 * [taylor]: Taking taylor expansion of 1/3 in y 1.442 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.442 * [taylor]: Taking taylor expansion of (cos y) in y 1.442 * [taylor]: Taking taylor expansion of y in y 1.465 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.465 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.465 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.465 * [taylor]: Taking taylor expansion of 1/3 in y 1.465 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.465 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.465 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.465 * [taylor]: Taking taylor expansion of y in y 1.465 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.465 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.465 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.465 * [taylor]: Taking taylor expansion of 1/3 in y 1.466 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.466 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.466 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.466 * [taylor]: Taking taylor expansion of y in y 1.503 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.503 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.503 * [taylor]: Taking taylor expansion of 1/3 in y 1.503 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.503 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.503 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.503 * [taylor]: Taking taylor expansion of -1 in y 1.503 * [taylor]: Taking taylor expansion of y in y 1.504 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.504 * [taylor]: Taking taylor expansion of 1/3 in y 1.504 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.504 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.504 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.504 * [taylor]: Taking taylor expansion of -1 in y 1.504 * [taylor]: Taking taylor expansion of y in y 1.548 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 1.548 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.548 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.548 * [taylor]: Taking taylor expansion of 1/3 in y 1.548 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.548 * [taylor]: Taking taylor expansion of (cos y) in y 1.548 * [taylor]: Taking taylor expansion of y in y 1.553 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.553 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.553 * [taylor]: Taking taylor expansion of 1/3 in y 1.553 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.553 * [taylor]: Taking taylor expansion of (cos y) in y 1.553 * [taylor]: Taking taylor expansion of y in y 1.577 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.577 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.577 * [taylor]: Taking taylor expansion of 1/3 in y 1.577 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.577 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.577 * [taylor]: Taking taylor expansion of y in y 1.578 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.578 * [taylor]: Taking taylor expansion of 1/3 in y 1.578 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.578 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.578 * [taylor]: Taking taylor expansion of y in y 1.622 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.622 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.622 * [taylor]: Taking taylor expansion of 1/3 in y 1.622 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.622 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.622 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.622 * [taylor]: Taking taylor expansion of -1 in y 1.622 * [taylor]: Taking taylor expansion of y in y 1.623 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.623 * [taylor]: Taking taylor expansion of 1/3 in y 1.623 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.623 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.623 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.623 * [taylor]: Taking taylor expansion of -1 in y 1.623 * [taylor]: Taking taylor expansion of y in y 1.661 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 1.661 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.661 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.661 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.661 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.661 * [taylor]: Taking taylor expansion of 1/3 in y 1.661 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.661 * [taylor]: Taking taylor expansion of (cos y) in y 1.661 * [taylor]: Taking taylor expansion of y in y 1.666 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.666 * [taylor]: Taking taylor expansion of 1/3 in y 1.666 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.666 * [taylor]: Taking taylor expansion of (cos y) in y 1.666 * [taylor]: Taking taylor expansion of y in y 1.689 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.689 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.689 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.689 * [taylor]: Taking taylor expansion of 1/3 in y 1.689 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.689 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.689 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.689 * [taylor]: Taking taylor expansion of y in y 1.690 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.690 * [taylor]: Taking taylor expansion of 1/3 in y 1.690 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.690 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.690 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.690 * [taylor]: Taking taylor expansion of y in y 1.732 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.732 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.732 * [taylor]: Taking taylor expansion of 1/3 in y 1.732 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.732 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.732 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.732 * [taylor]: Taking taylor expansion of -1 in y 1.732 * [taylor]: Taking taylor expansion of y in y 1.732 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.732 * [taylor]: Taking taylor expansion of 1/3 in y 1.732 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.732 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.732 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.732 * [taylor]: Taking taylor expansion of -1 in y 1.733 * [taylor]: Taking taylor expansion of y in y 1.768 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 1.769 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 1.769 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 1.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 1.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 1.769 * [taylor]: Taking taylor expansion of 1/3 in y 1.769 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 1.769 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.769 * [taylor]: Taking taylor expansion of (cos y) in y 1.769 * [taylor]: Taking taylor expansion of y in y 1.774 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 1.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 1.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 1.774 * [taylor]: Taking taylor expansion of 1/3 in y 1.774 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 1.774 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.774 * [taylor]: Taking taylor expansion of (cos y) in y 1.774 * [taylor]: Taking taylor expansion of y in y 1.846 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 1.846 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 1.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 1.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 1.846 * [taylor]: Taking taylor expansion of 1/3 in y 1.846 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 1.846 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.846 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.846 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.846 * [taylor]: Taking taylor expansion of y in y 1.847 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 1.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 1.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 1.847 * [taylor]: Taking taylor expansion of 1/3 in y 1.847 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 1.847 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.847 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.847 * [taylor]: Taking taylor expansion of y in y 1.894 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 1.894 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 1.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 1.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 1.894 * [taylor]: Taking taylor expansion of 1/3 in y 1.894 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 1.894 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.894 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.894 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.894 * [taylor]: Taking taylor expansion of -1 in y 1.894 * [taylor]: Taking taylor expansion of y in y 1.895 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 1.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 1.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 1.895 * [taylor]: Taking taylor expansion of 1/3 in y 1.895 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 1.895 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.895 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.895 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.895 * [taylor]: Taking taylor expansion of -1 in y 1.895 * [taylor]: Taking taylor expansion of y in y 1.936 * * * [progress]: simplifying candidates 1.937 * [simplify]: Simplifying using # : (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (* (cbrt (cos y)) (cbrt (cos y)))) (log1p (* (cbrt (cos y)) (cbrt (cos y)))) (+ 1/3 1/3) (+ 1 1) (* (cos y) (cos y)) (* (cbrt (cos y)) (cbrt (cos y))) (+ 1 1) (+ (log (cbrt (cos y))) (log (cbrt (cos y)))) (log (* (cbrt (cos y)) (cbrt (cos y)))) (exp (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (cos y)) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (cos y)) (cbrt (cos y))) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 1 1) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 2 1/3) (* 2 1) (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* (cbrt (cos y)) (cbrt 1)) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (* (cbrt (cos y)) 1) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (sqrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) 1.940 * * [simplify]: iteration 0 : 68 enodes (cost 726 ) 1.962 * * [simplify]: iteration 1 : 128 enodes (cost 651 ) 1.985 * * [simplify]: iteration 2 : 363 enodes (cost 551 ) 2.251 * * [simplify]: iteration 3 : 1342 enodes (cost 529 ) 3.811 * * [simplify]: iteration done : 5000 enodes (cost 523 ) 3.811 * [simplify]: Simplified to: (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (pow (cos y) 2/3)) (log1p (pow (cos y) 2/3)) 2/3 2 (pow (cos y) 2) (pow (cos y) 2/3) 2 (log (pow (cos y) 2/3)) (log (pow (cos y) 2/3)) (exp (pow (cos y) 2/3)) (pow (cos y) 2) (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3))) (cbrt (pow (cos y) 2/3)) (pow (cos y) 2) (fabs (cbrt (cos y))) (fabs (cbrt (cos y))) (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) 1 (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 1 (pow (cos y) 2/3) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 2/3 2 (* (cbrt (pow (cos y) 2/3)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (cbrt (cos y)) (pow (cbrt (cbrt (cos y))) (+ 4 1)) (pow (sqrt (cbrt (cos y))) 3) (cbrt (cos y)) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (pow (sqrt (cbrt (cos y))) 3) (pow (cos y) 2/3) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (fma -1/3 (pow y 2) (fma -1/405 (pow y 6) 1)) (pow (cos y) 2/3) (pow (cos y) 2/3) 3.812 * * * [progress]: adding candidates to table 4.083 * * [progress]: iteration 3 / 4 4.083 * * * [progress]: picking best candidate 4.101 * * * * [pick]: Picked # 4.101 * * * [progress]: localizing error 4.118 * * * [progress]: generating rewritten candidates 4.118 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 4.119 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 4.120 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 4.137 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 4.155 * * * [progress]: generating series expansions 4.155 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 4.155 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 4.155 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.155 * [taylor]: Taking taylor expansion of 1/3 in y 4.155 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.155 * [taylor]: Taking taylor expansion of (cos y) in y 4.155 * [taylor]: Taking taylor expansion of y in y 4.160 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.160 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.160 * [taylor]: Taking taylor expansion of 1/3 in y 4.160 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.160 * [taylor]: Taking taylor expansion of (cos y) in y 4.160 * [taylor]: Taking taylor expansion of y in y 4.184 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 4.184 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.184 * [taylor]: Taking taylor expansion of 1/3 in y 4.184 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.184 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.184 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.184 * [taylor]: Taking taylor expansion of y in y 4.185 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.185 * [taylor]: Taking taylor expansion of 1/3 in y 4.185 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.185 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.185 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.185 * [taylor]: Taking taylor expansion of y in y 4.224 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 4.224 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.224 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.224 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.224 * [taylor]: Taking taylor expansion of 1/3 in y 4.224 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.224 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.224 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.224 * [taylor]: Taking taylor expansion of -1 in y 4.224 * [taylor]: Taking taylor expansion of y in y 4.224 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.224 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.225 * [taylor]: Taking taylor expansion of 1/3 in y 4.225 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.225 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.225 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.225 * [taylor]: Taking taylor expansion of -1 in y 4.225 * [taylor]: Taking taylor expansion of y in y 4.269 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 4.269 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 4.269 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 4.269 * [taylor]: Taking taylor expansion of (cos y) in y 4.269 * [taylor]: Taking taylor expansion of y in y 4.269 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 4.269 * [taylor]: Taking taylor expansion of (cos y) in y 4.269 * [taylor]: Taking taylor expansion of y in y 4.275 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 4.275 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 4.275 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.275 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.275 * [taylor]: Taking taylor expansion of y in y 4.275 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 4.275 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.275 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.275 * [taylor]: Taking taylor expansion of y in y 4.280 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 4.280 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 4.280 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.280 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.280 * [taylor]: Taking taylor expansion of -1 in y 4.280 * [taylor]: Taking taylor expansion of y in y 4.281 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 4.281 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.281 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.281 * [taylor]: Taking taylor expansion of -1 in y 4.281 * [taylor]: Taking taylor expansion of y in y 4.286 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 4.286 * [approximate]: Taking taylor expansion of (* z (cos y)) in (z y) around 0 4.286 * [taylor]: Taking taylor expansion of (* z (cos y)) in y 4.286 * [taylor]: Taking taylor expansion of z in y 4.286 * [taylor]: Taking taylor expansion of (cos y) in y 4.286 * [taylor]: Taking taylor expansion of y in y 4.286 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 4.286 * [taylor]: Taking taylor expansion of z in z 4.286 * [taylor]: Taking taylor expansion of (cos y) in z 4.286 * [taylor]: Taking taylor expansion of y in z 4.286 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 4.286 * [taylor]: Taking taylor expansion of z in z 4.286 * [taylor]: Taking taylor expansion of (cos y) in z 4.286 * [taylor]: Taking taylor expansion of y in z 4.287 * [taylor]: Taking taylor expansion of 0 in y 4.289 * [taylor]: Taking taylor expansion of (cos y) in y 4.289 * [taylor]: Taking taylor expansion of y in y 4.291 * [taylor]: Taking taylor expansion of 0 in y 4.295 * [taylor]: Taking taylor expansion of 0 in y 4.296 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 4.296 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 4.296 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.296 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.296 * [taylor]: Taking taylor expansion of y in y 4.296 * [taylor]: Taking taylor expansion of z in y 4.296 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 4.296 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 4.296 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.296 * [taylor]: Taking taylor expansion of y in z 4.296 * [taylor]: Taking taylor expansion of z in z 4.297 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 4.297 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 4.297 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.297 * [taylor]: Taking taylor expansion of y in z 4.297 * [taylor]: Taking taylor expansion of z in z 4.297 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.297 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.297 * [taylor]: Taking taylor expansion of y in y 4.300 * [taylor]: Taking taylor expansion of 0 in y 4.303 * [taylor]: Taking taylor expansion of 0 in y 4.307 * [taylor]: Taking taylor expansion of 0 in y 4.308 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 4.308 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 4.308 * [taylor]: Taking taylor expansion of -1 in y 4.308 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 4.308 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.308 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.308 * [taylor]: Taking taylor expansion of -1 in y 4.308 * [taylor]: Taking taylor expansion of y in y 4.308 * [taylor]: Taking taylor expansion of z in y 4.308 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 4.308 * [taylor]: Taking taylor expansion of -1 in z 4.308 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 4.308 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 4.308 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.308 * [taylor]: Taking taylor expansion of -1 in z 4.308 * [taylor]: Taking taylor expansion of y in z 4.308 * [taylor]: Taking taylor expansion of z in z 4.309 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 4.309 * [taylor]: Taking taylor expansion of -1 in z 4.309 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 4.309 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 4.309 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.309 * [taylor]: Taking taylor expansion of -1 in z 4.309 * [taylor]: Taking taylor expansion of y in z 4.309 * [taylor]: Taking taylor expansion of z in z 4.309 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 4.310 * [taylor]: Taking taylor expansion of -1 in y 4.310 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.310 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.310 * [taylor]: Taking taylor expansion of -1 in y 4.310 * [taylor]: Taking taylor expansion of y in y 4.313 * [taylor]: Taking taylor expansion of 0 in y 4.317 * [taylor]: Taking taylor expansion of 0 in y 4.322 * [taylor]: Taking taylor expansion of 0 in y 4.322 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 4.328 * [approximate]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in (z y) around 0 4.328 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in y 4.328 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 4.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 4.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 4.328 * [taylor]: Taking taylor expansion of 1/3 in y 4.328 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 4.328 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 4.328 * [taylor]: Taking taylor expansion of (cos y) in y 4.328 * [taylor]: Taking taylor expansion of y in y 4.334 * [taylor]: Taking taylor expansion of z in y 4.334 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in z 4.334 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in z 4.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in z 4.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in z 4.334 * [taylor]: Taking taylor expansion of 1/3 in z 4.334 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in z 4.334 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 4.334 * [taylor]: Taking taylor expansion of (cos y) in z 4.334 * [taylor]: Taking taylor expansion of y in z 4.335 * [taylor]: Taking taylor expansion of z in z 4.335 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in z 4.335 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in z 4.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in z 4.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in z 4.335 * [taylor]: Taking taylor expansion of 1/3 in z 4.335 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in z 4.335 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 4.335 * [taylor]: Taking taylor expansion of (cos y) in z 4.335 * [taylor]: Taking taylor expansion of y in z 4.336 * [taylor]: Taking taylor expansion of z in z 4.336 * [taylor]: Taking taylor expansion of 0 in y 4.339 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 4.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 4.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 4.340 * [taylor]: Taking taylor expansion of 1/3 in y 4.340 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 4.340 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 4.340 * [taylor]: Taking taylor expansion of (cos y) in y 4.340 * [taylor]: Taking taylor expansion of y in y 4.350 * [taylor]: Taking taylor expansion of 0 in y 4.359 * [taylor]: Taking taylor expansion of 0 in y 4.359 * [approximate]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in (z y) around 0 4.359 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in y 4.359 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 4.359 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 4.359 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 4.359 * [taylor]: Taking taylor expansion of 1/3 in y 4.359 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 4.359 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 4.359 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.359 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.359 * [taylor]: Taking taylor expansion of y in y 4.360 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.360 * [taylor]: Taking taylor expansion of z in y 4.360 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in z 4.360 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in z 4.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in z 4.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in z 4.360 * [taylor]: Taking taylor expansion of 1/3 in z 4.360 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in z 4.360 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 4.360 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 4.360 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.360 * [taylor]: Taking taylor expansion of y in z 4.361 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.361 * [taylor]: Taking taylor expansion of z in z 4.361 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in z 4.361 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in z 4.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in z 4.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in z 4.361 * [taylor]: Taking taylor expansion of 1/3 in z 4.361 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in z 4.361 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 4.361 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 4.361 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.361 * [taylor]: Taking taylor expansion of y in z 4.362 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.362 * [taylor]: Taking taylor expansion of z in z 4.363 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 4.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 4.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 4.363 * [taylor]: Taking taylor expansion of 1/3 in y 4.363 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 4.363 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 4.363 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.363 * [taylor]: Taking taylor expansion of y in y 4.368 * [taylor]: Taking taylor expansion of 0 in y 4.376 * [taylor]: Taking taylor expansion of 0 in y 4.387 * [taylor]: Taking taylor expansion of 0 in y 4.388 * [approximate]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in (z y) around 0 4.388 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in y 4.388 * [taylor]: Taking taylor expansion of -1 in y 4.388 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in y 4.388 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 4.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 4.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 4.388 * [taylor]: Taking taylor expansion of 1/3 in y 4.388 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 4.388 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 4.388 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.388 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.388 * [taylor]: Taking taylor expansion of -1 in y 4.388 * [taylor]: Taking taylor expansion of y in y 4.389 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.389 * [taylor]: Taking taylor expansion of z in y 4.389 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in z 4.389 * [taylor]: Taking taylor expansion of -1 in z 4.389 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in z 4.389 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in z 4.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in z 4.389 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in z 4.389 * [taylor]: Taking taylor expansion of 1/3 in z 4.389 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in z 4.389 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 4.389 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 4.389 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.389 * [taylor]: Taking taylor expansion of -1 in z 4.389 * [taylor]: Taking taylor expansion of y in z 4.390 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.390 * [taylor]: Taking taylor expansion of z in z 4.390 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in z 4.390 * [taylor]: Taking taylor expansion of -1 in z 4.390 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in z 4.390 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in z 4.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in z 4.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in z 4.390 * [taylor]: Taking taylor expansion of 1/3 in z 4.390 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in z 4.390 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 4.390 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 4.390 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.390 * [taylor]: Taking taylor expansion of -1 in z 4.390 * [taylor]: Taking taylor expansion of y in z 4.391 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.391 * [taylor]: Taking taylor expansion of z in z 4.392 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 4.392 * [taylor]: Taking taylor expansion of -1 in y 4.392 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 4.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 4.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 4.392 * [taylor]: Taking taylor expansion of 1/3 in y 4.392 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 4.392 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 4.392 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.392 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.392 * [taylor]: Taking taylor expansion of -1 in y 4.392 * [taylor]: Taking taylor expansion of y in y 4.397 * [taylor]: Taking taylor expansion of 0 in y 4.407 * [taylor]: Taking taylor expansion of 0 in y 4.428 * [taylor]: Taking taylor expansion of 0 in y 4.428 * * * [progress]: simplifying candidates 4.430 * [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 (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 (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log1p (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (+ (+ (log z) (* (* (log (cos y)) 2) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (* (* (log (cos y)) 2) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (* (log (pow (cos y) 2)) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (* (log (pow (cos y) 2)) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (log (pow (pow (cos y) 2) 1/3))) (log (cbrt (cos y)))) (+ (log (* z (pow (pow (cos y) 2) 1/3))) (log (cbrt (cos y)))) (log (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (exp (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* (* (* z z) z) (pow (cos y) 2)) (cos y)) (* (* (* (* z z) z) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3))) (cos y)) (* (* (* (* z (pow (pow (cos y) 2) 1/3)) (* z (pow (pow (cos y) 2) 1/3))) (* z (pow (pow (cos y) 2) 1/3))) (cos y)) (* (cbrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (cbrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))) (cbrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (sqrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (sqrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (sqrt (cos y)))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt 1)) (* (* z (pow (pow (cos y) 2) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* z (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y)))) (* (* z (pow (pow (cos y) 2) 1/3)) 1) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (expm1 (* z (pow (pow (cos y) 2) 1/3))) (log1p (* z (pow (pow (cos y) 2) 1/3))) (+ (log z) (* (* (log (cos y)) 2) 1/3)) (+ (log z) (* (* (log (cos y)) 2) 1/3)) (+ (log z) (* (log (pow (cos y) 2)) 1/3)) (+ (log z) (* (log (pow (cos y) 2)) 1/3)) (+ (log z) (log (pow (pow (cos y) 2) 1/3))) (log (* z (pow (pow (cos y) 2) 1/3))) (exp (* z (pow (pow (cos y) 2) 1/3))) (* (* (* z z) z) (pow (cos y) 2)) (* (* (* z z) z) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3))) (* (cbrt (* z (pow (pow (cos y) 2) 1/3))) (cbrt (* z (pow (pow (cos y) 2) 1/3)))) (cbrt (* z (pow (pow (cos y) 2) 1/3))) (* (* (* z (pow (pow (cos y) 2) 1/3)) (* z (pow (pow (cos y) 2) 1/3))) (* z (pow (pow (cos y) 2) 1/3))) (sqrt (* z (pow (pow (cos y) 2) 1/3))) (sqrt (* z (pow (pow (cos y) 2) 1/3))) (* (sqrt z) (pow (pow (sqrt (cos y)) 2) 1/3)) (* (sqrt z) (pow (pow (sqrt (cos y)) 2) 1/3)) (* (sqrt z) (pow (cos y) 1/3)) (* (sqrt z) (pow (cos y) 1/3)) (* (sqrt z) (pow (sqrt (pow (cos y) 2)) 1/3)) (* (sqrt z) (pow (sqrt (pow (cos y) 2)) 1/3)) (* (sqrt z) (pow (pow (cos y) (/ 2 2)) 1/3)) (* (sqrt z) (pow (pow (cos y) (/ 2 2)) 1/3)) (* (sqrt z) (sqrt (pow (pow (cos y) 2) 1/3))) (* (sqrt z) (sqrt (pow (pow (cos y) 2) 1/3))) (* (sqrt z) (pow (pow (cos y) 2) (/ 1/3 2))) (* (sqrt z) (pow (pow (cos y) 2) (/ 1/3 2))) (* z (pow (pow (* (cbrt (cos y)) (cbrt (cos y))) 2) 1/3)) (* z (pow (pow (sqrt (cos y)) 2) 1/3)) (* z (pow (pow 1 2) 1/3)) (* z (pow (cos y) 1/3)) (* z (pow (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) 1/3)) (* z (pow (sqrt (pow (cos y) 2)) 1/3)) (* z (pow 1 1/3)) (* z (pow (pow (cos y) (/ 2 2)) 1/3)) (* z (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (pow (pow (cos y) 2) 1/3)))) (* z (sqrt (pow (pow (cos y) 2) 1/3))) (* z 1) (* z (pow (pow (cos y) 2) (/ 1/3 2))) (* (cbrt z) (pow (pow (cos y) 2) 1/3)) (* (sqrt z) (pow (pow (cos y) 2) 1/3)) (* z (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 (* z (cos y)) (* z (cos y)) z (* z (pow (pow (cos y) 2) 1/3)) (* z (pow (pow (cos y) 2) 1/3)) 4.433 * * [simplify]: iteration 0 : 141 enodes (cost 1143 ) 4.473 * * [simplify]: iteration 1 : 323 enodes (cost 945 ) 4.566 * * [simplify]: iteration 2 : 941 enodes (cost 845 ) 5.402 * * [simplify]: iteration 3 : 3908 enodes (cost 780 ) 6.804 * * [simplify]: iteration done : 5001 enodes (cost 780 ) 6.804 * [simplify]: Simplified to: (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (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 (pow (cos y) 2) 3) (fabs (cos y)) (fabs (cos y)) (cos y) (cos y) (expm1 (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (log1p (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))) (+ (log z) (log (cos y))) (+ (log z) (log (cos y))) (+ (log z) (log (cos y))) (+ (log z) (log (cos y))) (+ (log z) (log (cos y))) (+ (log z) (log (cos y))) (+ (log z) (log (cos y))) (pow (exp (* z (cbrt (pow (cos y) 2)))) (cbrt (cos y))) (* (pow z 3) (pow (cos y) 3)) (* (pow z 3) (pow (cos y) 3)) (* (pow z 3) (pow (cos y) 3)) (* (cbrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (cbrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))) (cbrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (pow z 3) (pow (cos y) 3)) (sqrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (sqrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* z (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2/3))) (* (* z (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y)))) (* z (cbrt (pow (cos y) 2))) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* z (cbrt (pow (cos y) 2)))) (* (sqrt (cbrt (cos y))) (* z (cbrt (pow (cos y) 2)))) (* z (cbrt (pow (cos y) 2))) (* (cbrt (cos y)) (cbrt (pow (cos y) 2))) (expm1 (* z (cbrt (pow (cos y) 2)))) (log1p (* z (cbrt (pow (cos y) 2)))) (fma (log (cos y)) 2/3 (log z)) (fma (log (cos y)) 2/3 (log z)) (fma (log (cos y)) 2/3 (log z)) (fma (log (cos y)) 2/3 (log z)) (fma (log (cos y)) 2/3 (log z)) (fma (log (cos y)) 2/3 (log z)) (exp (* z (cbrt (pow (cos y) 2)))) (* (pow (cos y) 2) (pow z 3)) (* (pow (cos y) 2) (pow z 3)) (* (cbrt (* z (cbrt (pow (cos y) 2)))) (cbrt (* z (cbrt (pow (cos y) 2))))) (cbrt (* z (cbrt (pow (cos y) 2)))) (* (pow (cos y) 2) (pow z 3)) (sqrt (* z (cbrt (pow (cos y) 2)))) (sqrt (* z (cbrt (pow (cos y) 2)))) (* (cbrt (cos y)) (sqrt z)) (* (cbrt (cos y)) (sqrt z)) (* (cbrt (cos y)) (sqrt z)) (* (cbrt (cos y)) (sqrt z)) (* (sqrt z) (cbrt (fabs (cos y)))) (* (sqrt z) (cbrt (fabs (cos y)))) (* (cbrt (cos y)) (sqrt z)) (* (cbrt (cos y)) (sqrt z)) (* (sqrt (cbrt (pow (cos y) 2))) (sqrt z)) (* (sqrt (cbrt (pow (cos y) 2))) (sqrt z)) (* (pow (pow (cos y) 2) 1/6) (sqrt z)) (* (pow (pow (cos y) 2) 1/6) (sqrt z)) (* z (cbrt (pow (cos y) 4/3))) (* z (cbrt (cos y))) z (* z (cbrt (cos y))) (* z (cbrt (pow (pow (cos y) 2) 2/3))) (* (cbrt (fabs (cos y))) z) z (* z (cbrt (cos y))) (* (* z (cbrt (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2)))) (* (sqrt (cbrt (pow (cos y) 2))) z) z (* z (pow (pow (cos y) 2) 1/6)) (* (cbrt (pow (cos y) 2)) (cbrt z)) (* (cbrt (pow (cos y) 2)) (sqrt z)) (* z (cbrt (pow (cos y) 2))) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- (fma 1/3 (pow y 4) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) z (* z (cos y)) (* z (cos y)) z (* z (cbrt (pow (cos y) 2))) (* z (cbrt (pow (cos y) 2))) 6.805 * * * [progress]: adding candidates to table 7.154 * * [progress]: iteration 4 / 4 7.154 * * * [progress]: picking best candidate 7.179 * * * * [pick]: Picked # 7.179 * * * [progress]: localizing error 7.205 * * * [progress]: generating rewritten candidates 7.205 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 7.206 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 1) 7.207 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 7.217 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 7.219 * * * [progress]: generating series expansions 7.219 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 7.219 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 7.219 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 7.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 7.219 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 7.219 * [taylor]: Taking taylor expansion of 1/3 in y 7.219 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.219 * [taylor]: Taking taylor expansion of (cos y) in y 7.219 * [taylor]: Taking taylor expansion of y in y 7.225 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 7.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 7.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 7.225 * [taylor]: Taking taylor expansion of 1/3 in y 7.225 * [taylor]: Taking taylor expansion of (log (cos y)) in y 7.225 * [taylor]: Taking taylor expansion of (cos y) in y 7.225 * [taylor]: Taking taylor expansion of y in y 7.254 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 7.254 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 7.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 7.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 7.254 * [taylor]: Taking taylor expansion of 1/3 in y 7.254 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.254 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.254 * [taylor]: Taking taylor expansion of y in y 7.255 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 7.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 7.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 7.255 * [taylor]: Taking taylor expansion of 1/3 in y 7.255 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 7.255 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.255 * [taylor]: Taking taylor expansion of y in y 7.292 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 7.292 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 7.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 7.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 7.292 * [taylor]: Taking taylor expansion of 1/3 in y 7.292 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.292 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.292 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.292 * [taylor]: Taking taylor expansion of -1 in y 7.292 * [taylor]: Taking taylor expansion of y in y 7.293 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 7.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 7.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 7.293 * [taylor]: Taking taylor expansion of 1/3 in y 7.293 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 7.293 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.293 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.293 * [taylor]: Taking taylor expansion of -1 in y 7.293 * [taylor]: Taking taylor expansion of y in y 7.338 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 1) 7.338 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 7.338 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 7.338 * [taylor]: Taking taylor expansion of (cos y) in y 7.338 * [taylor]: Taking taylor expansion of y in y 7.338 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 7.338 * [taylor]: Taking taylor expansion of (cos y) in y 7.338 * [taylor]: Taking taylor expansion of y in y 7.345 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 7.345 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 7.345 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.345 * [taylor]: Taking taylor expansion of y in y 7.346 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 7.346 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.346 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.346 * [taylor]: Taking taylor expansion of y in y 7.351 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 7.351 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 7.351 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.351 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.351 * [taylor]: Taking taylor expansion of -1 in y 7.351 * [taylor]: Taking taylor expansion of y in y 7.352 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 7.352 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.352 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.352 * [taylor]: Taking taylor expansion of -1 in y 7.352 * [taylor]: Taking taylor expansion of y in y 7.357 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 7.358 * [approximate]: Taking taylor expansion of (* (pow (* (cos y) (expm1 (log1p (pow (cos y) 2)))) 1/3) z) in (z y) around 0 7.358 * [taylor]: Taking taylor expansion of (* (pow (* (cos y) (expm1 (log1p (pow (cos y) 2)))) 1/3) z) in y 7.358 * [taylor]: Taking taylor expansion of (pow (* (cos y) (expm1 (log1p (pow (cos y) 2)))) 1/3) in y 7.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) (expm1 (log1p (pow (cos y) 2))))))) in y 7.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) (expm1 (log1p (pow (cos y) 2)))))) in y 7.358 * [taylor]: Taking taylor expansion of 1/3 in y 7.358 * [taylor]: Taking taylor expansion of (log (* (cos y) (expm1 (log1p (pow (cos y) 2))))) in y 7.358 * [taylor]: Taking taylor expansion of (* (cos y) (expm1 (log1p (pow (cos y) 2)))) in y 7.358 * [taylor]: Taking taylor expansion of (cos y) in y 7.358 * [taylor]: Taking taylor expansion of y in y 7.358 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2))) in y 7.358 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2))) 1) 7.358 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2))) in y 7.358 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2)) in y 7.358 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2))) 7.358 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2)) in y 7.358 * [taylor]: Taking taylor expansion of 1 in y 7.358 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 7.358 * [taylor]: Taking taylor expansion of (cos y) in y 7.358 * [taylor]: Taking taylor expansion of y in y 7.360 * [taylor]: Taking taylor expansion of 1 in y 7.375 * [taylor]: Taking taylor expansion of z in y 7.375 * [taylor]: Taking taylor expansion of (* (pow (* (cos y) (expm1 (log1p (pow (cos y) 2)))) 1/3) z) in z 7.375 * [taylor]: Taking taylor expansion of (pow (* (cos y) (expm1 (log1p (pow (cos y) 2)))) 1/3) in z 7.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) (expm1 (log1p (pow (cos y) 2))))))) in z 7.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) (expm1 (log1p (pow (cos y) 2)))))) in z 7.375 * [taylor]: Taking taylor expansion of 1/3 in z 7.375 * [taylor]: Taking taylor expansion of (log (* (cos y) (expm1 (log1p (pow (cos y) 2))))) in z 7.375 * [taylor]: Taking taylor expansion of (* (cos y) (expm1 (log1p (pow (cos y) 2)))) in z 7.375 * [taylor]: Taking taylor expansion of (cos y) in z 7.375 * [taylor]: Taking taylor expansion of y in z 7.376 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2))) in z 7.376 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2))) 1) 7.376 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2))) in z 7.376 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2)) in z 7.376 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2))) 7.376 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2)) in z 7.376 * [taylor]: Taking taylor expansion of 1 in z 7.376 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 7.376 * [taylor]: Taking taylor expansion of (cos y) in z 7.376 * [taylor]: Taking taylor expansion of y in z 7.377 * [taylor]: Taking taylor expansion of 1 in z 7.378 * [taylor]: Taking taylor expansion of z in z 7.378 * [taylor]: Taking taylor expansion of (* (pow (* (cos y) (expm1 (log1p (pow (cos y) 2)))) 1/3) z) in z 7.378 * [taylor]: Taking taylor expansion of (pow (* (cos y) (expm1 (log1p (pow (cos y) 2)))) 1/3) in z 7.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos y) (expm1 (log1p (pow (cos y) 2))))))) in z 7.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos y) (expm1 (log1p (pow (cos y) 2)))))) in z 7.378 * [taylor]: Taking taylor expansion of 1/3 in z 7.378 * [taylor]: Taking taylor expansion of (log (* (cos y) (expm1 (log1p (pow (cos y) 2))))) in z 7.378 * [taylor]: Taking taylor expansion of (* (cos y) (expm1 (log1p (pow (cos y) 2)))) in z 7.378 * [taylor]: Taking taylor expansion of (cos y) in z 7.378 * [taylor]: Taking taylor expansion of y in z 7.378 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2))) in z 7.378 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2))) 1) 7.378 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2))) in z 7.378 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2)) in z 7.378 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2))) 7.378 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2)) in z 7.378 * [taylor]: Taking taylor expansion of 1 in z 7.378 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 7.378 * [taylor]: Taking taylor expansion of (cos y) in z 7.378 * [taylor]: Taking taylor expansion of y in z 7.379 * [taylor]: Taking taylor expansion of 1 in z 7.380 * [taylor]: Taking taylor expansion of z in z 7.381 * [taylor]: Taking taylor expansion of 0 in y 7.389 * [taylor]: Taking taylor expansion of (cos y) in y 7.389 * [taylor]: Taking taylor expansion of y in y 7.400 * [taylor]: Taking taylor expansion of 0 in y 7.416 * [taylor]: Taking taylor expansion of 0 in y 7.417 * [approximate]: Taking taylor expansion of (* (pow (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2)))) 1/3) (/ 1 z)) in (z y) around 0 7.417 * [taylor]: Taking taylor expansion of (* (pow (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2)))) 1/3) (/ 1 z)) in y 7.417 * [taylor]: Taking taylor expansion of (pow (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2)))) 1/3) in y 7.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2))))))) in y 7.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2)))))) in y 7.417 * [taylor]: Taking taylor expansion of 1/3 in y 7.417 * [taylor]: Taking taylor expansion of (log (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2))))) in y 7.417 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2)))) in y 7.417 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.417 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.417 * [taylor]: Taking taylor expansion of y in y 7.417 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2))) in y 7.417 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2))) 1) 7.417 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2))) in y 7.417 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2)) in y 7.417 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2))) 7.418 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2)) in y 7.418 * [taylor]: Taking taylor expansion of 1 in y 7.418 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 7.418 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.418 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.418 * [taylor]: Taking taylor expansion of y in y 7.418 * [taylor]: Taking taylor expansion of 1 in y 7.419 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.419 * [taylor]: Taking taylor expansion of z in y 7.419 * [taylor]: Taking taylor expansion of (* (pow (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2)))) 1/3) (/ 1 z)) in z 7.419 * [taylor]: Taking taylor expansion of (pow (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2)))) 1/3) in z 7.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2))))))) in z 7.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2)))))) in z 7.419 * [taylor]: Taking taylor expansion of 1/3 in z 7.419 * [taylor]: Taking taylor expansion of (log (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2))))) in z 7.419 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2)))) in z 7.419 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.419 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.419 * [taylor]: Taking taylor expansion of y in z 7.420 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2))) in z 7.420 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2))) 1) 7.420 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2))) in z 7.420 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2)) in z 7.420 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2))) 7.420 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2)) in z 7.420 * [taylor]: Taking taylor expansion of 1 in z 7.420 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 7.420 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.420 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.420 * [taylor]: Taking taylor expansion of y in z 7.421 * [taylor]: Taking taylor expansion of 1 in z 7.422 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.422 * [taylor]: Taking taylor expansion of z in z 7.422 * [taylor]: Taking taylor expansion of (* (pow (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2)))) 1/3) (/ 1 z)) in z 7.422 * [taylor]: Taking taylor expansion of (pow (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2)))) 1/3) in z 7.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2))))))) in z 7.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2)))))) in z 7.423 * [taylor]: Taking taylor expansion of 1/3 in z 7.423 * [taylor]: Taking taylor expansion of (log (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2))))) in z 7.423 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (expm1 (log1p (pow (cos (/ 1 y)) 2)))) in z 7.423 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.423 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.423 * [taylor]: Taking taylor expansion of y in z 7.423 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2))) in z 7.423 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2))) 1) 7.423 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2))) in z 7.423 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2)) in z 7.423 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2))) 7.423 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2)) in z 7.423 * [taylor]: Taking taylor expansion of 1 in z 7.423 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 7.423 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 7.423 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.423 * [taylor]: Taking taylor expansion of y in z 7.424 * [taylor]: Taking taylor expansion of 1 in z 7.425 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.425 * [taylor]: Taking taylor expansion of z in z 7.426 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.426 * [taylor]: Taking taylor expansion of y in y 7.443 * [taylor]: Taking taylor expansion of 0 in y 7.456 * [taylor]: Taking taylor expansion of 0 in y 7.472 * [taylor]: Taking taylor expansion of 0 in y 7.473 * [approximate]: Taking taylor expansion of (* -1 (* (pow (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))) 1/3) (/ 1 z))) in (z y) around 0 7.473 * [taylor]: Taking taylor expansion of (* -1 (* (pow (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))) 1/3) (/ 1 z))) in y 7.473 * [taylor]: Taking taylor expansion of -1 in y 7.473 * [taylor]: Taking taylor expansion of (* (pow (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))) 1/3) (/ 1 z)) in y 7.473 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))) 1/3) in y 7.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2))))))) in y 7.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))))) in y 7.473 * [taylor]: Taking taylor expansion of 1/3 in y 7.473 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2))))) in y 7.473 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))) in y 7.473 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.473 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.473 * [taylor]: Taking taylor expansion of -1 in y 7.473 * [taylor]: Taking taylor expansion of y in y 7.474 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2))) in y 7.474 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2))) 1) 7.474 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2))) in y 7.474 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2)) in y 7.474 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2))) 7.474 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2)) in y 7.474 * [taylor]: Taking taylor expansion of 1 in y 7.474 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 7.474 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.474 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.474 * [taylor]: Taking taylor expansion of -1 in y 7.474 * [taylor]: Taking taylor expansion of y in y 7.475 * [taylor]: Taking taylor expansion of 1 in y 7.476 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.476 * [taylor]: Taking taylor expansion of z in y 7.476 * [taylor]: Taking taylor expansion of (* -1 (* (pow (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))) 1/3) (/ 1 z))) in z 7.476 * [taylor]: Taking taylor expansion of -1 in z 7.476 * [taylor]: Taking taylor expansion of (* (pow (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))) 1/3) (/ 1 z)) in z 7.476 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))) 1/3) in z 7.476 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2))))))) in z 7.476 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))))) in z 7.476 * [taylor]: Taking taylor expansion of 1/3 in z 7.476 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2))))) in z 7.476 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))) in z 7.476 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.476 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.476 * [taylor]: Taking taylor expansion of -1 in z 7.476 * [taylor]: Taking taylor expansion of y in z 7.476 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2))) in z 7.476 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2))) 1) 7.476 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2))) in z 7.476 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2)) in z 7.476 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2))) 7.476 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2)) in z 7.476 * [taylor]: Taking taylor expansion of 1 in z 7.476 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 7.476 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.476 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.476 * [taylor]: Taking taylor expansion of -1 in z 7.476 * [taylor]: Taking taylor expansion of y in z 7.477 * [taylor]: Taking taylor expansion of 1 in z 7.479 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.479 * [taylor]: Taking taylor expansion of z in z 7.479 * [taylor]: Taking taylor expansion of (* -1 (* (pow (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))) 1/3) (/ 1 z))) in z 7.479 * [taylor]: Taking taylor expansion of -1 in z 7.479 * [taylor]: Taking taylor expansion of (* (pow (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))) 1/3) (/ 1 z)) in z 7.479 * [taylor]: Taking taylor expansion of (pow (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))) 1/3) in z 7.479 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2))))))) in z 7.479 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))))) in z 7.479 * [taylor]: Taking taylor expansion of 1/3 in z 7.479 * [taylor]: Taking taylor expansion of (log (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2))))) in z 7.479 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (expm1 (log1p (pow (cos (/ -1 y)) 2)))) in z 7.479 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.479 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.479 * [taylor]: Taking taylor expansion of -1 in z 7.479 * [taylor]: Taking taylor expansion of y in z 7.479 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2))) in z 7.480 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2))) 1) 7.480 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2))) in z 7.480 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2)) in z 7.480 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2))) 7.480 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2)) in z 7.480 * [taylor]: Taking taylor expansion of 1 in z 7.480 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 7.480 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 7.480 * [taylor]: Taking taylor expansion of (/ -1 y) in z 7.480 * [taylor]: Taking taylor expansion of -1 in z 7.480 * [taylor]: Taking taylor expansion of y in z 7.481 * [taylor]: Taking taylor expansion of 1 in z 7.482 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.482 * [taylor]: Taking taylor expansion of z in z 7.482 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 7.483 * [taylor]: Taking taylor expansion of -1 in y 7.483 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.483 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.483 * [taylor]: Taking taylor expansion of -1 in y 7.483 * [taylor]: Taking taylor expansion of y in y 7.492 * [taylor]: Taking taylor expansion of 0 in y 7.506 * [taylor]: Taking taylor expansion of 0 in y 7.525 * [taylor]: Taking taylor expansion of 0 in y 7.525 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 7.525 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2))) in (y) around 0 7.525 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2))) in y 7.525 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2))) 1) 7.525 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2))) in y 7.525 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2)) in y 7.525 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2))) 7.525 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2)) in y 7.525 * [taylor]: Taking taylor expansion of 1 in y 7.525 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 7.525 * [taylor]: Taking taylor expansion of (cos y) in y 7.525 * [taylor]: Taking taylor expansion of y in y 7.527 * [taylor]: Taking taylor expansion of 1 in y 7.527 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos y) 2))) in y 7.527 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos y) 2))) 1) 7.527 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos y) 2))) in y 7.527 * [taylor]: Taking taylor expansion of (log1p (pow (cos y) 2)) in y 7.527 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos y) 2))) 7.527 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos y) 2)) in y 7.527 * [taylor]: Taking taylor expansion of 1 in y 7.527 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 7.527 * [taylor]: Taking taylor expansion of (cos y) in y 7.527 * [taylor]: Taking taylor expansion of y in y 7.529 * [taylor]: Taking taylor expansion of 1 in y 7.568 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2))) in (y) around 0 7.568 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2))) in y 7.569 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2))) 1) 7.569 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2))) in y 7.569 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2)) in y 7.570 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2))) 7.570 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2)) in y 7.570 * [taylor]: Taking taylor expansion of 1 in y 7.570 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 7.570 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.570 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.570 * [taylor]: Taking taylor expansion of y in y 7.571 * [taylor]: Taking taylor expansion of 1 in y 7.571 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ 1 y)) 2))) in y 7.571 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ 1 y)) 2))) 1) 7.571 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ 1 y)) 2))) in y 7.571 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ 1 y)) 2)) in y 7.571 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ 1 y)) 2))) 7.571 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ 1 y)) 2)) in y 7.571 * [taylor]: Taking taylor expansion of 1 in y 7.571 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 7.571 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 7.571 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.571 * [taylor]: Taking taylor expansion of y in y 7.572 * [taylor]: Taking taylor expansion of 1 in y 7.616 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2))) in (y) around 0 7.616 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2))) in y 7.616 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2))) 1) 7.616 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2))) in y 7.616 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2)) in y 7.616 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2))) 7.616 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2)) in y 7.616 * [taylor]: Taking taylor expansion of 1 in y 7.616 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 7.616 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.616 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.616 * [taylor]: Taking taylor expansion of -1 in y 7.616 * [taylor]: Taking taylor expansion of y in y 7.617 * [taylor]: Taking taylor expansion of 1 in y 7.617 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (cos (/ -1 y)) 2))) in y 7.617 * [taylor]: Rewrote expression to (- (exp (log1p (pow (cos (/ -1 y)) 2))) 1) 7.617 * [taylor]: Taking taylor expansion of (exp (log1p (pow (cos (/ -1 y)) 2))) in y 7.618 * [taylor]: Taking taylor expansion of (log1p (pow (cos (/ -1 y)) 2)) in y 7.618 * [taylor]: Rewrote expression to (log (+ 1 (pow (cos (/ -1 y)) 2))) 7.618 * [taylor]: Taking taylor expansion of (+ 1 (pow (cos (/ -1 y)) 2)) in y 7.618 * [taylor]: Taking taylor expansion of 1 in y 7.618 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 7.618 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 7.618 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.618 * [taylor]: Taking taylor expansion of -1 in y 7.618 * [taylor]: Taking taylor expansion of y in y 7.619 * [taylor]: Taking taylor expansion of 1 in y 7.672 * * * [progress]: simplifying candidates 7.673 * [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 (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 (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (cos y)))) (log1p (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (cos y)))) (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (cos y))) (+ (+ (log z) (* (log (expm1 (log1p (pow (cos y) 2)))) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (* (log (expm1 (log1p (pow (cos y) 2)))) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (log (pow (expm1 (log1p (pow (cos y) 2))) 1/3))) (log (cbrt (cos y)))) (+ (log (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3))) (log (cbrt (cos y)))) (log (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (cos y)))) (exp (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (cos y)))) (* (* (* (* z z) z) (expm1 (log1p (pow (cos y) 2)))) (cos y)) (* (* (* (* z z) z) (* (* (pow (expm1 (log1p (pow (cos y) 2))) 1/3) (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (pow (expm1 (log1p (pow (cos y) 2))) 1/3))) (cos y)) (* (* (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3))) (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3))) (cos y)) (* (cbrt (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (cos y)))) (cbrt (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (cos y))))) (cbrt (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (cos y)))) (* (* (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (cos y))) (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (cos y)))) (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (cos y)))) (sqrt (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (cos y)))) (sqrt (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (cos y)))) (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt (sqrt (cos y)))) (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (cbrt 1)) (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) (sqrt (cbrt (cos y)))) (* (* z (pow (expm1 (log1p (pow (cos y) 2))) 1/3)) 1) (* (pow (expm1 (log1p (pow (cos y) 2))) 1/3) (cbrt (cos y))) (exp (log1p (pow (cos y) 2))) (expm1 (expm1 (log1p (pow (cos y) 2)))) (log1p (expm1 (log1p (pow (cos y) 2)))) (log (expm1 (log1p (pow (cos y) 2)))) (exp (expm1 (log1p (pow (cos y) 2)))) (* (cbrt (expm1 (log1p (pow (cos y) 2)))) (cbrt (expm1 (log1p (pow (cos y) 2))))) (cbrt (expm1 (log1p (pow (cos y) 2)))) (* (* (expm1 (log1p (pow (cos y) 2))) (expm1 (log1p (pow (cos y) 2)))) (expm1 (log1p (pow (cos y) 2)))) (sqrt (expm1 (log1p (pow (cos y) 2)))) (sqrt (expm1 (log1p (pow (cos y) 2)))) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) z (* z (cos y)) (* z (cos y)) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) 7.676 * * [simplify]: iteration 0 : 109 enodes (cost 816 ) 7.703 * * [simplify]: iteration 1 : 244 enodes (cost 623 ) 8.015 * * [simplify]: iteration 2 : 805 enodes (cost 559 ) 9.013 * * [simplify]: iteration 3 : 3571 enodes (cost 509 ) 10.372 * * [simplify]: iteration done : 5001 enodes (cost 509 ) 10.373 * [simplify]: Simplified to: (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (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 (pow (cos y) 2) 3) (fabs (cos y)) (fabs (cos y)) (cos y) (cos y) (expm1 (* (cbrt (cos y)) (* z (cbrt (pow (cos y) 2))))) (log1p (* (cbrt (cos y)) (* z (cbrt (pow (cos y) 2))))) (* (cbrt (cos y)) (* z (cbrt (pow (cos y) 2)))) (+ (log (cos y)) (log z)) (+ (log (cos y)) (log z)) (+ (log (cos y)) (log z)) (+ (log (cos y)) (log z)) (+ (log (cos y)) (log z)) (exp (* (cbrt (cos y)) (* z (cbrt (pow (cos y) 2))))) (* (pow (cos y) 3) (pow z 3)) (* (pow (cos y) 3) (pow z 3)) (* (pow (cos y) 3) (pow z 3)) (* (cbrt (* (cbrt (cos y)) (* z (cbrt (pow (cos y) 2))))) (cbrt (* (cbrt (cos y)) (* z (cbrt (pow (cos y) 2)))))) (cbrt (* (cbrt (cos y)) (* z (cbrt (pow (cos y) 2))))) (* (pow (cos y) 3) (pow z 3)) (sqrt (* (cbrt (cos y)) (* z (cbrt (pow (cos y) 2))))) (sqrt (* (cbrt (cos y)) (* z (cbrt (pow (cos y) 2))))) (* (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2/3))) z) (* (* z (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y)))) (* z (cbrt (pow (cos y) 2))) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* z (cbrt (pow (cos y) 2)))) (* (sqrt (cbrt (cos y))) (* z (cbrt (pow (cos y) 2)))) (* z (cbrt (pow (cos y) 2))) (* (cbrt (pow (cos y) 2)) (cbrt (cos y))) (exp (log1p (pow (cos y) 2))) (expm1 (pow (cos y) 2)) (log1p (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 (pow (cos y) 2) 3) (fabs (cos y)) (fabs (cos y)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- (fma 1/3 (pow y 4) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) z (* z (cos y)) (* z (cos y)) (- (fma 1/3 (pow y 4) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) 10.373 * * * [progress]: adding candidates to table 10.663 * [progress]: [Phase 3 of 3] Extracting. 10.663 * * [regime]: Finding splitpoints for: (# # # # # # #) 10.665 * * * [regime-changes]: Trying 4 branch expressions: ((+ (+ x (sin y)) (* z (cos y))) z y x) 10.665 * * * * [regimes]: Trying to branch on (+ (+ x (sin y)) (* z (cos y))) from (# # # # # # #) 10.712 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 10.749 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 10.787 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 10.825 * * * [regime]: Found split indices: #