tan(75 deg)