Implicit diff for Mathematica's one variable-BIF