Add x0 Mul log Add atan Add -2 x0 Pow Pow E x1 Mul x7 E tanh Add Mul Mul E acosh x0 Add x0 x0 2 
Add 1 Add Mul tanh Add Mul Mul E acosh x0 Add x0 x0 2 Mul Pow Add 1 Mul Add -2 x0 Add -2 x0 -1 Pow Add atan Add -2 x0 Pow Pow E x1 Mul x7 E -1 Mul log Add atan Add -2 x0 Pow Pow E x1 Mul x7 E Mul Pow sech Add Mul Mul E acosh x0 Add x0 x0 2 2 Add Mul Add x0 x0 Mul E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul E acosh x0 2 