acosh Add acoth Mul x0 Pow Add 2 Pow Mul sech x0 Mul atan x0 acosh acos x6 cosh x0 x0 x0 
Mul Add Mul Add Pow Add 2 Pow Mul sech x0 Mul atan x0 acosh acos x6 cosh x0 x0 Mul x0 Mul Pow Add 2 Pow Mul sech x0 Mul atan x0 acosh acos x6 cosh x0 Add x0 -1 Add Mul x0 Mul Pow Mul sech x0 Mul atan x0 acosh acos x6 Add cosh x0 -1 Add Mul cosh x0 Add Mul Mul atan x0 acosh acos x6 Mul tanh x0 Mul -1 sech x0 Mul sech x0 Mul acosh acos x6 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul sech x0 Mul atan x0 acosh acos x6 log Mul sech x0 Mul atan x0 acosh acos x6 sinh x0 Mul Add 2 Pow Mul sech x0 Mul atan x0 acosh acos x6 cosh x0 log Add 2 Pow Mul sech x0 Mul atan x0 acosh acos x6 cosh x0 Pow Add 1 Mul -1 Mul Mul x0 Pow Add 2 Pow Mul sech x0 Mul atan x0 acosh acos x6 cosh x0 x0 Mul x0 Pow Add 2 Pow Mul sech x0 Mul atan x0 acosh acos x6 cosh x0 x0 -1 1 Pow Mul sqrt Add Add acoth Mul x0 Pow Add 2 Pow Mul sech x0 Mul atan x0 acosh acos x6 cosh x0 x0 x0 -1 sqrt Add 1 Add acoth Mul x0 Pow Add 2 Pow Mul sech x0 Mul atan x0 acosh acos x6 cosh x0 x0 x0 -1 