Mul Add x0 atan coth cos x0 Add Pow x7 -2 Add Add x4 x0 Pow x0 x1 
Add Mul Add Pow x7 -2 Add Add x4 x0 Pow x0 x1 Add 1 Mul Mul Mul -1 Pow csch cos x0 2 Mul -1 sin x0 Pow Add 1 Mul coth cos x0 coth cos x0 -1 Mul Add x0 atan coth cos x0 Add 1 Mul Pow x0 Add x1 -1 x1 