Mul Pow Add csch x0 x0 Add 2 x0 Add Mul Mul x1 pi x2 asech Add x2 -4 
Mul Add Mul Mul x1 pi x2 asech Add x2 -4 Mul Pow Add csch x0 x0 Add Add 2 x0 -1 Add Mul Add 2 x0 Add Mul Mul -1 coth x0 csch x0 1 Mul Add csch x0 x0 log Add csch x0 x0 