cos(3/4pi)