Pow x0 Add Add csch x0 Pow Mul acot E x0 2 0.141592653589793 
Mul Pow x0 Add Add Add csch x0 Pow Mul acot E x0 2 0.141592653589793 -1 Add Add Add csch x0 Pow Mul acot E x0 2 0.141592653589793 Mul Mul x0 log x0 Add Mul Mul -1 coth x0 csch x0 Mul Mul acot E x0 Mul 2 acot E 