Pow Mul Add x0 -2 -1.17520119364380 Add x0 acoth Mul 2 x1 
Mul Pow Mul Add x0 -2 -1.17520119364380 Add Add x0 acoth Mul 2 x1 -1 Add Mul Add x0 acoth Mul 2 x1 -1.17520119364380 Mul Mul Add x0 -2 -1.17520119364380 log Mul Add x0 -2 -1.17520119364380 