a((B+b)(C+C))+(ab)