Add acoth Add acosh log x5 Pow x0 Pow Add x0 Mul -3 Pow x0 acosh x7 cosh x0 x0 
Add Mul Mul Pow x0 Add Pow Add x0 Mul -3 Pow x0 acosh x7 cosh x0 -1 Add Pow Add x0 Mul -3 Pow x0 acosh x7 cosh x0 Mul Mul x0 log x0 Mul Pow Add x0 Mul -3 Pow x0 acosh x7 Add cosh x0 -1 Add Mul cosh x0 Add 1 Mul -3 Mul Pow x0 Add acosh x7 -1 acosh x7 Mul Mul Add x0 Mul -3 Pow x0 acosh x7 log Add x0 Mul -3 Pow x0 acosh x7 sinh x0 Pow Add 1 Mul -1 Mul Add acosh log x5 Pow x0 Pow Add x0 Mul -3 Pow x0 acosh x7 cosh x0 Add acosh log x5 Pow x0 Pow Add x0 Mul -3 Pow x0 acosh x7 cosh x0 -1 1 