simplify (cos (x)*cos (y)-sin (x)*sin (y))

solve(cos(x + y), y)

diff(cos(x + y), y)

series(cos(x + y), y, 0, 10)

Experiment with SymPy at SymPy Live.