Create example3.py

Example using formal expressions.