Mul Add Mul -5 Pow acos x2 Mul asin Add 4 x0 E 4 acoth x2 
Mul acoth x2 Mul -5 Mul Pow acos x2 Add Mul asin Add 4 x0 E -1 Mul Mul acos x2 log acos x2 Mul E Pow sqrt Add 1 Mul -1 Mul Add 4 x0 Add 4 x0 -1 