Usando o TFC1, calcule (d)/(dx)integrate from cos x to 1 of (dt)/(sqrt(1-t^2))