sec Add Add x4 Pow x0 Mul Add Add x0 -1 acoth exp x0 tan x0 Add -4 x0 
Mul Mul tan Add Add x4 Pow x0 Mul Add Add x0 -1 acoth exp x0 tan x0 Add -4 x0 sec Add Add x4 Pow x0 Mul Add Add x0 -1 acoth exp x0 tan x0 Add -4 x0 Add Mul Pow x0 Add Mul Add Add x0 -1 acoth exp x0 tan x0 -1 Add Mul Add Add x0 -1 acoth exp x0 tan x0 Mul Mul x0 log x0 Add Mul tan x0 Add 1 Mul exp x0 Pow Add 1 Mul -1 Mul exp x0 exp x0 -1 Mul Add Add x0 -1 acoth exp x0 Pow sec x0 2 1 