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)
Want a full Python shell? Use SymPy Live.