Find!
x1 s the Heronian mean of the elements of the ordered multiset/list x2.
If x2 = (A,B), then x1 = (1/3)(A+sqrt(AB)+B). Might be able to be generalized in a number of natural ways for greater-cardinality x2.