Pow Mul x6 x0 Pow Pow x3 x4 Pow sech x1 x0 
Mul Pow Mul x6 x0 Add Pow Pow x3 x4 Pow sech x1 x0 -1 Add Mul Pow Pow x3 x4 Pow sech x1 x0 x6 Mul Mul Mul x6 x0 log Mul x6 x0 Mul Pow Pow x3 x4 Add Pow sech x1 x0 -1 Mul Mul Pow x3 x4 log Pow x3 x4 Mul Pow sech x1 Add x0 -1 Mul sech x1 log sech x1 