Add Mul Pow Pow cot csch x0 acsc acosh x7 Mul atan acosh x7 x0 x0 x0 
Add Add Mul x0 Mul Pow Pow cot csch x0 acsc acosh x7 Add Mul atan acosh x7 x0 -1 Add Mul Mul atan acosh x7 x0 Mul Pow cot csch x0 Add acsc acosh x7 -1 Mul acsc acosh x7 Mul Mul -1 Pow csc csch x0 2 Mul Mul -1 coth x0 csch x0 Mul Mul Pow cot csch x0 acsc acosh x7 log Pow cot csch x0 acsc acosh x7 atan acosh x7 Pow Pow cot csch x0 acsc acosh x7 Mul atan acosh x7 x0 1 