Mul x0 Mul cosh x0 atanh Pow Mul asinh x0 x0 E 
Add Mul cosh x0 atanh Pow Mul asinh x0 x0 E Mul x0 Add Mul atanh Pow Mul asinh x0 x0 E sinh x0 Mul cosh x0 Mul Mul Pow Mul asinh x0 x0 Add E -1 Mul E Add Mul x0 Pow sqrt Add 1 Mul x0 x0 -1 asinh x0 Pow Add 1 Mul -1 Mul Pow Mul asinh x0 x0 E Pow Mul asinh x0 x0 E -1 