Pow acosh Mul Mul x3 log x0 Mul Pow Mul 3 x6 x0 sech x2 x5 
Mul Pow acosh Mul Mul x3 log x0 Mul Pow Mul 3 x6 x0 sech x2 Add x5 -1 Mul x5 Mul Add Mul Mul Pow Mul 3 x6 x0 sech x2 Mul x3 Pow x0 -1 Mul Mul x3 log x0 Mul sech x2 Mul Pow Mul 3 x6 Add x0 -1 Mul Mul 3 x6 log Mul 3 x6 Pow Mul sqrt Add Mul Mul x3 log x0 Mul Pow Mul 3 x6 x0 sech x2 -1 sqrt Add 1 Mul Mul x3 log x0 Mul Pow Mul 3 x6 x0 sech x2 -1 