Add Mul x5 x7 Add Pow Mul x0 x0 sqrt Pow Add x0 -1 Mul x5 x0 acoth x6 
Mul Pow Mul x0 x0 Add sqrt Pow Add x0 -1 Mul x5 x0 -1 Add Mul sqrt Pow Add x0 -1 Mul x5 x0 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Pow Mul 2 sqrt Pow Add x0 -1 Mul x5 x0 -1 Mul Pow Add x0 -1 Add Mul x5 x0 -1 Add Mul x5 x0 Mul Mul Add x0 -1 log Add x0 -1 x5 