Add Add Add x0 -2 acsch Add x0 Pow x7 sqrt x6 asech x5 
Add 1 Mul -1 Pow Mul Mul Add x0 Pow x7 sqrt x6 Add x0 Pow x7 sqrt x6 sqrt Add 1 Mul -1 Pow Mul Add x0 Pow x7 sqrt x6 Add x0 Pow x7 sqrt x6 -1 -1 