Mul Mul Mul x5 asech Mul x1 4 Add x1 x0 csch Pow x0 pi 
Add Mul csch Pow x0 pi Mul x5 asech Mul x1 4 Mul Mul Mul x5 asech Mul x1 4 Add x1 x0 Mul Mul Mul -1 coth Pow x0 pi csch Pow x0 pi Mul Pow x0 Add pi -1 pi 