Pow Mul Add x6 x0 cosh Add x0 Mul acos x0 Mul Add x0 Mul x0 x0 3 Pow Mul x3 2 x0 
Mul Pow Mul Add x6 x0 cosh Add x0 Mul acos x0 Mul Add x0 Mul x0 x0 3 Add Pow Mul x3 2 x0 -1 Add Mul Pow Mul x3 2 x0 Add cosh Add x0 Mul acos x0 Mul Add x0 Mul x0 x0 3 Mul Add x6 x0 Mul sinh Add x0 Mul acos x0 Mul Add x0 Mul x0 x0 3 Add 1 Add Mul Mul Add x0 Mul x0 x0 3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul 3 Add 1 Add x0 x0 Mul Mul Mul Add x6 x0 cosh Add x0 Mul acos x0 Mul Add x0 Mul x0 x0 3 log Mul Add x6 x0 cosh Add x0 Mul acos x0 Mul Add x0 Mul x0 x0 3 Mul Pow Mul x3 2 Add x0 -1 Mul Mul x3 2 log Mul x3 2 