exp coth Add x0 Add x7 Add -3 Mul Mul x7 Add Pow pi x0 Mul atan Add x0 x4 x0 -4 
Mul exp coth Add x0 Add x7 Add -3 Mul Mul x7 Add Pow pi x0 Mul atan Add x0 x4 x0 -4 Mul Mul -1 Pow csch Add x0 Add x7 Add -3 Mul Mul x7 Add Pow pi x0 Mul atan Add x0 x4 x0 -4 2 Add 1 Mul -4 Mul x7 Add Mul Pow pi Add x0 -1 Mul pi log pi Add Mul x0 Pow Add 1 Mul Add x0 x4 Add x0 x4 -1 atan Add x0 x4 