10.910 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.051 * * * [progress]: [2/2] Setting up program. 0.053 * [progress]: [Phase 2 of 3] Improving. 0.053 * [simplify]: Simplifying using # : (- (* x (cos y)) (* z (sin y))) 0.054 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.055 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.057 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 0.059 * * [simplify]: iteration 3 : 25 enodes (cost 9 ) 0.061 * * [simplify]: iteration done : 25 enodes (cost 9 ) 0.061 * [simplify]: Simplified to: (- (* x (cos y)) (* z (sin y))) 0.062 * * [progress]: iteration 1 / 4 0.062 * * * [progress]: picking best candidate 0.064 * * * * [pick]: Picked # 0.064 * * * [progress]: localizing error 0.074 * * * [progress]: generating rewritten candidates 0.074 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.078 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.081 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.086 * * * [progress]: generating series expansions 0.086 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.086 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 0.086 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.086 * [taylor]: Taking taylor expansion of (sin y) in y 0.086 * [taylor]: Taking taylor expansion of y in y 0.086 * [taylor]: Taking taylor expansion of z in y 0.086 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.086 * [taylor]: Taking taylor expansion of (sin y) in z 0.086 * [taylor]: Taking taylor expansion of y in z 0.086 * [taylor]: Taking taylor expansion of z in z 0.086 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.086 * [taylor]: Taking taylor expansion of (sin y) in z 0.086 * [taylor]: Taking taylor expansion of y in z 0.086 * [taylor]: Taking taylor expansion of z in z 0.086 * [taylor]: Taking taylor expansion of 0 in y 0.088 * [taylor]: Taking taylor expansion of (sin y) in y 0.088 * [taylor]: Taking taylor expansion of y in y 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.097 * [taylor]: Taking taylor expansion of 0 in y 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.102 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.102 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.102 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.102 * [taylor]: Taking taylor expansion of y in y 0.102 * [taylor]: Taking taylor expansion of z in y 0.102 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.102 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.102 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.102 * [taylor]: Taking taylor expansion of y in z 0.102 * [taylor]: Taking taylor expansion of z in z 0.102 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.102 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.103 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.103 * [taylor]: Taking taylor expansion of y in z 0.103 * [taylor]: Taking taylor expansion of z in z 0.103 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.103 * [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.112 * [taylor]: Taking taylor expansion of 0 in y 0.112 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.112 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.112 * [taylor]: Taking taylor expansion of -1 in y 0.112 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.112 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.112 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.112 * [taylor]: Taking taylor expansion of -1 in y 0.112 * [taylor]: Taking taylor expansion of y in y 0.113 * [taylor]: Taking taylor expansion of z in y 0.113 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.113 * [taylor]: Taking taylor expansion of -1 in z 0.113 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.113 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.113 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.113 * [taylor]: Taking taylor expansion of -1 in z 0.113 * [taylor]: Taking taylor expansion of y in z 0.113 * [taylor]: Taking taylor expansion of z in z 0.113 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.113 * [taylor]: Taking taylor expansion of -1 in z 0.113 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.113 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.113 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.113 * [taylor]: Taking taylor expansion of -1 in z 0.113 * [taylor]: Taking taylor expansion of y in z 0.113 * [taylor]: Taking taylor expansion of z in z 0.114 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.114 * [taylor]: Taking taylor expansion of -1 in y 0.114 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.114 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.114 * [taylor]: Taking taylor expansion of -1 in y 0.114 * [taylor]: Taking taylor expansion of y in y 0.117 * [taylor]: Taking taylor expansion of 0 in y 0.120 * [taylor]: Taking taylor expansion of 0 in y 0.125 * [taylor]: Taking taylor expansion of 0 in y 0.125 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.125 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0 0.125 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 0.125 * [taylor]: Taking taylor expansion of x in y 0.125 * [taylor]: Taking taylor expansion of (cos y) in y 0.125 * [taylor]: Taking taylor expansion of y in y 0.125 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of (cos y) in x 0.125 * [taylor]: Taking taylor expansion of y in x 0.126 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.126 * [taylor]: Taking taylor expansion of (cos y) in x 0.126 * [taylor]: Taking taylor expansion of y in x 0.126 * [taylor]: Taking taylor expansion of 0 in y 0.128 * [taylor]: Taking taylor expansion of (cos y) in y 0.128 * [taylor]: Taking taylor expansion of y in y 0.130 * [taylor]: Taking taylor expansion of 0 in y 0.134 * [taylor]: Taking taylor expansion of 0 in y 0.134 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 0.134 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.134 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.134 * [taylor]: Taking taylor expansion of y in y 0.135 * [taylor]: Taking taylor expansion of x in y 0.135 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.135 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.135 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.135 * [taylor]: Taking taylor expansion of y in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.135 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.135 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.135 * [taylor]: Taking taylor expansion of y in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.136 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.136 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.136 * [taylor]: Taking taylor expansion of y in y 0.138 * [taylor]: Taking taylor expansion of 0 in y 0.141 * [taylor]: Taking taylor expansion of 0 in y 0.145 * [taylor]: Taking taylor expansion of 0 in y 0.145 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 0.145 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 0.145 * [taylor]: Taking taylor expansion of -1 in y 0.145 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.145 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.146 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.146 * [taylor]: Taking taylor expansion of -1 in y 0.146 * [taylor]: Taking taylor expansion of y in y 0.146 * [taylor]: Taking taylor expansion of x in y 0.146 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.146 * [taylor]: Taking taylor expansion of -1 in x 0.146 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) 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 -1 in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.147 * [taylor]: Taking taylor expansion of -1 in x 0.147 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) 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 -1 in x 0.147 * [taylor]: Taking taylor expansion of y in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.147 * [taylor]: Taking taylor expansion of -1 in y 0.147 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.147 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.147 * [taylor]: Taking taylor expansion of -1 in y 0.147 * [taylor]: Taking taylor expansion of y in y 0.150 * [taylor]: Taking taylor expansion of 0 in y 0.154 * [taylor]: Taking taylor expansion of 0 in y 0.159 * [taylor]: Taking taylor expansion of 0 in y 0.160 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.160 * [approximate]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in (x y z) around 0 0.160 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in z 0.160 * [taylor]: Taking taylor expansion of (* x (cos y)) in z 0.160 * [taylor]: Taking taylor expansion of x in z 0.160 * [taylor]: Taking taylor expansion of (cos y) in z 0.160 * [taylor]: Taking taylor expansion of y in z 0.160 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.160 * [taylor]: Taking taylor expansion of (sin y) in z 0.160 * [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 (- (* x (cos y)) (* (sin y) z)) in y 0.160 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 0.160 * [taylor]: Taking taylor expansion of x in y 0.160 * [taylor]: Taking taylor expansion of (cos y) in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.160 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.160 * [taylor]: Taking taylor expansion of (sin y) in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.160 * [taylor]: Taking taylor expansion of z in y 0.160 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in x 0.160 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of (cos y) in x 0.160 * [taylor]: Taking taylor expansion of y in x 0.160 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.160 * [taylor]: Taking taylor expansion of (sin y) in x 0.160 * [taylor]: Taking taylor expansion of y in x 0.160 * [taylor]: Taking taylor expansion of z in x 0.160 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in x 0.160 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of (cos y) in x 0.160 * [taylor]: Taking taylor expansion of y in x 0.160 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.160 * [taylor]: Taking taylor expansion of (sin y) in x 0.160 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of z in x 0.161 * [taylor]: Taking taylor expansion of (- (* (sin y) z)) in y 0.161 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.161 * [taylor]: Taking taylor expansion of (sin y) 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 0 in z 0.165 * [taylor]: Taking taylor expansion of (cos y) in y 0.165 * [taylor]: Taking taylor expansion of y in y 0.165 * [taylor]: Taking taylor expansion of 1 in z 0.166 * [taylor]: Taking taylor expansion of (- z) in z 0.166 * [taylor]: Taking taylor expansion of z in z 0.171 * [taylor]: Taking taylor expansion of 0 in y 0.171 * [taylor]: Taking taylor expansion of 0 in z 0.172 * [taylor]: Taking taylor expansion of 0 in z 0.173 * [taylor]: Taking taylor expansion of 0 in z 0.173 * [approximate]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in (x y z) around 0 0.173 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z 0.173 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in z 0.173 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.173 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.173 * [taylor]: Taking taylor expansion of y in z 0.173 * [taylor]: Taking taylor expansion of x in z 0.174 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.174 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.174 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.174 * [taylor]: Taking taylor expansion of y in z 0.174 * [taylor]: Taking taylor expansion of z in z 0.174 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y 0.174 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.174 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.174 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.174 * [taylor]: Taking taylor expansion of y in y 0.174 * [taylor]: Taking taylor expansion of x in y 0.174 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.175 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.175 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.175 * [taylor]: Taking taylor expansion of y in y 0.175 * [taylor]: Taking taylor expansion of z in y 0.175 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x 0.175 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.175 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.175 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.175 * [taylor]: Taking taylor expansion of y in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.176 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.176 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.176 * [taylor]: Taking taylor expansion of y in x 0.176 * [taylor]: Taking taylor expansion of z in x 0.176 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x 0.176 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.176 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.176 * [taylor]: Taking taylor expansion of y in x 0.176 * [taylor]: Taking taylor expansion of x in x 0.177 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.177 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.177 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.177 * [taylor]: Taking taylor expansion of y in x 0.177 * [taylor]: Taking taylor expansion of z in x 0.177 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.177 * [taylor]: Taking taylor expansion of y in y 0.177 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.177 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.177 * [taylor]: Taking taylor expansion of y in z 0.180 * [taylor]: Taking taylor expansion of (- (/ (sin (/ 1 y)) z)) in y 0.180 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.180 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.180 * [taylor]: Taking taylor expansion of y in y 0.180 * [taylor]: Taking taylor expansion of z in y 0.180 * [taylor]: Taking taylor expansion of (- (/ (sin (/ 1 y)) z)) in z 0.180 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.180 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.180 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.180 * [taylor]: Taking taylor expansion of y in z 0.181 * [taylor]: Taking taylor expansion of z in z 0.183 * [taylor]: Taking taylor expansion of 0 in z 0.189 * [taylor]: Taking taylor expansion of 0 in y 0.189 * [taylor]: Taking taylor expansion of 0 in z 0.189 * [taylor]: Taking taylor expansion of 0 in z 0.189 * [taylor]: Taking taylor expansion of 0 in z 0.200 * [taylor]: Taking taylor expansion of 0 in y 0.200 * [taylor]: Taking taylor expansion of 0 in z 0.200 * [taylor]: Taking taylor expansion of 0 in z 0.200 * [taylor]: Taking taylor expansion of 0 in z 0.200 * [taylor]: Taking taylor expansion of 0 in z 0.201 * [approximate]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in (x y z) around 0 0.201 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in z 0.201 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.201 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.201 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.201 * [taylor]: Taking taylor expansion of -1 in z 0.201 * [taylor]: Taking taylor expansion of y in z 0.201 * [taylor]: Taking taylor expansion of z in z 0.201 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in z 0.201 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.201 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.201 * [taylor]: Taking taylor expansion of -1 in z 0.201 * [taylor]: Taking taylor expansion of y in z 0.201 * [taylor]: Taking taylor expansion of x in z 0.202 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in y 0.202 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.202 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.202 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.202 * [taylor]: Taking taylor expansion of -1 in y 0.202 * [taylor]: Taking taylor expansion of y in y 0.202 * [taylor]: Taking taylor expansion of z in y 0.202 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.202 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.202 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.202 * [taylor]: Taking taylor expansion of -1 in y 0.202 * [taylor]: Taking taylor expansion of y in y 0.203 * [taylor]: Taking taylor expansion of x in y 0.203 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x 0.203 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.203 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.203 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.203 * [taylor]: Taking taylor expansion of -1 in x 0.203 * [taylor]: Taking taylor expansion of y in x 0.203 * [taylor]: Taking taylor expansion of z in x 0.203 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.203 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.203 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.203 * [taylor]: Taking taylor expansion of -1 in x 0.203 * [taylor]: Taking taylor expansion of y in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.204 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x 0.204 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.204 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.204 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.204 * [taylor]: Taking taylor expansion of -1 in x 0.204 * [taylor]: Taking taylor expansion of y in x 0.204 * [taylor]: Taking taylor expansion of z in x 0.204 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.204 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.204 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.204 * [taylor]: Taking taylor expansion of -1 in x 0.204 * [taylor]: Taking taylor expansion of y in x 0.204 * [taylor]: Taking taylor expansion of x in x 0.205 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in y 0.205 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.205 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.205 * [taylor]: Taking taylor expansion of -1 in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.205 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in z 0.205 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.205 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.205 * [taylor]: Taking taylor expansion of -1 in z 0.205 * [taylor]: Taking taylor expansion of y in z 0.208 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.208 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.208 * [taylor]: Taking taylor expansion of -1 in y 0.208 * [taylor]: Taking taylor expansion of y in y 0.208 * [taylor]: Taking taylor expansion of z in y 0.208 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.208 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.208 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.208 * [taylor]: Taking taylor expansion of -1 in z 0.208 * [taylor]: Taking taylor expansion of y in z 0.208 * [taylor]: Taking taylor expansion of z in z 0.209 * [taylor]: Taking taylor expansion of 0 in z 0.215 * [taylor]: Taking taylor expansion of 0 in y 0.215 * [taylor]: Taking taylor expansion of 0 in z 0.215 * [taylor]: Taking taylor expansion of 0 in z 0.215 * [taylor]: Taking taylor expansion of 0 in z 0.225 * [taylor]: Taking taylor expansion of 0 in y 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.226 * [taylor]: Taking taylor expansion of 0 in z 0.226 * * * [progress]: simplifying candidates 0.227 * [simplify]: Simplifying using # : (expm1 (* z (sin y))) (log1p (* z (sin y))) (* z (sin y)) (+ (log z) (log (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (* (* (* z z) z) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (* (* (* z (sin y)) (* z (sin y))) (* z (sin y))) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) (* z 1) (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (expm1 (* x (cos y))) (log1p (* x (cos y))) (* x (cos y)) (+ (log x) (log (cos y))) (log (* x (cos y))) (exp (* x (cos y))) (* (* (* x x) x) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* x (cos y))) (cbrt (* x (cos y)))) (cbrt (* x (cos y))) (* (* (* x (cos y)) (* x (cos y))) (* x (cos y))) (sqrt (* x (cos y))) (sqrt (* x (cos y))) (* (sqrt x) (sqrt (cos y))) (* (sqrt x) (sqrt (cos y))) (* x (* (cbrt (cos y)) (cbrt (cos y)))) (* x (sqrt (cos y))) (* x 1) (* (cbrt x) (cos y)) (* (sqrt x) (cos y)) (* x (cos y)) (fma x (cos y) (- (* (sin y) z))) (fma (- (sin y)) z (* (sin y) z)) (expm1 (- (* x (cos y)) (* z (sin y)))) (log1p (- (* x (cos y)) (* z (sin y)))) (- (* z (sin y))) (/ (exp (* x (cos y))) (exp (* z (sin y)))) (log (- (* x (cos y)) (* z (sin y)))) (exp (- (* x (cos y)) (* z (sin y)))) (* (cbrt (- (* x (cos y)) (* z (sin y)))) (cbrt (- (* x (cos y)) (* z (sin y))))) (cbrt (- (* x (cos y)) (* z (sin y)))) (* (* (- (* x (cos y)) (* z (sin y))) (- (* x (cos y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y)))) (- (pow (* x (cos y)) 3) (pow (* z (sin y)) 3)) (+ (* (* x (cos y)) (* x (cos y))) (+ (* (* z (sin y)) (* z (sin y))) (* (* x (cos y)) (* z (sin y))))) (- (* z (sin y))) (- (* (* x (cos y)) (* x (cos y))) (* (* z (sin y)) (* z (sin y)))) (+ (* x (cos y)) (* z (sin y))) (- (* z (sin y))) (* z y) (* (sin y) z) (* (sin y) z) x (* x (cos y)) (* x (cos y)) x (- (* x (cos y)) (* (sin y) z)) (- (* x (cos y)) (* (sin y) z)) 0.229 * * [simplify]: iteration 0 : 92 enodes (cost 527 ) 0.244 * * [simplify]: iteration 1 : 189 enodes (cost 495 ) 0.283 * * [simplify]: iteration 2 : 556 enodes (cost 477 ) 0.499 * * [simplify]: iteration 3 : 1682 enodes (cost 476 ) 1.266 * * [simplify]: iteration 4 : 3908 enodes (cost 471 ) 2.632 * * [simplify]: iteration done : 5000 enodes (cost 471 ) 2.632 * [simplify]: Simplified to: (expm1 (* z (sin y))) (log1p (* z (sin y))) (* z (sin y)) (log (* z (sin y))) (log (* z (sin y))) (exp (* z (sin y))) (pow (* z (sin y)) 3) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))) (pow (* z (sin y)) 3) (sqrt (* z (sin y))) (sqrt (* z (sin y))) (* (sqrt z) (sqrt (sin y))) (* (sqrt z) (sqrt (sin y))) (* z (* (cbrt (sin y)) (cbrt (sin y)))) (* z (sqrt (sin y))) z (* (cbrt z) (sin y)) (* (sqrt z) (sin y)) (* z (sin y)) (expm1 (* x (cos y))) (log1p (* x (cos y))) (* x (cos y)) (log (* x (cos y))) (log (* x (cos y))) (exp (* x (cos y))) (pow (* x (cos y)) 3) (* (cbrt (* x (cos y))) (cbrt (* x (cos y)))) (cbrt (* x (cos y))) (pow (* x (cos y)) 3) (sqrt (* x (cos y))) (sqrt (* x (cos y))) (* (sqrt x) (sqrt (cos y))) (* (sqrt x) (sqrt (cos y))) (* x (* (cbrt (cos y)) (cbrt (cos y)))) (* x (sqrt (cos y))) x (* (cbrt x) (cos y)) (* (sqrt x) (cos y)) (* x (cos y)) (fma z (- (sin y)) (* x (cos y))) 0 (expm1 (- (* x (cos y)) (* z (sin y)))) (log1p (- (* x (cos y)) (* z (sin y)))) (- (* z (sin y))) (exp (- (* x (cos y)) (* (sin y) z))) (log (- (* x (cos y)) (* z (sin y)))) (exp (- (* x (cos y)) (* (sin y) z))) (* (cbrt (- (* x (cos y)) (* z (sin y)))) (cbrt (- (* x (cos y)) (* z (sin y))))) (cbrt (- (* x (cos y)) (* z (sin y)))) (* (* (- (* x (cos y)) (* z (sin y))) (- (* x (cos y)) (* z (sin y)))) (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y)))) (sqrt (- (* x (cos y)) (* z (sin y)))) (- (pow (* x (cos y)) 3) (pow (* z (sin y)) 3)) (fma (* x (cos y)) (* x (cos y)) (* (* z (sin y)) (fma x (cos y) (* z (sin y))))) (- (* z (sin y))) (* (fma x (cos y) (* z (sin y))) (- (* x (cos y)) (* (sin y) z))) (fma (sin y) z (* x (cos y))) (- (* z (sin y))) (* z y) (* z (sin y)) (* z (sin y)) x (* x (cos y)) (* x (cos y)) x (fma z (- (sin y)) (* x (cos y))) (fma z (- (sin y)) (* x (cos y))) 2.633 * * * [progress]: adding candidates to table 2.774 * * [progress]: iteration 2 / 4 2.774 * * * [progress]: picking best candidate 2.797 * * * * [pick]: Picked # 2.797 * * * [progress]: localizing error 2.806 * * * [progress]: generating rewritten candidates 2.806 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 2.810 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.811 * * * [progress]: generating series expansions 2.811 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 2.813 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0 2.813 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 2.813 * [taylor]: Taking taylor expansion of x in y 2.813 * [taylor]: Taking taylor expansion of (cos y) in y 2.813 * [taylor]: Taking taylor expansion of y in y 2.813 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 2.813 * [taylor]: Taking taylor expansion of x in x 2.813 * [taylor]: Taking taylor expansion of (cos y) in x 2.813 * [taylor]: Taking taylor expansion of y in x 2.813 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 2.813 * [taylor]: Taking taylor expansion of x in x 2.813 * [taylor]: Taking taylor expansion of (cos y) in x 2.813 * [taylor]: Taking taylor expansion of y in x 2.814 * [taylor]: Taking taylor expansion of 0 in y 2.816 * [taylor]: Taking taylor expansion of (cos y) in y 2.816 * [taylor]: Taking taylor expansion of y in y 2.819 * [taylor]: Taking taylor expansion of 0 in y 2.822 * [taylor]: Taking taylor expansion of 0 in y 2.822 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 2.822 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 2.822 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.822 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.822 * [taylor]: Taking taylor expansion of y in y 2.823 * [taylor]: Taking taylor expansion of x in y 2.823 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 2.823 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.823 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.823 * [taylor]: Taking taylor expansion of y in x 2.823 * [taylor]: Taking taylor expansion of x in x 2.823 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 2.823 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.823 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.823 * [taylor]: Taking taylor expansion of y in x 2.823 * [taylor]: Taking taylor expansion of x in x 2.824 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.824 * [taylor]: Taking taylor expansion of y in y 2.826 * [taylor]: Taking taylor expansion of 0 in y 2.829 * [taylor]: Taking taylor expansion of 0 in y 2.833 * [taylor]: Taking taylor expansion of 0 in y 2.833 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 2.833 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 2.833 * [taylor]: Taking taylor expansion of -1 in y 2.833 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 2.833 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.834 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.834 * [taylor]: Taking taylor expansion of -1 in y 2.834 * [taylor]: Taking taylor expansion of y in y 2.834 * [taylor]: Taking taylor expansion of x in y 2.834 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 2.834 * [taylor]: Taking taylor expansion of -1 in x 2.834 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 2.834 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.834 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.834 * [taylor]: Taking taylor expansion of -1 in x 2.834 * [taylor]: Taking taylor expansion of y in x 2.834 * [taylor]: Taking taylor expansion of x in x 2.835 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 2.835 * [taylor]: Taking taylor expansion of -1 in x 2.835 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 2.835 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.835 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.835 * [taylor]: Taking taylor expansion of -1 in x 2.835 * [taylor]: Taking taylor expansion of y in x 2.835 * [taylor]: Taking taylor expansion of x in x 2.835 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 2.835 * [taylor]: Taking taylor expansion of -1 in y 2.835 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.835 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.835 * [taylor]: Taking taylor expansion of -1 in y 2.835 * [taylor]: Taking taylor expansion of y in y 2.838 * [taylor]: Taking taylor expansion of 0 in y 2.842 * [taylor]: Taking taylor expansion of 0 in y 2.847 * [taylor]: Taking taylor expansion of 0 in y 2.848 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.848 * [approximate]: Taking taylor expansion of (fma z (- (sin y)) (* x (cos y))) in (z y x) around 0 2.848 * [taylor]: Taking taylor expansion of (fma z (- (sin y)) (* x (cos y))) in x 2.848 * [taylor]: Rewrote expression to (+ (* z (- (sin y))) (* x (cos y))) 2.848 * [taylor]: Taking taylor expansion of (* z (- (sin y))) in x 2.848 * [taylor]: Taking taylor expansion of z in x 2.848 * [taylor]: Taking taylor expansion of (- (sin y)) in x 2.848 * [taylor]: Taking taylor expansion of (sin y) in x 2.848 * [taylor]: Taking taylor expansion of y in x 2.848 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 2.848 * [taylor]: Taking taylor expansion of x in x 2.848 * [taylor]: Taking taylor expansion of (cos y) in x 2.848 * [taylor]: Taking taylor expansion of y in x 2.848 * [taylor]: Taking taylor expansion of (fma z (- (sin y)) (* x (cos y))) in y 2.848 * [taylor]: Rewrote expression to (+ (* z (- (sin y))) (* x (cos y))) 2.848 * [taylor]: Taking taylor expansion of (* z (- (sin y))) in y 2.848 * [taylor]: Taking taylor expansion of z in y 2.848 * [taylor]: Taking taylor expansion of (- (sin y)) in y 2.848 * [taylor]: Taking taylor expansion of (sin y) in y 2.848 * [taylor]: Taking taylor expansion of y in y 2.848 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 2.848 * [taylor]: Taking taylor expansion of x in y 2.848 * [taylor]: Taking taylor expansion of (cos y) in y 2.848 * [taylor]: Taking taylor expansion of y in y 2.848 * [taylor]: Taking taylor expansion of (fma z (- (sin y)) (* x (cos y))) in z 2.848 * [taylor]: Rewrote expression to (+ (* z (- (sin y))) (* x (cos y))) 2.848 * [taylor]: Taking taylor expansion of (* z (- (sin y))) in z 2.848 * [taylor]: Taking taylor expansion of z in z 2.848 * [taylor]: Taking taylor expansion of (- (sin y)) in z 2.849 * [taylor]: Taking taylor expansion of (sin y) in z 2.849 * [taylor]: Taking taylor expansion of y in z 2.849 * [taylor]: Taking taylor expansion of (* x (cos y)) in z 2.849 * [taylor]: Taking taylor expansion of x in z 2.849 * [taylor]: Taking taylor expansion of (cos y) in z 2.849 * [taylor]: Taking taylor expansion of y in z 2.849 * [taylor]: Taking taylor expansion of (fma z (- (sin y)) (* x (cos y))) in z 2.849 * [taylor]: Rewrote expression to (+ (* z (- (sin y))) (* x (cos y))) 2.849 * [taylor]: Taking taylor expansion of (* z (- (sin y))) in z 2.849 * [taylor]: Taking taylor expansion of z in z 2.849 * [taylor]: Taking taylor expansion of (- (sin y)) in z 2.849 * [taylor]: Taking taylor expansion of (sin y) in z 2.849 * [taylor]: Taking taylor expansion of y in z 2.849 * [taylor]: Taking taylor expansion of (* x (cos y)) in z 2.849 * [taylor]: Taking taylor expansion of x in z 2.849 * [taylor]: Taking taylor expansion of (cos y) in z 2.849 * [taylor]: Taking taylor expansion of y in z 2.850 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 2.850 * [taylor]: Taking taylor expansion of x in y 2.850 * [taylor]: Taking taylor expansion of (cos y) in y 2.850 * [taylor]: Taking taylor expansion of y in y 2.850 * [taylor]: Taking taylor expansion of x in x 2.853 * [taylor]: Taking taylor expansion of (- (sin y)) in y 2.853 * [taylor]: Taking taylor expansion of (sin y) in y 2.853 * [taylor]: Taking taylor expansion of y in y 2.854 * [taylor]: Taking taylor expansion of 0 in x 2.854 * [taylor]: Taking taylor expansion of 0 in x 2.860 * [taylor]: Taking taylor expansion of 0 in y 2.860 * [taylor]: Taking taylor expansion of 0 in x 2.861 * [taylor]: Taking taylor expansion of -1 in x 2.862 * [taylor]: Taking taylor expansion of (- (* 1/2 x)) in x 2.862 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 2.862 * [taylor]: Taking taylor expansion of 1/2 in x 2.862 * [taylor]: Taking taylor expansion of x in x 2.869 * [taylor]: Taking taylor expansion of 0 in y 2.869 * [taylor]: Taking taylor expansion of 0 in x 2.869 * [taylor]: Taking taylor expansion of 0 in x 2.870 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (- (sin (/ 1 y))) (/ (cos (/ 1 y)) x)) in (z y x) around 0 2.870 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (sin (/ 1 y))) (/ (cos (/ 1 y)) x)) in x 2.870 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (sin (/ 1 y)))) (/ (cos (/ 1 y)) x)) 2.870 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (sin (/ 1 y)))) in x 2.870 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.870 * [taylor]: Taking taylor expansion of z in x 2.870 * [taylor]: Taking taylor expansion of (- (sin (/ 1 y))) in x 2.870 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 2.870 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.870 * [taylor]: Taking taylor expansion of y in x 2.870 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 2.870 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.870 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.870 * [taylor]: Taking taylor expansion of y in x 2.870 * [taylor]: Taking taylor expansion of x in x 2.871 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (sin (/ 1 y))) (/ (cos (/ 1 y)) x)) in y 2.871 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (sin (/ 1 y)))) (/ (cos (/ 1 y)) x)) 2.871 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (sin (/ 1 y)))) in y 2.871 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.871 * [taylor]: Taking taylor expansion of z in y 2.871 * [taylor]: Taking taylor expansion of (- (sin (/ 1 y))) in y 2.871 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.871 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.871 * [taylor]: Taking taylor expansion of y in y 2.871 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 2.871 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.871 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.871 * [taylor]: Taking taylor expansion of y in y 2.872 * [taylor]: Taking taylor expansion of x in y 2.872 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (sin (/ 1 y))) (/ (cos (/ 1 y)) x)) in z 2.872 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (sin (/ 1 y)))) (/ (cos (/ 1 y)) x)) 2.872 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (sin (/ 1 y)))) in z 2.872 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.872 * [taylor]: Taking taylor expansion of z in z 2.872 * [taylor]: Taking taylor expansion of (- (sin (/ 1 y))) in z 2.872 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 2.872 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.872 * [taylor]: Taking taylor expansion of y in z 2.872 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in z 2.872 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.872 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.872 * [taylor]: Taking taylor expansion of y in z 2.873 * [taylor]: Taking taylor expansion of x in z 2.873 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (sin (/ 1 y))) (/ (cos (/ 1 y)) x)) in z 2.873 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (sin (/ 1 y)))) (/ (cos (/ 1 y)) x)) 2.873 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (sin (/ 1 y)))) in z 2.873 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.873 * [taylor]: Taking taylor expansion of z in z 2.873 * [taylor]: Taking taylor expansion of (- (sin (/ 1 y))) in z 2.873 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 2.873 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.873 * [taylor]: Taking taylor expansion of y in z 2.874 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in z 2.874 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 2.874 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.874 * [taylor]: Taking taylor expansion of y in z 2.874 * [taylor]: Taking taylor expansion of x in z 2.874 * [taylor]: Taking taylor expansion of (- (sin (/ 1 y))) in y 2.874 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 2.874 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.874 * [taylor]: Taking taylor expansion of y in y 2.875 * [taylor]: Taking taylor expansion of (- (sin (/ 1 y))) in x 2.875 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 2.875 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.875 * [taylor]: Taking taylor expansion of y in x 2.877 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 2.877 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.877 * [taylor]: Taking taylor expansion of y in y 2.878 * [taylor]: Taking taylor expansion of x in y 2.878 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 2.878 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 2.878 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.878 * [taylor]: Taking taylor expansion of y in x 2.878 * [taylor]: Taking taylor expansion of x in x 2.879 * [taylor]: Taking taylor expansion of 0 in x 2.884 * [taylor]: Taking taylor expansion of 0 in y 2.884 * [taylor]: Taking taylor expansion of 0 in x 2.884 * [taylor]: Taking taylor expansion of 0 in x 2.885 * [taylor]: Taking taylor expansion of 0 in x 2.895 * [taylor]: Taking taylor expansion of 0 in y 2.896 * [taylor]: Taking taylor expansion of 0 in x 2.896 * [taylor]: Taking taylor expansion of 0 in x 2.896 * [taylor]: Taking taylor expansion of 0 in x 2.896 * [taylor]: Taking taylor expansion of 0 in x 2.899 * [approximate]: Taking taylor expansion of (fma (/ -1 z) (- (sin (/ -1 y))) (* -1 (/ (cos (/ -1 y)) x))) in (z y x) around 0 2.899 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (sin (/ -1 y))) (* -1 (/ (cos (/ -1 y)) x))) in x 2.899 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (sin (/ -1 y)))) (* -1 (/ (cos (/ -1 y)) x))) 2.899 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (sin (/ -1 y)))) in x 2.899 * [taylor]: Taking taylor expansion of (/ -1 z) in x 2.899 * [taylor]: Taking taylor expansion of -1 in x 2.899 * [taylor]: Taking taylor expansion of z in x 2.899 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y))) in x 2.900 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 2.900 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.900 * [taylor]: Taking taylor expansion of -1 in x 2.900 * [taylor]: Taking taylor expansion of y in x 2.900 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 2.900 * [taylor]: Taking taylor expansion of -1 in x 2.900 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 2.900 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.900 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.900 * [taylor]: Taking taylor expansion of -1 in x 2.900 * [taylor]: Taking taylor expansion of y in x 2.900 * [taylor]: Taking taylor expansion of x in x 2.900 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (sin (/ -1 y))) (* -1 (/ (cos (/ -1 y)) x))) in y 2.900 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (sin (/ -1 y)))) (* -1 (/ (cos (/ -1 y)) x))) 2.900 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (sin (/ -1 y)))) in y 2.900 * [taylor]: Taking taylor expansion of (/ -1 z) in y 2.900 * [taylor]: Taking taylor expansion of -1 in y 2.900 * [taylor]: Taking taylor expansion of z in y 2.901 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y))) in y 2.901 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.901 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.901 * [taylor]: Taking taylor expansion of -1 in y 2.901 * [taylor]: Taking taylor expansion of y in y 2.901 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 2.901 * [taylor]: Taking taylor expansion of -1 in y 2.901 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 2.901 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.901 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.901 * [taylor]: Taking taylor expansion of -1 in y 2.901 * [taylor]: Taking taylor expansion of y in y 2.901 * [taylor]: Taking taylor expansion of x in y 2.901 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (sin (/ -1 y))) (* -1 (/ (cos (/ -1 y)) x))) in z 2.901 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (sin (/ -1 y)))) (* -1 (/ (cos (/ -1 y)) x))) 2.901 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (sin (/ -1 y)))) in z 2.902 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.902 * [taylor]: Taking taylor expansion of -1 in z 2.902 * [taylor]: Taking taylor expansion of z in z 2.902 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y))) in z 2.902 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 2.902 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.902 * [taylor]: Taking taylor expansion of -1 in z 2.902 * [taylor]: Taking taylor expansion of y in z 2.902 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in z 2.902 * [taylor]: Taking taylor expansion of -1 in z 2.902 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in z 2.902 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.902 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.902 * [taylor]: Taking taylor expansion of -1 in z 2.902 * [taylor]: Taking taylor expansion of y in z 2.902 * [taylor]: Taking taylor expansion of x in z 2.903 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (sin (/ -1 y))) (* -1 (/ (cos (/ -1 y)) x))) in z 2.903 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (sin (/ -1 y)))) (* -1 (/ (cos (/ -1 y)) x))) 2.903 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (sin (/ -1 y)))) in z 2.903 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.903 * [taylor]: Taking taylor expansion of -1 in z 2.903 * [taylor]: Taking taylor expansion of z in z 2.903 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y))) in z 2.903 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 2.903 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.903 * [taylor]: Taking taylor expansion of -1 in z 2.903 * [taylor]: Taking taylor expansion of y in z 2.903 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in z 2.903 * [taylor]: Taking taylor expansion of -1 in z 2.903 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in z 2.903 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 2.903 * [taylor]: Taking taylor expansion of (/ -1 y) in z 2.903 * [taylor]: Taking taylor expansion of -1 in z 2.903 * [taylor]: Taking taylor expansion of y in z 2.903 * [taylor]: Taking taylor expansion of x in z 2.904 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 2.904 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.904 * [taylor]: Taking taylor expansion of -1 in y 2.904 * [taylor]: Taking taylor expansion of y in y 2.904 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 2.904 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.904 * [taylor]: Taking taylor expansion of -1 in x 2.904 * [taylor]: Taking taylor expansion of y in x 2.907 * [taylor]: Taking taylor expansion of (- (/ (cos (/ -1 y)) x)) in y 2.907 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 2.907 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.907 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.907 * [taylor]: Taking taylor expansion of -1 in y 2.907 * [taylor]: Taking taylor expansion of y in y 2.908 * [taylor]: Taking taylor expansion of x in y 2.908 * [taylor]: Taking taylor expansion of (- (/ (cos (/ -1 y)) x)) in x 2.908 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 2.908 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 2.908 * [taylor]: Taking taylor expansion of (/ -1 y) in x 2.908 * [taylor]: Taking taylor expansion of -1 in x 2.908 * [taylor]: Taking taylor expansion of y in x 2.908 * [taylor]: Taking taylor expansion of x in x 2.908 * [taylor]: Taking taylor expansion of 0 in x 2.914 * [taylor]: Taking taylor expansion of 0 in y 2.915 * [taylor]: Taking taylor expansion of 0 in x 2.915 * [taylor]: Taking taylor expansion of 0 in x 2.915 * [taylor]: Taking taylor expansion of 0 in x 2.926 * [taylor]: Taking taylor expansion of 0 in y 2.926 * [taylor]: Taking taylor expansion of 0 in x 2.926 * [taylor]: Taking taylor expansion of 0 in x 2.927 * [taylor]: Taking taylor expansion of 0 in x 2.927 * [taylor]: Taking taylor expansion of 0 in x 2.927 * * * [progress]: simplifying candidates 2.928 * [simplify]: Simplifying using # : (expm1 (* x (cos y))) (log1p (* x (cos y))) (* x (cos y)) (+ (log x) (log (cos y))) (log (* x (cos y))) (exp (* x (cos y))) (* (* (* x x) x) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* x (cos y))) (cbrt (* x (cos y)))) (cbrt (* x (cos y))) (* (* (* x (cos y)) (* x (cos y))) (* x (cos y))) (sqrt (* x (cos y))) (sqrt (* x (cos y))) (* (sqrt x) (sqrt (cos y))) (* (sqrt x) (sqrt (cos y))) (* x (* (cbrt (cos y)) (cbrt (cos y)))) (* x (sqrt (cos y))) (* x 1) (* (cbrt x) (cos y)) (* (sqrt x) (cos y)) (* x (cos y)) (expm1 (fma z (- (sin y)) (* x (cos y)))) (log1p (fma z (- (sin y)) (* x (cos y)))) (* z (- (sin y))) (log (fma z (- (sin y)) (* x (cos y)))) (exp (fma z (- (sin y)) (* x (cos y)))) (* (cbrt (fma z (- (sin y)) (* x (cos y)))) (cbrt (fma z (- (sin y)) (* x (cos y))))) (cbrt (fma z (- (sin y)) (* x (cos y)))) (* (* (fma z (- (sin y)) (* x (cos y))) (fma z (- (sin y)) (* x (cos y)))) (fma z (- (sin y)) (* x (cos y)))) (sqrt (fma z (- (sin y)) (* x (cos y)))) (sqrt (fma z (- (sin y)) (* x (cos y)))) x (* x (cos y)) (* x (cos y)) (- x (* z y)) (- (* x (cos y)) (* (sin y) z)) (- (* x (cos y)) (* (sin y) z)) 2.929 * * [simplify]: iteration 0 : 51 enodes (cost 284 ) 2.936 * * [simplify]: iteration 1 : 90 enodes (cost 281 ) 2.951 * * [simplify]: iteration 2 : 224 enodes (cost 247 ) 3.011 * * [simplify]: iteration 3 : 521 enodes (cost 247 ) 3.174 * * [simplify]: iteration 4 : 1224 enodes (cost 247 ) 3.831 * * [simplify]: iteration 5 : 4466 enodes (cost 247 ) 6.219 * * [simplify]: iteration done : 5000 enodes (cost 247 ) 6.219 * [simplify]: Simplified to: (expm1 (* x (cos y))) (log1p (* x (cos y))) (* x (cos y)) (log (* x (cos y))) (log (* x (cos y))) (exp (* x (cos y))) (pow (* x (cos y)) 3) (* (cbrt (* x (cos y))) (cbrt (* x (cos y)))) (cbrt (* x (cos y))) (pow (* x (cos y)) 3) (sqrt (* x (cos y))) (sqrt (* x (cos y))) (* (sqrt x) (sqrt (cos y))) (* (sqrt x) (sqrt (cos y))) (* x (* (cbrt (cos y)) (cbrt (cos y)))) (* x (sqrt (cos y))) x (* (cbrt x) (cos y)) (* (sqrt x) (cos y)) (* x (cos y)) (expm1 (fma z (- (sin y)) (* x (cos y)))) (log1p (fma z (- (sin y)) (* x (cos y)))) (* z (- (sin y))) (log (fma z (- (sin y)) (* x (cos y)))) (exp (fma z (- (sin y)) (* x (cos y)))) (* (cbrt (fma z (- (sin y)) (* x (cos y)))) (cbrt (fma z (- (sin y)) (* x (cos y))))) (cbrt (fma z (- (sin y)) (* x (cos y)))) (pow (fma z (- (sin y)) (* x (cos y))) 3) (sqrt (fma z (- (sin y)) (* x (cos y)))) (sqrt (fma z (- (sin y)) (* x (cos y)))) x (* x (cos y)) (* x (cos y)) (- x (* z y)) (fma (cos y) x (* z (- (sin y)))) (fma (cos y) x (* z (- (sin y)))) 6.219 * * * [progress]: adding candidates to table 6.309 * * [progress]: iteration 3 / 4 6.309 * * * [progress]: picking best candidate 6.330 * * * * [pick]: Picked # 6.330 * * * [progress]: localizing error 6.343 * * * [progress]: generating rewritten candidates 6.343 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2) 6.344 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2 2) 6.344 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 2 1) 6.345 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1 2) 6.353 * * * [progress]: generating series expansions 6.353 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2) 6.353 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 6.353 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 6.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 6.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 6.353 * [taylor]: Taking taylor expansion of 1/3 in y 6.353 * [taylor]: Taking taylor expansion of (log (cos y)) in y 6.353 * [taylor]: Taking taylor expansion of (cos y) in y 6.353 * [taylor]: Taking taylor expansion of y in y 6.358 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 6.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 6.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 6.358 * [taylor]: Taking taylor expansion of 1/3 in y 6.358 * [taylor]: Taking taylor expansion of (log (cos y)) in y 6.358 * [taylor]: Taking taylor expansion of (cos y) in y 6.358 * [taylor]: Taking taylor expansion of y in y 6.381 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 6.381 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 6.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 6.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 6.381 * [taylor]: Taking taylor expansion of 1/3 in y 6.381 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 6.381 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.381 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.381 * [taylor]: Taking taylor expansion of y in y 6.382 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 6.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 6.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 6.382 * [taylor]: Taking taylor expansion of 1/3 in y 6.382 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 6.382 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.382 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.382 * [taylor]: Taking taylor expansion of y in y 6.413 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 6.413 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 6.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 6.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 6.413 * [taylor]: Taking taylor expansion of 1/3 in y 6.413 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 6.413 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.413 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.413 * [taylor]: Taking taylor expansion of -1 in y 6.413 * [taylor]: Taking taylor expansion of y in y 6.414 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 6.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 6.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 6.414 * [taylor]: Taking taylor expansion of 1/3 in y 6.414 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 6.414 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.414 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.414 * [taylor]: Taking taylor expansion of -1 in y 6.414 * [taylor]: Taking taylor expansion of y in y 6.445 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2 2) 6.445 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 6.445 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 6.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 6.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 6.445 * [taylor]: Taking taylor expansion of 1/3 in y 6.445 * [taylor]: Taking taylor expansion of (log (cos y)) in y 6.445 * [taylor]: Taking taylor expansion of (cos y) in y 6.445 * [taylor]: Taking taylor expansion of y in y 6.452 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 6.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 6.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 6.452 * [taylor]: Taking taylor expansion of 1/3 in y 6.452 * [taylor]: Taking taylor expansion of (log (cos y)) in y 6.452 * [taylor]: Taking taylor expansion of (cos y) in y 6.452 * [taylor]: Taking taylor expansion of y in y 6.472 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 6.473 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 6.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 6.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 6.473 * [taylor]: Taking taylor expansion of 1/3 in y 6.473 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 6.473 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.473 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.473 * [taylor]: Taking taylor expansion of y in y 6.473 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 6.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 6.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 6.473 * [taylor]: Taking taylor expansion of 1/3 in y 6.473 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 6.473 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.473 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.473 * [taylor]: Taking taylor expansion of y in y 6.505 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 6.505 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 6.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 6.505 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 6.505 * [taylor]: Taking taylor expansion of 1/3 in y 6.505 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 6.505 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.505 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.505 * [taylor]: Taking taylor expansion of -1 in y 6.505 * [taylor]: Taking taylor expansion of y in y 6.506 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 6.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 6.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 6.506 * [taylor]: Taking taylor expansion of 1/3 in y 6.506 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 6.506 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.506 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.506 * [taylor]: Taking taylor expansion of -1 in y 6.506 * [taylor]: Taking taylor expansion of y in y 6.540 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 2 1) 6.540 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 6.540 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 6.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 6.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 6.540 * [taylor]: Taking taylor expansion of 1/3 in y 6.540 * [taylor]: Taking taylor expansion of (log (cos y)) in y 6.540 * [taylor]: Taking taylor expansion of (cos y) in y 6.540 * [taylor]: Taking taylor expansion of y in y 6.544 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 6.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 6.544 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 6.544 * [taylor]: Taking taylor expansion of 1/3 in y 6.544 * [taylor]: Taking taylor expansion of (log (cos y)) in y 6.544 * [taylor]: Taking taylor expansion of (cos y) in y 6.544 * [taylor]: Taking taylor expansion of y in y 6.564 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 6.564 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 6.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 6.564 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 6.564 * [taylor]: Taking taylor expansion of 1/3 in y 6.564 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 6.564 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.564 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.564 * [taylor]: Taking taylor expansion of y in y 6.565 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 6.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 6.565 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 6.565 * [taylor]: Taking taylor expansion of 1/3 in y 6.565 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 6.565 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.565 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.565 * [taylor]: Taking taylor expansion of y in y 6.596 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 6.596 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 6.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 6.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 6.596 * [taylor]: Taking taylor expansion of 1/3 in y 6.596 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 6.596 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.596 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.596 * [taylor]: Taking taylor expansion of -1 in y 6.596 * [taylor]: Taking taylor expansion of y in y 6.596 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 6.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 6.597 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 6.597 * [taylor]: Taking taylor expansion of 1/3 in y 6.597 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 6.597 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.597 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.597 * [taylor]: Taking taylor expansion of -1 in y 6.597 * [taylor]: Taking taylor expansion of y in y 6.630 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1 2) 6.631 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 6.631 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 6.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 6.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 6.631 * [taylor]: Taking taylor expansion of 1/3 in y 6.631 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 6.631 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 6.631 * [taylor]: Taking taylor expansion of (cos y) in y 6.631 * [taylor]: Taking taylor expansion of y in y 6.636 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 6.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 6.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 6.636 * [taylor]: Taking taylor expansion of 1/3 in y 6.636 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 6.636 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 6.636 * [taylor]: Taking taylor expansion of (cos y) in y 6.636 * [taylor]: Taking taylor expansion of y in y 6.700 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 6.700 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 6.700 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 6.700 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 6.700 * [taylor]: Taking taylor expansion of 1/3 in y 6.700 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 6.700 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 6.700 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.700 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.700 * [taylor]: Taking taylor expansion of y in y 6.701 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 6.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 6.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 6.701 * [taylor]: Taking taylor expansion of 1/3 in y 6.701 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 6.701 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 6.701 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 6.701 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.701 * [taylor]: Taking taylor expansion of y in y 6.739 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 6.739 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 6.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 6.739 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 6.739 * [taylor]: Taking taylor expansion of 1/3 in y 6.739 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 6.739 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 6.739 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.739 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.739 * [taylor]: Taking taylor expansion of -1 in y 6.739 * [taylor]: Taking taylor expansion of y in y 6.740 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 6.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 6.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 6.740 * [taylor]: Taking taylor expansion of 1/3 in y 6.740 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 6.740 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 6.740 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 6.740 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.740 * [taylor]: Taking taylor expansion of -1 in y 6.740 * [taylor]: Taking taylor expansion of y in y 6.780 * * * [progress]: simplifying candidates 6.781 * [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) 6.784 * * [simplify]: iteration 0 : 68 enodes (cost 726 ) 6.799 * * [simplify]: iteration 1 : 128 enodes (cost 651 ) 6.838 * * [simplify]: iteration 2 : 425 enodes (cost 551 ) 7.120 * * [simplify]: iteration 3 : 2165 enodes (cost 529 ) 8.167 * * [simplify]: iteration done : 5001 enodes (cost 529 ) 8.167 * [simplify]: Simplified to: (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (pow (cos y) 2/3)) (log1p (pow (cos y) 2/3)) 2/3 2 (pow (cos y) 2) (pow (cos y) 2/3) 2 (log (pow (cos y) 2/3)) (log (pow (cos y) 2/3)) (exp (pow (cos y) 2/3)) (pow (cos y) 2) (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3))) (cbrt (pow (cos y) 2/3)) (pow (cos y) 2) (fabs (cbrt (cos y))) (fabs (cbrt (cos y))) (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) 1 (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 1 (pow (cos y) 2/3) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 2/3 2 (* (cbrt (cos y)) (cbrt (pow (cos y) 2/3))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (cbrt (cos y)) (* (pow (cbrt (cbrt (cos y))) 4) (cbrt (cbrt (cos y)))) (pow (sqrt (cbrt (cos y))) 3) (cbrt (cos y)) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (pow (sqrt (cbrt (cos y))) 3) (pow (cos y) 2/3) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6)))) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)) 8.168 * * * [progress]: adding candidates to table 8.471 * * [progress]: iteration 4 / 4 8.471 * * * [progress]: picking best candidate 8.496 * * * * [pick]: Picked # 8.496 * * * [progress]: localizing error 8.513 * * * [progress]: generating rewritten candidates 8.513 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2 2 1) 8.514 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2 1 2 1) 8.514 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 2 1 1 1) 8.515 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1 2 2) 8.516 * * * [progress]: generating series expansions 8.516 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2 2 1) 8.517 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 8.517 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 8.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 8.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 8.517 * [taylor]: Taking taylor expansion of 1/3 in y 8.517 * [taylor]: Taking taylor expansion of (log (cos y)) in y 8.517 * [taylor]: Taking taylor expansion of (cos y) in y 8.517 * [taylor]: Taking taylor expansion of y in y 8.521 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 8.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 8.521 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 8.521 * [taylor]: Taking taylor expansion of 1/3 in y 8.521 * [taylor]: Taking taylor expansion of (log (cos y)) in y 8.521 * [taylor]: Taking taylor expansion of (cos y) in y 8.521 * [taylor]: Taking taylor expansion of y in y 8.541 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 8.541 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 8.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 8.541 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 8.541 * [taylor]: Taking taylor expansion of 1/3 in y 8.541 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 8.541 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.541 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.541 * [taylor]: Taking taylor expansion of y in y 8.542 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 8.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 8.542 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 8.542 * [taylor]: Taking taylor expansion of 1/3 in y 8.542 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 8.542 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.542 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.542 * [taylor]: Taking taylor expansion of y in y 8.577 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 8.577 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 8.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 8.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 8.577 * [taylor]: Taking taylor expansion of 1/3 in y 8.577 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 8.577 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.577 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.577 * [taylor]: Taking taylor expansion of -1 in y 8.577 * [taylor]: Taking taylor expansion of y in y 8.577 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 8.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 8.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 8.577 * [taylor]: Taking taylor expansion of 1/3 in y 8.577 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 8.577 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.577 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.577 * [taylor]: Taking taylor expansion of -1 in y 8.577 * [taylor]: Taking taylor expansion of y in y 8.609 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2 1 2 1) 8.609 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 8.609 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 8.609 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 8.609 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 8.609 * [taylor]: Taking taylor expansion of 1/3 in y 8.609 * [taylor]: Taking taylor expansion of (log (cos y)) in y 8.609 * [taylor]: Taking taylor expansion of (cos y) in y 8.609 * [taylor]: Taking taylor expansion of y in y 8.613 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 8.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 8.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 8.613 * [taylor]: Taking taylor expansion of 1/3 in y 8.613 * [taylor]: Taking taylor expansion of (log (cos y)) in y 8.613 * [taylor]: Taking taylor expansion of (cos y) in y 8.613 * [taylor]: Taking taylor expansion of y in y 8.633 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 8.633 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 8.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 8.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 8.633 * [taylor]: Taking taylor expansion of 1/3 in y 8.633 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 8.633 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.633 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.633 * [taylor]: Taking taylor expansion of y in y 8.633 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 8.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 8.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 8.633 * [taylor]: Taking taylor expansion of 1/3 in y 8.633 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 8.633 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.633 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.634 * [taylor]: Taking taylor expansion of y in y 8.667 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 8.667 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 8.667 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 8.667 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 8.667 * [taylor]: Taking taylor expansion of 1/3 in y 8.667 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 8.667 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.667 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.667 * [taylor]: Taking taylor expansion of -1 in y 8.667 * [taylor]: Taking taylor expansion of y in y 8.668 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 8.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 8.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 8.668 * [taylor]: Taking taylor expansion of 1/3 in y 8.668 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 8.668 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.668 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.668 * [taylor]: Taking taylor expansion of -1 in y 8.668 * [taylor]: Taking taylor expansion of y in y 8.699 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 2 1 1 1) 8.699 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 8.700 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 8.700 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 8.700 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 8.700 * [taylor]: Taking taylor expansion of 1/3 in y 8.700 * [taylor]: Taking taylor expansion of (log (cos y)) in y 8.700 * [taylor]: Taking taylor expansion of (cos y) in y 8.700 * [taylor]: Taking taylor expansion of y in y 8.708 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 8.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 8.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 8.708 * [taylor]: Taking taylor expansion of 1/3 in y 8.708 * [taylor]: Taking taylor expansion of (log (cos y)) in y 8.708 * [taylor]: Taking taylor expansion of (cos y) in y 8.708 * [taylor]: Taking taylor expansion of y in y 8.738 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 8.738 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 8.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 8.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 8.738 * [taylor]: Taking taylor expansion of 1/3 in y 8.738 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 8.739 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.739 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.739 * [taylor]: Taking taylor expansion of y in y 8.739 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 8.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 8.739 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 8.739 * [taylor]: Taking taylor expansion of 1/3 in y 8.739 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 8.739 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.739 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.739 * [taylor]: Taking taylor expansion of y in y 8.770 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 8.770 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 8.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 8.770 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 8.770 * [taylor]: Taking taylor expansion of 1/3 in y 8.770 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 8.770 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.770 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.770 * [taylor]: Taking taylor expansion of -1 in y 8.770 * [taylor]: Taking taylor expansion of y in y 8.771 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 8.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 8.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 8.771 * [taylor]: Taking taylor expansion of 1/3 in y 8.771 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 8.771 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.771 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.771 * [taylor]: Taking taylor expansion of -1 in y 8.771 * [taylor]: Taking taylor expansion of y in y 8.802 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1 2 2) 8.802 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 8.803 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 8.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 8.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 8.803 * [taylor]: Taking taylor expansion of 1/3 in y 8.803 * [taylor]: Taking taylor expansion of (log (cos y)) in y 8.803 * [taylor]: Taking taylor expansion of (cos y) in y 8.803 * [taylor]: Taking taylor expansion of y in y 8.809 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 8.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 8.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 8.810 * [taylor]: Taking taylor expansion of 1/3 in y 8.810 * [taylor]: Taking taylor expansion of (log (cos y)) in y 8.810 * [taylor]: Taking taylor expansion of (cos y) in y 8.810 * [taylor]: Taking taylor expansion of y in y 8.830 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 8.830 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 8.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 8.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 8.830 * [taylor]: Taking taylor expansion of 1/3 in y 8.830 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 8.830 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.830 * [taylor]: Taking taylor expansion of y in y 8.830 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 8.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 8.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 8.830 * [taylor]: Taking taylor expansion of 1/3 in y 8.830 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 8.830 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.830 * [taylor]: Taking taylor expansion of y in y 8.861 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 8.862 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 8.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 8.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 8.862 * [taylor]: Taking taylor expansion of 1/3 in y 8.862 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 8.862 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.862 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.862 * [taylor]: Taking taylor expansion of -1 in y 8.862 * [taylor]: Taking taylor expansion of y in y 8.862 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 8.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 8.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 8.862 * [taylor]: Taking taylor expansion of 1/3 in y 8.862 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 8.862 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.862 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.862 * [taylor]: Taking taylor expansion of -1 in y 8.862 * [taylor]: Taking taylor expansion of y in y 8.896 * * * [progress]: simplifying candidates 8.897 * [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))) (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))) (- 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/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) 8.898 * * [simplify]: iteration 0 : 29 enodes (cost 376 ) 8.903 * * [simplify]: iteration 1 : 50 enodes (cost 360 ) 8.914 * * [simplify]: iteration 2 : 133 enodes (cost 324 ) 8.956 * * [simplify]: iteration 3 : 431 enodes (cost 312 ) 9.278 * * [simplify]: iteration 4 : 2363 enodes (cost 308 ) 10.583 * * [simplify]: iteration done : 5000 enodes (cost 308 ) 10.583 * [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 (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))) (fma (* y y) -1/6 (fma (pow y 4) -1/72 1)) (cbrt (cos y)) (cbrt (cos y)) (fma (* y y) -1/6 (fma (pow y 4) -1/72 1)) (cbrt (cos y)) (cbrt (cos y)) (fma (* y y) -1/6 (fma (pow y 4) -1/72 1)) (cbrt (cos y)) (cbrt (cos y)) (fma (* y y) -1/6 (fma (pow y 4) -1/72 1)) (cbrt (cos y)) (cbrt (cos y)) 10.584 * * * [progress]: adding candidates to table 10.999 * [progress]: [Phase 3 of 3] Extracting. 10.999 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 11.002 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 11.002 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # #) 11.042 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # #) 11.083 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # #) 11.122 * * * [regime]: Found split indices: #