Simplify sin(2 arctan(3x) %2B pi)