x*(e^x) integrated, part 2 - result checked