Mul Pow cos x0 coth Mul x0 x0 Mul x0 x4 
Add Mul Mul x0 x4 Mul Pow cos x0 Add coth Mul x0 x0 -1 Add Mul coth Mul x0 x0 Mul -1 sin x0 Mul Mul cos x0 log cos x0 Mul Mul -1 Pow csch Mul x0 x0 2 Add x0 x0 Mul Pow cos x0 coth Mul x0 x0 x4 