Add Pow asin Pow x0 pi Pow Mul -1 x5 x0 -3 
Mul Pow asin Pow x0 pi Add Pow Mul -1 x5 x0 -1 Add Mul Pow Mul -1 x5 x0 Mul Mul Pow x0 Add pi -1 pi Pow sqrt Add 1 Mul -1 Mul Pow x0 pi Pow x0 pi -1 Mul Mul asin Pow x0 pi log asin Pow x0 pi Mul Pow Mul -1 x5 Add x0 -1 Mul Mul -1 x5 log Mul -1 x5 