acos tan Add Mul x0 Mul 2 Add -3 x4 x0 
Mul -1 Mul Mul Pow sec Add Mul x0 Mul 2 Add -3 x4 x0 2 Add Mul 2 Add -3 x4 1 Pow sqrt Add 1 Mul -1 Mul tan Add Mul x0 Mul 2 Add -3 x4 x0 tan Add Mul x0 Mul 2 Add -3 x4 x0 -1 