Mul Pow acos Mul Pow sqrt x1 x3 x2 x0 Add Mul Mul -1 asin acot x4 x0 pi 
Add Mul Add Mul Mul -1 asin acot x4 x0 pi Mul Pow acos Mul Pow sqrt x1 x3 x2 Add x0 -1 Mul acos Mul Pow sqrt x1 x3 x2 log acos Mul Pow sqrt x1 x3 x2 Mul Pow acos Mul Pow sqrt x1 x3 x2 x0 Mul -1 asin acot x4 