Mul Pow x0 Pow acosh Pow x7 asinh Pow x0 atanh x6 x0 x0 
Add Mul x0 Mul Pow x0 Add Pow acosh Pow x7 asinh Pow x0 atanh x6 x0 -1 Add Pow acosh Pow x7 asinh Pow x0 atanh x6 x0 Mul Mul x0 log x0 Mul Pow acosh Pow x7 asinh Pow x0 atanh x6 Add x0 -1 Add Mul x0 Mul Mul Pow x7 Add asinh Pow x0 atanh x6 -1 Mul Mul x7 log x7 Mul Mul Pow x0 Add atanh x6 -1 atanh x6 Pow sqrt Add 1 Mul Pow x0 atanh x6 Pow x0 atanh x6 -1 Pow Mul sqrt Add Pow x7 asinh Pow x0 atanh x6 -1 sqrt Add 1 Pow x7 asinh Pow x0 atanh x6 -1 Mul acosh Pow x7 asinh Pow x0 atanh x6 log acosh Pow x7 asinh Pow x0 atanh x6 Pow x0 Pow acosh Pow x7 asinh Pow x0 atanh x6 x0 