Mul Pow Pow x4 acoth Add 5 x0 5 acos Add -1 cos Pow cosh x0 Mul asin acosh x3 x0 
Add Mul acos Add -1 cos Pow cosh x0 Mul asin acosh x3 x0 Mul Pow Pow x4 acoth Add 5 x0 4 Mul 5 Mul Pow x4 Add acoth Add 5 x0 -1 Mul Mul x4 log x4 Pow Add 1 Mul -1 Mul Add 5 x0 Add 5 x0 -1 Mul Pow Pow x4 acoth Add 5 x0 5 Mul -1 Mul Mul Mul -1 sin Pow cosh x0 Mul asin acosh x3 x0 Mul Pow cosh x0 Add Mul asin acosh x3 x0 -1 Add Mul Mul asin acosh x3 x0 sinh x0 Mul Mul cosh x0 log cosh x0 asin acosh x3 Pow sqrt Add 1 Mul -1 Mul Add -1 cos Pow cosh x0 Mul asin acosh x3 x0 Add -1 cos Pow cosh x0 Mul asin acosh x3 x0 -1 