csc acos Add cot acosh x0 x1 
Mul Mul Mul -1 cot acos Add cot acosh x0 x1 csc acos Add cot acosh x0 x1 Mul -1 Mul Mul Mul -1 Pow csc acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow sqrt Add 1 Mul -1 Mul Add cot acosh x0 x1 Add cot acosh x0 x1 -1 