atanh Pow cot Pow asec x2 x0 -1 
Mul Mul Pow cot Pow asec x2 x0 2 Mul -1 Mul Mul -1 Pow csc Pow asec x2 x0 2 Mul Pow asec x2 Add x0 -1 Mul asec x2 log asec x2 Pow Add 1 Mul -1 Mul Pow cot Pow asec x2 x0 -1 Pow cot Pow asec x2 x0 -1 -1 