csch Add Mul Mul x3 x0 Mul Add x0 x0 pi x0 
Mul Mul Mul -1 coth Add Mul Mul x3 x0 Mul Add x0 x0 pi x0 csch Add Mul Mul x3 x0 Mul Add x0 x0 pi x0 Add Add Mul Mul Add x0 x0 pi x3 Mul Mul x3 x0 Mul pi 2 1 