11.636 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.058 * * * [progress]: [2/2] Setting up program. 0.060 * [progress]: [Phase 2 of 3] Improving. 0.061 * [simplify]: Simplifying using # : (+ (* x (sin y)) (* z (cos y))) 0.062 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.063 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 0.064 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 0.066 * * [simplify]: iteration done : 15 enodes (cost 8 ) 0.066 * [simplify]: Simplified to: (fma x (sin y) (* z (cos y))) 0.070 * * [progress]: iteration 1 / 4 0.070 * * * [progress]: picking best candidate 0.072 * * * * [pick]: Picked # 0.072 * * * [progress]: localizing error 0.081 * * * [progress]: generating rewritten candidates 0.081 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 0.084 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.085 * * * [progress]: generating series expansions 0.086 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 0.086 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 0.086 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.086 * [taylor]: Taking taylor expansion of (cos y) in y 0.086 * [taylor]: Taking taylor expansion of y in y 0.086 * [taylor]: Taking taylor expansion of z in y 0.086 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.086 * [taylor]: Taking taylor expansion of (cos y) in z 0.086 * [taylor]: Taking taylor expansion of y in z 0.086 * [taylor]: Taking taylor expansion of z in z 0.086 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.086 * [taylor]: Taking taylor expansion of (cos y) in z 0.086 * [taylor]: Taking taylor expansion of y in z 0.086 * [taylor]: Taking taylor expansion of z in z 0.087 * [taylor]: Taking taylor expansion of 0 in y 0.089 * [taylor]: Taking taylor expansion of (cos y) in y 0.089 * [taylor]: Taking taylor expansion of y in y 0.092 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [taylor]: Taking taylor expansion of 0 in y 0.096 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 0.096 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.096 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.096 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.096 * [taylor]: Taking taylor expansion of y in y 0.096 * [taylor]: Taking taylor expansion of z in y 0.096 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.096 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.096 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.096 * [taylor]: Taking taylor expansion of y in z 0.096 * [taylor]: Taking taylor expansion of z in z 0.097 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.097 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.097 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.097 * [taylor]: Taking taylor expansion of y in z 0.097 * [taylor]: Taking taylor expansion of z in z 0.098 * [taylor]: Taking taylor expansion of (cos (/ 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.100 * [taylor]: Taking taylor expansion of 0 in y 0.104 * [taylor]: Taking taylor expansion of 0 in y 0.108 * [taylor]: Taking taylor expansion of 0 in y 0.108 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 0.108 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.108 * [taylor]: Taking taylor expansion of -1 in y 0.108 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.108 * [taylor]: Taking taylor expansion of (cos (/ -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.109 * [taylor]: Taking taylor expansion of z in y 0.109 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.109 * [taylor]: Taking taylor expansion of -1 in z 0.109 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.109 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.109 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.109 * [taylor]: Taking taylor expansion of -1 in z 0.109 * [taylor]: Taking taylor expansion of y in z 0.109 * [taylor]: Taking taylor expansion of z in z 0.110 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.110 * [taylor]: Taking taylor expansion of -1 in z 0.110 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.110 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.110 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.110 * [taylor]: Taking taylor expansion of -1 in z 0.110 * [taylor]: Taking taylor expansion of y in z 0.110 * [taylor]: Taking taylor expansion of z in z 0.110 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.110 * [taylor]: Taking taylor expansion of -1 in y 0.110 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.110 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.110 * [taylor]: Taking taylor expansion of -1 in y 0.110 * [taylor]: Taking taylor expansion of y in y 0.114 * [taylor]: Taking taylor expansion of 0 in y 0.118 * [taylor]: Taking taylor expansion of 0 in y 0.124 * [taylor]: Taking taylor expansion of 0 in y 0.124 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.124 * [approximate]: Taking taylor expansion of (fma x (sin y) (* (cos y) z)) in (x y z) around 0 0.124 * [taylor]: Taking taylor expansion of (fma x (sin y) (* (cos y) z)) in z 0.124 * [taylor]: Rewrote expression to (+ (* x (sin y)) (* (cos y) z)) 0.124 * [taylor]: Taking taylor expansion of (* x (sin y)) in z 0.124 * [taylor]: Taking taylor expansion of x in z 0.124 * [taylor]: Taking taylor expansion of (sin y) in z 0.124 * [taylor]: Taking taylor expansion of y in z 0.125 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.125 * [taylor]: Taking taylor expansion of (cos y) in z 0.125 * [taylor]: Taking taylor expansion of y in z 0.125 * [taylor]: Taking taylor expansion of z in z 0.125 * [taylor]: Taking taylor expansion of (fma x (sin y) (* (cos y) z)) in y 0.125 * [taylor]: Rewrote expression to (+ (* x (sin y)) (* (cos y) z)) 0.125 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.125 * [taylor]: Taking taylor expansion of x in y 0.125 * [taylor]: Taking taylor expansion of (sin y) in y 0.125 * [taylor]: Taking taylor expansion of y in y 0.125 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.125 * [taylor]: Taking taylor expansion of (cos y) in y 0.125 * [taylor]: Taking taylor expansion of y in y 0.125 * [taylor]: Taking taylor expansion of z in y 0.125 * [taylor]: Taking taylor expansion of (fma x (sin y) (* (cos y) z)) in x 0.125 * [taylor]: Rewrote expression to (+ (* x (sin y)) (* (cos y) z)) 0.125 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of (sin y) in x 0.125 * [taylor]: Taking taylor expansion of y in x 0.125 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.125 * [taylor]: Taking taylor expansion of (cos y) in x 0.125 * [taylor]: Taking taylor expansion of y in x 0.125 * [taylor]: Taking taylor expansion of z in x 0.125 * [taylor]: Taking taylor expansion of (fma x (sin y) (* (cos y) z)) in x 0.125 * [taylor]: Rewrote expression to (+ (* x (sin y)) (* (cos y) z)) 0.125 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of (sin y) in x 0.125 * [taylor]: Taking taylor expansion of y in x 0.125 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.125 * [taylor]: Taking taylor expansion of (cos y) in x 0.125 * [taylor]: Taking taylor expansion of y in x 0.125 * [taylor]: Taking taylor expansion of z in x 0.126 * [taylor]: Taking taylor expansion of (* z (cos y)) in y 0.126 * [taylor]: Taking taylor expansion of z in y 0.127 * [taylor]: Taking taylor expansion of (cos y) in y 0.127 * [taylor]: Taking taylor expansion of y in y 0.127 * [taylor]: Taking taylor expansion of z in z 0.130 * [taylor]: Taking taylor expansion of (sin y) in y 0.130 * [taylor]: Taking taylor expansion of y in y 0.130 * [taylor]: Taking taylor expansion of 0 in z 0.131 * [taylor]: Taking taylor expansion of 0 in z 0.141 * [taylor]: Taking taylor expansion of 0 in y 0.141 * [taylor]: Taking taylor expansion of 0 in z 0.142 * [taylor]: Taking taylor expansion of 1 in z 0.143 * [taylor]: Taking taylor expansion of (- (* 1/2 z)) in z 0.143 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 0.143 * [taylor]: Taking taylor expansion of 1/2 in z 0.143 * [taylor]: Taking taylor expansion of z in z 0.151 * [taylor]: Taking taylor expansion of 0 in y 0.151 * [taylor]: Taking taylor expansion of 0 in z 0.151 * [taylor]: Taking taylor expansion of 0 in z 0.151 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in (x y z) around 0 0.151 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in z 0.152 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (sin (/ 1 y))) (/ (cos (/ 1 y)) z)) 0.152 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sin (/ 1 y))) in z 0.152 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.152 * [taylor]: Taking taylor expansion of x in z 0.152 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.152 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.152 * [taylor]: Taking taylor expansion of y in z 0.152 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.152 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.152 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.152 * [taylor]: Taking taylor expansion of y in z 0.152 * [taylor]: Taking taylor expansion of z in z 0.153 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in y 0.153 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (sin (/ 1 y))) (/ (cos (/ 1 y)) z)) 0.153 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sin (/ 1 y))) in y 0.153 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.153 * [taylor]: Taking taylor expansion of x in y 0.153 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.153 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.153 * [taylor]: Taking taylor expansion of y in y 0.153 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.153 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.153 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.153 * [taylor]: Taking taylor expansion of y in y 0.154 * [taylor]: Taking taylor expansion of z in y 0.154 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in x 0.154 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (sin (/ 1 y))) (/ (cos (/ 1 y)) z)) 0.154 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sin (/ 1 y))) in x 0.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.154 * [taylor]: Taking taylor expansion of x in x 0.154 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.154 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.154 * [taylor]: Taking taylor expansion of y in x 0.154 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.154 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.154 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.154 * [taylor]: Taking taylor expansion of y in x 0.155 * [taylor]: Taking taylor expansion of z in x 0.155 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in x 0.155 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (sin (/ 1 y))) (/ (cos (/ 1 y)) z)) 0.155 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sin (/ 1 y))) in x 0.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.155 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.156 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.156 * [taylor]: Taking taylor expansion of y in x 0.156 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.156 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.156 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.156 * [taylor]: Taking taylor expansion of y in x 0.156 * [taylor]: Taking taylor expansion of z in x 0.157 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.157 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.157 * [taylor]: Taking taylor expansion of y in y 0.157 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.157 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.157 * [taylor]: Taking taylor expansion of y in z 0.160 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.160 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.160 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.160 * [taylor]: Taking taylor expansion of z in y 0.160 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.160 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.160 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.160 * [taylor]: Taking taylor expansion of y in z 0.160 * [taylor]: Taking taylor expansion of z in z 0.161 * [taylor]: Taking taylor expansion of 0 in z 0.166 * [taylor]: Taking taylor expansion of 0 in y 0.167 * [taylor]: Taking taylor expansion of 0 in z 0.167 * [taylor]: Taking taylor expansion of 0 in z 0.167 * [taylor]: Taking taylor expansion of 0 in z 0.178 * [taylor]: Taking taylor expansion of 0 in y 0.178 * [taylor]: Taking taylor expansion of 0 in z 0.178 * [taylor]: Taking taylor expansion of 0 in z 0.178 * [taylor]: Taking taylor expansion of 0 in z 0.178 * [taylor]: Taking taylor expansion of 0 in z 0.179 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (sin (/ -1 y)) (* -1 (/ (cos (/ -1 y)) z))) in (x y z) around 0 0.179 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (sin (/ -1 y)) (* -1 (/ (cos (/ -1 y)) z))) in z 0.179 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (sin (/ -1 y))) (* -1 (/ (cos (/ -1 y)) z))) 0.179 * [taylor]: Taking taylor expansion of (* (/ -1 x) (sin (/ -1 y))) in z 0.179 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.179 * [taylor]: Taking taylor expansion of -1 in z 0.179 * [taylor]: Taking taylor expansion of x 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 -1 in z 0.179 * [taylor]: Taking taylor expansion of y in z 0.179 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.179 * [taylor]: Taking taylor expansion of -1 in z 0.179 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.179 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.179 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.179 * [taylor]: Taking taylor expansion of -1 in z 0.179 * [taylor]: Taking taylor expansion of y in z 0.180 * [taylor]: Taking taylor expansion of z in z 0.180 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (sin (/ -1 y)) (* -1 (/ (cos (/ -1 y)) z))) in y 0.180 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (sin (/ -1 y))) (* -1 (/ (cos (/ -1 y)) z))) 0.180 * [taylor]: Taking taylor expansion of (* (/ -1 x) (sin (/ -1 y))) in y 0.180 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.180 * [taylor]: Taking taylor expansion of -1 in y 0.180 * [taylor]: Taking taylor expansion of x in y 0.180 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.180 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.180 * [taylor]: Taking taylor expansion of -1 in y 0.180 * [taylor]: Taking taylor expansion of y in y 0.181 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.181 * [taylor]: Taking taylor expansion of -1 in y 0.181 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.181 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.181 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.181 * [taylor]: Taking taylor expansion of -1 in y 0.181 * [taylor]: Taking taylor expansion of y in y 0.181 * [taylor]: Taking taylor expansion of z in y 0.181 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (sin (/ -1 y)) (* -1 (/ (cos (/ -1 y)) z))) in x 0.182 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (sin (/ -1 y))) (* -1 (/ (cos (/ -1 y)) z))) 0.182 * [taylor]: Taking taylor expansion of (* (/ -1 x) (sin (/ -1 y))) in x 0.182 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.182 * [taylor]: Taking taylor expansion of -1 in x 0.182 * [taylor]: Taking taylor expansion of x in x 0.182 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.182 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.182 * [taylor]: Taking taylor expansion of -1 in x 0.182 * [taylor]: Taking taylor expansion of y in x 0.182 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in x 0.182 * [taylor]: Taking taylor expansion of -1 in x 0.182 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.182 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.182 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.182 * [taylor]: Taking taylor expansion of -1 in x 0.182 * [taylor]: Taking taylor expansion of y in x 0.182 * [taylor]: Taking taylor expansion of z in x 0.183 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (sin (/ -1 y)) (* -1 (/ (cos (/ -1 y)) z))) in x 0.183 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (sin (/ -1 y))) (* -1 (/ (cos (/ -1 y)) z))) 0.183 * [taylor]: Taking taylor expansion of (* (/ -1 x) (sin (/ -1 y))) in x 0.183 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.183 * [taylor]: Taking taylor expansion of -1 in x 0.183 * [taylor]: Taking taylor expansion of x in x 0.183 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.183 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.184 * [taylor]: Taking taylor expansion of -1 in x 0.184 * [taylor]: Taking taylor expansion of y in x 0.184 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in x 0.184 * [taylor]: Taking taylor expansion of -1 in x 0.184 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.184 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.184 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.184 * [taylor]: Taking taylor expansion of -1 in x 0.184 * [taylor]: Taking taylor expansion of y in x 0.184 * [taylor]: Taking taylor expansion of z in x 0.185 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y))) in y 0.185 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.185 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.185 * [taylor]: Taking taylor expansion of -1 in y 0.185 * [taylor]: Taking taylor expansion of y in y 0.185 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y))) in z 0.185 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.185 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.185 * [taylor]: Taking taylor expansion of -1 in z 0.185 * [taylor]: Taking taylor expansion of y in z 0.188 * [taylor]: Taking taylor expansion of (- (/ (cos (/ -1 y)) z)) in y 0.188 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.188 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.188 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.188 * [taylor]: Taking taylor expansion of -1 in y 0.188 * [taylor]: Taking taylor expansion of y in y 0.188 * [taylor]: Taking taylor expansion of z in y 0.189 * [taylor]: Taking taylor expansion of (- (/ (cos (/ -1 y)) z)) in z 0.189 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.189 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.189 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.189 * [taylor]: Taking taylor expansion of -1 in z 0.189 * [taylor]: Taking taylor expansion of y in z 0.189 * [taylor]: Taking taylor expansion of z in z 0.190 * [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.197 * [taylor]: Taking taylor expansion of 0 in z 0.209 * [taylor]: Taking taylor expansion of 0 in y 0.209 * [taylor]: Taking taylor expansion of 0 in z 0.209 * [taylor]: Taking taylor expansion of 0 in z 0.209 * [taylor]: Taking taylor expansion of 0 in z 0.209 * [taylor]: Taking taylor expansion of 0 in z 0.210 * * * [progress]: simplifying candidates 0.211 * [simplify]: Simplifying using # : (expm1 (* z (cos y))) (log1p (* z (cos y))) (* z (cos y)) (+ (log z) (log (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (* (* (* z z) z) (* (* (cos y) (cos y)) (cos y))) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (* (* (* z (cos y)) (* z (cos y))) (* z (cos y))) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) (* z 1) (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) (expm1 (fma x (sin y) (* z (cos y)))) (log1p (fma x (sin y) (* z (cos y)))) (* x (sin y)) (log (fma x (sin y) (* z (cos y)))) (exp (fma x (sin y) (* z (cos y)))) (* (cbrt (fma x (sin y) (* z (cos y)))) (cbrt (fma x (sin y) (* z (cos y))))) (cbrt (fma x (sin y) (* z (cos y)))) (* (* (fma x (sin y) (* z (cos y))) (fma x (sin y) (* z (cos y)))) (fma x (sin y) (* z (cos y)))) (sqrt (fma x (sin y) (* z (cos y)))) (sqrt (fma x (sin y) (* z (cos y)))) z (* z (cos y)) (* z (cos y)) (+ z (* x y)) (+ (* (cos y) z) (* x (sin y))) (+ (* (cos y) z) (* x (sin y))) 0.212 * * [simplify]: iteration 0 : 50 enodes (cost 271 ) 0.220 * * [simplify]: iteration 1 : 84 enodes (cost 266 ) 0.235 * * [simplify]: iteration 2 : 165 enodes (cost 233 ) 0.265 * * [simplify]: iteration 3 : 280 enodes (cost 233 ) 0.334 * * [simplify]: iteration 4 : 640 enodes (cost 233 ) 0.626 * * [simplify]: iteration 5 : 1999 enodes (cost 233 ) 2.022 * * [simplify]: iteration done : 5000 enodes (cost 233 ) 2.023 * [simplify]: Simplified to: (expm1 (* z (cos y))) (log1p (* z (cos y))) (* (cos y) z) (log (* z (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (pow (* (cos y) z) 3) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (pow (* (cos y) z) 3) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) z (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* (cos y) z) (expm1 (fma x (sin y) (* z (cos y)))) (log1p (fma x (sin y) (* z (cos y)))) (* x (sin y)) (log (fma x (sin y) (* z (cos y)))) (exp (fma x (sin y) (* z (cos y)))) (* (cbrt (fma x (sin y) (* z (cos y)))) (cbrt (fma x (sin y) (* z (cos y))))) (cbrt (fma x (sin y) (* z (cos y)))) (pow (fma x (sin y) (* z (cos y))) 3) (sqrt (fma x (sin y) (* z (cos y)))) (sqrt (fma x (sin y) (* z (cos y)))) z (* (cos y) z) (* (cos y) z) (fma y x z) (fma x (sin y) (* z (cos y))) (fma x (sin y) (* z (cos y))) 2.023 * * * [progress]: adding candidates to table 2.121 * * [progress]: iteration 2 / 4 2.121 * * * [progress]: picking best candidate 2.132 * * * * [pick]: Picked # 2.132 * * * [progress]: localizing error 2.145 * * * [progress]: generating rewritten candidates 2.145 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2) 2.146 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2 2) 2.146 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 2 1) 2.147 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1 2) 2.155 * * * [progress]: generating series expansions 2.156 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2) 2.156 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 2.156 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.156 * [taylor]: Taking taylor expansion of 1/3 in y 2.156 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.156 * [taylor]: Taking taylor expansion of (cos y) in y 2.156 * [taylor]: Taking taylor expansion of y in y 2.161 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.161 * [taylor]: Taking taylor expansion of 1/3 in y 2.161 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.161 * [taylor]: Taking taylor expansion of (cos y) in y 2.161 * [taylor]: Taking taylor expansion of y in y 2.188 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 2.188 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.188 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.188 * [taylor]: Taking taylor expansion of 1/3 in y 2.189 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.189 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.189 * [taylor]: Taking taylor expansion of y in y 2.189 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.189 * [taylor]: Taking taylor expansion of 1/3 in y 2.189 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.189 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.189 * [taylor]: Taking taylor expansion of y in y 2.227 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 2.227 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.228 * [taylor]: Taking taylor expansion of 1/3 in y 2.228 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.228 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.228 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.228 * [taylor]: Taking taylor expansion of -1 in y 2.228 * [taylor]: Taking taylor expansion of y in y 2.228 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.228 * [taylor]: Taking taylor expansion of 1/3 in y 2.228 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.228 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.228 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.228 * [taylor]: Taking taylor expansion of -1 in y 2.228 * [taylor]: Taking taylor expansion of y in y 2.270 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2 2) 2.270 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 2.270 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.270 * [taylor]: Taking taylor expansion of 1/3 in y 2.270 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.270 * [taylor]: Taking taylor expansion of (cos y) in y 2.270 * [taylor]: Taking taylor expansion of y in y 2.275 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.275 * [taylor]: Taking taylor expansion of 1/3 in y 2.275 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.275 * [taylor]: Taking taylor expansion of (cos y) in y 2.275 * [taylor]: Taking taylor expansion of y in y 2.298 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 2.298 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.299 * [taylor]: Taking taylor expansion of 1/3 in y 2.299 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.299 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.299 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.299 * [taylor]: Taking taylor expansion of y in y 2.299 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.299 * [taylor]: Taking taylor expansion of 1/3 in y 2.299 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.299 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.299 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.299 * [taylor]: Taking taylor expansion of y in y 2.337 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 2.337 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.337 * [taylor]: Taking taylor expansion of 1/3 in y 2.337 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.337 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.337 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.337 * [taylor]: Taking taylor expansion of -1 in y 2.337 * [taylor]: Taking taylor expansion of y in y 2.338 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.338 * [taylor]: Taking taylor expansion of 1/3 in y 2.338 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.338 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.338 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.338 * [taylor]: Taking taylor expansion of -1 in y 2.338 * [taylor]: Taking taylor expansion of y in y 2.382 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 2 1) 2.382 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 2.383 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.383 * [taylor]: Taking taylor expansion of 1/3 in y 2.383 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.383 * [taylor]: Taking taylor expansion of (cos y) in y 2.383 * [taylor]: Taking taylor expansion of y in y 2.388 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 2.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 2.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 2.388 * [taylor]: Taking taylor expansion of 1/3 in y 2.388 * [taylor]: Taking taylor expansion of (log (cos y)) in y 2.388 * [taylor]: Taking taylor expansion of (cos y) in y 2.388 * [taylor]: Taking taylor expansion of y in y 2.411 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 2.411 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.411 * [taylor]: Taking taylor expansion of 1/3 in y 2.411 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.411 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.411 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.411 * [taylor]: Taking taylor expansion of y in y 2.412 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 2.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 2.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 2.412 * [taylor]: Taking taylor expansion of 1/3 in y 2.412 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 2.412 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.412 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.412 * [taylor]: Taking taylor expansion of y in y 2.456 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 2.456 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.456 * [taylor]: Taking taylor expansion of 1/3 in y 2.456 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.456 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.456 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.456 * [taylor]: Taking taylor expansion of -1 in y 2.456 * [taylor]: Taking taylor expansion of y in y 2.456 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 2.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 2.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 2.457 * [taylor]: Taking taylor expansion of 1/3 in y 2.457 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 2.457 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.457 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.457 * [taylor]: Taking taylor expansion of -1 in y 2.457 * [taylor]: Taking taylor expansion of y in y 2.494 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1 2) 2.495 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 2.495 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.495 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.495 * [taylor]: Taking taylor expansion of 1/3 in y 2.495 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.495 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.495 * [taylor]: Taking taylor expansion of (cos y) in y 2.495 * [taylor]: Taking taylor expansion of y in y 2.500 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 2.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 2.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 2.501 * [taylor]: Taking taylor expansion of 1/3 in y 2.501 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 2.501 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 2.501 * [taylor]: Taking taylor expansion of (cos y) in y 2.501 * [taylor]: Taking taylor expansion of y in y 2.576 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 2.576 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.576 * [taylor]: Taking taylor expansion of 1/3 in y 2.576 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.576 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.576 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.576 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.576 * [taylor]: Taking taylor expansion of y in y 2.577 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 2.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 2.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 2.577 * [taylor]: Taking taylor expansion of 1/3 in y 2.577 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 2.577 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 2.577 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 2.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.577 * [taylor]: Taking taylor expansion of y in y 2.622 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 2.623 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.623 * [taylor]: Taking taylor expansion of 1/3 in y 2.623 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.623 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.623 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.623 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.623 * [taylor]: Taking taylor expansion of -1 in y 2.623 * [taylor]: Taking taylor expansion of y in y 2.624 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 2.624 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 2.624 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 2.624 * [taylor]: Taking taylor expansion of 1/3 in y 2.624 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 2.624 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 2.624 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 2.624 * [taylor]: Taking taylor expansion of (/ -1 y) in y 2.624 * [taylor]: Taking taylor expansion of -1 in y 2.624 * [taylor]: Taking taylor expansion of y in y 2.675 * * * [progress]: simplifying candidates 2.676 * [simplify]: Simplifying using # : (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (* (cbrt (cos y)) (cbrt (cos y)))) (log1p (* (cbrt (cos y)) (cbrt (cos y)))) (+ 1/3 1/3) (+ 1 1) (* (cos y) (cos y)) (* (cbrt (cos y)) (cbrt (cos y))) (+ 1 1) (+ (log (cbrt (cos y))) (log (cbrt (cos y)))) (log (* (cbrt (cos y)) (cbrt (cos y)))) (exp (* (cbrt (cos y)) (cbrt (cos y)))) (* (cos y) (cos y)) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (* (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (sqrt (* (cbrt (cos y)) (cbrt (cos y)))) (* (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (cos y)) (cbrt (cos y))) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 1 1) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (cbrt (sqrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y)))) (* 2 1/3) (* 2 1) (* (cbrt (cos y)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (* (cbrt (cos y)) (cbrt 1)) (* (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (cbrt (cos y)) (sqrt (cbrt (cos y)))) (* (cbrt (cos y)) 1) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (sqrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (* (cbrt (cbrt (cos y))) (cbrt (cos y))) (* (sqrt (cbrt (cos y))) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (cos y))) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) 2.679 * * [simplify]: iteration 0 : 68 enodes (cost 726 ) 2.697 * * [simplify]: iteration 1 : 128 enodes (cost 651 ) 2.726 * * [simplify]: iteration 2 : 363 enodes (cost 551 ) 2.999 * * [simplify]: iteration 3 : 1342 enodes (cost 529 ) 4.572 * * [simplify]: iteration done : 5000 enodes (cost 523 ) 4.572 * [simplify]: Simplified to: (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (pow (cos y) 2/3)) (log1p (pow (cos y) 2/3)) 2/3 2 (pow (cos y) 2) (pow (cos y) 2/3) 2 (log (pow (cos y) 2/3)) (log (pow (cos y) 2/3)) (exp (pow (cos y) 2/3)) (pow (cos y) 2) (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3))) (cbrt (pow (cos y) 2/3)) (pow (cos y) 2) (fabs (cbrt (cos y))) (fabs (cbrt (cos y))) (* (cbrt (pow (cos y) 2/3)) (cbrt (pow (cos y) 2/3))) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) 1 (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 1 (pow (cos y) 2/3) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (* (cbrt (sqrt (cos y))) (sqrt (cbrt (cos y)))) (cbrt (cos y)) (cbrt (cos y)) 2/3 2 (* (cbrt (pow (cos y) 2/3)) (cbrt (cos y))) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (cbrt (cos y)) (pow (cbrt (cbrt (cos y))) (+ 4 1)) (pow (sqrt (cbrt (cos y))) 3) (cbrt (cos y)) (pow (cbrt (cbrt (cos y))) 4) (* (cbrt (cos y)) (cbrt (sqrt (cos y)))) (pow (cos y) 2/3) (pow (cbrt (cbrt (cos y))) 4) (pow (sqrt (cbrt (cos y))) 3) (pow (cos y) 2/3) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (fma -1/3 (pow y 2) (fma -1/405 (pow y 6) 1)) (pow (cos y) 2/3) (pow (cos y) 2/3) 4.573 * * * [progress]: adding candidates to table 4.848 * * [progress]: iteration 3 / 4 4.848 * * * [progress]: picking best candidate 4.862 * * * * [pick]: Picked # 4.862 * * * [progress]: localizing error 4.879 * * * [progress]: generating rewritten candidates 4.879 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2) 4.880 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2 1) 4.881 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3) 4.899 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1) 4.914 * * * [progress]: generating series expansions 4.914 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2) 4.914 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 4.915 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.915 * [taylor]: Taking taylor expansion of 1/3 in y 4.915 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.915 * [taylor]: Taking taylor expansion of (cos y) in y 4.915 * [taylor]: Taking taylor expansion of y in y 4.920 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 4.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 4.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 4.920 * [taylor]: Taking taylor expansion of 1/3 in y 4.920 * [taylor]: Taking taylor expansion of (log (cos y)) in y 4.920 * [taylor]: Taking taylor expansion of (cos y) in y 4.920 * [taylor]: Taking taylor expansion of y in y 4.948 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 4.948 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.948 * [taylor]: Taking taylor expansion of 1/3 in y 4.948 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.948 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.948 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.948 * [taylor]: Taking taylor expansion of y in y 4.949 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 4.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 4.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 4.949 * [taylor]: Taking taylor expansion of 1/3 in y 4.949 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 4.949 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 4.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.949 * [taylor]: Taking taylor expansion of y in y 4.987 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 4.987 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.987 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.987 * [taylor]: Taking taylor expansion of 1/3 in y 4.987 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.987 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.987 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.987 * [taylor]: Taking taylor expansion of -1 in y 4.987 * [taylor]: Taking taylor expansion of y in y 4.988 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 4.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 4.988 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 4.988 * [taylor]: Taking taylor expansion of 1/3 in y 4.988 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 4.988 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 4.988 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.988 * [taylor]: Taking taylor expansion of -1 in y 4.988 * [taylor]: Taking taylor expansion of y in y 5.032 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2 1) 5.033 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 5.033 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 5.033 * [taylor]: Taking taylor expansion of (cos y) in y 5.033 * [taylor]: Taking taylor expansion of y in y 5.033 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 5.033 * [taylor]: Taking taylor expansion of (cos y) in y 5.033 * [taylor]: Taking taylor expansion of y in y 5.039 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 5.039 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 5.039 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.039 * [taylor]: Taking taylor expansion of y in y 5.040 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 5.040 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.040 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.040 * [taylor]: Taking taylor expansion of y in y 5.045 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 5.045 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 5.045 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.045 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.045 * [taylor]: Taking taylor expansion of -1 in y 5.045 * [taylor]: Taking taylor expansion of y in y 5.046 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 5.046 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.046 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.046 * [taylor]: Taking taylor expansion of -1 in y 5.046 * [taylor]: Taking taylor expansion of y in y 5.051 * * * * [progress]: [ 3 / 4 ] generating series at (2 3) 5.051 * [approximate]: Taking taylor expansion of (* z (cos y)) in (z y) around 0 5.051 * [taylor]: Taking taylor expansion of (* z (cos y)) in y 5.051 * [taylor]: Taking taylor expansion of z in y 5.051 * [taylor]: Taking taylor expansion of (cos y) in y 5.051 * [taylor]: Taking taylor expansion of y in y 5.051 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 5.051 * [taylor]: Taking taylor expansion of z in z 5.051 * [taylor]: Taking taylor expansion of (cos y) in z 5.051 * [taylor]: Taking taylor expansion of y in z 5.052 * [taylor]: Taking taylor expansion of (* z (cos y)) in z 5.052 * [taylor]: Taking taylor expansion of z in z 5.052 * [taylor]: Taking taylor expansion of (cos y) in z 5.052 * [taylor]: Taking taylor expansion of y in z 5.052 * [taylor]: Taking taylor expansion of 0 in y 5.055 * [taylor]: Taking taylor expansion of (cos y) in y 5.055 * [taylor]: Taking taylor expansion of y in y 5.058 * [taylor]: Taking taylor expansion of 0 in y 5.062 * [taylor]: Taking taylor expansion of 0 in y 5.062 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 5.062 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 5.062 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.062 * [taylor]: Taking taylor expansion of y in y 5.063 * [taylor]: Taking taylor expansion of z in y 5.063 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 5.063 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 5.063 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.063 * [taylor]: Taking taylor expansion of y in z 5.063 * [taylor]: Taking taylor expansion of z in z 5.063 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 5.063 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 5.063 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.063 * [taylor]: Taking taylor expansion of y in z 5.063 * [taylor]: Taking taylor expansion of z in z 5.064 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.064 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.064 * [taylor]: Taking taylor expansion of y in y 5.067 * [taylor]: Taking taylor expansion of 0 in y 5.071 * [taylor]: Taking taylor expansion of 0 in y 5.075 * [taylor]: Taking taylor expansion of 0 in y 5.076 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 5.076 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 5.076 * [taylor]: Taking taylor expansion of -1 in y 5.076 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 5.076 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.076 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.076 * [taylor]: Taking taylor expansion of -1 in y 5.076 * [taylor]: Taking taylor expansion of y in y 5.076 * [taylor]: Taking taylor expansion of z in y 5.076 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 5.076 * [taylor]: Taking taylor expansion of -1 in z 5.076 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 5.076 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 5.076 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.076 * [taylor]: Taking taylor expansion of -1 in z 5.076 * [taylor]: Taking taylor expansion of y in z 5.076 * [taylor]: Taking taylor expansion of z in z 5.077 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 5.077 * [taylor]: Taking taylor expansion of -1 in z 5.077 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 5.077 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 5.077 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.077 * [taylor]: Taking taylor expansion of -1 in z 5.077 * [taylor]: Taking taylor expansion of y in z 5.077 * [taylor]: Taking taylor expansion of z in z 5.078 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 5.078 * [taylor]: Taking taylor expansion of -1 in y 5.078 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.078 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.078 * [taylor]: Taking taylor expansion of -1 in y 5.078 * [taylor]: Taking taylor expansion of y in y 5.081 * [taylor]: Taking taylor expansion of 0 in y 5.086 * [taylor]: Taking taylor expansion of 0 in y 5.092 * [taylor]: Taking taylor expansion of 0 in y 5.092 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1) 5.092 * [approximate]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in (z y) around 0 5.092 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in y 5.092 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 5.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 5.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 5.092 * [taylor]: Taking taylor expansion of 1/3 in y 5.092 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 5.092 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 5.092 * [taylor]: Taking taylor expansion of (cos y) in y 5.092 * [taylor]: Taking taylor expansion of y in y 5.098 * [taylor]: Taking taylor expansion of z in y 5.099 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in z 5.099 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in z 5.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in z 5.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in z 5.099 * [taylor]: Taking taylor expansion of 1/3 in z 5.099 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in z 5.099 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 5.099 * [taylor]: Taking taylor expansion of (cos y) in z 5.099 * [taylor]: Taking taylor expansion of y in z 5.100 * [taylor]: Taking taylor expansion of z in z 5.100 * [taylor]: Taking taylor expansion of (* (pow (pow (cos y) 2) 1/3) z) in z 5.100 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in z 5.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in z 5.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in z 5.100 * [taylor]: Taking taylor expansion of 1/3 in z 5.100 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in z 5.100 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in z 5.100 * [taylor]: Taking taylor expansion of (cos y) in z 5.100 * [taylor]: Taking taylor expansion of y in z 5.101 * [taylor]: Taking taylor expansion of z in z 5.101 * [taylor]: Taking taylor expansion of 0 in y 5.105 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 5.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 5.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 5.105 * [taylor]: Taking taylor expansion of 1/3 in y 5.105 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 5.105 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 5.105 * [taylor]: Taking taylor expansion of (cos y) in y 5.105 * [taylor]: Taking taylor expansion of y in y 5.117 * [taylor]: Taking taylor expansion of 0 in y 5.132 * [taylor]: Taking taylor expansion of 0 in y 5.132 * [approximate]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in (z y) around 0 5.132 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in y 5.132 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 5.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 5.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 5.132 * [taylor]: Taking taylor expansion of 1/3 in y 5.132 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 5.132 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 5.132 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.133 * [taylor]: Taking taylor expansion of y in y 5.133 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.133 * [taylor]: Taking taylor expansion of z in y 5.133 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in z 5.133 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in z 5.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in z 5.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in z 5.134 * [taylor]: Taking taylor expansion of 1/3 in z 5.134 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in z 5.134 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 5.134 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 5.134 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.134 * [taylor]: Taking taylor expansion of y in z 5.135 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.135 * [taylor]: Taking taylor expansion of z in z 5.135 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ 1 y)) 2) 1/3) (/ 1 z)) in z 5.135 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in z 5.135 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in z 5.135 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in z 5.135 * [taylor]: Taking taylor expansion of 1/3 in z 5.135 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in z 5.135 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in z 5.135 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 5.135 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.135 * [taylor]: Taking taylor expansion of y in z 5.136 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.136 * [taylor]: Taking taylor expansion of z in z 5.137 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 5.137 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 5.137 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 5.137 * [taylor]: Taking taylor expansion of 1/3 in y 5.137 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 5.137 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 5.137 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 5.137 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.137 * [taylor]: Taking taylor expansion of y in y 5.143 * [taylor]: Taking taylor expansion of 0 in y 5.152 * [taylor]: Taking taylor expansion of 0 in y 5.164 * [taylor]: Taking taylor expansion of 0 in y 5.165 * [approximate]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in (z y) around 0 5.165 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in y 5.165 * [taylor]: Taking taylor expansion of -1 in y 5.165 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in y 5.165 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 5.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 5.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 5.165 * [taylor]: Taking taylor expansion of 1/3 in y 5.165 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 5.165 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 5.165 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.165 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.165 * [taylor]: Taking taylor expansion of -1 in y 5.165 * [taylor]: Taking taylor expansion of y in y 5.166 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.166 * [taylor]: Taking taylor expansion of z in y 5.166 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in z 5.166 * [taylor]: Taking taylor expansion of -1 in z 5.166 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in z 5.166 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in z 5.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in z 5.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in z 5.166 * [taylor]: Taking taylor expansion of 1/3 in z 5.166 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in z 5.166 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 5.166 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 5.166 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.166 * [taylor]: Taking taylor expansion of -1 in z 5.166 * [taylor]: Taking taylor expansion of y in z 5.167 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.167 * [taylor]: Taking taylor expansion of z in z 5.168 * [taylor]: Taking taylor expansion of (* -1 (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z))) in z 5.168 * [taylor]: Taking taylor expansion of -1 in z 5.168 * [taylor]: Taking taylor expansion of (* (pow (pow (cos (/ -1 y)) 2) 1/3) (/ 1 z)) in z 5.168 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in z 5.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in z 5.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in z 5.168 * [taylor]: Taking taylor expansion of 1/3 in z 5.168 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in z 5.168 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in z 5.168 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 5.168 * [taylor]: Taking taylor expansion of (/ -1 y) in z 5.168 * [taylor]: Taking taylor expansion of -1 in z 5.168 * [taylor]: Taking taylor expansion of y in z 5.169 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.169 * [taylor]: Taking taylor expansion of z in z 5.170 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (cos (/ -1 y)) 2) 1/3)) in y 5.170 * [taylor]: Taking taylor expansion of -1 in y 5.170 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 5.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 5.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 5.170 * [taylor]: Taking taylor expansion of 1/3 in y 5.170 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 5.170 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 5.170 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 5.170 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.170 * [taylor]: Taking taylor expansion of -1 in y 5.170 * [taylor]: Taking taylor expansion of y in y 5.176 * [taylor]: Taking taylor expansion of 0 in y 5.186 * [taylor]: Taking taylor expansion of 0 in y 5.201 * [taylor]: Taking taylor expansion of 0 in y 5.201 * * * [progress]: simplifying candidates 5.202 * [simplify]: Simplifying using # : (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (* (cbrt (cos y)) (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) (cbrt 1) (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (* (* (cbrt (cos y)) (cbrt (cos y))) (cbrt (cos y))) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (pow (cos y) 2)) (log1p (pow (cos y) 2)) (* (log (cos y)) 2) (* (log (cos y)) 2) (* 1 2) (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (pow (cos y) 1) (pow (* (cbrt (cos y)) (cbrt (cos y))) 2) (pow (cbrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow (sqrt (cos y)) 2) (pow 1 2) (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2)) (* (* (pow (cos y) 2) (pow (cos y) 2)) (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (sqrt (pow (cos y) 2)) (pow (cos y) (/ 2 2)) (pow (cos y) (/ 2 2)) (expm1 (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (log1p (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (+ (+ (log z) (* (* (log (cos y)) 2) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (* (* (log (cos y)) 2) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (* (log (pow (cos y) 2)) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (* (log (pow (cos y) 2)) 1/3)) (log (cbrt (cos y)))) (+ (+ (log z) (log (pow (pow (cos y) 2) 1/3))) (log (cbrt (cos y)))) (+ (log (* z (pow (pow (cos y) 2) 1/3))) (log (cbrt (cos y)))) (log (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (exp (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* (* (* z z) z) (pow (cos y) 2)) (cos y)) (* (* (* (* z z) z) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3))) (cos y)) (* (* (* (* z (pow (pow (cos y) 2) 1/3)) (* z (pow (pow (cos y) 2) 1/3))) (* z (pow (pow (cos y) 2) 1/3))) (cos y)) (* (cbrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (cbrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))))) (cbrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (sqrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (sqrt (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (cos y)))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (* (cbrt (cos y)) (cbrt (cos y))))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt (sqrt (cos y)))) (* (* z (pow (pow (cos y) 2) 1/3)) (cbrt 1)) (* (* z (pow (pow (cos y) 2) 1/3)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y))))) (* (* z (pow (pow (cos y) 2) 1/3)) (sqrt (cbrt (cos y)))) (* (* z (pow (pow (cos y) 2) 1/3)) 1) (* (pow (pow (cos y) 2) 1/3) (cbrt (cos y))) (expm1 (* z (pow (pow (cos y) 2) 1/3))) (log1p (* z (pow (pow (cos y) 2) 1/3))) (+ (log z) (* (* (log (cos y)) 2) 1/3)) (+ (log z) (* (* (log (cos y)) 2) 1/3)) (+ (log z) (* (log (pow (cos y) 2)) 1/3)) (+ (log z) (* (log (pow (cos y) 2)) 1/3)) (+ (log z) (log (pow (pow (cos y) 2) 1/3))) (log (* z (pow (pow (cos y) 2) 1/3))) (exp (* z (pow (pow (cos y) 2) 1/3))) (* (* (* z z) z) (pow (cos y) 2)) (* (* (* z z) z) (* (* (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3)) (pow (pow (cos y) 2) 1/3))) (* (cbrt (* z (pow (pow (cos y) 2) 1/3))) (cbrt (* z (pow (pow (cos y) 2) 1/3)))) (cbrt (* z (pow (pow (cos y) 2) 1/3))) (* (* (* z (pow (pow (cos y) 2) 1/3)) (* z (pow (pow (cos y) 2) 1/3))) (* z (pow (pow (cos y) 2) 1/3))) (sqrt (* z (pow (pow (cos y) 2) 1/3))) (sqrt (* z (pow (pow (cos y) 2) 1/3))) (* (sqrt z) (pow (pow (sqrt (cos y)) 2) 1/3)) (* (sqrt z) (pow (pow (sqrt (cos y)) 2) 1/3)) (* (sqrt z) (pow (cos y) 1/3)) (* (sqrt z) (pow (cos y) 1/3)) (* (sqrt z) (pow (sqrt (pow (cos y) 2)) 1/3)) (* (sqrt z) (pow (sqrt (pow (cos y) 2)) 1/3)) (* (sqrt z) (pow (pow (cos y) (/ 2 2)) 1/3)) (* (sqrt z) (pow (pow (cos y) (/ 2 2)) 1/3)) (* (sqrt z) (sqrt (pow (pow (cos y) 2) 1/3))) (* (sqrt z) (sqrt (pow (pow (cos y) 2) 1/3))) (* (sqrt z) (pow (pow (cos y) 2) (/ 1/3 2))) (* (sqrt z) (pow (pow (cos y) 2) (/ 1/3 2))) (* z (pow (pow (* (cbrt (cos y)) (cbrt (cos y))) 2) 1/3)) (* z (pow (pow (sqrt (cos y)) 2) 1/3)) (* z (pow (pow 1 2) 1/3)) (* z (pow (cos y) 1/3)) (* z (pow (* (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2))) 1/3)) (* z (pow (sqrt (pow (cos y) 2)) 1/3)) (* z (pow 1 1/3)) (* z (pow (pow (cos y) (/ 2 2)) 1/3)) (* z (* (cbrt (pow (pow (cos y) 2) 1/3)) (cbrt (pow (pow (cos y) 2) 1/3)))) (* z (sqrt (pow (pow (cos y) 2) 1/3))) (* z 1) (* z (pow (pow (cos y) 2) (/ 1/3 2))) (* (cbrt z) (pow (pow (cos y) 2) 1/3)) (* (sqrt z) (pow (pow (cos y) 2) 1/3)) (* z (pow (pow (cos y) 2) 1/3)) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) z (* z (cos y)) (* z (cos y)) z (* z (pow (pow (cos y) 2) 1/3)) (* z (pow (pow (cos y) 2) 1/3)) 5.206 * * [simplify]: iteration 0 : 141 enodes (cost 1143 ) 5.253 * * [simplify]: iteration 1 : 323 enodes (cost 945 ) 5.348 * * [simplify]: iteration 2 : 941 enodes (cost 845 ) 6.435 * * [simplify]: iteration 3 : 3908 enodes (cost 780 ) 7.829 * * [simplify]: iteration done : 5001 enodes (cost 780 ) 7.830 * [simplify]: Simplified to: (expm1 (cbrt (cos y))) (log1p (cbrt (cos y))) (log (cbrt (cos y))) (exp (cbrt (cos y))) (cbrt (pow (cos y) 2/3)) (cbrt (cbrt (cos y))) (cbrt (sqrt (cos y))) (cbrt (sqrt (cos y))) 1 (cbrt (cos y)) (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (cbrt (cbrt (cos y))) (cos y) (sqrt (cbrt (cos y))) (sqrt (cbrt (cos y))) (expm1 (pow (cos y) 2)) (log1p (pow (cos y) 2)) (log (pow (cos y) 2)) (log (pow (cos y) 2)) 2 (pow (cos y) (* (cbrt 2) (cbrt 2))) (pow (cos y) (sqrt 2)) (cos y) (pow (cos y) 4/3) (pow (cos y) 2/3) (cos y) (cos y) 1 (pow (cos y) 2) (log (pow (cos y) 2)) (exp (pow (cos y) 2)) (pow (pow (cos y) 2) 2/3) (cbrt (pow (cos y) 2)) (pow (pow (cos y) 2) 3) (fabs (cos y)) (fabs (cos y)) (cos y) (cos y) (expm1 (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (log1p (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))) (+ (log z) (log (cos y))) (+ (log z) (log (cos y))) (+ (log z) (log (cos y))) (+ (log z) (log (cos y))) (+ (log z) (log (cos y))) (+ (log z) (log (cos y))) (+ (log z) (log (cos y))) (pow (exp (* z (cbrt (pow (cos y) 2)))) (cbrt (cos y))) (* (pow z 3) (pow (cos y) 3)) (* (pow z 3) (pow (cos y) 3)) (* (pow z 3) (pow (cos y) 3)) (* (cbrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (cbrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y))))) (cbrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (pow z 3) (pow (cos y) 3)) (sqrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (sqrt (* (* z (cbrt (pow (cos y) 2))) (cbrt (cos y)))) (* (* z (cbrt (pow (cos y) 2))) (cbrt (pow (cos y) 2/3))) (* (* z (cbrt (pow (cos y) 2))) (cbrt (sqrt (cos y)))) (* z (cbrt (pow (cos y) 2))) (* (* (cbrt (cbrt (cos y))) (cbrt (cbrt (cos y)))) (* z (cbrt (pow (cos y) 2)))) (* (sqrt (cbrt (cos y))) (* z (cbrt (pow (cos y) 2)))) (* z (cbrt (pow (cos y) 2))) (* (cbrt (cos y)) (cbrt (pow (cos y) 2))) (expm1 (* z (cbrt (pow (cos y) 2)))) (log1p (* z (cbrt (pow (cos y) 2)))) (fma (log (cos y)) 2/3 (log z)) (fma (log (cos y)) 2/3 (log z)) (fma (log (cos y)) 2/3 (log z)) (fma (log (cos y)) 2/3 (log z)) (fma (log (cos y)) 2/3 (log z)) (fma (log (cos y)) 2/3 (log z)) (exp (* z (cbrt (pow (cos y) 2)))) (* (pow (cos y) 2) (pow z 3)) (* (pow (cos y) 2) (pow z 3)) (* (cbrt (* z (cbrt (pow (cos y) 2)))) (cbrt (* z (cbrt (pow (cos y) 2))))) (cbrt (* z (cbrt (pow (cos y) 2)))) (* (pow (cos y) 2) (pow z 3)) (sqrt (* z (cbrt (pow (cos y) 2)))) (sqrt (* z (cbrt (pow (cos y) 2)))) (* (cbrt (cos y)) (sqrt z)) (* (cbrt (cos y)) (sqrt z)) (* (cbrt (cos y)) (sqrt z)) (* (cbrt (cos y)) (sqrt z)) (* (sqrt z) (cbrt (fabs (cos y)))) (* (sqrt z) (cbrt (fabs (cos y)))) (* (cbrt (cos y)) (sqrt z)) (* (cbrt (cos y)) (sqrt z)) (* (sqrt (cbrt (pow (cos y) 2))) (sqrt z)) (* (sqrt (cbrt (pow (cos y) 2))) (sqrt z)) (* (pow (pow (cos y) 2) 1/6) (sqrt z)) (* (pow (pow (cos y) 2) 1/6) (sqrt z)) (* z (cbrt (pow (cos y) 4/3))) (* z (cbrt (cos y))) z (* z (cbrt (cos y))) (* z (cbrt (pow (pow (cos y) 2) 2/3))) (* (cbrt (fabs (cos y))) z) z (* z (cbrt (cos y))) (* (* z (cbrt (cbrt (pow (cos y) 2)))) (cbrt (cbrt (pow (cos y) 2)))) (* (sqrt (cbrt (pow (cos y) 2))) z) z (* z (pow (pow (cos y) 2) 1/6)) (* (cbrt (pow (cos y) 2)) (cbrt z)) (* (cbrt (pow (cos y) 2)) (sqrt z)) (* z (cbrt (pow (cos y) 2))) (- 1 (fma 1/6 (pow y 2) (* 1/72 (pow y 4)))) (cbrt (cos y)) (cbrt (cos y)) (- (fma 1/3 (pow y 4) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) z (* z (cos y)) (* z (cos y)) z (* z (cbrt (pow (cos y) 2))) (* z (cbrt (pow (cos y) 2))) 7.830 * * * [progress]: adding candidates to table 8.157 * * [progress]: iteration 4 / 4 8.157 * * * [progress]: picking best candidate 8.176 * * * * [pick]: Picked # 8.176 * * * [progress]: localizing error 8.197 * * * [progress]: generating rewritten candidates 8.197 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 1 1 1 1) 8.198 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2) 8.199 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 2 1 1) 8.200 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1 1 1 1 1) 8.203 * * * [progress]: generating series expansions 8.204 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 1 1 1 1) 8.204 * [approximate]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in (y) around 0 8.204 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 8.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 8.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 8.204 * [taylor]: Taking taylor expansion of 1/3 in y 8.204 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 8.204 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 8.204 * [taylor]: Taking taylor expansion of (cos y) in y 8.204 * [taylor]: Taking taylor expansion of y in y 8.210 * [taylor]: Taking taylor expansion of (pow (pow (cos y) 2) 1/3) in y 8.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos y) 2)))) in y 8.210 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos y) 2))) in y 8.210 * [taylor]: Taking taylor expansion of 1/3 in y 8.210 * [taylor]: Taking taylor expansion of (log (pow (cos y) 2)) in y 8.210 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 8.210 * [taylor]: Taking taylor expansion of (cos y) in y 8.210 * [taylor]: Taking taylor expansion of y in y 8.282 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in (y) around 0 8.282 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 8.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 8.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 8.282 * [taylor]: Taking taylor expansion of 1/3 in y 8.282 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 8.282 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 8.282 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.282 * [taylor]: Taking taylor expansion of y in y 8.283 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ 1 y)) 2) 1/3) in y 8.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ 1 y)) 2)))) in y 8.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ 1 y)) 2))) in y 8.283 * [taylor]: Taking taylor expansion of 1/3 in y 8.283 * [taylor]: Taking taylor expansion of (log (pow (cos (/ 1 y)) 2)) in y 8.283 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 8.283 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.283 * [taylor]: Taking taylor expansion of y in y 8.328 * [approximate]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in (y) around 0 8.328 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 8.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 8.328 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 8.328 * [taylor]: Taking taylor expansion of 1/3 in y 8.328 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 8.328 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 8.328 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.328 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.328 * [taylor]: Taking taylor expansion of -1 in y 8.328 * [taylor]: Taking taylor expansion of y in y 8.329 * [taylor]: Taking taylor expansion of (pow (pow (cos (/ -1 y)) 2) 1/3) in y 8.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cos (/ -1 y)) 2)))) in y 8.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cos (/ -1 y)) 2))) in y 8.329 * [taylor]: Taking taylor expansion of 1/3 in y 8.329 * [taylor]: Taking taylor expansion of (log (pow (cos (/ -1 y)) 2)) in y 8.329 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 8.329 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.329 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.329 * [taylor]: Taking taylor expansion of -1 in y 8.329 * [taylor]: Taking taylor expansion of y in y 8.378 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2) 8.378 * [approximate]: Taking taylor expansion of (pow (cos y) 1/3) in (y) around 0 8.378 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 8.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 8.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 8.378 * [taylor]: Taking taylor expansion of 1/3 in y 8.378 * [taylor]: Taking taylor expansion of (log (cos y)) in y 8.378 * [taylor]: Taking taylor expansion of (cos y) in y 8.378 * [taylor]: Taking taylor expansion of y in y 8.383 * [taylor]: Taking taylor expansion of (pow (cos y) 1/3) in y 8.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos y)))) in y 8.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos y))) in y 8.383 * [taylor]: Taking taylor expansion of 1/3 in y 8.383 * [taylor]: Taking taylor expansion of (log (cos y)) in y 8.383 * [taylor]: Taking taylor expansion of (cos y) in y 8.383 * [taylor]: Taking taylor expansion of y in y 8.408 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in (y) around 0 8.408 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 8.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 8.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 8.408 * [taylor]: Taking taylor expansion of 1/3 in y 8.408 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 8.408 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.408 * [taylor]: Taking taylor expansion of y in y 8.408 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 1/3) in y 8.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ 1 y))))) in y 8.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ 1 y)))) in y 8.408 * [taylor]: Taking taylor expansion of 1/3 in y 8.408 * [taylor]: Taking taylor expansion of (log (cos (/ 1 y))) in y 8.408 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.408 * [taylor]: Taking taylor expansion of y in y 8.450 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in (y) around 0 8.450 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 8.450 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 8.450 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 8.450 * [taylor]: Taking taylor expansion of 1/3 in y 8.450 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 8.450 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.450 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.450 * [taylor]: Taking taylor expansion of -1 in y 8.450 * [taylor]: Taking taylor expansion of y in y 8.451 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 1/3) in y 8.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cos (/ -1 y))))) in y 8.451 * [taylor]: Taking taylor expansion of (* 1/3 (log (cos (/ -1 y)))) in y 8.451 * [taylor]: Taking taylor expansion of 1/3 in y 8.451 * [taylor]: Taking taylor expansion of (log (cos (/ -1 y))) in y 8.451 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.451 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.451 * [taylor]: Taking taylor expansion of -1 in y 8.451 * [taylor]: Taking taylor expansion of y in y 8.488 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 2 1 1) 8.488 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 8.488 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 8.488 * [taylor]: Taking taylor expansion of (cos y) in y 8.488 * [taylor]: Taking taylor expansion of y in y 8.488 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 8.488 * [taylor]: Taking taylor expansion of (cos y) in y 8.488 * [taylor]: Taking taylor expansion of y in y 8.495 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 8.495 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 8.495 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.495 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.495 * [taylor]: Taking taylor expansion of y in y 8.496 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 8.496 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.496 * [taylor]: Taking taylor expansion of y in y 8.501 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 8.502 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 8.502 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.502 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.502 * [taylor]: Taking taylor expansion of -1 in y 8.502 * [taylor]: Taking taylor expansion of y in y 8.502 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 8.502 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.502 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.502 * [taylor]: Taking taylor expansion of -1 in y 8.502 * [taylor]: Taking taylor expansion of y in y 8.507 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1 1 1 1 1) 8.507 * [approximate]: Taking taylor expansion of (pow (cos y) 2) in (y) around 0 8.507 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 8.507 * [taylor]: Taking taylor expansion of (cos y) in y 8.507 * [taylor]: Taking taylor expansion of y in y 8.507 * [taylor]: Taking taylor expansion of (pow (cos y) 2) in y 8.507 * [taylor]: Taking taylor expansion of (cos y) in y 8.507 * [taylor]: Taking taylor expansion of y in y 8.514 * [approximate]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in (y) around 0 8.514 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 8.514 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.514 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.514 * [taylor]: Taking taylor expansion of y in y 8.514 * [taylor]: Taking taylor expansion of (pow (cos (/ 1 y)) 2) in y 8.514 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 8.514 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.514 * [taylor]: Taking taylor expansion of y in y 8.523 * [approximate]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in (y) around 0 8.523 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 8.523 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.523 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.523 * [taylor]: Taking taylor expansion of -1 in y 8.523 * [taylor]: Taking taylor expansion of y in y 8.523 * [taylor]: Taking taylor expansion of (pow (cos (/ -1 y)) 2) in y 8.523 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 8.523 * [taylor]: Taking taylor expansion of (/ -1 y) in y 8.523 * [taylor]: Taking taylor expansion of -1 in y 8.523 * [taylor]: Taking taylor expansion of y in y 8.528 * * * [progress]: simplifying candidates 8.529 * [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 (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)) (- 1 (+ (* 1/3 (pow y 2)) (* 1/405 (pow y 6)))) (pow (pow (cos y) 2) 1/3) (pow (pow (cos y) 2) 1/3) (- 1 (+ (* 1/6 (pow y 2)) (* 1/72 (pow y 4)))) (pow (cos y) 1/3) (pow (cos y) 1/3) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) (- (+ (* 1/3 (pow y 4)) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) 8.532 * * [simplify]: iteration 0 : 80 enodes (cost 589 ) 8.550 * * [simplify]: iteration 1 : 152 enodes (cost 520 ) 8.585 * * [simplify]: iteration 2 : 351 enodes (cost 445 ) 8.672 * * [simplify]: iteration 3 : 882 enodes (cost 435 ) 9.532 * * [simplify]: iteration 4 : 4648 enodes (cost 429 ) 12.032 * * [simplify]: iteration done : 5001 enodes (cost 429 ) 12.032 * [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 (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) (fma -1/405 (pow y 6) (fma -1/3 (pow y 2) 1)) (cbrt (pow (cos y) 2)) (cbrt (pow (cos y) 2)) (fma y (* y -1/6) (fma -1/72 (pow y 4) 1)) (cbrt (cos y)) (cbrt (cos y)) (- (fma 1/3 (pow y 4) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) (- (fma 1/3 (pow y 4) 1) (pow y 2)) (pow (cos y) 2) (pow (cos y) 2) 12.033 * * * [progress]: adding candidates to table 12.359 * [progress]: [Phase 3 of 3] Extracting. 12.359 * * [regime]: Finding splitpoints for: (# # # # # # #) 12.361 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 12.361 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 12.397 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 12.431 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 12.466 * * * [regime]: Found split indices: #