Pow acoth Mul Mul x0 -3 Mul sqrt Pow x0 Pow Pow x7 Mul x0 Pow x6 acoth x0 Mul x0 acot x7 -3 -4 
Mul Pow acoth Mul Mul x0 -3 Mul sqrt Pow x0 Pow Pow x7 Mul x0 Pow x6 acoth x0 Mul x0 acot x7 -3 5 Mul -4 Mul Add Mul Mul sqrt Pow x0 Pow Pow x7 Mul x0 Pow x6 acoth x0 Mul x0 acot x7 -3 -3 Mul Mul x0 -3 Mul -3 Mul Pow Mul 2 sqrt Pow x0 Pow Pow x7 Mul x0 Pow x6 acoth x0 Mul x0 acot x7 -1 Mul Pow x0 Add Pow Pow x7 Mul x0 Pow x6 acoth x0 Mul x0 acot x7 -1 Add Pow Pow x7 Mul x0 Pow x6 acoth x0 Mul x0 acot x7 Mul Mul x0 log x0 Mul Pow Pow x7 Mul x0 Pow x6 acoth x0 Add Mul x0 acot x7 -1 Add Mul Mul x0 acot x7 Mul Pow x7 Add Mul x0 Pow x6 acoth x0 -1 Mul Mul x7 log x7 Add Pow x6 acoth x0 Mul x0 Mul Pow x6 Add acoth x0 -1 Mul Mul x6 log x6 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow x7 Mul x0 Pow x6 acoth x0 log Pow x7 Mul x0 Pow x6 acoth x0 acot x7 Pow Add 1 Mul -1 Mul Mul Mul x0 -3 Mul sqrt Pow x0 Pow Pow x7 Mul x0 Pow x6 acoth x0 Mul x0 acot x7 -3 Mul Mul x0 -3 Mul sqrt Pow x0 Pow Pow x7 Mul x0 Pow x6 acoth x0 Mul x0 acot x7 -3 -1 