Mul acot sqrt asin Add x0 Add Pow -5 x6 x5 Pow 4 Mul x7 2 
Mul Pow 4 Mul x7 2 Mul -1 Mul Mul Pow Mul 2 sqrt asin Add x0 Add Pow -5 x6 x5 -1 Pow sqrt Add 1 Mul -1 Mul Add x0 Add Pow -5 x6 x5 Add x0 Add Pow -5 x6 x5 -1 Pow Add 1 Mul sqrt asin Add x0 Add Pow -5 x6 x5 sqrt asin Add x0 Add Pow -5 x6 x5 -1 