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