asech Pow acosh Mul x0 Mul x1 x4 sech x2 
Mul Mul Pow acosh Mul x0 Mul x1 x4 Add sech x2 -1 Mul sech x2 Mul Mul x1 x4 Pow Mul sqrt Add Mul x0 Mul x1 x4 -1 sqrt Add 1 Mul x0 Mul x1 x4 -1 Pow Mul Mul Pow acosh Mul x0 Mul x1 x4 sech x2 Pow acosh Mul x0 Mul x1 x4 sech x2 sqrt Add 1 Mul -1 Pow Mul Pow acosh Mul x0 Mul x1 x4 sech x2 Pow acosh Mul x0 Mul x1 x4 sech x2 -1 -1 