Mul x0 asech Mul Mul x0 x0 cos Mul Pow x0 acosh Pow Add acosh Mul x0 x0 x4 cosh exp x0 Mul x6 4 
Add asech Mul Mul x0 x0 cos Mul Pow x0 acosh Pow Add acosh Mul x0 x0 x4 cosh exp x0 Mul x6 4 Mul x0 Mul Add Mul cos Mul Pow x0 acosh Pow Add acosh Mul x0 x0 x4 cosh exp x0 Mul x6 4 Add x0 x0 Mul Mul x0 x0 Mul Mul -1 sin Mul Pow x0 acosh Pow Add acosh Mul x0 x0 x4 cosh exp x0 Mul x6 4 Mul Mul x6 4 Mul Pow x0 Add acosh Pow Add acosh Mul x0 x0 x4 cosh exp x0 -1 Add acosh Pow Add acosh Mul x0 x0 x4 cosh exp x0 Mul Mul x0 log x0 Mul Mul Pow Add acosh Mul x0 x0 x4 Add cosh exp x0 -1 Add Mul cosh exp x0 Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 Mul Mul Add acosh Mul x0 x0 x4 log Add acosh Mul x0 x0 x4 Mul sinh exp x0 exp x0 Pow Mul sqrt Add Pow Add acosh Mul x0 x0 x4 cosh exp x0 -1 sqrt Add 1 Pow Add acosh Mul x0 x0 x4 cosh exp x0 -1 Pow Mul Mul Mul Mul x0 x0 cos Mul Pow x0 acosh Pow Add acosh Mul x0 x0 x4 cosh exp x0 Mul x6 4 Mul Mul x0 x0 cos Mul Pow x0 acosh Pow Add acosh Mul x0 x0 x4 cosh exp x0 Mul x6 4 sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x0 cos Mul Pow x0 acosh Pow Add acosh Mul x0 x0 x4 cosh exp x0 Mul x6 4 Mul Mul x0 x0 cos Mul Pow x0 acosh Pow Add acosh Mul x0 x0 x4 cosh exp x0 Mul x6 4 -1 -1 