Formula generator in place; __str__ gives standard formula presenation, whereas __repr__ is a lisp function style. No 'optimization' in place as yet.