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