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