asech Mul Mul x0 x0 atanh asec x7 
Mul Mul atanh asec x7 Add x0 x0 Pow Mul Mul Mul Mul x0 x0 atanh asec x7 Mul Mul x0 x0 atanh asec x7 sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x0 atanh asec x7 Mul Mul x0 x0 atanh asec x7 -1 -1 