Add Mul -2 Pow cos Add tan x0 sqrt x0 Mul x3 asin x7 atan sqrt x0 
Add Mul -2 Mul Pow cos Add tan x0 sqrt x0 Add Mul x3 asin x7 -1 Mul Mul x3 asin x7 Mul Mul -1 sin Add tan x0 sqrt x0 Add Pow sec x0 2 Pow Mul 2 sqrt x0 -1 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 