Mul Pow log Mul Mul E x0 Add x0 x0 Add x0 Add sech x1 x7 x5 
Mul x5 Mul Pow log Mul Mul E x0 Add x0 x0 Add Add x0 Add sech x1 x7 -1 Add Mul Add x0 Add sech x1 x7 Mul Add Mul Add x0 x0 E Mul Mul E x0 2 Pow Mul Mul E x0 Add x0 x0 -1 Mul log Mul Mul E x0 Add x0 x0 log log Mul Mul E x0 Add x0 x0 