Input interpretation
solve tan(x) = 1
Result
x = pi (n + 1/4) and n element Z