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