Add -3 Add x0 Pow asech atan Mul x1 2 Mul Mul x0 x7 Pow x0 Mul Mul E x0 x0 
Add 1 Mul Pow asech atan Mul x1 2 Add Mul Mul x0 x7 Pow x0 Mul Mul E x0 x0 -1 Mul Mul asech atan Mul x1 2 log asech atan Mul x1 2 Add Mul Pow x0 Mul Mul E x0 x0 x7 Mul Mul x0 x7 Mul Pow x0 Add Mul Mul E x0 x0 -1 Add Mul Mul E x0 x0 Mul Mul x0 log x0 Add Mul x0 E Mul E x0 