ImplicitD experiments

I use ImplicitD to find implicit derivatives.