make simplifier handle beta and pi expansion directly.
make simplifier handle beta and pi expansion directly.

darcs-hash:60922e53918a385445cf612f28bd55f0717eef6c

dpwright/jhc,dpwright/jhc,dpwright/jhc,dpwright/jhc