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