Add Mul x0 -3 Add Pow Pow x0 Mul 3 acoth x3 Pow Mul -5 x6 Mul tan acos x7 4 x0 
Add -3 Add Mul Pow Pow x0 Mul 3 acoth x3 Add Pow Mul -5 x6 Mul tan acos x7 4 -1 Mul Pow Mul -5 x6 Mul tan acos x7 4 Mul Pow x0 Add Mul 3 acoth x3 -1 Mul 3 acoth x3 1 