Mul x0 Pow Pow Mul x0 Pow x0 acoth sinh x0 -3 acosh x5 
Add Pow Pow Mul x0 Pow x0 acoth sinh x0 -3 acosh x5 Mul x0 Mul Pow Pow Mul x0 Pow x0 acoth sinh x0 -3 Add acosh x5 -1 Mul acosh x5 Mul Pow Mul x0 Pow x0 acoth sinh x0 4 Mul -3 Add Pow x0 acoth sinh x0 Mul x0 Mul Pow x0 Add acoth sinh x0 -1 Add acoth sinh x0 Mul Mul x0 log x0 Mul cosh x0 Pow Add 1 Mul -1 Mul sinh x0 sinh x0 -1 