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