Mul Pow tan x0 Add -4 x3 acosh exp atanh x0 
Add Mul acosh exp atanh x0 Mul Pow tan x0 Add Add -4 x3 -1 Mul Add -4 x3 Pow sec x0 2 Mul Pow tan x0 Add -4 x3 Mul Mul exp atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add exp atanh x0 -1 sqrt Add 1 exp atanh x0 -1 