Add Add Mul x3 x0 Pow 5.93831942758571 Add Mul x5 Add acot Mul x0 1.37340076694502 2 x0 x0 
Add Add x3 Mul Pow 5.93831942758571 Add Add Mul x5 Add acot Mul x0 1.37340076694502 2 x0 -1 Mul 7.71974559628066 Add Mul x5 Mul -1 Mul 1.37340076694502 Pow Add 1 Mul Mul x0 1.37340076694502 Mul x0 1.37340076694502 -1 1 1 