atan Pow Add csc Mul -1 x0 Mul acot x0 -1 3 
Mul Mul Pow Add csc Mul -1 x0 Mul acot x0 -1 2 Mul 3 Add Mul Mul Mul -1 cot Mul -1 x0 csc Mul -1 x0 -1 Mul -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Pow Add csc Mul -1 x0 Mul acot x0 -1 3 Pow Add csc Mul -1 x0 Mul acot x0 -1 3 -1 