docs: public static BigDecimal acot(BigDecimal x, MathContext mathContext) {
  		checkMathContext(mathContext);
  		MathContext mc = new MathContext(mathContext.getPrecision() + 4, mathContext.getRoundingMode());
  		BigDecimal result = pi(mc).divide(TWO, mc).subtract(atan(x, mc), mc);
  		return round(result, mathContext);
  	}