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