Mul x6 Mul Pow Mul x0 Mul x0 acsc x7 Pow acosh x2 -2 x0 
Mul x6 Add Mul x0 Mul Pow Mul x0 Mul x0 acsc x7 Add Pow acosh x2 -2 -1 Mul Pow acosh x2 -2 Add Mul x0 acsc x7 Mul x0 acsc x7 Pow Mul x0 Mul x0 acsc x7 Pow acosh x2 -2 