Pow Pow x2 Mul x0 csc Mul acosh x1 log x5 coth x0 
Mul Pow Pow x2 Mul x0 csc Mul acosh x1 log x5 Add coth x0 -1 Add Mul coth x0 Mul Pow x2 Add Mul x0 csc Mul acosh x1 log x5 -1 Mul Mul x2 log x2 csc Mul acosh x1 log x5 Mul Mul Pow x2 Mul x0 csc Mul acosh x1 log x5 log Pow x2 Mul x0 csc Mul acosh x1 log x5 Mul -1 Pow csch x0 2 