Mul x0 Pow x0 Pow x0 Pow x0 Mul Add x5 acoth x0 Pow x6 x2 
Add Pow x0 Pow x0 Pow x0 Mul Add x5 acoth x0 Pow x6 x2 Mul x0 Mul Pow x0 Add Pow x0 Pow x0 Mul Add x5 acoth x0 Pow x6 x2 -1 Add Pow x0 Pow x0 Mul Add x5 acoth x0 Pow x6 x2 Mul Mul x0 log x0 Mul Pow x0 Add Pow x0 Mul Add x5 acoth x0 Pow x6 x2 -1 Add Pow x0 Mul Add x5 acoth x0 Pow x6 x2 Mul Mul x0 log x0 Mul Pow x0 Add Mul Add x5 acoth x0 Pow x6 x2 -1 Add Mul Add x5 acoth x0 Pow x6 x2 Mul Mul x0 log x0 Mul Pow x6 x2 Pow Add 1 Mul -1 Mul x0 x0 -1 