Add Pow x0 Mul x0 Mul x0 cot Mul -2 asin x7 Mul x0 pi 
Add Mul Pow x0 Add Mul x0 Mul x0 cot Mul -2 asin x7 -1 Add Mul x0 Mul x0 cot Mul -2 asin x7 Mul Mul x0 log x0 Add Mul x0 cot Mul -2 asin x7 Mul x0 cot Mul -2 asin x7 pi 