Mul x0 Pow Mul Add x0 x0 Add Add acosh x0 x0 x0 Pow sech x6 x0 
Add Pow Mul Add x0 x0 Add Add acosh x0 x0 x0 Pow sech x6 x0 Mul x0 Mul Pow Mul Add x0 x0 Add Add acosh x0 x0 x0 Add Pow sech x6 x0 -1 Add Mul Pow sech x6 x0 Add Mul Add Add acosh x0 x0 x0 2 Mul Add x0 x0 Add Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 1 Mul Mul Mul Add x0 x0 Add Add acosh x0 x0 x0 log Mul Add x0 x0 Add Add acosh x0 x0 x0 Mul Pow sech x6 Add x0 -1 Mul sech x6 log sech x6 