Problem:
Differentiate the following function:
$\cos \left(\frac{x}{2}+5\right) \cos \left(6-7 x^2\right)$
Answer:
$14 x \sin \left(6-7 x^2\right) \cos \left(\frac{x}{2}+5\right)-\frac{1}{2} \sin \left(\frac{x}{2}+5\right) \cos \left(6-7 x^2\right)$
{'source': 'AMPS', 'file': 'amps/mathematica/calculus/derivatives/892.txt'}