Pow Pow sech E Add x0 x0 Add Add x7 1 log Mul x5 Mul x0 Mul Mul x0 acosh x1 5 
Mul Pow Pow sech E Add x0 x0 Add Add Add x7 1 log Mul x5 Mul x0 Mul Mul x0 acosh x1 5 -1 Add Mul Add Add x7 1 log Mul x5 Mul x0 Mul Mul x0 acosh x1 5 Mul Pow sech E Add Add x0 x0 -1 Mul Mul sech E log sech E 2 Mul Mul Pow sech E Add x0 x0 log Pow sech E Add x0 x0 Mul Mul x5 Add Mul Mul x0 acosh x1 5 Mul x0 Mul 5 acosh x1 Pow Mul x5 Mul x0 Mul Mul x0 acosh x1 5 -1 