pub fn is_unit_complex_form(expr: &Expression) -> bool
Check if an expression is a unit complex number (|z| = 1)