Right.  So the method is just being mis-applied to `sin(x)*cos(f(x)) + cos(x)*sin(f(x))*f(x).diff(x)`.
In the commit history, it looks like this equation was originally solved using `separable`, and no
clear explanation is given for the switch to `separable_reduced`.   I suggest deleting.