sinh asinh Mul cos x0 Pow x7 x0 
Mul cosh asinh Mul cos x0 Pow x7 x0 Mul Add Mul Pow x7 x0 Mul -1 sin x0 Mul cos x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow sqrt Add 1 Mul Mul cos x0 Pow x7 x0 Mul cos x0 Pow x7 x0 -1 