Mul Pow pi Mul Add x0 -1 asech x7 Pow x0 Mul Pow exp Pow x0 5 4 pi 
Add Mul Pow x0 Mul Pow exp Pow x0 5 4 pi Mul Pow pi Add Mul Add x0 -1 asech x7 -1 Mul Mul pi log pi asech x7 Mul Pow pi Mul Add x0 -1 asech x7 Mul Pow x0 Add Mul Pow exp Pow x0 5 4 pi -1 Add Mul Pow exp Pow x0 5 4 pi Mul Mul x0 log x0 Mul pi Mul Pow exp Pow x0 5 3 Mul 4 Mul exp Pow x0 5 Mul Pow x0 4 5 