Add x0 Pow acot Pow acos x0 Pow x4 x5 Pow x4 1.54308063481524 
Add 1 Mul Pow acot Pow acos x0 Pow x4 x5 Add Pow x4 1.54308063481524 -1 Mul Pow x4 1.54308063481524 Mul -1 Mul Mul Pow acos x0 Add Pow x4 x5 -1 Mul Pow x4 x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow acos x0 Pow x4 x5 Pow acos x0 Pow x4 x5 -1 