Mul Pow Pow Mul x0 acoth Pow x0 x2 Mul -4 cosh tan x1 3 4 
Mul 4 Mul Pow Pow Mul x0 acoth Pow x0 x2 Mul -4 cosh tan x1 2 Mul 3 Mul Pow Mul x0 acoth Pow x0 x2 Add Mul -4 cosh tan x1 -1 Mul Mul -4 cosh tan x1 Add acoth Pow x0 x2 Mul x0 Mul Mul Pow x0 Add x2 -1 x2 Pow Add 1 Mul -1 Mul Pow x0 x2 Pow x0 x2 -1 