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