7.051 * [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.062 * * [simplify]: iteration done : 25 enodes (cost 9 ) 0.062 * [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.073 * * * [progress]: generating rewritten candidates 0.073 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.077 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.080 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.084 * * * [progress]: generating series expansions 0.084 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.085 * [approximate]: Taking taylor expansion of (* (sin y) z) in (z y) around 0 0.085 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.085 * [taylor]: Taking taylor expansion of (sin y) in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of z in y 0.085 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.085 * [taylor]: Taking taylor expansion of (sin y) in z 0.085 * [taylor]: Taking taylor expansion of y in z 0.085 * [taylor]: Taking taylor expansion of z in z 0.085 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.085 * [taylor]: Taking taylor expansion of (sin y) in z 0.085 * [taylor]: Taking taylor expansion of y in z 0.085 * [taylor]: Taking taylor expansion of z in z 0.085 * [taylor]: Taking taylor expansion of 0 in y 0.087 * [taylor]: Taking taylor expansion of (sin y) in y 0.087 * [taylor]: Taking taylor expansion of y in y 0.089 * [taylor]: Taking taylor expansion of 0 in y 0.092 * [taylor]: Taking taylor expansion of 0 in y 0.097 * [taylor]: Taking taylor expansion of 0 in y 0.097 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 0.097 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.097 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.097 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.097 * [taylor]: Taking taylor expansion of y in y 0.098 * [taylor]: Taking taylor expansion of z in y 0.098 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.098 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.098 * [taylor]: Taking taylor expansion of y in z 0.098 * [taylor]: Taking taylor expansion of z in z 0.098 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.098 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.098 * [taylor]: Taking taylor expansion of y in z 0.098 * [taylor]: Taking taylor expansion of z in z 0.098 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.098 * [taylor]: Taking taylor expansion of y in y 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.104 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [taylor]: Taking taylor expansion of 0 in y 0.107 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 0.107 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 0.107 * [taylor]: Taking taylor expansion of -1 in y 0.107 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.107 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.108 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.108 * [taylor]: Taking taylor expansion of -1 in y 0.108 * [taylor]: Taking taylor expansion of y in y 0.108 * [taylor]: Taking taylor expansion of z in y 0.108 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.108 * [taylor]: Taking taylor expansion of -1 in z 0.108 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.108 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.108 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.108 * [taylor]: Taking taylor expansion of -1 in z 0.108 * [taylor]: Taking taylor expansion of y in z 0.108 * [taylor]: Taking taylor expansion of z in z 0.108 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 0.108 * [taylor]: Taking taylor expansion of -1 in z 0.108 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.108 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.108 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.108 * [taylor]: Taking taylor expansion of -1 in z 0.108 * [taylor]: Taking taylor expansion of y in z 0.108 * [taylor]: Taking taylor expansion of z in z 0.109 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.109 * [taylor]: Taking taylor expansion of -1 in y 0.109 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.109 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.109 * [taylor]: Taking taylor expansion of -1 in y 0.109 * [taylor]: Taking taylor expansion of y in y 0.112 * [taylor]: Taking taylor expansion of 0 in y 0.115 * [taylor]: Taking taylor expansion of 0 in y 0.123 * [taylor]: Taking taylor expansion of 0 in y 0.124 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.124 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0 0.124 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 0.124 * [taylor]: Taking taylor expansion of x in y 0.124 * [taylor]: Taking taylor expansion of (cos y) in y 0.124 * [taylor]: Taking taylor expansion of y in y 0.124 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.124 * [taylor]: Taking taylor expansion of x in x 0.124 * [taylor]: Taking taylor expansion of (cos y) in x 0.124 * [taylor]: Taking taylor expansion of y in x 0.124 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.124 * [taylor]: Taking taylor expansion of x in x 0.124 * [taylor]: Taking taylor expansion of (cos y) in x 0.124 * [taylor]: Taking taylor expansion of y in x 0.125 * [taylor]: Taking taylor expansion of 0 in y 0.127 * [taylor]: Taking taylor expansion of (cos y) in y 0.127 * [taylor]: Taking taylor expansion of y in y 0.129 * [taylor]: Taking taylor expansion of 0 in y 0.133 * [taylor]: Taking taylor expansion of 0 in y 0.133 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 0.133 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.133 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.133 * [taylor]: Taking taylor expansion of y in y 0.133 * [taylor]: Taking taylor expansion of x in y 0.133 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.133 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.133 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.134 * [taylor]: Taking taylor expansion of y in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.134 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.134 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.134 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.134 * [taylor]: Taking taylor expansion of y in x 0.134 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.135 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.135 * [taylor]: Taking taylor expansion of y in y 0.137 * [taylor]: Taking taylor expansion of 0 in y 0.140 * [taylor]: Taking taylor expansion of 0 in y 0.144 * [taylor]: Taking taylor expansion of 0 in y 0.144 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 0.144 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 0.144 * [taylor]: Taking taylor expansion of -1 in y 0.144 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.144 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.144 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.144 * [taylor]: Taking taylor expansion of -1 in y 0.144 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of x in y 0.145 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.145 * [taylor]: Taking taylor expansion of -1 in x 0.145 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.145 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.145 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.145 * [taylor]: Taking taylor expansion of -1 in x 0.145 * [taylor]: Taking taylor expansion of y in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 0.145 * [taylor]: Taking taylor expansion of -1 in x 0.145 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.145 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.145 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.145 * [taylor]: Taking taylor expansion of -1 in x 0.145 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.146 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.146 * [taylor]: Taking taylor expansion of -1 in y 0.146 * [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.149 * [taylor]: Taking taylor expansion of 0 in y 0.153 * [taylor]: Taking taylor expansion of 0 in y 0.158 * [taylor]: Taking taylor expansion of 0 in y 0.159 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.159 * [approximate]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in (x y z) around 0 0.159 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in z 0.159 * [taylor]: Taking taylor expansion of (* x (cos y)) in z 0.159 * [taylor]: Taking taylor expansion of x in z 0.159 * [taylor]: Taking taylor expansion of (cos y) in z 0.159 * [taylor]: Taking taylor expansion of y in z 0.159 * [taylor]: Taking taylor expansion of (* (sin y) z) in z 0.159 * [taylor]: Taking taylor expansion of (sin y) in z 0.159 * [taylor]: Taking taylor expansion of y in z 0.159 * [taylor]: Taking taylor expansion of z in z 0.159 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in y 0.159 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 0.159 * [taylor]: Taking taylor expansion of x in y 0.159 * [taylor]: Taking taylor expansion of (cos y) in y 0.159 * [taylor]: Taking taylor expansion of y in y 0.159 * [taylor]: Taking taylor expansion of (* (sin y) z) in y 0.159 * [taylor]: Taking taylor expansion of (sin y) in y 0.159 * [taylor]: Taking taylor expansion of y in y 0.159 * [taylor]: Taking taylor expansion of z in y 0.159 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in x 0.159 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.159 * [taylor]: Taking taylor expansion of x in x 0.159 * [taylor]: Taking taylor expansion of (cos y) in x 0.159 * [taylor]: Taking taylor expansion of y in x 0.159 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.159 * [taylor]: Taking taylor expansion of (sin y) in x 0.159 * [taylor]: Taking taylor expansion of y in x 0.159 * [taylor]: Taking taylor expansion of z in x 0.159 * [taylor]: Taking taylor expansion of (- (* x (cos y)) (* (sin y) z)) in x 0.159 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 0.159 * [taylor]: Taking taylor expansion of x in x 0.159 * [taylor]: Taking taylor expansion of (cos y) in x 0.159 * [taylor]: Taking taylor expansion of y in x 0.159 * [taylor]: Taking taylor expansion of (* (sin y) z) in x 0.159 * [taylor]: Taking taylor expansion of (sin y) in x 0.159 * [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 (- (* (sin y) z)) 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.161 * [taylor]: Taking taylor expansion of 0 in z 0.164 * [taylor]: Taking taylor expansion of (cos y) in y 0.164 * [taylor]: Taking taylor expansion of y in y 0.164 * [taylor]: Taking taylor expansion of 1 in z 0.165 * [taylor]: Taking taylor expansion of (- z) in z 0.165 * [taylor]: Taking taylor expansion of z in z 0.170 * [taylor]: Taking taylor expansion of 0 in y 0.170 * [taylor]: Taking taylor expansion of 0 in z 0.171 * [taylor]: Taking taylor expansion of 0 in z 0.172 * [taylor]: Taking taylor expansion of 0 in z 0.172 * [approximate]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in (x y z) around 0 0.172 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in z 0.172 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in z 0.172 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.172 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.172 * [taylor]: Taking taylor expansion of y in z 0.172 * [taylor]: Taking taylor expansion of x in z 0.173 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.173 * [taylor]: Taking taylor expansion of (sin (/ 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 z in z 0.173 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in y 0.173 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 0.173 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.173 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.173 * [taylor]: Taking taylor expansion of y in y 0.173 * [taylor]: Taking taylor expansion of x in y 0.173 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.173 * [taylor]: Taking taylor expansion of (sin (/ 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 z in y 0.174 * [taylor]: Taking taylor expansion of (- (/ (cos (/ 1 y)) x) (/ (sin (/ 1 y)) z)) in x 0.174 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 0.174 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.174 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.174 * [taylor]: Taking taylor expansion of y in x 0.174 * [taylor]: Taking taylor expansion of x in x 0.174 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.174 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.174 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.174 * [taylor]: Taking taylor expansion of y in x 0.175 * [taylor]: Taking taylor expansion of z in x 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.175 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 0.175 * [taylor]: Taking taylor expansion of (sin (/ 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 z in x 0.176 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.176 * [taylor]: Taking taylor expansion of y in y 0.176 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.176 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.176 * [taylor]: Taking taylor expansion of y in z 0.179 * [taylor]: Taking taylor expansion of (- (/ (sin (/ 1 y)) z)) in y 0.179 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 0.179 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.179 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.179 * [taylor]: Taking taylor expansion of y in y 0.179 * [taylor]: Taking taylor expansion of z in y 0.179 * [taylor]: Taking taylor expansion of (- (/ (sin (/ 1 y)) z)) in z 0.179 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 0.179 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.179 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.179 * [taylor]: Taking taylor expansion of y in z 0.179 * [taylor]: Taking taylor expansion of z in z 0.179 * [taylor]: Taking taylor expansion of 0 in z 0.185 * [taylor]: Taking taylor expansion of 0 in y 0.185 * [taylor]: Taking taylor expansion of 0 in z 0.185 * [taylor]: Taking taylor expansion of 0 in z 0.185 * [taylor]: Taking taylor expansion of 0 in z 0.196 * [taylor]: Taking taylor expansion of 0 in y 0.196 * [taylor]: Taking taylor expansion of 0 in z 0.196 * [taylor]: Taking taylor expansion of 0 in z 0.196 * [taylor]: Taking taylor expansion of 0 in z 0.196 * [taylor]: Taking taylor expansion of 0 in z 0.197 * [approximate]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in (x y z) around 0 0.197 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in z 0.197 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.197 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.197 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.197 * [taylor]: Taking taylor expansion of -1 in z 0.197 * [taylor]: Taking taylor expansion of y in z 0.197 * [taylor]: Taking taylor expansion of z in z 0.197 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in z 0.198 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.198 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.198 * [taylor]: Taking taylor expansion of -1 in z 0.198 * [taylor]: Taking taylor expansion of y in z 0.198 * [taylor]: Taking taylor expansion of x in z 0.198 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in y 0.198 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.198 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.198 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.198 * [taylor]: Taking taylor expansion of -1 in y 0.198 * [taylor]: Taking taylor expansion of y in y 0.198 * [taylor]: Taking taylor expansion of z in y 0.199 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 0.199 * [taylor]: Taking taylor expansion of (cos (/ -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.199 * [taylor]: Taking taylor expansion of x in y 0.199 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x 0.199 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.199 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.199 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.199 * [taylor]: Taking taylor expansion of -1 in x 0.199 * [taylor]: Taking taylor expansion of y in x 0.199 * [taylor]: Taking taylor expansion of z in x 0.199 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.199 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.199 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.199 * [taylor]: Taking taylor expansion of -1 in x 0.199 * [taylor]: Taking taylor expansion of y in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.200 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) z) (/ (cos (/ -1 y)) x)) in x 0.200 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 0.200 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.200 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.200 * [taylor]: Taking taylor expansion of -1 in x 0.200 * [taylor]: Taking taylor expansion of y in x 0.200 * [taylor]: Taking taylor expansion of z in x 0.200 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 0.200 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.200 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.200 * [taylor]: Taking taylor expansion of -1 in x 0.200 * [taylor]: Taking taylor expansion of y in x 0.200 * [taylor]: Taking taylor expansion of x in x 0.201 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in y 0.201 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.201 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.201 * [taylor]: Taking taylor expansion of -1 in y 0.201 * [taylor]: Taking taylor expansion of y in y 0.201 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) 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.204 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 0.204 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.204 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.204 * [taylor]: Taking taylor expansion of -1 in y 0.204 * [taylor]: Taking taylor expansion of y in y 0.204 * [taylor]: Taking taylor expansion of z in y 0.205 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 0.205 * [taylor]: Taking taylor expansion of (sin (/ -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.205 * [taylor]: Taking taylor expansion of z in z 0.205 * [taylor]: Taking taylor expansion of 0 in z 0.213 * [taylor]: Taking taylor expansion of 0 in y 0.213 * [taylor]: Taking taylor expansion of 0 in z 0.213 * [taylor]: Taking taylor expansion of 0 in z 0.214 * [taylor]: Taking taylor expansion of 0 in z 0.224 * [taylor]: Taking taylor expansion of 0 in y 0.224 * [taylor]: Taking taylor expansion of 0 in z 0.224 * [taylor]: Taking taylor expansion of 0 in z 0.224 * [taylor]: Taking taylor expansion of 0 in z 0.225 * [taylor]: Taking taylor expansion of 0 in z 0.225 * * * [progress]: simplifying candidates 0.226 * [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.228 * * [simplify]: iteration 0 : 92 enodes (cost 527 ) 0.244 * * [simplify]: iteration 1 : 189 enodes (cost 495 ) 0.277 * * [simplify]: iteration 2 : 434 enodes (cost 477 ) 0.372 * * [simplify]: iteration 3 : 1039 enodes (cost 477 ) 0.642 * * [simplify]: iteration 4 : 2234 enodes (cost 471 ) 1.297 * * [simplify]: iteration done : 5000 enodes (cost 471 ) 1.298 * [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)) (- (* x (cos y)) (* z (sin 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 x (cos y) (* z (sin y))) (- (* z (sin y))) (* z y) (* z (sin y)) (* z (sin y)) x (* x (cos y)) (* x (cos y)) x (- (* x (cos y)) (* z (sin y))) (- (* x (cos y)) (* z (sin y))) 1.298 * * * [progress]: adding candidates to table 1.441 * * [progress]: iteration 2 / 4 1.441 * * * [progress]: picking best candidate 1.467 * * * * [pick]: Picked # 1.467 * * * [progress]: localizing error 1.479 * * * [progress]: generating rewritten candidates 1.479 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.480 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2) 1.483 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 1.483 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1.491 * * * [progress]: generating series expansions 1.491 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.491 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.491 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.491 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.491 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.491 * [taylor]: Taking taylor expansion of 1/3 in y 1.491 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.491 * [taylor]: Taking taylor expansion of (cos y) in y 1.491 * [taylor]: Taking taylor expansion of y in y 1.496 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.496 * [taylor]: Taking taylor expansion of 1/3 in y 1.496 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.496 * [taylor]: Taking taylor expansion of (cos y) in y 1.496 * [taylor]: Taking taylor expansion of y in y 1.517 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.517 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.517 * [taylor]: Taking taylor expansion of 1/3 in y 1.517 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.517 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.517 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.517 * [taylor]: Taking taylor expansion of y in y 1.517 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.517 * [taylor]: Taking taylor expansion of 1/3 in y 1.517 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.517 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.517 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.517 * [taylor]: Taking taylor expansion of y in y 1.549 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.549 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.549 * [taylor]: Taking taylor expansion of 1/3 in y 1.549 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.549 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.549 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.549 * [taylor]: Taking taylor expansion of -1 in y 1.549 * [taylor]: Taking taylor expansion of y in y 1.550 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.550 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.550 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.550 * [taylor]: Taking taylor expansion of 1/3 in y 1.550 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.550 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.550 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.550 * [taylor]: Taking taylor expansion of -1 in y 1.550 * [taylor]: Taking taylor expansion of y in y 1.585 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2) 1.585 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.585 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.585 * [taylor]: Taking taylor expansion of 1/3 in y 1.585 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.585 * [taylor]: Taking taylor expansion of (cos y) in y 1.585 * [taylor]: Taking taylor expansion of y in y 1.589 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.589 * [taylor]: Taking taylor expansion of 1/3 in y 1.589 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.589 * [taylor]: Taking taylor expansion of (cos y) in y 1.589 * [taylor]: Taking taylor expansion of y in y 1.610 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.610 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.610 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.610 * [taylor]: Taking taylor expansion of 1/3 in y 1.610 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.610 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.610 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.610 * [taylor]: Taking taylor expansion of y in y 1.610 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.611 * [taylor]: Taking taylor expansion of 1/3 in y 1.611 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.611 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.611 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.611 * [taylor]: Taking taylor expansion of y in y 1.645 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.645 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.645 * [taylor]: Taking taylor expansion of 1/3 in y 1.645 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.645 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.645 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.645 * [taylor]: Taking taylor expansion of -1 in y 1.645 * [taylor]: Taking taylor expansion of y in y 1.645 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.645 * [taylor]: Taking taylor expansion of 1/3 in y 1.645 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.645 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.645 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.645 * [taylor]: Taking taylor expansion of -1 in y 1.646 * [taylor]: Taking taylor expansion of y in y 1.677 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 1.677 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 1.677 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.677 * [taylor]: Taking taylor expansion of 1/3 in y 1.677 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.677 * [taylor]: Taking taylor expansion of (cos y) in y 1.677 * [taylor]: Taking taylor expansion of y in y 1.681 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 1.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 1.681 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 1.681 * [taylor]: Taking taylor expansion of 1/3 in y 1.681 * [taylor]: Taking taylor expansion of (log (cos y)) in y 1.681 * [taylor]: Taking taylor expansion of (cos y) in y 1.681 * [taylor]: Taking taylor expansion of y in y 1.702 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 1.702 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.702 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.702 * [taylor]: Taking taylor expansion of 1/3 in y 1.702 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.702 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.702 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.702 * [taylor]: Taking taylor expansion of y in y 1.702 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 1.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 1.702 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 1.702 * [taylor]: Taking taylor expansion of 1/3 in y 1.702 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 1.702 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.702 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.702 * [taylor]: Taking taylor expansion of y in y 1.737 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 1.737 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.737 * [taylor]: Taking taylor expansion of 1/3 in y 1.737 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.737 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.737 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.737 * [taylor]: Taking taylor expansion of -1 in y 1.737 * [taylor]: Taking taylor expansion of y in y 1.738 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 1.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 1.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 1.738 * [taylor]: Taking taylor expansion of 1/3 in y 1.738 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 1.738 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.738 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.738 * [taylor]: Taking taylor expansion of -1 in y 1.738 * [taylor]: Taking taylor expansion of y in y 1.770 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 1.770 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 1.770 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 1.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 1.770 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 1.770 * [taylor]: Taking taylor expansion of 1/3 in y 1.770 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 1.770 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.770 * [taylor]: Taking taylor expansion of (cos y) in y 1.770 * [taylor]: Taking taylor expansion of y in y 1.775 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 1.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 1.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 1.775 * [taylor]: Taking taylor expansion of 1/3 in y 1.775 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 1.775 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 1.775 * [taylor]: Taking taylor expansion of (cos y) in y 1.775 * [taylor]: Taking taylor expansion of y in y 1.841 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 1.841 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 1.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 1.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 1.841 * [taylor]: Taking taylor expansion of 1/3 in y 1.841 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 1.841 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.841 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.841 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.841 * [taylor]: Taking taylor expansion of y in y 1.842 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 1.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 1.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 1.842 * [taylor]: Taking taylor expansion of 1/3 in y 1.842 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 1.842 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 1.842 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 1.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.842 * [taylor]: Taking taylor expansion of y in y 1.885 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 1.885 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 1.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 1.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 1.885 * [taylor]: Taking taylor expansion of 1/3 in y 1.885 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 1.885 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.885 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.885 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.885 * [taylor]: Taking taylor expansion of -1 in y 1.885 * [taylor]: Taking taylor expansion of y in y 1.886 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 1.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 1.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 1.886 * [taylor]: Taking taylor expansion of 1/3 in y 1.886 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 1.886 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 1.886 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 1.886 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.886 * [taylor]: Taking taylor expansion of -1 in y 1.886 * [taylor]: Taking taylor expansion of y in y 1.924 * * * [progress]: simplifying candidates 1.925 * [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.928 * * [simplify]: iteration 0 : 68 enodes (cost 726 ) 1.949 * * [simplify]: iteration 1 : 128 enodes (cost 651 ) 1.970 * * [simplify]: iteration 2 : 363 enodes (cost 551 ) 2.160 * * [simplify]: iteration 3 : 1341 enodes (cost 529 ) 3.116 * * [simplify]: iteration done : 5000 enodes (cost 520 ) 3.117 * [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 (cos y)) (cbrt (pow (cos y) 2/3))) (* (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) (fma (pow y 4) -1/72 (fma -1/6 (pow y 2) 1)) (cbrt (cos y)) (cbrt (cos y)) (fma (pow y 4) -1/72 (fma -1/6 (pow y 2) 1)) (cbrt (cos y)) (cbrt (cos y)) (fma (pow y 4) -1/72 (fma -1/6 (pow y 2) 1)) (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.117 * * * [progress]: adding candidates to table 3.370 * * [progress]: iteration 3 / 4 3.370 * * * [progress]: picking best candidate 3.397 * * * * [pick]: Picked # 3.397 * * * [progress]: localizing error 3.412 * * * [progress]: generating rewritten candidates 3.412 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 3.413 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 3.414 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1) 3.415 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 3.433 * * * [progress]: generating series expansions 3.433 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 3.433 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 3.433 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 3.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 3.433 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 3.433 * [taylor]: Taking taylor expansion of 1/3 in y 3.433 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 3.433 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 3.433 * [taylor]: Taking taylor expansion of (cos y) in y 3.433 * [taylor]: Taking taylor expansion of y in y 3.438 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 3.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 3.438 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 3.438 * [taylor]: Taking taylor expansion of 1/3 in y 3.438 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 3.438 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 3.438 * [taylor]: Taking taylor expansion of (cos y) in y 3.439 * [taylor]: Taking taylor expansion of y in y 3.509 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 3.509 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 3.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 3.510 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 3.510 * [taylor]: Taking taylor expansion of 1/3 in y 3.510 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 3.510 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 3.510 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.510 * [taylor]: Taking taylor expansion of y in y 3.510 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 3.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 3.510 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 3.510 * [taylor]: Taking taylor expansion of 1/3 in y 3.510 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 3.510 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 3.510 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.510 * [taylor]: Taking taylor expansion of y in y 3.548 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 3.548 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 3.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 3.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 3.548 * [taylor]: Taking taylor expansion of 1/3 in y 3.548 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 3.548 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 3.548 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.548 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.548 * [taylor]: Taking taylor expansion of -1 in y 3.548 * [taylor]: Taking taylor expansion of y in y 3.549 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 3.549 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 3.549 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 3.549 * [taylor]: Taking taylor expansion of 1/3 in y 3.549 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 3.549 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 3.549 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.549 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.549 * [taylor]: Taking taylor expansion of -1 in y 3.549 * [taylor]: Taking taylor expansion of y in y 3.592 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 3.593 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 3.593 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.593 * [taylor]: Taking taylor expansion of 1/3 in y 3.593 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.593 * [taylor]: Taking taylor expansion of (cos y) in y 3.593 * [taylor]: Taking taylor expansion of y in y 3.597 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 3.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 3.597 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 3.597 * [taylor]: Taking taylor expansion of 1/3 in y 3.597 * [taylor]: Taking taylor expansion of (log (cos y)) in y 3.597 * [taylor]: Taking taylor expansion of (cos y) in y 3.597 * [taylor]: Taking taylor expansion of y in y 3.618 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 3.618 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.618 * [taylor]: Taking taylor expansion of 1/3 in y 3.618 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.618 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.618 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.618 * [taylor]: Taking taylor expansion of y in y 3.619 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 3.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 3.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 3.619 * [taylor]: Taking taylor expansion of 1/3 in y 3.619 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 3.619 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.619 * [taylor]: Taking taylor expansion of y in y 3.650 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 3.651 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 3.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 3.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.651 * [taylor]: Taking taylor expansion of 1/3 in y 3.651 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.651 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.651 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.651 * [taylor]: Taking taylor expansion of -1 in y 3.651 * [taylor]: Taking taylor expansion of y in y 3.651 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 3.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 3.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 3.651 * [taylor]: Taking taylor expansion of 1/3 in y 3.651 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 3.651 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.651 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.651 * [taylor]: Taking taylor expansion of -1 in y 3.651 * [taylor]: Taking taylor expansion of y in y 3.688 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1) 3.689 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 3.689 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 3.689 * [taylor]: Taking taylor expansion of (cos y) in y 3.689 * [taylor]: Taking taylor expansion of y in y 3.689 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 3.689 * [taylor]: Taking taylor expansion of (cos y) in y 3.689 * [taylor]: Taking taylor expansion of y in y 3.694 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 3.694 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 3.694 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.694 * [taylor]: Taking taylor expansion of y in y 3.695 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 3.695 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.695 * [taylor]: Taking taylor expansion of y in y 3.700 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 3.700 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 3.700 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.700 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.700 * [taylor]: Taking taylor expansion of -1 in y 3.700 * [taylor]: Taking taylor expansion of y in y 3.700 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 3.700 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.700 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.700 * [taylor]: Taking taylor expansion of -1 in y 3.700 * [taylor]: Taking taylor expansion of y in y 3.705 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 3.705 * [approximate]: Taking taylor expansion of (* x (cos y)) in (x y) around 0 3.705 * [taylor]: Taking taylor expansion of (* x (cos y)) in y 3.705 * [taylor]: Taking taylor expansion of x in y 3.705 * [taylor]: Taking taylor expansion of (cos y) in y 3.705 * [taylor]: Taking taylor expansion of y in y 3.705 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 3.705 * [taylor]: Taking taylor expansion of x in x 3.705 * [taylor]: Taking taylor expansion of (cos y) in x 3.705 * [taylor]: Taking taylor expansion of y in x 3.705 * [taylor]: Taking taylor expansion of (* x (cos y)) in x 3.705 * [taylor]: Taking taylor expansion of x in x 3.705 * [taylor]: Taking taylor expansion of (cos y) in x 3.705 * [taylor]: Taking taylor expansion of y in x 3.706 * [taylor]: Taking taylor expansion of 0 in y 3.707 * [taylor]: Taking taylor expansion of (cos y) in y 3.707 * [taylor]: Taking taylor expansion of y in y 3.710 * [taylor]: Taking taylor expansion of 0 in y 3.714 * [taylor]: Taking taylor expansion of 0 in y 3.714 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in (x y) around 0 3.714 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in y 3.714 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.714 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.714 * [taylor]: Taking taylor expansion of y in y 3.715 * [taylor]: Taking taylor expansion of x in y 3.715 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 3.715 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 3.715 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.715 * [taylor]: Taking taylor expansion of y in x 3.715 * [taylor]: Taking taylor expansion of x in x 3.715 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) x) in x 3.715 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 3.715 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.715 * [taylor]: Taking taylor expansion of y in x 3.715 * [taylor]: Taking taylor expansion of x in x 3.716 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.716 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.716 * [taylor]: Taking taylor expansion of y in y 3.718 * [taylor]: Taking taylor expansion of 0 in y 3.721 * [taylor]: Taking taylor expansion of 0 in y 3.725 * [taylor]: Taking taylor expansion of 0 in y 3.726 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in (x y) around 0 3.726 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in y 3.726 * [taylor]: Taking taylor expansion of -1 in y 3.726 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in y 3.726 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.726 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.726 * [taylor]: Taking taylor expansion of -1 in y 3.726 * [taylor]: Taking taylor expansion of y in y 3.726 * [taylor]: Taking taylor expansion of x in y 3.726 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 3.726 * [taylor]: Taking taylor expansion of -1 in x 3.726 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 3.726 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 3.726 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.726 * [taylor]: Taking taylor expansion of -1 in x 3.726 * [taylor]: Taking taylor expansion of y in x 3.726 * [taylor]: Taking taylor expansion of x in x 3.727 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) x)) in x 3.727 * [taylor]: Taking taylor expansion of -1 in x 3.727 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) x) in x 3.727 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 3.727 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.727 * [taylor]: Taking taylor expansion of -1 in x 3.727 * [taylor]: Taking taylor expansion of y in x 3.727 * [taylor]: Taking taylor expansion of x in x 3.727 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 3.727 * [taylor]: Taking taylor expansion of -1 in y 3.727 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.728 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.728 * [taylor]: Taking taylor expansion of -1 in y 3.728 * [taylor]: Taking taylor expansion of y in y 3.730 * [taylor]: Taking taylor expansion of 0 in y 3.734 * [taylor]: Taking taylor expansion of 0 in y 3.740 * [taylor]: Taking taylor expansion of 0 in y 3.740 * * * [progress]: simplifying candidates 3.741 * [simplify]: Simplifying using # : (expm1 (cbrt (pow (cos y) 2))) (log1p (cbrt (pow (cos y) 2))) (log (cbrt (pow (cos y) 2))) (exp (cbrt (pow (cos y) 2))) (cbrt (pow (* (cbrt (cos y)) (cbrt (cos y))) 2)) (cbrt (pow (cbrt (cos y)) 2)) (cbrt (pow (sqrt (cos y)) 2)) (cbrt (pow (sqrt (cos y)) 2)) (cbrt (pow 1 2)) (cbrt (pow (cos y) 2)) (cbrt (cos y)) (cbrt (cos y)) (cbrt (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))) (cbrt (sqrt (pow (cos y) 2))) (cbrt 1) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) (/ 2 2))) (cbrt (pow (cos y) (/ 2 2))) (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))) (* (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (pow (cos y) 2)) (log1p (pow (cos y) 2)) (* (log (cos y)) 2) (* (log (cos y)) 2) (* 1 2) (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (pow (cos y) 1) (pow (* (cbrt (cos y)) (cbrt (cos y))) 2) (pow (cbrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow 1 2) (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)) (* (* (pow (cos y) 2) (pow (cos y) 2)) (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (pow (cos y) (/ 2 2)) (pow (cos y) (/ 2 2)) (expm1 (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (log1p (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (+ (+ (log x) (log (cbrt (pow (cos y) 2)))) (log (cbrt (cos y)))) (+ (log (* x (cbrt (pow (cos y) 2)))) (log (cbrt (cos y)))) (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (exp (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* (* (* x x) x) (pow (cos y) 2)) (cos y)) (* (* (* (* x (cbrt (pow (cos y) 2))) (* x (cbrt (pow (cos y) 2)))) (* x (cbrt (pow (cos y) 2)))) (cos y)) (* (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))) (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y)))) (* (* x (cbrt (pow (cos y) 2))) (cbrt 1)) (* (* x (cbrt (pow (cos y) 2))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* x (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y)))) (* (* x (cbrt (pow (cos y) 2))) 1) (* (cbrt (pow (cos y) 2)) (cbrt (cos y))) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) x (* x (cos y)) (* x (cos y)) 3.744 * * [simplify]: iteration 0 : 112 enodes (cost 763 ) 3.775 * * [simplify]: iteration 1 : 242 enodes (cost 704 ) 3.846 * * [simplify]: iteration 2 : 787 enodes (cost 610 ) 4.527 * * [simplify]: iteration 3 : 3456 enodes (cost 590 ) 5.892 * * [simplify]: iteration done : 5000 enodes (cost 590 ) 5.893 * [simplify]: Simplified to: (expm1 (cbrt (pow (cos y) 2))) (log1p (cbrt (pow (cos y) 2))) (* 2/3 (log (cos y))) (exp (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 4/3)) (cbrt (pow (cos y) 2/3)) (cbrt (cos y)) (cbrt (cos y)) 1 (cbrt (pow (cos y) 2)) (cbrt (cos y)) (cbrt (cos y)) (cbrt (pow (pow (cos y) 2) 2/3)) (cbrt (cbrt (pow (cos y) 2))) (cbrt (fabs (cos y))) (cbrt (fabs (cos y))) 1 (cbrt (pow (cos y) 2)) (cbrt (cos y)) (cbrt (cos y)) (* (cbrt (cbrt (pow (cos y) 2))) (cbrt (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2))) (pow (cos y) 2) (sqrt (cbrt (pow (cos y) 2))) (sqrt (cbrt (pow (cos y) 2))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (pow (cos y) 2)) (log1p (pow (cos y) 2)) (log (pow (cos y) 2)) (log (pow (cos y) 2)) 2 (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (cos y) (pow (cos y) 4/3) (pow (cos y) 2/3) (cos y) (cos y) 1 (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2)) (pow (cos y) 6) (fabs (cos y)) (fabs (cos y)) (cos y) (cos y) (expm1 (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (log1p (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))) (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (log (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (exp (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (pow x 3) (pow (cos y) 3)) (* (pow x 3) (pow (cos y) 3)) (* (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y))))) (cbrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (pow x 3) (pow (cos y) 3)) (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (sqrt (* (* x (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* x (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2)))) (* (* x (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y)))) (* x (cbrt (pow (cos y) 2))) (* (* x (cbrt (pow (cos y) 2))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* x (cbrt (pow (cos y) 2))) (sqrt (cbrt (cos y)))) (* x (cbrt (pow (cos y) 2))) (* (cbrt (pow (cos y) 2)) (cbrt (cos y))) (- 1 (fma 1/3 (pow y 2) (* 1/405 (pow y 6)))) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- (fma 1/3 (pow y 4) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) x (* x (cos y)) (* x (cos y)) 5.893 * * * [progress]: adding candidates to table 6.134 * * [progress]: iteration 4 / 4 6.135 * * * [progress]: picking best candidate 6.165 * * * * [pick]: Picked # 6.165 * * * [progress]: localizing error 6.179 * * * [progress]: generating rewritten candidates 6.179 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 6.179 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 6.180 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 6.181 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 6.189 * * * [progress]: generating series expansions 6.189 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 6.189 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 6.189 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.189 * [taylor]: Taking taylor expansion of 1/3 in y 6.189 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.189 * [taylor]: Taking taylor expansion of (sin y) in y 6.189 * [taylor]: Taking taylor expansion of y in y 6.190 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.191 * [taylor]: Taking taylor expansion of 1/3 in y 6.191 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.191 * [taylor]: Taking taylor expansion of (sin y) in y 6.191 * [taylor]: Taking taylor expansion of y in y 6.215 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 6.215 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.215 * [taylor]: Taking taylor expansion of 1/3 in y 6.215 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.215 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.215 * [taylor]: Taking taylor expansion of y in y 6.215 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.215 * [taylor]: Taking taylor expansion of 1/3 in y 6.215 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.215 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.215 * [taylor]: Taking taylor expansion of y in y 6.252 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 6.253 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.253 * [taylor]: Taking taylor expansion of 1/3 in y 6.253 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.253 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.253 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.253 * [taylor]: Taking taylor expansion of -1 in y 6.253 * [taylor]: Taking taylor expansion of y in y 6.253 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.253 * [taylor]: Taking taylor expansion of 1/3 in y 6.253 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.253 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.253 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.253 * [taylor]: Taking taylor expansion of -1 in y 6.253 * [taylor]: Taking taylor expansion of y in y 6.285 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 6.285 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 6.285 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.285 * [taylor]: Taking taylor expansion of 1/3 in y 6.285 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.285 * [taylor]: Taking taylor expansion of (sin y) in y 6.285 * [taylor]: Taking taylor expansion of y in y 6.286 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.286 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.286 * [taylor]: Taking taylor expansion of 1/3 in y 6.286 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.287 * [taylor]: Taking taylor expansion of (sin y) in y 6.287 * [taylor]: Taking taylor expansion of y in y 6.317 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 6.317 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.317 * [taylor]: Taking taylor expansion of 1/3 in y 6.317 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.317 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.317 * [taylor]: Taking taylor expansion of y in y 6.317 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.317 * [taylor]: Taking taylor expansion of 1/3 in y 6.317 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.317 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.317 * [taylor]: Taking taylor expansion of y in y 6.349 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 6.349 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.350 * [taylor]: Taking taylor expansion of 1/3 in y 6.350 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.350 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.350 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.350 * [taylor]: Taking taylor expansion of -1 in y 6.350 * [taylor]: Taking taylor expansion of y in y 6.350 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.350 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.350 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.350 * [taylor]: Taking taylor expansion of 1/3 in y 6.350 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.350 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.350 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.350 * [taylor]: Taking taylor expansion of -1 in y 6.350 * [taylor]: Taking taylor expansion of y in y 6.382 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 6.382 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 6.382 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.382 * [taylor]: Taking taylor expansion of 1/3 in y 6.382 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.382 * [taylor]: Taking taylor expansion of (sin y) in y 6.382 * [taylor]: Taking taylor expansion of y in y 6.383 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 6.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 6.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 6.383 * [taylor]: Taking taylor expansion of 1/3 in y 6.384 * [taylor]: Taking taylor expansion of (log (sin y)) in y 6.384 * [taylor]: Taking taylor expansion of (sin y) in y 6.384 * [taylor]: Taking taylor expansion of y in y 6.413 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 6.414 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.414 * [taylor]: Taking taylor expansion of 1/3 in y 6.414 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.414 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.414 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.414 * [taylor]: Taking taylor expansion of y in y 6.414 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 6.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 6.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 6.414 * [taylor]: Taking taylor expansion of 1/3 in y 6.414 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 6.414 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.414 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.414 * [taylor]: Taking taylor expansion of y in y 6.446 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 6.446 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.446 * [taylor]: Taking taylor expansion of 1/3 in y 6.446 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.446 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.446 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.446 * [taylor]: Taking taylor expansion of -1 in y 6.446 * [taylor]: Taking taylor expansion of y in y 6.446 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 6.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 6.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 6.446 * [taylor]: Taking taylor expansion of 1/3 in y 6.446 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 6.446 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.447 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.447 * [taylor]: Taking taylor expansion of -1 in y 6.447 * [taylor]: Taking taylor expansion of y in y 6.484 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 6.484 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0 6.484 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 6.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 6.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 6.484 * [taylor]: Taking taylor expansion of 1/3 in y 6.484 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 6.484 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 6.484 * [taylor]: Taking taylor expansion of (sin y) in y 6.484 * [taylor]: Taking taylor expansion of y in y 6.486 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 6.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 6.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 6.486 * [taylor]: Taking taylor expansion of 1/3 in y 6.486 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 6.486 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 6.486 * [taylor]: Taking taylor expansion of (sin y) in y 6.486 * [taylor]: Taking taylor expansion of y in y 6.514 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0 6.514 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 6.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 6.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 6.514 * [taylor]: Taking taylor expansion of 1/3 in y 6.514 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 6.514 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 6.514 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.514 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.514 * [taylor]: Taking taylor expansion of y in y 6.515 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 6.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 6.515 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 6.515 * [taylor]: Taking taylor expansion of 1/3 in y 6.515 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 6.515 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 6.515 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 6.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.515 * [taylor]: Taking taylor expansion of y in y 6.553 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0 6.553 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 6.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 6.553 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 6.553 * [taylor]: Taking taylor expansion of 1/3 in y 6.553 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 6.553 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 6.553 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.553 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.553 * [taylor]: Taking taylor expansion of -1 in y 6.553 * [taylor]: Taking taylor expansion of y in y 6.553 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 6.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 6.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 6.554 * [taylor]: Taking taylor expansion of 1/3 in y 6.554 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 6.554 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 6.554 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 6.554 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.554 * [taylor]: Taking taylor expansion of -1 in y 6.554 * [taylor]: Taking taylor expansion of y in y 6.598 * * * [progress]: simplifying candidates 6.599 * [simplify]: Simplifying using # : (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) (cbrt 1) (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (* (cbrt (sin y)) (cbrt (sin y)))) (log1p (* (cbrt (sin y)) (cbrt (sin y)))) (+ 1/3 1/3) (+ 1 1) (* (sin y) (sin y)) (* (cbrt (sin y)) (cbrt (sin y))) (+ 1 1) (+ (log (cbrt (sin y))) (log (cbrt (sin y)))) (log (* (cbrt (sin y)) (cbrt (sin y)))) (exp (* (cbrt (sin y)) (cbrt (sin y)))) (* (sin y) (sin y)) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (* (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt (* (cbrt (sin y)) (cbrt (sin y)))) (sqrt (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (sin y)) (cbrt (sin y))) (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* 1 1) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y)))) (* 2 1/3) (* 2 1) (* (cbrt (sin y)) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (* (cbrt (sin y)) (cbrt 1)) (* (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (* (cbrt (sin y)) (sqrt (cbrt (sin y)))) (* (cbrt (sin y)) 1) (* (cbrt (cbrt (sin y))) (cbrt (sin y))) (* (cbrt (sqrt (sin y))) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (cbrt (sin y))) (cbrt (sin y))) (* (sqrt (cbrt (sin y))) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y))) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (pow (sin y) 1/3) (pow (sin y) 1/3) (- (+ (* 1/405 (pow (pow y 14) 1/3)) (pow y 2/3)) (* 1/9 (pow (pow y 8) 1/3))) (pow (pow (sin y) 2) 1/3) (pow (pow (sin y) 2) 1/3) 6.602 * * [simplify]: iteration 0 : 79 enodes (cost 750 ) 6.621 * * [simplify]: iteration 1 : 162 enodes (cost 664 ) 6.655 * * [simplify]: iteration 2 : 419 enodes (cost 564 ) 6.829 * * [simplify]: iteration 3 : 1357 enodes (cost 541 ) 7.728 * * [simplify]: iteration 4 : 4450 enodes (cost 531 ) 9.890 * * [simplify]: iteration done : 5000 enodes (cost 531 ) 9.891 * [simplify]: Simplified to: (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (pow (sin y) 2/3)) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (pow (sin y) 2/3)) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (cbrt (sin y))) (log1p (cbrt (sin y))) (log (cbrt (sin y))) (exp (cbrt (sin y))) (cbrt (pow (sin y) 2/3)) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y))) (sin y) (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))) (expm1 (pow (sin y) 2/3)) (log1p (pow (sin y) 2/3)) 2/3 2 (pow (sin y) 2) (pow (sin y) 2/3) 2 (log (pow (sin y) 2/3)) (log (pow (sin y) 2/3)) (exp (pow (sin y) 2/3)) (pow (sin y) 2) (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3))) (cbrt (pow (sin y) 2/3)) (pow (sin y) 2) (fabs (cbrt (sin y))) (fabs (cbrt (sin y))) (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) 1 (pow (sin y) 2/3) (pow (cbrt (cbrt (sin y))) 4) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (cbrt (sin y)) (cbrt (sin y)) 1 (pow (sin y) 2/3) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y)))) (cbrt (sin y)) (cbrt (sin y)) 2/3 2 (* (cbrt (sin y)) (cbrt (pow (sin y) 2/3))) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (cbrt (sin y)) (pow (cbrt (cbrt (sin y))) 5) (pow (sqrt (cbrt (sin y))) 3) (cbrt (sin y)) (pow (cbrt (cbrt (sin y))) 4) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (pow (sin y) 2/3) (pow (cbrt (cbrt (sin y))) 4) (pow (sqrt (cbrt (sin y))) 3) (pow (sin y) 2/3) (fma -1/3240 (cbrt (pow y 13)) (fma (cbrt (pow y 7)) -1/18 (cbrt y))) (cbrt (sin y)) (cbrt (sin y)) (fma -1/3240 (cbrt (pow y 13)) (fma (cbrt (pow y 7)) -1/18 (cbrt y))) (cbrt (sin y)) (cbrt (sin y)) (fma -1/3240 (cbrt (pow y 13)) (fma (cbrt (pow y 7)) -1/18 (cbrt y))) (cbrt (sin y)) (cbrt (sin y)) (fma (cbrt (pow y 8)) -1/9 (fma 1/405 (cbrt (pow y 14)) (pow y 2/3))) (pow (sin y) 2/3) (pow (sin y) 2/3) 9.892 * * * [progress]: adding candidates to table 10.150 * [progress]: [Phase 3 of 3] Extracting. 10.150 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # #) 10.153 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 10.153 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # # # # #) 10.210 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # # # #) 10.263 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # #) 10.320 * * * [regime]: Found split indices: #