int(tan(x),x)=-log(cos(x)).