rardugri lujvo

x1 is the natural logarithm of x2.

See also te'o