Mul Add exp x3 acot x0 Mul Mul x1 Add x0 x0 Pow x7 Pow exp Add 1 x0 Add sec x0 -4 
Add Mul Mul Mul x1 Add x0 x0 Pow x7 Pow exp Add 1 x0 Add sec x0 -4 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Add exp x3 acot x0 Add Mul Pow x7 Pow exp Add 1 x0 Add sec x0 -4 Mul x1 2 Mul Mul x1 Add x0 x0 Mul Pow x7 Add Pow exp Add 1 x0 Add sec x0 -4 -1 Mul Mul x7 log x7 Mul Pow exp Add 1 x0 Add Add sec x0 -4 -1 Add Mul Add sec x0 -4 exp Add 1 x0 Mul Mul exp Add 1 x0 log exp Add 1 x0 Mul tan x0 sec x0 