asec acsch Add exp Mul x0 x7 x2 
Mul Mul Mul -1 Mul exp Mul x0 x7 x7 Pow Mul Mul Add exp Mul x0 x7 x2 Add exp Mul x0 x7 x2 sqrt Add 1 Mul -1 Pow Mul Add exp Mul x0 x7 x2 Add exp Mul x0 x7 x2 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acsch Add exp Mul x0 x7 x2 acsch Add exp Mul x0 x7 x2 -1 acsch Add exp Mul x0 x7 x2 acsch Add exp Mul x0 x7 x2 -1 