acsch Mul tanh x0 Mul acot x1 pi 
Mul Mul -1 Mul Mul acot x1 pi Pow sech x0 2 Pow Mul Mul Mul tanh x0 Mul acot x1 pi Mul tanh x0 Mul acot x1 pi sqrt Add 1 Mul -1 Pow Mul Mul tanh x0 Mul acot x1 pi Mul tanh x0 Mul acot x1 pi -1 -1 