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