Pow x2 Pow Pow x0 log x7 Pow pi Pow x6 acoth x0 
Mul Pow x2 Add Pow Pow x0 log x7 Pow pi Pow x6 acoth x0 -1 Mul Mul x2 log x2 Mul Pow Pow x0 log x7 Add Pow pi Pow x6 acoth x0 -1 Add Mul Pow pi Pow x6 acoth x0 Mul Pow x0 Add log x7 -1 log x7 Mul Mul Pow x0 log x7 log Pow x0 log x7 Mul Pow pi Add Pow x6 acoth x0 -1 Mul Mul pi log pi Mul Pow x6 Add acoth x0 -1 Mul Mul x6 log x6 Pow Add 1 Mul -1 Mul x0 x0 -1 