exp Pow x6 Add Pow Pow Pow x0 x0 x0 x0 Mul asech Mul Pow Pow x0 acosh x0 x7 Mul acos x3 x0 tanh x0 
Mul exp Pow x6 Add Pow Pow Pow x0 x0 x0 x0 Mul asech Mul Pow Pow x0 acosh x0 x7 Mul acos x3 x0 tanh x0 Mul Pow x6 Add Add Pow Pow Pow x0 x0 x0 x0 Mul asech Mul Pow Pow x0 acosh x0 x7 Mul acos x3 x0 tanh x0 -1 Mul Mul x6 log x6 Add Mul Pow Pow Pow x0 x0 x0 Add x0 -1 Add Mul x0 Mul Pow Pow x0 x0 Add x0 -1 Add Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 log Pow x0 x0 Mul Pow Pow x0 x0 x0 log Pow Pow x0 x0 x0 Add Mul tanh x0 Mul Add Mul Mul acos x3 x0 Mul Pow Pow x0 acosh x0 Add x7 -1 Mul x7 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 Pow x0 acosh x0 x7 acos x3 Pow Mul Mul Mul Pow Pow x0 acosh x0 x7 Mul acos x3 x0 Mul Pow Pow x0 acosh x0 x7 Mul acos x3 x0 sqrt Add 1 Mul -1 Pow Mul Mul Pow Pow x0 acosh x0 x7 Mul acos x3 x0 Mul Pow Pow x0 acosh x0 x7 Mul acos x3 x0 -1 -1 Mul asech Mul Pow Pow x0 acosh x0 x7 Mul acos x3 x0 Pow sech x0 2 