Add Add acot x0 x0 Mul coth Add x0 Mul Add 0.500000000000000 x7 x0 pi 
Add Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 Mul pi Mul Mul -1 Pow csch Add x0 Mul Add 0.500000000000000 x7 x0 2 Add 1 Add 0.500000000000000 x7 