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