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