asech Pow x0 Pow cosh pi Mul sec sec x0 x0 
Mul Mul Pow x0 Add Pow cosh pi Mul sec sec x0 x0 -1 Add Pow cosh pi Mul sec sec x0 x0 Mul Mul x0 log x0 Mul Pow cosh pi Add Mul sec sec x0 x0 -1 Mul Mul cosh pi log cosh pi Add Mul x0 Mul Mul tan sec x0 sec sec x0 Mul tan x0 sec x0 sec sec x0 Pow Mul Mul Pow x0 Pow cosh pi Mul sec sec x0 x0 Pow x0 Pow cosh pi Mul sec sec x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow x0 Pow cosh pi Mul sec sec x0 x0 Pow x0 Pow cosh pi Mul sec sec x0 x0 -1 -1 