Mul x0 Mul x0 Pow Pow sech x3 Add x0 x0 Mul x0 Add Mul 2 x0 Add -4 Add x7 x7 
Add Mul x0 Pow Pow sech x3 Add x0 x0 Mul x0 Add Mul 2 x0 Add -4 Add x7 x7 Mul x0 Add Pow Pow sech x3 Add x0 x0 Mul x0 Add Mul 2 x0 Add -4 Add x7 x7 Mul x0 Mul Pow Pow sech x3 Add x0 x0 Add Mul x0 Add Mul 2 x0 Add -4 Add x7 x7 -1 Add Mul Mul x0 Add Mul 2 x0 Add -4 Add x7 x7 Mul Pow sech x3 Add Add x0 x0 -1 Mul Mul sech x3 log sech x3 2 Mul Mul Pow sech x3 Add x0 x0 log Pow sech x3 Add x0 x0 Add Add Mul 2 x0 Add -4 Add x7 x7 Mul x0 2 