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