Mul Pow x0 x7 Mul Pow acoth x0 acos Pow x0 sinh x0 x0 
Add Mul Mul Pow acoth x0 acos Pow x0 sinh x0 x0 Mul Pow x0 Add x7 -1 x7 Mul Pow x0 x7 Add Mul x0 Mul Pow acoth x0 Add acos Pow x0 sinh x0 -1 Add Mul acos Pow x0 sinh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Mul -1 Mul Mul Pow x0 Add sinh x0 -1 Add sinh x0 Mul Mul x0 log x0 cosh x0 Pow sqrt Add 1 Mul -1 Mul Pow x0 sinh x0 Pow x0 sinh x0 -1 Pow acoth x0 acos Pow x0 sinh x0 