Mul csc x0 Pow asin Mul x7 x6 Pow Mul x0 pi x0 
Add Mul Pow asin Mul x7 x6 Pow Mul x0 pi x0 Mul Mul -1 cot x0 csc x0 Mul csc x0 Mul Pow asin Mul x7 x6 Add Pow Mul x0 pi x0 -1 Mul Mul asin Mul x7 x6 log asin Mul x7 x6 Mul Pow Mul x0 pi Add x0 -1 Add Mul x0 pi Mul Mul x0 pi log Mul x0 pi 