It seems I never added the check in `parametric_log_deriv` where it calls the heuristic that the monomial is exponential, but I think it needs to be. The algorithm may need to be modified for tangents.  In that case, you will not be able to do anything here until you implement the tangent structure theorems (which need to be done sooner rather than later anyway).