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