log2((6^4)^7)