Mul Pow x0 Add x0 Add x0 E log Mul x0 log asin x0 
Add Mul log Mul x0 log asin x0 Mul Pow x0 Add Add x0 Add x0 E -1 Add Add x0 Add x0 E Mul Mul x0 log x0 2 Mul Pow x0 Add x0 Add x0 E Mul Add log asin x0 Mul x0 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow asin x0 -1 Pow Mul x0 log asin x0 -1 