sec Mul -2 acos Mul Mul x0 Add -1 x0 x1 
Mul Mul tan Mul -2 acos Mul Mul x0 Add -1 x0 x1 sec Mul -2 acos Mul Mul x0 Add -1 x0 x1 Mul -2 Mul -1 Mul Mul x1 Add Add -1 x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 Add -1 x0 x1 Mul Mul x0 Add -1 x0 x1 -1 