Add Mul tanh x0 Pow x4 asec Pow Pow Add cosh sqrt x0 acot sqrt x7 x2 x7 log Add x0 x0 
Add Add Mul Pow x4 asec Pow Pow Add cosh sqrt x0 acot sqrt x7 x2 x7 Pow sech x0 2 Mul tanh x0 Mul Pow x4 Add asec Pow Pow Add cosh sqrt x0 acot sqrt x7 x2 x7 -1 Mul Mul x4 log x4 Mul Mul Pow Pow Add cosh sqrt x0 acot sqrt x7 x2 Add x7 -1 Mul x7 Mul Pow Add cosh sqrt x0 acot sqrt x7 Add x2 -1 Mul x2 Mul sinh sqrt x0 Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Pow Add cosh sqrt x0 acot sqrt x7 x2 x7 Pow Pow Add cosh sqrt x0 acot sqrt x7 x2 x7 -1 Pow Pow Add cosh sqrt x0 acot sqrt x7 x2 x7 Pow Pow Add cosh sqrt x0 acot sqrt x7 x2 x7 -1 Mul 2 Pow Add x0 x0 -1 