Mul 2 Add Mul sech tan x0 Mul sech pi acosh x0 x6 
Mul 2 Add Mul Mul sech pi acosh x0 Mul Mul tanh tan x0 Mul -1 sech tan x0 Pow sec x0 2 Mul sech tan x0 Mul sech pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 