arccos(-a)