cnanxero fu'ivla

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.