Add Pow Mul x0 Pow Mul x0 Pow Add Pow acosh atanh x0 x0 x0 x0 x0 x6 Pow cosh Add x0 x4 x3 
Add Mul Pow Mul x0 Pow Mul x0 Pow Add Pow acosh atanh x0 x0 x0 x0 x0 Add x6 -1 Mul x6 Add Pow Mul x0 Pow Add Pow acosh atanh x0 x0 x0 x0 x0 Mul x0 Mul Pow Mul x0 Pow Add Pow acosh atanh x0 x0 x0 x0 Add x0 -1 Add Mul x0 Add Pow Add Pow acosh atanh x0 x0 x0 x0 Mul x0 Mul Pow Add Pow acosh atanh x0 x0 x0 Add x0 -1 Add Mul x0 Add Mul Pow acosh atanh x0 Add x0 -1 Add Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add atanh x0 -1 sqrt Add 1 atanh x0 -1 Mul acosh atanh x0 log acosh atanh x0 1 Mul Add Pow acosh atanh x0 x0 x0 log Add Pow acosh atanh x0 x0 x0 Mul Mul x0 Pow Add Pow acosh atanh x0 x0 x0 x0 log Mul x0 Pow Add Pow acosh atanh x0 x0 x0 x0 Mul Pow cosh Add x0 x4 Add x3 -1 Mul x3 sinh Add x0 x4 