Add x0 Pow Mul pi acsch atanh Add x0 pi Add Mul exp x3 Mul E csch x5 x0 
Add 1 Mul Pow Mul pi acsch atanh Add x0 pi Add Add Mul exp x3 Mul E csch x5 x0 -1 Add Mul Add Mul exp x3 Mul E csch x5 x0 Mul pi Mul Mul -1 Pow Add 1 Mul -1 Mul Add x0 pi Add x0 pi -1 Pow Mul Mul atanh Add x0 pi atanh Add x0 pi sqrt Add 1 Mul -1 Pow Mul atanh Add x0 pi atanh Add x0 pi -1 -1 Mul Mul pi acsch atanh Add x0 pi log Mul pi acsch atanh Add x0 pi 