sinh Pow x0 sin Mul acoth x7 Mul acos x0 x3 
Mul cosh Pow x0 sin Mul acoth x7 Mul acos x0 x3 Mul Pow x0 Add sin Mul acoth x7 Mul acos x0 x3 -1 Add sin Mul acoth x7 Mul acos x0 x3 Mul Mul x0 log x0 Mul cos Mul acoth x7 Mul acos x0 x3 Mul acoth x7 Mul x3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 