Add Add Pow Mul Pow Pow log x1 atan asech x0 x1 -4 x0 Add Mul x0 x6 x0 sin Pow x0 sec x7 
Add Add Mul Pow Mul Pow Pow log x1 atan asech x0 x1 -4 Add x0 -1 Add Mul x0 Mul -4 Mul Pow Pow log x1 atan asech x0 Add x1 -1 Mul x1 Mul Pow log x1 Add atan asech x0 -1 Mul Mul log x1 log log x1 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul asech x0 asech x0 -1 Mul Mul Pow Pow log x1 atan asech x0 x1 -4 log Mul Pow Pow log x1 atan asech x0 x1 -4 Add x6 1 Mul cos Pow x0 sec x7 Mul Pow x0 Add sec x7 -1 sec x7 