Найти производную от функции про данном значении аргумента. f(t)=ln*cos^2*2t ,t=pi/8

Решите задачу:

$f(t)=ln(cos^22t)\\t= \pi /8\\f`( \pi /8)=?\\\\f`(t)= \frac{(cos^22t)`}{cos^22t}= \frac{-2sin2t*(2t)`}{cos^22t}= \frac{-4sin2t}{cos^22t}\\\\f`( \pi /8)= \frac{-4sin(2* \pi /8)}{cos^2(2* \pi /8)}= \frac{-4sin \pi /4}{cos^2 \pi /4}= \frac{-4* \sqrt{2}/2 }{( \sqrt{2}/2)^2 }= \frac{-4*2}{ \sqrt{2}}= \frac{-8 \sqrt{2} }{2}=-4 \sqrt{2}$