arcsin (25/(40*sin (arctan (8/5 * cos 30°))) )