Add Add cosh Mul asech Pow x0 exp x0 Add x3 tan x0 x0 x0 
Add Add Mul sinh Mul asech Pow x0 exp x0 Add x3 tan x0 Add Mul Add x3 tan x0 Mul Mul Pow x0 Add exp x0 -1 Add exp x0 Mul Mul x0 log x0 exp x0 Pow Mul Mul Pow x0 exp x0 Pow x0 exp x0 sqrt Add 1 Mul -1 Pow Mul Pow x0 exp x0 Pow x0 exp x0 -1 -1 Mul asech Pow x0 exp x0 Pow sec x0 2 1 1 