Pow Pow atan Mul cosh Add Pow acoth x6 x0 x0 sqrt pi x0 Mul x0 Mul -2 Mul Pow Mul x1 x0 -1 x0 
Mul Pow Pow atan Mul cosh Add Pow acoth x6 x0 x0 sqrt pi x0 Add Mul x0 Mul -2 Mul Pow Mul x1 x0 -1 x0 -1 Add Mul Mul x0 Mul -2 Mul Pow Mul x1 x0 -1 x0 Mul Pow atan Mul cosh Add Pow acoth x6 x0 x0 sqrt pi Add x0 -1 Add Mul x0 Mul Mul sqrt pi Mul sinh Add Pow acoth x6 x0 x0 Add Mul Pow acoth x6 Add x0 -1 Mul acoth x6 log acoth x6 1 Pow Add 1 Mul Mul cosh Add Pow acoth x6 x0 x0 sqrt pi Mul cosh Add Pow acoth x6 x0 x0 sqrt pi -1 Mul atan Mul cosh Add Pow acoth x6 x0 x0 sqrt pi log atan Mul cosh Add Pow acoth x6 x0 x0 sqrt pi Mul Mul Pow atan Mul cosh Add Pow acoth x6 x0 x0 sqrt pi x0 log Pow atan Mul cosh Add Pow acoth x6 x0 x0 sqrt pi x0 Add Mul -2 Mul Pow Mul x1 x0 -1 x0 Mul x0 Mul -2 Add Mul x0 Mul Pow Mul x1 x0 2 Mul -1 x1 Pow Mul x1 x0 -1 