sqrt Pow Pow Mul Mul x7 asech pi Add acos x0 x0 Pow 5 x4 acot x5 
Mul Pow Mul 2 sqrt Pow Pow Mul Mul x7 asech pi Add acos x0 x0 Pow 5 x4 acot x5 -1 Mul Pow Pow Mul Mul x7 asech pi Add acos x0 x0 Pow 5 x4 Add acot x5 -1 Mul acot x5 Mul Pow Mul Mul x7 asech pi Add acos x0 x0 Add Pow 5 x4 -1 Mul Pow 5 x4 Mul Mul x7 asech pi Add Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 