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