Pow x2 Pow Pow atanh x2 x0 acosh x7 
Mul Pow x2 Add Pow Pow atanh x2 x0 acosh x7 -1 Mul Mul x2 log x2 Mul Pow Pow atanh x2 x0 Add acosh x7 -1 Mul acosh x7 Mul Pow atanh x2 Add x0 -1 Mul atanh x2 log atanh x2 