atan Add Pow Mul x5 x5 Mul x1 Mul Pow Mul x0 Add x0 pi x0 x5 Mul csch Add x0 atan x0 x0 
Mul Add Mul Pow Mul x5 x5 Add Mul x1 Mul Pow Mul x0 Add x0 pi x0 x5 -1 Mul Mul Mul x5 x5 log Mul x5 x5 Mul x1 Mul x5 Mul Pow Mul x0 Add x0 pi Add x0 -1 Add Mul x0 Add Add x0 pi x0 Mul Mul x0 Add x0 pi log Mul x0 Add x0 pi Add Mul x0 Mul Mul Mul -1 coth Add x0 atan x0 csch Add x0 atan x0 Add 1 Pow Add 1 Mul x0 x0 -1 csch Add x0 atan x0 Pow Add 1 Mul Add Pow Mul x5 x5 Mul x1 Mul Pow Mul x0 Add x0 pi x0 x5 Mul csch Add x0 atan x0 x0 Add Pow Mul x5 x5 Mul x1 Mul Pow Mul x0 Add x0 pi x0 x5 Mul csch Add x0 atan x0 x0 -1 