Mul Pow sqrt x0 atan Pow cosh x0 x2 acot Pow Add Pow acsch pi 5 3 -1 
Mul acot Pow Add Pow acsch pi 5 3 -1 Mul Pow sqrt x0 Add atan Pow cosh x0 x2 -1 Add Mul atan Pow cosh x0 x2 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul Mul Pow cosh x0 Add x2 -1 Mul x2 sinh x0 Pow Add 1 Mul Pow cosh x0 x2 Pow cosh x0 x2 -1 