Pow Mul x0 Add sqrt Add -4 Add 3 acot x0 2 atanh tan x4 
Mul Pow Mul x0 Add sqrt Add -4 Add 3 acot x0 2 Add atanh tan x4 -1 Mul atanh tan x4 Add Add sqrt Add -4 Add 3 acot x0 2 Mul x0 Mul Pow Mul 2 sqrt Add -4 Add 3 acot x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 