MathematicaSimple: ineval