6.621 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.050 * * * [progress]: [2/2] Setting up program. 0.052 * [progress]: [Phase 2 of 3] Improving. 0.053 * [simplify]: Simplifying using # : (+ (* x (sin y)) (* z (cos y))) 0.055 * * [simplify]: iteration 0 : 12 enodes (cost 4 ) 0.056 * * [simplify]: iteration 1 : 15 enodes (cost 4 ) 0.057 * * [simplify]: iteration 2 : 15 enodes (cost 4 ) 0.058 * [simplify]: Simplified to: (fma x (sin y) (* z (cos y))) 0.062 * * [progress]: iteration 1 / 4 0.062 * * * [progress]: picking best candidate 0.064 * * * * [pick]: Picked # 0.064 * * * [progress]: localizing error 0.072 * * * [progress]: generating rewritten candidates 0.072 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 0.076 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.077 * * * [progress]: generating series expansions 0.077 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 0.077 * [approximate]: Taking taylor expansion of (* (cos y) z) in (z y) around 0 0.077 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.077 * [taylor]: Taking taylor expansion of (cos y) in y 0.078 * [taylor]: Taking taylor expansion of y in y 0.078 * [taylor]: Taking taylor expansion of z in y 0.078 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.078 * [taylor]: Taking taylor expansion of (cos y) in z 0.078 * [taylor]: Taking taylor expansion of y in z 0.078 * [taylor]: Taking taylor expansion of z in z 0.078 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.078 * [taylor]: Taking taylor expansion of (cos y) in z 0.078 * [taylor]: Taking taylor expansion of y in z 0.078 * [taylor]: Taking taylor expansion of z in z 0.079 * [taylor]: Taking taylor expansion of 0 in y 0.081 * [taylor]: Taking taylor expansion of (cos y) in y 0.081 * [taylor]: Taking taylor expansion of y in y 0.084 * [taylor]: Taking taylor expansion of 0 in y 0.087 * [taylor]: Taking taylor expansion of 0 in y 0.087 * [approximate]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in (z y) around 0 0.087 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.087 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.087 * [taylor]: Taking taylor expansion of y in y 0.088 * [taylor]: Taking taylor expansion of z in y 0.088 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.088 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.088 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.088 * [taylor]: Taking taylor expansion of y in z 0.088 * [taylor]: Taking taylor expansion of z in z 0.088 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.088 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.088 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.088 * [taylor]: Taking taylor expansion of y in z 0.089 * [taylor]: Taking taylor expansion of z in z 0.089 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.089 * [taylor]: Taking taylor expansion of y in y 0.097 * [taylor]: Taking taylor expansion of 0 in y 0.101 * [taylor]: Taking taylor expansion of 0 in y 0.105 * [taylor]: Taking taylor expansion of 0 in y 0.106 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in (z y) around 0 0.106 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.106 * [taylor]: Taking taylor expansion of -1 in y 0.106 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.106 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.106 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.106 * [taylor]: Taking taylor expansion of -1 in y 0.106 * [taylor]: Taking taylor expansion of y in y 0.106 * [taylor]: Taking taylor expansion of z in y 0.106 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.106 * [taylor]: Taking taylor expansion of -1 in z 0.106 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.106 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.106 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.106 * [taylor]: Taking taylor expansion of -1 in z 0.106 * [taylor]: Taking taylor expansion of y in z 0.107 * [taylor]: Taking taylor expansion of z in z 0.107 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.107 * [taylor]: Taking taylor expansion of -1 in z 0.107 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.107 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.107 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.107 * [taylor]: Taking taylor expansion of -1 in z 0.107 * [taylor]: Taking taylor expansion of y in z 0.107 * [taylor]: Taking taylor expansion of z in z 0.108 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -1 y))) in y 0.108 * [taylor]: Taking taylor expansion of -1 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.111 * [taylor]: Taking taylor expansion of 0 in y 0.115 * [taylor]: Taking taylor expansion of 0 in y 0.121 * [taylor]: Taking taylor expansion of 0 in y 0.121 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.121 * [approximate]: Taking taylor expansion of (fma x (sin y) (* (cos y) z)) in (x y z) around 0 0.121 * [taylor]: Taking taylor expansion of (fma x (sin y) (* (cos y) z)) in z 0.122 * [taylor]: Rewrote expression to (+ (* x (sin y)) (* (cos y) z)) 0.122 * [taylor]: Taking taylor expansion of (* x (sin y)) in z 0.122 * [taylor]: Taking taylor expansion of x in z 0.122 * [taylor]: Taking taylor expansion of (sin y) in z 0.122 * [taylor]: Taking taylor expansion of y in z 0.122 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.122 * [taylor]: Taking taylor expansion of (cos y) in z 0.122 * [taylor]: Taking taylor expansion of y in z 0.122 * [taylor]: Taking taylor expansion of z in z 0.122 * [taylor]: Taking taylor expansion of (fma x (sin y) (* (cos y) z)) in y 0.122 * [taylor]: Rewrote expression to (+ (* x (sin y)) (* (cos y) z)) 0.122 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.122 * [taylor]: Taking taylor expansion of x in y 0.122 * [taylor]: Taking taylor expansion of (sin y) in y 0.122 * [taylor]: Taking taylor expansion of y in y 0.122 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.122 * [taylor]: Taking taylor expansion of (cos y) in y 0.122 * [taylor]: Taking taylor expansion of y in y 0.122 * [taylor]: Taking taylor expansion of z in y 0.122 * [taylor]: Taking taylor expansion of (fma x (sin y) (* (cos y) z)) in x 0.122 * [taylor]: Rewrote expression to (+ (* x (sin y)) (* (cos y) z)) 0.122 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.122 * [taylor]: Taking taylor expansion of x in x 0.122 * [taylor]: Taking taylor expansion of (sin y) in x 0.122 * [taylor]: Taking taylor expansion of y in x 0.123 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.123 * [taylor]: Taking taylor expansion of (cos y) in x 0.123 * [taylor]: Taking taylor expansion of y in x 0.123 * [taylor]: Taking taylor expansion of z in x 0.123 * [taylor]: Taking taylor expansion of (fma x (sin y) (* (cos y) z)) in x 0.123 * [taylor]: Rewrote expression to (+ (* x (sin y)) (* (cos y) z)) 0.123 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.123 * [taylor]: Taking taylor expansion of x in x 0.123 * [taylor]: Taking taylor expansion of (sin y) in x 0.123 * [taylor]: Taking taylor expansion of y in x 0.123 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.123 * [taylor]: Taking taylor expansion of (cos y) in x 0.123 * [taylor]: Taking taylor expansion of y in x 0.123 * [taylor]: Taking taylor expansion of z in x 0.123 * [taylor]: Taking taylor expansion of (* z (cos y)) in y 0.123 * [taylor]: Taking taylor expansion of z 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 z in z 0.127 * [taylor]: Taking taylor expansion of (sin y) in y 0.127 * [taylor]: Taking taylor expansion of y in y 0.127 * [taylor]: Taking taylor expansion of 0 in z 0.128 * [taylor]: Taking taylor expansion of 0 in z 0.133 * [taylor]: Taking taylor expansion of 0 in y 0.133 * [taylor]: Taking taylor expansion of 0 in z 0.134 * [taylor]: Taking taylor expansion of 1 in z 0.135 * [taylor]: Taking taylor expansion of (- (* 1/2 z)) in z 0.135 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 0.135 * [taylor]: Taking taylor expansion of 1/2 in z 0.135 * [taylor]: Taking taylor expansion of z in z 0.142 * [taylor]: Taking taylor expansion of 0 in y 0.142 * [taylor]: Taking taylor expansion of 0 in z 0.142 * [taylor]: Taking taylor expansion of 0 in z 0.143 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in (x y z) around 0 0.143 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in z 0.143 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (sin (/ 1 y))) (/ (cos (/ 1 y)) z)) 0.143 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sin (/ 1 y))) in z 0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.143 * [taylor]: Taking taylor expansion of x in z 0.143 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.143 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.143 * [taylor]: Taking taylor expansion of y in z 0.143 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.143 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.143 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.143 * [taylor]: Taking taylor expansion of y in z 0.143 * [taylor]: Taking taylor expansion of z in z 0.144 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in y 0.144 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (sin (/ 1 y))) (/ (cos (/ 1 y)) z)) 0.144 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sin (/ 1 y))) in y 0.144 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.144 * [taylor]: Taking taylor expansion of x in y 0.144 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.144 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.145 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.145 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.145 * [taylor]: Taking taylor expansion of y in y 0.145 * [taylor]: Taking taylor expansion of z in y 0.145 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in x 0.145 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (sin (/ 1 y))) (/ (cos (/ 1 y)) z)) 0.145 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sin (/ 1 y))) in x 0.145 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.145 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.145 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.146 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.146 * [taylor]: Taking taylor expansion of y in x 0.146 * [taylor]: Taking taylor expansion of z in x 0.146 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (sin (/ 1 y)) (/ (cos (/ 1 y)) z)) in x 0.146 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (sin (/ 1 y))) (/ (cos (/ 1 y)) z)) 0.146 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sin (/ 1 y))) in x 0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.147 * [taylor]: Taking taylor expansion of y in x 0.147 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in x 0.147 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.147 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.147 * [taylor]: Taking taylor expansion of y in x 0.147 * [taylor]: Taking taylor expansion of z in x 0.148 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.148 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.148 * [taylor]: Taking taylor expansion of y in y 0.148 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.148 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.148 * [taylor]: Taking taylor expansion of y in z 0.151 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in y 0.151 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.151 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.151 * [taylor]: Taking taylor expansion of y in y 0.151 * [taylor]: Taking taylor expansion of z in y 0.151 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.151 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.151 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.151 * [taylor]: Taking taylor expansion of y in z 0.151 * [taylor]: Taking taylor expansion of z in z 0.152 * [taylor]: Taking taylor expansion of 0 in z 0.158 * [taylor]: Taking taylor expansion of 0 in y 0.158 * [taylor]: Taking taylor expansion of 0 in z 0.158 * [taylor]: Taking taylor expansion of 0 in z 0.158 * [taylor]: Taking taylor expansion of 0 in z 0.169 * [taylor]: Taking taylor expansion of 0 in y 0.169 * [taylor]: Taking taylor expansion of 0 in z 0.169 * [taylor]: Taking taylor expansion of 0 in z 0.169 * [taylor]: Taking taylor expansion of 0 in z 0.169 * [taylor]: Taking taylor expansion of 0 in z 0.170 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (sin (/ -1 y)) (* -1 (/ (cos (/ -1 y)) z))) in (x y z) around 0 0.170 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (sin (/ -1 y)) (* -1 (/ (cos (/ -1 y)) z))) in z 0.170 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (sin (/ -1 y))) (* -1 (/ (cos (/ -1 y)) z))) 0.170 * [taylor]: Taking taylor expansion of (* (/ -1 x) (sin (/ -1 y))) in z 0.170 * [taylor]: Taking taylor expansion of (/ -1 x) in z 0.170 * [taylor]: Taking taylor expansion of -1 in z 0.170 * [taylor]: Taking taylor expansion of x in z 0.170 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.170 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.170 * [taylor]: Taking taylor expansion of -1 in z 0.170 * [taylor]: Taking taylor expansion of y in z 0.170 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in z 0.170 * [taylor]: Taking taylor expansion of -1 in z 0.170 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.170 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.170 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.170 * [taylor]: Taking taylor expansion of -1 in z 0.170 * [taylor]: Taking taylor expansion of y in z 0.170 * [taylor]: Taking taylor expansion of z in z 0.171 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (sin (/ -1 y)) (* -1 (/ (cos (/ -1 y)) z))) in y 0.171 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (sin (/ -1 y))) (* -1 (/ (cos (/ -1 y)) z))) 0.171 * [taylor]: Taking taylor expansion of (* (/ -1 x) (sin (/ -1 y))) in y 0.171 * [taylor]: Taking taylor expansion of (/ -1 x) in y 0.171 * [taylor]: Taking taylor expansion of -1 in y 0.171 * [taylor]: Taking taylor expansion of x in y 0.171 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.171 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.171 * [taylor]: Taking taylor expansion of -1 in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.171 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in y 0.171 * [taylor]: Taking taylor expansion of -1 in y 0.171 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.171 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.171 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.171 * [taylor]: Taking taylor expansion of -1 in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.172 * [taylor]: Taking taylor expansion of z in y 0.172 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (sin (/ -1 y)) (* -1 (/ (cos (/ -1 y)) z))) in x 0.172 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (sin (/ -1 y))) (* -1 (/ (cos (/ -1 y)) z))) 0.172 * [taylor]: Taking taylor expansion of (* (/ -1 x) (sin (/ -1 y))) in x 0.172 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.172 * [taylor]: Taking taylor expansion of -1 in x 0.172 * [taylor]: Taking taylor expansion of x in x 0.172 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.173 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.173 * [taylor]: Taking taylor expansion of -1 in x 0.173 * [taylor]: Taking taylor expansion of y in x 0.173 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in x 0.173 * [taylor]: Taking taylor expansion of -1 in x 0.173 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in x 0.173 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.173 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.173 * [taylor]: Taking taylor expansion of -1 in x 0.173 * [taylor]: Taking taylor expansion of y in x 0.173 * [taylor]: Taking taylor expansion of z in x 0.173 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (sin (/ -1 y)) (* -1 (/ (cos (/ -1 y)) z))) in x 0.173 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (sin (/ -1 y))) (* -1 (/ (cos (/ -1 y)) z))) 0.173 * [taylor]: Taking taylor expansion of (* (/ -1 x) (sin (/ -1 y))) in x 0.173 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.173 * [taylor]: Taking taylor expansion of -1 in x 0.174 * [taylor]: Taking taylor expansion of x 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 -1 in x 0.174 * [taylor]: Taking taylor expansion of y in x 0.174 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -1 y)) z)) in x 0.174 * [taylor]: Taking taylor expansion of -1 in x 0.174 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) 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 -1 in x 0.174 * [taylor]: Taking taylor expansion of y in x 0.174 * [taylor]: Taking taylor expansion of z in x 0.175 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y))) in y 0.175 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.175 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.175 * [taylor]: Taking taylor expansion of -1 in y 0.175 * [taylor]: Taking taylor expansion of y in y 0.175 * [taylor]: Taking taylor expansion of (- (sin (/ -1 y))) in z 0.175 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.176 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.176 * [taylor]: Taking taylor expansion of -1 in z 0.176 * [taylor]: Taking taylor expansion of y in z 0.185 * [taylor]: Taking taylor expansion of (- (/ (cos (/ -1 y)) z)) in y 0.185 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in y 0.185 * [taylor]: Taking taylor expansion of (cos (/ -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 z in y 0.185 * [taylor]: Taking taylor expansion of (- (/ (cos (/ -1 y)) z)) in z 0.185 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.185 * [taylor]: Taking taylor expansion of (cos (/ -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.185 * [taylor]: Taking taylor expansion of z in z 0.186 * [taylor]: Taking taylor expansion of 0 in z 0.193 * [taylor]: Taking taylor expansion of 0 in y 0.193 * [taylor]: Taking taylor expansion of 0 in z 0.193 * [taylor]: Taking taylor expansion of 0 in z 0.193 * [taylor]: Taking taylor expansion of 0 in z 0.205 * [taylor]: Taking taylor expansion of 0 in y 0.205 * [taylor]: Taking taylor expansion of 0 in z 0.205 * [taylor]: Taking taylor expansion of 0 in z 0.206 * [taylor]: Taking taylor expansion of 0 in z 0.206 * [taylor]: Taking taylor expansion of 0 in z 0.207 * * * [progress]: simplifying candidates 0.207 * [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.211 * * [simplify]: iteration 0 : 85 enodes (cost 150 ) 0.214 * * [simplify]: iteration 1 : 280 enodes (cost 130 ) 0.219 * * [simplify]: iteration 2 : 712 enodes (cost 130 ) 0.230 * * [simplify]: iteration 3 : 1539 enodes (cost 130 ) 0.260 * * [simplify]: iteration 4 : 5002 enodes (cost 130 ) 0.262 * [simplify]: Simplified to: (expm1 (* z (cos y))) (log1p (* z (cos y))) (* z (cos y)) (log (* z (cos y))) (log (* z (cos y))) (exp (* z (cos y))) (pow (* z (cos y)) 3) (* (cbrt (* z (cos y))) (cbrt (* z (cos y)))) (cbrt (* z (cos y))) (pow (* z (cos y)) 3) (sqrt (* z (cos y))) (sqrt (* z (cos y))) (* (sqrt z) (sqrt (cos y))) (* (sqrt z) (sqrt (cos y))) (* z (* (cbrt (cos y)) (cbrt (cos y)))) (* z (sqrt (cos y))) z (* (cbrt z) (cos y)) (* (sqrt z) (cos y)) (* z (cos y)) (expm1 (fma 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 (cos y) z (* x (sin y))) 3) (sqrt (fma x (sin y) (* z (cos y)))) (sqrt (fma x (sin y) (* z (cos y)))) z (* z (cos y)) (* z (cos y)) (fma y x z) (fma (cos y) z (* x (sin y))) (fma (cos y) z (* x (sin y))) 0.262 * * * [progress]: adding candidates to table 0.326 * * [progress]: iteration 2 / 4 0.326 * * * [progress]: picking best candidate 0.340 * * * * [pick]: Picked # 0.340 * * * [progress]: localizing error 0.349 * * * [progress]: generating rewritten candidates 0.349 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3) 0.353 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.357 * * * [progress]: generating series expansions 0.357 * * * * [progress]: [ 1 / 2 ] generating series at (2 3) 0.357 * [approximate]: Taking taylor expansion of (* x (sin y)) in (x y) around 0 0.357 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.357 * [taylor]: Taking taylor expansion of x in y 0.357 * [taylor]: Taking taylor expansion of (sin y) in y 0.357 * [taylor]: Taking taylor expansion of y in y 0.357 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.357 * [taylor]: Taking taylor expansion of x in x 0.357 * [taylor]: Taking taylor expansion of (sin y) in x 0.357 * [taylor]: Taking taylor expansion of y in x 0.357 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.357 * [taylor]: Taking taylor expansion of x in x 0.357 * [taylor]: Taking taylor expansion of (sin y) in x 0.357 * [taylor]: Taking taylor expansion of y in x 0.357 * [taylor]: Taking taylor expansion of 0 in y 0.360 * [taylor]: Taking taylor expansion of (sin y) in y 0.360 * [taylor]: Taking taylor expansion of y in y 0.362 * [taylor]: Taking taylor expansion of 0 in y 0.366 * [taylor]: Taking taylor expansion of 0 in y 0.371 * [taylor]: Taking taylor expansion of 0 in y 0.371 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in (x y) around 0 0.371 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 0.371 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.371 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.371 * [taylor]: Taking taylor expansion of y in y 0.372 * [taylor]: Taking taylor expansion of x in y 0.372 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.372 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.372 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.372 * [taylor]: Taking taylor expansion of y in x 0.372 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.372 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.372 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.372 * [taylor]: Taking taylor expansion of y in x 0.372 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.372 * [taylor]: Taking taylor expansion of y in y 0.375 * [taylor]: Taking taylor expansion of 0 in y 0.378 * [taylor]: Taking taylor expansion of 0 in y 0.382 * [taylor]: Taking taylor expansion of 0 in y 0.383 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in (x y) around 0 0.383 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y 0.383 * [taylor]: Taking taylor expansion of -1 in y 0.383 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 0.383 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.383 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.383 * [taylor]: Taking taylor expansion of -1 in y 0.383 * [taylor]: Taking taylor expansion of y in y 0.383 * [taylor]: Taking taylor expansion of x in y 0.383 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x 0.383 * [taylor]: Taking taylor expansion of -1 in x 0.383 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.383 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.383 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.383 * [taylor]: Taking taylor expansion of -1 in x 0.383 * [taylor]: Taking taylor expansion of y in x 0.383 * [taylor]: Taking taylor expansion of x in x 0.383 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x 0.383 * [taylor]: Taking taylor expansion of -1 in x 0.383 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.383 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.384 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.384 * [taylor]: Taking taylor expansion of -1 in x 0.384 * [taylor]: Taking taylor expansion of y in x 0.384 * [taylor]: Taking taylor expansion of x in x 0.384 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 0.384 * [taylor]: Taking taylor expansion of -1 in y 0.384 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.384 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.384 * [taylor]: Taking taylor expansion of -1 in y 0.384 * [taylor]: Taking taylor expansion of y in y 0.387 * [taylor]: Taking taylor expansion of 0 in y 0.391 * [taylor]: Taking taylor expansion of 0 in y 0.397 * [taylor]: Taking taylor expansion of 0 in y 0.397 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.397 * [approximate]: Taking taylor expansion of (fma (cos y) z (* x (sin y))) in (y z x) around 0 0.397 * [taylor]: Taking taylor expansion of (fma (cos y) z (* x (sin y))) in x 0.397 * [taylor]: Rewrote expression to (+ (* (cos y) z) (* x (sin y))) 0.397 * [taylor]: Taking taylor expansion of (* (cos y) z) in x 0.397 * [taylor]: Taking taylor expansion of (cos y) in x 0.397 * [taylor]: Taking taylor expansion of y in x 0.397 * [taylor]: Taking taylor expansion of z in x 0.397 * [taylor]: Taking taylor expansion of (* x (sin y)) in x 0.397 * [taylor]: Taking taylor expansion of x in x 0.397 * [taylor]: Taking taylor expansion of (sin y) in x 0.397 * [taylor]: Taking taylor expansion of y in x 0.397 * [taylor]: Taking taylor expansion of (fma (cos y) z (* x (sin y))) in z 0.397 * [taylor]: Rewrote expression to (+ (* (cos y) z) (* x (sin y))) 0.397 * [taylor]: Taking taylor expansion of (* (cos y) z) in z 0.397 * [taylor]: Taking taylor expansion of (cos y) in z 0.397 * [taylor]: Taking taylor expansion of y in z 0.398 * [taylor]: Taking taylor expansion of z in z 0.398 * [taylor]: Taking taylor expansion of (* x (sin y)) in z 0.398 * [taylor]: Taking taylor expansion of x in z 0.398 * [taylor]: Taking taylor expansion of (sin y) in z 0.398 * [taylor]: Taking taylor expansion of y in z 0.398 * [taylor]: Taking taylor expansion of (fma (cos y) z (* x (sin y))) in y 0.398 * [taylor]: Rewrote expression to (+ (* (cos y) z) (* x (sin y))) 0.398 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.398 * [taylor]: Taking taylor expansion of (cos y) in y 0.398 * [taylor]: Taking taylor expansion of y in y 0.398 * [taylor]: Taking taylor expansion of z in y 0.398 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.398 * [taylor]: Taking taylor expansion of x in y 0.398 * [taylor]: Taking taylor expansion of (sin y) in y 0.398 * [taylor]: Taking taylor expansion of y in y 0.398 * [taylor]: Taking taylor expansion of (fma (cos y) z (* x (sin y))) in y 0.398 * [taylor]: Rewrote expression to (+ (* (cos y) z) (* x (sin y))) 0.398 * [taylor]: Taking taylor expansion of (* (cos y) z) in y 0.398 * [taylor]: Taking taylor expansion of (cos y) in y 0.398 * [taylor]: Taking taylor expansion of y in y 0.398 * [taylor]: Taking taylor expansion of z in y 0.398 * [taylor]: Taking taylor expansion of (* x (sin y)) in y 0.398 * [taylor]: Taking taylor expansion of x in y 0.398 * [taylor]: Taking taylor expansion of (sin y) in y 0.398 * [taylor]: Taking taylor expansion of y in y 0.398 * [taylor]: Taking taylor expansion of z in z 0.398 * [taylor]: Taking taylor expansion of 0 in x 0.399 * [taylor]: Taking taylor expansion of x in z 0.399 * [taylor]: Taking taylor expansion of x in x 0.400 * [taylor]: Taking taylor expansion of 1 in x 0.402 * [taylor]: Taking taylor expansion of (- (* 1/2 z)) in z 0.402 * [taylor]: Taking taylor expansion of (* 1/2 z) in z 0.402 * [taylor]: Taking taylor expansion of 1/2 in z 0.402 * [taylor]: Taking taylor expansion of z in z 0.402 * [taylor]: Taking taylor expansion of 0 in x 0.402 * [taylor]: Taking taylor expansion of 0 in x 0.402 * [taylor]: Taking taylor expansion of 0 in x 0.405 * [taylor]: Taking taylor expansion of (- (* 1/6 x)) in z 0.405 * [taylor]: Taking taylor expansion of (* 1/6 x) in z 0.405 * [taylor]: Taking taylor expansion of 1/6 in z 0.405 * [taylor]: Taking taylor expansion of x in z 0.405 * [taylor]: Taking taylor expansion of (- (* 1/6 x)) in x 0.405 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 0.405 * [taylor]: Taking taylor expansion of 1/6 in x 0.405 * [taylor]: Taking taylor expansion of x in x 0.406 * [taylor]: Taking taylor expansion of -1/2 in x 0.407 * [approximate]: Taking taylor expansion of (fma (cos (/ 1 y)) (/ 1 z) (/ (sin (/ 1 y)) x)) in (y z x) around 0 0.407 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 y)) (/ 1 z) (/ (sin (/ 1 y)) x)) in x 0.407 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 y)) (/ 1 z)) (/ (sin (/ 1 y)) x)) 0.407 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (/ 1 z)) in x 0.407 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.407 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.407 * [taylor]: Taking taylor expansion of y in x 0.407 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.407 * [taylor]: Taking taylor expansion of z in x 0.407 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.407 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.407 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.407 * [taylor]: Taking taylor expansion of y in x 0.407 * [taylor]: Taking taylor expansion of x in x 0.407 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 y)) (/ 1 z) (/ (sin (/ 1 y)) x)) in z 0.408 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 y)) (/ 1 z)) (/ (sin (/ 1 y)) x)) 0.408 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (/ 1 z)) in z 0.408 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.408 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.408 * [taylor]: Taking taylor expansion of y in z 0.408 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.408 * [taylor]: Taking taylor expansion of z in z 0.408 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in z 0.408 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.408 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.408 * [taylor]: Taking taylor expansion of y in z 0.408 * [taylor]: Taking taylor expansion of x in z 0.408 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 y)) (/ 1 z) (/ (sin (/ 1 y)) x)) in y 0.408 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 y)) (/ 1 z)) (/ (sin (/ 1 y)) x)) 0.408 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (/ 1 z)) in y 0.408 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.408 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.408 * [taylor]: Taking taylor expansion of y in y 0.409 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.409 * [taylor]: Taking taylor expansion of z in y 0.409 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 0.409 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.409 * [taylor]: Taking taylor expansion of y in y 0.409 * [taylor]: Taking taylor expansion of x in y 0.409 * [taylor]: Taking taylor expansion of (fma (cos (/ 1 y)) (/ 1 z) (/ (sin (/ 1 y)) x)) in y 0.409 * [taylor]: Rewrote expression to (+ (* (cos (/ 1 y)) (/ 1 z)) (/ (sin (/ 1 y)) x)) 0.409 * [taylor]: Taking taylor expansion of (* (cos (/ 1 y)) (/ 1 z)) in y 0.409 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 0.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.409 * [taylor]: Taking taylor expansion of y in y 0.410 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.410 * [taylor]: Taking taylor expansion of z in y 0.410 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in y 0.410 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.410 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.410 * [taylor]: Taking taylor expansion of y in y 0.410 * [taylor]: Taking taylor expansion of x in y 0.410 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ 1 y)) z) (/ (sin (/ 1 y)) x)) in z 0.410 * [taylor]: Taking taylor expansion of (/ (cos (/ 1 y)) z) in z 0.410 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 0.410 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.410 * [taylor]: Taking taylor expansion of y in z 0.411 * [taylor]: Taking taylor expansion of z in z 0.411 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in z 0.411 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 0.411 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.411 * [taylor]: Taking taylor expansion of y in z 0.411 * [taylor]: Taking taylor expansion of x in z 0.411 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 0.411 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.411 * [taylor]: Taking taylor expansion of y in x 0.412 * [taylor]: Taking taylor expansion of 0 in z 0.414 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) x) in x 0.414 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 0.414 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.415 * [taylor]: Taking taylor expansion of y in x 0.415 * [taylor]: Taking taylor expansion of x in x 0.416 * [taylor]: Taking taylor expansion of 0 in z 0.416 * [taylor]: Taking taylor expansion of 0 in x 0.421 * [taylor]: Taking taylor expansion of 0 in x 0.426 * [taylor]: Taking taylor expansion of 0 in z 0.426 * [taylor]: Taking taylor expansion of 0 in x 0.426 * [taylor]: Taking taylor expansion of 0 in x 0.433 * [taylor]: Taking taylor expansion of 0 in x 0.444 * [approximate]: Taking taylor expansion of (fma (cos (/ -1 y)) (/ -1 z) (* -1 (/ (sin (/ -1 y)) x))) in (y z x) around 0 0.444 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 y)) (/ -1 z) (* -1 (/ (sin (/ -1 y)) x))) in x 0.444 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 y)) (/ -1 z)) (* -1 (/ (sin (/ -1 y)) x))) 0.444 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (/ -1 z)) in x 0.444 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.445 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.445 * [taylor]: Taking taylor expansion of -1 in x 0.445 * [taylor]: Taking taylor expansion of y in x 0.445 * [taylor]: Taking taylor expansion of (/ -1 z) in x 0.445 * [taylor]: Taking taylor expansion of -1 in x 0.445 * [taylor]: Taking taylor expansion of z in x 0.445 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in x 0.445 * [taylor]: Taking taylor expansion of -1 in x 0.445 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.445 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.445 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.445 * [taylor]: Taking taylor expansion of -1 in x 0.445 * [taylor]: Taking taylor expansion of y in x 0.445 * [taylor]: Taking taylor expansion of x in x 0.445 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 y)) (/ -1 z) (* -1 (/ (sin (/ -1 y)) x))) in z 0.445 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 y)) (/ -1 z)) (* -1 (/ (sin (/ -1 y)) x))) 0.445 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (/ -1 z)) in z 0.445 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.445 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.445 * [taylor]: Taking taylor expansion of -1 in z 0.445 * [taylor]: Taking taylor expansion of y in z 0.445 * [taylor]: Taking taylor expansion of (/ -1 z) in z 0.445 * [taylor]: Taking taylor expansion of -1 in z 0.445 * [taylor]: Taking taylor expansion of z in z 0.446 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in z 0.446 * [taylor]: Taking taylor expansion of -1 in z 0.446 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in z 0.446 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.446 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.446 * [taylor]: Taking taylor expansion of -1 in z 0.446 * [taylor]: Taking taylor expansion of y in z 0.446 * [taylor]: Taking taylor expansion of x in z 0.446 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 y)) (/ -1 z) (* -1 (/ (sin (/ -1 y)) x))) in y 0.446 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 y)) (/ -1 z)) (* -1 (/ (sin (/ -1 y)) x))) 0.446 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (/ -1 z)) in y 0.446 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.446 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.446 * [taylor]: Taking taylor expansion of -1 in y 0.446 * [taylor]: Taking taylor expansion of y in y 0.447 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.447 * [taylor]: Taking taylor expansion of -1 in y 0.447 * [taylor]: Taking taylor expansion of z in y 0.447 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y 0.447 * [taylor]: Taking taylor expansion of -1 in y 0.447 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 0.447 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.447 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.447 * [taylor]: Taking taylor expansion of -1 in y 0.447 * [taylor]: Taking taylor expansion of y in y 0.447 * [taylor]: Taking taylor expansion of x in y 0.447 * [taylor]: Taking taylor expansion of (fma (cos (/ -1 y)) (/ -1 z) (* -1 (/ (sin (/ -1 y)) x))) in y 0.447 * [taylor]: Rewrote expression to (+ (* (cos (/ -1 y)) (/ -1 z)) (* -1 (/ (sin (/ -1 y)) x))) 0.447 * [taylor]: Taking taylor expansion of (* (cos (/ -1 y)) (/ -1 z)) in y 0.447 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 0.447 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.447 * [taylor]: Taking taylor expansion of -1 in y 0.447 * [taylor]: Taking taylor expansion of y in y 0.448 * [taylor]: Taking taylor expansion of (/ -1 z) in y 0.448 * [taylor]: Taking taylor expansion of -1 in y 0.448 * [taylor]: Taking taylor expansion of z in y 0.448 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) x)) in y 0.448 * [taylor]: Taking taylor expansion of -1 in y 0.448 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in y 0.448 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.448 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.448 * [taylor]: Taking taylor expansion of -1 in y 0.448 * [taylor]: Taking taylor expansion of y in y 0.448 * [taylor]: Taking taylor expansion of x in y 0.449 * [taylor]: Taking taylor expansion of (- (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x))) in z 0.449 * [taylor]: Taking taylor expansion of (+ (/ (cos (/ -1 y)) z) (/ (sin (/ -1 y)) x)) in z 0.449 * [taylor]: Taking taylor expansion of (/ (cos (/ -1 y)) z) in z 0.449 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 0.449 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.449 * [taylor]: Taking taylor expansion of -1 in z 0.449 * [taylor]: Taking taylor expansion of y in z 0.449 * [taylor]: Taking taylor expansion of z in z 0.449 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in z 0.449 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 0.449 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.449 * [taylor]: Taking taylor expansion of -1 in z 0.449 * [taylor]: Taking taylor expansion of y in z 0.449 * [taylor]: Taking taylor expansion of x in z 0.450 * [taylor]: Taking taylor expansion of (- (cos (/ -1 y))) in x 0.450 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 0.450 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.450 * [taylor]: Taking taylor expansion of -1 in x 0.450 * [taylor]: Taking taylor expansion of y in x 0.451 * [taylor]: Taking taylor expansion of 0 in z 0.453 * [taylor]: Taking taylor expansion of (- (/ (sin (/ -1 y)) x)) in x 0.453 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) x) in x 0.453 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 0.453 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.453 * [taylor]: Taking taylor expansion of -1 in x 0.453 * [taylor]: Taking taylor expansion of y in x 0.453 * [taylor]: Taking taylor expansion of x in x 0.455 * [taylor]: Taking taylor expansion of 0 in z 0.455 * [taylor]: Taking taylor expansion of 0 in x 0.461 * [taylor]: Taking taylor expansion of 0 in x 0.468 * [taylor]: Taking taylor expansion of 0 in z 0.468 * [taylor]: Taking taylor expansion of 0 in x 0.468 * [taylor]: Taking taylor expansion of 0 in x 0.475 * [taylor]: Taking taylor expansion of 0 in x 0.481 * * * [progress]: simplifying candidates 0.482 * [simplify]: Simplifying using # : (expm1 (* x (sin y))) (log1p (* x (sin y))) (* x (sin y)) (+ (log x) (log (sin y))) (log (* x (sin y))) (exp (* x (sin y))) (* (* (* x x) x) (* (* (sin y) (sin y)) (sin y))) (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y))) (* (* (* x (sin y)) (* x (sin y))) (* x (sin y))) (sqrt (* x (sin y))) (sqrt (* x (sin y))) (* (sqrt x) (sqrt (sin y))) (* (sqrt x) (sqrt (sin y))) (* x (* (cbrt (sin y)) (cbrt (sin y)))) (* x (sqrt (sin y))) (* x 1) (* (cbrt x) (sin y)) (* (sqrt x) (sin y)) (* x (sin y)) (expm1 (fma (cos y) z (* x (sin y)))) (log1p (fma (cos y) z (* x (sin y)))) (* (cos y) z) (log (fma (cos y) z (* x (sin y)))) (exp (fma (cos y) z (* x (sin y)))) (* (cbrt (fma (cos y) z (* x (sin y)))) (cbrt (fma (cos y) z (* x (sin y))))) (cbrt (fma (cos y) z (* x (sin y)))) (* (* (fma (cos y) z (* x (sin y))) (fma (cos y) z (* x (sin y)))) (fma (cos y) z (* x (sin y)))) (sqrt (fma (cos y) z (* x (sin y)))) (sqrt (fma (cos y) z (* x (sin y)))) (* x y) (* x (sin y)) (* x (sin y)) (- (+ z (* x y)) (* 1/2 (* z (pow y 2)))) (+ (* (cos y) z) (* x (sin y))) (+ (* (cos y) z) (* x (sin y))) 0.485 * * [simplify]: iteration 0 : 101 enodes (cost 155 ) 0.487 * * [simplify]: iteration 1 : 347 enodes (cost 136 ) 0.495 * * [simplify]: iteration 2 : 1289 enodes (cost 135 ) 0.518 * * [simplify]: iteration 3 : 5001 enodes (cost 134 ) 0.519 * [simplify]: Simplified to: (expm1 (* x (sin y))) (log1p (* x (sin y))) (* x (sin y)) (log (* x (sin y))) (log (* x (sin y))) (exp (* x (sin y))) (pow (* x (sin y)) 3) (* (cbrt (* x (sin y))) (cbrt (* x (sin y)))) (cbrt (* x (sin y))) (pow (* x (sin y)) 3) (sqrt (* x (sin y))) (sqrt (* x (sin y))) (* (sqrt x) (sqrt (sin y))) (* (sqrt x) (sqrt (sin y))) (* x (* (cbrt (sin y)) (cbrt (sin y)))) (* x (sqrt (sin y))) x (* (cbrt x) (sin y)) (* (sqrt x) (sin y)) (* x (sin y)) (expm1 (fma (cos y) z (* x (sin y)))) (log1p (fma (cos y) z (* x (sin y)))) (* (cos y) z) (log (fma (cos y) z (* x (sin y)))) (exp (fma (cos y) z (* x (sin y)))) (* (cbrt (fma (cos y) z (* x (sin y)))) (cbrt (fma (cos y) z (* x (sin y))))) (cbrt (fma (cos y) z (* x (sin y)))) (pow (fma (cos y) z (* x (sin y))) 3) (sqrt (fma (cos y) z (* x (sin y)))) (sqrt (fma (cos y) z (* x (sin y)))) (* x y) (* x (sin y)) (* x (sin y)) (fma y (- x (* (* 1/2 z) y)) z) (fma (cos y) z (* x (sin y))) (fma (cos y) z (* x (sin y))) 0.520 * * * [progress]: adding candidates to table 0.582 * * [progress]: iteration 3 / 4 0.582 * * * [progress]: picking best candidate 0.606 * * * * [pick]: Picked # 0.606 * * * [progress]: localizing error 0.618 * * * [progress]: generating rewritten candidates 0.618 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2) 0.620 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2 2) 0.621 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 2 1) 0.623 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1 2) 0.631 * * * [progress]: generating series expansions 0.631 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2) 0.631 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 0.631 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 0.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 0.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 0.631 * [taylor]: Taking taylor expansion of 1/3 in y 0.631 * [taylor]: Taking taylor expansion of (log (sin y)) in y 0.631 * [taylor]: Taking taylor expansion of (sin y) in y 0.631 * [taylor]: Taking taylor expansion of y in y 0.632 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 0.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 0.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 0.632 * [taylor]: Taking taylor expansion of 1/3 in y 0.632 * [taylor]: Taking taylor expansion of (log (sin y)) in y 0.632 * [taylor]: Taking taylor expansion of (sin y) in y 0.632 * [taylor]: Taking taylor expansion of y in y 0.657 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 0.657 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 0.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 0.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 0.657 * [taylor]: Taking taylor expansion of 1/3 in y 0.657 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 0.657 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.657 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.657 * [taylor]: Taking taylor expansion of y in y 0.657 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 0.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 0.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 0.657 * [taylor]: Taking taylor expansion of 1/3 in y 0.658 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 0.658 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.658 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.658 * [taylor]: Taking taylor expansion of y in y 0.695 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 0.696 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 0.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 0.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 0.696 * [taylor]: Taking taylor expansion of 1/3 in y 0.696 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 0.696 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.696 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.696 * [taylor]: Taking taylor expansion of -1 in y 0.696 * [taylor]: Taking taylor expansion of y in y 0.696 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 0.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 0.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 0.696 * [taylor]: Taking taylor expansion of 1/3 in y 0.696 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 0.696 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.696 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.696 * [taylor]: Taking taylor expansion of -1 in y 0.696 * [taylor]: Taking taylor expansion of y in y 0.729 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2 2) 0.729 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 0.730 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 0.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 0.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 0.730 * [taylor]: Taking taylor expansion of 1/3 in y 0.730 * [taylor]: Taking taylor expansion of (log (sin y)) in y 0.730 * [taylor]: Taking taylor expansion of (sin y) in y 0.730 * [taylor]: Taking taylor expansion of y in y 0.732 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 0.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 0.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 0.732 * [taylor]: Taking taylor expansion of 1/3 in y 0.732 * [taylor]: Taking taylor expansion of (log (sin y)) in y 0.732 * [taylor]: Taking taylor expansion of (sin y) in y 0.732 * [taylor]: Taking taylor expansion of y in y 0.769 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 0.769 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 0.769 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 0.769 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 0.769 * [taylor]: Taking taylor expansion of 1/3 in y 0.769 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 0.769 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.769 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.769 * [taylor]: Taking taylor expansion of y in y 0.770 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 0.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 0.770 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 0.770 * [taylor]: Taking taylor expansion of 1/3 in y 0.770 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 0.770 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.770 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.770 * [taylor]: Taking taylor expansion of y in y 0.809 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 0.809 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 0.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 0.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 0.810 * [taylor]: Taking taylor expansion of 1/3 in y 0.810 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 0.810 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.810 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.810 * [taylor]: Taking taylor expansion of -1 in y 0.810 * [taylor]: Taking taylor expansion of y in y 0.810 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 0.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 0.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 0.810 * [taylor]: Taking taylor expansion of 1/3 in y 0.810 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 0.810 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.811 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.811 * [taylor]: Taking taylor expansion of -1 in y 0.811 * [taylor]: Taking taylor expansion of y in y 0.846 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 2 1) 0.846 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 0.846 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 0.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 0.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 0.846 * [taylor]: Taking taylor expansion of 1/3 in y 0.846 * [taylor]: Taking taylor expansion of (log (sin y)) in y 0.846 * [taylor]: Taking taylor expansion of (sin y) in y 0.846 * [taylor]: Taking taylor expansion of y in y 0.847 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 0.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 0.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 0.847 * [taylor]: Taking taylor expansion of 1/3 in y 0.847 * [taylor]: Taking taylor expansion of (log (sin y)) in y 0.847 * [taylor]: Taking taylor expansion of (sin y) in y 0.847 * [taylor]: Taking taylor expansion of y in y 0.878 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 0.878 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 0.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 0.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 0.878 * [taylor]: Taking taylor expansion of 1/3 in y 0.878 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 0.878 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.878 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.878 * [taylor]: Taking taylor expansion of y in y 0.879 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 0.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 0.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 0.879 * [taylor]: Taking taylor expansion of 1/3 in y 0.879 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 0.879 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.879 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.879 * [taylor]: Taking taylor expansion of y in y 0.914 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 0.914 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 0.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 0.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 0.914 * [taylor]: Taking taylor expansion of 1/3 in y 0.914 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 0.914 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.914 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.914 * [taylor]: Taking taylor expansion of -1 in y 0.914 * [taylor]: Taking taylor expansion of y in y 0.915 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 0.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 0.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 0.915 * [taylor]: Taking taylor expansion of 1/3 in y 0.915 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 0.915 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 0.915 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.915 * [taylor]: Taking taylor expansion of -1 in y 0.915 * [taylor]: Taking taylor expansion of y in y 0.955 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1 2) 0.955 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0 0.955 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 0.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 0.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 0.955 * [taylor]: Taking taylor expansion of 1/3 in y 0.955 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 0.955 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 0.955 * [taylor]: Taking taylor expansion of (sin y) in y 0.955 * [taylor]: Taking taylor expansion of y in y 0.957 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 0.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 0.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 0.957 * [taylor]: Taking taylor expansion of 1/3 in y 0.957 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 0.957 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 0.957 * [taylor]: Taking taylor expansion of (sin y) in y 0.957 * [taylor]: Taking taylor expansion of y in y 0.985 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0 0.985 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 0.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 0.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 0.985 * [taylor]: Taking taylor expansion of 1/3 in y 0.985 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 0.985 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 0.985 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.985 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.985 * [taylor]: Taking taylor expansion of y in y 0.986 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 0.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 0.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 0.986 * [taylor]: Taking taylor expansion of 1/3 in y 0.986 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 0.986 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 0.986 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 0.986 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.986 * [taylor]: Taking taylor expansion of y in y 1.032 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0 1.032 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 1.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 1.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 1.032 * [taylor]: Taking taylor expansion of 1/3 in y 1.032 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 1.032 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.032 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.032 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.032 * [taylor]: Taking taylor expansion of -1 in y 1.032 * [taylor]: Taking taylor expansion of y in y 1.033 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 1.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 1.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 1.033 * [taylor]: Taking taylor expansion of 1/3 in y 1.033 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 1.033 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 1.033 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.033 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.033 * [taylor]: Taking taylor expansion of -1 in y 1.033 * [taylor]: Taking taylor expansion of y in y 1.073 * * * [progress]: simplifying candidates 1.074 * [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)) (* (sin y) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))) (* (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (sin y)) (* (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y))) (* (* (cbrt (sin y)) (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 (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) 1.080 * * [simplify]: iteration 0 : 169 enodes (cost 520 ) 1.085 * * [simplify]: iteration 1 : 612 enodes (cost 446 ) 1.103 * * [simplify]: iteration 2 : 3573 enodes (cost 404 ) 1.169 * * [simplify]: iteration 3 : 5001 enodes (cost 398 ) 1.172 * [simplify]: Simplified to: (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))) 1 (pow (sin y) 1/3) (* (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 (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (pow (sin y) 1/3) (* (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 (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (cbrt (sin y))) (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))) 1 (pow (sin y) 1/3) (* (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)) (cbrt (sin y)))) (log1p (* (cbrt (sin y)) (cbrt (sin y)))) 2/3 2 (pow (sin y) 2) (pow (sin y) 2/3) 2 (* 2/3 (log (sin y))) (* 2/3 (log (sin y))) (pow (exp 1) (pow (sin y) 2/3)) (pow (sin y) 2) (pow (sin y) 2) (pow (sin y) 2) (pow (sin y) 2) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (pow (sin y) 2) (fabs (pow (sin y) 1/3)) (fabs (pow (sin y) 1/3)) (* (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)))) 1 (pow (sin y) 2/3) (pow (cbrt (cbrt (sin y))) 4) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (pow (sin y) 1/3) (pow (sin y) 1/3) 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)))) (pow (sin y) 1/3) (pow (sin y) 1/3) 2/3 2 (* (cbrt (sin y)) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (cbrt (sin y)) (cbrt (sqrt (sin y)))) (pow (sin y) 1/3) (pow (cbrt (cbrt (sin y))) 5) (pow (sqrt (cbrt (sin y))) 3) (pow (sin y) 1/3) (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) (- (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) (fma (pow (pow y 14) 1/3) 1/405 (- (pow y 2/3) (* 1/9 (pow (pow y 8) 1/3)))) (pow (sin y) 2/3) (pow (sin y) 2/3) 1.172 * * * [progress]: adding candidates to table 1.386 * * [progress]: iteration 4 / 4 1.386 * * * [progress]: picking best candidate 1.416 * * * * [pick]: Picked # 1.416 * * * [progress]: localizing error 1.433 * * * [progress]: generating rewritten candidates 1.433 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2) 1.434 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 1 2 2) 1.436 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 1 2 1 1 1) 1.437 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1 2) 1.443 * * * [progress]: generating series expansions 1.443 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2) 1.444 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.444 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.444 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.444 * [taylor]: Taking taylor expansion of 1/3 in y 1.444 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.444 * [taylor]: Taking taylor expansion of (sin y) in y 1.444 * [taylor]: Taking taylor expansion of y in y 1.445 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.445 * [taylor]: Taking taylor expansion of 1/3 in y 1.445 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.445 * [taylor]: Taking taylor expansion of (sin y) in y 1.445 * [taylor]: Taking taylor expansion of y in y 1.470 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.470 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.470 * [taylor]: Taking taylor expansion of 1/3 in y 1.470 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.470 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.471 * [taylor]: Taking taylor expansion of y in y 1.471 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.471 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.471 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.471 * [taylor]: Taking taylor expansion of 1/3 in y 1.471 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.471 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.471 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.471 * [taylor]: Taking taylor expansion of y in y 1.510 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.510 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.510 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.510 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.510 * [taylor]: Taking taylor expansion of 1/3 in y 1.510 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.510 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.510 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.510 * [taylor]: Taking taylor expansion of -1 in y 1.510 * [taylor]: Taking taylor expansion of y in y 1.511 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.511 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.511 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.511 * [taylor]: Taking taylor expansion of 1/3 in y 1.511 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.511 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.511 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.511 * [taylor]: Taking taylor expansion of -1 in y 1.511 * [taylor]: Taking taylor expansion of y in y 1.546 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 1 2 2) 1.546 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.546 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.546 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.546 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.546 * [taylor]: Taking taylor expansion of 1/3 in y 1.546 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.546 * [taylor]: Taking taylor expansion of (sin y) in y 1.546 * [taylor]: Taking taylor expansion of y in y 1.547 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.547 * [taylor]: Taking taylor expansion of 1/3 in y 1.547 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.547 * [taylor]: Taking taylor expansion of (sin y) in y 1.547 * [taylor]: Taking taylor expansion of y in y 1.573 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.573 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.573 * [taylor]: Taking taylor expansion of 1/3 in y 1.574 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.574 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.574 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.574 * [taylor]: Taking taylor expansion of y in y 1.574 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.574 * [taylor]: Taking taylor expansion of 1/3 in y 1.574 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.574 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.574 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.574 * [taylor]: Taking taylor expansion of y in y 1.614 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.614 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.614 * [taylor]: Taking taylor expansion of 1/3 in y 1.614 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.614 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.614 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.614 * [taylor]: Taking taylor expansion of -1 in y 1.614 * [taylor]: Taking taylor expansion of y in y 1.615 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.615 * [taylor]: Taking taylor expansion of 1/3 in y 1.615 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.615 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.615 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.615 * [taylor]: Taking taylor expansion of -1 in y 1.615 * [taylor]: Taking taylor expansion of y in y 1.649 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 1 2 1 1 1) 1.649 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 1.649 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.649 * [taylor]: Taking taylor expansion of 1/3 in y 1.649 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.649 * [taylor]: Taking taylor expansion of (sin y) in y 1.649 * [taylor]: Taking taylor expansion of y in y 1.650 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.650 * [taylor]: Taking taylor expansion of 1/3 in y 1.650 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.650 * [taylor]: Taking taylor expansion of (sin y) in y 1.650 * [taylor]: Taking taylor expansion of y in y 1.683 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 1.683 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.683 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.683 * [taylor]: Taking taylor expansion of 1/3 in y 1.683 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.683 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.683 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.683 * [taylor]: Taking taylor expansion of y in y 1.683 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.683 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.683 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.683 * [taylor]: Taking taylor expansion of 1/3 in y 1.683 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.683 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.683 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.683 * [taylor]: Taking taylor expansion of y in y 1.717 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 1.717 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.718 * [taylor]: Taking taylor expansion of 1/3 in y 1.718 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.718 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.718 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.718 * [taylor]: Taking taylor expansion of -1 in y 1.718 * [taylor]: Taking taylor expansion of y in y 1.718 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.718 * [taylor]: Taking taylor expansion of 1/3 in y 1.718 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.718 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.718 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.718 * [taylor]: Taking taylor expansion of -1 in y 1.718 * [taylor]: Taking taylor expansion of y in y 1.759 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1 2) 1.759 * [approximate]: Taking taylor expansion of (* (expm1 (log1p (pow (sin y) 1/3))) (pow (sin y) 1/3)) in (y) around 0 1.759 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (pow (sin y) 1/3))) (pow (sin y) 1/3)) in y 1.759 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (sin y) 1/3))) in y 1.759 * [taylor]: Rewrote expression to (- (exp (log1p (pow (sin y) 1/3))) 1) 1.759 * [taylor]: Taking taylor expansion of (exp (log1p (pow (sin y) 1/3))) in y 1.759 * [taylor]: Taking taylor expansion of (log1p (pow (sin y) 1/3)) in y 1.759 * [taylor]: Rewrote expression to (log (+ 1 (pow (sin y) 1/3))) 1.759 * [taylor]: Taking taylor expansion of (+ 1 (pow (sin y) 1/3)) in y 1.759 * [taylor]: Taking taylor expansion of 1 in y 1.759 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.759 * [taylor]: Taking taylor expansion of 1/3 in y 1.759 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.759 * [taylor]: Taking taylor expansion of (sin y) in y 1.759 * [taylor]: Taking taylor expansion of y in y 1.761 * [taylor]: Taking taylor expansion of 1 in y 1.761 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.761 * [taylor]: Taking taylor expansion of 1/3 in y 1.761 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.761 * [taylor]: Taking taylor expansion of (sin y) in y 1.761 * [taylor]: Taking taylor expansion of y in y 1.762 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (pow (sin y) 1/3))) (pow (sin y) 1/3)) in y 1.762 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (sin y) 1/3))) in y 1.762 * [taylor]: Rewrote expression to (- (exp (log1p (pow (sin y) 1/3))) 1) 1.762 * [taylor]: Taking taylor expansion of (exp (log1p (pow (sin y) 1/3))) in y 1.762 * [taylor]: Taking taylor expansion of (log1p (pow (sin y) 1/3)) in y 1.762 * [taylor]: Rewrote expression to (log (+ 1 (pow (sin y) 1/3))) 1.762 * [taylor]: Taking taylor expansion of (+ 1 (pow (sin y) 1/3)) in y 1.762 * [taylor]: Taking taylor expansion of 1 in y 1.762 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.762 * [taylor]: Taking taylor expansion of 1/3 in y 1.762 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.762 * [taylor]: Taking taylor expansion of (sin y) in y 1.762 * [taylor]: Taking taylor expansion of y in y 1.763 * [taylor]: Taking taylor expansion of 1 in y 1.763 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 1.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 1.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 1.763 * [taylor]: Taking taylor expansion of 1/3 in y 1.763 * [taylor]: Taking taylor expansion of (log (sin y)) in y 1.763 * [taylor]: Taking taylor expansion of (sin y) in y 1.763 * [taylor]: Taking taylor expansion of y in y 1.835 * [approximate]: Taking taylor expansion of (* (expm1 (log1p (pow (sin (/ 1 y)) 1/3))) (pow (sin (/ 1 y)) 1/3)) in (y) around 0 1.835 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (pow (sin (/ 1 y)) 1/3))) (pow (sin (/ 1 y)) 1/3)) in y 1.835 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (sin (/ 1 y)) 1/3))) in y 1.835 * [taylor]: Rewrote expression to (- (exp (log1p (pow (sin (/ 1 y)) 1/3))) 1) 1.835 * [taylor]: Taking taylor expansion of (exp (log1p (pow (sin (/ 1 y)) 1/3))) in y 1.835 * [taylor]: Taking taylor expansion of (log1p (pow (sin (/ 1 y)) 1/3)) in y 1.835 * [taylor]: Rewrote expression to (log (+ 1 (pow (sin (/ 1 y)) 1/3))) 1.835 * [taylor]: Taking taylor expansion of (+ 1 (pow (sin (/ 1 y)) 1/3)) in y 1.835 * [taylor]: Taking taylor expansion of 1 in y 1.835 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.835 * [taylor]: Taking taylor expansion of 1/3 in y 1.835 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.835 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.835 * [taylor]: Taking taylor expansion of y in y 1.836 * [taylor]: Taking taylor expansion of 1 in y 1.836 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.836 * [taylor]: Taking taylor expansion of 1/3 in y 1.836 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.836 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.836 * [taylor]: Taking taylor expansion of y in y 1.836 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (pow (sin (/ 1 y)) 1/3))) (pow (sin (/ 1 y)) 1/3)) in y 1.836 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (sin (/ 1 y)) 1/3))) in y 1.837 * [taylor]: Rewrote expression to (- (exp (log1p (pow (sin (/ 1 y)) 1/3))) 1) 1.837 * [taylor]: Taking taylor expansion of (exp (log1p (pow (sin (/ 1 y)) 1/3))) in y 1.837 * [taylor]: Taking taylor expansion of (log1p (pow (sin (/ 1 y)) 1/3)) in y 1.837 * [taylor]: Rewrote expression to (log (+ 1 (pow (sin (/ 1 y)) 1/3))) 1.837 * [taylor]: Taking taylor expansion of (+ 1 (pow (sin (/ 1 y)) 1/3)) in y 1.837 * [taylor]: Taking taylor expansion of 1 in y 1.837 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.837 * [taylor]: Taking taylor expansion of 1/3 in y 1.837 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.837 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.837 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.837 * [taylor]: Taking taylor expansion of y in y 1.838 * [taylor]: Taking taylor expansion of 1 in y 1.838 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 1.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 1.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 1.838 * [taylor]: Taking taylor expansion of 1/3 in y 1.838 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 1.838 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 1.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.838 * [taylor]: Taking taylor expansion of y in y 1.948 * [approximate]: Taking taylor expansion of (* (pow (sin (/ -1 y)) 1/3) (expm1 (log1p (pow (sin (/ -1 y)) 1/3)))) in (y) around 0 1.948 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 y)) 1/3) (expm1 (log1p (pow (sin (/ -1 y)) 1/3)))) in y 1.949 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.949 * [taylor]: Taking taylor expansion of 1/3 in y 1.949 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.949 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.949 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.949 * [taylor]: Taking taylor expansion of -1 in y 1.949 * [taylor]: Taking taylor expansion of y in y 1.949 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (sin (/ -1 y)) 1/3))) in y 1.949 * [taylor]: Rewrote expression to (- (exp (log1p (pow (sin (/ -1 y)) 1/3))) 1) 1.949 * [taylor]: Taking taylor expansion of (exp (log1p (pow (sin (/ -1 y)) 1/3))) in y 1.949 * [taylor]: Taking taylor expansion of (log1p (pow (sin (/ -1 y)) 1/3)) in y 1.949 * [taylor]: Rewrote expression to (log (+ 1 (pow (sin (/ -1 y)) 1/3))) 1.949 * [taylor]: Taking taylor expansion of (+ 1 (pow (sin (/ -1 y)) 1/3)) in y 1.949 * [taylor]: Taking taylor expansion of 1 in y 1.949 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.949 * [taylor]: Taking taylor expansion of 1/3 in y 1.949 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.950 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.950 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.950 * [taylor]: Taking taylor expansion of -1 in y 1.950 * [taylor]: Taking taylor expansion of y in y 1.950 * [taylor]: Taking taylor expansion of 1 in y 1.950 * [taylor]: Taking taylor expansion of (* (pow (sin (/ -1 y)) 1/3) (expm1 (log1p (pow (sin (/ -1 y)) 1/3)))) in y 1.950 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.950 * [taylor]: Taking taylor expansion of 1/3 in y 1.950 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.950 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.950 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.950 * [taylor]: Taking taylor expansion of -1 in y 1.951 * [taylor]: Taking taylor expansion of y in y 1.951 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (sin (/ -1 y)) 1/3))) in y 1.951 * [taylor]: Rewrote expression to (- (exp (log1p (pow (sin (/ -1 y)) 1/3))) 1) 1.951 * [taylor]: Taking taylor expansion of (exp (log1p (pow (sin (/ -1 y)) 1/3))) in y 1.951 * [taylor]: Taking taylor expansion of (log1p (pow (sin (/ -1 y)) 1/3)) in y 1.951 * [taylor]: Rewrote expression to (log (+ 1 (pow (sin (/ -1 y)) 1/3))) 1.951 * [taylor]: Taking taylor expansion of (+ 1 (pow (sin (/ -1 y)) 1/3)) in y 1.951 * [taylor]: Taking taylor expansion of 1 in y 1.951 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 1.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 1.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 1.951 * [taylor]: Taking taylor expansion of 1/3 in y 1.951 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 1.951 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 1.951 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.951 * [taylor]: Taking taylor expansion of -1 in y 1.951 * [taylor]: Taking taylor expansion of y in y 1.952 * [taylor]: Taking taylor expansion of 1 in y 2.066 * * * [progress]: simplifying candidates 2.067 * [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 (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y)))) (log1p (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y)))) (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y))) (+ (log (expm1 (log1p (cbrt (sin y))))) (log (cbrt (sin y)))) (log (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y)))) (exp (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y)))) (* (* (* (expm1 (log1p (cbrt (sin y)))) (expm1 (log1p (cbrt (sin y))))) (expm1 (log1p (cbrt (sin y))))) (sin y)) (* (* (* (expm1 (log1p (cbrt (sin y)))) (expm1 (log1p (cbrt (sin y))))) (expm1 (log1p (cbrt (sin y))))) (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))) (* (cbrt (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y)))) (cbrt (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y))))) (cbrt (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y)))) (* (* (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y))) (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y)))) (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y)))) (sqrt (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y)))) (sqrt (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y)))) (* (sqrt (expm1 (log1p (cbrt (sin y))))) (cbrt (sqrt (sin y)))) (* (sqrt (expm1 (log1p (cbrt (sin y))))) (cbrt (sqrt (sin y)))) (* (sqrt (expm1 (log1p (cbrt (sin y))))) (sqrt (cbrt (sin y)))) (* (sqrt (expm1 (log1p (cbrt (sin y))))) (sqrt (cbrt (sin y)))) (* (expm1 (log1p (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y))))) (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sqrt (sin y)))) (* (expm1 (log1p (cbrt (sin y)))) (cbrt 1)) (* (expm1 (log1p (cbrt (sin y)))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))) (* (expm1 (log1p (cbrt (sin y)))) (sqrt (cbrt (sin y)))) (* (expm1 (log1p (cbrt (sin y)))) 1) (* (cbrt (expm1 (log1p (cbrt (sin y))))) (cbrt (sin y))) (* (sqrt (expm1 (log1p (cbrt (sin y))))) (cbrt (sin y))) (* (expm1 (log1p (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 (pow y 2) 1/3)) (* 1/9 (pow (pow y 8) 1/3))) (pow (pow (sin y) 2) 1/3) (pow (pow (sin y) 2) 1/3) 2.071 * * [simplify]: iteration 0 : 173 enodes (cost 441 ) 2.076 * * [simplify]: iteration 1 : 470 enodes (cost 352 ) 2.087 * * [simplify]: iteration 2 : 2136 enodes (cost 323 ) 2.126 * * [simplify]: iteration 3 : 5001 enodes (cost 316 ) 2.129 * [simplify]: Simplified to: (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))) 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 (* (cbrt (sin y)) (cbrt (sin y)))) (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 (* (cbrt (sin y)) (cbrt (sin y)))) (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 (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y)))) (log1p (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y)))) (pow (sin y) 2/3) (* 2/3 (log (sin y))) (* 2/3 (log (sin y))) (pow (exp 1) (pow (sin y) 2/3)) (pow (sin y) 2) (pow (sin y) 2) (* (cbrt (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y)))) (cbrt (* (expm1 (log1p (cbrt (sin y)))) (cbrt (sin y))))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (pow (sin y) 2) (fabs (cbrt (sin y))) (fabs (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)) (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y))) (* (cbrt (sqrt (sin y))) (cbrt (sin y))) (cbrt (sin y)) (* (* (cbrt (sin y)) (cbrt (cbrt (sin y)))) (cbrt (cbrt (sin y)))) (pow (sqrt (cbrt (sin y))) 3) (cbrt (sin y)) (* (cbrt (sin y)) (cbrt (cbrt (sin y)))) (pow (sqrt (cbrt (sin y))) 3) (pow (sin y) 2/3) (- (pow y 1/3) (+ (* 1/3240 (pow (pow y 13) 1/3)) (* 1/18 (pow (pow y 7) 1/3)))) (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)))) (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)))) (cbrt (sin y)) (cbrt (sin y)) (fma (pow (pow y 14) 1/3) 1/405 (- (pow (pow y 2) 1/3) (* 1/9 (pow (pow y 8) 1/3)))) (pow (sin y) 2/3) (pow (sin y) 2/3) 2.129 * * * [progress]: adding candidates to table 2.337 * [progress]: [Phase 3 of 3] Extracting. 2.337 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 2.339 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 2.339 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # #) 2.382 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # #) 2.425 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 2.471 * * * [regime]: Found split indices: #