Pow acoth x4 Pow acot x7 Add Pow cosh Add Mul x0 x0 x0 x0 atan x0 
Mul Pow acoth x4 Add Pow acot x7 Add Pow cosh Add Mul x0 x0 x0 x0 atan x0 -1 Mul Mul acoth x4 log acoth x4 Mul Pow acot x7 Add Add Pow cosh Add Mul x0 x0 x0 x0 atan x0 -1 Mul Mul acot x7 log acot x7 Add Mul Pow cosh Add Mul x0 x0 x0 Add x0 -1 Add Mul x0 Mul sinh Add Mul x0 x0 x0 Add Add x0 x0 1 Mul cosh Add Mul x0 x0 x0 log cosh Add Mul x0 x0 x0 Pow Add 1 Mul x0 x0 -1 