Using the Product Rule with Implicit equations