Pow sqrt sec Pow 1.28318530717959 x0 asech Mul x0 x2 
Mul Pow sqrt sec Pow 1.28318530717959 x0 Add asech Mul x0 x2 -1 Add Mul asech Mul x0 x2 Mul Pow Mul 2 sqrt sec Pow 1.28318530717959 x0 -1 Mul Mul tan Pow 1.28318530717959 x0 sec Pow 1.28318530717959 x0 Mul Pow 1.28318530717959 Add x0 -1 1.53253081510355 Mul Mul sqrt sec Pow 1.28318530717959 x0 log sqrt sec Pow 1.28318530717959 x0 Mul x2 Pow Mul Mul Mul x0 x2 Mul x0 x2 sqrt Add 1 Mul -1 Pow Mul Mul x0 x2 Mul x0 x2 -1 -1 