Mul Pow acot x0 Mul x0 csc Add exp x0 -2 4 
Mul 4 Mul Pow acot x0 Add Mul x0 csc Add exp x0 -2 -1 Add Mul Mul x0 csc Add exp x0 -2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Add csc Add exp x0 -2 Mul x0 Mul Mul Mul -1 cot Add exp x0 -2 csc Add exp x0 -2 exp x0 