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