Mul acos Pow Mul -2 Mul Pow acot x2 x0 x0 x7 coth x0 
Add Mul coth x0 Mul -1 Mul Mul Pow Mul -2 Mul Pow acot x2 x0 x0 Add x7 -1 Mul x7 Mul -2 Add Mul x0 Mul Pow acot x2 Add x0 -1 Mul acot x2 log acot x2 Pow acot x2 x0 Pow sqrt Add 1 Mul -1 Mul Pow Mul -2 Mul Pow acot x2 x0 x0 x7 Pow Mul -2 Mul Pow acot x2 x0 x0 x7 -1 Mul acos Pow Mul -2 Mul Pow acot x2 x0 x0 x7 Mul -1 Pow csch x0 2 