Mul cosh Mul exp csc x4 sinh log x0 sin acoth cos Mul x7 x0 
Add Mul sin acoth cos Mul x7 x0 Mul sinh Mul exp csc x4 sinh log x0 Mul exp csc x4 Mul cosh log x0 Pow x0 -1 Mul cosh Mul exp csc x4 sinh log x0 Mul cos acoth cos Mul x7 x0 Mul Mul Mul -1 sin Mul x7 x0 x7 Pow Add 1 Mul -1 Mul cos Mul x7 x0 cos Mul x7 x0 -1 