log3(x