Add Mul x0 Pow sech x0 Mul Add tan x0 Mul x3 x0 x2 2 
Add Pow sech x0 Mul Add tan x0 Mul x3 x0 x2 Mul x0 Mul Pow sech x0 Add Mul Add tan x0 Mul x3 x0 x2 -1 Add Mul Mul Add tan x0 Mul x3 x0 x2 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 Mul x2 Add Pow sec x0 2 x3 