acoth Mul x0 cot Pow x0 acos E 
Mul Add cot Pow x0 acos E Mul x0 Mul Mul -1 Pow csc Pow x0 acos E 2 Mul Pow x0 Add acos E -1 acos E Pow Add 1 Mul -1 Mul Mul x0 cot Pow x0 acos E Mul x0 cot Pow x0 acos E -1 