Mul Pow Mul x0 x6 E tan sec Mul -2 acos x0 
Add Mul tan sec Mul -2 acos x0 Mul Pow Mul x0 x6 Add E -1 Mul E x6 Mul Pow Mul x0 x6 E Mul Pow sec sec Mul -2 acos x0 2 Mul Mul tan Mul -2 acos x0 sec Mul -2 acos x0 Mul -2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 