Pow csch sqrt Mul x0 4 x0 
Mul Pow csch sqrt Mul x0 4 Add x0 -1 Add Mul x0 Mul Mul Mul -1 coth sqrt Mul x0 4 csch sqrt Mul x0 4 Mul Pow Mul 2 sqrt Mul x0 4 -1 4 Mul csch sqrt Mul x0 4 log csch sqrt Mul x0 4 