log1/√2（4^5+8^2）
=log2^(-1/2) (4^5+8^2)
=-2log2(2^10+2^6)
=-2log2[2^6(2^4+1)]
=-2log2(2^6)-2log2(2^4+1)
=-12-2log2(17)