Mul csc acos x0 Mul x0 Pow Mul x0 Pow acot x0 acos x0 Mul x0 x4 
Add Mul Mul x0 Pow Mul x0 Pow acot x0 acos x0 Mul x0 x4 Mul Mul Mul -1 cot acos x0 csc acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul csc acos x0 Add Pow Mul x0 Pow acot x0 acos x0 Mul x0 x4 Mul x0 Mul Pow Mul x0 Pow acot x0 acos x0 Add Mul x0 x4 -1 Add Mul Mul x0 x4 Add Pow acot x0 acos x0 Mul x0 Mul Pow acot x0 Add acos x0 -1 Add Mul acos x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul x0 Pow acot x0 acos x0 log Mul x0 Pow acot x0 acos x0 x4 