Mul x0 Mul -4 Pow Mul asech atan x2 x0 x0 
Add Mul -4 Pow Mul asech atan x2 x0 x0 Mul x0 Mul -4 Mul Pow Mul asech atan x2 x0 Add x0 -1 Add Mul x0 asech atan x2 Mul Mul asech atan x2 x0 log Mul asech atan x2 x0 