Mul Add Mul Pow sech Mul 2 x0 tan x2 Mul acos E x0 x0 x0 
Add Mul x0 Add Add Mul Mul acos E x0 Mul Pow sech Mul 2 x0 Add tan x2 -1 Mul tan x2 Mul Mul tanh Mul 2 x0 Mul -1 sech Mul 2 x0 2 Mul Pow sech Mul 2 x0 tan x2 acos E 1 Add Mul Pow sech Mul 2 x0 tan x2 Mul acos E x0 x0 