Pow Mul x0 x7 Pow asin log x4 Mul Mul x3 1.73205080756888 x0 
Mul Pow Mul x0 x7 Add Pow asin log x4 Mul Mul x3 1.73205080756888 x0 -1 Add Mul Pow asin log x4 Mul Mul x3 1.73205080756888 x0 x7 Mul Mul Mul x0 x7 log Mul x0 x7 Mul Pow asin log x4 Add Mul Mul x3 1.73205080756888 x0 -1 Mul Mul asin log x4 log asin log x4 Mul x3 1.73205080756888 