Pow Pow cosh sqrt x0 log atan acosh asech Add Pow Pow Add x0 x0 x3 x0 x2 x7 
Mul Pow Pow cosh sqrt x0 log atan acosh asech Add Pow Pow Add x0 x0 x3 x0 x2 Add x7 -1 Mul x7 Mul Pow cosh sqrt x0 Add log atan acosh asech Add Pow Pow Add x0 x0 x3 x0 x2 -1 Add Mul log atan acosh asech Add Pow Pow Add x0 x0 x3 x0 x2 Mul sinh sqrt x0 Pow Mul 2 sqrt x0 -1 Mul Mul cosh sqrt x0 log cosh sqrt x0 Mul Mul Mul Mul Mul Pow Pow Add x0 x0 x3 Add x0 -1 Add Mul x0 Mul Pow Add x0 x0 Add x3 -1 Mul x3 2 Mul Pow Add x0 x0 x3 log Pow Add x0 x0 x3 Pow Mul Mul Add Pow Pow Add x0 x0 x3 x0 x2 Add Pow Pow Add x0 x0 x3 x0 x2 sqrt Add 1 Mul -1 Pow Mul Add Pow Pow Add x0 x0 x3 x0 x2 Add Pow Pow Add x0 x0 x3 x0 x2 -1 -1 Pow Mul sqrt Add asech Add Pow Pow Add x0 x0 x3 x0 x2 -1 sqrt Add 1 asech Add Pow Pow Add x0 x0 x3 x0 x2 -1 Pow Add 1 Mul acosh asech Add Pow Pow Add x0 x0 x3 x0 x2 acosh asech Add Pow Pow Add x0 x0 x3 x0 x2 -1 Pow atan acosh asech Add Pow Pow Add x0 x0 x3 x0 x2 -1 