Pow x0 sqrt acoth Pow Add x0 x3 x2 
Mul Pow x0 Add sqrt acoth Pow Add x0 x3 x2 -1 Add sqrt acoth Pow Add x0 x3 x2 Mul Mul x0 log x0 Mul Pow Mul 2 sqrt acoth Pow Add x0 x3 x2 -1 Mul Mul Pow Add x0 x3 Add x2 -1 x2 Pow Add 1 Mul -1 Mul Pow Add x0 x3 x2 Pow Add x0 x3 x2 -1 