(17.6762 csc(2 arctan(9/16 tan((π 80)/360))/2))/sqrt(2)