Mul log Mul Add Mul asech pi acoth x0 acot Mul x0 Add acsch x0 tan x0 Mul x0 x2 x6 
Mul x6 Mul Add Mul Mul x0 x2 Add Mul asech pi Pow Add 1 Mul -1 Mul x0 x0 -1 Mul -1 Mul Add Add acsch x0 tan x0 Mul x0 Add Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sec x0 2 Pow Add 1 Mul Mul x0 Add acsch x0 tan x0 Mul x0 Add acsch x0 tan x0 -1 Mul Add Mul asech pi acoth x0 acot Mul x0 Add acsch x0 tan x0 x2 Pow Mul Add Mul asech pi acoth x0 acot Mul x0 Add acsch x0 tan x0 Mul x0 x2 -1 