sqrt Mul x0 Pow Add -4 tan x3 sqrt acot Add x0 csc x7 
Mul Pow Mul 2 sqrt Mul x0 Pow Add -4 tan x3 sqrt acot Add x0 csc x7 -1 Add Pow Add -4 tan x3 sqrt acot Add x0 csc x7 Mul x0 Mul Pow Add -4 tan x3 Add sqrt acot Add x0 csc x7 -1 Mul Mul Add -4 tan x3 log Add -4 tan x3 Mul Pow Mul 2 sqrt acot Add x0 csc x7 -1 Mul -1 Pow Add 1 Mul Add x0 csc x7 Add x0 csc x7 -1 