Mul Add Mul atan x0 4 tan acos Add tan Mul x0 4 5 Add x0 x0 
Add Mul Add x0 x0 Add Mul 4 Pow Add 1 Mul x0 x0 -1 Mul Pow sec acos Add tan Mul x0 4 5 2 Mul -1 Mul Mul Pow sec Mul x0 4 2 4 Pow sqrt Add 1 Mul -1 Mul Add tan Mul x0 4 5 Add tan Mul x0 4 5 -1 Mul Add Mul atan x0 4 tan acos Add tan Mul x0 4 5 2 