acoth Pow acos acot coth x5 Pow x0 log Add x0 x0 
Mul Mul Pow acos acot coth x5 Add Pow x0 log Add x0 x0 -1 Mul Mul acos acot coth x5 log acos acot coth x5 Mul Pow x0 Add log Add x0 x0 -1 Add log Add x0 x0 Mul Mul x0 log x0 Mul 2 Pow Add x0 x0 -1 Pow Add 1 Mul -1 Mul Pow acos acot coth x5 Pow x0 log Add x0 x0 Pow acos acot coth x5 Pow x0 log Add x0 x0 -1 