Add Add Mul x0 Add Mul x2 x0 Pow acoth Add x0 1.73205080756888 asec x7 x5 Add x0 x0 
Add Add Add Mul x2 x0 Pow acoth Add x0 1.73205080756888 asec x7 Mul x0 Add x2 Mul Pow acoth Add x0 1.73205080756888 Add asec x7 -1 Mul asec x7 Pow Add 1 Mul -1 Mul Add x0 1.73205080756888 Add x0 1.73205080756888 -1 2 