Finished simplified product (function)