Add Mul Mul x0 x3 sin Pow asin x7 asin x0 -1 
Add Mul sin Pow asin x7 asin x0 x3 Mul Mul x0 x3 Mul cos Pow asin x7 asin x0 Mul Pow asin x7 Add asin x0 -1 Mul Mul asin x7 log asin x7 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 