solve for x log2((58) ^ x) = 80