atanh Pow Pow Add x4 Pow Pow tan x7 x0 x0 x0 acsch x2 
Mul Mul Pow Pow Add x4 Pow Pow tan x7 x0 x0 x0 Add acsch x2 -1 Mul acsch x2 Mul Pow Add x4 Pow Pow tan x7 x0 x0 Add x0 -1 Add Mul x0 Mul Pow Pow tan x7 x0 Add x0 -1 Add Mul x0 Mul Pow tan x7 Add x0 -1 Mul tan x7 log tan x7 Mul Pow tan x7 x0 log Pow tan x7 x0 Mul Add x4 Pow Pow tan x7 x0 x0 log Add x4 Pow Pow tan x7 x0 x0 Pow Add 1 Mul -1 Mul Pow Pow Add x4 Pow Pow tan x7 x0 x0 x0 acsch x2 Pow Pow Add x4 Pow Pow tan x7 x0 x0 x0 acsch x2 -1 