started O(log n) multiplication
O(log n) multiplication implemented and verified