Mul Pow Pow Add -3 x0 atanh x2 tan x0 sqrt x5 
Mul sqrt x5 Mul Pow Pow Add -3 x0 atanh x2 Add tan x0 -1 Add Mul tan x0 Mul Pow Add -3 x0 Add atanh x2 -1 atanh x2 Mul Mul Pow Add -3 x0 atanh x2 log Pow Add -3 x0 atanh x2 Pow sec x0 2 