atan Mul asec x0 Pow asech x6 Add Add sech sqrt x0 x0 x0 
Mul Add Mul Pow asech x6 Add Add sech sqrt x0 x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 Mul Pow asech x6 Add Add Add sech sqrt x0 x0 x0 -1 Mul Mul asech x6 log asech x6 Add Add Mul Mul tanh sqrt x0 Mul -1 sech sqrt x0 Pow Mul 2 sqrt x0 -1 1 1 Pow Add 1 Mul Mul asec x0 Pow asech x6 Add Add sech sqrt x0 x0 x0 Mul asec x0 Pow asech x6 Add Add sech sqrt x0 x0 x0 -1 