cot atanh Add acoth sec x0 Add x2 -3 
Mul Mul -1 Pow csc atanh Add acoth sec x0 Add x2 -3 2 Mul Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul sec x0 sec x0 -1 Pow Add 1 Mul -1 Mul Add acoth sec x0 Add x2 -3 Add acoth sec x0 Add x2 -3 -1 