12*(2sin(x) - cos(x)) = 5