Pow asin atan log Mul x0 x7 sqrt Mul x2 sec tan x0 
Mul Pow asin atan log Mul x0 x7 Add sqrt Mul x2 sec tan x0 -1 Add Mul sqrt Mul x2 sec tan x0 Mul Mul Mul x7 Pow Mul x0 x7 -1 Pow Add 1 Mul log Mul x0 x7 log Mul x0 x7 -1 Pow sqrt Add 1 Mul -1 Mul atan log Mul x0 x7 atan log Mul x0 x7 -1 Mul Mul asin atan log Mul x0 x7 log asin atan log Mul x0 x7 Mul Pow Mul 2 sqrt Mul x2 sec tan x0 -1 Mul x2 Mul Mul tan tan x0 sec tan x0 Pow sec x0 2 