acot Add acot x3 Add Mul Mul Mul Mul x0 2 x7 pi csch Add Pow Pow x7 x0 x0 x2 x0 
Mul -1 Mul Add Add Mul csch Add Pow Pow x7 x0 x0 x2 Mul pi Mul x7 2 Mul Mul Mul Mul x0 2 x7 pi Mul Mul Mul -1 coth Add Pow Pow x7 x0 x0 x2 csch Add Pow Pow x7 x0 x0 x2 Mul Pow Pow x7 x0 Add x0 -1 Add Mul x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Pow x7 x0 log Pow x7 x0 1 Pow Add 1 Mul Add acot x3 Add Mul Mul Mul Mul x0 2 x7 pi csch Add Pow Pow x7 x0 x0 x2 x0 Add acot x3 Add Mul Mul Mul Mul x0 2 x7 pi csch Add Pow Pow x7 x0 x0 x2 x0 -1 