Add asech Mul Mul asinh Mul E x0 x5 acsch E x0 
Add Mul Mul acsch E Mul x5 Mul E Pow sqrt Add 1 Mul Mul E x0 Mul E x0 -1 Pow Mul Mul Mul Mul asinh Mul E x0 x5 acsch E Mul Mul asinh Mul E x0 x5 acsch E sqrt Add 1 Mul -1 Pow Mul Mul Mul asinh Mul E x0 x5 acsch E Mul Mul asinh Mul E x0 x5 acsch E -1 -1 1 