Mul cosh x0 Pow cosh Add Mul -2 acos Mul Mul x1 Pow asec Mul Add x0 -2 x0 x0 4 Add x0 4 x0 
Add Mul Pow cosh Add Mul -2 acos Mul Mul x1 Pow asec Mul Add x0 -2 x0 x0 4 Add x0 4 x0 sinh x0 Mul cosh x0 Mul Pow cosh Add Mul -2 acos Mul Mul x1 Pow asec Mul Add x0 -2 x0 x0 4 Add x0 4 Add x0 -1 Add Mul x0 Mul sinh Add Mul -2 acos Mul Mul x1 Pow asec Mul Add x0 -2 x0 x0 4 Add x0 4 Add Mul -2 Mul -1 Mul Mul 4 Mul x1 Mul Pow asec Mul Add x0 -2 x0 Add x0 -1 Add Mul x0 Mul Add x0 Add x0 -2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Add x0 -2 x0 Mul Add x0 -2 x0 -1 Mul Add x0 -2 x0 Mul Add x0 -2 x0 -1 Mul asec Mul Add x0 -2 x0 log asec Mul Add x0 -2 x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul x1 Pow asec Mul Add x0 -2 x0 x0 4 Mul Mul x1 Pow asec Mul Add x0 -2 x0 x0 4 -1 1 Mul cosh Add Mul -2 acos Mul Mul x1 Pow asec Mul Add x0 -2 x0 x0 4 Add x0 4 log cosh Add Mul -2 acos Mul Mul x1 Pow asec Mul Add x0 -2 x0 x0 4 Add x0 4 