http://www.cc.kyoto-su.ac.jp/~mtkg/lecture/comp_A/2014/14.html partfrac(), ratsimp() (%i4) partfrac(x/(x+1), x); 1 (%o4) 1 - ----- x + 1 (%i5) ratsimp(%); x (%o5) ----- x + 1