Add x3 Add asinh acot Pow Mul sec x2 acos x0 3 x5 
Mul Mul -1 Mul Mul Pow Mul sec x2 acos x0 2 Mul 3 Mul sec x2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow Mul sec x2 acos x0 3 Pow Mul sec x2 acos x0 3 -1 Pow sqrt Add 1 Mul acot Pow Mul sec x2 acos x0 3 acot Pow Mul sec x2 acos x0 3 -1 