cot Pow csc csc Pow x0 acos Mul x0 x3 -5 
Mul Mul -1 Pow csc Pow csc csc Pow x0 acos Mul x0 x3 -5 2 Mul Pow csc csc Pow x0 acos Mul x0 x3 6 Mul -5 Mul Mul Mul -1 cot csc Pow x0 acos Mul x0 x3 csc csc Pow x0 acos Mul x0 x3 Mul Mul Mul -1 cot Pow x0 acos Mul x0 x3 csc Pow x0 acos Mul x0 x3 Mul Pow x0 Add acos Mul x0 x3 -1 Add acos Mul x0 x3 Mul Mul x0 log x0 Mul -1 Mul x3 Pow sqrt Add 1 Mul -1 Mul Mul x0 x3 Mul x0 x3 -1 