Mul x0 Add Add Mul acot x7 x0 Mul Mul Mul x6 x2 tan Mul log x0 x0 x1 x7 
Add Add Add Mul acot x7 x0 Mul Mul Mul x6 x2 tan Mul log x0 x0 x1 x7 Mul x0 Add acot x7 Mul x1 Mul Mul x6 x2 Mul Pow sec Mul log x0 x0 2 Add Mul x0 Pow x0 -1 log x0 