Pow log x7 Pow x0 acoth Mul -3 Pow x0 -1 
Mul Pow log x7 Add Pow x0 acoth Mul -3 Pow x0 -1 -1 Mul Mul log x7 log log x7 Mul Pow x0 Add acoth Mul -3 Pow x0 -1 -1 Add acoth Mul -3 Pow x0 -1 Mul Mul x0 log x0 Mul Mul -3 Mul Pow x0 2 -1 Pow Add 1 Mul -1 Mul Mul -3 Pow x0 -1 Mul -3 Pow x0 -1 -1 