sqrt Pow Add exp x0 cot x0 Mul Mul x0 asin x7 2 
Mul Pow Mul 2 sqrt Pow Add exp x0 cot x0 Mul Mul x0 asin x7 2 -1 Mul Pow Add exp x0 cot x0 Add Mul Mul x0 asin x7 2 -1 Add Mul Mul Mul x0 asin x7 2 Add exp x0 Mul -1 Pow csc x0 2 Mul Mul Add exp x0 cot x0 log Add exp x0 cot x0 Mul 2 asin x7 