Mul Add acsch Pow tan x6 x0 -1 x0 
Add Mul x0 Mul Mul -1 Mul Pow tan x6 Add x0 -1 Mul tan x6 log tan x6 Pow Mul Mul Pow tan x6 x0 Pow tan x6 x0 sqrt Add 1 Mul -1 Pow Mul Pow tan x6 x0 Pow tan x6 x0 -1 -1 Add acsch Pow tan x6 x0 -1 