Add exp Pow Pow Mul 4 asec atanh x6 x0 x3 Mul Add x0 x0 x0 
Add Mul exp Pow Pow Mul 4 asec atanh x6 x0 x3 Mul Pow Pow Mul 4 asec atanh x6 x0 Add x3 -1 Mul x3 Mul Pow Mul 4 asec atanh x6 Add x0 -1 Mul Mul 4 asec atanh x6 log Mul 4 asec atanh x6 Add Mul x0 2 Add x0 x0 