dom arccos = [.(- 1),1.] by COMPTRIG:32, FUNCT_1:33;