acot Pow Add Mul x0 Mul acos sinh pi atanh x0 tanh x0 Pow x2 x0 
Mul -1 Mul Mul Pow Add Mul x0 Mul acos sinh pi atanh x0 tanh x0 Add Pow x2 x0 -1 Add Mul Pow x2 x0 Add Add Mul acos sinh pi atanh x0 Mul x0 Mul acos sinh pi Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sech x0 2 Mul Mul Add Mul x0 Mul acos sinh pi atanh x0 tanh x0 log Add Mul x0 Mul acos sinh pi atanh x0 tanh x0 Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Add 1 Mul Pow Add Mul x0 Mul acos sinh pi atanh x0 tanh x0 Pow x2 x0 Pow Add Mul x0 Mul acos sinh pi atanh x0 tanh x0 Pow x2 x0 -1 