Pow Mul x0 Pow x2 asec E Pow Mul 4 x0 Add Pow tan E x2 -4 
Mul Pow Mul x0 Pow x2 asec E Add Pow Mul 4 x0 Add Pow tan E x2 -4 -1 Add Mul Pow Mul 4 x0 Add Pow tan E x2 -4 Pow x2 asec E Mul Mul Mul x0 Pow x2 asec E log Mul x0 Pow x2 asec E Mul Pow Mul 4 x0 Add Add Pow tan E x2 -4 -1 Mul Add Pow tan E x2 -4 4 