Pow x0 Add acoth acsch sqrt Pow cosh x0 x3 x6 
Mul Pow x0 Add Add acoth acsch sqrt Pow cosh x0 x3 x6 -1 Add Add acoth acsch sqrt Pow cosh x0 x3 x6 Mul Mul x0 log x0 Mul Mul Mul -1 Mul Pow Mul 2 sqrt Pow cosh x0 x3 -1 Mul Pow cosh x0 Add x3 -1 Mul x3 sinh x0 Pow Mul Mul sqrt Pow cosh x0 x3 sqrt Pow cosh x0 x3 sqrt Add 1 Mul -1 Pow Mul sqrt Pow cosh x0 x3 sqrt Pow cosh x0 x3 -1 -1 Pow Add 1 Mul -1 Mul acsch sqrt Pow cosh x0 x3 acsch sqrt Pow cosh x0 x3 -1 