[NBF] modified the fast_mul and added the fast_mul_1 for sicp-1.18