Solve[ArcTan[x] - 2 ArcTan[1/2] == Pi/4, x]