derivative x^2+(cos(x))^2(log(cos(x))