Mul tan x3 acoth Mul Pow E Mul x0 x0 Add x0 -1 
Mul tan x3 Mul Add Mul Add x0 -1 Mul Pow E Add Mul x0 x0 -1 Mul Mul E log E Add x0 x0 Pow E Mul x0 x0 Pow Add 1 Mul -1 Mul Mul Pow E Mul x0 x0 Add x0 -1 Mul Pow E Mul x0 x0 Add x0 -1 -1 