应该是以(sinx)^2-4cosx+12为真数的常用对数吧?
则在(sinx)^2-4cosx+12>0的前提下,得
(sinx)^2-4cosx+12=1-(cosx)^2-4cosx+12=-(cosx+2)^2+17
又-1