Does your code load "unwind_protect"? Have you tried tracing forget? Maybe you could post an example. --Barton -----maxima-bounces at math.utexas.edu wrote: ----- >I have created a simplifying function iif(). The code is below. For some >reason if I use simp_assuming() instead of my >own concoction it does not work right.