I was grappling some very similar problem, and working with numerical results to verify intermediate results wasn't helpful and finally had to turn to maxima to final give analytically derived and simplified expressions.

These symbolic tools can save ones skin on a bad day.