acot Mul Pow Add acoth x0 Add x0 2 sin x0 asech pi 
Mul -1 Mul Mul asech pi Mul Pow Add acoth x0 Add x0 2 Add sin x0 -1 Add Mul sin x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Mul Add acoth x0 Add x0 2 log Add acoth x0 Add x0 2 cos x0 Pow Add 1 Mul Mul Pow Add acoth x0 Add x0 2 sin x0 asech pi Mul Pow Add acoth x0 Add x0 2 sin x0 asech pi -1 