Pow acot x3 acos Mul Mul -4 asin Add -1 x0 x2 
Mul Pow acot x3 Add acos Mul Mul -4 asin Add -1 x0 x2 -1 Mul Mul acot x3 log acot x3 Mul -1 Mul Mul x2 Mul -4 Pow sqrt Add 1 Mul -1 Mul Add -1 x0 Add -1 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul Mul -4 asin Add -1 x0 x2 Mul Mul -4 asin Add -1 x0 x2 -1 