asech Pow Mul Pow x7 Add x2 x0 Pow acos pi x0 x3 
Mul Mul Pow Mul Pow x7 Add x2 x0 Pow acos pi x0 Add x3 -1 Mul x3 Add Mul Pow acos pi x0 Mul Pow x7 Add Add x2 x0 -1 Mul x7 log x7 Mul Pow x7 Add x2 x0 Mul Pow acos pi Add x0 -1 Mul acos pi log acos pi Pow Mul Mul Pow Mul Pow x7 Add x2 x0 Pow acos pi x0 x3 Pow Mul Pow x7 Add x2 x0 Pow acos pi x0 x3 sqrt Add 1 Mul -1 Pow Mul Pow Mul Pow x7 Add x2 x0 Pow acos pi x0 x3 Pow Mul Pow x7 Add x2 x0 Pow acos pi x0 x3 -1 -1 