Pow Pow 4 x0 sqrt acoth x0 
Mul Pow Pow 4 x0 Add sqrt acoth x0 -1 Add Mul sqrt acoth x0 Mul Pow 4 Add x0 -1 5.38629436111989 Mul Mul Pow 4 x0 log Pow 4 x0 Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 