cosh Mul x0 Add Mul Pow cos x0 x0 x0 x0 
Mul sinh Mul x0 Add Mul Pow cos x0 x0 x0 x0 Add Add Mul Pow cos x0 x0 x0 x0 Mul x0 Add Add Mul x0 Mul Pow cos x0 Add x0 -1 Add Mul x0 Mul -1 sin x0 Mul cos x0 log cos x0 Pow cos x0 x0 1 