Pow Pow Mul Add Add acosh x0 x1 acos x0 pi pi -4 
Mul Pow Pow Mul Add Add acosh x0 x1 acos x0 pi pi 5 Mul -4 Mul Pow Mul Add Add acosh x0 x1 acos x0 pi Add pi -1 Mul pi Mul pi Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 