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