tanxdx=ln(cosx),