Suppose, for the sake of keeping things as simple as possible, that I have the following equation that I wish to simplify in Mathematica:

$y = x x$

But suppose further that I also have a restriction, not directly on $x$, but on what values $y$ can have. More specifically, let's suppose $y \leq 9$.

What Mathematica expression, if any, will allow me to simplify the above expression for $y$ and get an output that not only simplifies, but also gives me the range of values that $x$ can take to satisfy my restriction on $y$?

So, just to be clear, the function or script I am looking for will output something like the following when dealing with the above:

y = $x^2$ and $-3\leq x\leq3$

  • $\begingroup$ Can you give an example of a simple right hand side $xx$? $\endgroup$
    – bill s
    Nov 17, 2018 at 10:27
  • $\begingroup$ I literally mean x time x. That is just to provide the most basic case.If I see the procedure, I can most likely work on more difficult problems. $\endgroup$
    – user120911
    Nov 17, 2018 at 11:16
  • $\begingroup$ There is nothing to simplify in this your example. Maybe it is much too simple? Could you give a more complex one where some simplification can be done? $\endgroup$ Nov 17, 2018 at 15:53

2 Answers 2


You can use FunctionDomain:

FunctionDomain[{x^2, x^2<=9}, x]

-3 <= x <= 3


Is this what you are looking for?

Reduce[y == x x && y <= 9, y, Reals]
(* -3 <= x <= 3 && y == x^2 *)

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.