asin acos Mul Mul Add x0 x0 Add x0 acot x3 sqrt Mul x1 asech x0 
Mul Mul -1 Mul Add Mul sqrt Mul x1 asech x0 Add Mul Add x0 acot x3 2 Add x0 x0 Mul Mul Add x0 x0 Add x0 acot x3 Mul Pow Mul 2 sqrt Mul x1 asech x0 -1 Mul x1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul Mul Add x0 x0 Add x0 acot x3 sqrt Mul x1 asech x0 Mul Mul Add x0 x0 Add x0 acot x3 sqrt Mul x1 asech x0 -1 Pow sqrt Add 1 Mul -1 Mul acos Mul Mul Add x0 x0 Add x0 acot x3 sqrt Mul x1 asech x0 acos Mul Mul Add x0 x0 Add x0 acot x3 sqrt Mul x1 asech x0 -1 