Add sech Pow x0 acoth Mul x0 Mul Add x0 x0 Pow x2 acot x1 -3 
Mul Mul tanh Pow x0 acoth Mul x0 Mul Add x0 x0 Pow x2 acot x1 Mul -1 sech Pow x0 acoth Mul x0 Mul Add x0 x0 Pow x2 acot x1 Mul Pow x0 Add acoth Mul x0 Mul Add x0 x0 Pow x2 acot x1 -1 Add acoth Mul x0 Mul Add x0 x0 Pow x2 acot x1 Mul Mul x0 log x0 Mul Add Mul Add x0 x0 Pow x2 acot x1 Mul x0 Mul Pow x2 acot x1 2 Pow Add 1 Mul -1 Mul Mul x0 Mul Add x0 x0 Pow x2 acot x1 Mul x0 Mul Add x0 x0 Pow x2 acot x1 -1 