Mul Pow x0 asin x3 Pow Add x1 x3 Mul tan Mul x2 asin x0 -1 
Add Mul Pow Add x1 x3 Mul tan Mul x2 asin x0 -1 Mul Pow x0 Add asin x3 -1 asin x3 Mul Pow x0 asin x3 Mul Pow Add x1 x3 Add Mul tan Mul x2 asin x0 -1 -1 Mul Mul Add x1 x3 log Add x1 x3 Mul -1 Mul Pow sec Mul x2 asin x0 2 Mul x2 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 