Add Mul Pow log x0 acoth x0 Pow Pow x0 sech acot Mul x5 x6 x7 -2 
Add Mul Pow Pow x0 sech acot Mul x5 x6 x7 Mul Pow log x0 Add acoth x0 -1 Add Mul acoth x0 Pow x0 -1 Mul Mul log x0 log log x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow log x0 acoth x0 Mul Pow Pow x0 sech acot Mul x5 x6 Add x7 -1 Mul x7 Mul Pow x0 Add sech acot Mul x5 x6 -1 sech acot Mul x5 x6 