Mul Add log x5 Add 5 acot Pow Mul x0 E x2 Add x5 x0 
Add Mul Add x5 x0 Mul -1 Mul Mul Pow Mul x0 E Add x2 -1 Mul x2 E Pow Add 1 Mul Pow Mul x0 E x2 Pow Mul x0 E x2 -1 Add log x5 Add 5 acot Pow Mul x0 E x2 