Pow Add acoth x0 Add x0 sqrt Pow x0 Pow x2 -3 Add log Mul Add cosh tanh x5 x2 x7 x5 
Mul Pow Add acoth x0 Add x0 sqrt Pow x0 Pow x2 -3 Add Add log Mul Add cosh tanh x5 x2 x7 x5 -1 Mul Add log Mul Add cosh tanh x5 x2 x7 x5 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Add 1 Mul Pow Mul 2 sqrt Pow x0 Pow x2 -3 -1 Mul Pow x0 Add Pow x2 -3 -1 Pow x2 -3 