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