| 1 | initial version |
SInce there are sqrt's in your expression, you may try canonicalize_radical():
sage: f
(a, b, r) |--> (a^2 + b^2 - sqrt(a^2 + b^2 - r^2)*sqrt(a^2 + b^2)*sqrt((a^2 + b^2 - r^2)/(a^2 + b^2)))/(a - I*b)
sage: f.canonicalize_radical()
(a, b, r) |--> r^2/(a - I*b)
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.