In[1]:= Reduce[Tan[x]^-1 == 0, x, Reals] Out[1]= C[1] \[Element] Integers && (x == -(\[Pi]/2) + 2 \[Pi] C[1] || x == \[Pi]/2 + 2 \[Pi] C[1])
