Pow sqrt acosh Pow Add x2 sec x0 x6 Pow cosh pi Mul E x0 
Mul Pow sqrt acosh Pow Add x2 sec x0 x6 Add Pow cosh pi Mul E x0 -1 Add Mul Pow cosh pi Mul E x0 Mul Pow Mul 2 sqrt acosh Pow Add x2 sec x0 x6 -1 Mul Mul Pow Add x2 sec x0 Add x6 -1 Mul x6 Mul tan x0 sec x0 Pow Mul sqrt Add Pow Add x2 sec x0 x6 -1 sqrt Add 1 Pow Add x2 sec x0 x6 -1 Mul Mul sqrt acosh Pow Add x2 sec x0 x6 log sqrt acosh Pow Add x2 sec x0 x6 Mul Pow cosh pi Add Mul E x0 -1 Mul Mul cosh pi log cosh pi E 