Add Pow Mul Add Mul x1 x0 acoth acot x7 E x0 x0 
Add Mul Pow Mul Add Mul x1 x0 acoth acot x7 E Add x0 -1 Add Mul x0 Mul E x1 Mul Mul Add Mul x1 x0 acoth acot x7 E log Mul Add Mul x1 x0 acoth acot x7 E 1 