Add Pow x0 sec Pow asin x3 x0 sec x3 
Mul Pow x0 Add sec Pow asin x3 x0 -1 Add sec Pow asin x3 x0 Mul Mul x0 log x0 Mul Mul tan Pow asin x3 x0 sec Pow asin x3 x0 Mul Pow asin x3 Add x0 -1 Mul asin x3 log asin x3 