Analytical Optimization Using Computer Algebraic Manipulation