CasADi files for symbolic/auto diff