Mul coth acsch Mul Mul x0 x0 pi x3 
Mul x3 Mul Mul -1 Pow csch acsch Mul Mul x0 x0 pi 2 Mul Mul -1 Mul pi Add x0 x0 Pow Mul Mul Mul Mul x0 x0 pi Mul Mul x0 x0 pi sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x0 pi Mul Mul x0 x0 pi -1 -1 