convert arcsin( sin(72°) / { [ 5 + 4·cos(72°) ]^0.5 } ) radians to degrees