acosh Mul 2 Mul sqrt Pow x5 Add x6 Pow x5 Pow Pow sec x0 Mul x5 x0 E coth log x0 
Mul Mul 2 Add Mul coth log x0 Mul Pow Mul 2 sqrt Pow x5 Add x6 Pow x5 Pow Pow sec x0 Mul x5 x0 E -1 Mul Pow x5 Add Add x6 Pow x5 Pow Pow sec x0 Mul x5 x0 E -1 Mul Mul x5 log x5 Mul Pow x5 Add Pow Pow sec x0 Mul x5 x0 E -1 Mul Mul x5 log x5 Mul Pow Pow sec x0 Mul x5 x0 Add E -1 Mul E Mul Pow sec x0 Add Mul x5 x0 -1 Add Mul Mul x5 x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 x5 Mul sqrt Pow x5 Add x6 Pow x5 Pow Pow sec x0 Mul x5 x0 E Mul Mul -1 Pow csch log x0 2 Pow x0 -1 Pow Mul sqrt Add Mul 2 Mul sqrt Pow x5 Add x6 Pow x5 Pow Pow sec x0 Mul x5 x0 E coth log x0 -1 sqrt Add 1 Mul 2 Mul sqrt Pow x5 Add x6 Pow x5 Pow Pow sec x0 Mul x5 x0 E coth log x0 -1 