csc cot Mul x0 Pow Pow x0 5 acosh x5 
Mul Mul Mul -1 cot cot Mul x0 Pow Pow x0 5 acosh x5 csc cot Mul x0 Pow Pow x0 5 acosh x5 Mul Mul -1 Pow csc Mul x0 Pow Pow x0 5 acosh x5 2 Add Pow Pow x0 5 acosh x5 Mul x0 Mul Pow Pow x0 5 Add acosh x5 -1 Mul acosh x5 Mul Pow x0 4 5 