Pow Pow x0 asin x7 Pow Mul acsc Mul x7 acot x3 2 x0 
Mul Pow Pow x0 asin x7 Add Pow Mul acsc Mul x7 acot x3 2 x0 -1 Add Mul Pow Mul acsc Mul x7 acot x3 2 x0 Mul Pow x0 Add asin x7 -1 asin x7 Mul Mul Pow x0 asin x7 log Pow x0 asin x7 Mul Pow Mul acsc Mul x7 acot x3 2 Add x0 -1 Mul Mul acsc Mul x7 acot x3 2 log Mul acsc Mul x7 acot x3 2 