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