I tested this portion of the code directly in the shell and it seemed to work, but when I call simplify(expr), fibsimp() is never executed. I have no idea why.