Mul asinh Mul Add x1 Mul cosh x0 x0 acsch E x0 
Add Mul x0 Mul Mul acsch E Add Mul x0 sinh x0 cosh x0 Pow sqrt Add 1 Mul Mul Add x1 Mul cosh x0 x0 acsch E Mul Add x1 Mul cosh x0 x0 acsch E -1 asinh Mul Add x1 Mul cosh x0 x0 acsch E 