Add -2 Mul Pow x3 Pow sec coth x0 -5 Mul Mul x0 x2 Pow cos x0 x0 
Add Mul Mul Mul x0 x2 Pow cos x0 x0 Mul Pow x3 Add Pow sec coth x0 -5 -1 Mul Mul x3 log x3 Mul Pow sec coth x0 6 Mul -5 Mul Mul tan coth x0 sec coth x0 Mul -1 Pow csch x0 2 Mul Pow x3 Pow sec coth x0 -5 Add Mul Pow cos x0 x0 x2 Mul Mul x0 x2 Mul Pow cos x0 Add x0 -1 Add Mul x0 Mul -1 sin x0 Mul cos x0 log cos x0 