If y 3 cos log x