Add x1 Pow atan Add tan cos x0 -5 coth x0 
Mul Pow atan Add tan cos x0 -5 Add coth x0 -1 Add Mul coth x0 Mul Mul Pow sec cos x0 2 Mul -1 sin x0 Pow Add 1 Mul Add tan cos x0 -5 Add tan cos x0 -5 -1 Mul Mul atan Add tan cos x0 -5 log atan Add tan cos x0 -5 Mul -1 Pow csch x0 2 