Add Mul x0 Mul Mul Mul x0 acoth x6 Add E Mul Add x0 x0 2 Add x2 1 x0 
Add Add Mul Mul Mul x0 acoth x6 Add E Mul Add x0 x0 2 Add x2 1 Mul x0 Mul Add x2 1 Add Mul Add E Mul Add x0 x0 2 acoth x6 Mul Mul x0 acoth x6 4 1 