Add Pow x7 Mul asinh Pow x5 x1 Pow coth cos x0 x0 x0 
Add Mul Pow x7 Add Mul asinh Pow x5 x1 Pow coth cos x0 x0 -1 Mul Mul x7 log x7 Mul asinh Pow x5 x1 Mul Pow coth cos x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch cos x0 2 Mul -1 sin x0 Mul coth cos x0 log coth cos x0 1 