Mul x0 Pow Add x7 Mul -1 Pow sec x0 Add Pow sin Pow 2 Pow x0 acot Mul x0 acot x2 Add x0 -3 x0 5 
Add Pow Add x7 Mul -1 Pow sec x0 Add Pow sin Pow 2 Pow x0 acot Mul x0 acot x2 Add x0 -3 x0 5 Mul x0 Mul Pow Add x7 Mul -1 Pow sec x0 Add Pow sin Pow 2 Pow x0 acot Mul x0 acot x2 Add x0 -3 x0 4 Mul 5 Mul -1 Mul Pow sec x0 Add Add Pow sin Pow 2 Pow x0 acot Mul x0 acot x2 Add x0 -3 x0 -1 Add Mul Add Pow sin Pow 2 Pow x0 acot Mul x0 acot x2 Add x0 -3 x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Add Mul Pow sin Pow 2 Pow x0 acot Mul x0 acot x2 Add Add x0 -3 -1 Add Mul Add x0 -3 Mul cos Pow 2 Pow x0 acot Mul x0 acot x2 Mul Pow 2 Add Pow x0 acot Mul x0 acot x2 -1 Mul 2.69314718055995 Mul Pow x0 Add acot Mul x0 acot x2 -1 Add acot Mul x0 acot x2 Mul Mul x0 log x0 Mul -1 Mul acot x2 Pow Add 1 Mul Mul x0 acot x2 Mul x0 acot x2 -1 Mul sin Pow 2 Pow x0 acot Mul x0 acot x2 log sin Pow 2 Pow x0 acot Mul x0 acot x2 1 