Pow Mul acsch Mul cosh x0 x5 log x0 pi 
Mul Pow Mul acsch Mul cosh x0 x5 log x0 Add pi -1 Mul pi Add Mul log x0 Mul Mul -1 Mul x5 sinh x0 Pow Mul Mul Mul cosh x0 x5 Mul cosh x0 x5 sqrt Add 1 Mul -1 Pow Mul Mul cosh x0 x5 Mul cosh x0 x5 -1 -1 Mul acsch Mul cosh x0 x5 Pow x0 -1 