acoth Pow Pow sqrt Mul x6 cosh x0 3 x4 
Mul Mul Pow Pow sqrt Mul x6 cosh x0 3 Add x4 -1 Mul x4 Mul Pow sqrt Mul x6 cosh x0 2 Mul 3 Mul Pow Mul 2 sqrt Mul x6 cosh x0 -1 Mul x6 sinh x0 Pow Add 1 Mul -1 Mul Pow Pow sqrt Mul x6 cosh x0 3 x4 Pow Pow sqrt Mul x6 cosh x0 3 x4 -1 