asec Pow Add -5 x0 acsch x7 
Mul Mul Pow Add -5 x0 Add acsch x7 -1 acsch x7 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Add -5 x0 acsch x7 Pow Add -5 x0 acsch x7 -1 Pow Add -5 x0 acsch x7 Pow Add -5 x0 acsch x7 -1 