Mul Add x6 Add -3 x0 acosh Add Pow x0 atan x1 x3 
Add acosh Add Pow x0 atan x1 x3 Mul Add x6 Add -3 x0 Mul Mul Pow x0 Add atan x1 -1 atan x1 Pow Mul sqrt Add Add Pow x0 atan x1 x3 -1 sqrt Add 1 Add Pow x0 atan x1 x3 -1 