arccos | [.(- 1),1.] is decreasing