Add Mul csc Mul acot Add x0 x0 Pow x1 acosh atan Pow x7 atan acos x0 sqrt x0 x0 
Add Add Mul sqrt x0 Mul Mul Mul -1 cot Mul acot Add x0 x0 Pow x1 acosh atan Pow x7 atan acos x0 csc Mul acot Add x0 x0 Pow x1 acosh atan Pow x7 atan acos x0 Add Mul Pow x1 acosh atan Pow x7 atan acos x0 Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Mul acot Add x0 x0 Mul Pow x1 Add acosh atan Pow x7 atan acos x0 -1 Mul Mul x1 log x1 Mul Mul Mul Pow x7 Add atan acos x0 -1 Mul Mul x7 log x7 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acos x0 acos x0 -1 Pow Add 1 Mul Pow x7 atan acos x0 Pow x7 atan acos x0 -1 Pow Mul sqrt Add atan Pow x7 atan acos x0 -1 sqrt Add 1 atan Pow x7 atan acos x0 -1 Mul csc Mul acot Add x0 x0 Pow x1 acosh atan Pow x7 atan acos x0 Pow Mul 2 sqrt x0 -1 1 