Mul cot coth x0 log Pow cos sinh x0 cos sin x3 
Add Mul log Pow cos sinh x0 cos sin x3 Mul Mul -1 Pow csc coth x0 2 Mul -1 Pow csch x0 2 Mul cot coth x0 Mul Mul Pow cos sinh x0 Add cos sin x3 -1 Mul cos sin x3 Mul Mul -1 sin sinh x0 cosh x0 Pow Pow cos sinh x0 cos sin x3 -1 