Add x5 Add Mul Pow acos Add acosh x0 Pow x0 acos x0 asech x1 x0 acot x0 
Add Add Mul x0 Mul Pow acos Add acosh x0 Pow x0 acos x0 Add asech x1 -1 Mul asech x1 Mul -1 Mul Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow x0 Add acos x0 -1 Add acos x0 Mul Mul x0 log x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add acosh x0 Pow x0 acos x0 Add acosh x0 Pow x0 acos x0 -1 Pow acos Add acosh x0 Pow x0 acos x0 asech x1 Mul -1 Pow Add 1 Mul x0 x0 -1 