binary logarithm of 256^256^9