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