Mul Mul Mul x4 Pow Mul x2 Pow x0 Add -4 E x0 acoth tan x3 -5 
Mul -5 Mul acoth tan x3 Mul x4 Mul Pow Mul x2 Pow x0 Add -4 E Add x0 -1 Add Mul x0 Mul x2 Mul Pow x0 Add Add -4 E -1 Add -4 E Mul Mul x2 Pow x0 Add -4 E log Mul x2 Pow x0 Add -4 E 