atan Pow Pow Pow Mul Add acsc x3 1 x0 csch x0 Mul x0 Mul E x0 Add x0 pi 
Mul Mul Pow Pow Pow Mul Add acsc x3 1 x0 csch x0 Mul x0 Mul E x0 Add Add x0 pi -1 Add Mul Add x0 pi Mul Pow Pow Mul Add acsc x3 1 x0 csch x0 Add Mul x0 Mul E x0 -1 Add Mul Mul x0 Mul E x0 Mul Pow Mul Add acsc x3 1 x0 Add csch x0 -1 Add Mul csch x0 Add acsc x3 1 Mul Mul Mul Add acsc x3 1 x0 log Mul Add acsc x3 1 x0 Mul Mul -1 coth x0 csch x0 Mul Mul Pow Mul Add acsc x3 1 x0 csch x0 log Pow Mul Add acsc x3 1 x0 csch x0 Add Mul E x0 Mul x0 E Mul Pow Pow Mul Add acsc x3 1 x0 csch x0 Mul x0 Mul E x0 log Pow Pow Mul Add acsc x3 1 x0 csch x0 Mul x0 Mul E x0 Pow Add 1 Mul Pow Pow Pow Mul Add acsc x3 1 x0 csch x0 Mul x0 Mul E x0 Add x0 pi Pow Pow Pow Mul Add acsc x3 1 x0 csch x0 Mul x0 Mul E x0 Add x0 pi -1 