public static Expr Simplify(this Expr expr, MathematicaInterface casInterface) { return(expr.AtomQ() ? expr : casInterface[Mfs.Simplify[expr]]); }