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