Add Add x0 Pow x0 E Mul Mul x7 -1 asech Add x0 acosh x4 
Add Add 1 Mul Pow x0 Add E -1 E Mul Mul x7 -1 Pow Mul Mul Add x0 acosh x4 Add x0 acosh x4 sqrt Add 1 Mul -1 Pow Mul Add x0 acosh x4 Add x0 acosh x4 -1 -1 