Pow Add acos coth x0 Add x0 sec log Mul x0 x0 Mul tan x0 x5 
Mul Pow Add acos coth x0 Add x0 sec log Mul x0 x0 Add Mul tan x0 x5 -1 Add Mul Mul tan x0 x5 Add Mul -1 Mul Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul coth x0 coth x0 -1 Add 1 Mul Mul tan log Mul x0 x0 sec log Mul x0 x0 Mul Add x0 x0 Pow Mul x0 x0 -1 Mul Mul Add acos coth x0 Add x0 sec log Mul x0 x0 log Add acos coth x0 Add x0 sec log Mul x0 x0 Mul x5 Pow sec x0 2 