solving a trigonometric equation sin(2x)=cos(x) with the double angle identity, precalculus tutorial