theorem :: SIN_COS9:79

dom arctan is open