Problem:
Evaluate the function $f(x)=\tan ^{-1}(\cos (6 x+3))-\cos (6 x+8)$ at the point $x=-30$
Answer:
$\tan ^{-1}(\cos (177))-\cos (172) = 1.153$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/function_evaluation/4609.txt'}