10sqrt3-(3/2)*pi-(25/2)*sec(11/14)-2sec(1/7)