acot Mul Add Pow Pow x0 x5 1.17520119364380 sqrt Pow Pow Mul x0 x0 2 x3 x0 
Mul -1 Mul Add Mul x0 Add Mul Pow Pow x0 x5 0.175201193643801 Mul 1.17520119364380 Mul Pow x0 Add x5 -1 x5 Mul Pow Mul 2 sqrt Pow Pow Mul x0 x0 2 x3 -1 Mul Pow Pow Mul x0 x0 2 Add x3 -1 Mul x3 Mul Mul x0 x0 Mul 2 Add x0 x0 Add Pow Pow x0 x5 1.17520119364380 sqrt Pow Pow Mul x0 x0 2 x3 Pow Add 1 Mul Mul Add Pow Pow x0 x5 1.17520119364380 sqrt Pow Pow Mul x0 x0 2 x3 x0 Mul Add Pow Pow x0 x5 1.17520119364380 sqrt Pow Pow Mul x0 x0 2 x3 x0 -1 