Pow Mul x3 tan acos x0 Pow Add x1 Mul x0 x5 asech x0 
Mul Pow Mul x3 tan acos x0 Add Pow Add x1 Mul x0 x5 asech x0 -1 Add Mul Pow Add x1 Mul x0 x5 asech x0 Mul x3 Mul Pow sec acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul x3 tan acos x0 log Mul x3 tan acos x0 Mul Pow Add x1 Mul x0 x5 Add asech x0 -1 Add Mul asech x0 x5 Mul Mul Add x1 Mul x0 x5 log Add x1 Mul x0 x5 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 