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