3*(2^3 + 5)