Mul Add Mul Add x3 4 x0 atan Pow Add tan Mul Mul Add x7 -2 log x1 Mul x0 E x0 4 x0 
Add Mul x0 Add Add x3 4 Mul Mul Pow Add tan Mul Mul Add x7 -2 log x1 Mul x0 E x0 3 Mul 4 Add Mul Pow sec Mul Mul Add x7 -2 log x1 Mul x0 E 2 Mul Mul Add x7 -2 log x1 E 1 Pow Add 1 Mul Pow Add tan Mul Mul Add x7 -2 log x1 Mul x0 E x0 4 Pow Add tan Mul Mul Add x7 -2 log x1 Mul x0 E x0 4 -1 Add Mul Add x3 4 x0 atan Pow Add tan Mul Mul Add x7 -2 log x1 Mul x0 E x0 4 