improvement of quotient operator in AD symbolics (not optimal yet)
simplified Product class