Mul x0 Pow Add Add exp Add -3 x0 acot x7 Pow tan Mul 3 Mul x0 5 x7 x0 
Add Pow Add Add exp Add -3 x0 acot x7 Pow tan Mul 3 Mul x0 5 x7 x0 Mul x0 Mul Pow Add Add exp Add -3 x0 acot x7 Pow tan Mul 3 Mul x0 5 x7 Add x0 -1 Add Mul x0 Add exp Add -3 x0 Mul Pow tan Mul 3 Mul x0 5 Add x7 -1 Mul x7 Mul Pow sec Mul 3 Mul x0 5 2 8 Mul Add Add exp Add -3 x0 acot x7 Pow tan Mul 3 Mul x0 5 x7 log Add Add exp Add -3 x0 acot x7 Pow tan Mul 3 Mul x0 5 x7 