# inversecos(x) is acos(x);

inversecos(x_):=acos(x);