Add Pow acosh Mul x3 x6 x0 csch Pow acosh Mul Mul x0 atanh x0 x0 Pow x0 x7 
Add Mul Pow acosh Mul x3 x6 Add x0 -1 Mul acosh Mul x3 x6 log acosh Mul x3 x6 Mul Mul Mul -1 coth Pow acosh Mul Mul x0 atanh x0 x0 Pow x0 x7 csch Pow acosh Mul Mul x0 atanh x0 x0 Pow x0 x7 Mul Pow acosh Mul Mul x0 atanh x0 x0 Add Pow x0 x7 -1 Add Mul Pow x0 x7 Mul Add Mul x0 Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul x0 atanh x0 Pow Mul sqrt Add Mul Mul x0 atanh x0 x0 -1 sqrt Add 1 Mul Mul x0 atanh x0 x0 -1 Mul Mul acosh Mul Mul x0 atanh x0 x0 log acosh Mul Mul x0 atanh x0 x0 Mul Pow x0 Add x7 -1 x7 