Add -1 Mul -5 sec Mul acos Mul Add 4 x0 x1 sqrt sqrt x3 
Mul -5 Mul Mul tan Mul acos Mul Add 4 x0 x1 sqrt sqrt x3 sec Mul acos Mul Add 4 x0 x1 sqrt sqrt x3 Mul sqrt sqrt x3 Mul -1 Mul x1 Pow sqrt Add 1 Mul -1 Mul Mul Add 4 x0 x1 Mul Add 4 x0 x1 -1 