Graphical presentation of formulas

 

In Mathematica

For comparison with other CAS choose from: Axiom Derive Macsyma Maple Reduce