How do you verify #(tan^3(x) - 1) / (tan(x) - 1) = sec^2(x) + tan(x)#?