Mul -5 Pow cot x0 Pow Mul coth atan x6 x6 sec Pow acosh x0 Pow x0 -4 
Mul -5 Mul Pow cot x0 Add Pow Mul coth atan x6 x6 sec Pow acosh x0 Pow x0 -4 -1 Add Mul Pow Mul coth atan x6 x6 sec Pow acosh x0 Pow x0 -4 Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 Mul Pow Mul coth atan x6 x6 Add sec Pow acosh x0 Pow x0 -4 -1 Mul Mul Mul coth atan x6 x6 log Mul coth atan x6 x6 Mul Mul tan Pow acosh x0 Pow x0 -4 sec Pow acosh x0 Pow x0 -4 Mul Pow acosh x0 Add Pow x0 -4 -1 Add Mul Pow x0 -4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul Pow x0 5 -4 