(20sin15)^2/root(2) + 5root(2)(20sin15)