Pow Pow x2 Pow Add x0 Pow exp Mul log x4 asech x3 x0 x0 x0 
Mul Pow Pow x2 Pow Add x0 Pow exp Mul log x4 asech x3 x0 x0 Add x0 -1 Add Mul x0 Mul Pow x2 Add Pow Add x0 Pow exp Mul log x4 asech x3 x0 x0 -1 Mul Mul x2 log x2 Mul Pow Add x0 Pow exp Mul log x4 asech x3 x0 Add x0 -1 Add Mul x0 Add 1 Mul Pow exp Mul log x4 asech x3 Add x0 -1 Mul exp Mul log x4 asech x3 log exp Mul log x4 asech x3 Mul Add x0 Pow exp Mul log x4 asech x3 x0 log Add x0 Pow exp Mul log x4 asech x3 x0 Mul Pow x2 Pow Add x0 Pow exp Mul log x4 asech x3 x0 x0 log Pow x2 Pow Add x0 Pow exp Mul log x4 asech x3 x0 x0 