Mul Pow Mul Add -3 x0 asec x7 atanh x0 x0 
Add Mul x0 Mul Pow Mul Add -3 x0 asec x7 Add atanh x0 -1 Add Mul atanh x0 asec x7 Mul Mul Mul Add -3 x0 asec x7 log Mul Add -3 x0 asec x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Add -3 x0 asec x7 atanh x0 