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