sinh Mul -2 sinh sec Pow cos x0 x0 
Mul cosh Mul -2 sinh sec Pow cos x0 x0 Mul -2 Mul cosh sec Pow cos x0 x0 Mul Mul tan Pow cos x0 x0 sec Pow cos x0 x0 Mul Pow cos x0 Add x0 -1 Add Mul x0 Mul -1 sin x0 Mul cos x0 log cos x0 