Pow Mul Pow x0 acosh x4 Mul x1 E sin Mul Add x0 x4 x0 
Mul Pow Mul Pow x0 acosh x4 Mul x1 E Add sin Mul Add x0 x4 x0 -1 Add Mul sin Mul Add x0 x4 x0 Mul Mul x1 E Mul Pow x0 Add acosh x4 -1 acosh x4 Mul Mul Mul Pow x0 acosh x4 Mul x1 E log Mul Pow x0 acosh x4 Mul x1 E Mul cos Mul Add x0 x4 x0 Add x0 Add x0 x4 