IMHO, the simplest solution is to divide your last result by result you proving, by entering after your last command: %/(f(t,S)*r) And then simplifing it by: ratsimp(%) You will see: 1 I hope this helps