atanh acoth Add acosh x2 Pow x0 Pow Pow x7 Add x0 asinh x7 -3 
Mul Mul Mul Pow x0 Add Pow Pow x7 Add x0 asinh x7 -3 -1 Add Pow Pow x7 Add x0 asinh x7 -3 Mul Mul x0 log x0 Mul Pow Pow x7 Add x0 asinh x7 4 Mul -3 Mul Pow x7 Add Add x0 asinh x7 -1 Mul x7 log x7 Pow Add 1 Mul -1 Mul Add acosh x2 Pow x0 Pow Pow x7 Add x0 asinh x7 -3 Add acosh x2 Pow x0 Pow Pow x7 Add x0 asinh x7 -3 -1 Pow Add 1 Mul -1 Mul acoth Add acosh x2 Pow x0 Pow Pow x7 Add x0 asinh x7 -3 acoth Add acosh x2 Pow x0 Pow Pow x7 Add x0 asinh x7 -3 -1 