1. The problem statement, all variables and given/known data + relevant equations I have to solve sigma, pinfinity, rho, N are constants. To make things easier for us, we are allowed to treat T as a constant. 2. The attempt at a solution Treat T as constant: At this point, this might help... Using a Maple-based solver, I get: But I'm not sure how to read '_a = .. y)-t-C2 = 0' in symbolic. Anyway, moving along... using substitution: I don't know how to proceed from here, but using the same solver, Does anyone know how I can get to either solution or at least simplify the problem further from here? I don't know how to introduce an implicit solution into my working, too. Thanks.