Mul Mul Add asech Add x0 x3 x0 acosh Pow x5 Mul sech x7 4 x0 
Add Mul x0 Mul acosh Pow x5 Mul sech x7 4 Add Pow Mul Mul Add x0 x3 Add x0 x3 sqrt Add 1 Mul -1 Pow Mul Add x0 x3 Add x0 x3 -1 -1 1 Mul Add asech Add x0 x3 x0 acosh Pow x5 Mul sech x7 4 