Mul x0 Pow Pow Mul Pow x2 x0 -4 asin Pow x0 E Mul E x6 
Add Pow Pow Mul Pow x2 x0 -4 asin Pow x0 E Mul E x6 Mul x0 Mul Pow Pow Mul Pow x2 x0 -4 asin Pow x0 E Add Mul E x6 -1 Mul Mul E x6 Mul Pow Mul Pow x2 x0 -4 Add asin Pow x0 E -1 Add Mul asin Pow x0 E Mul -4 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Mul Mul Pow x2 x0 -4 log Mul Pow x2 x0 -4 Mul Mul Pow x0 Add E -1 E Pow sqrt Add 1 Mul -1 Mul Pow x0 E Pow x0 E -1 