acoth Mul exp Add Mul Mul E x0 x0 Mul Pow x0 x0 acsch pi x0 
Mul Add Mul x0 Mul exp Add Mul Mul E x0 x0 Mul Pow x0 x0 acsch pi Add Add Mul x0 E Mul E x0 Mul acsch pi Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 exp Add Mul Mul E x0 x0 Mul Pow x0 x0 acsch pi Pow Add 1 Mul -1 Mul Mul exp Add Mul Mul E x0 x0 Mul Pow x0 x0 acsch pi x0 Mul exp Add Mul Mul E x0 x0 Mul Pow x0 x0 acsch pi x0 -1 