Mul Pow Add Add x0 asech Mul Add log x0 Mul Pow x0 acosh x0 Pow x0 x3 x0 4 x7 2 
Mul 2 Mul Pow Add Add x0 asech Mul Add log x0 Mul Pow x0 acosh x0 Pow x0 x3 x0 4 Add x7 -1 Mul x7 Add 1 Mul Add Mul x0 Add Pow x0 -1 Add Mul Pow x0 x3 Mul Pow x0 Add acosh x0 -1 Add acosh x0 Mul Mul x0 log x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow x0 acosh x0 Mul Pow x0 Add x3 -1 x3 Add log x0 Mul Pow x0 acosh x0 Pow x0 x3 Pow Mul Mul Mul Add log x0 Mul Pow x0 acosh x0 Pow x0 x3 x0 Mul Add log x0 Mul Pow x0 acosh x0 Pow x0 x3 x0 sqrt Add 1 Mul -1 Pow Mul Mul Add log x0 Mul Pow x0 acosh x0 Pow x0 x3 x0 Mul Add log x0 Mul Pow x0 acosh x0 Pow x0 x3 x0 -1 -1 