ptexpr: partfrac(texpr,x) => (x+4/(x-1)-3)/8 NO!
This is algebraically correct, but not in partfrac form.
The correct answer is given by:
The immediate fix is to replace
(DESETQ (RATFORM . EXP) (TAYCHK2RAT EXP))
(DESETQ (RATFORM . EXP) (RATF (TAYCHK2RAT EXP)))
however, I wonder if TAYCHK2RAT shouldn't be doing
ratnumer(taylor(x+1/x,x,0,1)) => x+1/x ???