sqrt Mul Pow Mul Mul x0 x0 asec acsch asech Mul x0 x0 x0 x0 
Mul Pow Mul 2 sqrt Mul Pow Mul Mul x0 x0 asec acsch asech Mul x0 x0 x0 x0 -1 Add Mul x0 Mul Pow Mul Mul x0 x0 asec acsch asech Mul x0 x0 Add x0 -1 Add Mul x0 Add Mul asec acsch asech Mul x0 x0 Add x0 x0 Mul Mul x0 x0 Mul Mul Mul -1 Mul Add x0 x0 Pow Mul Mul Mul x0 x0 Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 x0 Mul x0 x0 -1 -1 Pow Mul Mul asech Mul x0 x0 asech Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul asech Mul x0 x0 asech Mul x0 x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acsch asech Mul x0 x0 acsch asech Mul x0 x0 -1 acsch asech Mul x0 x0 acsch asech Mul x0 x0 -1 Mul Mul Mul x0 x0 asec acsch asech Mul x0 x0 log Mul Mul x0 x0 asec acsch asech Mul x0 x0 Pow Mul Mul x0 x0 asec acsch asech Mul x0 x0 x0 