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