Mul sqrt Pow x1 log Pow Mul Pow Pow x0 acot x0 tan acos x0 acot Add x0 Mul Mul x0 x0 x0 x0 x0 
Add Mul x0 Mul Pow Mul 2 sqrt Pow x1 log Pow Mul Pow Pow x0 acot x0 tan acos x0 acot Add x0 Mul Mul x0 x0 x0 x0 -1 Mul Pow x1 Add log Pow Mul Pow Pow x0 acot x0 tan acos x0 acot Add x0 Mul Mul x0 x0 x0 x0 -1 Mul Mul x1 log x1 Mul Mul Pow Mul Pow Pow x0 acot x0 tan acos x0 acot Add x0 Mul Mul x0 x0 x0 Add x0 -1 Add Mul x0 Add Mul acot Add x0 Mul Mul x0 x0 x0 Mul Pow Pow x0 acot x0 Add tan acos x0 -1 Add Mul tan acos x0 Mul Pow x0 Add acot x0 -1 Add acot x0 Mul Mul x0 log x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow x0 acot x0 log Pow x0 acot x0 Mul Pow sec acos x0 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Pow x0 acot x0 tan acos x0 Mul -1 Mul Add 1 Add Mul x0 Add x0 x0 Mul x0 x0 Pow Add 1 Mul Add x0 Mul Mul x0 x0 x0 Add x0 Mul Mul x0 x0 x0 -1 Mul Mul Pow Pow x0 acot x0 tan acos x0 acot Add x0 Mul Mul x0 x0 x0 log Mul Pow Pow x0 acot x0 tan acos x0 acot Add x0 Mul Mul x0 x0 x0 Pow Pow Mul Pow Pow x0 acot x0 tan acos x0 acot Add x0 Mul Mul x0 x0 x0 x0 -1 sqrt Pow x1 log Pow Mul Pow Pow x0 acot x0 tan acos x0 acot Add x0 Mul Mul x0 x0 x0 x0 