Add -3 Pow tanh coth Pow x1 Pow x6 acsch x2 Pow Pow cos x4 x0 3 
Mul Pow tanh coth Pow x1 Pow x6 acsch x2 Add Pow Pow cos x4 x0 3 -1 Mul Mul tanh coth Pow x1 Pow x6 acsch x2 log tanh coth Pow x1 Pow x6 acsch x2 Mul Pow Pow cos x4 x0 2 Mul 3 Mul Pow cos x4 Add x0 -1 Mul cos x4 log cos x4 