Add x0 Mul coth Pow acot Add Add x0 1 -2 Mul x4 x0 Add x0 x0 
Add 1 Add Mul Add x0 x0 Mul Mul -1 Pow csch Pow acot Add Add x0 1 -2 Mul x4 x0 2 Mul Pow acot Add Add x0 1 -2 Add Mul x4 x0 -1 Add Mul Mul x4 x0 Mul -1 Pow Add 1 Mul Add Add x0 1 -2 Add Add x0 1 -2 -1 Mul Mul acot Add Add x0 1 -2 log acot Add Add x0 1 -2 x4 Mul coth Pow acot Add Add x0 1 -2 Mul x4 x0 2 