Mul sin x0 Add Pow Mul x1 x7 Mul Add x1 x0 Mul log x1 acot x0 E 
Add Mul Add Pow Mul x1 x7 Mul Add x1 x0 Mul log x1 acot x0 E cos x0 Mul sin x0 Mul Pow Mul x1 x7 Add Mul Add x1 x0 Mul log x1 acot x0 -1 Mul Mul Mul x1 x7 log Mul x1 x7 Add Mul log x1 acot x0 Mul Add x1 x0 Mul log x1 Mul -1 Pow Add 1 Mul x0 x0 -1 