Add acos Add Mul Pow x3 Pow x5 Mul E x2 x0 sqrt cosh pi x0 
Add Mul -1 Mul Pow x3 Pow x5 Mul E x2 Pow sqrt Add 1 Mul -1 Mul Add Mul Pow x3 Pow x5 Mul E x2 x0 sqrt cosh pi Add Mul Pow x3 Pow x5 Mul E x2 x0 sqrt cosh pi -1 1 