Add Pow log csc acosh x0 Add x0 -1 x1 
Mul Pow log csc acosh x0 Add Add x0 -1 -1 Add Mul Add x0 -1 Mul Mul Mul Mul -1 cot acosh x0 csc acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow csc acosh x0 -1 Mul log csc acosh x0 log log csc acosh x0 