Pow csc Pow x0 Pow acot sqrt x3 Mul x0 x0 Mul Add x5 2 x4 
Mul Pow csc Pow x0 Pow acot sqrt x3 Mul x0 x0 Add Mul Add x5 2 x4 -1 Mul Mul Add x5 2 x4 Mul Mul Mul -1 cot Pow x0 Pow acot sqrt x3 Mul x0 x0 csc Pow x0 Pow acot sqrt x3 Mul x0 x0 Mul Pow x0 Add Pow acot sqrt x3 Mul x0 x0 -1 Add Pow acot sqrt x3 Mul x0 x0 Mul Mul x0 log x0 Mul Pow acot sqrt x3 Add Mul x0 x0 -1 Mul Mul acot sqrt x3 log acot sqrt x3 Add x0 x0 