Mul x0 acos Pow Mul x0 Mul x4 acot x3 -5 
Add acos Pow Mul x0 Mul x4 acot x3 -5 Mul x0 Mul -1 Mul Mul Pow Mul x0 Mul x4 acot x3 6 Mul -5 Mul x4 acot x3 Pow sqrt Add 1 Mul -1 Mul Pow Mul x0 Mul x4 acot x3 -5 Pow Mul x0 Mul x4 acot x3 -5 -1 