Mul x4 cot Pow acosh x1 Pow Pow x0 x7 x3 
Mul x4 Mul Mul -1 Pow csc Pow acosh x1 Pow Pow x0 x7 x3 2 Mul Pow acosh x1 Add Pow Pow x0 x7 x3 -1 Mul Mul acosh x1 log acosh x1 Mul Pow Pow x0 x7 Add x3 -1 Mul x3 Mul Pow x0 Add x7 -1 x7 