Add Mul x0 sin Pow acos sqrt x0 x2 acosh x0 
Add Add sin Pow acos sqrt x0 x2 Mul x0 Mul cos Pow acos sqrt x0 x2 Mul Pow acos sqrt x0 Add x2 -1 Mul x2 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 