Add atanh acosh sqrt Mul x0 asech Mul x2 Pow x7 x2 Mul x5 atanh cosh Pow x0 x5 
Add Mul Mul Mul Pow Mul 2 sqrt Mul x0 asech Mul x2 Pow x7 x2 -1 asech Mul x2 Pow x7 x2 Pow Mul sqrt Add sqrt Mul x0 asech Mul x2 Pow x7 x2 -1 sqrt Add 1 sqrt Mul x0 asech Mul x2 Pow x7 x2 -1 Pow Add 1 Mul -1 Mul acosh sqrt Mul x0 asech Mul x2 Pow x7 x2 acosh sqrt Mul x0 asech Mul x2 Pow x7 x2 -1 Mul x5 Mul Mul sinh Pow x0 x5 Mul Pow x0 Add x5 -1 x5 Pow Add 1 Mul -1 Mul cosh Pow x0 x5 cosh Pow x0 x5 -1 