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