Pow x0 Pow exp Mul Pow Add x5 x0 asech asech x2 x7 atan Mul -4 x0 
Mul Pow x0 Add Pow exp Mul Pow Add x5 x0 asech asech x2 x7 atan Mul -4 x0 -1 Add Pow exp Mul Pow Add x5 x0 asech asech x2 x7 atan Mul -4 x0 Mul Mul x0 log x0 Mul Pow exp Mul Pow Add x5 x0 asech asech x2 x7 Add atan Mul -4 x0 -1 Add Mul atan Mul -4 x0 Mul exp Mul Pow Add x5 x0 asech asech x2 x7 Mul x7 Mul Pow Add x5 x0 Add asech asech x2 -1 asech asech x2 Mul Mul exp Mul Pow Add x5 x0 asech asech x2 x7 log exp Mul Pow Add x5 x0 asech asech x2 x7 Mul -4 Pow Add 1 Mul Mul -4 x0 Mul -4 x0 -1 