#1746: added binary of AutoDiff library for symbolic differentiation and an improved version of the constant optimizer from the trunk.