Add Pow acosh Mul sech x7 Add Pow x1 Add 3 Mul x0 x0 x4 -5 x0 
Add Mul Pow acosh Mul sech x7 Add Pow x1 Add 3 Mul x0 x0 x4 6 Mul -5 Mul Mul sech x7 Mul Pow x1 Add Add 3 Mul x0 x0 -1 Mul Mul x1 log x1 Add x0 x0 Pow Mul sqrt Add Mul sech x7 Add Pow x1 Add 3 Mul x0 x0 x4 -1 sqrt Add 1 Mul sech x7 Add Pow x1 Add 3 Mul x0 x0 x4 -1 1 