Pow x0 sinh Pow Pow acoth Add acoth x0 x5 atan acot x0 Add -2 log Add x0 2 
Mul Pow x0 Add sinh Pow Pow acoth Add acoth x0 x5 atan acot x0 Add -2 log Add x0 2 -1 Add sinh Pow Pow acoth Add acoth x0 x5 atan acot x0 Add -2 log Add x0 2 Mul Mul x0 log x0 Mul cosh Pow Pow acoth Add acoth x0 x5 atan acot x0 Add -2 log Add x0 2 Mul Pow Pow acoth Add acoth x0 x5 atan acot x0 Add Add -2 log Add x0 2 -1 Add Mul Add -2 log Add x0 2 Mul Pow acoth Add acoth x0 x5 Add atan acot x0 -1 Add Mul atan acot x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add acoth x0 x5 Add acoth x0 x5 -1 Mul Mul acoth Add acoth x0 x5 log acoth Add acoth x0 x5 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul acot x0 acot x0 -1 Mul Mul Pow acoth Add acoth x0 x5 atan acot x0 log Pow acoth Add acoth x0 x5 atan acot x0 Pow Add x0 2 -1 