Add sec Mul Mul asec x0 acot acosh x2 x0 Add x0 x0 
Add Mul Mul tan Mul Mul asec x0 acot acosh x2 x0 sec Mul Mul asec x0 acot acosh x2 x0 Add Mul x0 Mul acot acosh x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 acot acosh x2 2 