Pow atanh x2 acosh Mul Pow x0 x0 x6 
Mul Pow atanh x2 Add acosh Mul Pow x0 x0 x6 -1 Mul Mul atanh x2 log atanh x2 Mul Mul x6 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Mul sqrt Add Mul Pow x0 x0 x6 -1 sqrt Add 1 Mul Pow x0 x0 x6 -1 