atan Pow Add Add log Add 3 x0 asech x1 x3 -1 
Mul Mul Pow Add Add log Add 3 x0 asech x1 x3 2 Mul -1 Pow Add 3 x0 -1 Pow Add 1 Mul Pow Add Add log Add 3 x0 asech x1 x3 -1 Pow Add Add log Add 3 x0 asech x1 x3 -1 -1 