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