sinh Mul Add 2 cosh x0 Mul cosh Mul x0 acos x0 Add Pow Add x0 Mul x3 2 x2 4 
Mul cosh Mul Add 2 cosh x0 Mul cosh Mul x0 acos x0 Add Pow Add x0 Mul x3 2 x2 4 Add Mul Mul cosh Mul x0 acos x0 Add Pow Add x0 Mul x3 2 x2 4 sinh x0 Mul Add 2 cosh x0 Add Mul Add Pow Add x0 Mul x3 2 x2 4 Mul sinh Mul x0 acos x0 Add acos x0 Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul cosh Mul x0 acos x0 Mul Pow Add x0 Mul x3 2 Add x2 -1 x2 