sin(2 tan-1 7/24) (that is