Add Mul x0 -5 Pow Mul acosh pi cosh Pow Add 3 x0 3 acos acosh x2 
Add -5 Mul Pow Mul acosh pi cosh Pow Add 3 x0 3 Add acos acosh x2 -1 Mul acos acosh x2 Mul acosh pi Mul sinh Pow Add 3 x0 3 Mul Pow Add 3 x0 2 3 