Symbolic Math Toolbox is a Home & Education software developed by The MathWorks, Inc.. After our trial and test, the software is proved to be official, secure and free. Here is the official description for Symbolic Math Toolbox:

Marydown Editor: Symbolic Math Toolbox provides tools for solving and manipulating symbolic math expressions and performing variable-precision arithmetic. The toolbox contains hundreds of MATLAB symbolic functions that Leverage the MuPAD engine for tasks such as differentiation, integration, simplification, transforms, and Equation solving.

Symbolic Math Toolbox also includes the MuPAD language, which is optimized for handling and operating on symbolic math expressions. It provides libraries of MuPAD functions in common mathematical areas, such as Calculus and Linear Algebra, as well as specialized areas, such as number theory and combinatorics. You can extend the built-in functionality by writing custom symbolic functions and libraries in the MuPAD language. All functions can be accessed from the MATLAB command line or from the MuPAD NoteBook interface, where you can manage and document your symbolic computations.

Key Features
MATLAB symbolic functions for differentiation, integration, simplification, transforms, and equation solving
Variable-precision arithmetic capabilities
MuPAD language for operating on symbolic math expressions
MuPAD libraries covering common mathematical areas, such as calculus and linear algebra, and specialized areas, such as number theory and combinatorics
Functions for converting symbolic expressions to MATLAB, C, Fortran, MathML, and TeX
MuPAD notebook interface with embedded text, graphics, and typeset math for documenting and managing computations performed with the MuPAD language
MuPAD editor and debugger for writing custom symbolic functions and libraries