asech Add atanh x5 Add x0 Mul x2 log sec x7 
Pow Mul Mul Add atanh x5 Add x0 Mul x2 log sec x7 Add atanh x5 Add x0 Mul x2 log sec x7 sqrt Add 1 Mul -1 Pow Mul Add atanh x5 Add x0 Mul x2 log sec x7 Add atanh x5 Add x0 Mul x2 log sec x7 -1 -1 