cos(-3pi/4)