Mul Mul sec x0 Pow sin x1 Mul -4 acot x0 x0 
Add Mul x0 Add Mul Pow sin x1 Mul -4 acot x0 Mul tan x0 sec x0 Mul sec x0 Mul Pow sin x1 Add Mul -4 acot x0 -1 Mul Mul sin x1 log sin x1 Mul -4 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul sec x0 Pow sin x1 Mul -4 acot x0 