Mul x3 asin Mul x4 Pow asec E Mul x0 x0 
Mul x3 Mul Mul x4 Mul Pow asec E Add Mul x0 x0 -1 Mul Mul asec E log asec E Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x4 Pow asec E Mul x0 x0 Mul x4 Pow asec E Mul x0 x0 -1 