Pow Add x0 Pow coth acosh tan x0 Add tan x5 x0 x2 
Mul Pow Add x0 Pow coth acosh tan x0 Add tan x5 x0 Add x2 -1 Mul x2 Add 1 Mul Pow coth acosh tan x0 Add Add tan x5 x0 -1 Add Mul Add tan x5 x0 Mul Mul -1 Pow csch acosh tan x0 2 Mul Pow sec x0 2 Pow Mul sqrt Add tan x0 -1 sqrt Add 1 tan x0 -1 Mul coth acosh tan x0 log coth acosh tan x0 