Even though it's correct to calculate tangent in order to check the statement, shouldn't Wolfram do it after expanding the brackets?
Just FYI, you can choose "Wolfram | Alpha" in your groups
Mathematica syntax uses Tan[z], ArcTan[z].
