Mul exp x0 Add Add Pow Mul asech x7 x0 x0 x0 Pow E pi 
Add Mul Add Add Pow Mul asech x7 x0 x0 x0 Pow E pi exp x0 Mul exp x0 Add Mul Pow Mul asech x7 x0 Add x0 -1 Add Mul x0 asech x7 Mul Mul asech x7 x0 log Mul asech x7 x0 1 