Pow x0 Pow cot cosh x0 Pow x7 E 
Mul Pow x0 Add Pow cot cosh x0 Pow x7 E -1 Add Pow cot cosh x0 Pow x7 E Mul Mul x0 log x0 Mul Pow cot cosh x0 Add Pow x7 E -1 Mul Pow x7 E Mul Mul -1 Pow csc cosh x0 2 sinh x0 