Pow Mul x0 Add Pow sec exp x7 x0 -5 sech x4 
Mul Pow Mul x0 Add Pow sec exp x7 x0 -5 Add sech x4 -1 Mul sech x4 Add Add Pow sec exp x7 x0 -5 Mul x0 Mul Pow sec exp x7 Add x0 -1 Mul sec exp x7 log sec exp x7 