Mul Pow E Mul x1 Mul Pow x2 asech sinh Pow 5 pi asinh x0 Pow pi Mul atanh Mul E x0 -1 
Add Mul Pow pi Mul atanh Mul E x0 -1 Mul Pow E Add Mul x1 Mul Pow x2 asech sinh Pow 5 pi asinh x0 -1 Mul Mul E log E Mul x1 Mul Pow x2 asech sinh Pow 5 pi Pow sqrt Add 1 Mul x0 x0 -1 Mul Pow E Mul x1 Mul Pow x2 asech sinh Pow 5 pi asinh x0 Mul Pow pi Add Mul atanh Mul E x0 -1 -1 Mul Mul pi log pi Mul -1 Mul E Pow Add 1 Mul -1 Mul Mul E x0 Mul E x0 -1 