Mul Mul Pow sqrt Mul x0 Pow x7 x6 Mul x0 Add E -5 acot x3 x0 
Add Mul x0 Mul acot x3 Mul Pow sqrt Mul x0 Pow x7 x6 Add Mul x0 Add E -5 -1 Add Mul Mul x0 Add E -5 Mul Pow Mul 2 sqrt Mul x0 Pow x7 x6 -1 Pow x7 x6 Mul Mul sqrt Mul x0 Pow x7 x6 log sqrt Mul x0 Pow x7 x6 Add E -5 Mul Pow sqrt Mul x0 Pow x7 x6 Mul x0 Add E -5 acot x3 