Mul x0 Add Mul 2 acot Add Add x0 Add Pow x2 x0 Mul E asec x2 x3 Add -2 x0 
Add Add Mul 2 acot Add Add x0 Add Pow x2 x0 Mul E asec x2 x3 Add -2 x0 Mul x0 Add Mul 2 Mul -1 Mul Add 1 Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Add 1 Mul Add Add x0 Add Pow x2 x0 Mul E asec x2 x3 Add Add x0 Add Pow x2 x0 Mul E asec x2 x3 -1 1 