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