Add Mul x0 Add cosh x5 2 Mul x0 Pow x3 Pow Pow x7 9 Mul x0 acoth x6 
Add Add cosh x5 2 Add Pow x3 Pow Pow x7 9 Mul x0 acoth x6 Mul x0 Mul Pow x3 Add Pow Pow x7 9 Mul x0 acoth x6 -1 Mul Mul x3 log x3 Mul Pow Pow x7 9 Add Mul x0 acoth x6 -1 Mul Mul Pow x7 9 log Pow x7 9 acoth x6 