Fully simplifiying Exp function



Sorry, but the complete $exp function would be of course:

 (defun $exp (x)
  (simplify (list '(%exp) (resimplify x))))

Dieter Kaiser