# inversecos(x) is acos(x); inversecos(x_):=acos(x); #inversecos(y_,x_):=acos(y,x);