Graphical presentation of formulas

 

In Maple

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