Mul acosh sech Pow x0 acot x6 acos x0 
Add Mul acos x0 Mul Mul Mul tanh Pow x0 acot x6 Mul -1 sech Pow x0 acot x6 Mul Pow x0 Add acot x6 -1 acot x6 Pow Mul sqrt Add sech Pow x0 acot x6 -1 sqrt Add 1 sech Pow x0 acot x6 -1 Mul acosh sech Pow x0 acot x6 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 