asech Pow E cosh Pow x0 atanh x5 
Mul Mul Pow E Add cosh Pow x0 atanh x5 -1 Mul Mul E log E Mul sinh Pow x0 atanh x5 Mul Pow x0 Add atanh x5 -1 atanh x5 Pow Mul Mul Pow E cosh Pow x0 atanh x5 Pow E cosh Pow x0 atanh x5 sqrt Add 1 Mul -1 Pow Mul Pow E cosh Pow x0 atanh x5 Pow E cosh Pow x0 atanh x5 -1 -1 