Symbolic Optimizer Skeleton Code