tan asec Mul x0 acos Pow Mul pi 2 x7 
Mul Pow sec asec Mul x0 acos Pow Mul pi 2 x7 2 Mul acos Pow Mul pi 2 x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 acos Pow Mul pi 2 x7 Mul x0 acos Pow Mul pi 2 x7 -1 Mul x0 acos Pow Mul pi 2 x7 Mul x0 acos Pow Mul pi 2 x7 -1 