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