Mul acot x0 Pow sech x3 Pow Add Add x1 coth x0 x2 atan x2 
Add Mul Pow sech x3 Pow Add Add x1 coth x0 x2 atan x2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow sech x3 Add Pow Add Add x1 coth x0 x2 atan x2 -1 Mul Mul sech x3 log sech x3 Mul Pow Add Add x1 coth x0 x2 Add atan x2 -1 Mul atan x2 Mul -1 Pow csch x0 2 