Pow Pow x0 sech x5 acosh Mul x5 x0 
Mul Pow Pow x0 sech x5 Add acosh Mul x5 x0 -1 Add Mul acosh Mul x5 x0 Mul Pow x0 Add sech x5 -1 sech x5 Mul Mul Pow x0 sech x5 log Pow x0 sech x5 Mul x5 Pow Mul sqrt Add Mul x5 x0 -1 sqrt Add 1 Mul x5 x0 -1 