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