Pow Mul Mul acot x0 acoth Mul -4 x6 x0 cot Add x0 atan x0 
Mul Pow Mul Mul acot x0 acoth Mul -4 x6 x0 Add cot Add x0 atan x0 -1 Add Mul cot Add x0 atan x0 Add Mul x0 Mul acoth Mul -4 x6 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 acoth Mul -4 x6 Mul Mul Mul Mul acot x0 acoth Mul -4 x6 x0 log Mul Mul acot x0 acoth Mul -4 x6 x0 Mul Mul -1 Pow csc Add x0 atan x0 2 Add 1 Pow Add 1 Mul x0 x0 -1 