Add Pow Pow coth cot E Add acot x0 sqrt x0 4 sqrt x0 
Add Mul Pow Pow coth cot E Add acot x0 sqrt x0 3 Mul 4 Mul Pow coth cot E Add Add acot x0 sqrt x0 -1 Mul Mul coth cot E log coth cot E Add Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul 2 sqrt x0 -1 Pow Mul 2 sqrt x0 -1 