casadi 3.7.2__cp314-none-manylinux2014_x86_64.whl

casadi/include/casadi/core/calculus.hpp

@@ -0,0 +1,1805 @@
+/*
+ *    This file is part of CasADi.
+ *
+ *    CasADi -- A symbolic framework for dynamic optimization.
+ *    Copyright (C) 2010-2023 Joel Andersson, Joris Gillis, Moritz Diehl,
+ *                            KU Leuven. All rights reserved.
+ *    Copyright (C) 2011-2014 Greg Horn
+ *
+ *    CasADi is free software; you can redistribute it and/or
+ *    modify it under the terms of the GNU Lesser General Public
+ *    License as published by the Free Software Foundation; either
+ *    version 3 of the License, or (at your option) any later version.
+ *
+ *    CasADi is distributed in the hope that it will be useful,
+ *    but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ *    Lesser General Public License for more details.
+ *
+ *    You should have received a copy of the GNU Lesser General Public
+ *    License along with CasADi; if not, write to the Free Software
+ *    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
+ *
+ */
+
+
+#ifndef CASADI_CALCULUS_HPP
+#define CASADI_CALCULUS_HPP
+
+#include <iostream>
+#include <string>
+#include <cmath>
+#include <limits>
+#include <algorithm>
+#include "casadi_common.hpp"
+
+// Define pi if the compiler fails to do so
+
+/// \cond INTERNAL
+
+namespace casadi {
+#ifndef SWIG
+  /// Define pi
+#ifdef M_PI
+  const double pi = M_PI;
+#else
+  const double pi = 3.14159265358979323846;
+#endif
+
+  /// infinity
+  const double inf = std::numeric_limits<double>::infinity();
+
+  /// Not a number
+  const double nan = std::numeric_limits<double>::quiet_NaN();
+
+  /// Machine epsilon
+  const double eps = std::numeric_limits<double>::epsilon();
+#endif // SWIG
+
+  /// Enum for quick access to any node
+  enum Operation {
+    // Simple assignment
+    OP_ASSIGN,
+
+    // Standard unary and binary functions
+    OP_ADD,  OP_SUB,  OP_MUL,  OP_DIV,
+    OP_NEG,  OP_EXP,  OP_LOG,  OP_POW, OP_CONSTPOW,
+    OP_SQRT,  OP_SQ,  OP_TWICE,
+    OP_SIN,  OP_COS,  OP_TAN,
+    OP_ASIN,  OP_ACOS,  OP_ATAN,
+    OP_LT, OP_LE, OP_EQ, OP_NE, OP_NOT, OP_AND, OP_OR,
+    OP_FLOOR,  OP_CEIL,  OP_FMOD, OP_FABS, OP_SIGN, OP_COPYSIGN, OP_IF_ELSE_ZERO,
+    OP_ERF,  OP_FMIN,  OP_FMAX,
+    OP_INV,
+    OP_SINH,  OP_COSH,  OP_TANH,
+    OP_ASINH, OP_ACOSH, OP_ATANH,
+    OP_ATAN2,
+
+    // Double constant
+    OP_CONST,
+
+    // Function input and output
+    OP_INPUT, OP_OUTPUT,
+
+    // Free parameter
+    OP_PARAMETER,
+
+    // Embedded function call
+    OP_CALL,
+
+    // Find first nonzero in a vector
+    OP_FIND,
+
+    // Find first nonzero in a vector
+    OP_LOW,
+
+    // Embedded function call in parallel
+    OP_MAP,
+
+    // Matrix multiplication
+    OP_MTIMES,
+
+    // Solve linear system of equations
+    OP_SOLVE,
+
+    // Matrix transpose
+    OP_TRANSPOSE,
+
+    // Matrix determinant
+    OP_DETERMINANT,
+
+    // Matrix inverse
+    OP_INVERSE,
+
+    // Inner product
+    OP_DOT,
+
+    // Bilinear form
+    OP_BILIN,
+
+    // Rank-1 update
+    OP_RANK1,
+
+    // Horizontal concatenation
+    OP_HORZCAT,
+
+    // Vertical concatenation of vectors
+    OP_VERTCAT,
+
+    // Diagonal concatenation
+    OP_DIAGCAT,
+
+    // Horizontal split
+    OP_HORZSPLIT,
+
+    // Vertical split of vectors
+    OP_VERTSPLIT,
+
+    // Diagonal split
+    OP_DIAGSPLIT,
+
+    // Reshape an expression
+    OP_RESHAPE,
+
+    // Submatrix reference
+    OP_SUBREF,
+
+    // Submatrix assignment
+    OP_SUBASSIGN,
+
+    // Nonzero reference
+    OP_GETNONZEROS,
+
+    // Parametric nonzero reference
+    OP_GETNONZEROS_PARAM,
+
+    // Nonzero addition
+    OP_ADDNONZEROS,
+
+    // parametric nonzero addition
+    OP_ADDNONZEROS_PARAM,
+
+    // Nonzero assignment
+    OP_SETNONZEROS,
+
+    // Parametric nonzero assignment
+    OP_SETNONZEROS_PARAM,
+
+    // Set sparse
+    OP_PROJECT,
+
+    // Assertion
+    OP_ASSERTION,
+
+    // Monitor
+    OP_MONITOR,
+
+    // Norms
+    OP_NORM2, OP_NORM1, OP_NORMINF, OP_NORMF,
+
+    // min/max
+    OP_MMIN, OP_MMAX,
+
+    // Horizontal repeat
+    OP_HORZREPMAT,
+
+    // Horizontal repeat sum
+    OP_HORZREPSUM,
+
+    OP_ERFINV,
+    OP_PRINTME,
+    OP_LIFT,
+
+    OP_EINSTEIN,
+
+    OP_BSPLINE,
+
+    OP_CONVEXIFY,
+
+    // Sparsity cast
+    OP_SPARSITY_CAST,
+
+    OP_LOG1P,
+
+    OP_EXPM1,
+
+    OP_HYPOT,
+
+    OP_LOGSUMEXP,
+
+    OP_REMAINDER
+
+  };
+  #define NUM_BUILT_IN_OPS (OP_REMAINDER+1)
+
+  #define OP_
+
+#ifndef SWIG
+
+  ///@{
+  /** \brief Enable using elementary numerical operations without std:: prefix
+
+      \identifier{1g4} */
+  using std::isfinite;
+  using std::sqrt;
+  using std::sin;
+  using std::cos;
+  using std::tan;
+  using std::atan;
+  using std::asin;
+  using std::acos;
+  using std::sinh;
+  using std::cosh;
+  using std::tanh;
+  using std::exp;
+  using std::log;
+  using std::log10;
+  using std::abs;
+  using std::fabs;
+  using std::floor;
+  using std::ceil;
+  using std::pow;
+  using std::fmod;
+  using std::remainder;
+  using std::atan2;
+  using std::erf;
+  using std::fmin;
+  using std::fmax;
+  using std::fabs;
+  using std::atanh;
+  using std::asinh;
+  using std::acosh;
+  using std::isnan;
+  using std::isinf;
+  using std::log1p;
+  using std::expm1;
+  using std::hypot;
+  using std::copysign;
+  ///@}
+
+  ///@{
+  // Implement "missing" operations
+
+  /// Sign function, note that sign(nan) == nan
+  inline double sign(double x) { return x<0 ? -1 : x>0 ? 1 : x;}
+  ///@}
+
+  ///@}
+
+  ///@{
+  /** CasADi additions */
+  inline double simplify(double x) { return x;}
+  inline double constpow(double x, double y) { return pow(x, y);}
+  inline double printme(double x, double y) {
+    std::ios::fmtflags f(uout().flags());
+    uout() << "|> " << y << " : ";
+    uout() << std::setprecision(std::numeric_limits<double>::digits10 + 1) << std::scientific;
+    uout() << x << std::endl;
+    uout().flags(f);
+    return x;
+  }
+  inline bool is_equal(double x, double y, casadi_int depth=0) { return x==y;}
+
+
+  // Integer maximum and minimum
+  inline casadi_int casadi_max(casadi_int x, casadi_int y) { return std::max(x, y);}
+  inline casadi_int casadi_min(casadi_int x, casadi_int y) { return std::min(x, y);}
+
+  /// Conditional assignment
+  inline double if_else_zero(double x, double y) { return x==0 ? 0 : y;}
+  inline double if_else(double x, double y, double z) { return x==0 ? z : y;}
+#ifdef HAS_ERFINV
+  using ::erfinv;
+#else // HAS ERFINV
+  inline double erfinv(double x) throw() {
+    // Approximation found in Sourceforge and modified: Not very efficient
+    if (x>=1) {
+      return x==1 ? inf : nan;
+    } else if (x<=-1) {
+      return x==-1 ? -inf : nan;
+    } else if (x<-0.7) {
+      double z = sqrt(-log((1.0+x)/2.0));
+      return -(((1.641345311*z+3.429567803)*z-1.624906493)*z-1.970840454)/
+          ((1.637067800*z+3.543889200)*z+1.0);
+    } else {
+      double y;
+      if (x<0.7) {
+        double z = x*x;
+        y = x*(((-0.140543331*z+0.914624893)*z-1.645349621)*z+0.886226899)/
+            ((((-0.329097515*z+0.012229801)*z+1.442710462)*z-2.118377725)*z+1.0);
+      } else {
+        double z = sqrt(-log((1.0-x)/2.0));
+        y = (((1.641345311*z+3.429567803)*z-1.624906493)*z-1.970840454)/
+            ((1.637067800*z+3.543889200)*z+1.0);
+      }
+
+      //polish x to full accuracy
+      y = y - (erf(y) - x) / (2.0/sqrt(pi) * exp(-y*y));
+      y = y - (erf(y) - x) / (2.0/sqrt(pi) * exp(-y*y));
+      return y;
+    }
+  }
+#endif // HAS_ERFINV
+  ///@}
+
+  template<typename T>
+  T twice(const T& x) {
+    return x+x;
+  }
+
+  template<typename T>
+  T sq(const T& x) {
+    return x*x;
+  }
+
+  template<casadi_int I>
+  struct UnaryOperation {
+    /// Function evaluation
+    template<typename T> static inline void fcn(const T& x, T& f);
+
+    /// Partial derivatives
+    template<typename T> static inline void der(const T& x, const T& f, T* d);
+  };
+
+  template<casadi_int I>
+  struct BinaryOperation {
+    /// Function evaluation
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) {
+        UnaryOperation<I>::fcn(x, f);}
+
+    /// Partial derivatives - binary function
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        UnaryOperation<I>::der(x, f, d); d[1]=0; }
+  };
+
+  template<casadi_int I>
+  struct BinaryOperationE {
+    /// Function evaluation
+    template<typename T> static inline T fcn(const T& x, const T& y) {
+      T ret;
+      BinaryOperation<I>::fcn(x, y, ret);
+      return ret;
+    }
+  };
+
+  /// Calculate function and derivative
+  template<casadi_int I>
+  struct DerBinaryOperation {
+    /// Perform the operation
+    template<typename T> static inline void derf(const T& x, const T& y, T& f, T* d) {
+
+      /** First save to temp since f might have the same address as x or y,
+      * in which case it will be incorrect in the second call
+      */
+      T tmp;
+
+      /// Evaluate the function
+      BinaryOperation<I>::fcn(x, y, tmp);
+
+      /// Evaluate the partial derivatives
+      BinaryOperation<I>::der(x, y, tmp, d);
+
+      /// Now save f
+      f = tmp;
+    }
+  };
+
+  /// Perform a binary operation on two scalars
+  template<casadi_int I>
+  struct BinaryOperationSS {
+    /// Function evaluation
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f, casadi_int n) {
+      BinaryOperation<I>::fcn(x, y, f);
+    }
+
+    /// Partial derivatives - binary function
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d,
+        casadi_int n) {
+      BinaryOperation<I>::der(x, y, f, d);
+    }
+  };
+
+
+  /// Perform a binary operation on two vectors
+  template<casadi_int I>
+  struct BinaryOperationVV {
+    /// Function evaluation
+    template<typename T> static inline void fcn(const T* x, const T* y, T* f, casadi_int n) {
+      for (casadi_int i=0; i<n; ++i) {
+        BinaryOperation<I>::fcn(*x++, *y++, *f++);
+      }
+    }
+
+    /// Partial derivatives - binary function
+    template<typename T> static inline void der(const T* x, const T* y,
+        const T* f, T* d, casadi_int n) {
+      for (casadi_int i=0; i<n; ++i, d+=2) {
+        BinaryOperation<I>::der(*x++, *y++, *f++, d);
+      }
+    }
+  };
+
+  /// Perform a binary operation on a vector and a scalar
+  template<casadi_int I>
+  struct BinaryOperationVS {
+    /// Function evaluation
+    template<typename T> static inline void fcn(const T* x, const T& y, T* f, casadi_int n) {
+      for (casadi_int i=0; i<n; ++i) {
+        BinaryOperation<I>::fcn(*x++, y, *f++);
+      }
+    }
+
+    /// Partial derivatives - binary function
+    template<typename T> static inline void der(const T* x, const T& y,
+        const T* f, T* d, casadi_int n) {
+      for (casadi_int i=0; i<n; ++i, d+=2) {
+        BinaryOperation<I>::der(*x++, y, *f++, d);
+      }
+    }
+  };
+
+  /// Perform a binary operation on a scalar and a vector
+  template<casadi_int I>
+  struct BinaryOperationSV {
+    /// Function evaluation
+    template<typename T> static inline void fcn(const T& x, const T* y, T* f, casadi_int n) {
+      for (casadi_int i=0; i<n; ++i) {
+        BinaryOperation<I>::fcn(x, *y++, *f++);
+      }
+    }
+
+    /// Partial derivatives - binary function
+    template<typename T> static inline void der(const T& x, const T* y,
+        const T* f, T* d, casadi_int n) {
+      for (casadi_int i=0; i<n; ++i, d+=2) {
+        BinaryOperation<I>::der(x, *y++, *f++, d);
+      }
+    }
+  };
+
+  ///@{
+  /// Smoothness (by default true)
+  template<casadi_int I> struct SmoothChecker { static const bool check=true;};
+  template<>      struct SmoothChecker<OP_LT>{ static const bool check=false;};
+  template<>      struct SmoothChecker<OP_LE>{ static const bool check=false;};
+  template<>      struct SmoothChecker<OP_FLOOR>{ static const bool check=false;};
+  template<>      struct SmoothChecker<OP_CEIL>{ static const bool check=false;};
+  template<>      struct SmoothChecker<OP_FMOD>{ static const bool check=false;};
+  template<>      struct SmoothChecker<OP_REMAINDER>{ static const bool check=false;};
+  template<>      struct SmoothChecker<OP_EQ>{ static const bool check=false;};
+  template<>      struct SmoothChecker<OP_NE>{ static const bool check=false;};
+  template<>      struct SmoothChecker<OP_SIGN>{ static const bool check=false;};
+  template<>      struct SmoothChecker<OP_COPYSIGN>{ static const bool check=false;};
+  template<>      struct SmoothChecker<OP_NOT>{ static const bool check=false;};
+  template<>      struct SmoothChecker<OP_AND>{ static const bool check=false;};
+  template<>      struct SmoothChecker<OP_OR>{ static const bool check=false;};
+  template<>      struct SmoothChecker<OP_IF_ELSE_ZERO>{ static const bool check=false;};
+  ///@}
+
+  ///@{
+  /// If evaluated with the first argument zero, is the result zero?
+  template<casadi_int I> struct F0XChecker { static const bool check=false;};
+  template<>      struct F0XChecker<OP_ASSIGN>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_MUL>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_DIV>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_NEG>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_SQRT>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_SQ>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_TWICE>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_SIN>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_TAN>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_ATAN>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_ASIN>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_FLOOR>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_CEIL>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_FMOD>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_REMAINDER>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_FABS>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_SIGN>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_COPYSIGN>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_ERF>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_SINH>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_TANH>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_ASINH>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_ATANH>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_ERFINV>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_AND>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_IF_ELSE_ZERO>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_LOG1P>{ static const bool check=true;};
+  template<>      struct F0XChecker<OP_EXPM1>{ static const bool check=true;};
+  ///@}
+
+  ///@{
+  /// If evaluated with the second argument zero, is the result zero?
+  template<casadi_int I> struct FX0Checker { static const bool check=false;};
+  template<>      struct FX0Checker<OP_MUL>{ static const bool check=true;};
+  template<>      struct FX0Checker<OP_AND>{ static const bool check=true;};
+  template<>      struct FX0Checker<OP_IF_ELSE_ZERO>{ static const bool check=true;};
+  ///@}
+
+  ///@{
+  /// If evaluated with both arguments zero, is the result zero?
+  template<casadi_int I> struct F00Checker {
+    static const bool check=F0XChecker<I>::check || FX0Checker<I>::check;
+  };
+  template<>      struct F00Checker<OP_ADD>{ static const bool check=true;};
+  template<>      struct F00Checker<OP_SUB>{ static const bool check=true;};
+  template<>      struct F00Checker<OP_FMIN>{ static const bool check=true;};
+  template<>      struct F00Checker<OP_FMAX>{ static const bool check=true;};
+  template<>      struct F00Checker<OP_AND>{ static const bool check=true;};
+  template<>      struct F00Checker<OP_OR>{ static const bool check=true;};
+  template<>      struct F00Checker<OP_COPYSIGN>{ static const bool check=true;};
+  template<>      struct F00Checker<OP_LT>{ static const bool check=true;};
+  template<>      struct F00Checker<OP_HYPOT>{ static const bool check=true;};
+  ///@}
+
+  ///@{
+  /// Is commutative
+  template<casadi_int I> struct CommChecker { static const bool check=false;};
+  template<>      struct CommChecker<OP_ADD>{ static const bool check=true;};
+  template<>      struct CommChecker<OP_MUL>{ static const bool check=true;};
+  template<>      struct CommChecker<OP_EQ>{ static const bool check=true;};
+  template<>      struct CommChecker<OP_NE>{ static const bool check=true;};
+  template<>      struct CommChecker<OP_AND>{ static const bool check=true;};
+  template<>      struct CommChecker<OP_OR>{ static const bool check=true;};
+  template<>      struct CommChecker<OP_HYPOT>{ static const bool check=true;};
+  ///@}
+
+  ///@{
+  /// Always non-negative (false by default)
+  template<casadi_int I> struct NonnegativeChecker { static const bool check=false;};
+  template<>      struct NonnegativeChecker<OP_SQRT>{ static const bool check=true;};
+  template<>      struct NonnegativeChecker<OP_SQ>{ static const bool check=true;};
+  template<>      struct NonnegativeChecker<OP_EXP>{ static const bool check=true;};
+  template<>      struct NonnegativeChecker<OP_LT>{ static const bool check=true;};
+  template<>      struct NonnegativeChecker<OP_LE>{ static const bool check=true;};
+  template<>      struct NonnegativeChecker<OP_EQ>{ static const bool check=true;};
+  template<>      struct NonnegativeChecker<OP_NE>{ static const bool check=true;};
+  template<>      struct NonnegativeChecker<OP_NOT>{ static const bool check=true;};
+  template<>      struct NonnegativeChecker<OP_AND>{ static const bool check=true;};
+  template<>      struct NonnegativeChecker<OP_OR>{ static const bool check=true;};
+  template<>      struct NonnegativeChecker<OP_HYPOT>{ static const bool check=true;};
+  ///@}
+
+  ///@{
+  /// Is the operation binary as opposed to unary
+  template<casadi_int I> struct NargChecker { static const casadi_int check=1;};
+  template<>      struct NargChecker<OP_ADD>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_SUB>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_MUL>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_DIV>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_POW>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_CONSTPOW>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_EQ>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_NE>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_AND>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_OR>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_FMIN>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_FMAX>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_PRINTME>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_ATAN2>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_IF_ELSE_ZERO>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_FMOD>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_REMAINDER>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_COPYSIGN>{ static const casadi_int check=2;};
+  template<>      struct NargChecker<OP_CONST>{ static const casadi_int check=0;};
+  template<>      struct NargChecker<OP_PARAMETER>{ static const casadi_int check=0;};
+  template<>      struct NargChecker<OP_INPUT>{ static const casadi_int check=0;};
+  template<>      struct NargChecker<OP_HYPOT>{ static const casadi_int check=2;};
+  ///@}
+
+  /// Simple assignment
+  template<>
+  struct UnaryOperation<OP_ASSIGN>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = x;}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0] = 1; }
+  };
+
+  /// Addition
+  template<>
+  struct BinaryOperation<OP_ADD>{
+  public:
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = x+y;}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=d[1]=1;}
+  };
+
+  /// Subtraction
+  template<>
+  struct BinaryOperation<OP_SUB>{
+  public:
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = x-y;}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=1; d[1]=-1;}
+  };
+
+  /// Multiplication
+  template<>
+  struct BinaryOperation<OP_MUL>{
+  public:
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = x*y;}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=y; d[1]=x;}
+  };
+
+  /// Division
+  template<>
+  struct BinaryOperation<OP_DIV>{
+  public:
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = x/y;}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=1/y; d[1]=-f/y;}
+  };
+
+  /// Negation
+  template<>
+  struct UnaryOperation<OP_NEG>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = -x;}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0]=-1;}
+  };
+
+  /// Natural exponent
+  template<>
+  struct UnaryOperation<OP_EXP>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = exp(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0]=f;}
+  };
+
+  /// Natural logarithm
+  template<>
+  struct UnaryOperation<OP_LOG>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = log(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0]=1/x;}
+  };
+
+  /// Power, defined only for x>=0
+  template<>
+  struct BinaryOperation<OP_POW>{
+  public:
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = pow(x, y);}
+    // See issue #104 why d[0] is no longer y*f/x
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=y*pow(x, y-1); d[1]=log(x)*f;}
+  };
+
+  /// Power, defined only for y constant
+  template<>
+  struct BinaryOperation<OP_CONSTPOW>{
+  public:
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = pow(x, y);}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=y*pow(x, y-1); d[1]=0;}
+  };
+
+  /// Square root
+  template<>
+  struct UnaryOperation<OP_SQRT>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = sqrt(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0]=1/(twice(f));}
+  };
+
+  /// Square
+  template<>
+  struct UnaryOperation<OP_SQ>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = sq(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0]=twice(x);}
+  };
+
+  /// Times two
+  template<>
+  struct UnaryOperation<OP_TWICE>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = 2.*x;}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0] = 2; }
+  };
+
+  /// Sine
+  template<>
+  struct UnaryOperation<OP_SIN>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = sin(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0]=cos(x);}
+  };
+
+  /// Cosine
+  template<>
+  struct UnaryOperation<OP_COS>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = cos(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0]=-sin(x);}
+  };
+
+  /// Tangent
+  template<>
+  struct UnaryOperation<OP_TAN>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = tan(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d)
+    { d[0] = 1/sq(cos(x));}
+  };
+
+  /// Arcus sine
+  template<>
+  struct UnaryOperation<OP_ASIN>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = asin(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0]=1/sqrt(1-x*x);}
+  };
+
+  /// Arcus cosine
+  template<>
+  struct UnaryOperation<OP_ACOS>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = acos(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d)
+    { d[0]=-1/sqrt(1-x*x);}
+  };
+
+  /// Arcus tangent
+  template<>
+  struct UnaryOperation<OP_ATAN>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = atan(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0] = 1/(1+x*x);}
+  };
+
+  /// Less than
+  template<>
+  struct BinaryOperation<OP_LT>{
+  public:
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = x < y;}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=d[1]=0;}
+  };
+
+  /// Less or equal to
+  template<>
+  struct BinaryOperation<OP_LE>{
+  public:
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = x <= y;}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=d[1]=0;}
+  };
+
+  /// Floor function
+  template<>
+  struct UnaryOperation<OP_FLOOR>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = floor(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0] = 0;}
+  };
+
+  /// Ceil function
+  template<>
+  struct UnaryOperation<OP_CEIL>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = ceil(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0] = 0;}
+  };
+
+  /// Remainder of division
+  template<>
+  struct BinaryOperation<OP_FMOD>{
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = fmod(x, y);}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+      d[0]=1; d[1]=(f-x)/y;}
+  };
+
+  /// Remainder of division
+  template<>
+  struct BinaryOperation<OP_REMAINDER>{
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) {
+      f = remainder(x, y);}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+      d[0]=1; d[1]=(f-x)/y;}
+  };
+
+  /// Equal to
+  template<>
+  struct BinaryOperation<OP_EQ>{
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = x==y;}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=d[1]=0;}
+  };
+
+  /// Not equal to
+  template<>
+  struct BinaryOperation<OP_NE>{
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = x!=y;}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=d[1]=0;}
+  };
+
+  /// Logical not
+  template<>
+  struct UnaryOperation<OP_NOT>{
+  public:
+    template<typename T> static inline void fcn(const T& x, T& f) { f = !x;}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0] = 0;}
+  };
+
+  /// Logical and
+  template<>
+  struct BinaryOperation<OP_AND>{
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = x && y;}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=d[1]=0;}
+  };
+
+  /// Logical or
+  template<>
+  struct BinaryOperation<OP_OR>{
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = x || y;}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=d[1]=0;}
+  };
+
+  /// Error function
+  template<>
+  struct UnaryOperation<OP_ERF>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = erf(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) {
+        d[0] = (2/sqrt(pi))*exp(-x*x);}
+  };
+
+  /// Absolute value
+  template<>
+  struct UnaryOperation<OP_FABS>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = fabs(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) {
+        d[0]=sign(x);}
+  };
+
+  /// Sign
+  template<>
+  struct UnaryOperation<OP_SIGN>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = sign(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0]=0;}
+  };
+
+  /// Copysign
+  template<>
+  struct BinaryOperation<OP_COPYSIGN>{
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = copysign(x, y);}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        T e = 1; d[0]=copysign(e, y); d[1]=0;}
+  };
+
+  /// Minimum
+  template<>
+  struct BinaryOperation<OP_FMIN>{
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = fmin(x, y);}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+      T a = x<=y;
+      T b = y<=x;
+      T c = a+b;
+      d[0]=a/c; d[1]=b/c;}
+  };
+
+  /// Maximum
+  template<>
+  struct BinaryOperation<OP_FMAX>{
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = fmax(x, y);}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+      T a = y<=x;
+      T b = x<=y;
+      T c = a+b;
+      d[0]=a/c; d[1]=b/c;}
+  };
+
+  /// Element-wise inverse
+  template<>
+  struct UnaryOperation<OP_INV>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = 1./x;}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0] = -f*f; }
+  };
+
+  /// Hyperbolic sine
+  template<>
+  struct UnaryOperation<OP_SINH>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = sinh(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0] = cosh(x); }
+  };
+
+  /// Hyperbolic cosine
+  template<>
+  struct UnaryOperation<OP_COSH>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = cosh(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0] = sinh(x); }
+  };
+
+  /// Hyperbolic tangent
+  template<>
+  struct UnaryOperation<OP_TANH>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = tanh(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0] = 1-f*f; }
+  };
+
+  /// Inverse hyperbolic sine
+  template<>
+  struct UnaryOperation<OP_ASINH>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = asinh(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) {
+        d[0] = 1/sqrt(1+x*x); }
+  };
+
+  /// Inverse hyperbolic cosine
+  template<>
+  struct UnaryOperation<OP_ACOSH>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = acosh(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) {
+        d[0] = 1/sqrt(x-1)/sqrt(x+1); }
+  };
+
+  /// Inverse hyperbolic tangent
+  template<>
+  struct UnaryOperation<OP_ATANH>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = atanh(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) { d[0] = 1/(1-x*x); }
+  };
+
+  /// Inverse of error function
+  template<>
+  struct UnaryOperation<OP_ERFINV>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = erfinv(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) {
+        d[0] = (sqrt(pi)/2)*exp(f*f); }
+  };
+
+  /// log1p(x) = log(1+x)
+  template<>
+  struct UnaryOperation<OP_LOG1P>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = log1p(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) {
+        d[0] = 1/(1+x);}
+  };
+
+  /// expm1(x) = exp(x)-1
+  template<>
+  struct UnaryOperation<OP_EXPM1>{
+    template<typename T> static inline void fcn(const T& x, T& f) { f = expm1(x);}
+    template<typename T> static inline void der(const T& x, const T& f, T* d) {
+        d[0] = exp(x); }
+  };
+
+  /// Identity operator with the side effect of printing
+  template<>
+  struct BinaryOperation<OP_PRINTME>{
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) {f = printme(x, y); }
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=1; d[1]=0;}
+  };
+
+  /// Arctan2
+  template<>
+  struct BinaryOperation<OP_ATAN2>{
+  public:
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = atan2(x, y);}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        T t = x*x+y*y; d[0]=y/t; d[1]=-x/t;}
+  };
+
+  /// Conditional assignment
+  template<>
+  struct BinaryOperation<OP_IF_ELSE_ZERO>{
+  public:
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) {
+        f = if_else_zero(x, y);}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0]=0; d[1]=x;}
+  };
+
+  /// Inverse of error function
+  template<>
+  struct BinaryOperation<OP_LIFT>{
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = x;}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0] = 1; d[1] = 0; }
+  };
+
+  /// hypot(x,y) = sqrt(x^2+y^2)
+  template<>
+  struct BinaryOperation<OP_HYPOT>{
+    template<typename T> static inline void fcn(const T& x, const T& y, T& f) { f = hypot(x, y);}
+    template<typename T> static inline void der(const T& x, const T& y, const T& f, T* d) {
+        d[0] = x/f; d[1] = y/f; }
+  };
+
+  template<template<casadi_int> class F, typename T>
+  T operation_getter(casadi_int op) {
+    switch (static_cast<Operation>(op)) {
+    case OP_ASSIGN:        return F<OP_ASSIGN>::check;
+    case OP_ADD:           return F<OP_ADD>::check;
+    case OP_SUB:           return F<OP_SUB>::check;
+    case OP_MUL:           return F<OP_MUL>::check;
+    case OP_DIV:           return F<OP_DIV>::check;
+    case OP_NEG:           return F<OP_NEG>::check;
+    case OP_EXP:           return F<OP_EXP>::check;
+    case OP_LOG:           return F<OP_LOG>::check;
+    case OP_POW:           return F<OP_POW>::check;
+    case OP_CONSTPOW:      return F<OP_CONSTPOW>::check;
+    case OP_SQRT:          return F<OP_SQRT>::check;
+    case OP_SQ:            return F<OP_SQ>::check;
+    case OP_TWICE:         return F<OP_TWICE>::check;
+    case OP_SIN:           return F<OP_SIN>::check;
+    case OP_COS:           return F<OP_COS>::check;
+    case OP_TAN:           return F<OP_TAN>::check;
+    case OP_ASIN:          return F<OP_ASIN>::check;
+    case OP_ACOS:          return F<OP_ACOS>::check;
+    case OP_ATAN:          return F<OP_ATAN>::check;
+    case OP_LT:            return F<OP_LT>::check;
+    case OP_LE:            return F<OP_LE>::check;
+    case OP_EQ:            return F<OP_EQ>::check;
+    case OP_NE:            return F<OP_NE>::check;
+    case OP_NOT:           return F<OP_NOT>::check;
+    case OP_AND:           return F<OP_AND>::check;
+    case OP_OR:            return F<OP_OR>::check;
+    case OP_FLOOR:         return F<OP_FLOOR>::check;
+    case OP_CEIL:          return F<OP_CEIL>::check;
+    case OP_FMOD:          return F<OP_FMOD>::check;
+    case OP_REMAINDER:     return F<OP_REMAINDER>::check;
+    case OP_FABS:          return F<OP_FABS>::check;
+    case OP_SIGN:          return F<OP_SIGN>::check;
+    case OP_COPYSIGN:      return F<OP_COPYSIGN>::check;
+    case OP_IF_ELSE_ZERO:  return F<OP_IF_ELSE_ZERO>::check;
+    case OP_ERF:           return F<OP_ERF>::check;
+    case OP_FMIN:          return F<OP_FMIN>::check;
+    case OP_FMAX:          return F<OP_FMAX>::check;
+    case OP_INV:           return F<OP_INV>::check;
+    case OP_SINH:          return F<OP_SINH>::check;
+    case OP_COSH:          return F<OP_COSH>::check;
+    case OP_TANH:          return F<OP_TANH>::check;
+    case OP_ASINH:         return F<OP_ASINH>::check;
+    case OP_ACOSH:         return F<OP_ACOSH>::check;
+    case OP_ATANH:         return F<OP_ATANH>::check;
+    case OP_ATAN2:         return F<OP_ATAN2>::check;
+    case OP_CONST:         return F<OP_CONST>::check;
+    case OP_INPUT:         return F<OP_INPUT>::check;
+    case OP_OUTPUT:        return F<OP_OUTPUT>::check;
+    case OP_PARAMETER:     return F<OP_PARAMETER>::check;
+    case OP_CALL:          return F<OP_CALL>::check;
+    case OP_FIND:          return F<OP_FIND>::check;
+    case OP_LOW:           return F<OP_LOW>::check;
+    case OP_MAP:           return F<OP_MAP>::check;
+    case OP_MTIMES:        return F<OP_MTIMES>::check;
+    case OP_SOLVE:         return F<OP_SOLVE>::check;
+    case OP_TRANSPOSE:     return F<OP_TRANSPOSE>::check;
+    case OP_DETERMINANT:   return F<OP_DETERMINANT>::check;
+    case OP_INVERSE:       return F<OP_INVERSE>::check;
+    case OP_DOT:           return F<OP_DOT>::check;
+    case OP_BILIN:         return F<OP_BILIN>::check;
+    case OP_RANK1:         return F<OP_RANK1>::check;
+    case OP_HORZCAT:       return F<OP_HORZCAT>::check;
+    case OP_VERTCAT:       return F<OP_VERTCAT>::check;
+    case OP_DIAGCAT:       return F<OP_DIAGCAT>::check;
+    case OP_HORZSPLIT:     return F<OP_HORZSPLIT>::check;
+    case OP_VERTSPLIT:     return F<OP_VERTSPLIT>::check;
+    case OP_DIAGSPLIT:     return F<OP_DIAGSPLIT>::check;
+    case OP_RESHAPE:       return F<OP_RESHAPE>::check;
+    case OP_SPARSITY_CAST: return F<OP_SPARSITY_CAST>::check;
+    case OP_SUBREF:        return F<OP_SUBREF>::check;
+    case OP_SUBASSIGN:     return F<OP_SUBASSIGN>::check;
+    case OP_GETNONZEROS:   return F<OP_GETNONZEROS>::check;
+    case OP_GETNONZEROS_PARAM:   return F<OP_GETNONZEROS_PARAM>::check;
+    case OP_ADDNONZEROS:   return F<OP_ADDNONZEROS>::check;
+    case OP_ADDNONZEROS_PARAM:   return F<OP_ADDNONZEROS>::check;
+    case OP_SETNONZEROS:   return F<OP_SETNONZEROS>::check;
+    case OP_SETNONZEROS_PARAM:   return F<OP_SETNONZEROS>::check;
+    case OP_PROJECT:       return F<OP_PROJECT>::check;
+    case OP_ASSERTION:     return F<OP_ASSERTION>::check;
+    case OP_MONITOR:       return F<OP_MONITOR>::check;
+    case OP_NORM2:         return F<OP_NORM2>::check;
+    case OP_NORM1:         return F<OP_NORM1>::check;
+    case OP_NORMINF:       return F<OP_NORMINF>::check;
+    case OP_NORMF:         return F<OP_NORMF>::check;
+    case OP_MMIN:          return F<OP_MMIN>::check;
+    case OP_MMAX:          return F<OP_MMAX>::check;
+    case OP_HORZREPMAT:    return F<OP_HORZREPMAT>::check;
+    case OP_HORZREPSUM:    return F<OP_HORZREPSUM>::check;
+    case OP_ERFINV:        return F<OP_ERFINV>::check;
+    case OP_PRINTME:       return F<OP_PRINTME>::check;
+    case OP_LIFT:          return F<OP_LIFT>::check;
+    case OP_EINSTEIN:      return F<OP_EINSTEIN>::check;
+    case OP_BSPLINE:       return F<OP_BSPLINE>::check;
+    case OP_CONVEXIFY:     return F<OP_CONVEXIFY>::check;
+    case OP_LOG1P:         return F<OP_LOG1P>::check;
+    case OP_EXPM1:         return F<OP_EXPM1>::check;
+    case OP_HYPOT:         return F<OP_HYPOT>::check;
+    case OP_LOGSUMEXP:     return F<OP_LOGSUMEXP>::check;
+    }
+    return T();
+  }
+
+  template<template<casadi_int> class F>
+  bool operation_checker(casadi_int op) {
+    return operation_getter<F, bool>(op);
+  }
+
+  /// Easy access to all the functions for a particular type
+  template<typename T>
+  struct casadi_math {
+
+    /** \brief Evaluate a built in function (scalar-scalar)
+
+        \identifier{1g6} */
+    static inline void fun(unsigned char op, const T& x, const T& y, T& f);
+
+    /** \brief Evaluate a built in function (vector-vector)
+
+        \identifier{1g7} */
+    static inline void fun(unsigned char op, const T* x, const T* y, T* f, casadi_int n);
+
+    /** \brief Evaluate a built in function (vector-scalar)
+
+        \identifier{1g8} */
+    static inline void fun(unsigned char op, const T* x, const T& y, T* f, casadi_int n);
+
+    /** \brief Evaluate a built in function (scalar-vector)
+
+        \identifier{1g9} */
+    static inline void fun(unsigned char op, const T& x, const T* y, T* f, casadi_int n);
+
+    /** \brief Evaluate a built in derivative function
+
+        \identifier{1ga} */
+    static inline void der(unsigned char op, const T& x, const T& y, const T& f, T* d);
+
+    /** \brief Evaluate the function and the derivative function
+
+        \identifier{1gb} */
+    static inline void derF(unsigned char op, const T& x, const T& y, T& f, T* d);
+
+    /** \brief Evaluate function on a const/linear/nonlinear partition
+
+        \identifier{28f} */
+    static inline void fun_linear(unsigned char op, const T*x, const T* y, T* f);
+
+    /** \brief Is binary operation?
+
+        \identifier{1gc} */
+    static inline bool is_binary(unsigned char op);
+
+    /** \brief Is unary operation?
+
+        \identifier{1gd} */
+    static inline bool is_unary(unsigned char op);
+
+    /** \brief Number of dependencies
+
+        \identifier{1ge} */
+    static inline casadi_int ndeps(unsigned char op);
+
+    /** \brief Print
+
+        \identifier{1gf} */
+    static inline std::string print(unsigned char op, const std::string& x,
+                             const std::string& y);
+    static inline std::string print(unsigned char op, const std::string& x);
+    static inline std::string name(unsigned char op);
+    static inline std::string pre(unsigned char op);
+    static inline std::string sep(unsigned char op);
+    static inline std::string post(unsigned char op);
+  };
+
+  /// Specialize the class so that it can be used with integer type
+  template<>
+  struct casadi_math<casadi_int>{
+
+    /** \brief Evaluate a built in function
+
+        \identifier{1gg} */
+    static inline void fun(unsigned char op, const casadi_int& x,
+        const casadi_int& y, casadi_int& f) {
+      double ff(0);
+      casadi_math<double>::fun(op, static_cast<double>(x), static_cast<double>(y), ff);
+      f = static_cast<casadi_int>(ff);
+    }
+
+    static inline void fun(unsigned char op, const casadi_int* x, const casadi_int* y,
+        casadi_int* f, casadi_int n) {
+      for (casadi_int i=0; i<n; ++i) {
+        double ff(0);
+        casadi_math<double>::fun(op, static_cast<double>(*x++), static_cast<double>(*y++), ff);
+        *f++ = static_cast<casadi_int>(ff);
+      }
+    }
+
+    static inline void fun(unsigned char op, const casadi_int* x, const casadi_int& y,
+        casadi_int* f, casadi_int n) {
+      for (casadi_int i=0; i<n; ++i) {
+        double ff;
+        casadi_math<double>::fun(op, static_cast<double>(*x++), static_cast<double>(y), ff);
+        *f++ = static_cast<casadi_int>(ff);
+      }
+    }
+
+    static inline void fun(unsigned char op, const casadi_int& x, const casadi_int* y,
+        casadi_int* f, casadi_int n) {
+      for (casadi_int i=0; i<n; ++i) {
+        double ff;
+        casadi_math<double>::fun(op, static_cast<double>(x), static_cast<double>(*y++), ff);
+        *f++ = static_cast<casadi_int>(ff);
+      }
+    }
+
+    /** \brief Evaluate a built in derivative function
+
+        \identifier{1gh} */
+    static inline void der(unsigned char op, const casadi_int& x, const casadi_int& y,
+        const casadi_int& f, casadi_int* d) {
+      double d_real[2] = {static_cast<double>(d[0]), static_cast<double>(d[1])};
+      casadi_math<double>::der(op, static_cast<double>(x), static_cast<double>(y),
+                               static_cast<double>(f), d_real);
+      d[0] = static_cast<casadi_int>(d_real[0]);
+      d[1] = static_cast<casadi_int>(d_real[1]);
+    }
+
+    /** \brief Evaluate the function and the derivative function
+
+        \identifier{1gi} */
+    static inline void derF(unsigned char op, const casadi_int& x, const casadi_int& y,
+        casadi_int& f, casadi_int* d) {
+      double d_real[2] = {static_cast<double>(d[0]), static_cast<double>(d[1])};
+      double f_real = static_cast<double>(f);
+      casadi_math<double>::derF(op, static_cast<double>(x), static_cast<double>(y), f_real, d_real);
+      f = static_cast<casadi_int>(f_real);
+      d[0] = static_cast<casadi_int>(d_real[0]);
+      d[1] = static_cast<casadi_int>(d_real[1]);
+    }
+
+    /** \brief Number of dependencies
+
+        \identifier{1gj} */
+    static inline casadi_int ndeps(unsigned char op) {
+      return casadi_math<double>::ndeps(op);
+    }
+
+    /** \brief Print
+
+        \identifier{1gk} */
+    static inline std::string print(unsigned char op, const std::string& x,
+                                    const std::string& y) {
+      return casadi_math<double>::print(op, x, y);
+    }
+    static inline std::string print(unsigned char op, const std::string& x) {
+      return casadi_math<double>::print(op, x);
+    }
+    static inline std::string pre(unsigned char op) {
+      return casadi_math<double>::pre(op);
+    }
+    static inline std::string name(unsigned char op) {
+      return casadi_math<double>::name(op);
+    }
+    static inline std::string sep(unsigned char op) {
+      return casadi_math<double>::sep(op);
+    }
+    static inline std::string post(unsigned char op) {
+      return casadi_math<double>::post(op);
+    }
+  };
+
+  // Template implementations
+
+  template<typename T>
+  inline void casadi_math<T>::fun(unsigned char op, const T& x, const T& y, T& f) {
+    // NOTE: We define the implementation in a preprocessor macro to be able to force inlining,
+    //  and to allow extensions in the VM
+#define CASADI_MATH_FUN_BUILTIN_GEN(CNAME, X, Y, F, N)                  \
+    case OP_ASSIGN:    CNAME<OP_ASSIGN>::fcn(X, Y, F, N);        break; \
+  case OP_ADD:       CNAME<OP_ADD>::fcn(X, Y, F, N);           break;   \
+  case OP_SUB:       CNAME<OP_SUB>::fcn(X, Y, F, N);           break;   \
+  case OP_MUL:       CNAME<OP_MUL>::fcn(X, Y, F, N);           break;   \
+  case OP_DIV:       CNAME<OP_DIV>::fcn(X, Y, F, N);           break;   \
+  case OP_NEG:       CNAME<OP_NEG>::fcn(X, Y, F, N);           break;   \
+  case OP_EXP:       CNAME<OP_EXP>::fcn(X, Y, F, N);           break;   \
+  case OP_LOG:       CNAME<OP_LOG>::fcn(X, Y, F, N);           break;   \
+  case OP_POW:       CNAME<OP_POW>::fcn(X, Y, F, N);           break;   \
+  case OP_CONSTPOW:  CNAME<OP_CONSTPOW>::fcn(X, Y, F, N);      break;   \
+  case OP_SQRT:      CNAME<OP_SQRT>::fcn(X, Y, F, N);          break;   \
+  case OP_SQ:        CNAME<OP_SQ>::fcn(X, Y, F, N);            break;   \
+  case OP_TWICE:     CNAME<OP_TWICE>::fcn(X, Y, F, N);         break;   \
+  case OP_SIN:       CNAME<OP_SIN>::fcn(X, Y, F, N);           break;   \
+  case OP_COS:       CNAME<OP_COS>::fcn(X, Y, F, N);           break;   \
+  case OP_TAN:       CNAME<OP_TAN>::fcn(X, Y, F, N);           break;   \
+  case OP_ASIN:      CNAME<OP_ASIN>::fcn(X, Y, F, N);          break;   \
+  case OP_ACOS:      CNAME<OP_ACOS>::fcn(X, Y, F, N);          break;   \
+  case OP_ATAN:      CNAME<OP_ATAN>::fcn(X, Y, F, N);          break;   \
+  case OP_LT:        CNAME<OP_LT>::fcn(X, Y, F, N);            break;   \
+  case OP_LE:        CNAME<OP_LE>::fcn(X, Y, F, N);            break;   \
+  case OP_EQ:        CNAME<OP_EQ>::fcn(X, Y, F, N);            break;   \
+  case OP_NE:        CNAME<OP_NE>::fcn(X, Y, F, N);            break;   \
+  case OP_NOT:       CNAME<OP_NOT>::fcn(X, Y, F, N);           break;   \
+  case OP_AND:       CNAME<OP_AND>::fcn(X, Y, F, N);           break;   \
+  case OP_OR:        CNAME<OP_OR>::fcn(X, Y, F, N);            break;   \
+  case OP_IF_ELSE_ZERO: CNAME<OP_IF_ELSE_ZERO>::fcn(X, Y, F, N); break; \
+  case OP_FLOOR:     CNAME<OP_FLOOR>::fcn(X, Y, F, N);         break;   \
+  case OP_CEIL:      CNAME<OP_CEIL>::fcn(X, Y, F, N);          break;   \
+  case OP_FMOD:      CNAME<OP_FMOD>::fcn(X, Y, F, N);          break;   \
+  case OP_REMAINDER: CNAME<OP_REMAINDER>::fcn(X, Y, F, N);     break;   \
+  case OP_FABS:      CNAME<OP_FABS>::fcn(X, Y, F, N);          break;   \
+  case OP_SIGN:      CNAME<OP_SIGN>::fcn(X, Y, F, N);          break;   \
+  case OP_COPYSIGN:  CNAME<OP_COPYSIGN>::fcn(X, Y, F, N);      break;   \
+  case OP_ERF:       CNAME<OP_ERF>::fcn(X, Y, F, N);           break;   \
+  case OP_FMIN:      CNAME<OP_FMIN>::fcn(X, Y, F, N);          break;   \
+  case OP_FMAX:      CNAME<OP_FMAX>::fcn(X, Y, F, N);          break;   \
+  case OP_INV:       CNAME<OP_INV>::fcn(X, Y, F, N);           break;   \
+  case OP_SINH:      CNAME<OP_SINH>::fcn(X, Y, F, N);          break;   \
+  case OP_COSH:      CNAME<OP_COSH>::fcn(X, Y, F, N);          break;   \
+  case OP_TANH:      CNAME<OP_TANH>::fcn(X, Y, F, N);          break;   \
+  case OP_ASINH:     CNAME<OP_ASINH>::fcn(X, Y, F, N);         break;   \
+  case OP_ACOSH:     CNAME<OP_ACOSH>::fcn(X, Y, F, N);         break;   \
+  case OP_ATANH:     CNAME<OP_ATANH>::fcn(X, Y, F, N);         break;   \
+  case OP_ATAN2:     CNAME<OP_ATAN2>::fcn(X, Y, F, N);         break;   \
+  case OP_ERFINV:    CNAME<OP_ERFINV>::fcn(X, Y, F, N);        break;   \
+  case OP_LIFT:      CNAME<OP_LIFT>::fcn(X, Y, F, N);          break;   \
+  case OP_PRINTME:   CNAME<OP_PRINTME>::fcn(X, Y, F, N);       break;   \
+  case OP_LOG1P:     CNAME<OP_LOG1P>::fcn(X, Y, F, N);       break;   \
+  case OP_EXPM1:     CNAME<OP_EXPM1>::fcn(X, Y, F, N);       break;   \
+  case OP_HYPOT:     CNAME<OP_HYPOT>::fcn(X, Y, F, N);       break;
+
+#define CASADI_MATH_FUN_BUILTIN(X, Y, F) CASADI_MATH_FUN_BUILTIN_GEN(BinaryOperationSS, X, Y, F, 1)
+
+    switch (op) {
+    CASADI_MATH_FUN_BUILTIN(x, y, f)
+      }
+  }
+
+  template<typename T>
+  inline void casadi_math<T>::fun(unsigned char op, const T* x, const T* y, T* f, casadi_int n) {
+    switch (op) {
+      CASADI_MATH_FUN_BUILTIN_GEN(BinaryOperationVV, x, y, f, n)
+        }
+  }
+
+  template<typename T>
+  inline void casadi_math<T>::fun(unsigned char op, const T* x, const T& y, T* f, casadi_int n) {
+    switch (op) {
+      CASADI_MATH_FUN_BUILTIN_GEN(BinaryOperationVS, x, y, f, n)
+        }
+  }
+
+  template<typename T>
+  inline void casadi_math<T>::fun(unsigned char op, const T& x, const T* y, T* f, casadi_int n) {
+    switch (op) {
+      CASADI_MATH_FUN_BUILTIN_GEN(BinaryOperationSV, x, y, f, n)
+        }
+  }
+
+
+  template<typename T>
+  inline void casadi_math<T>::der(unsigned char op, const T& x, const T& y, const T& f, T* d) {
+    // NOTE: We define the implementation in a preprocessor macro to be able to force inlining,
+    // and to allow extensions in the VM
+#define CASADI_MATH_DER_BUILTIN(X, Y, F, D)                             \
+    case OP_ASSIGN:    BinaryOperation<OP_ASSIGN>::der(X, Y, F, D);     break; \
+  case OP_ADD:       BinaryOperation<OP_ADD>::der(X, Y, F, D);        break; \
+  case OP_SUB:       BinaryOperation<OP_SUB>::der(X, Y, F, D);        break; \
+  case OP_MUL:       BinaryOperation<OP_MUL>::der(X, Y, F, D);        break; \
+  case OP_DIV:       BinaryOperation<OP_DIV>::der(X, Y, F, D);        break; \
+  case OP_NEG:       BinaryOperation<OP_NEG>::der(X, Y, F, D);        break; \
+  case OP_EXP:       BinaryOperation<OP_EXP>::der(X, Y, F, D);        break; \
+  case OP_LOG:       BinaryOperation<OP_LOG>::der(X, Y, F, D);        break; \
+  case OP_POW:       BinaryOperation<OP_POW>::der(X, Y, F, D);        break; \
+  case OP_CONSTPOW:  BinaryOperation<OP_CONSTPOW>::der(X, Y, F, D);   break; \
+  case OP_SQRT:      BinaryOperation<OP_SQRT>::der(X, Y, F, D);       break; \
+  case OP_SQ:        BinaryOperation<OP_SQ>::der(X, Y, F, D);         break; \
+  case OP_TWICE:     BinaryOperation<OP_TWICE>::der(X, Y, F, D);      break; \
+  case OP_SIN:       BinaryOperation<OP_SIN>::der(X, Y, F, D);        break; \
+  case OP_COS:       BinaryOperation<OP_COS>::der(X, Y, F, D);        break; \
+  case OP_TAN:       BinaryOperation<OP_TAN>::der(X, Y, F, D);        break; \
+  case OP_ASIN:      BinaryOperation<OP_ASIN>::der(X, Y, F, D);       break; \
+  case OP_ACOS:      BinaryOperation<OP_ACOS>::der(X, Y, F, D);       break; \
+  case OP_ATAN:      BinaryOperation<OP_ATAN>::der(X, Y, F, D);       break; \
+  case OP_LT:        BinaryOperation<OP_LT>::der(X, Y, F, D);         break; \
+  case OP_LE:        BinaryOperation<OP_LE>::der(X, Y, F, D);         break; \
+  case OP_EQ:        BinaryOperation<OP_EQ>::der(X, Y, F, D);         break; \
+  case OP_NE:        BinaryOperation<OP_NE>::der(X, Y, F, D);         break; \
+  case OP_NOT:       BinaryOperation<OP_NOT>::der(X, Y, F, D);        break; \
+  case OP_AND:       BinaryOperation<OP_AND>::der(X, Y, F, D);        break; \
+  case OP_OR:        BinaryOperation<OP_OR>::der(X, Y, F, D);         break; \
+  case OP_IF_ELSE_ZERO: BinaryOperation<OP_IF_ELSE_ZERO>::der(X, Y, F, D);         break; \
+  case OP_FLOOR:     BinaryOperation<OP_FLOOR>::der(X, Y, F, D);      break; \
+  case OP_CEIL:      BinaryOperation<OP_CEIL>::der(X, Y, F, D);       break; \
+  case OP_FMOD:      BinaryOperation<OP_FMOD>::der(X, Y, F, D);       break; \
+  case OP_REMAINDER: BinaryOperation<OP_REMAINDER>::der(X, Y, F, D);  break; \
+  case OP_FABS:      BinaryOperation<OP_FABS>::der(X, Y, F, D);       break; \
+  case OP_SIGN:      BinaryOperation<OP_SIGN>::der(X, Y, F, D);       break; \
+  case OP_COPYSIGN:  BinaryOperation<OP_COPYSIGN>::der(X, Y, F, D);   break; \
+  case OP_ERF:       BinaryOperation<OP_ERF>::der(X, Y, F, D);        break; \
+  case OP_FMIN:      BinaryOperation<OP_FMIN>::der(X, Y, F, D);       break; \
+  case OP_FMAX:      BinaryOperation<OP_FMAX>::der(X, Y, F, D);       break; \
+  case OP_INV:       BinaryOperation<OP_INV>::der(X, Y, F, D);        break; \
+  case OP_SINH:      BinaryOperation<OP_SINH>::der(X, Y, F, D);       break; \
+  case OP_COSH:      BinaryOperation<OP_COSH>::der(X, Y, F, D);       break; \
+  case OP_TANH:      BinaryOperation<OP_TANH>::der(X, Y, F, D);       break; \
+  case OP_ASINH:     BinaryOperation<OP_ASINH>::der(X, Y, F, D);      break; \
+  case OP_ACOSH:     BinaryOperation<OP_ACOSH>::der(X, Y, F, D);      break; \
+  case OP_ATANH:     BinaryOperation<OP_ATANH>::der(X, Y, F, D);      break; \
+  case OP_ATAN2:     BinaryOperation<OP_ATAN2>::der(X, Y, F, D);      break; \
+  case OP_ERFINV:    BinaryOperation<OP_ERFINV>::der(X, Y, F, D);     break; \
+  case OP_LIFT:      BinaryOperation<OP_LIFT>::der(X, Y, F, D);       break; \
+  case OP_PRINTME:   BinaryOperation<OP_PRINTME>::der(X, Y, F, D);    break; \
+  case OP_LOG1P:     BinaryOperation<OP_LOG1P>::der(X, Y, F, D);      break; \
+  case OP_EXPM1:     BinaryOperation<OP_EXPM1>::der(X, Y, F, D);      break; \
+  case OP_HYPOT:     BinaryOperation<OP_HYPOT>::der(X, Y, F, D);      break;
+    switch (op) {
+    CASADI_MATH_DER_BUILTIN(x, y, f, d)
+      }
+  }
+
+
+    template<typename T>
+      inline void casadi_math<T>::derF(unsigned char op, const T& x, const T& y, T& f, T* d) {
+    // NOTE: We define the implementation in a preprocessor macro to be able to force inlining,
+    // and to allow extensions in the VM
+#define CASADI_MATH_DERF_BUILTIN(X, Y, F, D)                            \
+case OP_ASSIGN:    DerBinaryOperation<OP_ASSIGN>::derf(X, Y, F, D);        break; \
+case OP_ADD:       DerBinaryOperation<OP_ADD>::derf(X, Y, F, D);        break; \
+case OP_SUB:       DerBinaryOperation<OP_SUB>::derf(X, Y, F, D);        break; \
+case OP_MUL:       DerBinaryOperation<OP_MUL>::derf(X, Y, F, D);        break; \
+case OP_DIV:       DerBinaryOperation<OP_DIV>::derf(X, Y, F, D);        break; \
+case OP_NEG:       DerBinaryOperation<OP_NEG>::derf(X, Y, F, D);        break; \
+case OP_EXP:       DerBinaryOperation<OP_EXP>::derf(X, Y, F, D);        break; \
+case OP_LOG:       DerBinaryOperation<OP_LOG>::derf(X, Y, F, D);        break; \
+case OP_POW:       DerBinaryOperation<OP_POW>::derf(X, Y, F, D);        break; \
+case OP_CONSTPOW:  DerBinaryOperation<OP_CONSTPOW>::derf(X, Y, F, D);   break; \
+case OP_SQRT:      DerBinaryOperation<OP_SQRT>::derf(X, Y, F, D);       break; \
+case OP_SQ:        DerBinaryOperation<OP_SQ>::derf(X, Y, F, D);         break; \
+case OP_TWICE:     DerBinaryOperation<OP_TWICE>::derf(X, Y, F, D);      break; \
+case OP_SIN:       DerBinaryOperation<OP_SIN>::derf(X, Y, F, D);        break; \
+case OP_COS:       DerBinaryOperation<OP_COS>::derf(X, Y, F, D);        break; \
+case OP_TAN:       DerBinaryOperation<OP_TAN>::derf(X, Y, F, D);        break; \
+case OP_ASIN:      DerBinaryOperation<OP_ASIN>::derf(X, Y, F, D);       break; \
+case OP_ACOS:      DerBinaryOperation<OP_ACOS>::derf(X, Y, F, D);       break; \
+case OP_ATAN:      DerBinaryOperation<OP_ATAN>::derf(X, Y, F, D);       break; \
+case OP_LT:        DerBinaryOperation<OP_LT>::derf(X, Y, F, D);         break; \
+case OP_LE:        DerBinaryOperation<OP_LE>::derf(X, Y, F, D);         break; \
+case OP_EQ:        DerBinaryOperation<OP_EQ>::derf(X, Y, F, D);         break; \
+case OP_NE:        DerBinaryOperation<OP_NE>::derf(X, Y, F, D);         break; \
+case OP_NOT:       DerBinaryOperation<OP_NOT>::derf(X, Y, F, D);        break; \
+case OP_AND:       DerBinaryOperation<OP_AND>::derf(X, Y, F, D);        break; \
+case OP_OR:        DerBinaryOperation<OP_OR>::derf(X, Y, F, D);         break; \
+case OP_IF_ELSE_ZERO: DerBinaryOperation<OP_IF_ELSE_ZERO>::derf(X, Y, F, D);         break; \
+case OP_FLOOR:     DerBinaryOperation<OP_FLOOR>::derf(X, Y, F, D);      break; \
+case OP_CEIL:      DerBinaryOperation<OP_CEIL>::derf(X, Y, F, D);       break; \
+case OP_FMOD:      DerBinaryOperation<OP_FMOD>::derf(X, Y, F, D);       break; \
+case OP_REMAINDER: DerBinaryOperation<OP_REMAINDER>::derf(X, Y, F, D);   break; \
+case OP_FABS:      DerBinaryOperation<OP_FABS>::derf(X, Y, F, D);       break; \
+case OP_SIGN:      DerBinaryOperation<OP_SIGN>::derf(X, Y, F, D);       break; \
+case OP_COPYSIGN:  DerBinaryOperation<OP_COPYSIGN>::derf(X, Y, F, D);   break; \
+case OP_ERF:       DerBinaryOperation<OP_ERF>::derf(X, Y, F, D);        break; \
+case OP_FMIN:      DerBinaryOperation<OP_FMIN>::derf(X, Y, F, D);       break; \
+case OP_FMAX:      DerBinaryOperation<OP_FMAX>::derf(X, Y, F, D);       break; \
+case OP_INV:       DerBinaryOperation<OP_INV>::derf(X, Y, F, D);        break; \
+case OP_SINH:      DerBinaryOperation<OP_SINH>::derf(X, Y, F, D);       break; \
+case OP_COSH:      DerBinaryOperation<OP_COSH>::derf(X, Y, F, D);       break; \
+case OP_TANH:      DerBinaryOperation<OP_TANH>::derf(X, Y, F, D);       break; \
+case OP_ASINH:     DerBinaryOperation<OP_ASINH>::derf(X, Y, F, D);      break; \
+case OP_ACOSH:     DerBinaryOperation<OP_ACOSH>::derf(X, Y, F, D);      break; \
+case OP_ATANH:     DerBinaryOperation<OP_ATANH>::derf(X, Y, F, D);      break; \
+case OP_ATAN2:     DerBinaryOperation<OP_ATAN2>::derf(X, Y, F, D);      break; \
+case OP_ERFINV:    DerBinaryOperation<OP_ERFINV>::derf(X, Y, F, D);     break; \
+case OP_LIFT:      DerBinaryOperation<OP_LIFT>::derf(X, Y, F, D);       break; \
+case OP_PRINTME:   DerBinaryOperation<OP_PRINTME>::derf(X, Y, F, D);    break; \
+case OP_LOG1P:     DerBinaryOperation<OP_LOG1P>::derf(X, Y, F, D);      break; \
+case OP_EXPM1:     DerBinaryOperation<OP_EXPM1>::derf(X, Y, F, D);      break; \
+case OP_HYPOT:     DerBinaryOperation<OP_HYPOT>::derf(X, Y, F, D);      break;
+    switch (op) {
+      CASADI_MATH_DERF_BUILTIN(x, y, f, d)
+        }
+  }
+
+  #define CASADI_MATH_BINARY_BUILTIN              \
+    case OP_ADD:                                  \
+    case OP_SUB:                                  \
+    case OP_MUL:                                  \
+    case OP_DIV:                                  \
+    case OP_POW:                                  \
+    case OP_CONSTPOW:                             \
+    case OP_LT:                                   \
+    case OP_LE:                                   \
+    case OP_EQ:                                   \
+    case OP_NE:                                   \
+    case OP_AND:                                  \
+    case OP_OR:                                   \
+    case OP_COPYSIGN:                             \
+    case OP_FMOD:                                 \
+    case OP_REMAINDER:                            \
+    case OP_FMIN:                                 \
+    case OP_FMAX:                                 \
+    case OP_ATAN2:                                \
+    case OP_PRINTME:                              \
+    case OP_LIFT:                                 \
+    case OP_HYPOT:
+
+  #define CASADI_MATH_UNARY_BUILTIN              \
+    case OP_ASSIGN:                              \
+    case OP_NEG:                                 \
+    case OP_EXP:                                 \
+    case OP_LOG:                                 \
+    case OP_SQRT:                                \
+    case OP_SQ:                                  \
+    case OP_TWICE:                               \
+    case OP_SIN:                                 \
+    case OP_COS:                                 \
+    case OP_TAN:                                 \
+    case OP_ASIN:                                \
+    case OP_ACOS:                                \
+    case OP_ATAN:                                \
+    case OP_FLOOR:                               \
+    case OP_CEIL:                                \
+    case OP_NOT:                                 \
+    case OP_ERF:                                 \
+    case OP_FABS:                                \
+    case OP_SIGN:                                \
+    case OP_INV:                                 \
+    case OP_SINH:                                \
+    case OP_COSH:                                \
+    case OP_TANH:                                \
+    case OP_ASINH:                               \
+    case OP_ACOSH:                               \
+    case OP_ATANH:                               \
+    case OP_ERFINV:                              \
+    case OP_LOG1P:                               \
+    case OP_EXPM1:
+
+  template<typename T>
+  inline void casadi_math<T>::fun_linear(unsigned char op, const T* x, const T* y, T* f) {
+    if (op==OP_ADD || op==OP_SUB) {
+      for (int i=0;i<3;++i) {
+        f[i] = T::binary(op, x[i], y[i]);
+      }
+    } else if (op==OP_TWICE || op==OP_NEG) {
+      for (int i=0;i<3;++i) {
+        f[i] = T::unary(op, x[i]);
+      }
+    } else if (op==OP_MUL) {
+      f[0] += x[0]*y[0];
+      f[1] += x[0]*y[1];
+      f[2] += x[0]*y[2];
+      f[1] += x[1]*y[0];
+      f[2] += x[1]*y[1];
+      f[2] += x[1]*y[2];
+      f[2] += x[2]*y[0];
+      f[2] += x[2]*y[1];
+      f[2] += x[2]*y[2];
+    } else if (op==OP_DIV) {
+      bool const_argy = y[1].is_zero() && y[2].is_zero();
+      if (const_argy) {
+        f[0] = x[0]/y[0];
+        f[1] = x[1]/y[0];
+        f[2] = x[2]/y[0];
+      } else {
+        f[2] = (x[0]+x[1]+x[2])/(y[0]+y[1]+y[2]);
+      }
+    } else if (casadi_math<T>::is_unary(op)) {
+      bool const_arg = x[1].is_zero() && x[2].is_zero();
+      if (const_arg) {
+        f[0] = T::unary(op, x[0]);
+      } else {
+        f[2] = T::unary(op, x[0]+x[1]+x[2]);
+      }
+
+    } else if (casadi_math<T>::is_binary(op)) {
+      bool const_argx = x[1].is_zero() && x[2].is_zero();
+      bool const_argy = y[1].is_zero() && y[2].is_zero();
+      if (const_argx && const_argy) {
+        f[0] = T::binary(op, x[0], y[0]);
+      } else {
+        f[2] = T::binary(op, x[0]+x[1]+x[2], y[0]+y[1]+y[2]);
+      }
+    } else {
+      casadi_error("Not implemented");
+    }
+  }
+
+  template<typename T>
+  bool casadi_math<T>::is_binary(unsigned char op) {
+    switch (op) {
+      CASADI_MATH_BINARY_BUILTIN
+      case OP_IF_ELSE_ZERO:
+        return true;
+      default:
+        return false;
+    }
+  }
+
+  template<typename T>
+  bool casadi_math<T>::is_unary(unsigned char op) {
+    switch (op) {
+      CASADI_MATH_UNARY_BUILTIN
+      return true;
+    default:
+      return false;
+    }
+  }
+
+  template<typename T>
+  inline casadi_int casadi_math<T>::ndeps(unsigned char op) {
+    switch (op) {
+      case OP_CONST:
+      case OP_PARAMETER:
+      case OP_INPUT:
+        return 0;
+      CASADI_MATH_BINARY_BUILTIN
+      case OP_IF_ELSE_ZERO:
+        return 2;
+      case OP_CALL:
+        return -1;
+      default:
+        return 1;
+    }
+  }
+
+  template<typename T>
+  inline std::string
+  casadi_math<T>::print(unsigned char op,
+                        const std::string& x, const std::string& y) {
+    casadi_assert_dev(ndeps(op)==2);
+    return pre(op) + x + sep(op) + y + post(op);
+  }
+
+  template<typename T>
+  inline std::string
+  casadi_math<T>::print(unsigned char op, const std::string& x) {
+    casadi_assert_dev(ndeps(op)==1);
+    return pre(op) + x + post(op);
+  }
+
+  template<typename T>
+  inline std::string casadi_math<T>::name(unsigned char op) {
+    switch (op) {
+    case OP_ASSIGN:         return "assign";
+    case OP_ADD:            return "add";
+    case OP_SUB:            return "sub";
+    case OP_MUL:            return "mul";
+    case OP_DIV:            return "div";
+    case OP_NEG:            return "neg";
+    case OP_EXP:            return "exp";
+    case OP_LOG:            return "log";
+    case OP_CONSTPOW:
+    case OP_POW:            return "pow";
+    case OP_SQRT:           return "sqrt";
+    case OP_SQ:             return "sq";
+    case OP_TWICE:          return "twice";
+    case OP_SIN:            return "sin";
+    case OP_COS:            return "cos";
+    case OP_TAN:            return "tan";
+    case OP_ASIN:           return "asin";
+    case OP_ACOS:           return "acos";
+    case OP_ATAN:           return "atan";
+    case OP_LT:             return "lt";
+    case OP_LE:             return "le";
+    case OP_EQ:             return "eq";
+    case OP_NE:             return "ne";
+    case OP_NOT:            return "not";
+    case OP_AND:            return "and";
+    case OP_OR:             return "or";
+    case OP_FLOOR:          return "floor";
+    case OP_CEIL:           return "ceil";
+    case OP_FMOD:           return "fmod";
+    case OP_REMAINDER:      return "remainder";
+    case OP_FABS:           return "fabs";
+    case OP_SIGN:           return "sign";
+    case OP_COPYSIGN:       return "copysign";
+    case OP_IF_ELSE_ZERO:   return "if_else_zero";
+    case OP_ERF:            return "erf";
+    case OP_FMIN:           return "fmin";
+    case OP_FMAX:           return "fmax";
+    case OP_INV:            return "inv";
+    case OP_SINH:           return "sinh";
+    case OP_COSH:           return "cosh";
+    case OP_TANH:           return "tanh";
+    case OP_ASINH:          return "asinh";
+    case OP_ACOSH:          return "acosh";
+    case OP_ATANH:          return "atanh";
+    case OP_ATAN2:          return "atan2";
+    case OP_CONST:          return "const";
+    case OP_INPUT:          return "input";
+    case OP_OUTPUT:         return "output";
+    case OP_PARAMETER:      return "parameter";
+    case OP_CALL:           return "call";
+    case OP_MTIMES:         return "mtimes";
+    case OP_SOLVE:          return "solve";
+    case OP_TRANSPOSE:      return "transpose";
+    case OP_DETERMINANT:    return "determinant";
+    case OP_INVERSE:        return "inverse";
+    case OP_DOT:            return "dot";
+    case OP_HORZCAT:        return "horzcat";
+    case OP_VERTCAT:        return "vertcat";
+    case OP_DIAGCAT:        return "diagcat";
+    case OP_HORZSPLIT:      return "horzsplit";
+    case OP_VERTSPLIT:      return "vertsplit";
+    case OP_DIAGSPLIT:      return "diagsplit";
+    case OP_RESHAPE:        return "reshape";
+    case OP_SPARSITY_CAST:  return "sparsity_cast";
+    case OP_SUBREF:         return "subref";
+    case OP_SUBASSIGN:      return "subassign";
+    case OP_GETNONZEROS:    return "getnonzeros";
+    case OP_GETNONZEROS_PARAM:    return "getnonzeros_param";
+    case OP_ADDNONZEROS:    return "addnonzeros";
+    case OP_ADDNONZEROS_PARAM:    return "addnonzeros_param";
+    case OP_SETNONZEROS:    return "setnonzeros";
+    case OP_SETNONZEROS_PARAM:    return "setnonzeros_param";
+    case OP_PROJECT:        return "project";
+    case OP_ASSERTION:      return "assertion";
+    case OP_NORM2:          return "norm2";
+    case OP_NORM1:          return "norm1";
+    case OP_NORMINF:        return "norminf";
+    case OP_NORMF:          return "normf";
+    case OP_ERFINV:         return "erfinv";
+    case OP_PRINTME:        return "printme";
+    case OP_LIFT:           return "lift";
+    case OP_EINSTEIN:       return "einstein";
+    case OP_BSPLINE:        return "bspline";
+    case OP_CONVEXIFY:      return "convexify";
+    case OP_LOG1P:          return "log1p";
+    case OP_EXPM1:          return "expm1";
+    case OP_HYPOT:          return "hypot";
+    case OP_LOGSUMEXP:      return "logsumexp";
+    }
+    return "<invalid-op>";
+  }
+
+  template<typename T>
+  inline std::string casadi_math<T>::pre(unsigned char op) {
+    switch (op) {
+    case OP_ASSIGN:    return "";
+    case OP_ADD:       return "(";
+    case OP_SUB:       return "(";
+    case OP_MUL:       return "(";
+    case OP_DIV:       return "(";
+    case OP_NEG:       return "(-";
+    case OP_TWICE:     return "(2.*";
+    case OP_LT:        return "(";
+    case OP_LE:        return "(";
+    case OP_EQ:        return "(";
+    case OP_NE:        return "(";
+    case OP_NOT:       return "(!";
+    case OP_AND:       return "(";
+    case OP_OR:        return "(";
+    case OP_IF_ELSE_ZERO: return "(";
+    case OP_INV:       return "(1./";
+    default: return name(op) + "(";
+    }
+  }
+
+  template<typename T>
+  inline std::string casadi_math<T>::sep(unsigned char op) {
+    switch (op) {
+    case OP_ADD:       return "+";
+    case OP_SUB:       return "-";
+    case OP_MUL:       return "*";
+    case OP_DIV:       return "/";
+    case OP_LT:        return "<";
+    case OP_LE:        return "<=";
+    case OP_EQ:        return "==";
+    case OP_NE:        return "!=";
+    case OP_AND:       return "&&";
+    case OP_OR:        return "||";
+    case OP_IF_ELSE_ZERO: return "?";
+    default:           return ",";
+    }
+  }
+
+  template<typename T>
+  inline std::string casadi_math<T>::post(unsigned char op) {
+    switch (op) {
+    case OP_ASSIGN:       return "";
+    case OP_IF_ELSE_ZERO: return ":0)";
+    default:              return ")";
+    }
+  }
+
+#endif // SWIG
+
+} // namespace casadi
+
+/// \endcond
+
+#endif // CASADI_CALCULUS_HPP