Mul x0 Pow Mul x0 Pow acosh x5 x0 csc x5 
Add Pow Mul x0 Pow acosh x5 x0 csc x5 Mul x0 Mul Pow Mul x0 Pow acosh x5 x0 Add csc x5 -1 Mul csc x5 Add Pow acosh x5 x0 Mul x0 Mul Pow acosh x5 Add x0 -1 Mul acosh x5 log acosh x5 