Pow Mul x0 sech sech x1 Pow Pow x0 -4 x1 
Mul Pow Mul x0 sech sech x1 Add Pow Pow x0 -4 x1 -1 Add Mul Pow Pow x0 -4 x1 sech sech x1 Mul Mul Mul x0 sech sech x1 log Mul x0 sech sech x1 Mul Pow Pow x0 -4 Add x1 -1 Mul x1 Mul Pow x0 5 -4 