Solver appendix now has all derivatives.