Pow Pow x4 Pow Mul x0 acosh x1 Mul asech Add -2 Pow -3 pi -5 2 
Mul Pow x4 Pow Mul x0 acosh x1 Mul asech Add -2 Pow -3 pi -5 Mul 2 Mul Pow x4 Add Pow Mul x0 acosh x1 Mul asech Add -2 Pow -3 pi -5 -1 Mul Mul x4 log x4 Mul Pow Mul x0 acosh x1 Add Mul asech Add -2 Pow -3 pi -5 -1 Mul Mul asech Add -2 Pow -3 pi -5 acosh x1 