Find!
x1 is x2 times the x3th power of 2 // x1 = x2 \times 2^x
See tenfa, pilji, gei, dektefpi'i, tefpi'i