atanh Pow acsch pi Mul Add x1 -2 x0 
Mul Mul Pow acsch pi Add Mul Add x1 -2 x0 -1 Mul Mul acsch pi log acsch pi Add x1 -2 Pow Add 1 Mul -1 Mul Pow acsch pi Mul Add x1 -2 x0 Pow acsch pi Mul Add x1 -2 x0 -1 