Add x0 Pow Pow Add x3 Mul x0 x2 acoth x7 Mul x0 x1 
Add 1 Mul Pow Pow Add x3 Mul x0 x2 acoth x7 Add Mul x0 x1 -1 Add Mul Mul x0 x1 Mul Pow Add x3 Mul x0 x2 Add acoth x7 -1 Mul acoth x7 x2 Mul Mul Pow Add x3 Mul x0 x2 acoth x7 log Pow Add x3 Mul x0 x2 acoth x7 x1 