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