Mul Mul Add Pow Add asin asin x0 x0 2 1 sec x0 Mul x7 4 
Mul Mul x7 4 Add Mul sec x0 Mul Add asin asin x0 x0 Mul 2 Add Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul asin x0 asin x0 -1 1 Mul Add Pow Add asin asin x0 x0 2 1 Mul tan x0 sec x0 