selcmipi'i lujvo

x1 is the cross product of x2 and x3.

See also pi'u