Pow x0 Add E Pow coth Mul Add Mul x0 asin x0 Add x1 x0 pi acoth E 
Mul Pow x0 Add Add E Pow coth Mul Add Mul x0 asin x0 Add x1 x0 pi acoth E -1 Add Add E Pow coth Mul Add Mul x0 asin x0 Add x1 x0 pi acoth E Mul Mul x0 log x0 Mul Pow coth Mul Add Mul x0 asin x0 Add x1 x0 pi Add acoth E -1 Mul acoth E Mul Mul -1 Pow csch Mul Add Mul x0 asin x0 Add x1 x0 pi 2 Mul pi Add Add asin x0 Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 