Add x0 Pow Pow atanh acosh Mul 74.2099485247878 x1 sec x0 coth Add E 8165619676597685 
Add 1 Mul Pow Pow atanh acosh Mul 74.2099485247878 x1 sec x0 Add coth Add E 8165619676597685 -1 Mul coth Add E 8165619676597685 Mul Pow atanh acosh Mul 74.2099485247878 x1 Add sec x0 -1 Mul Mul atanh acosh Mul 74.2099485247878 x1 log atanh acosh Mul 74.2099485247878 x1 Mul tan x0 sec x0 