Add Add x5 Mul Add x7 x0 Mul tan Mul x0 Pow x0 acsch x7 Add Add x0 3 Pow x3 tan x0 x0 
Add Add Mul tan Mul x0 Pow x0 acsch x7 Add Add x0 3 Pow x3 tan x0 Mul Add x7 x0 Add Mul Add Add x0 3 Pow x3 tan x0 Mul Pow sec Mul x0 Pow x0 acsch x7 2 Add Pow x0 acsch x7 Mul x0 Mul Pow x0 Add acsch x7 -1 acsch x7 Mul tan Mul x0 Pow x0 acsch x7 Add 1 Mul Pow x3 Add tan x0 -1 Mul Mul x3 log x3 Pow sec x0 2 1 