Mul cot Pow Mul Pow x0 x0 x1 acosh x2 Pow cot x5 Pow Add x7 x7 x0 
Add Mul Pow cot x5 Pow Add x7 x7 x0 Mul Mul -1 Pow csc Pow Mul Pow x0 x0 x1 acosh x2 2 Mul Pow Mul Pow x0 x0 x1 Add acosh x2 -1 Mul acosh x2 Mul x1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul cot Pow Mul Pow x0 x0 x1 acosh x2 Mul Pow cot x5 Add Pow Add x7 x7 x0 -1 Mul Mul cot x5 log cot x5 Mul Pow Add x7 x7 Add x0 -1 Mul Add x7 x7 log Add x7 x7 