acot Add sin Pow x1 Add x0 sin x3 Add 2 x0 
Mul -1 Mul Add Mul cos Pow x1 Add x0 sin x3 Mul Pow x1 Add Add x0 sin x3 -1 Mul x1 log x1 1 Pow Add 1 Mul Add sin Pow x1 Add x0 sin x3 Add 2 x0 Add sin Pow x1 Add x0 sin x3 Add 2 x0 -1 