I've posted a worksheet and some code for simplification with side relations. What makes this code interesting is that it properly handles rational expressions, using an algorithm is from my M.Sc. thesis. You can download the code from the Maple Application Center here, or from my personal webpage here. The code requires Maple 10.