Issue #3581:Implement arg.rewrite(atan2)