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