Pow Pow Mul Mul Add Mul x0 x0 x0 Add -4 Pow x0 acoth x3 Mul 3 Mul x0 -2 x0 cosh x6 
Mul Pow Pow Mul Mul Add Mul x0 x0 x0 Add -4 Pow x0 acoth x3 Mul 3 Mul x0 -2 x0 Add cosh x6 -1 Mul cosh x6 Mul Pow Mul Mul Add Mul x0 x0 x0 Add -4 Pow x0 acoth x3 Mul 3 Mul x0 -2 Add x0 -1 Add Mul x0 Add Mul Mul 3 Mul x0 -2 Add Mul Add -4 Pow x0 acoth x3 Add Add x0 x0 1 Mul Add Mul x0 x0 x0 Mul Pow x0 Add acoth x3 -1 acoth x3 Mul Add Mul x0 x0 x0 Add -4 Pow x0 acoth x3 Mul Mul Mul Add Mul x0 x0 x0 Add -4 Pow x0 acoth x3 Mul 3 Mul x0 -2 log Mul Mul Add Mul x0 x0 x0 Add -4 Pow x0 acoth x3 Mul 3 Mul x0 -2 