Add cosh Mul atanh x1 x0 cosh asech Add cosh x0 x1 
Add Mul sinh Mul atanh x1 x0 atanh x1 Mul sinh asech Add cosh x0 x1 Mul sinh x0 Pow Mul Mul Add cosh x0 x1 Add cosh x0 x1 sqrt Add 1 Mul -1 Pow Mul Add cosh x0 x1 Add cosh x0 x1 -1 -1 