Mul acosh x0 tan Pow tan Mul Add x7 tan x5 x0 Add cot Pow x0 x0 x0 
Add Mul tan Pow tan Mul Add x7 tan x5 x0 Add cot Pow x0 x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Pow sec Pow tan Mul Add x7 tan x5 x0 Add cot Pow x0 x0 x0 2 Mul Pow tan Mul Add x7 tan x5 x0 Add Add cot Pow x0 x0 x0 -1 Add Mul Add cot Pow x0 x0 x0 Mul Pow sec Mul Add x7 tan x5 x0 2 Add x7 tan x5 Mul Mul tan Mul Add x7 tan x5 x0 log tan Mul Add x7 tan x5 x0 Add Mul Mul -1 Pow csc Pow x0 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 