Add atan cosh Pow x0 Pow x0 Pow x4 asech sec exp x0 Add x0 x7 
Add Mul Mul sinh Pow x0 Pow x0 Pow x4 asech sec exp x0 Mul Pow x0 Add Pow x0 Pow x4 asech sec exp x0 -1 Add Pow x0 Pow x4 asech sec exp x0 Mul Mul x0 log x0 Mul Pow x0 Add Pow x4 asech sec exp x0 -1 Add Pow x4 asech sec exp x0 Mul Mul x0 log x0 Mul Pow x4 Add asech sec exp x0 -1 Mul Mul x4 log x4 Mul Mul Mul tan exp x0 sec exp x0 exp x0 Pow Mul Mul sec exp x0 sec exp x0 sqrt Add 1 Mul -1 Pow Mul sec exp x0 sec exp x0 -1 -1 Pow Add 1 Mul cosh Pow x0 Pow x0 Pow x4 asech sec exp x0 cosh Pow x0 Pow x0 Pow x4 asech sec exp x0 -1 1 