Add x0 Add Pow pi x0 Mul Pow Pow Pow x0 pi acot x0 Mul 2 x0 tanh Add Add Pow x0 x7 sec E coth x0 
Add 1 Add Mul Pow pi Add x0 -1 Mul pi log pi Add Mul tanh Add Add Pow x0 x7 sec E coth x0 Mul Pow Pow Pow x0 pi acot x0 Add Mul 2 x0 -1 Add Mul Mul 2 x0 Mul Pow Pow x0 pi Add acot x0 -1 Add Mul acot x0 Mul Pow x0 Add pi -1 pi Mul Mul Pow x0 pi log Pow x0 pi Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow Pow x0 pi acot x0 log Pow Pow x0 pi acot x0 2 Mul Pow Pow Pow x0 pi acot x0 Mul 2 x0 Mul Pow sech Add Add Pow x0 x7 sec E coth x0 2 Add Mul Pow x0 Add x7 -1 x7 Mul -1 Pow csch x0 2 