asech Mul atanh asech Add exp x0 Add -2 x0 Add asec Add sqrt Mul x6 2 x0 4 
Mul Add Mul Add asec Add sqrt Mul x6 2 x0 4 Mul Mul Add exp x0 1 Pow Mul Mul Add exp x0 Add -2 x0 Add exp x0 Add -2 x0 sqrt Add 1 Mul -1 Pow Mul Add exp x0 Add -2 x0 Add exp x0 Add -2 x0 -1 -1 Pow Add 1 Mul -1 Mul asech Add exp x0 Add -2 x0 asech Add exp x0 Add -2 x0 -1 Mul atanh asech Add exp x0 Add -2 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add sqrt Mul x6 2 x0 Add sqrt Mul x6 2 x0 -1 Add sqrt Mul x6 2 x0 Add sqrt Mul x6 2 x0 -1 Pow Mul Mul Mul atanh asech Add exp x0 Add -2 x0 Add asec Add sqrt Mul x6 2 x0 4 Mul atanh asech Add exp x0 Add -2 x0 Add asec Add sqrt Mul x6 2 x0 4 sqrt Add 1 Mul -1 Pow Mul Mul atanh asech Add exp x0 Add -2 x0 Add asec Add sqrt Mul x6 2 x0 4 Mul atanh asech Add exp x0 Add -2 x0 Add asec Add sqrt Mul x6 2 x0 4 -1 -1 