Pow x0 Mul x7 cosh Pow sinh Add atanh x6 x0 acos x0 
Mul Pow x0 Add Mul x7 cosh Pow sinh Add atanh x6 x0 acos x0 -1 Add Mul x7 cosh Pow sinh Add atanh x6 x0 acos x0 Mul Mul x0 log x0 Mul x7 Mul sinh Pow sinh Add atanh x6 x0 acos x0 Mul Pow sinh Add atanh x6 x0 Add acos x0 -1 Add Mul acos x0 cosh Add atanh x6 x0 Mul Mul sinh Add atanh x6 x0 log sinh Add atanh x6 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 