Mul Pow acos cos x0 Mul x0 sin x0 Add cosh Mul x5 x0 x2 
Add Mul Add cosh Mul x5 x0 x2 Mul Pow acos cos x0 Add Mul x0 sin x0 -1 Add Mul Mul x0 sin x0 Mul -1 Mul Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul cos x0 cos x0 -1 Mul Mul acos cos x0 log acos cos x0 Add sin x0 Mul x0 cos x0 Mul Pow acos cos x0 Mul x0 sin x0 Mul sinh Mul x5 x0 x5 