let que f(x) = 2x + cos x é injetiva, calcule (f^(-1))'(1)