atan Add Add x0 Add cosh x0 x0 Pow asech x7 Add x0 x0 
Mul Add Add 1 Add sinh x0 1 Mul Pow asech x7 Add Add x0 x0 -1 Mul Mul asech x7 log asech x7 2 Pow Add 1 Mul Add Add x0 Add cosh x0 x0 Pow asech x7 Add x0 x0 Add Add x0 Add cosh x0 x0 Pow asech x7 Add x0 x0 -1 