Add Add coth Add x0 x0 Mul x4 Pow x0 Mul 4 Pow pi x0 x0 
Add Add Mul Mul -1 Pow csch Add x0 x0 2 2 Mul x4 Mul Pow x0 Add Mul 4 Pow pi x0 -1 Add Mul 4 Pow pi x0 Mul Mul x0 log x0 Mul 4 Mul Pow pi Add x0 -1 Mul pi log pi 1 