acosh Pow Pow x1 Pow Mul asec E E tanh x0 -3 
Mul Mul Pow Pow x1 Pow Mul asec E E tanh x0 4 Mul -3 Mul Pow x1 Add Pow Mul asec E E tanh x0 -1 Mul Mul x1 log x1 Mul Pow Mul asec E E Add tanh x0 -1 Mul Mul Mul asec E E log Mul asec E E Pow sech x0 2 Pow Mul sqrt Add Pow Pow x1 Pow Mul asec E E tanh x0 -3 -1 sqrt Add 1 Pow Pow x1 Pow Mul asec E E tanh x0 -3 -1 