sin(45 deg)