Thermath Extension
Mathematica is a large commercial program capable of performing various analytical operations, such as differentiation, integration, and formula simplification. It also has intrinsic functions, such as FortranForm, which take a formula's internal representation as an input argument and output the corresponding code in Fortran. However, FortranForm won't
Take more than one formula at a time
Look for common subexpressions
Look for symmetries, or
Produce a complete subroutine or function to implement the formula(s).