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