How would one find the way to put arccot(x) into the calculator. on the internet i was able to determine that there is a piecewise form and also a more simple form of

i don't see how either was gotten reallyother than the piecewise part for positive xs being arctan(1/x) which can be found similarly to how arcsec and arccsc are found.