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