Mul Mul acsch Mul x0 Add Add x0 csch x0 acot atan tan x4 4 -2 
Mul -2 Mul 4 Mul Mul -1 Add Add Add x0 csch x0 acot atan tan x4 Mul x0 Add 1 Mul Mul -1 coth x0 csch x0 Pow Mul Mul Mul x0 Add Add x0 csch x0 acot atan tan x4 Mul x0 Add Add x0 csch x0 acot atan tan x4 sqrt Add 1 Mul -1 Pow Mul Mul x0 Add Add x0 csch x0 acot atan tan x4 Mul x0 Add Add x0 csch x0 acot atan tan x4 -1 -1 