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