Add Mul x0 Mul tanh coth x0 atanh Pow acot x1 Add x0 x0 2 
Add Mul tanh coth x0 atanh Pow acot x1 Add x0 x0 Mul x0 Add Mul atanh Pow acot x1 Add x0 x0 Mul Pow sech coth x0 2 Mul -1 Pow csch x0 2 Mul tanh coth x0 Mul Mul Pow acot x1 Add Add x0 x0 -1 Mul Mul acot x1 log acot x1 2 Pow Add 1 Mul -1 Mul Pow acot x1 Add x0 x0 Pow acot x1 Add x0 x0 -1 