Input interpretation
sqrt(x) | inequality
Result
sqrt(x)1