tan(17 degrees)