Startup configuration
Arithmetic and other operations on numbers
Calculus and elementary functions
Special functions
Linear Algebra
Polynomials
List operations
Functional operators
Control flow functions
Predicates
Propositional logic theorem prover
Constants
Variables
Input/Output
String manipulation
Platform-dependent packages