Add Pow x0 Add asin asech exp sec x0 x0 5 
Mul Pow x0 Add Add asin asech exp sec x0 x0 -1 Add Add asin asech exp sec x0 x0 Mul Mul x0 log x0 Add Mul Mul Mul exp sec x0 Mul tan x0 sec x0 Pow Mul Mul exp sec x0 exp sec x0 sqrt Add 1 Mul -1 Pow Mul exp sec x0 exp sec x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech exp sec x0 asech exp sec x0 -1 1 