How do you simplify the expression sin(arctan(x5))?