Mul acosh Pow cos x6 Mul sinh x0 x0 sin x0 
Add Mul sin x0 Mul Mul Pow cos x6 Add Mul sinh x0 x0 -1 Mul Mul cos x6 log cos x6 Add Mul x0 cosh x0 sinh x0 Pow Mul sqrt Add Pow cos x6 Mul sinh x0 x0 -1 sqrt Add 1 Pow cos x6 Mul sinh x0 x0 -1 Mul acosh Pow cos x6 Mul sinh x0 x0 cos x0 