Mul Mul x0 x2 Add Mul Add x0 acos x0 Add acoth x6 x0 exp x0 
Add Mul Add Mul Add x0 acos x0 Add acoth x6 x0 exp x0 x2 Mul Mul x0 x2 Add Add Mul Add acoth x6 x0 Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Add x0 acos x0 exp x0 