asech asin Add Pow x0 x6 Add acos pi x0 
Mul Mul Add Mul Pow x0 Add x6 -1 x6 1 Pow sqrt Add 1 Mul -1 Mul Add Pow x0 x6 Add acos pi x0 Add Pow x0 x6 Add acos pi x0 -1 Pow Mul Mul asin Add Pow x0 x6 Add acos pi x0 asin Add Pow x0 x6 Add acos pi x0 sqrt Add 1 Mul -1 Pow Mul asin Add Pow x0 x6 Add acos pi x0 asin Add Pow x0 x6 Add acos pi x0 -1 -1 