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