Mul acosh Add x0 x0 Add Add x0 sin Mul Add x7 Mul Pow x0 x1 pi acos x0 Pow sec x4 3 
Add Mul Add Add x0 sin Mul Add x7 Mul Pow x0 x1 pi acos x0 Pow sec x4 3 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 Mul acosh Add x0 x0 Add 1 Mul cos Mul Add x7 Mul Pow x0 x1 pi acos x0 Add Mul acos x0 Mul pi Mul Pow x0 Add x1 -1 x1 Mul Add x7 Mul Pow x0 x1 pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 