Pow x4 coth asech Pow Mul x0 E pi 
Mul Pow x4 Add coth asech Pow Mul x0 E pi -1 Mul Mul x4 log x4 Mul Mul -1 Pow csch asech Pow Mul x0 E pi 2 Mul Mul Pow Mul x0 E Add pi -1 Mul pi E Pow Mul Mul Pow Mul x0 E pi Pow Mul x0 E pi sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 E pi Pow Mul x0 E pi -1 -1 