atan Mul tan x0 Pow Add Pow Pow acot x0 -1 log Pow x0 x7 x0 Mul x0 E 
Mul Add Mul Pow Add Pow Pow acot x0 -1 log Pow x0 x7 x0 Mul x0 E Pow sec x0 2 Mul tan x0 Mul Pow Add Pow Pow acot x0 -1 log Pow x0 x7 x0 Add Mul x0 E -1 Add Mul Mul x0 E Add Mul Pow Pow acot x0 -1 Add log Pow x0 x7 -1 Add Mul log Pow x0 x7 Mul Pow acot x0 2 Mul -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Pow acot x0 -1 log Pow acot x0 -1 Mul Mul Pow x0 Add x7 -1 x7 Pow Pow x0 x7 -1 1 Mul Mul Add Pow Pow acot x0 -1 log Pow x0 x7 x0 log Add Pow Pow acot x0 -1 log Pow x0 x7 x0 E Pow Add 1 Mul Mul tan x0 Pow Add Pow Pow acot x0 -1 log Pow x0 x7 x0 Mul x0 E Mul tan x0 Pow Add Pow Pow acot x0 -1 log Pow x0 x7 x0 Mul x0 E -1 