tefpi'i lujvo

x1 is x2 times the x4th power of x3.