Add Pow acot x0 x4 acsch Mul cosh x0 pi 
Add Mul Pow acot x0 Add x4 -1 Mul x4 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul -1 Mul pi sinh x0 Pow Mul Mul Mul cosh x0 pi Mul cosh x0 pi sqrt Add 1 Mul -1 Pow Mul Mul cosh x0 pi Mul cosh x0 pi -1 -1 