How to isolate $x$ when $\cos(x/2)\cos(3x)/2−3\sin(x/2)\sin(3x)= 0$ Asked to find all relative and absolute extrema of  $f(x) = \sin\left(\frac{1}{2}x\right)\cos(3x)$ on the interval $[0,\pi]$. I've gotten the derivative, $$f'(x)=\frac{\cos(\frac{x}{2})\cos(3x)}{2} - 3\sin(\frac{x}{2})\sin(3x),$$  just fine, but how would I proceed to isolate x after this? I noticed that the situation is similar to the sine angle sum identity, but I don't know if there's an identity for an equation with the form $$h\cos(\alpha)\cos(\beta) - k\sin(\alpha)\sin(\beta)$$ and can't find anything online. I don't have much experience working with Euler's Formula in this context but know enough that I could probably follow an explanation based on it.

Trying approximate solutions.
First, using trigonometric formulae, the derivative can write
$$f'(x)=\frac{1}{4} \left(7 \cos \left(\frac{7 x}{2}\right)-5 \cos \left(\frac{5
   x}{2}\right)\right)$$ Forget the $\frac{1}{4}$ and plot the function. You should notice that, for the range of concern, the solution are "close" to $\frac \pi{12}$, $\frac \pi{3}$, $\frac {2\pi}{3}$ and the last one is exactly $\pi$.
So, around each of these values, build Taylor expansions to get successively
$$f'(x)=\left(7 \sin \left(\frac{5 \pi }{24}\right)-5 \cos \left(\frac{5 \pi
   }{24}\right)\right)+\left(x-\frac{\pi }{12}\right) \left(\frac{25}{2} \sin
   \left(\frac{5 \pi }{24}\right)-\frac{49}{2} \cos \left(\frac{5 \pi
   }{24}\right)\right)+\left(x-\frac{\pi }{12}\right)^2 \left(\frac{125}{8} \cos
   \left(\frac{5 \pi }{24}\right)-\frac{343}{8} \sin \left(\frac{5 \pi
   }{24}\right)\right)+O\left(\left(x-\frac{\pi }{12}\right)^3\right)$$ and we know the values of the trigonometric functions of $\frac{n \pi }{24}$. Solving the quadratic will give $x_1=0.286024$ (while the "exact" solution would be $0.286061$).
$$f'(x)=-\sqrt{3}+\frac{37}{2} \left(x-\frac{\pi }{3}\right)+\frac{109}{8} \sqrt{3}
   \left(x-\frac{\pi }{3}\right)^2+O\left(\left(x-\frac{\pi }{3}\right)^3\right)$$
Solving the quadratic will give $x_2=1.13170$ (while the "exact" solution would be $1.13265$).
$$f'(x)=1-\frac{37}{2} \sqrt{3} \left(x-\frac{2 \pi }{3}\right)-\frac{109}{8}
   \left(x-\frac{2 \pi }{3}\right)^2+O\left(\left(x-\frac{2 \pi
   }{3}\right)^3\right)$$
Solving the quadratic will give $x_3=2.12520$ (while the "exact" solution would be $2.12525$).
