Add Pow Add csch x0 Add Mul x0 Pow acosh x2 x7 x0 x0 acsc pi 
Mul Pow Add csch x0 Add Mul x0 Pow acosh x2 x7 x0 Add x0 -1 Add Mul x0 Add Mul Mul -1 coth x0 csch x0 Add Pow acosh x2 x7 1 Mul Add csch x0 Add Mul x0 Pow acosh x2 x7 x0 log Add csch x0 Add Mul x0 Pow acosh x2 x7 x0 