sin(sqrt(2)/2) to DEG