Add Pow x0 acot x0 Mul x0 cot Mul Mul atanh sinh x6 Pow x2 sqrt atan asin pi x0 
Add Mul Pow x0 Add acot x0 -1 Add acot x0 Mul Mul x0 log x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Add cot Mul Mul atanh sinh x6 Pow x2 sqrt atan asin pi x0 Mul x0 Mul Mul -1 Pow csc Mul Mul atanh sinh x6 Pow x2 sqrt atan asin pi x0 2 Mul atanh sinh x6 Pow x2 sqrt atan asin pi 