Pow Mul Pow sech x5 x0 x0 x0 
Mul Pow Mul Pow sech x5 x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul Pow sech x5 Add x0 -1 Mul sech x5 log sech x5 Pow sech x5 x0 Mul Mul Pow sech x5 x0 x0 log Mul Pow sech x5 x0 x0 