Equivalent Expressions Using CAS and Paper-and-Pencil Techniques