New in Wolfram Mathematica 7: Transcendental Roots  previous | next 
Solve Real Systems Involving Elementary Functions
Find the real solution set of a system involving trigonometric functions.
In[1]:=

Click for copyable input
Reduce[Sin[x - Cos[x]] y^3 - x == 1 && x^2 + y^2 <= 1, {x, y}, Reals]
Out[1]=