cot Mul Add acosh x2 Mul cos x0 Add x1 x0 log x0 
Mul Mul -1 Pow csc Mul Add acosh x2 Mul cos x0 Add x1 x0 log x0 2 Add Mul log x0 Add Mul Add x1 x0 Mul -1 sin x0 cos x0 Mul Add acosh x2 Mul cos x0 Add x1 x0 Pow x0 -1 