Mul x0 Mul x2 Mul -5 Mul Mul x0 acsch x3 Mul Mul tan x0 Pow acot sec log x0 Pow -1 x1 x0 
Add Mul x2 Mul -5 Mul Mul x0 acsch x3 Mul Mul tan x0 Pow acot sec log x0 Pow -1 x1 x0 Mul x0 Mul x2 Mul -5 Add Mul Mul Mul tan x0 Pow acot sec log x0 Pow -1 x1 x0 acsch x3 Mul Mul x0 acsch x3 Add Mul x0 Add Mul Pow acot sec log x0 Pow -1 x1 Pow sec x0 2 Mul tan x0 Mul Pow acot sec log x0 Add Pow -1 x1 -1 Mul Pow -1 x1 Mul -1 Mul Mul Mul tan log x0 sec log x0 Pow x0 -1 Pow Add 1 Mul sec log x0 sec log x0 -1 Mul tan x0 Pow acot sec log x0 Pow -1 x1 