Pow Add log Add -5 x3 cosh atan Pow acoth Mul cosh asin Mul x0 acosh x3 x6 x0 x0 
Mul Pow Add log Add -5 x3 cosh atan Pow acoth Mul cosh asin Mul x0 acosh x3 x6 x0 Add x0 -1 Add Mul x0 Mul sinh atan Pow acoth Mul cosh asin Mul x0 acosh x3 x6 x0 Mul Mul Pow acoth Mul cosh asin Mul x0 acosh x3 x6 Add x0 -1 Add Mul x0 Mul Mul x6 Mul sinh asin Mul x0 acosh x3 Mul acosh x3 Pow sqrt Add 1 Mul -1 Mul Mul x0 acosh x3 Mul x0 acosh x3 -1 Pow Add 1 Mul -1 Mul Mul cosh asin Mul x0 acosh x3 x6 Mul cosh asin Mul x0 acosh x3 x6 -1 Mul acoth Mul cosh asin Mul x0 acosh x3 x6 log acoth Mul cosh asin Mul x0 acosh x3 x6 Pow Add 1 Mul Pow acoth Mul cosh asin Mul x0 acosh x3 x6 x0 Pow acoth Mul cosh asin Mul x0 acosh x3 x6 x0 -1 Mul Add log Add -5 x3 cosh atan Pow acoth Mul cosh asin Mul x0 acosh x3 x6 x0 log Add log Add -5 x3 cosh atan Pow acoth Mul cosh asin Mul x0 acosh x3 x6 x0 