exp atanh sec asech Mul Pow Pow x2 x2 x0 Mul x0 x0 
Mul exp atanh sec asech Mul Pow Pow x2 x2 x0 Mul x0 x0 Mul Mul Mul tan asech Mul Pow Pow x2 x2 x0 Mul x0 x0 sec asech Mul Pow Pow x2 x2 x0 Mul x0 x0 Mul Add Mul Mul x0 x0 Mul Pow Pow x2 x2 Add x0 -1 Mul Pow x2 x2 log Pow x2 x2 Mul Pow Pow x2 x2 x0 Add x0 x0 Pow Mul Mul Mul Pow Pow x2 x2 x0 Mul x0 x0 Mul Pow Pow x2 x2 x0 Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul Pow Pow x2 x2 x0 Mul x0 x0 Mul Pow Pow x2 x2 x0 Mul x0 x0 -1 -1 Pow Add 1 Mul -1 Mul sec asech Mul Pow Pow x2 x2 x0 Mul x0 x0 sec asech Mul Pow Pow x2 x2 x0 Mul x0 x0 -1 