Add Pow Pow Mul x0 Mul atan x3 x4 pi Add x0 csch x6 4 
Mul Pow Pow Mul x0 Mul atan x3 x4 pi Add Add x0 csch x6 -1 Add Mul Add x0 csch x6 Mul Pow Mul x0 Mul atan x3 x4 Add pi -1 Mul pi Mul atan x3 x4 Mul Pow Mul x0 Mul atan x3 x4 pi log Pow Mul x0 Mul atan x3 x4 pi 