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