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