Pow Mul sech E x0 Add Pow Mul x0 5 Mul x0 x3 Pow E x0 
Mul Pow Mul sech E x0 Add Add Pow Mul x0 5 Mul x0 x3 Pow E x0 -1 Add Mul Add Pow Mul x0 5 Mul x0 x3 Pow E x0 sech E Mul Mul Mul sech E x0 log Mul sech E x0 Add Mul Pow Mul x0 5 Add Mul x0 x3 -1 Add Mul Mul x0 x3 5 Mul Mul Mul x0 5 log Mul x0 5 x3 Mul Pow E Add x0 -1 Mul E log E 