atan Mul Mul Pow x7 asec x6 cosh Add x0 asech x1 Mul 3 Add x3 x0 
Mul Add Mul Mul 3 Add x3 x0 Mul Pow x7 asec x6 sinh Add x0 asech x1 Mul Mul Pow x7 asec x6 cosh Add x0 asech x1 3 Pow Add 1 Mul Mul Mul Pow x7 asec x6 cosh Add x0 asech x1 Mul 3 Add x3 x0 Mul Mul Pow x7 asec x6 cosh Add x0 asech x1 Mul 3 Add x3 x0 -1 