Pow Add Mul Add E 1 -4 Pow Pow Pow E tan x0 2 Mul x0 x7 atanh x1 
Mul Pow Add Mul Add E 1 -4 Pow Pow Pow E tan x0 2 Mul x0 x7 Add atanh x1 -1 Mul atanh x1 Mul Pow Pow Pow E tan x0 2 Add Mul x0 x7 -1 Add Mul Mul x0 x7 Mul Pow E tan x0 Mul 2 Mul Pow E Add tan x0 -1 Mul Mul E log E Pow sec x0 2 Mul Mul Pow Pow E tan x0 2 log Pow Pow E tan x0 2 x7 