log[4,x + 12]*log[x,2] = 1