Add Add -5 Add Mul acos x0 Mul x0 cos Mul Add acosh E x0 x1 x0 x4 
Add Add Mul Mul x0 cos Mul Add acosh E x0 x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Add cos Mul Add acosh E x0 x1 Mul x0 Mul Mul -1 sin Mul Add acosh E x0 x1 x1 1 