Add sqrt Add x0 acos Add Mul Add Mul 1.17520119364380 acosh Add x0 -2 asech pi Add x0 x0 x6 x0 
Add Mul Pow Mul 2 sqrt Add x0 acos Add Mul Add Mul 1.17520119364380 acosh Add x0 -2 asech pi Add x0 x0 x6 -1 Add 1 Mul -1 Mul Add Mul Add x0 x0 Mul 1.17520119364380 Pow Mul sqrt Add Add x0 -2 -1 sqrt Add 1 Add x0 -2 -1 Mul Add Mul 1.17520119364380 acosh Add x0 -2 asech pi 2 Pow sqrt Add 1 Mul -1 Mul Add Mul Add Mul 1.17520119364380 acosh Add x0 -2 asech pi Add x0 x0 x6 Add Mul Add Mul 1.17520119364380 acosh Add x0 -2 asech pi Add x0 x0 x6 -1 1 